T_FINISHED
BUG_ON(txn->t_state == T_FINISHED);
if (transaction->t_state != T_FINISHED)
J_ASSERT(transaction->t_state == T_FINISHED);
commit_transaction->t_state = T_FINISHED;