Global sequence protocol: A robust abstraction for replicated shared state

Leibniz International Proceedings in Informatics, LIPIcs

Volumn 37, Issue , 2015, Pages 568-590

  Burckhardt, Sebastian ^a   Leijen, Daan ^a   Protzenko, Jonathan ^a   Fähndrich, Manuel ^b  

^a MICROSOFT RESEARCH   (United States)

^b GOOGLE INC   (United States)

Author keywords

Distributed computing; Eventual consistency; GSP protocol

Indexed keywords

ABSTRACTING; COMPLEX NETWORKS; DISTRIBUTED COMPUTER SYSTEMS; MOBILE DEVICES;

ASYNCHRONOUS UPDATE; CLIENT-SERVER ARCHITECTURES; COMPLEX STRUCTURED DATUM; EVENTUAL CONSISTENCY; MINIMAL INFORMATION; REFERENCE MODELING; SEQUENCE PROTOCOLS; UPDATE TRANSACTION;

OBJECT ORIENTED PROGRAMMING;

EID: 84952319727     PISSN: 18688969     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4230/LIPIcs.ECOOP.2015.568     Document Type: Conference Paper

References (31)

1. M.Abadi and L. Lamport. The existence of refinement mappings. Theor. Comput. Sci., 82(2), 1991.
2. P. Bailis, A. Davidson, A. Fekete, A. Ghodsi, J. Hellerstein, and I. Stoica. Highly available transactions: Virtues and limitations. In International Conference on Very Large Databases (VLDB), 2014.
3. P. Bernstein and S. Das. Rethinking eventual consistency. In SIGMOD International Conference on Management of Data, SIGMOD'13, pages 923-928. ACM, 2013.
4. Eric A. Brewer. Towards robust distributed systems (abstract). In PODC'00, 2000.
5. S. Burckhardt, M. Fähndrich, D. Leijen, and B. Wood. Cloud types for eventual consistency. In European Conference on Object-Oriented Programming (ECOOP), volume 7313 of LNCS, pages 283-307. Springer, 2012.
6. S. Burckhardt, A. Gotsman, and H. Yang. Understanding eventual consistency. Technical Report MSR-TR-2013-39, Microsoft, 2013.
7. S. Burckhardt, A. Gotsman, H. Yang, and M. Zawirski. Replicated data types: Specification, verification, optimality. In Principles of Programming Languages (POPL), 2014.
8. Sebastian Burckhardt. Principles of eventual consistency. Foundations and Trends in Programming Languages, 1(1-2):1-150, 2014.
9. Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, and Mooly Sagiv. Eventually Consistent Transactions. In European Symposium on Programming (ESOP), (extended version available as Microsoft Tech Report MSR-TR-2011-117), LNCS, volume 7211, pages 64-83, 2012.
10. Sebastian Burckhardt, Daan Leijen, and Manuel Fähndrich. Cloud types: Robust abstractions for replicated shared state. Technical Report MSR-TR-2014-43, Microsoft Research, March 2014.
11. Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, and Manuel Fähndrich. Global sequence protocol: A robust abstraction for replicated shared state. Technical Report MSR-TR-2015-11, Microsoft Research, April 2015. Extended version.
12. Christian Cachin, Rachid Guerraoui, and Luis Rodrigues. Introduction to Reliable and Secure Distributed Programming (2. ed.). Springer, 2011.
13. M. Cart and J. Ferrie. Asynchronous reconciliation based on operational transformation for p2p collaborative environments. In Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2007), pages 127-138, Nov 2007.
14. Tim Coppieters, Laure Philips, Wolfgang De Meuter, and Tom Van Cutsem. An open implementation of cloud types for the web. In Proceedings of the First Workshop on Principles and Practice of Eventual Consistency, PaPEC'14, pages 2:1-2:2, New York, NY, USA, 2014. ACM.
15. G. Decandia, D. Hastorun, M. Jampani, G. Kakulapati, A. Lakshman, A. Pilchin, S. Sivasubramanian, P. Vosshall, and W. Vogels. Dynamo: amazon's highly available key-value store. In Symposium on Operating Systems Principles, pages 205-220, 2007.
16. X. Défago, A. Schiper, and P. Urbán. Total order broadcast and multicast algorithms: Taxonomy and survey. ACM Comput. Surv., 36(4):372-421, December 2004.
17. S. Gilbert and N. Lynch. Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services. SIGACT News, 33:51-59, June 2002.
18. M. Hilton, A. Christi, D. Dig, M. Moskal, S. Burckhardt, and N. Tillmann. Refactoring local to cloud data types for mobile apps. In MobileSoft'14. ACM, 2014.
19. IEEE Computer. CAP retrospective edition. IEEE Computer, 45(2), 2012.
20. A. Imine, M. Rusinowitch, G. Oster, and P. Molli. Formal design and verification of operational transformation algorithms for copies convergence. Theoretical Computer Science, 351:167-183, 2006.
21. Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, and David G. Andersen. Don't settle for eventual: scalable causal consistency for wide-area storage with COPS. In SOSP'11, 2011.
22. D. Nichols, P. Curtis, M. Dixon, and J. Lamping. High-latency, low-bandwidth windowing in the jupiter collaboration system. In User interface and software technology (UIST), 1995.
23. M. Shapiro, N. Preguica, C. Baquero, and M. Zawirski. A comprehensive study of convergent and commutative replicated data types. Technical Report Rapport de recherche 7506, INRIA, 2011.
24. Mark Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski. Conflict-free replicated data types. In 13th Int. Symp. on Stabilization, Safety, and Security of Distributed Systems (SSS), Grenoble, France, October 2011.
25. M. Suleiman, M. Cart, and J. Ferrié. Serialization of concurrent operations in a distributed collaborative environment. In Conference on Supporting Group Work, GROUP '97, pages 435-445. ACM, 1997.
26. C. Sun and C. Ellis. Operational transformation in real-time group editors: Issues, algorithms, and achievements. In Computer Supported Cooperative Work, CSCW'98, pages 59-68. ACM, 1998.
27. D. Sun and C. Sun. Operation context and context-based operational transformation. In Conference on Computer Supported Cooperative Work, CSCW'06, pages 279-288. ACM, 2006.
28. D. Terry, A. Demers, K. Petersen, M. Spreitzer M. Theimer, and B. Welch. Session guarantees for weakly consistent replicated data. In PDIS, 1994.
29. D. Terry, M. Theimer, K. Petersen, A. Demers, M. Spreitzer, and C. Hauser. Managing update conflicts in bayou, a weakly connected replicated storage system. SIGOPS Oper. Syst. Rev., 29:172-182, December 1995.
30. N. Tillmann, M. Moskal, J. de Halleux, and M. Fähndrich. Touchdevelop: Programming cloud-connected mobile devices via touchscreen. In ONWARD'11 at SPLASH (also available as Microsoft TechReport MSR-TR-2011-49), 2011.
31. D. Weaver and T. Germond, editors. The SPARC Architecture Manual Version 9. PTR Prentice Hall, 1994.