[论文解读] GentleRain+: Making GentleRain Robust on Clock Anomalies

Mohammad Roohitavaf, Sandeep S. Kulkarni|arXiv (Cornell University)|Nov 16, 2016

Distributed systems and fault tolerance参考文献 7被引用 6

一句话总结

本文提出 GentleRain+，即 GentleRain 协议的增强版本，通过用混合逻辑时钟（HLCs）替代物理时钟，消除了对时钟异常的敏感性。通过利用 HLCs，GentleRain+ 即使在时钟倒退或存在时钟偏移的情况下，也能保持因果一致性，同时相比原始 GentleRain 协议，实现了更低的写入延迟且无性能开销。

ABSTRACT

Causal consistency is in an intermediate consistency model that can be achieved together with high availability and high performance requirements even in presence of network partitions. There are several proposals in the literature for causally consistent data stores. Thanks to the use of single scalar physical clocks, GentleRain has a throughput higher than other proposals such as COPS or Orbe. However, both of its correctness and performance relay on monotonic synchronized physical clocks. Specifically, if physical clocks go backward its correctness is violated. In addition, GentleRain is sensitive on the clock synchronization, and clock skew may slow write operations in GenlteRain. In this paper, we want to solve this issue in GenlteRain by using Hybrid Logical Clock (HLC) instead of physical clocks. Using HLC, GentleRain protocl is not sensitive on the clock skew anymore. In addition, even if clocks go backward, the correctness of the system is not violated. Furthermore, by HLC, we timestamp versions with a clock very close to the physical clocks. Thus, we can take causally consistency snapshot of the system at any give physical time. We call GentleRain protocol with HLCs GentleRain+. We have implemented GentleRain+ protocol, and have evaluated it experimentally. GentleRain+ provides faster write operations compare to GentleRain that rely solely on physical clocks to achieve causal consistency. We have also shown that using HLC instead of physical clock does not have any overhead. Thus, it makes GentleRain more robust on clock anomalies at no cost.

研究动机与目标

• 解决 GentleRain 对时钟异常（如时钟倒退和偏移）的脆弱性，这些异常会损害正确性与性能。
• 通过采用更鲁棒的计时机制，消除 GentleRain 中因时钟偏移导致的写操作延迟。
• 在任意物理时间点实现因果一致的系统快照，同时保持低延迟与高吞吐量。
• 证明基于 HLC 的时间戳与物理时钟相比，不会引入额外的处理、内存或存储开销。
• 证明在网络分区下，实现始终可用且因果一致的数据存储，必须具备流量局部性。

提出的方法

• 用混合逻辑时钟（HLCs）替代 GentleRain 中的物理时钟，HLCs 将物理时间与逻辑递增相结合，以确保单调性与因果排序。
• 使用 HLC 时间戳分配版本元数据，确保即使在时钟漂移或倒退的情况下，因果依赖的更新也能按正确顺序可见。
• 引入紧凑的 HLC 表示形式，使存储与内存效率与物理时钟保持一致。
• 修改写操作逻辑，通过依赖 HLC 的特性而非严格的物理时钟单调性，避免延迟。
• 在分布式键值存储系统（MSU-DB）中实现并评估 GentleRain+，与原始 GentleRain 协议对比性能与正确性。
• 形式化并证明一个不可能性结果：在网络分区下，实现始终可用且因果一致的系统，必须具备流量局部性。

实验结果

研究问题

• RQ1 当物理时钟倒退或出现偏移时，能否在 GentleRain 中保持因果一致性？
• RQ2 用 HLC 替代物理时钟是否能消除因时钟偏移导致的写操作延迟？
• RQ3 在因果一致的数据存储中，使用 HLC 而非物理时钟的性能开销是多少？
• RQ4 能否通过基于 HLC 的版本控制，高效支持在特定物理时间点的系统快照？
• RQ5 在网络分区下，流量局部性是否是实现始终可用且因果一致的数据存储的必要条件？

主要发现

• GentleRain+ 即使在物理时钟倒退时也能保持因果一致性，解决了原始 GentleRain 协议中的关键正确性缺陷。
• GentleRain+ 中的写操作不会因时钟偏移而延迟，相比 GentleRain，响应时间更低且更可预测。
• 与物理时钟相比，使用 HLC 不会产生可测量的处理开销，使性能提升对用户透明。
• 基于 HLC 的版本控制支持在任意期望的物理时间点高效进行系统快照，这是物理时钟原生不支持的功能。
• 由于采用紧凑表示，HLC 的内存与存储开销与物理时钟完全相同，确保系统资源无膨胀。
• 本文证明了一个不可能性结果：在网络分区下，实现始终可用且因果一致的数据存储，必须具备流量局部性。