true nesting about ccstm HOT 5 OPEN

Note that true nesting is also required to properly implement rollback without retry on exception.

from ccstm.

How will this affect TxnLocal?

from ccstm.

It seems that maybe we don't need any additional handlers. beforeCommit and afterCommit should always refer to globally visible effects, hence they need only report top-level commit. afterRollback should report when writes performed by the particular nesting level have been undone, which may be a partial rollback.

ReadResources from a child txn may be discarded on partial rollback.

WriteResources from a child txn may be discarded on partial rollback after their performRollback method has been called.

from ccstm.

Hmm. Maybe we should include enough hooks that they could implement TxnLocal. Alternately, we could let them override the required hooks in a TxnLocal instance?

from ccstm.

Either partial rollback and partial retry both remove the current invariant that a txn that is no longer Active can never again be Active, or a pending partial rollback should not be encoded as the transaction status.

from ccstm.