Intermediate Topic 22 of 51 Distributed Systems & Cloud
Paxos
Classic family of consensus protocols.
How it works
Paxos is a family of protocols, introduced by Leslie Lamport, that lets a set of nodes agree on a value despite crashes and message loss, as long as a majority remains. In the basic protocol, a proposer picks a ballot number and sends prepare messages; acceptors promise not to accept lower ballots and report any value already accepted; the proposer then proposes a value, which is chosen when a majority accept it. Multi-Paxos amortizes the prepare phase with a stable leader to agree on a sequence of values for replicated logs.
Where it is used
Google Chubby and Spanner, Apache Zookeeper's relatives and many distributed databases use Paxos variants to replicate state.
Common pitfall
It is famously hard to understand and implement; gaps between the paper and a production system include membership changes, log compaction and efficient leader handling. Dueling proposers can livelock without a leader. Safety holds even with failures, but liveness requires stability. Prefer Raft for new designs, or use well-tested libraries.
Where it fits in the course
Paxos is topic 22 of 51 in Distributed Systems & Cloud, rated Intermediate. It follows Consensus Problem. The next topic is Raft.
Practice and explore
- Open the interactive lesson, with a mini quiz.
- Take the Distributed Systems & Cloud quiz.
How to study this topic
- Read the explanation above and restate the definition in your own words.
- Open the interactive lesson and answer its mini quiz.
- Read the common pitfall, then write a short example that avoids it.
- Check your understanding in the Distributed Systems & Cloud quiz, and revisit the topic if you miss a question.
Frequently asked questions
What is Paxos?
Where do people use Paxos?
What is the most common mistake with Paxos?
What should I learn before this topic?
How can I practice it?
Is Paxos hard to learn?
How long does it take to learn Paxos?
Which topics are related to Paxos?
What should I study after Paxos?
Related topics
- Consensus Problem (Distributed Systems & Cloud)
- Raft (Distributed Systems & Cloud)
- Logical Clocks (Distributed Systems & Cloud)
- Leader Election (Distributed Systems & Cloud)