本節介紹了Tuple可見性判斷的基本邏輯,包括在xmin或xmax為當前事務的情況和xmin&max非當前事務的情況.
注:不考慮存在子事務的情況.

### 一、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)
```

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

### 三、參考資料
[HeapTupleSatisfiesSelf](https://doxygen.postgresql.org/tqual_8c_source.html#l00176)
[PostgreSQL Source Code](https://doxygen.postgresql.org/snapmgr_8c_source.html#l00304)

PostgreSQL DBA(25) - MVCC#5(Tuple可見性判斷)

相關文章