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

【MySQL】MVCC底层原理超全详解（快照读/当前读/版本链/ReadView/隔离级别）

news 2026/5/29 22:37:34

大家好，我是程序员二叉。

一、简介

MVCC（多版本并发控制）是 MySQL InnoDB 引擎的核心机制，也是后端面试高频考点。它可以无锁实现读写并发，解决读写互相阻塞的性能问题，同时支撑了 MySQL 两大事务隔离级别：读已提交（RC）、可重复读（RR）。

本文全面拆解 MVCC 底层原理，包含快照读与当前读、行隐式字段、undo log 与版本链、ReadView 视图、隔离级别实现等内容，适合学习与面试背诵，欢迎点赞收藏关注。

二、MVCC 核心概述

MVCC 全称Multi-Version Concurrency Control（多版本并发控制），仅针对 InnoDB 存储引擎生效。

核心作用：

实现无锁读，读写互不阻塞，大幅提升数据库并发能力；
依靠数据多版本机制，规避脏读、不可重复读，实现不同事务隔离级别。

MVCC 三大核心要素：行隐式字段 + undo log 版本链 + ReadView 读视图。

三、两种读取模式：快照读 & 当前读

InnoDB 的读操作分为两类，是理解 MVCC 的基础，二者核心区别：读取历史快照数据 / 读取最新实时数据。

1. 快照读（Snapshot Read）

定义：无锁读取，读取事务快照中的历史版本数据，读写互不阻塞，并发性能高。
触发语句：普通无锁SELECT查询。

-- 典型快照读SELECT*FROMuserWHEREid=1;

举例（可重复读级别）：

事务 A 开启事务，首次查询 id=1，结果为 name=张三；
事务 B 修改数据为 name=李四，并提交事务；
事务 A 再次执行相同查询，依旧读到 name=张三。

原理：事务 A 读取的是事务启动时的快照数据，并非数据库最新数据。

2. 当前读（Current Read）

定义：加锁读取，强制读取数据库最新已提交数据，属于悲观锁机制，会产生锁阻塞。
触发语句：所有增删改操作、加锁查询均为当前读。

-- 加锁查询（当前读）SELECT*FROMuserWHEREid=1FORUPDATE;SELECT*FROMuserWHEREid=1LOCKINSHAREMODE;-- 写入操作（底层都是当前读）UPDATEuserSETname='李四'WHEREid=1;DELETEFROMuserWHEREid=1;

举例：
事务 A 执行 FOR UPDATE 加锁查询，无论其他事务是否修改提交数据，始终读取最新数据。

四、InnoDB 行三大隐式字段

InnoDB 会为每一行数据自动添加 3 个隐藏字段，是 MVCC 实现的底层数据支撑。

隐式字段名	占用字节	核心作用
DB_TRX_ID	6	记录最后修改当前行的事务 ID（增 / 改 / 删都会更新），标记数据版本归属，是可见性判断依据
DB_ROLL_PTR	7	回滚指针，指向 undo log 中上一个历史版本，串联所有版本形成版本链
DB_ROW_ID	8	隐藏自增主键，仅表无主键 / 唯一索引时生效，和 MVCC 无关，仅用于物理存储

五、Undo Log 日志 & 数据版本链

1. Undo Log 核心作用

Undo Log 即回滚日志，是 InnoDB 核心日志之一，主要有两大作用：

事务回滚：事务失败或执行 ROLLBACK 时，依靠 undo log 恢复数据，保证事务原子性；
支撑 MVCC：存储数据历史版本，为快照读提供旧数据，实现无锁读取。

2. 版本链

定义：同一条数据的所有历史版本，通过 DB_ROLL_PTR 回滚指针串联形成的单向链表，称之为版本链。

版本链规则：
链表头节点：数据最新版本（磁盘物理数据）；
链表后续节点：undo log 中存储的历史旧版本；
每次修改数据，都会生成新版本并挂载到链表头部。

版本链生成示例：
事务 10 插入数据 id=1,name=张三 → 版本 1（TRX_ID=10）；
事务 20 修改为李四 → 版本 2（TRX_ID=20），指针指向版本 1；
事务 30 修改为王五 → 版本 3（TRX_ID=30），指针指向版本 2。
最终版本链：版本 3（最新） → 版本 2 → 版本 1（最旧）

六、ReadView 读视图（可见性判断核心）

ReadView 是快照读时生成的一致性视图，核心作用：**遍历版本链，判断当前事务能看到哪个历史版本，**是实现事务隔离级别的关键。

1. ReadView 四大核心字段

字段名	详细作用
m_ids	生成 ReadView 瞬间，数据库中所有活跃、未提交的事务 ID 集合
min_trx_id	m_ids 集合中最小的事务 ID
max_trx_id	系统下一个待分配的事务 ID（全局自增）
creator_trx_id	当前事务自身 ID（创建该 ReadView 的事务）

2. 数据可见性规则（按顺序判断）

取出数据版本的 DB_TRX_ID，依次执行以下规则：
1、若 TRX_ID == creator_trx_id：当前数据由自己修改，可见；
2、若 TRX_ID < min_trx_id：修改事务早已提交，可见；
3、若 TRX_ID >= max_trx_id：属于未来未开启的事务，不可见；
4、若 TRX_ID 在 m_ids 中：事务活跃未提交，不可见；不在集合中则代表已提交，可见。

兜底逻辑：当前版本不可见时，顺着版本链向前遍历旧版本，直到找到可见版本，无匹配则返回空。