Summary paxos算法的的核心思想是“与其预测未来，不如限制当下”，即通过保证当前的操作，来一步一步达到预期 Theory 要求 Safety: 只有一个被提议的value被选

Why 1983年由Dale Skeen 和 Michael Stonebraker提出了3PC协议来解决2PC阻塞的问题 #What 3PC（two-phase-commit）其实就是

Why 针对数据库事务ACID-Atomicity，单机可以使用write-ahead-log实现1PC（one-phase-commit）即可，

Introduce 一般正确性的证明标准有两个，分别是safety properties 和 liveness properites Safety Properites 通常safety properites是指：“bad things never happen”。 举例 例如互

Introduce 于2002年提出的CAP理论（三选二的方式来评估分布式系统）确实为分布式系统领域的发展提供了指导价值，但是就今天而言，这套理论已经意义微小