详解对于ReadView 机制如何判断当前事务能够看见

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)

详解对于ReadView 机制如何判断当前事务能够看见_第1张图片

说明这个行记录在这些活跃的事务创建前就已经提交了,那么这个行记录对当前事务是可见的。

2、如果当前版本行记录的 trx_id > 活跃的最大事务ID(max_trx_id)

详解对于ReadView 机制如何判断当前事务能够看见_第2张图片

说明当前行记录在这些活跃的事务之后才创建,那么这个行记录对当前事务是不可见的。

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)还处于活跃状态,那这个版本的行记录对当前的事物就是不可见的;
  • 详解对于ReadView 机制如何判断当前事务能够看见_第3张图片
  • trx_id 不存在于 trx_ids 集合中,说明操作该版本行记录的事务(trx_id)已经提交了,那么这个版本的行记录对当前事务是可见
  • 详解对于ReadView 机制如何判断当前事务能够看见_第4张图片

你可能感兴趣的:(java,数据库,开发语言)