基于Delta-Mutation的高效状态CRDT
Efficient State-based CRDTs by Delta-Mutation
摘要：
CRDT是分布式数据类型，它使分布式对象的最终一致性成为可能，并且是非自组织的。具体地，基于状态的CRDT通过传播可能很大的完整状态并将其合并到其他副本来确保收敛;而基于操作的CRDT传播操作（即，小的状态），假设恰好一次可靠的传播层。我们引入了Delta State无冗余复制数据库（δ-CRDT），它可以实现两全其美：具有增量性质的小消息，如基于操作的CRDT，通过不可靠的通信渠道传播，如传统的基于状态的CRDT。这是通过定义δ-mutator来返回一个delta状态来实现的，通常具有比完整状态小得多的大小，它连接到本地和远程状态。我们介绍了δ-CRDT框架，并通过建立与当前基于状态的CRDT的对应关系来解释它。此外，我们提出了一个反熵算法，确保因果一致性，我们介绍了两个δ-CRDT规格的知名复制数据库。
英文摘要：
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 en- tire 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, 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 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 we introduce two δ-CRDT specifications of well-known replicated datatypes.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
