[论文解读] Principles for Inconsistency

Shel Finkelstein, Dean Jacobs+1 more|ArXiv.org|Sep 9, 2009

Distributed systems and fault tolerance参考文献 5被引用 12

一句话总结

这篇CIDR 2009年的论文提出了一套原则化的框架，用于在可扩展数据库系统中管理有意的数据不一致，认为受控的不一致对于性能和可用性是必要的。该论文引入了保持一致性的设计原则，包括有界不一致性和用户可理解的语义，并概述了在数据分歧存在的情况下仍能保持可用性的系统实现策略。

ABSTRACT

Data consistency is very desirable because strong semantic properties make it easier to write correct programs that perform as users expect. However, there are good reasons why consistency may have to be weakened to achieve other business goals. In this CIDR 2009 Perspectives paper, we present real-world reasons inconsistency may be necessary, offer principles for managing inconsistency coherently, and describe implementation approaches we are investigating for sustainably scalable systems that offer comprehensible user experiences despite inconsistency.

研究动机与目标

• 解决日益增长的可扩展、高可用系统的需求，其中强一致性不切实际或成本过高。
• 识别现实世界中业务和系统层面的原因，说明为何尽管存在风险，有意的不一致仍是必要的。
• 建立一个连贯的框架，以系统化的方式管理不一致，同时保持系统的可用性和正确性。
• 指导数据库系统的设计，使其在可持续地处理不一致的同时，确保终端用户能够理解其行为。
• 探索支持这些原则在生产规模系统中实现的实现方法。

提出的方法

• 提出一组用于管理不一致性的设计原则，包括有界不一致性和一致性感知的用户界面。
• 引入‘有意不一致’的概念，将其视为可扩展性和可用性之间的权衡，而非故障状态。
• 强调需要对不一致的持续时间和影响范围提供系统级别的保证，以确保可预测性。
• 主张面向用户的语义应使不一致可见且易于理解，避免无声的数据损坏。
• 概述了诸如具有有界延迟的最终一致性等架构模式，以及冲突解决策略。
• 提出监控和仪器化技术，以追踪并暴露给管理员和用户不一致的程度。

实验结果

研究问题

• RQ1 在生产系统中，弱化数据一致性的合法业务和系统层面原因是什么？
• RQ2 如何以一致的方式管理不一致性，使其对用户保持可预测且可理解？
• RQ3 哪些系统层面的原则可以确保不一致性不会损害应用的正确性或用户信任？
• RQ4 数据库系统如何以支持应用层正确性和调试的方式暴露不一致性？
• RQ5 哪些架构模式能够支持可扩展的、以一致性为设计目标的系统，同时有意容忍受控的不一致性？

主要发现

• 在大规模系统中，有意不一致是实现高可用性和高性能的必要权衡。
• 通过使不一致有界、可见且语义上有意义，系统可以维持用户信任。
• 本文确立了即使在弱化的情况下，一致性保证也必须是显式且可组合的。
• 面向用户的语义应反映实际的一致性模型，使开发人员能够编写正确的应用程序。
• 诸如有界延迟和冲突解决日志等实现策略有助于可持续地管理不一致。
• 该框架使可扩展系统即使在数据分歧的情况下也能提供可理解的行为，从而提升可维护性和可调试性。