Consensus and Coordination

Classifications / Distributed Systems / Consensus and Coordination

TRACK

Consensus safety and liveness, Paxos, Raft, ZAB, quorum and commit evidence, replicated state machines, safe reads, reconfiguration, coordination APIs, operations, and failure verification.

How can a cluster turn uncertain messages and failures into one authoritative, recoverable history, then expose that authority safely through coordination APIs?

24 lessons

Continues to Consistency and Replication/ Distributed Schedulers and Control Planes/ Distributed Systems Protocols and Labs/ Formal Methods and Verification

LESSONS

1. 001
   Consensus Foundations: Safety, Liveness, and Fault Models
   [TODO]
2. 002
   FLP Impossibility and Failure Detectors
   [TODO]
3. 003
   Paxos Fundamentals: Single-Decree Consensus
   [TODO]
4. 004
   Multi-Paxos and Leader-Based Optimization
   [TODO]
5. 005
   Raft Design Principles and Strong Leadership
   [TODO]
6. 006
   Raft Log Replication and Commit Semantics
   [TODO]
7. 007
   Raft Membership Changes and Joint Consensus
   [TODO]
8. 008
   ZAB and Total Order Broadcast in Practice
   [TODO]
9. 009
   Replication Models: Primary-Backup, Multi-Leader, and Leaderless
   [TODO]
10. 010
    Distributed Logs and Ordering Guarantees
    [TODO]
11. 011
    Logical, Vector, and Hybrid Logical Clocks
    [TODO]
12. 012
    Snapshotting, Checkpointing, and Log Compaction
    [TODO]
13. 013
    Exactly-Once Semantics, Idempotency, and Deduplication
    [TODO]
14. 014
    Consensus Systems in Production: etcd, Consul, and ZooKeeper
    [TODO]
15. 015
    Jepsen-Style Verification and Failure Injection
    [TODO]
16. 016
    Control Plane Consensus Boundary Design Review CAPSTONE
    [TODO]
17. 017
    State Machine Replication and Deterministic Apply
    [TODO]
18. 018
    Quorum Intersection, Ballots, and Commit Evidence
    [TODO]
19. 019
    Linearizable Reads, Leader Leases, and Fencing
    [TODO]
20. 020
    Coordination APIs: Locks, Leases, Watches, and Compare-And-Swap
    [TODO]
21. 021
    Operating Consensus Clusters: Latency, Disk, Network, and Sizing
    [TODO]
22. 022
    Reconfiguration and Disaster Recovery Beyond the Happy Path
    [TODO]
23. 023
    Byzantine Consensus and Quorum Certificates
    [TODO]
24. 024
    Final Capstone: Consensus-Backed Control Plane Architecture FINAL CAPSTONE
    [TODO]

← Back to Distributed Systems