readview的可见性算法

在之前的文章MVCC详解-CSDN博客中我们已经介绍过了MVCC的原理 read view undo log ,今天来详细的说一下readview的匹配规则 可见性算法

隔离级别在RC,RR的前提下

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生成之前就已经提交了,修改的结果,当前事务是能看见的。