Efficient State-Based CRDTs by Delta-Mutation

• Type: Article in International Conference Proceedings Book
• Date: 2015

Authors

Almeida, PS (Author) Other; Shoker, A (Author) Other; Baquero, C (Author) Other

Conference proceedings International

Title: Networked Systems - Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers

Pages: 62-76

3rd International Conference on Networked Systems, NETYS 2015

13 May 2015 through 15 May 2015

Indexing

Scopus - 25 Citations

Other information

Authenticus ID: P-00G-69M

DOI: 10.1007/978-3-319-26850-7_5

Abstract (EN): CRDTs are distributed data types that make eventual consistency of a distributed object possible and non ad-hoc. Specifically, state-based CRDTs ensure convergence through disseminating the entire state, that may be large, and merging it to other replicas; whereas operation-based CRDTs disseminate operations (i.e., small states) assuming an exactly-once reliable dissemination layer. We introduce Delta State Conflict-Free Replicated Datatypes (¿-CRDT) that can achieve the best of both worlds: small messages with an incremental nature, disseminated over unreliable communication channels. This is achieved by defining ¿-mutators to return a delta-state, typically with a much smaller size than the full state, that is joined to both: local and remote states. We introduce the ¿-CRDT framework, and we explain it through establishing a correspondence to current state-based CRDTs. In addition, we present an anti-entropy algorithm that ensures causal consistency, and two ¿-CRDT specifications of well-known replicated datatypes. © Springer International Publishing Switzerland 2015.

Language: English

Type (Professor's evaluation): Scientific