5.1 Paxos

这个世界上只有一种共识协议，那就是 Paxos，其他所有的共识算法都是 Paxos 的退化版本。

-- Mike Burrows， Google Chubby 作者

Paxos 是由 Leslie Lamport 于 1990 提出的一种基于消息传递且具有高度容错特性的协商共识算法，是当今分布式系统最重要的理论基础，几乎就是“共识”两个字的代名词。

Lamport 在分布式系统理论方面有非常多的成就，比如 Lamport 时钟、拜占庭将军问题、Paxos 算法等等。除了计算机领域之外，其他领域的无数科研工作者也要成天和 Lamport 开发的一套软件打交道，目前科研行业应用最广泛的论文排版系统 -- LaTeX，名字中的 “La” 就是指 Lamport。

尽管 Paxos 算法已经面世 30 多年，仍有层出不穷的解读。