请教关于 MVCC ReadView 的问题

[zxCoder]

这两个值，是max_trx_id=creator_trx_id+1 吗？那特意将两个值分开定义只是为了方便阅读吗？

max_trx_id：表示生成 ReadView 时系统中应该分配给下一个事务的 id 值。
creator_trx_id：表示生成该 ReadView 的事务的 事务 id 。

[pedia]

max_trx_id 是 trx_sys 里的 这是全局的
creator_trx_id 是 read view 里的

[zxCoder]

@pedia 大佬再请教个问题 也是关于这个 ReadView，书上说

“如果被访问版本的 trx_id 属性值大于 ReadView 中的 max_trx_id 值，表明生成该版本的事务在当前事务生成 ReadView 后才开启，所以该版本不可以被当前事务访问”

那等于呢？ max_trx_id 肯定是大于 creator_trx_id 的，那按理说也是在生成该版本的事务在当前事务生成 ReadView 后才开启的，那为什么不能在这里判断呢？而是要看下一个条件：

"如果被访问版本的 trx_id 属性值在 ReadView 的 min_trx_id 和 max_trx_id 之间，那就需要判断一下
trx_id 属性值是不是在 m_ids 列表中，如果在，说明创建 ReadView 时生成该版本的事务还是活跃的，该
版本不可以被访问；如果不在，说明创建 ReadView 时生成该版本的事务已经被提交，该版本可以被访问。"

[pedia]

@zxCoder 我不确定我是否正确的理解了你的问题.

你说的那种情况下: 无法保证后启动的事务先 commit.

t1 t2 两个事务, t1 先启动 ，但早于 t2 commit.

[pedia]

@zxCoder 我理解你的意思了 我看了一下源码 大于等于都是不可见的 你看的书描述不准确.

[pedia]

@zxCoder 当然 欢迎在数据库社区提问关于数据库内核的问题 https://fastdb.cc/

[zxCoder]

@pedia 懂了 非常感谢!