Distributed Systems-2PC和3PC

这篇文章主要讨论下解决分布式一致性问题的两种算法：两阶段提交(2PC)和三阶段提交(3PC)。之前感觉2PC和3PC的流程挺简单的，但是真正仔细去分析过后，才发现很多的细节。而这些细节对理解Paxos，Raft，Viewstamp Replication，Atomic Broadcast等其他更复杂的一致性算法有很大的作用。所以才在此记录一下这些细节，尤其是从工程实现的角度来思考。

具体的术语，像coordinator,participant具体指代什么，不熟悉的可以参考其他讲2PC和3PC的文章。

1.正常交互流程

这里的正常是指coordinator和participant没有挂掉的。交互流程如下所示，比较容易理解。

2PC

• (1). coordinator ——(proposal)—–> all participants
• (2). all participants —-(accept/refuse)———-> coordinator
• (3.1). if any of participants is refuse, then coordinator ——-(abort)——–> all participants
  (3.2). else coordinator ——-(commit)——-> all participants

3PC

• (1). coordinator ——(proposal)—–> all participants
• (2). all participants —-(accept/refuse)———-> coordinator
• (3.1). if any of participants is refuse, then coordinator ——-(cancel)——–>