Delta State replicated data types

• Type: Article in International Scientific Journal
• Date: 2018

Authors

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

Journal

Title: Journal of Parallel and Distributed Computing

Vol. 111

Pages: 162-173

ISSN: 0743-7315

Publisher: Elsevier

Indexing

ISI Web of Knowledge - 29 Citations

Scopus - 42 Citations

Other information

Authenticus ID: P-00K-AM2

DOI: 10.1016/j.jpdc.2017.08.003

Abstract (EN): Conflict-free Replicated Data Types (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. We introduce Delta State Conflict-Free Replicated Data Types (delta-CRDT) that can achieve the best of both operation-based and state-based CRDTs: small messages with an incremental nature, as in operation-based CRDTs, disseminated over unreliable communication channels, as in traditional state-based CRDTs. This is achieved by defining delta-mutators to return a delta-state, typically with a much smaller size than the full state, that to be joined with both local and remote states. We introduce the delta-CRDT framework, and we explain it through establishing a correspondence to current state-based CRDTs. In addition, we present an anti-entropy algorithm for eventual convergence, and another one that ensures causal consistency. Finally, we introduce several delta-CRDT specifications of both well-known replicated datatypes and novel datatypes, including a generic map composition.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 12