6.3.1 Paxos 起源
Paxos 最初的论文名称为《The Part-Time Parliament》，翻译成中文就是「兼职议会」，论文描述了一个虚构的古希腊岛屿考古发现故事。
The Part-Time Parliament
最近的考古发现表明，在 Paxos 小岛上，尽管兼职议会成员都有逍遥癖，但议会模式仍然起作用。他们依旧保持了一致的会议记录，尽管他们频繁的进出会议室并且他们的信使还很健忘。Paxon 议会协议提供了一种新方法去实现设计分布式系统的状态机。 ...
如果不事先说明，也许你根本不会认识到上面是一篇关于分布式的论文。为了说明这个算法以及演讲效果，Lamport 演讲中还扮演了几次《夺宝奇兵》中印第安纳·琼斯风格的考古学家。不幸的是 Paxos 论文中采用希腊民主议会的比喻明显失败了，Lamport 像写小说一样，把一个复杂的数学问题弄成了一篇带有考古色彩的历史小说，听众没有记住 Paxos 算法，仅仅记住了印第安纳·琼斯。
1990 年，Lamport 将这篇论文提交给 TOCS ，根据 Lamport 自己的描述[1]，TOCS 的三位审稿人看过 Lamport 的论文后认为「该论文虽然不怎么重要但还有些意思，但应该把所有 Paxos 相关的故事背景删掉」。Lamport 对这些缺乏幽默感的人颇为不爽，他不打算对论文做任何修改，最终论文的发表被搁置。
虽然论文没有发表，但并不代表没有人关注这个算法，Bulter W.Lampson（1991 年图灵奖获得者）认识到这个算法的重要性，并在他的论文中《How to Build a Highly Availability System using Consensus》对 Paxos 进行了描述。此后，De Prisco、Lynch 和 Lampson 几人又联合在 TCS 发表了一篇论文《Revisiting the PAXOS algorithm》对 Paxos 算法进行了详细地描述和证明。经过 Lampson 等人的大力宣传，Paxos 算法逐渐被理论研究界的学者所重视。
另一方面，这些介绍 Paxos 论文的发表使 Lamport 觉得《The Part-Time Parliament》重新发表的时间到了。或许作为一种玩笑的延续，也或许为保留原有的工作（更直白的说法是 Lamport 本人认为该论文内容的描述和证明足够清晰，根本不需要修改），这次发布仅增加了一段编辑注解，而且编辑也在注解上也风趣了一把：
TIP
最近在 TOCS 编辑办公室的文件柜后面发现了这份投稿。尽管年代久远，主编仍认为值得发表。由于作者目前在希腊的群岛进行实地考察，无法联系，委托我准备文稿以发表。作者似乎是一位考古学家，对计算机科学只有短暂的兴趣。。。
—— TOCS 编辑 Keith Marzullo 的注解
《The Part-Time Parliament》[2] 最终在 1998 年公开发表。
这篇论文发表之后，还是有很多人抱怨这篇论文看不懂，人们只记住了那个奇怪的故事，而不是 Paxos 算法，Lamport 走到哪都要被人抱怨一通。于是他忍无可忍，2001 年使用计算机领域的概念重新描述了一遍算法，并发表了论文 《Paxos Made Simple》[3]。这是一篇很短的论文，摘要只有一句话 “The Paxos algorithm, when presented in plain English, is very simple.”！语气完全无法掩盖作者对 Paxos 的策略没有奏效的失望。
图 6-2 Paxos 论文摘要
然而，这篇论文还是非常难以理解，引用 Diego Ongaro 和 John Ousterhout 在设计 Raft 时发表的论文[4]中对 Paxos 的描述：
Paxos 一点也不 simple
Unfortunately, Paxos has two significant drawbacks. The first drawback is that Paxos is exceptionally difficult to understand ...
we were not able to understand the complete protocol until after reading several simplified explanations and designing our own alternative protocol, a process that took almost a year.
上面大致含义说「Paxos 真的太难懂了...」，连斯坦福的教授和博士都感觉难以理解，所以他们的论文取名《In Search of an Understandable Consensus Algorithm》，「寻找一种易懂的共识算法」意思是还在寻找中，根本不像 Lamport 说的那么简单。
注意 Raft 这篇文章发表于 2013 年，而《Paxos Made Simple》是 2001年 发表的，也就是说 Paxos 已经被研究了十几年，直到 Google 的 Chubby 横空出世，使用 Paxos 解决了现实中的分布式共识的问题，并将其整理成正式的论文发表之后，得益于 Google 的行业影响力，辅以 Chubby 作者 Mike Burrows 那略显夸张但足够吸引眼球的评价推波助澜，Paxos 开始从理论界进入工业实践，并逐渐被大家熟知和认可。
最终 Lamport 凭借他在分布式领域的贡献，于 2013 年获得图灵奖。