@inproceedings{1011104f36be4e0dabb18a7d0e46de4d,
title = "Rabia: Simplifying State-Machine Replication through Randomization",
abstract = "We introduce Rabia, a simple and high performance framework for implementing state-machine replication (SMR) within a datacenter. The main innovation of Rabia is in using randomization to simplify the design. Rabia provides the following two features: (i) It does not need any fail-over protocol and supports trivial auxiliary protocols like log compaction, snapshotting, and reconfiguration, components that are often considered the most challenging when developing SMR systems; and (ii) It provides high performance, up to 1.5x higher throughput than the closest competitor (i.e., EPaxos) in a favorable setup (same availability zone with three replicas) and is comparable with a larger number of replicas or when deployed in multiple availability zones.",
keywords = "Consensus, Formal Verification, SMR",
author = "Haochen Pan and Jesse Tuglu and Neo Zhou and Tianshu Wang and Yicheng Shen and Xiong Zheng and Joseph Tassarotti and Lewis Tseng and Roberto Palmieri",
note = "Publisher Copyright: {\textcopyright} 2021 ACM.; 28th ACM Symposium on Operating Systems Principles, SOSP 2021 ; Conference date: 26-10-2021 Through 29-10-2021",
year = "2021",
month = oct,
day = "26",
doi = "10.1145/3477132.3483582",
language = "English (US)",
series = "SOSP 2021 - Proceedings of the 28th ACM Symposium on Operating Systems Principles",
publisher = "Association for Computing Machinery, Inc",
pages = "472--487",
booktitle = "SOSP 2021 - Proceedings of the 28th ACM Symposium on Operating Systems Principles",
}