The-Part-Time-Parliament(Paxos算法中文翻译)
需积分: 10 105 浏览量
2018-06-27
17:50:22
上传
评论
收藏 1.11MB PDF 举报
《The Part-Time Parliament》 1
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
剩余23页未读，继续阅读
资源评论
