[论文解读] High-Performance Concurrency Control Mechanisms for Main-Memory Databases

Per-Åke Larson, Spyros Blanas+4 more|arXiv (Cornell University)|Dec 31, 2011

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

一句话总结

本文提出了两种高性能的多版本并发控制（MVCC）机制——乐观和悲观机制，适用于内存主数据库的OLTP系统。两种机制均通过多版本技术将只读事务与更新操作隔离，其中乐观变体使用验证和原子时间戳来最小化争用；实验表明，在高争用或长事务场景下，MVCC方法优于单版本锁机制，且乐观方法实现了更高的吞吐量。

ABSTRACT

A database system optimized for in-memory storage can support much higher transaction rates than current systems. However, standard concurrency control methods used today do not scale to the high transaction rates achievable by such systems. In this paper we introduce two efficient concurrency control methods specifically designed for main-memory databases. Both use multiversioning to isolate read-only transactions from updates but differ in how atomicity is ensured: one is optimistic and one is pessimistic. To avoid expensive context switching, transactions never block during normal processing but they may have to wait before commit to ensure correct serialization ordering. We also implemented a main-memory optimized version of single-version locking. Experimental results show that while single-version locking works well when transactions are short and contention is low performance degrades under more demanding conditions. The multiversion schemes have higher overhead but are much less sensitive to hotspots and the presence of long-running transactions.

研究动机与目标

• 为解决传统单版本锁在高吞吐量内存主OLTP系统中可扩展性受限的问题。
• 设计并评估针对内存工作负载优化的多版本并发控制机制。
• 在不同工作负载下，对比乐观与悲观MVCC方案与单版本锁机制的性能表现。
• 识别MVCC相较于传统锁机制在吞吐量和抗争用能力方面表现更优的条件。

提出的方法

• 提出一种乐观MVCC方案，通过原子时间戳获取实现序列化，并在提交时进行验证，以确保可串行化。
• 实现一种悲观MVCC方案，使用多版本锁在事务执行期间防止冲突。
• 设计一种面向内存优化的单版本锁变体，作为性能基线。
• 使用版本时间戳确定可见性和可更新性，确保读取稳定性并避免幻读。
• 通过避免正常处理期间的阻塞来最小化争用；仅在提交阶段可能出现等待。
• 仅在时间戳获取时使用临界区，而该操作为单条原子指令，从而实现高并行性。

实验结果

研究问题

• RQ1 在高吞吐量内存环境中，乐观MVCC相较于悲观MVCC和单版本锁的性能表现如何？
• RQ2 与单版本锁相比，多版本机制是否能显著提升对热点数据和长事务只读操作的抗性？
• RQ3 MVCC机制的性能开销如何？在高争用环境下是否仍可接受？
• RQ4 由于减少了阻塞，乐观MVCC方法是否实现了高于悲观变体的吞吐量？
• RQ5 乐观与悲观事务能否在同一数据库中无冲突共存？

主要发现

• 在低争用的TATP类工作负载下，乐观MVCC方案的吞吐量超过单版本锁的10倍以上。
• 单版本锁在高争用或长事务只读操作下性能迅速下降，成为性能瓶颈。
• 在高争用环境下，悲观MVCC方案优于单版本锁，但性能仍不及乐观变体。
• MVCC机制在存在热点数据和长事务时仍能保持高吞吐量，表现出更强的抗性。
• 由于序列化开销更低，乐观方法始终实现了高于悲观MVCC方案的吞吐量。
• 时间戳获取的临界区极小（仅一条原子指令），从而实现了高并行性和低争用。