论文标题
无领导状态机器复制：规范，属性，限制（扩展版本）
Leaderless State-Machine Replication: Specification, Properties, Limits (Extended Version)
论文作者
论文摘要
现代互联网服务通常使用州际机器复制（SMR）在几个地理位置上复制关键数据。由于它们依赖领导者复制品，经典SMR协议在此设置中提供了有限的可扩展性和可用性。为了解决这个问题，最近的协议遵循一种无领导方法，在这种方法中，每个复制品都能使用其同行的法定人数来取得进展。在本文中，我们研究了新的新兴SMR协议类别，并指出了它们的一些局限性。我们首先提出了一个框架，该框架捕捉了无领导国家机器复制的本质（无领导者SMR）。然后，我们为这些协议引入了一组理想的属性：（r）利用，（o）ptimal（l）atency和（l）OAD平衡。我们表明，与所有卷属性相匹配的协议都需要性能和可靠性之间的权衡。我们还在消息延迟上建立了一个下限，以在滚动属性最佳的协议中执行命令。该下限解释了在实验结果中观察到的持续链接效应。
Modern Internet services commonly replicate critical data across several geographical locations using state-machine replication (SMR). Due to their reliance on a leader replica, classical SMR protocols offer limited scalability and availability in this setting. To solve this problem, recent protocols follow instead a leaderless approach, in which each replica is able to make progress using a quorum of its peers. In this paper, we study this new emerging class of SMR protocols and states some of their limits. We first propose a framework that captures the essence of leaderless state-machine replication (Leaderless SMR). Then, we introduce a set of desirable properties for these protocols: (R)eliability, (O)ptimal (L)atency and (L)oad Balancing. We show that protocols matching all of the ROLL properties are subject to a trade-off between performance and reliability. We also establish a lower bound on the message delay to execute a command in protocols optimal for the ROLL properties. This lower bound explains the persistent chaining effect observed in experimental results.
