**
先拖一下写这篇博客的视频来源
**
b站一个叫诸葛老师讲的MVCC机制,思路很清晰,一遍就看明白了,建议先去看一下这个视频,再来看这篇博客,更好理解一些。
首先理解两个概念:
1.
MVCC会给我们数据库的每一个表添加两个隐藏字段
:当前事务ID,以及undo日志的回滚指针;根据回滚指针我们可以按顺序生成如下图所示的一个版本链。
2.ReadView快照视图
ReadView视图在产生的时候会记录下当前活跃所有活跃(也就是还没提交)的事务数组,以及所有的事务(包括已提交)里面ID最大的事务ID值。
隔离级别中可重复度的默认快照视图在每一个事务的第一次select语句,以后每次select语句都还是第一次的那个快照视图;而读取已提交会在每次一的select语句重新生成一个快照视图。这就是为什么读取已提交会产生不可重复读的原因(每次读数据快照视图都在更新)。
(以下重中之重,一定要理解)
每次select语句执行时,针对获取得视图我们有以下结论:当前数据的事务ID如果是比活跃事务数组最小值还小的,一定是已提交的,那么这些数据一定能被看见;比所有事务中ID最大的事务还大的,肯定还未提交,那么一定不可见;如果这个事务ID处于数组最小最大ID之间,说明正在活跃中,还没提交,那么一定不可见;最后如果这个ID大于数组中的最大值,又小于所有事务的最大值,证明这个数据是由已经提交的事务产生的,可见。
针对版本链中的每一段数据,我们使用上面这一段话比对他们的事务ID的位置,如果不可见就一直向下找,直到找到可见的为止。这就是MVCC实现可重复读的机制。
附:对于删除语句,每一次执行时会对他这一条数据的头部加一个deleted_flag并设置为1,如果可见数据的flag为1,返回空记录。