1.概念
MVCC是一种并发控制的方法,mysql的innodb就是基于MVCC实现对数据库的并发访问。
在innodb引擎中指的就是在读已提交和可重复读这两种隔离级别下的事务对于select操作会访问版本链中的记录过程。别的事务可以修改这条记录,修改会记录在版本链中,select的时候可以直接去版本链中拿记录,这就可以实现读写的同时执行,提高效率。
2.版本链
在Innodb的聚簇索引也就是主键索引中有两个隐藏列:
trx_id:存储每次对某条聚簇索引记录进行修改的时候的事务id。
roll_pointer:每次对哪条聚簇索引记录有修改的时候,都会把老版本写入到undo日志中。这个roll_pointer就是一个指针,他指向这条聚簇索引记录的上一个版本的位置,通过他来获取上一个版本的记录(insert操作在undo日志中没有这个属性,因为他没有老版本)。
3.ReadView
读已提交和可重复读的区别就在于他们生成ReadView的策略不同。
ReadView中主要就是有个列表来存储我们系统中当前活跃着的读写事务,也就是begin了还未提交的事务。通过这个列表来判断记录的某个版本是否对当前事务可见。
假设当前事务列表里面的事务id为[80,100].
1.如果你要访问的记录版本的事务id为50,比80还小,那说明这个事务在之前就已经提交了,多以对于当前事务是可以访问的。
2.如果你要访问的记录版本的事务id为90,发现此事务在列表id的最大值和最小值之间,那就判断一下是否在列表内,如果在那就说明此事务还未提交,所以版本不能被访问。如果不再,说明事务已经提交,所以版本可以被访问。
3.如果你要访问的记录版本的事务id为110,那比事务列表最大id100都大,那说明这个版本是在ReadView生成之后才发生的,所以不能被访问。
这些记录都是去版本链里面找的,先找最近记录,如果最近这一条事务id不符合条件,不可见的话,再去找上一个版本在比较当前事务的id和这个版本的事务id看能不能访问,以此类推知道返回可见的版本或者结束。
Demo:在读已提交隔离级别下:
比如此时有一个事务id为100的事务,修改了name,使得name等于小明2,但是事务还没提交。则此时的版本链是:
那此时另一个事务发起了select 语句要查询id为1的记录,那此时生成的ReadView 列表只有[100]。那就去版本链去找了,首先肯定找最近的一条,发现trx_id是100,也就是name为小明2的那条记录,发现在列表内,所以不能访问。
这时候就通过指针继续找下一条,name为小明1的记录,发现trx_id是60,小于列表中的最小id,所以可以访问,直接访问结果为小明1。
那这时候我们把事务id为100的事务提交了,并且新建了一个事务id为110也修改id为1的记录,并且不提交事务。这时候的版本链是:
这时候之前那个select事务又执行了一次查询,要查询id为1的记录。
这个时候关键的地方来了
如果你是已提交读隔离级别,这时候你会重新一个ReadView,那你的活动事务列表中的值就变了,变成了[110]。
按照上的说法,你去版本链通过trx_id对比查找到合适的结果就是小明2。
如果你是可重复读隔离级别,这时候你的ReadView还是第一次select时候生成的ReadView,也就是列表的值还是[100]。所以select的结果是小明1。所以第二次select结果和第一次一样,所以叫可重复读!
也就是说已提交读隔离级别下的事务在每次查询的开始都会生成一个独立的ReadView,而可重复读隔离级别则在第一次读的时候生成一个ReadView,之后的读都复用之前的ReadView。
这就是Mysql的MVCC,通过版本链,实现多版本,可并发读-写,写-读。通过ReadView生成策略的不同实现不同的隔离级别。
原文链接,感谢作者文章,看了之后感觉瞬间领悟到了。