Enhanced 3PC Highlights
Uses identical state diagrams as 3PC.
Uses similar communication to 3PC (with different message contents).
Maintains two additional counters:
- Last_elected- the index of the last election this DM participated in.
- Last_attempt - the election number in the last attempt this DM made to commit or abort.
Uses a different decision rule and recover procedure.