An algorithm for concurrency control and recovery in replicated distributed databases
ACM Transactions on Database Systems (TODS)
Epidemic algorithms for replicated database maintenance
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Commutativity-Based Concurrency Control for Abstract Data Types
IEEE Transactions on Computers
Concurrency control in groupware systems
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Groupware: some issues and experiences
Communications of the ACM
The ISIS project: real experience with a fault tolerant programming system
ACM SIGOPS Operating Systems Review
Lightweight causal and atomic group multicast
ACM Transactions on Computer Systems (TOCS)
Semantics-based concurrency control: beyond commutativity
ACM Transactions on Database Systems (TODS)
Weak-consistency group communication and membership
Weak-consistency group communication and membership
Real time groupware as a distributed system: concurrency control and its effect on the interface
CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
Managing update conflicts in Bayou, a weakly connected replicated storage system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
The dangers of replication and a solution
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
An integrating, transformation-oriented approach to concurrency control and undo in group editors
CSCW '96 Proceedings of the 1996 ACM conference on Computer supported cooperative work
An adaptive causal ordering algorithm suited to mobile computing environments
Journal of Parallel and Distributed Computing
ACM Transactions on Computer-Human Interaction (TOCHI)
Operational transformation in real-time group editors: issues, algorithms, and achievements
CSCW '98 Proceedings of the 1998 ACM conference on Computer supported cooperative work
A Majority consensus approach to concurrency control for multiple copy databases
ACM Transactions on Database Systems (TODS)
Copies convergence in a distributed real-time collaborative environment
CSCW '00 Proceedings of the 2000 ACM conference on Computer supported cooperative work
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Consistency maintenance in real-time collaborative graphics editing systems
ACM Transactions on Computer-Human Interaction (TOCHI)
Sacrificing serializability to attain high availability of data in an unreliable network
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Concurrent Operations in a Distributed and Mobile Collaborative Environment
ICDE '98 Proceedings of the Fourteenth International Conference on Data Engineering
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
Characterizing multicast orderings using concurrency control theory
ICDCS '97 Proceedings of the 17th International Conference on Distributed Computing Systems (ICDCS '97)
Proof of correctness of Ressel's adOPTed algorithm
Information Processing Letters
Preserving operation effects relation in group editors
CSCW '04 Proceedings of the 2004 ACM conference on Computer supported cooperative work
ACM Computing Surveys (CSUR)
A Performance Study of Group Editing Algorithms
ICPADS '06 Proceedings of the 12th International Conference on Parallel and Distributed Systems - Volume 1
Data consistency for P2P collaborative editing
CSCW '06 Proceedings of the 2006 20th anniversary conference on Computer supported cooperative work
A New Operational Transformation Framework for Real-Time Group Editors
IEEE Transactions on Parallel and Distributed Systems
A Commutative Replicated Data Type for Cooperative Editing
ICDCS '09 Proceedings of the 2009 29th IEEE International Conference on Distributed Computing Systems
Logoot: A Scalable Optimistic Replication Algorithm for Collaborative Editing on P2P Networks
ICDCS '09 Proceedings of the 2009 29th IEEE International Conference on Distributed Computing Systems
Evaluating CRDTs for real-time document editing
Proceedings of the 11th ACM symposium on Document engineering
Conflict-free replicated data types
SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
A string-wise CRDT for group editing
Proceedings of the 17th ACM international conference on Supporting group work
Distributed programming and consistency: principles and practice
Proceedings of the Third ACM Symposium on Cloud Computing
LSEQ: an adaptive structure for sequences in distributed collaborative editing
Proceedings of the 2013 ACM symposium on Document engineering
srCE: a collaborative editing of scalable semantic stores on P2P networks
International Journal of Computer Applications in Technology
Proceedings of the 4th annual Symposium on Cloud Computing
Replicated data types: specification, verification, optimality
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Hi-index | 0.00 |
For distributed applications requiring collaboration, responsive and transparent interactivity is highly desired. Though such interactivity can be achieved with optimistic replication, maintaining replica consistency is difficult. To support efficient implementations of collaborative applications, this paper extends a few representative abstract data types (ADTs), such as arrays, hash tables, and growable arrays (or linked lists), into replicated abstract data types (RADTs). In RADTs, a shared ADT is replicated and modified with optimistic operations. Operation commutativity and precedence transitivity are two principles enabling RADTs to maintain consistency despite different execution orders. Especially, replicated growable arrays (RGAs) support insertion/deletion/update operations. Over previous approaches to the optimistic insertion and deletion, RGAs show significant improvement in performance, scalability, and reliability.