Heuristic Commit
Suppose a participant recovers, but the termination protocol leaves T blocked.
Operator can guess whether to commit or abort
- Must detect wrong guesses when coordinator recovers
- Must run compensations for wrong guesses
Heuristic commit
- If T is blocked, the local resource manager (actually, transaction manager) guesses
- At coordinator recovery, the transaction managers jointly detect wrong guesses.