详细论证内容请参考作者写paxos-simple.pdf,开头就写了一句:The Paxos algorithm, when presented in plain English, is very simple.(表示鸭梨很大)
假设场景:a、b、c、d在一起工作,经常需要对某件事情快速达成一致(无对错、优先级区别);且相互之间是通过消息沟通,可能存在消息丢失、重发等情况,但保证消息不会损坏.
1.选择其中某人来决定选择那个提议,且选择自己收到的第一个提议;如选择a.
问题:若a生病未来,则所有的事情都没法继续进行.
1.1 改进:选择多个人来决定选择哪个提议.
如何判定通过:当超过n/2+1.
问题:若a、b同时提出提议,a、b同意a+提议,d、c同步b+提议,则仍无法达成一致
1.1.1 改进:每个人可以选择多个提议.
问题:但存在a、b、c先同意a+提议,则a+提议通过;b、d、c同意b+提议,则同时存在多个被通过的提议.
1.1.1.1 改进:限制某个提议通过后,后续通过的提议的内容相同
2.关键如何保证:某个提议通过后,后续通过的提议的内容相同
2.1 等价条件:某个提议通过后,后续提出的议案的内容与已通过提议的内容相同
如何实现:二阶段提交
2.1.1 活锁问题
改进:选择其中某个人作为主提议者,其它人不能提出提议
问题:如何选择’主提议者’.
3.如何通知其它人已经通过的决议.
参见:http://research.microsoft.com/en-us/um/people/lamport/pubs/paxos-simple.pdf
相关推荐
paxos made live 英文版,paxos 在google的实现。
cheap-paxos 的论文
Paxos算法的中文翻译,值得参考,讲述了paxos协议的原理
paxos简单版论文,好东西,分布式必看
《从PAXOS到ZOOKEEPER分布式一致性原理与实践》,资源完整高清版
Revisiting the Paxos algorithm
Lamport Paxos 的这两篇论文真的很难懂,小编也是竭尽全力的推敲每一句话的意思,尽量的将Lamport的意思完整的呈现出来。希望大家支持一下。两篇论文大概码了3万多字,每一个公式都是手敲的… 为什么会研究Paxos?...
Paxos算法详解.ppt
raft simplify Paxos algorithm you deserved it since it so powful
Paxos算法.pdf
Paxos图解(xmid图解)
Fast Paxos is an extension of the classic Paxos algorithm that allows the value to be learned in two message delays. How and why the algo-rithm works are explained informally, and a TLA+ speci¯...
《Paxos到Zookeeper:分布式一致性原理与实践》从分布式一致性的理论出发,向读者简要介绍几种典型的分布式一致性协议,以及解决分布式一致性问题的思路,其中重点讲解了Paxos和ZAB协议。同时,本书深入介绍了分布式...
从paxos到zookeeper 完整版 pdf paxos-simple-Copy.pdf
paxos 算法推导中文版。清晰描述paxos的前世今生。
在github上找到的paxos算法实现,具体是运行和实现方法可以看README文件,注意acceptor、proposer、以及learner的数量根据打开进程的数量变化,不是局限于.c文件的数量。
paxos是经典一致性算法,这是基于一致性的paxos源码
从Paxos到Zookeeper分布式一致性原理与实践.pdf从Paxos到Zookeeper分布式一致性原理与实践.pdf从Paxos到Zookeeper分布式一致性原理与实践.pdf从Paxos到Zookeeper分布式一致性原理与实践.pdf从Paxos到Zookeeper分布式...
从Paxos到Zookeeper 分布式一致性原理与实践 PDF电子书下载 带目录书签 完整版.pdf