如前所述，PostgreSQL使用一種稱為快照隔離Snapshot Isolation (SI)實現併發控制，下面簡單介紹PostgreSQL中與之相關的快照和隔離級別等基本概念。
**注意:**
**1.簡單起見,本節暫不討論事務回滾的情況.**
**2.如無說明,預設的事務隔離級別為READ COMMITTED**

### 一、事務快照
事務快照(簡稱Snapshot)儲存所有事務在某個時間點是否處於活動狀態(正在進行或尚未啟動)的相關資訊.
透過txid_current_snapshot()函式可以獲取當前事務的快照資訊.
```
testdb=# select txid_current_snapshot();
 txid_current_snapshot 
-----------------------
 2315:2315:
(1 row)
``` 
快照的格式如下為xmin : xmax : xip_list
其中:
xmin : 最早仍活躍的事務txid,早於此txid的事務要麼被提交併可見，要麼回滾並廢棄。
xmax : **ShmemVariableCache->latestCompletedXid + 1,即最後已完結事務(COMMITTED/ABORTED)的txid + 1**。在"拍攝"快照時，所有大於或等於此txid的事務尚未啟動，因此不可見。
xip_list : 在"拍攝"快照時處於活動狀態的事務txid。該列表包含xmin和xmax之間的活動txid。
總結一下,簡單來說,對於給定的事務txid:
txid ∈ [2,xmin),是過去的事務,對此快照均可見;
txid ∈ [xmin,xmax),txid仍處於IN_PROGRESS狀態,則不可見;COMMITED狀態,則可見;ABORTED的事務,亦不可見;
txid ∈ [xmax,∞),是未來的事務,對此快照均不可見;

啟動三個客戶端(psql),執行begin啟動事務:
*session 1*
```
11:36:04 (xdb@[local]:5432)testdb=# begin;
BEGIN
11:36:09 (xdb@[local]:5432)testdb=#* select 1;
 ?column? 
----------
        1
(1 row)

11:36:09 (xdb@[local]:5432)testdb=#* select txid_current();
 txid_current 
--------------
         2327
(1 row)

11:36:09 (xdb@[local]:5432)testdb=#* select txid_current_snapshot();
 txid_current_snapshot 
-----------------------
 2327:2327:
(1 row)
```

*session 2*
```
11:36:02 (xdb@[local]:5432)testdb=# begin;
BEGIN
11:36:17 (xdb@[local]:5432)testdb=#* select 1;
 ?column? 
----------
        1
(1 row)

11:36:17 (xdb@[local]:5432)testdb=#* select txid_current();
 txid_current 
--------------
         2328
(1 row)

11:36:17 (xdb@[local]:5432)testdb=#* select txid_current_snapshot();
 txid_current_snapshot 
-----------------------
 2327:2327:
(1 row)
```

*session 3*
```
11:35:59 (xdb@[local]:5432)testdb=# begin;
BEGIN
11:36:18 (xdb@[local]:5432)testdb=#* select 1;
 ?column? 
----------
        1
(1 row)

11:36:18 (xdb@[local]:5432)testdb=#* select txid_current();
 txid_current 
--------------
         2329
(1 row)

11:36:18 (xdb@[local]:5432)testdb=#* select txid_current_snapshot();
 txid_current_snapshot 
-----------------------
 2327:2327:
(1 row)
```
session 1/2/3的txid分別是2327/2328/2329,快照均為2327:2327:,即小於2327的事務可見,大於等於2327的不可見.

session 2建立資料表,插入資料,提交,重新開啟事務,插入資料.
```
11:36:17 (xdb@[local]:5432)testdb=#* 
11:37:24 (xdb@[local]:5432)testdb=#* create table t_session2 (id int);
CREATE TABLE
11:37:28 (xdb@[local]:5432)testdb=#* insert into t_session2 values(1);
INSERT 0 1
11:37:28 (xdb@[local]:5432)testdb=#* commit;
COMMIT
11:37:28 (xdb@[local]:5432)testdb=# begin;
BEGIN
11:38:25 (xdb@[local]:5432)testdb=#* insert into t_session2 values(2);
INSERT 0 1
11:38:31 (xdb@[local]:5432)testdb=#* 
```
檢視session 1/2/3的快照資訊變化.
*session 1*
```
11:38:03 (xdb@[local]:5432)testdb=#* select txid_current_snapshot();
 txid_current_snapshot 
-----------------------
 2327:2329:
(1 row)
```
session 1的快照資訊變為2327:2329:,即小於2327的事務可見,大於等於2329的事務不可見.
*session 2*
```
11:39:02 (xdb@[local]:5432)testdb=#* select txid_current();
 txid_current 
--------------
         2330
(1 row)

11:39:14 (xdb@[local]:5432)testdb=#* select txid_current_snapshot();
 txid_current_snapshot 
-----------------------
 2327:2329:2327
(1 row)
```
session 2的快照資訊變為2327:2329:2327,即小於2327的事務可見,大於等於2329的事務不可見,2327事務進行中,亦不可見.

*session 3*
```
11:36:18 (xdb@[local]:5432)testdb=#* select txid_current_snapshot();
 txid_current_snapshot 
-----------------------
 2327:2329:2327
(1 row)

11:39:57 (xdb@[local]:5432)testdb=#* 
```
session 3的快照資訊與session 2一致.

session 1建立資料表並插入資料
```
11:40:36 (xdb@[local]:5432)testdb=#* create table t_session1 (id int);
CREATE TABLE
11:45:10 (xdb@[local]:5432)testdb=#* insert into t_session1 values(1);
INSERT 0 1
11:45:19 (xdb@[local]:5432)testdb=#* 
```
session 2查詢資料表t_session1
```
11:39:17 (xdb@[local]:5432)testdb=#* select * from t_session1;
ERROR:  relation "t_session1" does not exist
LINE 1: select * from t_session1;
11:49:58 (xdb@[local]:5432)testdb=#! select txid_current_snapshot(); --> 一旦出錯,就要回滾事務了
ERROR:  current transaction is aborted, commands ignored until end of transaction block
11:50:28 (xdb@[local]:5432)testdb=#! commit; --> 雖然是commit,按提示資訊,其實是rollback.
ROLLBACK
```
報錯,提示關係不存在.
**注意:事務處理過程中,如出錯,Oracle仍可提交先前成功執行的操作,但PG要求回滾事務**

在上述案例中,在同一個事務中,執行新的SQL時事務快照是會變化的,這是因為預設的隔離級別READ COMMITTED的機制使然,如隔離級別為REPEATABLE READ則事務快照只會獲取一次並記錄獲取快照時事務的狀態.

### 二、隔離級別
在PostgreSQL中,有四種隔離級別,分別是READ UNCOMMITTED/READ COMMITTED/REPEATABLE READ/SERIALIZABLE.
其中READ UNCOMMITTED與READ COMMITTED一致,沒有區別;SERIALIZABLE級別較少使用,這裡不作敘述.
**READ COMMITTED**
沿用第1小節的session 1/2.
session 2重新啟動事務
```
12:06:17 (xdb@[local]:5432)testdb=#*  select txid_current();
 txid_current 
--------------
         2331
(1 row)

12:06:23 (xdb@[local]:5432)testdb=#* select txid_current_snapshot();
 txid_current_snapshot 
-----------------------
 2327:2331:2327,2329
(1 row)
```
session 1提交事務
```
11:40:36 (xdb@[local]:5432)testdb=#* create table t_session1 (id int);
CREATE TABLE
11:45:10 (xdb@[local]:5432)testdb=#* insert into t_session1 values(1);
INSERT 0 1
11:45:19 (xdb@[local]:5432)testdb=#* commit;
COMMIT
12:07:21 (xdb@[local]:5432)testdb=# 
```
這時候session 2可讀取session 1中的t_session1資料表
```
12:08:21 (xdb@[local]:5432)testdb=#* select * from t_session1;
 id 
----
  1
(1 row)
```

**REPEATABLE READ**
session 1,隔離級別為READ COMMITTED
```
12:12:14 (xdb@[local]:5432)testdb=# START TRANSACTION ISOLATION LEVEL READ COMMITTED; 
START TRANSACTION
```
session 2,隔離級別為REPEATABLE READ
```
12:12:41 (xdb@[local]:5432)testdb=# START TRANSACTION ISOLATION LEVEL REPEATABLE READ; 
START TRANSACTION
12:12:43 (xdb@[local]:5432)testdb=#* select * from t_session1;
 id 
----
  1
(1 row)
```
仍使用上述場景,session 1插入資料,提交事務,這時候新插入的資料對session 2仍不可見.
session 1
```
12:12:18 (xdb@[local]:5432)testdb=#* insert into t_session1 values(2);
INSERT 0 1
12:13:22 (xdb@[local]:5432)testdb=#* commit;
COMMIT
12:13:25 (xdb@[local]:5432)testdb=# 
```
session 2
```
12:13:38 (xdb@[local]:5432)testdb=#* select * from t_session1;
 id 
----
  1 --> 新插入的資料2不可見
(1 row)
12:13:58 (xdb@[local]:5432)testdb=#* select txid_current_snapshot();
 txid_current_snapshot 
-----------------------
 2329:2332:2329
(1 row)

```
**session 2的事務快照只會獲取一次.**
**獲取事務快照的邏輯以及如何確定heap tuple是否可見的邏輯後續在原始碼解讀中將作具體解析.**

### 三、參考資料
[Concurrency Control](http://www.interdb.jp/pg/pgsql05.html)

### 四、號外
*打錯字,PG也要求回滾事務?*
```
12:06:25 (xdb@[local]:5432)testdb=#* selet * from t_session1;
ERROR:  syntax error at or near "selet"
LINE 1: selet * from t_session1;
        ^
12:07:56 (xdb@[local]:5432)testdb=#! select * from t_session1;
ERROR:  current transaction is aborted, commands ignored until end of transaction block
12:08:02 (xdb@[local]:5432)testdb=#! commit;
ROLLBACK
```

PostgreSQL DBA(23) - MVCC#3(事務快照和隔離級別)

相關文章