🏛️Paxos

NEW

A family of consensus protocols that enables a set of unreliable processes to agree on values despite failures.

DESCRIPTION

Paxos is a foundational consensus approach introduced by Leslie Lamport. It ensures safety and liveness under crash failures and partitions (with majority availability). Variants include Multi-Paxos for log replication and Fast Paxos for lower latency under certain conditions. While powerful, Paxos is often viewed as difficult to understand and implement, motivating alternatives like Raft.

ALTERNATIVE DEFINITIONS

Wikipedia

Paxos is a family of consensus protocols for solving consensus in a network of unreliable processors.

Emphasizes fault tolerance and family of related protocols.

Source

Leslie Lamport

The Paxos algorithm enables a collection of processes to agree on a single value even if some of the processes fail.

Directly from the inventor, focusing on agreement despite failures.

Source

RELATED TERMS

Consensus State Machine Replication Quorum Leader Election

COMPETING TERMS

Raft

KNOWLEDGE AREAS

Software Engineering Data Architecture Infrastructure Data Storage & Operations

TARGET AUDIENCE

Software Developer Cloud Architect Data Engineer Data Architect DevOps Engineer

EXTERNAL SOURCES

• Wikipedia - Paxos (computer science)
• Leslie Lamport - Paxos Made Simple paper
• Google - Chubby uses Paxos for lock service

TOP QUESTIONS

Why is Paxos influential in distributed systems?

It established rigorous safety and liveness foundations for consensus, influencing designs of coordination services and replicated databases.

Category: Relevancy

What is Multi-Paxos?

An optimization that uses a stable leader to agree on a sequence of values efficiently, enabling replicated logs for state machine replication.

Category: Concept

Why is Paxos considered hard to understand?

The protocol’s roles, phases, and subtle corner cases make the original presentation challenging, prompting clearer alternatives like Raft.

Category: Opinion

How does Paxos ensure safety?

Intersecting majorities across rounds prevent conflicting decisions, guaranteeing only one value is chosen.

Category: Concept

What failures does Paxos tolerate?

Crash failures and message loss. It assumes non-Byzantine behavior and requires majority availability to make progress.

Category: Requirements

How does Paxos compare to Raft?

Both provide crash-fault-tolerant consensus; Raft prioritizes understandability and prescribes concrete leader-based mechanics.

Category: Comparison

Where is Paxos used in practice?

Systems like Google’s Chubby and other coordination services leverage Paxos for highly reliable consensus.

Category: Example

What are common implementation pitfalls?

Improper persistence, incomplete leader election handling, and ignoring network partitions can violate safety or liveness.

Category: Mistakes

How can I learn Paxos effectively?

Study Paxos Made Simple, then implement a minimal version with tests and fault injection to internalize invariants.

Category: Guidance