Atomic Commitment Protocol
All the DM that reach a decision, reach the same decision.
Decisions are not reversible.
A Commit decision can only be reached if all the DMs voted to commit.
If there are no failures and all the DMs voted to commit, the decision will be Commit.
At any point, if all failures are repaired, and no new failures are introduced, then all the DMs eventually reach a decision.
A correct ACP guarantees that: