Leslie Lamport：Paxos其实很简单

Paxos Made Simple (2001)[pdf]

分布式系统里的Paxos算法常被误认为晦涩难懂，Leslie Lamport在2001年的这篇经典文章中彻底颠覆了这一认知。他直言，只要用平实的英语描述，Paxos其实是最简单、最直观的分布式算法之一。文章深入浅出地拆解了共识算法的核心逻辑，从提案者、接受者和学习者的角色定义，到如何确保在异步网络中只选择一个值，层层递进地揭示了其设计精髓。Lamport强调，Paxos的复杂性往往源于早期的希腊神话式表述，而非算法本身。通过清晰的结构和严谨的推理，他展示了如何将共识机制直接应用于状态机，从而构建出容错的分布式系统。这不仅是一篇技术文档，更是一次对分布式计算本质的深刻洞察。

"Paxos算法如果用平实的英语来描述，其实非常简单。"