一、解決了幻讀，為什么還說(shuō)默認(rèn)隔離級(jí)別是可重復(fù)讀

MySQL的可重復(fù)讀隔離級(jí)別下是有“bug”的Snapshot Isolation，可以避免非write skew style的幻讀，但還會(huì)有write skew異常（所有Snapshot Isolation的數(shù)據(jù)庫(kù)都存在）， 以及更新丟失異常（MySQL獨(dú)有，由于MySQL的“bug”實(shí)現(xiàn)）。

一般意義上，“幻象（phantom）”可被定義為：對(duì)于相同的區(qū)間查詢，插入和刪除操作使得對(duì)相同的區(qū)間查詢操作返回不同的結(jié)果。如果這么定義幻象異常，那么MVCC下的可重復(fù)讀（RR）是可以避免幻象的。比如，PostgreSQL，在文檔中就說(shuō)，RR級(jí)別下可以避免幻讀；MySQL也一樣可以避免這種幻象（但我在官方文檔中沒(méi)找到）。

早期的數(shù)據(jù)庫(kù)都是單版本的，這個(gè)定義沒(méi)什么問(wèn)題。但是，由于多版本的存在，情形就變得復(fù)雜了。RR隔離級(jí)別在MVCC實(shí)現(xiàn)的數(shù)據(jù)庫(kù)中，一般會(huì)被實(shí)現(xiàn)成快照（SNAPSHOT），這就可能會(huì)產(chǎn)生另一種異常。由于事務(wù)會(huì)讀到不同的版本，對(duì)于相同區(qū)間的查詢，事務(wù)可能會(huì)錯(cuò)過(guò)某些滿足該條件的并發(fā)地插入的記錄，該事務(wù)只有在插入這條記錄的事務(wù)提交后才能看到這條記錄。進(jìn)而產(chǎn)生的問(wèn)題就是，事務(wù)本應(yīng)該讀到的數(shù)據(jù)，卻沒(méi)有被讀到。

例如，assignments表有四列(eid, pid, workdate, hours)。assignments表示的是給employee(eid)分配project(pid)，并記錄某個(gè)工作日(workdate)的工時(shí)(hours)。限制每個(gè)工作日工時(shí)不超過(guò)8小時(shí)。

assign表示分配工時(shí)的存儲(chǔ)過(guò)程，假設(shè)eid為1的員工已有兩個(gè)project, 工時(shí)分別為4，1。有兩個(gè)并發(fā)的事務(wù)T1, T2, 同時(shí)執(zhí)行assign。當(dāng)T1,T2開(kāi)始時(shí)，對(duì)于滿足條件eid = 1 and workdate = ‘2019.7.11’ 的元組，拿到的是相同的快照，它們都判定插入一條工時(shí)為4的元組不會(huì)使當(dāng)日工時(shí)大于8。

這個(gè)異常不滿足上面對(duì)幻讀的定義，然而這個(gè)事務(wù)調(diào)度卻是不正確的。一些文獻(xiàn)把這種異常也稱為幻象(write skew style phantom)^[2]。

MVCC數(shù)據(jù)庫(kù)無(wú)法避免這種異常。如果要避免這種異常，就必須要提高隔離級(jí)別到可串行化?？纱谢膶?shí)現(xiàn)，在MySQL中是通過(guò)對(duì)讀加鎖（Gap Lock）；在PG中是使用SSI算法，通過(guò)驗(yàn)證連續(xù)的RW依賴檢測(cè)是否事務(wù)是否可串行化^[3]。

第二，MySQL有一個(gè)比較特殊的情形，鎖和快照讀混用，這讓它產(chǎn)生了另一種幻像。

如下面的例子，有兩個(gè)事務(wù)，在RR隔離級(jí)別下， select是沒(méi)有幻讀的，但select for update卻會(huì)產(chǎn)生幻讀。因?yàn)閟elect是讀，通過(guò)時(shí)間戳讀快照，事務(wù)2讀不到事務(wù)1的寫(xiě)入。而select for update被認(rèn)為是寫(xiě)，是可以更新已提交數(shù)據(jù)的，所以讀到的是最新版本，事務(wù)2可以讀到事務(wù)1的寫(xiě)入。PostgreSQL是沒(méi)有這個(gè)現(xiàn)象的。

延伸閱讀：

二、什么是數(shù)據(jù)庫(kù)

有組織且相互關(guān)聯(lián)的數(shù)據(jù)的集合稱為數(shù)據(jù)庫(kù)。database 是一個(gè)存儲(chǔ)數(shù)據(jù)的應(yīng)用程序。它有各種應(yīng)用程序，包括 MySQL、Microsoft SQL、Oracle 等。

每個(gè)數(shù)據(jù)庫(kù)都不同，因?yàn)槊總€(gè)公司/組織都有其結(jié)構(gòu)、數(shù)據(jù)類型和約束。數(shù)據(jù)庫(kù) 會(huì)定期更新，以獲取有關(guān)公司的最新數(shù)據(jù)。

數(shù)據(jù)庫(kù)可以手動(dòng)和數(shù)字方式維護(hù)。在這個(gè)數(shù)據(jù)無(wú)處不在的時(shí)代，數(shù)字?jǐn)?shù)據(jù)庫(kù)是優(yōu)選和使用。數(shù)據(jù)庫(kù)的大小取決于組織的數(shù)據(jù)和需求。

數(shù)據(jù)庫(kù)有很多種類型，從最簡(jiǎn)單的存儲(chǔ)有各種數(shù)據(jù)的表格到能夠進(jìn)行海量數(shù)據(jù)存儲(chǔ)的大型數(shù)據(jù)庫(kù)系統(tǒng)都在各個(gè)方面得到了廣泛的應(yīng)用。