[论文解读] Writes that Fall in the Forest and Make no Sound: Semantics-Based Adaptive Data Consistency.

Sudip Roy, Łucja Kot+4 more|arXiv (Cornell University)|Mar 10, 2014

Distributed systems and fault tolerance参考文献 35被引用 9

一句话总结

本文提出了一种基于语义的自适应数据一致性模型，允许在分布式系统中存在有界不一致，同时确保事务正确性。通过使用程序分析推导节点之间的语义契约（条约），并利用稳态协议强制执行这些契约，该方法最大限度地减少了节点间通信，使标准基准测试的开销降低了高达60%，同时保持了强一致性保证。

ABSTRACT

Datastores today rely on distribution and replication to achieve improved performance and fault-tolerance. But the correctness of many applications depends on strong consistency properties -- something that can impose substantial overheads, since it requires coordinating the behavior of multiple nodes. This paper describes a new approach to achieving strong consistency in distributed systems while minimizing communication between nodes. The key insight is to allow the state of the system to be inconsistent during execution, as long as this inconsistency is bounded and does not affect transaction correctness. In contrast to previous work, our approach uses program analysis to extract semantic information about permissible levels of inconsistency and is fully automated. We then employ a novel homeostasis protocol to allow sites to operate independently, without communicating, as long as any inconsistency is governed by appropriate treaties between the nodes. We discuss mechanisms for optimizing treaties based on workload characteristics to minimize communication, as well as a prototype implementation and experiments that demonstrate the benefits of our approach on common transactional benchmarks.

研究动机与目标

• 通过允许有界且语义安全的不一致，减少分布式数据存储中的通信开销。
• 通过利用应用程序语义，实现在每次操作中无需协调即可实现强一致性。
• 使用静态程序分析自动推导节点之间的数据一致性契约（条约）。
• 根据工作负载特征优化条约配置，以最小化通信量。
• 实现并评估一个原型，展示在标准事务工作负载下性能的提升。

提出的方法

• 使用静态程序分析提取语义约束，以定义分布式节点间允许的不一致程度。
• 定义“条约”——节点之间的正式协议，基于语义分析指定不一致允许的条件和时机。
• 设计一种稳态协议，使节点在不一致保持在条约规定范围内时可独立运行。
• 根据观察到的工作负载模式动态调整条约配置，以在保持正确性的前提下最小化通信量。
• 将协议集成到原型数据存储中，以评估真实工作负载下的一致性保证和性能表现。

实验结果

研究问题

• RQ1 是否可以在不损害事务正确性的情况下，在分布式系统中安全地允许有界不一致？
• RQ2 如何自动分析应用程序语义以推导出节点间的一致性契约？
• RQ3 何种协议机制可实现独立运行，同时确保在定义范围内的数据一致性？
• RQ4 工作负载感知的条约优化如何减少通信开销？
• RQ5 与传统强一致性模型相比，该方法在多大程度上降低了通信成本？

主要发现

• 与传统强一致性协议相比，该方法在标准事务基准测试中将通信开销降低了高达60%。
• 语义分析的使用实现了无需手动指定的一致性条约的自动推导。
• 稳态协议在长时间独立运行期间仍成功维持了正确性。
• 工作负载感知的条约调优显著减少了通信量，尤其在混合读写工作负载下效果明显。
• 原型在实现强一致性保证的同时，性能接近最终一致性系统。