本篇内容主要讲解“PostgreSQL中Tuple可见性判断分析”，感兴趣的朋友不妨来看看。本文介绍的方法操作简单快捷，实用性强。下面就让小编来带大家学习“PostgreSQL中Tuple可见性判断分析”吧!

一、xmin/xmax是当前事务

Tuple.xmin或xmax是当前事务的情况,事务状态为IN_PROGRESS,其判断逻辑如下:
插入未提交
If xmin == 当前事务 Then
　　If xmax == 当前事务 Then
　　　元组不可见
　　Else
　　　元组可见
　　End If
End If

如下例所示:

15:40:39(xdb@[local]:5432)testdb=#15:40:40(xdb@[local]:5432)testdb=#begin;BEGIN15:40:44(xdb@[local]:5432)testdb=#*insertintot_session1values(1);INSERT0115:40:52(xdb@[local]:5432)testdb=#*updatet_session1setid=0;UPDATE115:41:02(xdb@[local]:5432)testdb=#*selectlp,lp_off,t_xmin,t_xmaxfromheap_page_items(get_raw_page('t_session1',0));lp|lp_off|t_xmin|t_xmax----+--------+--------+--------1|8160|2370|2370-->2370插入数据,2370更新数据,该Tuple不可见2|8128|2370|0-->2370更新后的数据,该Tuple可见(2rows)

插入已提交
If xmax == 当前事务 Then
　　元组不可见
End If

15:41:11(xdb@[local]:5432)testdb=#*deletefromt_session1;DELETE115:41:36(xdb@[local]:5432)testdb=#*selectlp,lp_off,t_xmin,t_xmaxfromheap_page_items(get_raw_page('t_session1',0));lp|lp_off|t_xmin|t_xmax----+--------+--------+--------1|8160|2370|2370-->2370更新该Tuple,不可见2|8128|2370|2370-->2370删除该Tuple,不可见(2rows)15:41:38(xdb@[local]:5432)testdb=#*commit;COMMIT

注意:在这种情况下(xmax == 当前事务),xmin状态不可能是ABORTED,因为不可能Update/Delete不存在的元组(事务未提交可视为不存在).

二、xmin&xmax非当前事务

xmin和xmax均不是当前事务,假定快照为ST1:ST2:XIP[],其判断逻辑如下:
If xmin.STATUS == COMMITTED Then
　　If xmax < ST1 && xmax.STATUS == COMMITTED Then
　　　　元组不可见
　　If xmax ∉ XIP[] && xmax.STATUS == COMMITTED Then
　　　　元组不可见
　　Else
　　　　元组可见
　　End If
Else
　　元组不可见
End If

到此，相信大家对“PostgreSQL中Tuple可见性判断分析”有了更深的了解，不妨来实际操作一番吧！这里是亿速云网站，更多相关内容可以进入相关频道进行查询，关注我们，继续学习！