IPA：弱一致复制数据库的不变保持应用
IPA: Invariant-preserving Applications for Weakly-consistent Replicated Databases
摘要：
基于弱一致性的存储系统比使用强一致性的系统提供更好的可用性和更低的延迟，特别是在地理复制设置中。然而，在弱一致性下，很难确保应用程序的正确性，因为不协调操作的执行可能导致无效状态。在本文中，我们将展示如何修改应用程序，使其在弱一致性下正确运行。我们开发了一个分析，检测哪些操作需要纠正，并提出可能的修改操作，以防止不一致。这种分析允许程序员为每个有问题的执行选择首选语义，同时在没有冲突发生时保留操作的原始语义。与不能保持应用程序正确性的弱一致性应用程序相比，修改后的应用程序运行开销很小。
英文摘要：
Storage systems based on Weak Consistency provide better availability and lower latency than systems that use Strong Consistency, especially in geo-replicated settings. However, under Weak Consistency, it is harder to ensure the correctness of applications, as the execution of uncoordinated operations may lead to invalid states. In this paper we show how to modify an application to make it run correctly under Weak Consistency. We developed an analysis that detects which operations need to be corrected, and proposes possible modifications to operations to prevent inconsistencies. This analysis allows the programmer to choose the preferred semantics for each problematic execution, while preserving the original semantics of operations when no conflicts occur. The modified application runs with small overhead when compared with its Weak Consistency counterpart, which cannot preserve application correctness.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
