Intro to Replicated State Machines

In this lecture we dive into the real world. Trying to put consensus into practice we face the problem of replicated state machines and replicated logs. The core requirement of all being deciding continuously in a sequence. To that end, we discuss MultiPaxos and SequencePaxos and propose core modifications in the basic Paxos algorithm to satisfy the necessary properties. [Slides Download Slides]

The 2022 lecture can also be found here Links to an external site..