PostgreSQL 9.1或以上版本，提供了真正意義的Serializability Isolation，本節主要介紹了Serializability的相關概念，包括Serializability、寫偏序（Write Skew）等。

#### What is Serializability Isolation？
ANSI SQL 1999對Serializability的定義是：
>The execution of concurrent SQL-transactions at isolation level SERIALIZABLE is guaranteed to be serializable. A serializable execution is defined to be an execution of the operations of concurrently executing SQL-transactions that produces the same effect as some serial execution of those same SQL-transactions. A serial execution is one in which each SQL-transaction executes to completion before the next SQL-transaction begins.

事務可以理解為按順序執行的幾個基本子操作，Serializability（可序列化）保證了操作以原子方式發生，即事務的子操作不會與其他事務的子操作交織在一起。換句話說，Serializability意味著即使是併發的事務，但從整體上來看仍然是順序發生的。
比如下面的執行歷史H是可序列化的：
H：r1(x) r2(x) w1(y) c1 w2(y) c2
而H'則不是可序列化，因為w1(y)和w2(y)出現了ww衝突：
H':r1(x) w1(y) w2(y) c1 r2(x) c2

#### What is Write Skew？
使用形式化語言來表示：定義rset(Tn)是事務Tn讀資料涉及的元組集合，wset(Tn)是事務Tn寫資料涉及的元組集合。注意這裡的寫包括增刪改，並不侷限於插入資料。
設有兩個併發事務T1和T2，如果rset(T1) ∩ rset(T2) ≠ ∅且wset(T1) ∩ wset(T2) = ∅，則資料庫出現了寫Write Skew現象。
比如資料表doctor，業務約束要求處於oncall狀態的醫生人數不能少於1人，但如果存在併發事務同時對不同醫生的oncall狀態進行更新，則會出現Write Skew：

資料：

|name|oncall|remark|
| ------ | ------ | ------ |
|Alice|true||
|Bob|true||
|Jacky|false||
|Susan|false||

併發事務T1和T2的操作：

|時間點|T1|T2|
| ------ | ------ | ------ |
|t1|begin;|
|t2|  |begin;|
|t3|select count(*) from doctor into v_count where oncall = true;|
|t4|  |select count(*) from doctor into v_count where oncall = true;|
|t5|if v_count ≥ 2 then  update doctor  set oncall = false  where name = 'Alice';|
|t6|  |if v_count ≥ 2 then  update doctor  set oncall = false  where name = 'Bob';|
|t7|commit;|
|t8|  |commit;|

T1和T2完成後，資料如下：

|name|oncall|remark|
| ------ | ------ | ------ |
|Alice|false||
|Bob|false||
|Jacky|false||
|Susan|false||

已經沒有了處於待命狀態的醫生，違反了業務約束。

PostgreSQL DBA(176) - Serializability Isolation（基本概念）

相關文章