知识卡片
编号承诺挡旧提议
内容
Acceptor 对更高 proposal number 做出承诺后,不再接受更低编号提议;proposer 必须用响应中最高已接受值构造新提议。发散:这让新领导不会覆盖旧事实,只能延续或在无旧事实时提出新值。
参考来源
- 位置:《分布式系统与一致性》第10章《共识算法Paxos》Paxos两阶段英文条文及注解(源文件:_epub-src/OEBPS/Text/chapter14.xhtml)
- 结论依据:原文条文"If an acceptor receives a prepare request with number n greater than that of any prepare request to which it has already responded,then it responds...with a promise not to accept any more proposals numbered less than n",以及"If an acceptor receives an accept request for a proposal numbered n,it accepts the proposal unless it has already responded to a prepare request having a number greater than n";注解明确"这个新的提议编号是n,值是已接受的编号最大的提议中的值,如果没有接受的提议,则可以是proposer要提议的任何值"。
- 原始内容:then it responds to the request with a promise not to accept any more proposals numbered less than n and with the highest-numbered proposal (if any) that it has accepted...proposer并没有把所收到的编号最大的提议放在accept消息里,而是构建了一个新的提议,这个新的提议编号是n,值是已接受的编号最大的提议中的值,如果没有接受的提议,则可以是proposer要提议的任何值。