Conflict-Free Replicated Data Types

A conflict-free replicated data type (CRDT) is an abstract data type, with a well defined interface, designed to be replicated at multiple processes and exhibiting the following properties: (1) any replica can be modified without coordinating with another replicas; (2) when any two replicas have received the same set of updates, they reach the same state, deterministically, by adopting mathematically sound rules to guarantee state convergence.

[1]  Patrick E. O'Neil,et al.  The Escrow transactional method , 1986, TODS.

[2]  Sérgio Duarte,et al.  Putting consistency back into eventual consistency , 2015, EuroSys.

[3]  Rodrigo Rodrigues,et al.  Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants , 2015, 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS).

[4]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[5]  Bernadette Charron-Bost,et al.  Concerning the Size of Logical Clocks in Distributed Systems , 1991, Inf. Process. Lett..

[6]  Annette Bieniusa,et al.  Eventually consistent register revisited , 2015, PaPoC@EuroSys.

[7]  Joonwon Lee,et al.  Parallel Distrib , 2022 .

[8]  Marcos K. Aguilera,et al.  Transactional storage for geo-replicated systems , 2011, SOSP.

[9]  Clarence A. Ellis,et al.  Concurrency control in groupware systems , 1989, SIGMOD '89.

[10]  Marc Shapiro,et al.  Conflict-Free Replicated Data Types , 2011, SSS.

[11]  Dahlia Malkhi,et al.  Concise version vectors in WinFS , 2005, Distributed Computing.

[12]  Nancy A. Lynch,et al.  Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services , 2002, SIGA.

[13]  Alastair R. Beresford,et al.  Verifying strong eventual consistency in distributed systems , 2017, Proc. ACM Program. Lang..

[14]  Paulo Sérgio Almeida,et al.  DottedDB: Anti-Entropy without Merkle Trees, Deletes without Tombstones , 2017, 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS).

[15]  Hongseok Yang,et al.  'Cause I'm strong enough: Reasoning about consistency choices in distributed systems , 2016, POPL.

[16]  Pascal Molli,et al.  Proving correctness of transformation functions in collaborative editing systems , 2005 .

[17]  Ali Shoker,et al.  Making operation-based CRDTs operation-based , 2014, PaPEC '14.

[18]  Sebastian Burckhardt,et al.  Semantics of Concurrent Revisions , 2011, ESOP.

[19]  Pascal Molli,et al.  Logoot: A Scalable Optimistic Replication Algorithm for Collaborative Editing on P2P Networks , 2009, 2009 29th IEEE International Conference on Distributed Computing Systems.

[20]  Werner Vogels,et al.  Building reliable distributed systems at a worldwide scale demands trade-offs between consistency and availability. , 2022 .

[21]  Annette Bieniusa,et al.  Cure: Strong Semantics Meets High Availability and Low Latency , 2016, 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS).

[22]  Ali Shoker,et al.  Delta state replicated data types , 2016, J. Parallel Distributed Comput..

[23]  Marvin Theimer,et al.  Managing update conflicts in Bayou, a weakly connected replicated storage system , 1995, SOSP.

[24]  Alastair R. Beresford,et al.  A Conflict-Free Replicated JSON Datatype , 2016, IEEE Transactions on Parallel and Distributed Systems.

[25]  Joan Manuel Marquès,et al.  A Commutative Replicated Data Type for Cooperative Editing , 2009, 2009 29th IEEE International Conference on Distributed Computing Systems.

[26]  Cheng Li,et al.  Making geo-replicated systems fast as possible, consistent when necessary , 2012, OSDI 2012.

[27]  Marvin Theimer,et al.  Flexible update propagation for weakly consistent replication , 1997, SOSP.

[28]  Peter Zeller,et al.  Testing properties of weakly consistent programs with Repliss , 2017, PaPoC@EuroSys.

[29]  Annette Bieniusa,et al.  Formal Specification and Verification of CRDTs , 2014, FORTE.

[30]  Friedemann Mattern,et al.  Virtual Time and Global States of Distributed Systems , 2002 .

[31]  Sebastian Burckhardt,et al.  Replicated data types: specification, verification, optimality , 2014, POPL.

[32]  Murat Demirbas,et al.  Logical Physical Clocks , 2014, OPODIS.

[33]  Paulo Sérgio Almeida,et al.  Scalable eventually consistent counters over unreliable networks , 2013, Distributed Computing.

[34]  Marvin Theimer,et al.  Session guarantees for weakly consistent replicated data , 1994, Proceedings of 3rd International Conference on Parallel and Distributed Information Systems.

[35]  Marc Shapiro,et al.  Semantics-Based Reconciliation for Collaborative and Mobile Environments , 2003, OTM.

[36]  Bertrand Ducourthial,et al.  r-Semi-Groups: A Generic Approach for Designing Stabilizing Silent Tasks , 2007, SSS.

[37]  Werner Vogels,et al.  Dynamo: amazon's highly available key-value store , 2007, SOSP.

[38]  Pascal Molli,et al.  Logoot-Undo: Distributed Collaborative Editing System on P2P Networks , 2010, IEEE Transactions on Parallel and Distributed Systems.

[39]  Yasushi Saito,et al.  Optimistic replication , 2005, CSUR.

[40]  Albert van der Linde,et al.  Δ-CRDTs: making δ-CRDTs delta-based , 2016, PaPoC@EuroSys.

[41]  Marc Shapiro,et al.  A comprehensive study of Convergent and Commutative Replicated Data Types , 2011 .

[42]  Carlos Baquero Moreno,et al.  Specification of convergent abstract data types for autonomous mobile computing , 1997 .

[43]  Sébastien Tixeuil,et al.  Self-Stabilization with r-Operators revisited , 2005, J. Aerosp. Comput. Inf. Commun..

[44]  Robert Thomas,et al.  Maintenance of duplicate databases , 1975, RFC.

[45]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[46]  Russell Brown,et al.  Riak DT map: a composable, convergent replicated dictionary , 2014, PaPEC '14.

[47]  João Leitão,et al.  Efficient Synchronization of State-Based CRDTs , 2018, 2019 IEEE 35th International Conference on Data Engineering (ICDE).

[48]  Arthur J. Bernstein,et al.  Efficient solutions to the replicated log and dictionary problems , 1984, PODC '84.

[49]  Annette Bieniusa,et al.  SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine , 2013, 2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops.

[50]  Nuno M. Preguiça,et al.  Non-uniform Replication , 2017, OPODIS.

[51]  Scott Shenker,et al.  Epidemic algorithms for replicated database maintenance , 1988, OPSR.