PostgreSQL中Tuple可見性判斷分析

本篇內容主要講解“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;
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可見性判斷分析”有了更深的了解，不妨來實際操作一番吧！這里是億速云網站，更多相關內容可以進入相關頻道進行查詢，關注我們，繼續學習！