Healthy
Failed
Processing
Leader

Paxos Consensus Algorithm

Two-phase consensus with proposers, acceptors, and learners

P0proposerP1proposerA0acceptorA1acceptorA2acceptorA3acceptorA4acceptorL0learnerL1learnerProposersAcceptorsLearners

Manual Controls

Click nodes to fail/recover them

Message Types

Phase 1 (Prepare/Promise)
Phase 2 (Accept/Accepted)