分布式理论之Paxos 算法详解
Paxos 算法是 Leslie Lamport（莱斯利·兰伯特open in new window）在1990年提出了一种分布式系统共识算法。这也是第一个被证明完备的共识算法（前提是不存在拜占庭将军问题，也就是没有恶意节点）。为了介绍 Paxos 算法，兰伯特专门写了一篇幽默风趣的论文。在这篇论文中，他虚拟了一个叫做 Paxos 的希腊城邦来更形象化地介绍 Paxos 算法。不过，审稿人并不认可这篇论文的幽默。
