Matchmaker Paxos:一种可重构的共识协议[技术报告]
Matchmaker Paxos: A Reconfigurable Consensus Protocol [Technical Report]
摘要:
状态机复制协议(如MultiPaxos和Raft)是几乎所有强一致性分布式数据库的核心。为了容忍机器故障,这些协议必须用活机器替换故障机器,这一过程称为重新配置。随着时间的推移,随着频繁重新配置需求的增长,重新配置变得越来越重要。尽管如此,重新配置在很大程度上被忽视的文献。在本文中,我们提出了Matchmaker 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.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。