深度解析Mysql中MVCC的工作机制

MVCC,多版本并发控制

  • 定义:维护一个数据的多个版本 ,使读写操作没有冲突,依赖于:隐藏字段,undo log日志,readView

  • MVCC会为每条版本记录保存三个隐藏字段

    1. DB_TRX_ID : 记录最近插入或修改该记录的事务ID
    2. DB_ROLL_PTR :回滚指针,指向这条记录的上个版本,配合undo log
    3. DB_ROW_ID :隐藏主键,如果没有指定主键,将会生成该隐藏主键

    流程(重点):在修改数据前,innodb引擎会在undo log 日志拷贝一份原记录 ,并将其DB_ROLL_PTR指向上一个版本 ,形成版本链 。然后修改数据值 ,并把DB_TRX_ID 改为当前执行的事务ID 。

  • readView

    1. 定义:确定事务在快照读时 能够看到数据库中的哪些数据版本。

    2. 区分:

      当前读 :读取的是记录的最新版本 ,对读取的记录加锁 ,保证读取时其他并发事务不能修改当前记录,解决幻读

      快照读 :select查询,不加锁,读取记录数据的可见版本 (通过事务ID递增性判断是否可见)

      1. Read Commited :每次select都生成一个readView,读取可见记录中的最新版本,会造成不可重复读的问题
      2. Repetable Read :事务首次 select时生成 readView,后续复用该readView**
  1. 定义:确定事务在快照读时 能够看到数据库中的哪些数据版本。

  2. 区分:

    当前读 :读取的是记录的最新版本 ,对读取的记录加锁 ,保证读取时其他并发事务不能修改当前记录,解决幻读

    快照读 :select查询,不加锁,读取记录数据的可见版本 (通过事务ID递增性判断是否可见)

    1. Read Commited :每次select都生成一个readView,读取可见记录中的最新版本,会造成不可重复读的问题
    2. Repetable Read :事务首次 select时生成 readView,后续复用该readView
  3. 流程:基于快照读 生成的readview ,跟要查询的行数据的mvcc版本 的DB_TRX_ID 做比较,基于事务ID的递增性 判断mvcc版本 是否对当前readview可见 ,如果可见则返回当前mvcc版本的行数据,如果不可见 ,则通过mvcc的回滚指针回退到上一个版本。

  4. 判断MVCC版本是否对当前readView可见:mvcc版本的DB_TRX_ID字段 与 readView的字段比较,满足以下任意条件:

    • DB_TRX_ID < min_trx_id(最小事务ID):该版本的事务比所有活跃事务(正在运行)更早创建且已提交,因此可见
    • DB_TRX_ID = creator_trx_id(创建该readview的事务ID):当前事务自己生成的版本(即使未提交),对自己总是可见
    • DB_TRX_ID < max_trx_id (预分配事务ID)&& DB_TRX_ID not in m_ids(活跃的事务ID列表中): 该版本的事务不在创建 read view 时的活跃事务列表中,说明已提交
相关推荐
小羊没烦恼!17 分钟前
关于分布式锁原理的一些学习与思考-redis分布式锁,zookeeper分布式锁
java·服务器·网络·学习·负载均衡
AlickLbc19 分钟前
DM-V8数据库证书过期处理过程记录
数据库
l1t19 分钟前
DeepSeek总结的五分钟测试:Ted Dunning 谈 DuckDB 为何让分析更轻松
数据库·sql·duckdb
超级新零售34 分钟前
零售 SaaS 与本地部署,技术责任边界究竟怎么分?
数据库·零售
考虑考虑1 小时前
瀚高数据库
数据库·后端·postgresql
Fuyo_11191 小时前
C++ AVL树保姆级详解:从平衡因子到四大旋转机制
java·c++·算法
dishugj1 小时前
oracle日志切换三条命令区别
数据库
锋行天下1 小时前
DeepSeek写Langgraph就是个大傻逼,一本正经胡说八道
前端·人工智能·后端
Patrick在香港2 小时前
一个斜杠,把毫秒变成十几秒
android·数据库·python·性能优化·正则表达式·回溯·redos
Sarvartha2 小时前
Date、LocalDate、LocalTime、LocalDateTime、DateTimeFormatter类
java