3PC Recovery Procedure
The new coordinator collects the states from all the connected DMs, it computes its next step according to the decision rule.
Upon receiving a Prepare-Commit/Prepare-abort, each DM sends an OK message.
Upon receiving an OK message from a quorum, the coordinator commits/aborts and sends the decision.