论文标题
媒人Paxos：可重构共识协议[技术报告]
Matchmaker Paxos: A Reconfigurable Consensus Protocol [Technical Report]
论文作者
论文摘要
状态机器复制协议（如Multipaxos和Raft）几乎是每个强烈一致的分布式数据库的核心。为了容忍机器故障，这些协议必须用现场机器替换故障计算机，这是一个称为重新配置的过程。随着时间的流逝，随着频繁的重新配置的需求不断增长，重新配置变得越来越重要。尽管如此，文献中的重新配置在很大程度上被忽略了。在本文中，我们分别介绍了媒人Paxos和Matchmaker Multipaxos，分别是可重构的共识和状态机器复制协议。我们的协议可以执行重新配置，对命令处理的延迟或吞吐量几乎没有影响；他们可以在一次往返（理论上）和几毫秒（经验上）进行重新配置。他们提供了许多理论见解；他们提出了一个可以推广到其他复制协议的框架，以先前的重新配置技术不能。我们为协议和优化提供了正确性的证明，并提出了开源实施的经验结果。
State machine replication protocols, like MultiPaxos and Raft, are at the heart of nearly every strongly consistent distributed database. To tolerate machine failures, these protocols must replace failed machines with live machines, a process known as reconfiguration. Reconfiguration has become increasingly important over time as the need for frequent reconfiguration has grown. Despite this, reconfiguration has largely been neglected in the literature. In this paper, we present Matchmaker Paxos and Matchmaker MultiPaxos, a reconfigurable consensus and state machine replication protocol respectively. Our protocols can perform a reconfiguration with little to no impact on the latency or throughput of command processing; they can perform a reconfiguration in one round trip (theoretically) and a few milliseconds (empirically); they provide a number of theoretical insights; and they present a framework that can be generalized to other replication protocols in a way that previous reconfiguration techniques can not. We provide proofs of correctness for the protocols and optimizations, and present empirical results from an open source implementation.
