Paxos算法2-算法过程

请先参考前文：Paxos算法1

 

1.编号处理

根据P2^c ，proposer在提案前会先咨询acceptor查看其批准的最大的编号和value，再决定提交哪个value。之前我们一直强调更高编号的proposal，而没有说明低编号的proposal该怎么处理。

|--------低编号(L<N)--------|--------当前编号(N)--------|--------高编号(H>N)--------|

P2^c 的正确性是由当前编号N而产生了一些更高编号H来保证的，更低编号L在之前某个时刻，可能也是符合P2^c 的，但因为网络通信的不可靠，导致L被延迟到与H同时提交，L与H有可能有不同的value，这显然违背了P2^c ，解决办法是acceptor不接受任何编号已过期的proposal，更精确的描述为：

 

P1^a ： An acceptor can accept a proposal numbered n iff it has not responded to a prepare request having a number greater than n.

显然，acceptor接收到的第一个proposal符合这个条件，也就是说P1^a 蕴含了P1。

关于编号问题进一步的讨论请参考下节的【再论编号问题：唯一编号 】。

 

2. Paxos算法形成

重新整理P2^c 和P1^a 可以提出Paxos算法，算法分2个阶段：

Phase1：prepare

   （a）proposer选择一个proposal编号n，发送给acceptor中的一个多数派

   （b）如果acceptor发现n是它已回复的请求中编号最大的，它会回复它已accept的最大的proposal和对应的value（如果有）；同时还附有一种承诺：不会批准编号小于n的proposal

 

Phase2：accept

   （a）如果proposer接收到了多数派的回应，它发送一个accept消息到（编号为n，value v的proposal）到acceptor的多数派（可以与prepare的多数派不同）

          关键是这个value v是什么ÿ