ReadView 机制就是用来判断当前事务能够看见哪些版本的,一个 ReadView 主要包含如下几个部分:
m_ids
:生成 ReadView 时有哪些事务在执行但是还没提交的(称为 “活跃事务”),这些活跃事务的 id 就存在这个字段里min_trx_id
:m_ids 里最小的值max_trx_id
:生成 ReadView 时 InnoDB 将分配给下一个事务的 ID 的值(事务 ID 是递增分配的,越后面申请的事务 ID 越大)creator_trx_id
:当前创建 ReadView 事务的 ID
1、当前版本行记录中的 trx_id<活跃的最小事务 ID(min_trx_id)
说明这个行记录在这些活跃的事务创建前就已经提交了,那么这个行记录对当前事务是可见的。
2、如果当前版本行记录的 trx_id > 活跃的最大事务ID(max_trx_id)
说明当前行记录在这些活跃的事务之后才创建,那么这个行记录对当前事务是不可见的。
3、min_trx_id < 当前版本行记录的 trx_id < max_trx_id
如果 min_trx_id < 当前版本行记录的 trx_id < max_trx_id,说明当前行记录在活跃事务集合中(trx_ids),并且可能还处于活跃状态,因此我们需要在 trx_ids 集合中遍历 :
- 如果 trx_id 存在于 trx_ids 集合中,证明操作这个版本行记录的事务(trx_id)还处于活跃状态,那这个版本的行记录对当前的事物就是不可见的;
- trx_id 不存在于 trx_ids 集合中,说明操作该版本行记录的事务(trx_id)已经提交了,那么这个版本的行记录对当前事务是可见的