论文标题
用半程产品组成和分解基于OP的CRDT
Composing and Decomposing Op-Based CRDTs with Semidirect Products
论文作者
论文摘要
基于操作的无冲突复制数据类型（CRDT）最终是一致的复制数据类型，可以自动解决并发操作之间的冲突。基于OP的CRDT必须针对每种数据类型进行不同的设计，并且当前的设计使用临时技术来处理不自然通勤的并发操作。我们提出了一种新的结构，这是基于OP的CRDT的半领产品，将两个CRDT的操作结合在一起，同时以统一的方式处理其并发操作之间的冲突。我们通过使用它来构建新颖的CRDT，并将几个现有的CRDT作为简单CRDT的半领产品进行分解，从而证明了构建实用程序。尽管它重现了常见的CRDT语义，但半领产品可以看作是受限的操作转换类型，因此在这两种相反的技术之间形成了用于构建复制数据类型的相对技术之间的桥梁。
Operation-based Conflict-free Replicated Data Types (CRDTs) are eventually consistent replicated data types that automatically resolve conflicts between concurrent operations. Op-based CRDTs must be designed differently for each data type, and current designs use ad-hoc techniques to handle concurrent operations that do not naturally commute. We present a new construction, the semidirect product of op-based CRDTs, which combines the operations of two CRDTs into one while handling conflicts between their concurrent operations in a uniform way. We demonstrate the construction's utility by using it to construct novel CRDTs, as well as decomposing several existing CRDTs as semidirect products of simpler CRDTs. Although it reproduces common CRDT semantics, the semidirect product can be viewed as a restricted kind of operational transformation, thus forming a bridge between these two opposing techniques for constructing replicated data types.
