论文标题
关于PAXOS连续选票的重要性
On the Significance of Consecutive Ballots in Paxos
论文作者
论文摘要
在本文中，我们研究了Paxos协议，并证明了如何利用选票的离散编号来削弱学习条件。具体而言，我们定义了连续选票的概念，并使用它来定义连续的法定人数。连续的法定人数削弱了学习标准，因此学习者不需要匹配$接受$ same \ same \;;从大多数受体中投票$学习价值。我们证明，这种修改保留了Paxos的原始安全性和可笑性。我们定义$ coade \; Paxos $封装了离散连续选票的属性。为了确定这些结果的正确性，除了证明纸张外，我们还正式验证了状态计算机复制库的正确性，该库构建在优化版本的多paxos之上，以反映$ nocation \; paxos $。
In this paper we examine the Paxos protocol and demonstrate how the discrete numbering of ballots can be leveraged to weaken the conditions for learning. Specifically, we define the notion of consecutive ballots and use this to define Consecutive Quorums. Consecutive Quorums weakens the learning criterion such that a learner does not need matching $accept$ messages sent in the $same \; ballot$ from a majority of acceptors to learn a value. We prove that this modification preserves the original safety and liveness guarantees of Paxos. We define $Consecutive \; Paxos$ which encapsulates the properties of discrete consecutive ballots. To establish the correctness of these results, we, in addition to a paper proof, formally verify the correctness of a State Machine Replication Library built on top of an optimized version of Multi-Paxos modified to reflect $Consecutive \; Paxos$.
