一篇了解全MVCC( 二 ) _生活百科

文章插图
从上述的一系列图中，可以发现，不同事务或者相同事务的对同一记录的修改，会导致该记录的undolog生成一条记录版本链表，undolog的表头就是最新的旧记录，表尾就是最早的旧记录。
3、read viewRead View是事务进行快照读操作的时候生产的读视图，在该事务执行快照读的那一刻，系统会生成一个此刻的快照，记录并维护系统此刻活跃事务的id，用来做可见性判断的，也就是说当某个事务在执行快照读的时候，对该记录创建一个Read View的视图，把它当作条件去判断当前事务能够看到哪个版本的数据，有可能读取到的是最新的数据，也有可能读取到的是当前行记录的undolog中某个版本的数据
1）可见性算法将要被修改的数据的最新记录中的DB_TRX_ID（当前事务id）取出来，与系统此刻其他活跃事务的id去对比，如果DB_TRX_ID跟Read View的属性做了比较，不符合可见性，那么就通过DB_ROLL_PTR回滚指针去取出undolog中的DB_TRX_ID做比较，即遍历链表中的DB_TRX_ID，直到找到满足条件的DB_TRX_ID，这个DB_TRX_ID所在的旧记录就是当前事务能看到的数据。
2）可见性规则首先要知道Read View中的三个全局属性：

trx_list:一个数值列表，用来维护Read View生成时刻系统正活跃的事务ID（1,2,3）
up_limit_id:记录trx_list列表中事务ID最小的ID（1）
low_limit_id:Read View生成时，系统即将分配的下一个事务ID（4）

具体的比较规则如下：

首先比较DB_TRX_ID < up_limit_id如果小于，则当前事务能看到DB_TRX_ID所在的记录如果大于等于，则进入下一个判断
接下来判断DB_TRX_ID >= low_limit_id如果大于等于，则代表DB_TRX_ID所在的记录在Read View生成后才出现的，那么对于当前事务不可见如果小于，则进入下一步判断
判断DB_TRX_ID是否在活跃事务中，trx_list包含DB_TRX_ID如果包含，则代表在Read View生成的时候，这个事务还是活跃状态，未commit的数据，当前事务也是看不到如果不包含，则说明这个事务在Read View生成之前就已经开始commit，那么修改的结果是能够看见的

流程图如下：

文章插图
总结：两种情况可见

DB_TRX_ID < up_limit_id
DB_TRX_ID不在trx_list范围内，且小于low_limit_id

四、整个流程假设有四个事务同时在执行，如下图所示：
事务1事务2事务3事务4事务开始事务开始事务开始事务开始………修改且已提交进行中快照读进行中 ……… 从上述表格中，我们可以看到，当事务2对某行数据执行了快照读，数据库为该行数据生成一个Read View视图，可以看到事务1和事务3还在活跃状态，事务4在事务2快照读的前一刻提交了更新，所以在Read View中记录了系统当前活跃事务1，3，维护在一个列表中。同时可以看到up_limit_id的值为1，而low_limit_id为5，如下图所示：