当前位置：首页 > article >正文

深入理解 MVCC：多版本并发控制详解

article 2025/1/4 14:33:33

引言

在高并发环境下，数据库系统需要一种机制来确保多个事务能够安全且高效地同时访问和修改数据。多版本并发控制（MVCC, Multi-Version Concurrency Control）正是为了解决这个问题而设计的。本文将详细介绍 MVCC 的概念、工作原理，并通过具体的 MySQL 示例展示其在实际应用中的表现。

一、什么是 MVCC？

多版本并发控制（MVCC） 是一种并发控制方法，它允许多个事务同时读取和写入同一行数据而不必相互阻塞。这是通过为每一行数据维护多个版本实现的，每个事务都可以看到一个一致的数据快照，即使其他事务正在对该行进行修改。

二、MVCC 的核心概念

1 数据行版本

隐藏字段：为了支持多版本，MySQL InnoDB 存储引擎会在表结构中添加一些隐藏字段，如 DB_TRX_ID 和 DB_ROLL_PTR，用于记录该版本的创建事务 ID 和回滚指针。
Undo 日志：InnoDB 使用 Undo 日志来存储旧版本的数据，以便恢复到某个时间点的状态。

2 快照隔离

一致性读：事务在开始时会获取一个快照（snapshot），这个快照包含了当前所有可见的数据版本。事务后续的所有读操作都基于这个快照，不会受到其他事务的影响。
不可重复读：尽管不同事务可能看到不同的数据版本，但在同一个事务内，读取的结果是一致的，即“不可重复读”问题得到了解决。

3 并发控制

读写不冲突：读操作不会阻塞写操作，反之亦然。这意味着多个事务可以同时读取或写入同一行数据，只要它们的操作类型不冲突。
写写冲突：当两个事务试图同时更新同一行数据时，后提交的事务会被拒绝，或者等待前一个事务完成。

三、MVCC 在 MySQL 中的工作原理

1 版本生成与管理

插入新版本：当一个事务插入一条新记录时，数据库会为该记录生成一个新的版本，并将其链接到现有版本链中。
更新现有版本：更新操作实际上是在原记录基础上创建一个新版本，而不是直接修改旧版本。旧版本仍然保留，直到不再被任何事务引用。
删除版本：删除操作并不会立即移除记录，而是标记其为逻辑删除。真正的物理删除会在垃圾回收过程中进行。

2 快照创建

事务启动时：每个事务开始时都会生成一个唯一的事务 ID（XID），并根据当前系统的状态创建一个快照。
快照内容：快照包含所有活动事务的列表以及全局的 XID 计数器值，用于判断哪些版本是可见的。

3 可见性规则

版本选择：对于每次读操作，事务会根据快照中的信息选择最合适的版本。具体来说：
- 如果版本的 DB_TRX_ID 小于等于当前事务的 XID，且没有被其他未提交的事务覆盖，则该版本对当前事务可见。
- 否则，该版本对当前事务不可见。

四、示例：MVCC 在 MySQL 中的应用

考虑一个简单的银行账户转账场景，其中有两个事务 T1 和 T2 分别代表两个用户之间的转账操作：

-- 创建测试表
CREATE TABLE accounts (
    id INT PRIMARY KEY,
    balance DECIMAL(10, 2) NOT NULL
);

-- 插入初始数据
INSERT INTO accounts (id, balance) VALUES (1, 100.00), (2, 200.00);

场景一：T1 和 T2 不冲突的读写操作

T1 开始：从账户 A 转账 50 给账户 B。
T2 开始：查询账户 A 的余额。

由于 T1 和 T2 的操作不冲突，T2 可以读取 T1 开始前的版本，而 T1 可以继续执行其更新操作。结果如下：

-- T1 执行转账操作
BEGIN;
UPDATE accounts SET balance = balance - 50 WHERE id = 1; -- 减少账户 A 的余额
UPDATE accounts SET balance = balance + 50 WHERE id = 2; -- 增加账户 B 的余额
COMMIT;

-- T2 查询账户 A 的余额
BEGIN;
SELECT * FROM accounts WHERE id = 1; -- 返回旧版本的余额，即 100.00
COMMIT;

场景二：T1 和 T2 冲突的写写操作

T1 开始：从账户 A 转账 50 给账户 B。
T2 开始：尝试从账户 A 转账 30 给账户 C。

在这种情况下，T1 和 T2 都试图修改账户 A 的余额，导致写写冲突。T2 将不得不等待 T1 完成，或者根据数据库的具体实现方式，可能会被拒绝。

-- T1 执行转账操作
BEGIN;
UPDATE accounts SET balance = balance - 50 WHERE id = 1; -- 减少账户 A 的余额
UPDATE accounts SET balance = balance + 50 WHERE id = 2; -- 增加账户 B 的余额
COMMIT;

-- T2 尝试转账操作
BEGIN;
UPDATE accounts SET balance = balance - 30 WHERE id = 1; -- 此操作必须等待 T1 完成
UPDATE accounts SET balance = balance + 30 WHERE id = 3; -- 假设账户 C 存在
COMMIT;

场景三：使用可重复读隔离级别

假设我们希望在一个事务内多次读取账户 A 的余额，确保每次都得到相同的结果。这可以通过设置事务隔离级别为可重复读（REPEATABLE READ）来实现。

-- 设置事务隔离级别为可重复读
SET SESSION TRANSACTION ISOLATION LEVEL REPEATABLE READ;

-- T1 开始并多次查询账户 A 的余额
BEGIN;
SELECT * FROM accounts WHERE id = 1; -- 第一次查询返回 100.00
-- 其他事务在此期间可能修改了账户 A 的余额
SELECT * FROM accounts WHERE id = 1; -- 第二次查询依然返回 100.00
COMMIT;