MVCC（多版本并发控制）详解
一、MVCC是什么？
MVCC（Multi-Version Concurrency Control，多版本并发控制）是数据库管理系统中的一种并发控制机制，它通过维护数据的多个版本来实现非阻塞读和高并发。
核心思想
• 为每条记录维护多个历史版本
• 读操作访问特定时间点的数据快照
• 写操作创建新版本而不阻塞读操作
二、MVCC的作用
1. 提高并发性能
• 读操作不会阻塞写操作
• 写操作不会阻塞读操作
• 实现读写并发，提高系统吞吐量
2. 解决读一致性问题
• 提供一致性非锁定读（Consistent Nonlocking Reads）
• 确保事务看到一致的数据视图
3. 支持事务隔离级别
• 特别适用于READ COMMITTED和REPEATABLE READ隔离级别
• 帮助实现部分SERIALIZABLE隔离级别的效果
三、MVCC的实现方式
1. 版本链（核心数据结构）
每条记录包含：
• DB_TRX_ID：最近修改该记录的事务ID
• DB_ROLL_PTR：回滚指针，指向undo log中的旧版本
• DB_ROW_ID：行ID（隐藏主键）
当前记录 → undo log记录1 → undo log记录2 → ...↑ ↑
(DB_TRX_ID) (DB_ROLL_PTR)
2. ReadView（读视图）
决定事务能看到哪些版本的数据，包含：
• m_ids：活跃事务ID列表
• min_trx_id：最小活跃事务ID
• max_trx_id：预分配的下一个事务ID
• creator_trx_id：创建该ReadView的事务ID
3. 可见性判断规则
对于每个版本记录，判断是否可见：
- 如果DB_TRX_ID < min_trx_id → 可见（已提交）
- 如果DB_TRX_ID > max_trx_id → 不可见（未来事务）
- 如果min_trx_id ≤ DB_TRX_ID ≤ max_trx_id：
• 如果DB_TRX_ID在m_ids中 → 不可见（未提交）
• 否则 → 可见（已提交） - 如果DB_TRX_ID = creator_trx_id → 可见（当前事务修改）
四、不同数据库的MVCC实现
1. MySQL InnoDB实现
• 版本存储：undo log中存储旧版本
• 清理机制：purge线程清理不再需要的旧版本
• 隔离级别支持：
• READ COMMITTED：每次读创建新ReadView
• REPEATABLE READ：第一次读创建ReadView并复用
2. PostgreSQL实现
• 使用事务ID和元组可见性规则
• 通过VACUUM进程清理旧版本
• 支持更复杂的快照隔离
3. Oracle实现
• 基于SCN（System Change Number）的版本控制
• 使用回滚段存储旧数据
• 提供闪回查询功能
五、MVCC的优缺点
优点
• 读操作不加锁，提高并发性能
• 避免脏读、不可重复读问题
• 减少死锁发生概率
缺点
• 需要额外存储空间保存多版本数据
• 需要定期清理旧版本（如InnoDB的purge操作）
• 可能导致"版本膨胀"问题
• 写操作仍然需要加锁
六、MVCC与锁的关系
MVCC不是完全替代锁，而是与锁机制协同工作：
• 读操作：使用MVCC实现无锁读取
• 写操作：仍然需要适当的锁（如行锁）保证一致性
• 特殊情况：SELECT FOR UPDATE等操作会加锁
七、MVCC实战示例
1. 事务隔离级别演示（MySQL）
-- 事务1
START TRANSACTION;
UPDATE users SET name = 'Alice' WHERE id = 1; -- 创建新版本-- 事务2（另一个连接）
START TRANSACTION;
SELECT name FROM users WHERE id = 1; -- 看到旧版本
COMMIT;-- 事务1
COMMIT; -- 提交后新版本对其他事务可见
2. 版本链查看（需特殊工具）
-- 查看undo信息（需要特殊权限）
SHOW ENGINE INNODB STATUS\G
-- 查看事务状态
SELECT * FROM information_schema.INNODB_TRX;
MVCC是现代数据库实现高并发的核心技术之一，理解其原理对于数据库性能优化和问题排查至关重要。不同数据库的具体实现各有特点，但核心思想都是通过维护数据多版本来减少读写冲突。