[论文解读] Posterior Snapshot Isolation

Xuan Zhou, Xin Zhou+2 more|arXiv (Cornell University)|Apr 5, 2017

Distributed systems and fault tolerance被引用 2

一句话总结

事后快照隔离（PostSI）是一种可扩展的并发控制机制，允许事务自主分配自己的时间戳，从而消除对集中式时间戳协调的需求。这种去中心化方法在现代多核和MPP系统上显著提升了性能和水平可扩展性，在高并发环境中优于传统的快照隔离（SI）。

ABSTRACT

Snapshot Isolation (SI) is a widely adopted concurrency control mechanism in database systems, which utilizes timestamps to resolve conflicts between transactions. However, centralized allocation of timestamps is a potential bottleneck for parallel transaction management. This bottleneck is becoming increasingly visible with the rapidly growing degree of parallelism of today's computing platforms. This paper introduces Posterior Snapshot Isolation (PostSI), an SI mechanism that allows transactions to determine their timestamps autonomously, without relying on centralized coordination. As such, PostSI can scale well, rendering it suitable for various multi-core and MPP platforms. Extensive experiments are conducted to demonstrate its advantage over existing approaches.

研究动机与目标

• 解决快照隔离（SI）在高度并行系统中因集中式时间戳分配而产生的可扩展性限制。
• 消除高并发事务处理中因集中协调而产生的性能瓶颈。
• 设计一种去中心化的SI机制，在保持隔离语义的同时实现高效、可扩展的事务执行。
• 在多种并行计算平台上评估所提出机制的性能和可扩展性。

提出的方法

• 事务在提交时根据观察到的提交顺序和全局一致性保证，自主决定其自身的时间戳。
• PostSI采用事后时间戳分配，即时间戳在事务执行后根据全局提交顺序分配。
• 该机制通过确保每个事务在特定时间点看到数据库的一致快照，来维持快照隔离语义。
• 仅通过轻量级协调进行冲突检测和全局排序，最大限度减少竞争。
• PostSI采用分布式日志或类似向量时钟的机制来跟踪提交顺序，并在无需集中协调的情况下解决冲突。
• 通过将读集和写集与最终提交顺序进行验证，系统确保可串行化和快照隔离。

实验结果

研究问题

• RQ1 去中心化时间戳分配机制是否能在无集中协调的情况下维持快照隔离的正确性？
• RQ2 与采用集中式时间戳的传传统SI相比，PostSI在高度并行环境下的表现如何？
• RQ3 自主时间戳分配对多核和MPP环境中可扩展性和吞吐量的影响如何？
• RQ4 在缺乏集中协调的情况下，PostSI如何处理冲突解决并维持隔离保证？

主要发现

• PostSI在高并发和核心数量增加的情况下，相比集中式SI实现了显著更高的吞吐量。
• 该机制消除了与集中式时间戳分配相关的瓶颈，使MPP和多核平台的水平扩展能力得到显著提升。
• PostSI在通过去中心化时间戳分配减少协调开销的同时，仍保持了强大的隔离语义（SI）。
• 性能随着核心数量的增加近乎线性扩展，表明在并行环境中具有极强的弹性。