无领导状态机复制：规范、属性、限制（扩展版）
Leaderless State-Machine Replication: Specification, Properties, Limits (Extended Version)
摘要：
现代互联网服务通常使用状态机复制（SMR）跨多个地理位置复制关键数据。由于它们依赖于领导者副本，经典SMR协议在此设置中提供有限的可扩展性和可用性。为了解决这个问题，最近的协议，而不是遵循一个领导人的方法，其中每个副本能够取得进展，使用它的同行的法定人数。在本文中，我们研究了这类新出现的SMR协议，并指出了它们的一些限制。首先，我们提出了一个框架，抓住了无领导状态机复制（无领导SMR）的本质。然后，我们介绍了这些协议的一组理想的属性：（R）eliability，（O）optimal（L）atency和（L）load Balancing。我们发现，协议匹配的所有ROLL属性受到性能和可靠性之间的权衡。我们还建立了消息延迟的下限，以在最适合ROLL属性的协议中执行命令。这一下限解释了实验结果中观察到的持续链效应。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
