[论文解读] Antidote SQL: Relaxed When Possible, Strict When Necessary

Pedro Miguel Sousa Lopes, João Sousa+6 more|arXiv (Cornell University)|Feb 10, 2019

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

一句话总结

Antidote SQL 允许应用开发者在安全的情况下放松 SQL 一致性，同时在宽松语义下强制实施主键、外键和检查约束，以确保正确性。它采用基于模式的并发模型和基于 CRDT 的冲突解决机制，最大限度减少协调开销，在不牺牲数据完整性的前提下，实现地理复制系统中的高可用性和低延迟。

ABSTRACT

Geo-replication poses an inherent trade-off between low latency, high availability and strong consistency. While NoSQL databases favor low latency and high availability, relaxing consistency, more recent cloud databases favor strong consistency and ease of programming, while still providing high scalability. In this paper, we present Antidote SQL, a database system that allows application developers to relax SQL consistency when possible. Unlike NoSQL databases, our approach enforces primary key, foreign key and check SQL constraints even under relaxed consistency, which is sufficient for guaranteeing the correctness of many applications. To this end, we defined concurrency semantics for SQL constraints under relaxed consistency and show how to implement such semantics efficiently. For applications that require strict SQL consistency, Antidote SQL provides support for such semantics at the cost of requiring coordination among replicas.

研究动机与目标

• 解决地理复制数据库中低延迟、高可用性和强一致性之间的权衡问题。
• 使应用开发者能够在安全的情况下放松 SQL 一致性，同时通过约束保持数据库完整性。
• 提供一种基于模式的方法来控制并发语义，而无需复杂的协调机制。
• 通过强制实施主键、外键和检查约束，在宽松一致性下确保应用的正确性。
• 在支持应用需求的宽松和严格一致性模式的同时，最小化协调开销。

提出的方法

• 扩展 AQL（Antidote SQL 的 SQL 类接口）以支持 DDL 扩展，用于指定并发语义和约束强制执行策略。
• 使用并行快照隔离（PSI）结合完整性不变量，支持跨地理分布站点的并发、因果有序事务。
• 利用 CRDT（无冲突复制数据类型）实现并发更新的安全合并，并支持用户定义的合并策略。
• 设计无需协调的算法，以在分布式分片和副本之间强制实施引用完整性。
• 实现约束强制执行语义，仅限制冲突更新，尽可能保留高并发性。
• 与 AntidoteDB 集成作为底层键-对象存储，原生支持 CRDT 和托管数据类型。

实验结果

研究问题

• RQ1 如何在不损害数据完整性的前提下，放松地理复制数据库中的 SQL 一致性？
• RQ2 在弱一致性下，哪些并发语义是安全且高效的，可用于强制实施主键、外键和检查约束？
• RQ3 基于模式的方法能否消除对复杂静态分析或运行时插桩的依赖，以指导一致性放松？
• RQ4 如何在不依赖副本之间协调的情况下，维护跨分布式节点的引用完整性？
• RQ5 与传统强一致性模型相比，基于宽松一致性的约束强制执行的性能开销如何？

主要发现

• Antidote SQL 允许开发者通过模式级别的并发语义指定何时以及如何放松 SQL 一致性，从而减少协调开销。
• 即使在宽松一致性下，系统仍强制实施主键、外键和检查约束，确保许多真实应用场景的正确性。
• 基于 CRDT 的冲突解决机制支持用户定义策略，实现并发更新的安全合并，从而支持高可用性和低延迟。
• 引用完整性的实现使用无需协调的算法，在分布式分片和副本之间保持一致性。
• 初步评估表明，在乐观外键强制执行下，插入和更新操作的开销可忽略不计，但删除操作存在可测量的代价。
• 通过仅在必要时限制协调，系统在性能和正确性之间实现了平衡，同时在安全情况下仍支持高并发。