CvRDTs的可观测原子一致性
Observable atomic consistency for CvRDTs
摘要：
分布式系统的开发要求开发人员在一致性、可用性和分区容差之间取得平衡。在最终一致的系统中，为了减少并发控制，广泛使用了无冗余复制数据类型（CRDT）。然而，由于缺乏一致的非单调操作，CRDT的使用可能是困难的。在本文中，我们提出了一个新的一致性协议，可观察原子一致性协议（OACP）。OACP支持强一致性的原则性放松，以提高特定场景中的性能。OACP结合了可合并数据类型（具体而言，是聚合复制数据类型）和可靠的全顺序广播的优点，以提供随需应变的强一致性。通过提供可观察的原子一致性，OACP避免了相关协议的异常。我们提供了一个分布式的，基于Akka的OACP集群实现，Akka是一个广泛使用的基于角色的中间件。我们的实验评估表明，OACP可以减少副本之间的协调相比，其他协议提供原子的一致性，在几个基准。我们的研究结果还表明，OACP通过可合并的数据类型获得可用性，并提供可接受的延迟，以实现强一致性。
英文摘要：
The development of distributed systems requires developers to balance the need for consistency, availability, and partition tolerance. Conflict-free replicated data types (CRDTs) are widely used in eventually consistent systems to reduce concurrency control. However, due to the lack of consistent non-monotonic operations, the usage of CRDTs can be difficult. In this paper, we propose a new consistency protocol, the observable atomic consistency protocol (OACP). OACP enables a principled relax- ation of strong consistency to improve performance in specific scenarios. OACP combines the advantages of mergeable data types, specifically, convergent replicated data types, and reliable total order broadcast to provide on-demand strong consistency. By providing observable atomic consistency, OACP avoids the anomalies of related protocols. We provide a distributed, cluster-enabled implementation of OACP based on Akka, a widely-used actor-based middleware. Our experimental evaluation shows that OACP can reduce the coordination between replicas compared to other protocols providing atomic consistency in several bench- marks. Our results also suggest that OACP gains availability through mergeable data types and provides acceptable latency for achieving strong consistency.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
