Academia.eduAcademia.edu

Outline

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)

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. Tushar D. Chandra and Sam Toueg. Unreliable failure detectors for re- liable distributed systems. Journal of the ACM (JACM), 43(2):225-267, 1996.
  6. 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.
  7. 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.
  8. Michael J. Fischer. The consensus problem in unreliable distributed sys- tems (a brief survey). In Foundations of Computation Theory, pages 127- 140. Springer, 1983.
  9. 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.
  10. 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.
  11. 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.
  12. Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, 1978.
  13. Leslie Lamport. The part-time parliament. ACM Trans. Comput. Syst., 16(2):133-169, May 1998.
  14. Leslie Lamport. Paxos made simple. ACM SIGACT News, 32(4):18-25, 2001.
  15. Paul J. Leach, Michael Mealling, and Rich Salz. A universally unique iden- tifier (uuid) urn namespace. RFC 4122 (Proposed Standard), July 2005.
  16. 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.
  17. 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.
  18. 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.
  19. Fred B. Schneider. Implementing fault-tolerant services using the state machine approach: a tutorial. ACM Comput. Surv., 22(4):299-319, De- cember 1990.
  20. Randall R. Stewart. Stream control transmission protocol. RFC 4960 (Proposed Standard), September 2007. Updated by RFCs 6096, 6335.
  21. 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.