Paxos算法1-算法形成理论 - 老码农的专栏 - 博客频道 - CSDN.NET
我们所有的描述都假设读者已经熟读了Lamport的paxos-simple一文，因此对各种概念不再解释。 状态机：在状态机中的一致性更强调在每个初始状态一致的状态机上执行一串命令后状态都必须相互一致，也就是顺序一致性。Paxos算法中的一致性指的就是这种情况，接下来我们会对这种场景进一步讨论。 大家或许会对该描述有更深的理解。 很显然，为了给每个数据唯一编号，每次表决只能产生一个数据，否则表决就没有任何意义。Paxos的算法的所有精力都放在如何在一次表决只产生一个数据。再进一步，我们称表决的数据叫Value，Paxos算法的核心和精华就是确保每次表决只产生一个Value。 P1：An acceptor must accept the first proposal that it receives. 乍一看，这个条件是显然的，因为之前没有任何value，acceptor理所当然地应该accept第一个proposal，但仔细想想，感觉P1这个条件很不严格，到底是一个对问题的简单描述还是一个数学上严格的必要条件？这些疑问归结为2个问题： （1）这个条件本质上在保证什么？ （2）第二个proposal怎么办？ 如何解决P1中无法形成多数派的问题 第二个proposal如何选择 于是约束P2出现了： P2：If a proposal with value v is chosen, then every higher-numbered proposal that is chosen has value v.Read full article from Paxos算法1-算法形成理论 - 老码农的专栏 - 博客频道 - CSDN.NET
No comments:
Post a Comment