结论
在对版本链中的事务ID进行比较时,有以下规则:
我们可以简单理解为在左边区域的,都是可见的;在中间区域的部分,如果是当前事务ID操作的,对当前事务可见;在右边区域的,都是不可见的
-
如果版本链中的事务ID,落在最左边区域(tx_id < min_id),那表示当前版本是已经提交的事务,是可见的
-
如果版本链中的事务ID,是落在右边部分(tx_id > max_id),表示这个版本是由将来启动的事务生成的(将来的事务,也就是当前session生成事务ID之后,有其他session生成的新的事务ID),是不可见的
-
如果版本链中的事务ID,是落在中间区域(min_id <= tx_id <= max_id),那分为两种情况
3.1 如果当前版本链的事务ID,不在readview的数组中,表示这个事务ID,是已经提交的事务,是可见的
3.2 如果当前版本链的事务ID,在readview的数组中,表示这个版本的事务ID是由未提交的事务创建的,是不可见的;但是如果当前连接的事务ID == 版本链中的事务ID,是可见的,因为这种表示是当前连接创建的事务,对自己当然是可见的 -
对于删除的操作,可以认为是update的特殊情况,在执行删除操作的时候,会把版