BeatPaxos: Can you break the consensus protocol?
2 days ago
- #Distributed Systems
- #Consensus
- #Paxos
- Mission is to break consensus and make two nodes decide different values, challenging Paxos' claim of impossibility.
- Controls include killing/recovering nodes and delaying messages, with only one node allowed to be down at a time.
- Paxos Protocol involves three phases: Prepare (p1a, p1b), Accept (p2a, p2b), and Decision (p3).
- Safety Invariant states that once a value is decided, no different value can ever be decided, and it holds in this context.