MySQL多版本控制MVCC
InnoDB相较于MyISAM,InnoDB支持事务,支持行级锁,
脏读、不可重复读、幻读
- 脏读:一个事务中一个操作读到了另一个未提交事务所更新的数据
- 不可重复度:在一个事务中,对同一数据的访问得到不同值,原因是在两次访问期间该数据被其他事务更改并提交事务
- 幻读:在一个事务中,采用相同的筛选条件查询数据,两次查询的行数记录不一样,原因是另一个事务在两次查询期间插入新行,且该数据符合
where
从句的筛选条件,并且该插入数据的事务提交。
以上三种问题,InnoDB可以提供事务间隔离机制解决。
并发操作数据库过程还有可能引起更新丢失问题:当两个以上事务选择同一行,然后基于开始选定的值更新改行时,事务之间的操作可能会相互覆盖。
更新丢失问题可以交给应用解决。
MVCC原理
MVCC的实现是基于ReadView版本链以及Undo Log实现的
对于InnoDB来说,其聚簇索引记录都包含两个必要的隐藏列
tri_id
:每次一个事务对某条聚簇索引记录进行改动时,都会把该事务的事务id赋值给trx_id隐藏列。roll_pointer
:每次对某条聚簇索引记录进行改动时,都会把旧的版本写入到undo日志中,然后这个隐藏列就相当于一个指针,可以通过它来找到该记录修改前的信息
undo log主要存储的也是逻辑日志,比如我们要insert一条数据了,那undo log会记录的一条对应的delete日志。我们要update一条记录时,它会记录一条对应相反的update记录
图中虚线箭头即为roll_pointer
,行记录表连成版本链
图中的三个虚线箭头,就是undo log;而V1、V2、V3并不是物理上真实存在的,而是每次需要的时候根据当前版本和undo log计算出来的。比如,需要V2的时候,就是通过V4依次执行U3、U2算出来。
READVIEW
READVIEW用以解决READ COMMITED和REPETABLE READ级别下读取数据的问题,READVIEW包含以下参数
- m_ids:表示在生成READVIEW时当前系统中活跃的读写事务的事务id列表,活跃的是指当前系统中那些尚未提交的事务;
- min_trx_id:表示在生成READVIEW时当前系统中活跃的读写事务中最小的事务id,也就是m_ids中的最小值;
- max_trx_id:表示生成READVIEW时系统中应该分配给下一个事务的事务id值,由于事务id一般是递增分配的,所以max_trx_id就是m_ids中最大的那个id再加上1;
- creator_trx_id:表示生成该READVIEW的事务id,由于只有在对表中记录做改动(增删改)时才会为事务分配事务id,所以在一个读取数据的事务中的事务id默认为0;
根据READVIEW,按照如下规律进行判断以确定当前事务应当可见哪个版本的数据
trx_id == creator_trix_id
,表示当前事务正在读取自己修改的数据,该版本可以被当前事务访问trx_id < min_trx_id
,表示生成该版本的事务在当前事务生成READVIEW之前已经提交,该版本可以被当前事务访问trx_id > max_trx_id
,表示生成该版本的事务在当前事务生成READVIEW之后才开启事务,该版本不能被当前事务访问min_trx_id < trx_id < max_trx_id
,判断trx_id
属性值是否在m_ids
中,如果在该范围内,创建READVIEW时该事务还处于活跃状态,该版本不可以被当前事务访问;如果不在该范围内,创建READVIEW时该版本的事务已经提交,该版本可以被当前事务访问
如果某个版本的数据对当前事务不可见时,沿着版本链寻找,找到直到可见的数据,如果找不到,则表明该数据对当前事务完全不可见
- READ COMMITED 读已提交:在每次SELECT语句前都会生成一个READVIEW,因此其他事务提交前后所得到的
m_ids
列表可能发生变化,先前不可见的版本后续可能可见 - REPEATABLE READ 可重复度:在事务的第一个SELECT语句生成一个READVIEW,事务期间不更新READVIEW
MVCC 不能解决幻读
线程T1第一次执行普通的SELECT语句时生成了一个ReadView
之后线程T2向表中新插入了一条记录便提交了
ReadView并不能阻止T1执行UPDATE或者DELETE语句来对改动这个新插入的记录(因为T2已经提交,改动该记录并不会造成阻塞)
但是这样一来这条新记录的trx_id隐藏列就变成了T1的事务id
InnoDB中的MVCC并不能完完全全的禁止幻读
InnoDB引入的间隙锁(Gap Lock),可以解决幻读问题
小结
MySQL使用MVCC使得在READ COMMITTD、REPEATABLE READ两种隔离级别下,不同事务读-写、写-读并发执行,提高系统性能