A distributed auction Take 1: Auction! Correctness properties Take 2: Auction! Take 3: Auction! Agreement: Why it works Termination: Why it doesn’t (always) work. FLP Ghost The Paxos Algorithm Phase 1- Prepare Phase Phase 2 - Accept Phase Computers can sometimes be unexpectedly tricky. Having them accomplish seemingly rudimentary tasks can be a lot more complicated than we would expect. One exampl
![Understanding Consensus and Paxos in Distributed Systems](https://cdn-ak-scissors.b.st-hatena.com/image/square/f1579483d04647e7694ac1109df590733e853760/height=288;version=1;width=512/https%3A%2F%2Fifeanyi.co%2Fimages%2Fdefault-thumb.png)