今天來討論MySQL中的事物隔離級別

一、事物概念

事務是由一組SQL語句組成的邏輯處理單元。

事務具有以下4個屬性,通常簡稱為事務的ACID屬性：

• 原子性：事務是一個原子操作單元,其對數(shù)據(jù)的修改,要么全都執(zhí)行,要么全都不執(zhí)行。
• 一致性：在事務開始和完成時,數(shù)據(jù)都必須保持一致狀態(tài)。這意味著所有相關的數(shù)據(jù)規(guī)則都必須應用于事務的修改,以保持數(shù)據(jù)的完整性。
• 隔離性：數(shù)據(jù)庫系統(tǒng)提供一定的隔離機制,保證事務在不受外部并發(fā)操作影響的“獨立”環(huán)境執(zhí)行。這意味著事務處理過程中的中間狀態(tài)對外部是不可見的,反之亦然。
• 持久性：事務完成之后,它對于數(shù)據(jù)的修改是永久性的,即使出現(xiàn)系統(tǒng)故障也能夠保持。

事務的啟動方式

• 顯式啟動 set autocommit=1 begin 或 start transaction。配套的提交語句是 commit，回滾語句是 rollback。
• set autocommit=0 自動提交關掉,意味著如果你只執(zhí)行一個 select 語句，這個事務就啟動了，而且并不會自動提交。這個事務持續(xù)存在直到你主動執(zhí)行 commit 或 rollback 語句，或者斷開連接。
• 用commit work and chain代替 commit可以提交一個事務，并且開啟另一個新的事務。

二、事物帶來的問題

我們的數(shù)據(jù)庫一般都會并發(fā)執(zhí)行多個事務，多個事務可能會并發(fā)的對相同的一批數(shù)據(jù)進行增刪改查操作，可能就會導致我們說的臟寫、臟讀、不可重復讀、幻讀這些問題。

這些問題的本質都是數(shù)據(jù)庫的多事務并發(fā)問題，為了解決多事務并發(fā)問題，數(shù)據(jù)庫設計了事務隔離機制、鎖機制、MVCC多版本并發(fā)控制隔離機制，用一整套機制來解決多事務并發(fā)問題。接下來，我們會深入講解這些機制，讓大家徹底理解數(shù)據(jù)庫內部的執(zhí)行原理。

臟寫

當兩個或多個事務選擇同一行，然后基于最初選定的值更新該行時，由于每個事務都不知道其他事務的存在，就會發(fā)生丟失更新問題，最后的更新覆蓋了由其他事務所做的更新。

臟讀

一個事務正在對一條記錄做修改，在這個事務完成并提交前，這條記錄的數(shù)據(jù)就處于不一致的狀態(tài)；這時，另一個事務也來讀取同一條記錄，如果不加控制，第二個事務讀取了這些“臟”數(shù)據(jù)，并據(jù)此作進一步的處理，就會產生未提交的數(shù)據(jù)依賴關系。這種現(xiàn)象被形象的叫做“臟讀”。

例：事務A讀取到了事務B已經(jīng)修改但尚未提交的數(shù)據(jù)，還在這個數(shù)據(jù)基礎上做了操作。此時，如果B事務回滾，A讀取的數(shù)據(jù)無效，不符合一致性要求。

不可重讀

一個事務在讀取某些數(shù)據(jù)后的某個時間，再次讀取以前讀過的數(shù)據(jù)，卻發(fā)現(xiàn)其讀出的數(shù)據(jù)已經(jīng)發(fā)生了改變、或某些記錄已經(jīng)被刪除了！這種現(xiàn)象就叫做“不可重復讀”。

例：事務A內部的相同查詢語句在不同時刻讀出的結果不一致，不符合隔離性

幻讀

一個事務按相同的查詢條件重新讀取以前檢索過的數(shù)據(jù)，卻發(fā)現(xiàn)其他事務插入了滿足其查詢條件的新數(shù)據(jù)，這種現(xiàn)象就稱為“幻讀”。

例：事務A讀取到了事務B提交的新增數(shù)據(jù)，不符合隔離性

不可重復讀與幻讀有什么區(qū)別？

不可重復讀的重點是修改：在同一事務中，同樣的條件，第一次讀的數(shù)據(jù)和第二次讀的「數(shù)據(jù)不一樣」。（因為中間有其他事務提交了修改）

幻讀的重點在于新增或者刪除：在同一事務中，同樣的條件，第一次和第二次讀出來的「記錄數(shù)不一樣」。（因為中間有其他事務提交了插入/刪除）

三、事物的隔離級別

在 MySQL 中，事務支持是在引擎層實現(xiàn)的。你現(xiàn)在知道，MySQL 是一個支持多引擎的系統(tǒng)，但并不是所有的引擎都支持事務。比如 MySQL 原生的 MyISAM 引擎就不支持事務，這也是 MyISAM 被 InnoDB 取代的重要原因之一

InnoDB實現(xiàn)了四個標準的隔離級別，每一種級別都規(guī)定了一個事務中所做的修改，哪些在事務內和事務間是可見的，哪些是不可見的。低級別的隔離級一般支持更高的并發(fā)處理，并擁有更低的系統(tǒng)開銷。

查看當前數(shù)據(jù)庫的事務隔離級別:

show variables like 'tx_isolation';

設置事務隔離級別：

set tx_isolation='REPEATABLE-READ';

查詢mysql的長事務（大于60秒的事務）: select * from information_schema.innodb_trx where TIME_TO_SEC(timediff(now(),trx_started))>60

Mysql默認的事務隔離級別是可重復讀.

事務隔離級別

在談隔離級別之前，你首先要知道，你隔離得越嚴實，效率就會越低。因此很多時候，我們都要在二者之間尋找一個平衡點。

標準的事務隔離級別包括：

• 讀未提交:一個事務還沒提交時，它做的變更就能被別的事務看到
• 讀提交:一個事務提交之后，它做的變更才會被其他事務看到
• 可重復讀:一個事務執(zhí)行過程中看到的數(shù)據(jù)，總是跟這個事務在啟動時看到的數(shù)據(jù)是一致的。當然在可重復讀 隔離級別下，未提交變更對其他事務也是不可見的
• 串行化:顧名思義是對于同一行記錄，“寫”會加“寫鎖”，“讀”會加“讀鎖”。當出現(xiàn)讀寫鎖沖突的時候，后訪問的事務必須等前一個事務執(zhí)行完成，才能繼續(xù)執(zhí)行

隔離級別是如何實現(xiàn)的呢？

在實現(xiàn)上，數(shù)據(jù)庫里面會創(chuàng)建一個視圖，訪問的時候以視圖的邏輯結果為準；

在“可重復讀”隔離級別下，這個視圖是在事務啟動時創(chuàng)建的，整個事務存在期間都用這個視圖；

在“讀提交”隔離級別下，這個視圖是在每個 SQL 語句開始執(zhí)行的時候創(chuàng)建的；

在“讀未提交”隔離級別下直接返回記錄上的最新值，沒有視圖概念；

在“串行化”隔離級別下直接用加鎖的方式來避免并行訪問。

在 MySQL 中，不同時刻啟動的事務會有不同的一致性視圖read-view，并且每條記錄在更新的時候都會同時記錄一條回滾操作。記錄上的最新值，通過回滾操作，都可以得到前一個狀態(tài)的值，這就意味著同一條數(shù)據(jù)在數(shù)據(jù)庫中維護了多個版本，就是數(shù)據(jù)庫的多版本并發(fā)控制（MVCC），我們后續(xù)詳細討論MVCC機制。

從圖中可以看到每種隔離級別可以解決的問題，我們可以看出可重復隔離級別下幻讀是沒有解決的，而且即便是加行鎖也解決不了問題，我們上面說了幻讀問題說的是新增刪除造成的問題，而無論是可重復讀隔離級別還是行鎖操作的對象都是當前行，所以幻讀問題需要其他的方式解決。

注意：長事務會造成回滾日志不斷增大，會有空間占用劇增的風險，盡量不要使用長事務。

幻讀的解決

產生幻讀的原因是，行鎖只能鎖住行，但是新插入記錄這個動作，要更新的是記錄之間的“間隙”。因此，為了解決幻讀問題，InnoDB 只好引入新的鎖，也就是間隙鎖 (Gap Lock)，間隙鎖是在可重復讀隔離級別下才會生效的。所以，你如果把隔離級別設置為讀提交的話，就沒有間隙鎖了，間隙鎖是開區(qū)間。間隙鎖和行鎖合稱 next-key lock，每個 next-key lock 是前開后閉區(qū)間。也就是說，我們的表 t 初始化以后，如果用 select * from t for update 要把整個表所有記錄鎖起來，就形成了 7 個 next-key lock，分別是 (-∞,0]、(0,5]、(5,10]、(10,15]、(15,20]、(20, 25]、(25, +supremum]。間隙鎖和 next-key lock 的引入，幫我們解決了幻讀的問題，但同時也帶來了一些“困擾”，間隙鎖的引入，可能會導致同樣的語句鎖住更大的范圍，這其實是影響了并發(fā)度的。

簡單總結

解決上述問題其實就是依賴于mysql的MVCC機制和鎖機制，我們后續(xù)分別討論。