mysql的innodb存储引擎通过多版本并发控制（mvcc）让读操作不加锁也能拿到一致的数据快照。其底层依赖undo版本链记录历史版本，并通过readview决定可见性，从而避免读写冲突并提升并发性能。
一、什么是undo版本链
当一行数据被更新或删除时，innodb不会直接覆盖原记录，而是把旧版本写入undo日志，并通过隐藏字段db_trx_id（最近修改该记录的事务id）和db_roll_ptr（回滚指针）串联成链。最新记录指向旧版本，旧版本再指向上一个旧版本，形成undo版本链。
隐藏字段说明
- db_trx_id：创建或最后一次修改该版本的事务id
- db_roll_ptr：指向undo日志中上一个版本的指针
- db_row_id：行标识（无主键时自动生成）
二、readview是如何构建的
readview是事务在执行快照读时生成的一个视图，用于判断版本链中哪个版本对当前事务可见。它主要包含四个部分：
| 字段 | 含义 |
|---|---|
| m_ids | 生成readview时活跃的事务id列表 |
| min_trx_id | m_ids中的最小值 |
| max_trx_id | 系统下一个将分配的事务id |
| creator_trx_id | 创建该readview的事务id |
可见性判断规则
- 若版本的db_trx_id等于creator_trx_id，说明是当前事务自己改的，可见。
- 若db_trx_id小于min_trx_id，表示该版本在readview创建前已提交，可见。
- 若db_trx_id大于等于max_trx_id，表示是之后开启的事务改的，不可见。
- 若db_trx_id在min和max之间，且不在m_ids中，说明已提交，可见；在m_ids中则不可见。
三、结合代码示例理解
下面用伪代码展示readview判断单个版本是否可见的逻辑：
// 判断某个数据版本对当前readview是否可见
boolean isVisible(long db_trx_id, ReadView view) {
if (db_trx_id == view.creator_trx_id) {
return true; // 自己改的，可见
}
if (db_trx_id < view.min_trx_id) {
return true; // 已提交，可见
}
if (db_trx_id >= view.max_trx_id) {
return false; // 未来事务，不可见
}
// 在活跃列表中则未提交，不可见
return !view.m_ids.contains(db_trx_id);
}
四、undo版本链与readview如何协作
当事务发起快照读时，innodb先构建readview，然后从表记录的最新版本出发，沿db_roll_ptr遍历undo版本链，利用上述规则逐个检查，直到找到第一个对readview可见的版本并返回。这样，不同事务在相同时间点可能沿着不同路径拿到不同历史版本，实现非锁定读。
注意：当前读（如select for update）会读取最新已提交版本并加锁，不走readview机制。
五、小结
mysql的多版本并发控制由undo版本链提供历史数据、readview提供可见性边界共同完成。理解这两个结构的构建与遍历方式，就能明白为什么mvcc能兼顾高并发与数据一致性。