12.1 Failure Recovery
Seif Haridi · 10:43
This lecture segment shows that Sequence Paxos, the leader-based multi-Paxos for replicated logs, needs only small changes to survive crash-recovery failures and session-based FIFO links. Recovering processes store a...