The Part-Time Parliament(Paxos算法中文翻译).pdfVIP

The Part-Time Parliament 兼职议会 Leslie Lamport 1. The Problem 2 1.1. Paxos 岛 2 1.2. 要求(Requirements) 3 1.3. 假设（Assumptions ） 4 2. The Single-Decree Synod 4 2.1. 数学结论 5 2.2. 初级协议（The Preliminary Protocol ） 9 2.3. 基本协议（The Basic Protocol ） 11 2.4. 完整的神会协议（The Complete Synod Protocol ） 12 3. The Multi-Decree Parliament 14 3.1. 协议 14 3.2. 协议特性 (Properties of the Protocol) 15 3.2.1 法令的顺序 15 3.2.2 关上门之后 15 3.3. 更进一步(Further Development) 16 3.3.1 选择一个总统 16 3.3.2 长律簿 16 3.3.3 官员化 17 3.3.4 法律的学习 18 3.3.5 不诚实的议员和无心之过 19 3.3.6 选择新的议员 20 4. 与计算机科学的关系 21 4.1. 状态机模式 (The State Machine Approach) 21 4.2. 提交协议 (Commit Protocols) 22 5. 附录：神会协议一致性的证明 23 6. 翻译后记 24 《The Part-Time Parliament 》 1 The Part-Time Parliament (兼职议会) Leslie Lamport 这篇论文前不久在TOCS 编辑室的档案柜后面被发现。尽管年代久远，主要作者仍然认为它值得发表。 因为作者最近在希腊的一些小岛上做野外作业不能到达，所以请求我来准备它。 作者貌似是个只业余对计算机科学感兴趣的考古学家。这非常不幸；尽管他描述的模糊的古代 Paxos 文明对于大多数计算机科学家不感兴趣，但它的议会系统对于怎样在异步环境中实现一个分布式计算 系统来说是个杰出的模式。Paxos 人对他们协议的一些改良貌似在系统的文献中确实找不到。 作者在第4 节中确实简短讨论了Paxos 议会和分布式计算的关系。计算机科学家可能会想要首先阅读 这一节。甚至在这之前，他们或许想要阅读 Lampson[1996]对这个算法向计算机科学家作的解释。这 个算法也在[1997]被De Prisco 更正式的描述过。我在第4 节的末尾加上了古代协议和近期研究之间关 系的更进一步说明。 1. The Problem 1.1. Paxos 岛 在这个千年的早期（公元10 世纪初），爱琴海上的小岛Paxos 是一个兴盛的商业贸易中心（这 应该不会和爱奥尼亚的的Paxoi 岛混淆，Poxoi 有时也被破读为 Paxos）。经济发展带来了政 治的进步。Paxos 的公民们用议会形式的政府取代了原先的神权统治。但是对Paxos 人来说， 做生意才是头等大事，城市职责反在其次，没有Paxos 人愿意把他全部的时间投入到议会事 务中。所以Paxos 的议会必须在每个议员都可能随时缺席的情况下也能工作下去。 兼职议会所面对的问题正好能对应于今天的容错式分布式系统所面对的问题：议员对应于分 布式系统中的处理进程(processes)，而议员的缺席对应于处理进程的宕机。因此Paxos 人的 解决方法或许值得计算机科学借鉴。我这里会介绍Paxos 议会协议的一个简短历史，接下来 会简短讨论一下其与分布式系统的相关性。 Paxos 文明已毁灭