[论文解读] Non-Monotonic Snapshot Isolation

Masoud Saeida Ardekani, Pierre Sutra+2 more|arXiv (Cornell University)|Jun 17, 2013

Distributed systems and fault tolerance参考文献 15被引用 11

一句话总结

本文提出了非单调快照隔离（NMSI），一种一致性模型，可在分布式事务系统中实现真正的部分复制（GPR），同时保留快照隔离（SI）的关键优势，如只读事务提交和避免冲突写入。该模型引入了Jessy协议，通过依赖向量和原子多播实现更低的消息开销和更快的提交速度，克服了在异步系统中同时实现SI与GPR的不可能性。

ABSTRACT

Many distributed applications require transactions. However, transactional protocols that require strong synchronization are costly in large scale environments. Two properties help with scalability of a transactional system: genuine partial replication (GPR), which leverages the intrinsic parallelism of a workload, and snapshot isolation (SI), which decreases the need for synchronization. We show that, under standard assumptions (data store accesses are not known in advance, and transactions may access arbitrary objects in the data store), it is impossible to have both SI and GPR. To circumvent this impossibility, we propose a weaker consistency criterion, called Non-monotonic Snapshot Isolation (NMSI). NMSI retains the most important properties of SI, i.e., read-only transactions always commit, and two write-conflicting updates do not both commit. We present a GPR protocol that ensures NMSI, and has lower message cost (i.e., it contacts fewer replicas and/or commits faster) than previous approaches.

研究动机与目标

• 解决大规模分布式事务系统中强同步机制带来的可伸缩性限制。
• 识别在异步消息传递系统中，快照隔离（SI）与真正的部分复制（GPR）之间的不兼容性。
• 设计一种新的一致性模型——非单调快照隔离（NMSI），在保持与GPR兼容的同时，保留SI的关键特性。
• 开发一种实用且高效的GPR协议（Jessy），在降低消息复杂度的同时实现更快的提交时间。

提出的方法

• 将SI分解为四个等价属性：无级联回滚、严格一致的快照、避免冲突写入以及快照单调性。
• 通过证明在异步系统中，真正的部分复制下无法同时实现快照单调性和严格一致性，从而证明GPR与SI的不兼容性。
• 提出NMSI作为SI的弱化替代方案，保留一致性与冲突解决保证，但放松了单调性与严格一致性要求。
• 设计Jessy协议，利用依赖向量（依赖向量的变体）异步计算一致的部分快照。
• 采用单个原子多播进行提交协调，相比多阶段协议显著降低通信开销。
• 分析并比较Jessy的消息复杂度（$O(w_r^2)$）与延迟，与先前协议相比，证明其在远程读写和提交阶段均具有改进。

实验结果

研究问题

• RQ1 在标准异步消息传递假设下，能否在真正的部分复制（GPR）系统中实现快照隔离（SI）？
• RQ2 SI与GPR在分布式系统中存在哪些根本性不兼容性？
• RQ3 是否存在一种弱于SI的一致性模型，既能保留其关键优势，又能与GPR兼容？
• RQ4 能否设计一种GPR协议，实现比现有方法更低的消息开销和更快的提交速度，同时保持强一致性保证？
• RQ5 如何在不依赖全局共识或完整复制的情况下，高效计算分布式系统中的一致性部分快照？

主要发现

• 在异步消息传递系统中，SI与GPR本质上不兼容，因为真正的部分复制下无法保证快照单调性与严格一致性。
• NMSI是SI的可行替代方案，保留了只读事务提交与冲突写入防止机制，同时放松了单调性与严格一致性要求。
• 所提出的Jessy协议相比先前的GPR协议（如P-Store与GMU）具有更低的消息复杂度（$O(w_r^2)$），后者复杂度为$O(n^2)$。
• Jessy通过使用单个原子多播协调更新事务，显著降低提交延迟，优于依赖多阶段共识或锁机制的协议。
• 与SIPRe和Serrano相比，Jessy通过消除启动时间广播和虚拟事务的需求，降低了只读事务的消息开销。
• 该协议在本地与全局更新场景中均表现出更优性能，远程读取延迟更低，更新事务提交速度更快。