Abraxas: Throughput-Efficient Hybrid Asynchronous Consensus
Abraxas: Throughput-Efficient Hybrid Asynchronous Consensus
复制标题
DOI：
10.1145/3576915.3623191
复制
发表时间：
2023-11
期刊：
影响因子：
--
通讯作者：
Erica Blum;Jonathan Katz;J. Loss;Kartik Nayak;Simon Ochsenreither
中科院分区：
文献类型：
--
作者：
Erica Blum;Jonathan Katz;J. Loss;Kartik Nayak;Simon Ochsenreither
状态机复制 (SMR) 协议通常会牺牲性能以换取对网络延迟的恢复能力。特别是，异步SMR协议可以容忍任意网络延迟，但在网络较快时会牺牲吞吐量/延迟，而部分同步协议在快速网络中具有良好的性能，但如果网络延迟较高，则无法取得进展。现有的混合协议能够适应任意网络延迟，并且在网络快速时具有良好的性能，但如果网络在快速和慢速之间反复切换，例如在通常快速但具有间歇性消息延迟的网络中，则会遭受高开销（“颠簸”）。我们提出了 Abraxas，一种从任何“快速”协议Πfast 和异步协议Πslow 构建混合协议的通用方法，以实现（1）在任意网络行为下相当于 Πslow 的安全性和性能，以及（2）在条件有利时相当于 Πfast 的性能。我们使用现有的最佳协议 Πfast (Jolteon) 和 Πslow (\mbox2-chain VABA) 实例化 Abraxas，并通过实验证明所得协议的性能显着优于之前最先进的混合协议 Ditto。
Protocols for state-machine replication (SMR) often trade off performance for resilience to network delay. In particular, protocols for asynchronous SMR tolerate arbitrary network delay but sacrifice throughput/latency when the network is fast, while partially synchronous protocols have good performance in a fast network but fail to make progress if the network experiences high delay. Existing hybrid protocols are resilient to arbitrary network delay and have good performance when the network is fast, but suffer from high overhead (''thrashing'') if the network repeatedly switches between being fast and slow, e.g., in a network that is typically fast but has intermittent message delays. We propose Abraxas, a generic approach for constructing a hybrid protocol from any ''fast'' protocol Πfast and asynchronous protocolΠslow to achieve (1) security and performance equivalent to Πslow under arbitrary network behavior, and (2) performance equivalent to Πfast when conditions are favorable. We instantiate Abraxas with the best existing protocols for Πfast (Jolteon) and Πslow (\mbox2-chain VABA), and show experimentally that the resulting protocol significantly outperforms Ditto, the previous state-of-the-art hybrid protocol.