MVCC：多版本并发控制案例分析（二）

（笔记总结自b站马士兵教育课程）

本文主要分析readview的案例。

一、简介

readview：表示事务进行快照读操作的时候产生的读视图，在该事务进行快照读的那一刻会生成一个系统当前的快照，但是此时的快照不是数据的快照，而是事务相关信息的快照。
trx_listreadview生成时刻当前系统活跃的事务idup_limit_id活跃列表中事务id最小的值low_limit_id系统尚未分配的下一个事务的id

二、基本案例

首先介绍可见性算法：

①首先比较DB_TRX_ID<up_limit_id，如果小于，则当前事务能看到DB_TRX_ID所在的记录，如果大于等于进入下一个判断。

②接下来判断DB_TRX_ID>=low_limit_id，如果大于等于则代表DB_TRX_ID所在的记录在readview生成后才出现的，那么对于当前事务肯定不可见，如果小于，则进入下一步判断。

③判断DB_TRX_ID是否在活跃事务中，如果在，则代表在readview生成时刻，这个事务还是活跃状态，还没有commit，修改的数据，当前事务也是看不到，如果不在，则说明这个事务在readview生成之前就已经开始commit，那么修改的结果也是能够看到的。

基本案例分析：
时刻事务1事务2事务3t1begin;begin;begin;t2
update;

commit;
t3select;
针对t3时刻事务1的select操作的readview快照：
trx_list1,3up_limit_id1low_limit_id4DB_TRX_ID2
我们对此案例进行可见性算法分析：

①因为DB_TRX_ID>up_limit_id，所以进入下一步判断。

②因为DB_TRX_ID<low_limit_id，所以进入下一步判断。

③DB_TRX_ID不在trx_list活跃事务中，所以可读。

综上，事务1的select操作可以读到更新之后的结果值。

三、综合案例

时刻事务1事务2事务3t1begin;begin;begin;t2*select;
select;
t3
update;

commit;
t4*select;
我们首先分析select的readview快照：
trx_list1,2,3up_limit_id1low_limit_id4DB_TRX_ID0
可见性算法分析结果：可读。

我们再分析 **select的readview快照：
trx_list1,3up_limit_id1low_limit_id4DB_TRX_ID2
可见性算法分析结果：可读。

但是实验结果是不可读的，其实这里*select沿用了上一次的select产生的readview快照，但是DB_TRX_ID是新生成的：
trx_list1,2,3up_limit_id1low_limit_id4DB_TRX_ID2
可见性算法分析结果：不可读。这样就和实验结果一致了。

四、关于隔离级别

不可重复读：在同一个事务中，两次相同的操作读取的数据是不一样的。

RC：读已提交。

RR：重复读。

在RC隔离级别的时候，每一次进行快照读都会生成新的readview。上述案例我们可以发现存在不可重复读的问题。

在RR隔离级别的时候，只有在第一次进行快照读的时候才会生成readview，之后的快照读都会沿用之前的readview，不会重新生成。上述案例我们可以发现解决了不可重复读的问题。

两个隔离级别的区别点在于生成readview的时机不同。