{首页主词},&

一、解決了幻讀，為什么還說默認隔離級別是可重復(fù)讀

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

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

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

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

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

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

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

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

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

事務(wù)1??????????????????????????????????????? 事務(wù)2

mysql> start transaction;??????????????????? mysql> start transaction;

Query OK, 0 rows affected (0.00 sec)???????? Query OK, 0 rows affected (0.00 sec)

???????????????????????????????????????????? mysql> select * from t;

?????????????? ??????????????????????????????Empty set (0.00 sec)

mysql> insert into t values(1);

Query OK, 1 row affected (0.00 sec)???

mysql> commit;

Query OK, 0 rows affected (0.01 sec)

???????????????????????????????????????????? // no phantom

????????????????????? ???????????????????????mysql> select * from t;

???????????????????????????????????????????? Empty set (0.00 sec)

????????????????????????????????????????????

???????????????????????????????????????????? // phantom

???????????????????????????????????????? ????mysql> select * from t for update;?

???????????????????????????????????????????? +——+

???????????????????????????????????????????? | c??? |

???????????????????????????????????????????? +——+

???????????????????????????????????????????? |??? 1 |

???????????????????????????????????????????? +——+

???????????????????????????????????????????? 1 row in set (0.00 sec)

???????????????????????????????????????????? // update committed row

???????????????????????????????????????????? mysql> update t set c=2;???????????

???????????????????????????????????????????? Query OK, 0 rows affected (0.00 sec)

???????????????????????????????????????????? Rows matched: 1? Changed: 0? Warnings: 0

???????????????????????????????????????????? mysql> commit;

????? ???????????????????????????????????????Query OK, 0 rows affected (0.01 sec)

延伸閱讀：

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

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

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

數(shù)據(jù)庫可以手動和數(shù)字方式維護。在這個數(shù)據(jù)無處不在的時代，數(shù)字數(shù)據(jù)庫是優(yōu)選和使用。數(shù)據(jù)庫的大小取決于組織的數(shù)據(jù)和需求。

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

mysql的innodb通過nextkey lock解決了幻讀，為什么還說默認隔離級別是可重復(fù)讀?