Repository logo
 

Paxos vs Raft: Have we reached consensus on distributed consensus?

Accepted version
Peer-reviewed

Loading...
Thumbnail Image

Type

Article

Change log

Abstract

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.

Description

Keywords

State machine replication, Distributed consensus, Paxos, Raft

Journal Title

Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2020

Conference Name

Journal ISSN

Volume Title

Publisher

ACM

Rights

All rights reserved
Sponsorship
EPSRC (via Queen Mary University of London (QMUL)) (ECSA1W3R)
Engineering and Physical Sciences Research Council (EP/M02315X/1)