This simulator demonstrates how proposers and acceptors exchange numbered prepare and accept messages to converge on one chosen value even when some nodes fail or messages are dropped.
Trigger proposals from different proposer nodes, adjust failure and message-loss rates, and step through each round to watch promises, acceptances, and the eventual chosen value emerge.
Controls let you start proposals, simulate node crashes and message loss, and step through Phase 1 and Phase 2 to observe how consensus is reached.
Leslie Lamport originally presented Paxos in 1990 as a whimsical story about a fictional Greek island's part-time parliament, and the paper was considered so hard to parse that he later wrote a simplified version just to help readers understand it.
This simulator demonstrates how proposers and acceptors exchange numbered prepare and accept messages to converge on one chosen value even when some nodes fail or messages are dropped.
This simulator demonstrates how proposers and acceptors exchange numbered prepare and accept messages to converge on one chosen value even when some nodes fail or messages are dropped.
Trigger proposals from different proposer nodes, adjust failure and message-loss rates, and step through each round to watch promises, acceptances, and the eventual chosen value emerge.
Leslie Lamport originally presented Paxos in 1990 as a whimsical story about a fictional Greek island's part-time parliament, and the paper was considered so hard to parse that he later wrote a simplified version just to help readers understand it.