Repository logo
 

Raft refloated: Do we have consensus?

Accepted version
Peer-reviewed

Type

Article

Change log

Authors

Schwarzkopf, M 
Crowcroft, Jonathon  ORCID logo  https://orcid.org/0000-0002-7013-0121

Abstract

jats:pThe Paxos algorithm is famously difficult to reason about and even more so to implement, despite having been synonymous with distributed consensus for over a decade. The recently proposed Raft protocol lays claim to being a new, understandable consensus algorithm, improving on Paxos without making compromises in performance or correctness.</jats:p> jats:pIn this study, we repeat the Raft authors' performance analysis. We developed a clean-slate implementation of the Raft protocol and built an event-driven simulation framework for prototyping it on experimental topologies. We propose several optimizations to the Raft protocol and demonstrate their effectiveness under contention. Finally, we empirically validate the correctness of the Raft protocol invariants and evaluate Raft's understandability claims.</jats:p>

Description

Keywords

4606 Distributed Computing and Systems Software, 46 Information and Computing Sciences

Journal Title

Operating Systems Review (ACM)

Conference Name

Journal ISSN

0163-5980

Volume Title

49

Publisher

Association for Computing Machinery (ACM)