E3PC Recovery Procedure
Elect a coordinator - send state and 2 counters.
upon getting the Max_elected from the coordinator, set Last_elected = Max_elected+1.
If the coordinator decision is not to block
- It sets Last_attempt = Last_elected.
- move to the calculated state and multicast decision.
Upon receiving Prepare-Commit/Prepare-Abort, the DM:
- Sets Last_attempt = Last_elected.
- Changes state to PC or PA and sends OK.
If a fault happens - restart the recovery procedure, otherwise termination is guaranteed.