首先我们要明确

m_ids
表示创建 ReadView 时，系统中所有活跃（未提交）事务的事务 ID 列表。
仅包含当前未提交的事务，与事务 ID 的数值范围无关。

min_trx_id
是 m_ids 中的最小值。若 m_ids 为空，则 min_trx_id 等于 max_trx_id。
max_trx_id
是系统即将分配给下一个事务的 ID，即当前最大事务 ID + 1。

注意这个当前事务最大ID并不是ID列表的最后一个值，因为当前创建ReadView的时候，有的事务没提交，有的事务提交了
比如（1，3，5，6）没提交，他们就是m_ids。但是（2，4，7）提交了已经，最大ID是7。

所以当我们遇见了在[min_trx_id,max_trx_id)之间的事务，我们得去判断它到底在不在m_ids里面。