Inside 214-1E

Existential Pontification and Generalized Abstract Digressions

Distributed Systems

Diskless Paxos crash recovery

This is an edited version of an email I sent last week. Unfortunately, it does require you to be familiar with the original Paxos correctness proof, so I haven’t even tried to expand it into something appropriate for a lay audience. The algorithm is probably too simple to be in the literature, except maybe informally […]

  • August 14, 2011