什么是MVCC

MVCC就是多版本并發(fā)控制。

MySQL的事務(wù)型存儲引擎通過多版本并發(fā)控制（MVCC）來提升并發(fā)性能。

可以認(rèn)為MVCC是行級鎖的一個變種，但是它在大多數(shù)情況下避免了加鎖操作，同時實現(xiàn)非阻塞的讀操作，因此開銷更低。

MVCC是通過保存數(shù)據(jù)在某個時間點的快照來實現(xiàn)的，核心思想就是保存數(shù)據(jù)的歷史版本，通過對數(shù)據(jù)行的多個版本管理來實現(xiàn)數(shù)據(jù)庫的并發(fā)控制。

這樣我們就可以通過比較版本號決定數(shù)據(jù)是否顯示出來，讀取數(shù)據(jù)的時候不需要加鎖也可以保證事務(wù)的隔離效果。

MVCC的實現(xiàn)

實際上，InnoDB 會在每行記錄后面增加三個隱藏字段：

• ROW_ID：行ID，隨著插入新行而單調(diào)遞增，如果有主鍵，則不會包含該列。
• TRX_ID：記錄插入或更新該行的事務(wù)的事務(wù)ID。
• ROLL_PTR：回滾指針，指向 undo log 記錄。每次對某條記錄進(jìn)行改動時，該列會存一個指針，可以通過這個指針找到該記錄修改前的信息。當(dāng)某條記錄被多次修改時，該行記錄會存在多個版本，通過 ROLL_PTR 鏈接形成一個類似版本鏈的概念。

以 RR 級別為例：

每開啟一個事務(wù)時，系統(tǒng)會給該事務(wù)分配一個事務(wù) Id，在該事務(wù)執(zhí)行第一 個 select 語句的時候，會生成一個當(dāng)前時間點的事務(wù)快照 ReadView，主要包含以下幾個屬性：

• m_ids：表示生成ReadView時，當(dāng)前系統(tǒng)中未提交的讀寫事務(wù)的事務(wù)id列表。
• min_trx_id：表示生成ReadView時，當(dāng)前系統(tǒng)中未提交的讀寫事務(wù)中最小的事務(wù)id，也就是m_ids中的最小值。
• max_trx_id：表示生成ReadView時，系統(tǒng)中應(yīng)該分配給下一個事務(wù)的id值。
• creator_trx_id：表示生成ReadView時，該事務(wù)的事務(wù)id。

有了這個 ReadView，這樣在訪問某條記錄時，只需要按照下邊的步驟判斷記錄的某個版本是否可見：

• trx_id == creator_trx_id：可以訪問這個版本。
• trx_id < min_trx_id ：可以訪問這個版本。
• trx_id > max_trx_id：不可以訪問這個版本。
• min_trx_id <= trx_id <= max_trx_id ：如果trx_id是在m_ids中，不可以訪問這個版本，反之可用。

在進(jìn)行判斷時，首先會拿記錄的最新版本來比較，如果該版本無法被當(dāng)前事務(wù)看到，則通過記錄的 ROLL_PTR 找到上一個版本，重新進(jìn)行比較，直到找到一個能被當(dāng)前事務(wù)看到的版本。
而對于刪除，其實就是一種特殊的更新，InnoDB 用一個額外的標(biāo)記位 delete_bit 標(biāo)識是否刪除。當(dāng)我們在進(jìn)行判斷時，會檢查下 delete_bit 是否被標(biāo)記，如果是，則跳過該版本，通過 ROLL_PTR 拿到下一個版本進(jìn)行判斷。

以上內(nèi)容是對于 RR 級別來說，而對于 RC 級別，其實整個過程幾乎一樣，唯一不同的是生成 ReadView 的時機(jī)， RR 級別只在事務(wù)開始時生成一次，之后一直使用該 ReadView。而 RC 級別則在每次 select 時，都會生成一個 ReadView。

MVCC 有沒有解決幻讀？

幻讀：在一個事務(wù)中使用相同的 SQL 進(jìn)行兩次讀取，第二次讀取到了其他事務(wù)新插入的行。
例如：

1）事務(wù) 1 第一次查詢：select * from user where id < 10 時查到了 id = 1 的數(shù)據(jù)

2）事務(wù) 2 插入了 id = 2 的數(shù)據(jù)

3）事務(wù) 1 使用同樣的語句第二次查詢時，查到了 id = 1、id = 2 的數(shù)據(jù)，出現(xiàn)了幻讀。

談到幻讀，首先我們要引入“當(dāng)前讀”和“快照讀”的概念。

• 快照讀：生成一個事務(wù)快照（ReadView），之后都從這個快照獲取數(shù)據(jù)。普通 select 語句就是快照讀。
• 當(dāng)前讀：讀取數(shù)據(jù)的最新版本。常見的 update/insert/delete、還有 select ... for update、select ... lock in share mode 都是當(dāng)前讀。

對于快照讀，MVCC 因為從 ReadView 讀取，所以必然不會看到新插入的行，所以天然就解決了幻讀的問題。

而對于當(dāng)前讀的幻讀，MVCC 是無法解決的。需要使用 Gap Lock 或 Next-Key Lock（Gap Lock + Record Lock）來解決。

其實原理也很簡單，用上面的例子稍微修改下以觸發(fā)當(dāng)前讀：

select * from user where id < 10 for update

當(dāng)使用了 Gap Lock 時，Gap 鎖會鎖住 id < 10 的整個范圍，因此其他事務(wù)無法插入 id < 10 的數(shù)據(jù)，從而防止了幻讀。

到此這篇關(guān)于MySQL的多版本并發(fā)控制MVCC的實現(xiàn)的文章就介紹到這了,更多相關(guān)MySQL多版本并發(fā)控制MVCC內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！