PostgreSQL中Tuple可见性判断分析

69次阅读

共计 1548 个字符，预计需要花费 4 分钟才能阅读完成。

本篇内容主要讲解“PostgreSQL 中 Tuple 可见性判断分析”，感兴趣的朋友不妨来看看。本文介绍的方法操作简单快捷，实用性强。下面就让丸趣 TV 小编来带大家学习“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;
BEGIN
15:40:44 (xdb@[local]:5432)testdb=#* insert into t_session1 values(1);
INSERT 0 1
15:40:52 (xdb@[local]:5432)testdb=#* update t_session1 set id = 0;
UPDATE 1
15:41:02 (xdb@[local]:5432)testdb=#* select lp,lp_off,t_xmin,t_xmax from heap_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 可见
(2 rows)

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

15:41:11 (xdb@[local]:5432)testdb=#* delete from t_session1;
DELETE 1
15:41:36 (xdb@[local]:5432)testdb=#* select lp,lp_off,t_xmin,t_xmax from heap_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, 不可见
(2 rows)
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 可见性判断分析”有了更深的了解，不妨来实际操作一番吧！这里是丸趣 TV 网站，更多相关内容可以进入相关频道进行查询，关注我们，继续学习！

正文完