系列文章:关系型/非关系型【数据库】知识脉络
目录
MVCC(Multi-Version Concurrency Control)
MVCC翻译成中文是?
MVCC(Multi-Version Concurrency Control)
multi ['mʌlti] : 多 version ['və:ʃən] :版本 concurrency [kənˈkʌrənsɪ] :并发 Control 控制
好了,MVCC机制是多版本并发控制机制。
提到多版本、并发、控制...那不就是MySQL的事务控制吗?原来MySQL的事务采用MVCC机制做到的。那MySQL的事务是哪种,MVCC又是怎样做到的?
回顾事务
- 问:事务隔离级别有哪些?
- 答:读未提交,读已提交,可重复读,串行化
- 问:MySQL的默认采用的事务是哪种?
- 答:可重复读
- 问:Oracle的默认事务隔离级别是什么?
- 答:读已提交
可见读已提交、可重复读都是很常见的,Mysql在读已提交和可重复读隔离级别下都实现了MVCC机制。
MVCC是单打独斗吗?
mvcc是有组织有纪律的团伙,重要成员为 undo日志版本链 和 read view机制。
undo日志版本链
undo日志版本就是每个事务修改了某条记录,undo日志会把修改前的那数据记入日志,所谓“链”就是指针串联。
实现此功能:两个MySQL默默隐藏记下的字段:trx_id(记录事务id) 和 roll_pointer(指针指向上一版本)
read view机制详解
一致性视图read-view解释:
- 当事务开启,执行任何查询sql时,会生成当前事务的一致性视图read-view,该视图在事务结束之前都不会变化。
-
视图组成:(执行查询时)
- 所有未提交事务id数组(数组里最小的id为min_id)
- 已创建的最大事务id(max_id)
MVCC机制是拿undo日志链和read-view对比
事务里的任何sql查询结果,需要从对应undo日志版本链里的最新数据开始逐条跟read-view做比对从而得到最终的快照结果。
比对规则:
-
trx_id < min_id => 表示这个版本是已提交的事务生成的,这个数据是可见的:
- 例如037号小于min_id,无论是否在视图数组内,都是已提交的。
-
trx_id > max_id => 表示未开启的事务生成的,数据不可见(对自己可见):
- 例如043号,还未创建事务,未来是个新事务。
-
min_id <= trx_id <= max_id => 分两种情况
- 若 trx_id 在视图数组中,表示这个版本是由还没提交的事务生成的,不可见(若 trx_id 就是当前自己的事务是可见的);例如:38、39、41、42都是未提交事务,不可
- 若 trx_id 不在视图数组中,表示这个版本是已经提交了的事务生成的,可见。例如:40号满足min_id <= trx_id <= max_id 但是不在视图数组,证明在已提交区域。
注:如果是删除操作:mysql数据头信息(record header)里的(deleted_flag)标记位写上true,来表示当前记录已经被删除,在查询时按照上面的规则查到对应的记录如果delete_flag标记位为true,意味着记录已被删除,则不返回数据。
总结
MVCC机制就是用read-view机制生成的视图数组与undo日志版本链上的事务id进行比对,来决定可见与不可见来实现事务隔离级别的。