[论文解读] Observable atomic consistency for CvRDTs

Xin Zhao, Philipp Haller|arXiv (Cornell University)|Feb 26, 2018

Distributed systems and fault tolerance参考文献 36被引用 4

一句话总结

本文为冲突自由复制数据类型（CvRDTs）提出可观测原子一致性（OAC），通过一种新型协议（OACP）实现按需强一致性，该协议结合交换运算与可靠全序广播，减少了协调开销和消息交换量，相较于先前的GSP等协议，同时保持状态收敛性并支持非单调操作。

ABSTRACT

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.

研究动机与目标

• 解决CvRDTs在支持一致的非单调操作方面的局限性，避免出现陈旧读取和复杂的应用逻辑。
• 提出一种有原则的强一致性放松机制，在不牺牲正确性的情况下提升分布式系统的性能。
• 设计一种一致性模型，保证可观测原子一致性，确保原子操作后所有副本一致收敛。
• 基于Akka实现并评估一个支持集群的、基于角色的OACP系统，适用于真实世界部署场景。
• 证明OACP相较于现有协议（如GSP）在消息交换与协调开销方面具有优势，尤其在高交换运算工作负载下表现更优。

提出的方法

• 将可观测原子一致性（OAC）模型定义为一种正式的一致性抽象，使CvRDTs能够实现按需强一致性。
• 引入两种操作类型：CvOps（交换性、基于状态的更新）与TOps（全序、原子操作），用于协调状态收敛。
• 设计可观测原子一致性协议（OACP），确保所有副本在执行TOp时原子性地同步并锁定其状态。
• 使用可靠全序广播（RTOB）强制TOps的全局排序，确保所有副本以相同顺序应用这些操作。
• 基于Akka角色实现OACP，以支持具有容错性与可扩展性的分布式集群部署。
• 通过在锁定阶段进行批处理与状态缓冲，将OACP优化为O²ACP，以减少消息开销。

实验结果

研究问题

• RQ1 能否设计一种一致性模型，使CvRDTs支持非单调操作，同时不牺牲收敛性或一致性保证？
• RQ2 如何在最终一致系统中按需提供强一致性，同时最小化协调开销？
• RQ3 与现有协议（如GSP）相比，OACP在消息交换、延迟与吞吐量方面的性能影响如何？
• RQ4 在OACP及其优化变体O²ACP中，交换运算所占比例在多大程度上影响协调成本？
• RQ5 OACP能否在真实世界分布式应用（如类似Twitter的微博服务）中有效部署？

主要发现

• 在微基准测试中，当CvOps比例从0%提升至95%时，OACP将交换协议消息数减少高达57%（从约1400条降至约600条）。
• 优化后的O²ACP变体在不同工作负载下保持稳定的消息数量，相较于OACP在混合操作模式下展现出更优的性能稳定性。
• OACP在可接受的延迟下实现强一致性，表明高可用性与低协调开销可在分布式系统中共存。
• 使用OACP的系统表现出状态收敛，证明在所提出的协议下，OAC模型在形式上是正确且一致的。
• 在类似Twitter的微博服务案例研究中，OACP的优化（即O²ACP）显著降低了协调成本，同时保持一致性。
• 实验评估证实，OACP在吞吐量与协调效率方面优于基线协议GSP，尤其在以交换运算为主的工作负载中表现更优。