论文标题
放松的paxos：重新审视的法定人物交叉点（再次）
Relaxed Paxos: Quorum Intersection Revisited (Again)
论文作者
论文摘要
分布式共识，面对失败的能力，是构建可靠的分布式系统的基本原始性。 PAXOS算法是共识的代名词，并在生产中广泛使用。 Paxos使用两个阶段：第一阶段和第二阶段，每个阶段都需要习惯，以在协议的一轮中达成共识。传统上，Paxos要求所有法定人数，无论相位或圆形，相交和大多数都经常用于此目的。 Flexible Paxos证明，只有给定回合的第一阶段法定人数才能与所有前一轮的第二阶段相交。 在本文中，我们重新检查了Paxos如何解决共识问题。我们再次查看柔性paxos中的法定人物交叉点，并观察到可以安全地削弱法定人物交叉点。最值得注意的是，我们观察到，如果提议者了解到在上一轮中提出了一个值，那么它的一阶段就不再需要与该回合或任何前一轮中的第二阶段进行相交。此外，为了对我们的结果提供直观的解释，我们提出了一个新颖的抽象来推理Paxos，以利用书面寄存器。
Distributed consensus, the ability to reach agreement in the face of failures, is a fundamental primitive for constructing reliable distributed systems. The Paxos algorithm is synonymous with consensus and widely utilized in production. Paxos uses two phases: phase one and phase two, each requiring a quorum of acceptors, to reach consensus during a round of the protocol. Traditionally, Paxos requires that all quorums, regardless of phase or round, intersect and majorities are often used for this purpose. Flexible Paxos proved that it is only necessary for phase one quorum of a given round to intersect with the phase two quorums of all previous rounds. In this paper, we re-examine how Paxos approaches the problem of consensus. We look again at quorum intersection in Flexible Paxos and observe that quorum intersection can be safely weakened further. Most notably, we observe that if a proposer learns that a value was proposed in some previous round then its phase one no longer needs to intersect with the phase two quorums from that round or from any previous rounds. Furthermore, in order to provide an intuitive explanation of our results, we propose a novel abstraction for reasoning about Paxos which utilizes write-once registers.
