原子提交问题与两阶段提交的机制及两个不归路

跨多节点的事务要维持[[ACID原子性的本质是可中止性与并发无关]]，必须让所有参与节点对”提交还是中止”达成一致——这被称为原子提交问题，是共识的一种特化形式（只有全部参与者都投赞成票才能提交，任一参与者要求中止就必须全部中止）。两阶段提交（2PC）是解决它最常见的算法，引入协调者角色，分两阶段完成：阶段一（准备），协调者向所有参与者发准备请求，参与者必须把所有事务数据落盘、确认自己在任何情况下都能不出差错地提交，然后回答”是”或”否”；阶段二（提交/中止），只有全部参与者都回答”是”，协调者才发出提交请求，否则发中止请求。协议里有两个关键的”不归路”：参与者一旦投了”是”，就承诺自己稍后一定能提交，放弃了单方面中止的权利；协调者一旦把决定写入磁盘日志，这个决定就不可撤销，必须无条件重试直到所有参与者执行完毕。这两个承诺共同构成了2PC原子性保证的基础。