设置网站人数,房屋建筑设计说明,微信小程序注册账号,什么网站空间稳定在之前的文章 MVCC详解-CSDN博客中我们已经介绍过了MVCC的原理#xff08;read viewundo log#xff09;#xff0c;今天来详细的说一下readview的匹配规则#xff08;可见性算法#xff09; 隔离级别在RC#xff0c;RR的前提下 Read View是如何保证可见性判断的呢#… 在之前的文章 MVCC详解-CSDN博客中我们已经介绍过了MVCC的原理read viewundo log今天来详细的说一下readview的匹配规则可见性算法 隔离级别在RCRR的前提下 Read View是如何保证可见性判断的呢我们先看看Read view 的几个重要属性
m_ids:当前系统中那些活跃(未提交)的读写事务ID, 它数据结构为一个List。min_limit_id:表示在生成ReadView时当前系统中活跃的读写事务中最小的事务id即m_ids中的最小值。max_limit_id:表示生成ReadView时系统中应该分配给下一个事务的id值。creator_trx_id: 创建当前read view的事务ID
可见性算法read view匹配规则 如下
如果数据事务ID trx_id min_limit_id表明生成该版本的事务在生成Read View前已经提交(因为事务ID是递增的)所以该版本可以被当前事务访问。如果trx_id max_limit_id表明生成该版本的事务在生成ReadView后才生成所以该版本不可以被当前事务访问。如果 min_limit_id trx_id max_limit_id,需腰分3种情况讨论 1.如果m_ids包含trx_id,则代表Read View生成时刻这个事务还未提交但是如果数据的trx_id等于creator_trx_id的话表明数据是自己生成的因此是可见的。 2如果m_ids包含trx_id并且trx_id不等于creator_trx_id则Read View生成时事务未提交并且不是自己生产的所以当前事务也是看不见的 3.如果m_ids不包含trx_id则说明你这个事务在Read View生成之前就已经提交了修改的结果当前事务是能看见的。
