4.3. 共识相关¶

1990 年，Lamport首次发表了 Paxos 算法，选的论文题目就是 “The Part-Time Parliament”
1998 年，Lamport 把这篇论文重新整理后投到了 “ACM Transactions on Computer Systems”
2001 年，Lamport 第三次以 “Paxos Made Simple” 为题，在 “SIGACT News” 杂志上发表这篇论文并放弃了 “希腊城邦” 的比喻，尽可能用（他认为）简单直接、可读性较强的方式去介绍 Paxos 算法。
2006 年，Google 的 Chubby、Megastore 和 Spanner 等分布式系统，都使用 Paxos 解决了分布式共识的问题，并将其整理成正式的论文发表。
2013 年，因为对分布式系统的杰出理论贡献，Lamport 获得了 2013 年的图灵奖。