ReadView实现规则
知道了ReadView的实现规则,这样当我们在访问某条记录的时候,就可以判断该记录当前对我们是否可见
-
如果当前被访问记录的trx_id属性值与ReadView中的
creator_trx_id
值相同,说明当前事务修改的记录就是在当前事务下操作的,那当然是对我们可见的了,因此可以修改这条记录 -
如果当前被访问记录的trx_id属性值小于ReadView中
up_limit_id
值,说明(生成该版本的事务在该事务生成readView之间已经提交)即当前事务在开启的时候,这条记录最近依次被其他事务操作的事务已经提交了,所以对这条记录对我们来说也是可以见,可以修改 -
如果当前被访问记录的trx_id属性值大于或者等于ReadView中
low_limit_id
值,说明(生成该版本的事务在当前事务生成readView之后才开启)即:我们开启事务未修改该记录之前,已经有另外一个事务开启,并且正在
修改该事务了,因此,这条记录对我们来说依然是不可见的,我们不能修改 -
如果当前被访问记录的trx_id属性值介于ReadView中 up_limit_id 和 low_limit_id 之间的话,那么此时就需要分情况讨论了
此时我们应该分析该trx_id是否在
trx_ids
中如果在,说明(创建ReadView时,生成该版本的事务还处于活跃状态)即:当前已经有其它的事务正在修改该条记录,并且还未提交,此时这条记录对我们不可见
如果不在,说明((创建ReadView时,生成该版本的事务已经提交)即:此时没有事务操作该条记录,我们可以修改该条记录