详解对于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)

af2c5cac4cd74007b1fb33b9d1de8262.png

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

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

b2b72cd7bb1849c68b48bda86b0614fb.png

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

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)还处于活跃状态,那这个版本的行记录对当前的事物就是不可见的;
  • 0c4308e4d0cd43f9a72c62b742ca8d47.png
  • trx_id 不存在于 trx_ids 集合中,说明操作该版本行记录的事务(trx_id)已经提交了,那么这个版本的行记录对当前事务是可见
  • e270b2e946fb492fab6c8c232e975c59.png

 

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值