کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4951513 1441474 2018 12 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Delta state replicated data types
ترجمه فارسی عنوان
انواع داده های تکثیر شده کشور دلتا
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی


- Definition of delta-state CRDTs and their relation to state CRDTs.
- Proofs of conditions to attain equivalence to state based CRDTs.
- Anti-entropy algorithm for basic and causally consistent convergence.
- Portfolio of delta state CRDTs including optimized sets, and recursive map.

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 (δ-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 δ-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 δ-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 δ-CRDT specifications of both well-known replicated datatypes and novel datatypes, including a generic map composition.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Parallel and Distributed Computing - Volume 111, January 2018, Pages 162-173
نویسندگان
, , ,