Conflict-free Replicated Data Types

保证最终一致性（EC）的重复数据允许任意的副本不需要远端同步地接受更新。这保证了在大型分布式系统中的性能和可扩展性。但公开的 EC 方法都是临时设计并且容易出错的。在一个正式的「强最终一致性 Strong Eventual Consitency」 的模型下，我们研究了状态收敛的充分条件。一个满足这些条件的数据类型就被称为 Conflict-free Replicated Data Type(CRDT)。 CRDT 中的副本不管发生多少错误都保证能够收敛。这篇论文正式定义了两种流行的方式（基于状态的和基于操作的）以及他们各自收敛的充分条件。我们研究了一系列有用的 CRDT，例如可添加和删除元素的 Set，和更复杂的 Graph。CRDT 类型能够被组合起来开发大型分布式应用，并有有趣的理论属性。