How Computers Agree: The Paxos Protocol

a brief overview of Paxos, a consensus algorithm that keeps distributed systems consistent even if some servers fail this is a tricky algorithm that has eluded some of the best minds in distributed systems (you don't win a Turing Award for nothing!), so feel free to pause and rewind often! for more in-depth details, check these resources: Paxos Made Simple: https://lamport.azurewebsites.net/pub... The Bug in Paxos Made Simple (Preparing, then requesting Accepts from different acceptors can cause the system to "unchoose" a ballot because in practice, acceptors only keep track of their most recent vote for each slot): https://brooker.co.za/blog/2021/11/16... The Paxos algorithm, or how to win a Turing Award: https://lamport.azurewebsites.net/tla... Paxos Made Moderately Complex: https://paxos.systems Paxos Made Live: http://web.mit.edu/geofft/Public/paxo... Paxos lecture (Raft user study):    • Paxos lecture (Raft user study)   Paxos vs Raft (a similar consensus algorithm): Have we reached consensus on distributed consensus?:    • Paxos vs Raft: Have we reached consensus o...   Al Vermeulen on Paxos:    • AWS re:Invent 2014 | (SPOT302) Under the C...   === links === twitter: https://x.com/jentgent support me: https://buymeacoffee.com/jentgent === chapters === 00:00 the problem 01:33 voting 04:18 ordering, prepare, and promise 07:33 getting unstuck 09:55 the proof 14:33 multi-paxos 15:59 thank you for watching