The Paxos Protocol

This lecture covers consensus, uniform and abortable consensus. We spend most time reasoning about the famous Paxos algorithm, its design choices and the purpose of each step of the protocol. [Slides Download Slides]

The previous Paxos lecture (2023) can also be found here Links to an external site..