Consensus is the core challenge of distributed systems: ensuring that a cluster of non-trusting or failing nodes can agree on a single value or a sequence of operations. This agreement is required for Leader Election and State Machine Replication (SMR).
Two algorithms dominate the field: Paxos, the mathematically flexible original, and Raft, the "understandable" successor.
Proposed by Leslie Lamport in 1989, Paxos is a family of protocols designed for total flexibility.
Standard Paxos agrees on only one value. Multi-Paxos chains these agreements together to form a log. In 2026, Multi-Paxos is preferred for high-performance systems because it allows for:
Introduced by Ongaro and Ousterhout in 2014, Raft was designed specifically to be easier to implement correctly than Paxos.
Raft centers all activity around a Strong Leader.
Because Raft enforces a strict sequential log order, a single slow follower or a lost packet can stall the entire pipeline. This makes Raft slightly less performant than Multi-Paxos at extreme scales.
| Feature | Multi-Paxos | Raft |
|---|---|---|
| Philosophy | Theoretical Flexibility | Understandable Integrity |
| Throughput | Higher (Pipelining / Out-of-order) | Moderate (Strict sequentiality) |
| Recovery | Predictable (Deterministic) | Variable (Randomized timeouts) |
| WAN Usage | Preferred (Fast Paxos variants) | Limited (Leader bottleneck) |
| Impl. Risk | Extreme ("Paxos Made Live") | Low (Mature libraries like etcd) |
consul or etcd), or standard business microservices. The performance difference is negligible for 95% of applications, and implemented safety is guaranteed.