Replicated abstract data types: Building blocks for collaborative applications

Journal of Parallel and Distributed Computing

Volumn 71, Issue 3, 2011, Pages 354-368

  Roh, Hyun Gul ^a   Jeon, Myeongjae ^b   Kim, Jin Soo ^c   Lee, Joonwon ^c  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

^b Rice University   (United States)

^c Sungkyunkwan University   (South Korea)

Author keywords

Collaboration; Distributed data structures; Optimistic algorithm; Optimistic replication; Replicated abstract data types

Indexed keywords

ABSTRACT DATA TYPES; COLLABORATION; DISTRIBUTED DATA STRUCTURES; OPTIMISTIC ALGORITHM; OPTIMISTIC REPLICATION;

ABSTRACTING; ALGORITHMS; DATA STRUCTURES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 78751644957     PISSN: 07437315     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jpdc.2010.12.006     Document Type: Article

References (41)

1. B.R. Badrinath, and K. Ramamritham Semantics-based concurrency control: beyond commutativity ACM Transactions on Database Systems 17 1 1992 163 199
2. V. Balakrishnan Graph Theory 1997 McGraw-Hill New York
3. P.A. Bernstein, and N. Goodman An algorithm for concurrency control and recovery in replicated distributed databases ACM Transactions on Database Systems 9 4 1984 596 615
4. K. Birman, and R. Cooper The ISIS project: real experience with a fault tolerant programming system SIGOPS Operating Systems Review 25 2 1991 103 107
5. K.P. Birman, A. Schiper, and P. Stephonson Lightweight causal and atomic group multicast ACM Transactions on Computer Systems 9 3 1991 272 314
6. A. Demers, D. Greene, C. Hauser, W. Irish, J. Larson, S. Shenker, H. Sturgis, D. Swinehart, D. Terry, Epidemic algorithms for replicated database maintenance, in: Proceedings of ACM Symposium on Principles of Distributed Computing, PODC, 1987, pp. 112.
7. C.A. Ellis, S.J. Gibbs, Concurrency control in groupware systems, in: Proceedings of ACM International Conference on Management of Data, SIGMOD, 1989, pp. 399407.
8. C.A. Ellis, S.J. Gibbs, and G. Rein Groupware: some issues and experiences Communications of the ACM 34 1 1991 39 58
9. M.J. Fischer, A. Michael, Sacrificing serializability to attain availability of data in an unreliable network, in: Proceedings of ACM Symposium on Principle of Database Systems, PODS, 1982.
10. R.A. Golding, Weak-consistency group communication and membership, Ph.D. Thesis, University of California, Santa Cruz, 1992.
11. Google Inc., Google wave protocols, 2009. http://www.waveprotocol.org/.
12. J. Gray, P. Helland, P. O'Neil, D. Shasha, The dangers of replication and a solution, in: Proceedings of ACM International Conference on Management of Data, SIGMOD, 1996, pp. 173182.
13. S. Greenberg, D. Marwood, Real time groupware as a distributed system: concurrency control and its effect on the interface, in: Proceedings of ACM Conference on Computer Supported Cooperative Work, CSCW, 1994, pp. 207217.
14. P.A. Jensen, N.R. Soparkar, A.G. Mathur, Characterizing multicast orderings using concurrency control theory, in: Proceedings of IEEE International Conference on Distributed Computing Systems, ICDCS, 1997, pp. 586593.
15. L. Lamport Time, clocks, and the ordering of events in a distributed system Communications of the ACM 21 7 1978 558 565
16. D. Li, R. Li, Preserving operation effects relation in group editors, in: Proceedings of ACM Conference on Computer Supported Cooperative Work, CSCW, 2004, pp. 457466.
17. R. Li, D. Li, Commutativity-based concurrency control in groupware, in: International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom, 2005, p. 10.
18. D. Li, and R. Li A performance study of group editing algorithms Proceedings of International Conference on Parallel and Distributed Systems ICPADS 2006 IEEE Computer Society 300 307
19. R. Li, and D. Li A new operational transformation framework for real-time group editors IEEE Transactions on Parallel and Distributed Systems 18 3 2007 307 319
20. B. Lushman, and G.V. Cormack Proof of correctness of Ressel's adOPTed algorithm Information Processing Letters 86 6 2003 303 310
21. S. Mishra, L.L. Peterson, R.D. Schlichting, Implementing fault-tolerant replicated objects using Psync, in: Proceedings of Symposium on Reliable Distributed Systems, 1989, pp. 4252.
22. G. Oster, P. Molli, P. Urso, A. Imine, Tombstone transformation functions for ensuring consistency in collaborative editing systems, in: International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom, 2006, pp. 110.
23. G. Oster, P. Urso, P. Molli, A. Imine, Real time group editors without operational transformation, Rapport de recherche RR-5580, INRIA, May 2005.
24. G. Oster, P. Urso, P. Molli, A. Imine, Data consistency for P2P collaborative editing, in: Proceedings of ACM Conference on Computer Supported Cooperative Work, CSCW, 2006, pp. 259268.
25. R. Prakash, M. Raynal, and M. Singhal An adaptive causal ordering algorithm suited to mobile computing environments Journal of Parallel and Distributed Computing 41 2 1997 190 204
26. N. Preguia, J.M. Marqus, M. Shapiro, M. Letia, A commutative replicated data type for cooperative editing, in: Proceedings of IEEE International Conference on Distributed Computing Systems, ICDCS, 2009.
27. M. Ressel, D. Nitsche-Ruhland, R. Gunzenhuser, An integrating, transformation-oriented approach to concurrency control and undo in group editors, in: Proceedings of ACM Conference on Computer Supported Cooperative Work, CSCW, 1996, pp. 288297.
28. H.-G. Roh, J. Kim, J. Lee, How to design optimistic operations for peer-to-peer replication, in: Joint Conference on Information Sciences, JCIS, 2006.
29. H.-G. Roh, J.-S. Kim, J. Lee, S. Maeng, Optimistic operations for replicated abstract data types, Technical Report CS-TR-2009-318, KAIST, 2009.
30. Y. Saito, and M. Shapiro Optimistic replication ACM Computing Surveys 37 1 2005 42 81
31. M. Shapiro, N. Preguia, Designing a commutative replicated data type, Rapport de recherche RR-6320, INRIA, October 2007.
32. M. Suleiman, M. Cart, and J. Ferri Concurrent operations in a distributed and mobile collaborative environment Proceedings of International Conference on Data Engineering ICDE 1998 IEEE Computer Society 36 45
33. C. Sun, and D. Chen Consistency maintenance in real-time collaborative graphics editing systems ACM Transactions on ComputerHuman Interaction 9 1 2002 1 41
34. C. Sun, C.S. Ellis, Operational transformation in real-time group editors: issues, algorithms, and achievements, in: Proceedings of ACM Conference on Computer Supported Cooperative Work, CSCW, 1998, pp. 5968.
35. C. Sun, X. Jia, Y. Zhang, Y. Yang, and D. Chen Achieving convergence, causality preservation, and intention preservation in real-time cooperative editing systems ACM Transactions on Computer-Human Interaction 5 1 1998 63 108
36. D.B. Terry, M.M. Theimer, K. Petersen, A.J. Demers, M.J. Spreitzer, C.H. Hauser, Managing update conflicts in Bayou, a weakly connected replicated storage system, in: Proceedings of ACM Symposium on Operating Systems Principles, SOSP, 1995, pp. 172182.
37. R.H. Thomas A majority consensus approach to concurrency control for multiple copy databases ACM Transactions on Database Systems 4 2 1979 180 209
38. N. Vidot, M. Cart, J. Ferri, M. Suleiman, Copies convergence in a distributed real-time collaborative environment, in: Proceedings of ACM Conference on Computer Supported Cooperative Work, CSCW, 2000, pp. 171180.
39. W.E. Weihl Commutativity-based concurrency control for abstract data types IEEE Transactions on Computers 37 12 1988 1488 1505
40. S. Weiss, P. Urso, and P. Molli Logoot: a scalable optimistic replication algorithm for collaborative editing on P2P networks Proceedings of IEEE International Conference on Distributed Computing Systems ICDCS 2009 IEEE Computer Society
41. Y. Yu, P. Manolios, and L. Lamport Model checking TLA + specifications CHARME'99: Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods 1999 Springer-Verlag 54 66