保持冷静并继续使用CRDT
摘要：使用无需协调技术的可靠分布式应用程序编程的工具很少。冲突自由复制数据类型（CRDT）是一种有前途的研究方向，可以实现无需协调的复制，并在相对简单的面向对象API中提供某些最终一致性保证。然而，CRDT保证仅适用于数据更新；对CRDT状态的观察没有约束且不安全。我们提出了一个议程，拥抱CRDT的简单性，但提供更丰富、更统一的保证。我们通过应用CALM定理的单调性结果，扩展CRDT的查询模型来推理哪些查询是安全的，而无需协调，并制定了一个更大的议程，以开发能让开发者安全高效地与复制的应用程序状态进行交互的CRDT数据存储。
作者：Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein
论文ID：2210.12605
分类：Databases
分类简称：cs.DB
提交时间：2022-10-25