11.8 The final Sequence Paxos Algorithm
Seif Haridi · 11:46
The whole Sequence Paxos algorithm fits on two slides. It runs in the fully asynchronous model over FIFO perfect links and builds a consistent replicated log. Safety needs only unique, monotonically increasing leader...