一、解決了幻讀,為什么還說(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ū)間查詢(xún),插入和刪除操作使得對(duì)相同的區(qū)間查詢(xún)操作返回不同的結(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ū)間的查詢(xún),事務(wù)可能會(huì)錯(cuò)過(guò)某些滿(mǎn)足該條件的并發(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ì)于滿(mǎn)足條件eid = 1 and workdate = ‘2019.7.11’ 的元組,拿到的是相同的快照,它們都判定插入一條工時(shí)為4的元組不會(huì)使當(dāng)日工時(shí)大于8。
這個(gè)異常不滿(mǎn)足上面對(duì)幻讀的定義,然而這個(gè)事務(wù)調(diào)度卻是不正確的。一些文獻(xiàn)把這種異常也稱(chēng)為幻象(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依賴(lài)檢測(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)象的。
事務(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ù)庫(kù)
有組織且相互關(guān)聯(lián)的數(shù)據(jù)的集合稱(chēng)為數(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ù)類(lèi)型和約束。數(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ù)有很多種類(lèi)型,從最簡(jiǎn)單的存儲(chǔ)有各種數(shù)據(jù)的表格到能夠進(jìn)行海量數(shù)據(jù)存儲(chǔ)的大型數(shù)據(jù)庫(kù)系統(tǒng)都在各個(gè)方面得到了廣泛的應(yīng)用。