Sinfonia: A new paradigm for building scalable distributed systems

SOSP'07 - Proceedings of 21st ACM SIGOPS Symposium on Operating Systems Principles

Volumn , Issue , 2007, Pages 159-174

  Aguilera, Marcos K ^a   Merchant, Arif ^a   Shah, Mehul ^a   Veitch, Alistair ^a   Karamanolis, Christos ^b  

^a HEWLETT PACKARD LABORATORIES   (United States)

^b VMWARE INC   (United States)

Author keywords

Distributed systems; Fault tolerance; Scalability; Shared memory; Transactions; Two phase commit

Indexed keywords

CLUSTER FILE SYSTEMS; COMPLEX APPLICATIONS; CONSISTENT ACCESS; DISTRIBUTED SYSTEMS; GROUP COMMUNICATIONS; LINEAR ADDRESS SPACE; MEMORY NODES; SHARED MEMORIES;

COMPUTER OPERATING SYSTEMS; DATA STRUCTURES; FAULT TOLERANCE; FLUORINE CONTAINING POLYMERS; MESSAGE PASSING; MODEL CHECKING; QUALITY ASSURANCE; SCALABILITY;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 55849133671     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (33)

1. Y. Amir and J. Stanton. The Spread wide area group communication system. Technical Report CNDS-98-4, The Johns Hopkins University, July 1998.
2. K. P. Birman and T. A. Joseph. Exploiting virtual synchrony in distributed systems. In Symposium on Operating Systhem Principles, pages 123-138, Nov. 1987.
3. N. Budhiraja, K. Marzullo, F. B. Schneider, and S. Toueg. The primary-backup approach. In S. J. Mullender, editor, Distributed Systems, chapter 8. Addison-Wesley, 1993.
4. M. Burrows. The Chubby lock service for loosely-coupled distributed systems. In Symposium on Operating Systems Design and Implementation, pages 335-350, Nov. 2006.
5. T. D. Chandra and S. Toueg. Unreliable failure detectors for reliable distributed systems. Journal of the ACM, 43(2):225-267, March 1996.
6. F. Chang, J. Dean, S. Ghemawat, W. C. Hsieh, D. A. Wallach, M. Burrows, T. Chandra, A. Fikes, and R. E. Gruber. BigTable: A distributed storage system for structured data. In Symposium on Operating Systems Design and Implementation, pages 205-218, Nov. 2006.
7. C. Chao, R. English, D. Jacobson, A. Stepanov, and J. Wilkes. Mime: a high performance storage device with strong recovery guarantees. Technical Report HPL-CSP-92-9, HP Laboratories, Nov. 1992.
8. G. V. Chockler, I. Keidar, and R. Vitenberg. Group communication specifications: A comprehensive study. ACM Computing Surveys, 33(4):1-43, December 2001.
9. J. Dean and S. Ghemawat. MapReduce: Simplified data processing on large clusters. In Symposium on Operating Systems Design and Implementation, pages 137-150, Dec. 2004.
10. X. Défago, A. Schiper, and P. Urbán. Total order broadcast and multicast algorithms: Taxonomy and survey. ACM Computing Surveys, 36(4):372-421, Dec. 2004.
11. M. Fakler, S. Frenz, R. Goeckelmann, M. Schoettner, and P. Schulthess. Project Tetropolis - application of grid computing to interactive virtual 3D worlds. In International Conference on Hypermedia and Grid Systems, May 2005.
12. P. Ferreira et al. Perdis: design, implementation, and use of a persistent distributed store. In Recent Advances in Distributed Systems, volume 1752 of LNCS, chapter 18. Springer-Verlag, Feb. 2000.
13. S. Ghemawat, H. Gobioff, and S.-T. Leung. The Google file system. In Symposium on Operating Systems Principles, pages 29-43, Oct. 2003.
14. S. D. Gribble, E. A. Brewer, J. M. Hellerstein, and D. Culler. Scalable, distributed data structures for Internet service construction. In Symposium on Operating Systems Design and Implementation, pages 319-332, Oct. 2000.
15. T. Harris and K. Fraser. Language support for lightweight transactions. In Conference on Object-Oriented Programming Systems, Languages and Applications, pages 388-402, Oct. 2003.
16. M. Herlihy, V. Luchangco, M. Moir, and W. Scherer. Software transactional memory for dynamic-sized data structures. In Symposium on Principles of Distributed Computing, pages 92-101, July 2003.
17. M. Herlihy and J. E. B. Moss. Transactional memory: Architectural support for lock-free data structures. In International Symposium on Computer Architecture, pages 289-300, May 1993.
18. H.-I. Hsiao and D. DeWitt. Chained declustering: a new availability strategy for multiprocessor database machines. In International Data Engineering Conference, pages 456-465, Feb. 1990.
19. L. Lamport. The part-time parliament. ACM Transactions on Computer Systems, 16(2):133-169, May 1998.
20. B. Liskov. Distributed programming in Argus. Commununications of the ACM, 31(3):300-312, 1988.
21. B. Liskov, M. Castro, L. Shrira, and A. Adya. Providing persistent objects in distributed systems. In European Conference on Object-Oriented Programming, pages 230-257, June 1999.
22. J. MacCormick, N. Murphy, M. Najork, C. A. Thekkath, and L. Zhou. Boxwood: Abstractions as the foundation for storage infrastructure. In Symposium on Operating Systems Design and Implementation, pages 105-120, Dec. 2004.
23. P. Mehra and S. Fineberg. Fast and flexible persistence: the magic potion for fault-tolerance, scalability and performance in online data stores. In International Parallel and Distributed Processing Symposium - Workshop 11, page 206a, Apr. 2004.
24. M. A. Olson. The design and implementation of the Inversion File System. In USENIX Winter Conference, pages 205-218, Jan. 1993.
25. RDMA Consortium. http://www.rdmaconsortium.org.
26. M. Satyanarayanan, J. J. Kistler, P. Kumar, M. E. Okasaki, E. H. Siegel, and D. C. Steere. Coda: A highly available file system for a distributed workstation environment. IEEE Transactions on Computers, 39(4):447-459, Apr. 1990.
27. M. Satyanarayanan, H. H. Mashburn, P. Kumar, D. C. Steere, and J. J. Kistler. Lightweight recoverable virtual memory. ACM Transactions on Computer Systems, 12(1):33-57, Feb. 1994.
28. A. Schiper and S. Toueg. From set membership to group membership: A separation of concerns. IEEE Transactions on Dependable and Secure Computing, 3(1):2-12, Feb. 2006.
29. F. B. Schmuck and J. C. Wyllie. Experience with transactions in QuickSilver. In Symposium on Operating Systems Principles, pages 239-253, Oct. 1991.
30. R. Sears and E. Brewer. Stasis: Flexible transactional storage. In Symposium on Operating Systems Design and Implementation, pages 29-44, Oct. 2006.
31. N. Shavit and D. Touitou. Software transactional memory. In Symposium on Principles of Distributed Computing, pages 204-213, Aug. 1995.
32. D. Skeen and M. Stonebraker. A formal model of crash recovery in a distributed system. IEEE Transactions on Software Engineering, 9(3):219-228, May 1983.
33. A. Z. Spector et al. Camelot: a distributed transaction facility for Mach and the Internet - an interim report. Research paper CMU-CS-87-129, Carnegie Mellon University, Computer Science Dept., June 1987.