PostgreSQL中Tuple可見性判斷分析

本篇內(nèi)容主要講解“PostgreSQL中Tuple可見性判斷分析”，感興趣的朋友不妨來看看。本文介紹的方法操作簡單快捷，實用性強(qiáng)。下面就讓小編來帶大家學(xué)習(xí)“PostgreSQL中Tuple可見性判斷分析”吧!

一、xmin/xmax是當(dāng)前事務(wù)

Tuple.xmin或xmax是當(dāng)前事務(wù)的情況,事務(wù)狀態(tài)為IN_PROGRESS,其判斷邏輯如下:
插入未提交
If xmin == 當(dāng)前事務(wù) Then
　　If xmax == 當(dāng)前事務(wù) 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插入數(shù)據(jù),2370更新數(shù)據(jù),該Tuple不可見
  2 |   8128 |   2370 |      0    --> 2370更新后的數(shù)據(jù),該Tuple可見
(2 rows)

插入已提交
If xmax == 當(dāng)前事務(wù) 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 == 當(dāng)前事務(wù)),xmin狀態(tài)不可能是ABORTED,因為不可能Update/Delete不存在的元組(事務(wù)未提交可視為不存在).

二、xmin&xmax非當(dāng)前事務(wù)

xmin和xmax均不是當(dāng)前事務(wù),假定快照為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可見性判斷分析”有了更深的了解，不妨來實際操作一番吧！這里是億速云網(wǎng)站，更多相關(guān)內(nèi)容可以進(jìn)入相關(guān)頻道進(jìn)行查詢，關(guān)注我們，繼續(xù)學(xué)習(xí)！