1. 前 言

在正式開始之前，先簡單回顧一下并發(fā)事務(wù)存在的問題以及事務(wù)的隔離級(jí)別等內(nèi)容。

1.1 并發(fā)事務(wù)存在的問題

當(dāng)兩個(gè)或者兩個(gè)以上事務(wù)同時(shí)開啟去處理同一個(gè)表的數(shù)據(jù)時(shí)，可能會(huì)存在以下的問題：

• 丟失修改
• 臟讀
• 不可重復(fù)讀
• 幻讀

丟失修改

丟失修改是指當(dāng)兩個(gè)或多個(gè)事務(wù)更新同一行記錄，產(chǎn)生更新丟失的現(xiàn)象，事務(wù)回滾覆蓋和事務(wù)提交覆蓋都會(huì)導(dǎo)致這種現(xiàn)象的產(chǎn)生。

臟讀

一個(gè)事務(wù)能讀取到另一個(gè)事務(wù)已經(jīng)修改但還沒有提交的數(shù)據(jù)。

不可重復(fù)讀

在一個(gè)事務(wù)中多次執(zhí)行同一條查詢語句，讀取到的數(shù)據(jù)內(nèi)容前后不一致。

幻讀

在一個(gè)事務(wù)中多次執(zhí)行同一條查詢語句，讀取到的數(shù)據(jù)記錄在數(shù)量上前后不一致，可能多了幾條記錄也可能少了幾條記錄。

1.2 事務(wù)的隔離級(jí)別

為了解決并發(fā)事務(wù)存在的問題，大佬們想到了一個(gè)手段，那就是對(duì)事務(wù)進(jìn)行隔離，最好是做到各個(gè)事務(wù)各干各的，互不干涉，但理想很豐滿，現(xiàn)實(shí)很骨感，哪可能一步到位呢。

為了應(yīng)對(duì)不同的需要，解決不同的問題，于是決定將事務(wù)的隔離分成四個(gè)級(jí)別，分別是：

• 讀未提交
• 讀已提交
• 可重復(fù)讀
• 串行化

它們各自能解決的并發(fā)事務(wù)問題如下表所示：

1.3 快照讀和當(dāng)前讀

快照讀

快照讀是基于 MVCC 和 undo log 來實(shí)現(xiàn)的，讀取數(shù)據(jù)的歷史版本，得到一個(gè) ReadView (事務(wù)視圖) ，不對(duì)數(shù)據(jù)加鎖，適用于簡單 select 語句。

這里提一句，所謂 MVCC 并發(fā)版本控制，就是靠 ReadView (事務(wù)視圖) 來實(shí)現(xiàn)的，多個(gè) readView 組成 undo log（回滾日志）。

當(dāng)前讀

當(dāng)前讀是基于行鎖 + 間隙鎖來實(shí)現(xiàn)的，讀取數(shù)據(jù)的最新版本，并對(duì)數(shù)據(jù)進(jìn)行加鎖，適用于 insert，update，delete，select ... for update， select ... lock in share mode語句，以及加鎖了的 select 語句。

在更新數(shù)據(jù)時(shí)，都是先讀后寫，而這個(gè)讀，就是指當(dāng)前讀，意味讀取數(shù)據(jù)時(shí)，讀到的是該條數(shù)據(jù)最新生成的 ReadView。

2. 不同事務(wù)隔離級(jí)別下幻讀的區(qū)別

在上面的表格中，我們能看到，在讀已提交這個(gè)隔離級(jí)別下，幻讀是不能被解決的，也就是說會(huì)發(fā)生；而在可重復(fù)讀這個(gè)隔離級(jí)別下，幻讀則是沒有完全被解決，只是解決了部分，意味著仍然有可能發(fā)生。

那它們分別是怎么產(chǎn)生的？各自又有什么表現(xiàn)？有何區(qū)別？下面我們舉個(gè)例子來探究一下。

假設(shè)現(xiàn)在有兩個(gè)事務(wù)，分別是事務(wù) A 和 事務(wù) B ，同時(shí)有一張學(xué)生表 student（表中只有一條記錄，stu_name 為王大） ，我們用這兩個(gè)事務(wù)來操作這張表。

2.1 讀已提交下的幻讀

在讀已提交這種事務(wù)隔離級(jí)別下，兩個(gè)事務(wù)的操作順序如下：

1. 事務(wù) A 第一次查詢，得到的數(shù)據(jù)記錄是 stu_name 為王大這一條
2. 事務(wù) B 中途往表里插入了一條 stu_name 為李二的記錄，并提交自身的事務(wù)
3. 事務(wù) A 用第一次查詢的 SQL 語句進(jìn)行第二次查詢時(shí)，發(fā)現(xiàn)得到的數(shù)據(jù)記錄成了兩條，出現(xiàn)幻讀

表現(xiàn)

普通的查詢語句，能看到明顯幻讀現(xiàn)象。

原因剖析

事務(wù) A 中用的是普通的 select 語句，因此采用的是快照讀，但由于事務(wù)隔離級(jí)別為讀已提交，在讀已提交下，每次 select 操作，都會(huì)重新獲取最新版本的數(shù)據(jù)，也正是因?yàn)檫@個(gè)原因，導(dǎo)致事務(wù) A 中兩次查詢得到的結(jié)果在數(shù)量不一致，產(chǎn)生幻讀。

解決方式

將事務(wù)隔離級(jí)別升級(jí)為可重復(fù)讀

2.2 可重復(fù)讀下的幻讀

2.2.1 情況一，無幻讀

在可重復(fù)讀這種事務(wù)隔離級(jí)別下，兩個(gè)事務(wù)的操作順序如下：

像上面這樣的事務(wù)操作，雖然在讀已提交事務(wù)隔離級(jí)別下會(huì)產(chǎn)生幻讀，但在可重復(fù)讀事務(wù)隔離級(jí)別下，卻不會(huì)產(chǎn)生幻讀。

原因：在可重復(fù)讀事務(wù)隔離級(jí)別下，針對(duì)普通的 select 語句，采用的是快照讀，只會(huì)在第一次查詢的時(shí)候獲取一次數(shù)據(jù)的版本，往后繼續(xù)做相同的 select 操作，不會(huì)重新獲取，會(huì)延用前面得到的數(shù)據(jù)版本。

細(xì)心的你有沒有發(fā)現(xiàn)，在可重復(fù)讀事務(wù)隔離級(jí)別下，對(duì)于快照讀（普通的 select 操作），這不就是使用 MVCC 解決幻讀問題嗎？你沒看錯(cuò)，是這樣的。

2.2.2 情況二，有幻讀

在可重復(fù)讀這種事務(wù)隔離級(jí)別下，兩個(gè)事務(wù)的操作順序如下：

上面的事務(wù)操作，和前面不同的地方在于，第二次查詢加上了 for update ，也就是采用當(dāng)前讀。

表現(xiàn)

能看到明顯的幻讀現(xiàn)象

原因剖析

由于事務(wù) A 第二次查詢?cè)?SQL 語句末尾加上了 for update ，表示采用當(dāng)前讀的方式，獲取數(shù)據(jù)的最新版本，那么自然而然會(huì)把事務(wù) B 中途插入的數(shù)據(jù)給查出來，從而出現(xiàn)幻讀。

解決方式

用 next-key lock 解決，如果是走索引，會(huì)鎖住索引本身的行鎖；如果是范圍，就會(huì)成為一個(gè)行鎖+間隙鎖，導(dǎo)致范圍內(nèi)的無法插入；如果是無索引的，直接全表加上了間隙鎖，無法插入，阻塞。

具體的操作方式如下：

事務(wù) A 的每次查詢都加上 for update，這樣就不會(huì)出現(xiàn)幻讀，原因是事務(wù) B 的 insert 操作會(huì)被阻塞，無法將數(shù)據(jù)插入到表中，從而避免幻讀的出現(xiàn)。

2.2.3 情況三，有幻讀

在可重復(fù)讀這種事務(wù)隔離級(jí)別下，兩個(gè)事務(wù)的操作順序如下：

在上面的事務(wù)操作下，事務(wù) B 能將數(shù)據(jù)記錄正常插入到表中，而事務(wù) A 做了一次 update 操作，從上面的介紹我們可以知道，update 操作是當(dāng)前讀，會(huì)獲取到數(shù)據(jù)的最新版本，自然也能拿到事務(wù) B 的提交記錄。

表現(xiàn)

能明顯看到幻讀現(xiàn)象

原因剖析

事務(wù) A 的 update 操作采用的是當(dāng)前讀，會(huì)獲取數(shù)據(jù)的最新版本，將事務(wù) B 提交的結(jié)果讀取出來，后面事務(wù) A 再做普通的 select 操作，采用快照讀，由于延用 update 操作時(shí)得到的數(shù)據(jù)歷史版本，因而產(chǎn)生幻讀。

解決方式

同 2.2.2 中的解決方式一樣，具體操作如下：

最簡單的解決方式，就是再將事務(wù)隔離級(jí)別升級(jí)，改為串行化，畢竟串行化本身就解決所有事務(wù)問題，當(dāng)然，這會(huì)犧牲效率。

總結(jié)

并發(fā)事務(wù)中，對(duì)于普通的 select 語句，在讀已提交下，能明顯看到幻讀的現(xiàn)象，而在可重復(fù)讀下，看不到幻讀現(xiàn)象。

并發(fā)事務(wù)中，對(duì)于事務(wù)執(zhí)行語句里含有當(dāng)前讀的情況，得具體問題具體分析，可能可以看到幻讀，也可能由于加了 for update ，看不到幻讀。

以上為個(gè)人經(jīng)驗(yàn)，希望能給大家一個(gè)參考，也希望大家多多支持腳本之家。