Higher-Order Patterns in Replicated Data Types
Higher-Order Patterns in Replicated Data Types
复制标题
复制数据类型中的高阶模式
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Carlos Baquero
中科院分区：
文献类型：
--
作者：
Adriaan Leijnse;Paulo Sérgio Almeida;Carlos Baquero
传统上，无冗余复制数据类型的设计需要从头开始实现新的设计，以满足所需的行为。虽然有一些组合规则可以指导这个过程，但还没有大量的工作来解释现有的数据类型如何相互关联，也没有工作来分解常见的模式。为了使该领域更加清晰，我们解释了标志、集合和寄存器所共有的基本模式。识别的模式是简洁和可组合的，这使它们能够解释当前的设计并为新的设计开辟空间。
The design of Conflict-free Replicated Data Types traditionally requires implementing new designs from scratch to meet a desired behavior. Although there are composition rules that can guide the process, there has not been a lot of work explaining how existing data types relate to each other, nor work that factors out common patterns. To bring clarity to the field we explain underlying patterns that are common to flags, sets, and registers. The identified patterns are succinct and composable, which gives them the power to explain both current designs and open up the space for new ones.