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.
KeywordsConsensus Problem Consensus Algorithm Disk Block Faulty Processor Mutual Exclusion Algorithm
Unable to display preview. Download preview PDF.
- 3.Roberto De Prisco, Butler Lampson, and Nancy Lynch. Revisiting the Paxos algorithm. In Marios Mavronicolas and Philippas Tsigas, eds., Proceedings of the 11th International Workshop on Distributed Algorithms (WDAG 97), volume 1320 of Lecture Notes in Computer Science, pages 111–125, Saarbruken, Germany, 1997. Springer-Verlag.Google Scholar
- 5.Eli Gafni and Leslie Lamport. Disk paxos. Technical Report 163, Com-paq Systems Research Center, July 2000. Currently available on the World Wide Web at http://gatekeeper.dec.com/pub/DEC/SRC/research-reports/abstracts/src-rr-163.html.
- 11.Leslie Lamport. Specifying concurrent systems with TLA+. In Manfred Broy and Ralf Steinbriiggen, eds., Calculational System Design, pages 183–247, Amster-dam, 1999. IOS Press.Google Scholar
- 12.Butler W. Lampson. How to build a highly available system using consensus. In Ozalp Babaoglu and Keith Marzullo, eds., Distributed Algorithms, volume 1151 of Lecture Notes in Computer Science, pages 1–17, Berlin, 1996. Springer-Verlag.Google Scholar
- 13.Edward K. Lee and Chandramohan Thekkath. Petal: Distributed virtual disks. In Proceedings of the Seventh International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-VII), pages 84–92, New York, October 1996. ACM Press.Google Scholar
- 15.Marion Dale Skeen. Crash Recovery in a Distributed Database System. PhD thesis, University of California, Berkeley, May 1982.Google Scholar
- 16.Chandramohan Thekkath, Timothy Mann, and Edward K. Lee. Frangipani: A scalable distributed file system. In Proceedings of the 16th ACM Symposium on Op-erating Systems Principles, pages 224–237, New York, October 1997. ACM Press.Google Scholar
- 17.Yuan Yu, Panagiotis Manolios, and Leslie Lamport. Model checking TLA+ specifi-cations. In Laurence Pierre and Thomas Kropf, eds., Correct Hardware Design and Verification Methods, volume 1703 of Lecture Notes in Computer Science, pages 54–66, Berlin, Heidelberg, New York, September 1999. Springer-Verlag. 10th IFIP wg 10.5 Advanced Research Working Conference, CHARME ’99.Google Scholar