SRC Research Report 163

Disk Paxos

Eli Gafni and Leslie Lamport

We present an algorithm, called Disk Paxos, for implementing a reliable distributed system with a network of processors and disks. Like the original Paxos algorithm, Disk Paxos maintains consistency in the presence of arbitrary non-Byzantine faults. Progress can be guaranteed as long as a majority of the disks are available, even if all processors but one have failed.

Back to the SRC Research Reports main page.

• PostScript compressed with UNIX compress -- 328 Kbytes
  
• PostScript compressed with GNU compress (gzip) -- 256 Kbytes
  
• PostScript compressed with ZIP -- 264 Kbytes
  
• PostScript -- 752 Kbytes
  
• Portable Document Format (PDF) -- 360 Kbytes