MySQL InnoDB的 MVCC 实现机制1. MVCC概述什么是 MVCC当前读和快照读MVCC 与锁机制的组合2. MVCC的实现原理隐式字段记录的版本元数据Undo Log版本链的存储载体Undo Log 的分类版本链的形成过程Read View版本可见性的判断规则不同隔离级别下的 Read View1. MVCC概述什么是 MVCCMVCCMulti-Version Concurrency Control即多版本并发控制是数据库领域中一种核心的并发控制技术不仅广泛应用于数据库管理系统DBMS以支撑高并发的数据库访问场景也在部分编程语言的事务内存实现中发挥重要作用。在 MySQL 的 InnoDB 存储引擎中MVCC 的核心设计目标是提升数据库的并发处理能力。传统的锁机制在处理读写冲突时往往需要通过加锁阻塞来保证数据一致性这会显著降低并发效率而 MVCC 创新性地解决了读 - 写冲突问题 —— 即便存在读写操作的并发执行也能做到不加锁、非阻塞的并发读极大地优化了数据库在高并发场景下的性能表现。当前读和快照读要理解 MVCC 的工作逻辑首先需要区分数据库中的两种核心读取方式当前读和快照读。1、当前读当前读是指读取记录的最新版本且为了保证数据的一致性和排他性读取过程中会对目标记录加锁防止其他并发事务修改该记录。典型的当前读操作包括加共享锁的查询SELECT ... LOCK IN SHARE MODE其他事务可读取该记录但无法修改直到共享锁释放加排他锁的操作SELECT ... FOR UPDATE、UPDATE、INSERT、DELETE这类操作会获取记录的排他锁其他事务既无法读取加锁读也无法修改该记录直到排他锁释放。当前读的本质是悲观锁的实现通过强制加锁的方式规避并发修改风险但也不可避免地带来了锁竞争和阻塞问题2、快照读快照读是指不加锁的非阻塞读取也是日常开发中最常用的读取方式如普通的SELECT操作。快照读的核心支撑就是 MVCC—— 它并不直接读取记录的最新版本而是读取数据的某个历史版本快照从而避免了与写操作的锁冲突。可以将 MVCC 理解为行锁的一种 “变种”但它在绝大多数场景下避免了显式加锁操作大幅降低了锁机制带来的性能开销。需要明确的是MVCC 解决的是快照读与写操作之间的冲突而非当前读的冲突。MVCC 与锁机制的组合数据库的并发冲突主要分为两类读 - 写冲突、写 - 写冲突。MVCC 本身无法解决写 - 写冲突因此需要与锁机制结合形成两种经典的组合方案MVCC 悲观锁MVCC 处理读 - 写冲突快照读无锁悲观锁如行锁、表锁处理写 - 写冲突通过加锁阻塞避免并发修改MVCC 乐观锁MVCC 处理读 - 写冲突乐观锁如基于版本号 / 时间戳的校验处理写 - 写冲突无锁阻塞通过版本比对解决冲突。这种组合模式既保证了数据一致性又最大化了数据库的并发处理能力也是 InnoDB 成为 MySQL 默认存储引擎的核心原因之一2. MVCC的实现原理MVCC 的实现并非单一技术而是由记录的隐式字段、Undo Log回滚日志和Read View读视图三大核心组件协同完成隐式字段记录的版本元数据InnoDB 中每行记录除了用户自定义的字段如name、age外还会自动生成若干隐式字段用于维护记录的版本信息核心隐式字段包括DB_ROW_ID6byte隐含的自增主键隐藏主键。若数据表未定义主键InnoDB 会以此生成聚簇索引DB_TRX_ID6byte事务 ID记录创建 / 最后一次修改该记录的事务 ID事务 ID 自增分配IDDB_ROLL_PTR 7byte回滚指针指向该记录上一个版本的 Undo Log形成版本链表DELETED_BIT1byte删除标记标记记录是否被 “删除”逻辑删除而非物理删除核心说明DB_ROW_ID仅在表无主键时生效是 InnoDB 保证聚簇索引存在的兜底方案DB_TRX_ID是版本判断的核心标识每一次修改记录都会更新该字段为当前事务 IDDB_ROLL_PTR是连接历史版本的关键通过它可以追溯记录的所有历史版本DELETED_BIT是 InnoDB逻辑删除的实现 —— 删除操作仅修改该标记不会立即物理删除记录为 MVCC 的版本链提供支持。Undo Log版本链的存储载体Undo Log回滚日志是 InnoDB 为事务回滚和 MVCC 提供的核心日志存储在磁盘的rollback segment 中。与 Redo Log重做日志保障事务持久性不同Undo Log 的核心作用是记录数据修改前的旧版本支持事务回滚同时为 MVCC 提供历史版本数据。Undo Log 的分类由于查询操作SELECT并不会修改任何用户记录所以在查询操作执行时并不需要记录相应的undo log根据操作类型Undo Log 分为三类其中对 MVCC 最关键的是Update undo logInsert Undo Log仅在插入操作时生成记录插入记录的主键值。事务回滚时只需根据主键删除该记录即可对 MVCC 无直接作用Update Undo Log修改记录时生成记录修改前的完整旧版本数据。这是 MVCC 的核心依赖 —— 每一次更新操作都会将旧版本数据写入Update Undo Log并通过DB_ROLL_PTR将当前记录与旧版本链接形成版本链表Delete Undo Log删除操作时生成记录被删除记录的完整内容。InnoDB 的删除操作是 逻辑删除 —— 仅将DELETED_BIT标记为 1而非物理删除记录事务回滚时只需将DELETED_BIT改回 0并恢复记录即可版本链的形成过程以person表的一条记录为例1、步骤 1初始插入记录事务 T0 插入一条记录nameJerryage24此时隐式字段状态DB_ROW_ID1自动生成DB_TRX_IDNULL无修改事务DB_ROLL_PTRNULL无历史版本DELETED_BIT0未删除。2、步骤 2事务 T1 修改记录name→Tom事务 T1 执行UPDATE person SET nameTom WHERE DB_ROW_ID1执行流程对该记录加排他锁防止并发修改将当前记录的完整数据nameJerryage24拷贝到 Update Undo Log作为第一个历史版本修改记录的name为 Tom更新DB_TRX_ID为 T1 的事务 ID假设为 1将DB_ROLL_PTR指向步骤 2 中生成的 Undo Log 记录事务提交释放排他锁。此时记录的最新版本指向 T1 的修改Undo Log 中保留了初始版本版本链初步形成3、步骤 3事务 T2 修改记录age→30事务 T2 执行UPDATE person SET age30 WHERE DB_ROW_ID1执行流程对该记录加排他锁将当前记录的完整数据nameTomage24拷贝到 Update Undo Log作为新的历史版本插入版本链的头部修改记录的age为 30更新DB_TRX_ID为 T2 的事务 ID假设为 2将DB_ROLL_PTR指向步骤 2 中生成的新 Undo Log 记录事务提交释放排他锁。最终该记录的版本链结构为最新版本nameTomage30TRX_ID2 → 历史版本1nameTomage24TRX_ID1 → 历史版本2nameJerryage24TRX_IDNULL版本链的核心特征链首是最新的历史版本链尾是最早的初始版本通过DB_ROLL_PTR串联Read View版本可见性的判断规则当事务执行快照读时InnoDB 会生成一个 Read View读视图它是当前事务可见的事务 ID 集合的快照核心作用是判断当前事务能看到版本链中的哪个版本。Read View 包含四个关键属性以 RC 隔离级别为例m_ids生成 Read View 时系统中所有活跃的事务 ID 列表未提交的事务min_trx_idm_ids中的最小值最早开启的活跃事务max_trx_id生成 Read View 时系统即将分配的下一个事务 IDcreator_trx_id生成该 Read View 的当前事务 ID。Read View 通过对比记录的DB_TRX_ID事务 ID与自身属性判断该版本是否对当前事务可见判断规则如下若记录的DB_TRX_ID creator_trx_id该记录由当前事务修改可见若记录的DB_TRX_ID min_trx_id修改该记录的事务已提交可见若记录的DB_TRX_ID max_trx_id修改该记录的事务在生成 Read View 后才开启不可见若min_trx_id ≤ DB_TRX_ID max_trx_id若DB_TRX_ID在m_ids中事务未提交不可见若DB_TRX_ID不在m_ids中事务已提交可见。若当前版本不可见则通过DB_ROLL_PTR遍历版本链依次判断下一个历史版本直到找到第一个可见的版本这就是当前事务快照读能看到的最终数据。不同隔离级别下的 Read ViewMySQL 的隔离级别读未提交、读已提交、可重复读、串行化中Read View 的生成策略是区分 “读已提交RC” 和 “可重复读RR” 的核心读已提交RC每次执行快照读时生成新的 Read View这样同一事务中多次快照读可能看到不同版本不可重复读可重复读RR事务中第一次执行快照读时生成 Read View后续复用这样同一事务中多次快照读看到的是同一版本可重复读InnoDB 的可重复读本质是通过 “复用 Read View” 实现的 —— 事务第一次快照读生成的 Read View会被该事务后续所有快照读复用因此即便其他事务提交了修改当前事务也不会看到保证了 “可重复读” 的特性。例如事务 ARR 隔离级别第一次快照读生成 Read Viewm_ids[2,3]此时事务 BTRX_ID4修改了记录并提交事务 A 后续的快照读仍复用最初的 Read View因此看不到事务 B 的修改实现了可重复读。