Distributed State Machines and Disk Paxos
Leslie Lamport
Compaq SRC
The state-machine approach to designing a fault-tolerant distributed
system is reviewed. Disk Paxos, a new algorithm for implementing this
approach, is described. It achieves fault-tolerance by replicating
disks rather than processors.