Postgre數(shù)據(jù)庫的很大的賣點之一就是它處理并發(fā)的方式。我們的期望很簡單：讀永遠不阻塞寫，反之亦然。Postgres通過一個叫做 多版本并發(fā)控制(MVCC) 的機制做到了這一點。這個技術(shù)并不是Postgres所特有的：還有好幾種數(shù)據(jù)庫都實現(xiàn)了不同形式的MVCC，包括 Oracle、Berkeley DB、CouchDB 等等 。當(dāng)你使用PostgreSQL來設(shè)計高并發(fā)的應(yīng)用時，理解它的MVCC是怎么實現(xiàn)的很重要。它事實上是復(fù)雜問題的一種非常優(yōu)雅和簡單的解法。

MVCC如何工作

在Postgres中，每一個事務(wù)都會得到一個被稱作為 XID 的事務(wù)ID。這里說的事務(wù)不僅僅是被 BEGIN – COMMIT 包裹的一組語句，還包括單條的insert、update或者delete語句。當(dāng)一個事務(wù)開始時，Postgrel遞增XID，然后把它賦給這個事務(wù)。Postgres還在系統(tǒng)里的每一行記錄上都存儲了事務(wù)相關(guān)的信息，這被用來判斷某一行記錄對于當(dāng)前事務(wù)是否可見。

舉個例子，當(dāng)你插入一行記錄時，Postgre會把當(dāng)前事務(wù)的XID存儲在這一行中并稱之為 xmin 。只有那些*已提交的而且 xmin` 比當(dāng)前事務(wù)的XID小的記錄對當(dāng)前事務(wù)才是可見的。這意味著，你可以開始一個新事務(wù)然后插入一行記錄，直到你提交（ COMMIT ）之前，你插入的這行記錄對其他事務(wù)永遠都是不可見的。等到提交以后，其他后創(chuàng)建的新事務(wù)就可以看到這行新記錄了，因為他們滿足了 xmin < XID 條件，而且創(chuàng)建哪一行記錄的事務(wù)也已經(jīng)完成。

對于 DELETE 和 UPDATE 來說，機制也是類似的，但不同的是對于它們Postgres使用叫做 xmax 的值來判斷數(shù)據(jù)的可見性。這幅圖展示了在兩個并發(fā)的插入/讀取數(shù)據(jù)的事務(wù)中，MVCC在事務(wù)隔離方面是怎么起作用的。

在下面的圖中，假設(shè)我們先執(zhí)行了這個建表語句：