Distributed Systems
2013
Abstract
I certify that except where due acknowledgement has been given, the work pre-sented in this thesis is that of the author alone; the work has not been submitted previously, in whole or in part, to qualify for any other academic award; and the con-tent of the thesis is the result of work which has been carried out since the official commencement date of the approved research program.
References (21)
- Marcos K. Aguilera and Robert E. Strom. Efficient atomic broadcast using deterministic merge. In Proceedings of the nineteenth annual ACM sym- posium on Principles of distributed computing, PODC '00, pages 209-218, New York, NY, USA, 2000. ACM.
- Kenneth P. Birman and Thomas A. Joseph. Reliable communication in the presence of failures. ACM Transactions on Computer Systems (TOCS), 5(1):47-76, 1987.
- Mike Burrows. The chubby lock service for loosely-coupled distributed systems. In Proceedings of the 7th symposium on Operating systems design and implementation, pages 335-350. USENIX Association, 2006.
- Tushar D. Chandra, Robert Griesemer, and Joshua Redstone. Paxos made live: an engineering perspective. In Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing, PODC '07, pages 398-407, New York, NY, USA, 2007. ACM.
- Tushar D. Chandra and Sam Toueg. Unreliable failure detectors for re- liable distributed systems. Journal of the ACM (JACM), 43(2):225-267, 1996.
- Xavier Défago, André Schiper, and Péter Urbán. Total order broadcast and multicast algorithms: Taxonomy and survey. ACM Comput. Surv., 36(4):372-421, December 2004.
- Richard Ekwall and André Schiper. Solving atomic broadcast with indi- rect consensus. In Dependable Systems and Networks, 2006. DSN 2006. International Conference on, pages 156-165. IEEE, 2006.
- Michael J. Fischer. The consensus problem in unreliable distributed sys- tems (a brief survey). In Foundations of Computation Theory, pages 127- 140. Springer, 1983.
- Michael J. Fischer, Nancy A. Lynch, and Michael S. Paterson. Impossibility of distributed consensus with one faulty process. J. ACM, 32(2):374-382, April 1985.
- Rachid Guerraoui, Ron R. Levy, Bastian Pochon, and Vivien Quéma. Throughput optimal total order broadcast for cluster environments. ACM Transactions on Computer Systems (TOCS), 28(2):5, 2010.
- Patrick Hunt, Mahadev Konar, Flavio P. Junqueira, and Benjamin Reed. Zookeeper: wait-free coordination for internet-scale systems. In Proceed- ings of the 2010 USENIX conference on USENIX annual technical conference, volume 8, pages 11-11, 2010.
- Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, 1978.
- Leslie Lamport. The part-time parliament. ACM Trans. Comput. Syst., 16(2):133-169, May 1998.
- Leslie Lamport. Paxos made simple. ACM SIGACT News, 32(4):18-25, 2001.
- Paul J. Leach, Michael Mealling, and Rich Salz. A universally unique iden- tifier (uuid) urn namespace. RFC 4122 (Proposed Standard), July 2005.
- Yanhua Mao, Flavio P. Junqueira, and Keith Marzullo. Mencius: build- ing efficient replicated state machines for wans. In Proceedings of the 8th USENIX conference on Operating systems design and implementation, OSDI'08, pages 369-384, Berkeley, CA, USA, 2008. USENIX Association.
- Parisa J. Marandi, Marco Primi, and Fernando Pedone. Multi-ring paxos. In Dependable Systems and Networks (DSN), 2012 42nd Annual IEEE/IFIP International Conference on, pages 1-12. IEEE, 2012.
- Parisa J. Marandi, Marco Primi, Nicolas Schiper, and Fernando Pedone. Ring paxos: A high-throughput atomic broadcast protocol. In Dependable Systems and Networks (DSN), 2010 IEEE/IFIP International Conference on, pages 527-536. IEEE, 2010.
- Fred B. Schneider. Implementing fault-tolerant services using the state machine approach: a tutorial. ACM Comput. Surv., 22(4):299-319, De- cember 1990.
- Randall R. Stewart. Stream control transmission protocol. RFC 4960 (Proposed Standard), September 2007. Updated by RFCs 6096, 6335.
- WBM + 06] Sage A. Weil, Scott A. Brandt, Ethan L. Miller, Darrell D.E. Long, and Car- los Maltzahn. Ceph: A scalable, high-performance distributed file system. In Proceedings of the 7th symposium on Operating systems design and im- plementation, pages 307-320. USENIX Association, 2006.