论文标题
两党paxos：模块化状态机器复制协议
Bipartisan Paxos: A Modular State Machine Replication Protocol
论文作者
论文摘要
不乏状态机器复制协议。从广义Paxos到Epaxos，已经提出了大量的复制协议，以达到高吞吐量和低潜伏期。但是，这些协议都有两个问题。首先，它们没有扩展。当您扩展它们时，许多协议实际上会放慢速度，而不是加速。例如，增加Multipaxos受体的数量增加了群体大小并减慢协议。其次，它们太复杂了。这不是一个秘密；众所周知，状态机器的复制很难理解。 在本文中，我们通过单个解决方案解决这两个问题：模块化。我们提出两党PAXOS（BPAXOS），一种模块化状态机器复制协议。模块化通过缩放产生高通量。我们注意到，尽管许多复制协议组件没有扩展，但有些则可以。通过对BPAXO进行模块化，我们能够解开两者并扩展瓶颈组件以增加协议的吞吐量。模块化也产生简单性。 BPAXOS分为许多独立的模块，这些模块可以孤立地理解和证明正确。
There is no shortage of state machine replication protocols. From Generalized Paxos to EPaxos, a huge number of replication protocols have been proposed that achieve high throughput and low latency. However, these protocols all have two problems. First, they do not scale. Many protocols actually slow down when you scale them, instead of speeding up. For example, increasing the number of MultiPaxos acceptors increases quorum sizes and slows down the protocol. Second, they are too complicated. This is not a secret; state machine replication is notoriously difficult to understand. In this paper, we tackle both problems with a single solution: modularity. We present Bipartisan Paxos (BPaxos), a modular state machine replication protocol. Modularity yields high throughput via scaling. We note that while many replication protocol components do not scale, some do. By modularizing BPaxos, we are able to disentangle the two and scale the bottleneck components to increase the protocol's throughput. Modularity also yields simplicity. BPaxos is divided into a number of independent modules that can be understood and proven correct in isolation.
