Paxos
A family of protocols for solving consensus in unreliable networks. Famously difficult to understand but mathematically proven correct.
What is Paxos?
A family of protocols for solving consensus in unreliable networks. Famously difficult to understand but mathematically proven correct.
Paxos is a advanced concept that sits in the Distributed Systems Core area of system design. Engineers reach for it whenever they need to reason about real-world trade-offs in that space — not just for textbook correctness, but because real production systems at companies like Netflix, Amazon, and Google make these decisions every day.
If you want to go deeper than this definition — with diagrams, code, and a quiz to lock it in — work through the "Paxos" lesson linked below. It walks through the why, the mechanism, the trade-offs, and how the giants actually use it in production.
Learn Paxos in depth
Full interactive lesson with diagrams, code examples, real-world references, and a quiz.
Open the Paxos lessonRelated lessons
Lessons that touch on Paxos as part of a larger topic.
See also
Related glossary terms you might want to look up next.
Raft
A consensus algorithm designed to be understandable. Uses leader election and log replication. Powers etcd (used by Kubernetes) and CockroachDB.
Consensus
The process of getting multiple nodes in a distributed system to agree on a single value. The foundation of distributed databases and coordination services.
Leader Election
The process of choosing one node in a cluster to coordinate actions. If the leader fails, a new one is elected. Used by Kafka, ZooKeeper, and etcd.