Paxos vs Raft: Have we reached consensus on distributed consensus?
Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2020
MetadataShow full item record
Howard, H., & Mortier, R. (2020). Paxos vs Raft: Have we reached consensus on distributed consensus?. Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2020 https://doi.org/10.1145/3380787.3393681
Distributed consensus is a fundamental primitive for constructing fault-tolerant, strongly-consistent distributed systems. Though many distributed consensus algorithms have been proposed, just two dominate production systems: Paxos, the traditional, famously subtle, algorithm; and Raft, a more recent algorithm positioned as a more understandable alternative to Paxos. In this paper, we consider the question of which algorithm, Paxos or Raft, is the better solution to distributed consensus? We analyse both to determine exactly how they differ by describing a simplified Paxos algorithm using Raft's terminology and pragmatic abstractions. We find that both Paxos and Raft take a very similar approach to distributed consensus, differing only in their approach to leader election. Most notably, Raft only allows servers with up-to-date logs to become leaders, whereas Paxos allows any server to be leader provided it then updates its log to ensure it is up-to-date. Raft's approach is surprisingly efficient given its simplicity as, unlike Paxos, it does not require log entries to be exchanged during leader election. We surmise that much of the understandability of Raft comes from the paper's clear presentation rather than being fundamental to the underlying algorithm being presented.
EPSRC (via Queen Mary University of London (QMUL)) (ECSA1W3R)
EPSRC (via University of Nottingham) (EP/M02315X/1)
External DOI: https://doi.org/10.1145/3380787.3393681
This record's URL: https://www.repository.cam.ac.uk/handle/1810/304803
All rights reserved