摘要在當(dāng)今高度并發(fā)的數(shù)據(jù)庫環(huán)境中,有效的并發(fā)控制是至關(guān)重要的。MVCC是MySQL中被廣泛采用的并發(fā)控制機(jī)制,它通過版本管理來實現(xiàn)事務(wù)的隔離性,允許讀寫操作同時進(jìn)行,提高數(shù)據(jù)庫的并發(fā)性能和響應(yīng)能力。uJq28資訊網(wǎng)——每日最新資訊28at.com
本文將深入解析MVCC機(jī)制的原理,幫助讀者更好地理解和應(yīng)用這一關(guān)鍵技術(shù)。uJq28資訊網(wǎng)——每日最新資訊28at.com
MVCC 介紹MVCC,全稱 Multi-Version Concurrency Control,即多版本并發(fā)控制uJq28資訊網(wǎng)——每日最新資訊28at.com
MVCC的目的主要是為了提高數(shù)據(jù)庫并發(fā)性能,用更好的方式去處理讀-寫沖突,做到即使有讀寫沖突時,也能做到不加鎖。uJq28資訊網(wǎng)——每日最新資訊28at.com
這里的多版本指的是數(shù)據(jù)庫中同時存在多個版本的數(shù)據(jù),并不是整個數(shù)據(jù)庫的多個版本,而是某一條記錄的多個版本同時存在。uJq28資訊網(wǎng)——每日最新資訊28at.com
并發(fā)控制的挑戰(zhàn)uJq28資訊網(wǎng)——每日最新資訊28at.com
在數(shù)據(jù)庫系統(tǒng)中,同時執(zhí)行的事務(wù)可能涉及相同的數(shù)據(jù),因此需要一種機(jī)制來保證數(shù)據(jù)的一致性,傳統(tǒng)的鎖機(jī)制可以實現(xiàn)并發(fā)控制,但會導(dǎo)致阻塞和死鎖等問題。uJq28資訊網(wǎng)——每日最新資訊28at.com
MVCC的優(yōu)點(diǎn)uJq28資訊網(wǎng)——每日最新資訊28at.com
MVCC機(jī)制具有以下優(yōu)點(diǎn):uJq28資訊網(wǎng)——每日最新資訊28at.com
提高并發(fā)性能:讀操作不會阻塞寫操作,寫操作也不會阻塞讀操作,有效地提高數(shù)據(jù)庫的并發(fā)性能。uJq28資訊網(wǎng)——每日最新資訊28at.com
降低死鎖風(fēng)險:由于無需使用顯式鎖來進(jìn)行并發(fā)控制,MVCC可以降低死鎖的風(fēng)險。uJq28資訊網(wǎng)——每日最新資訊28at.com
當(dāng)前讀和快照讀
在講解MVCC原理之前,我們先來了解一下,當(dāng)前讀和快照讀。uJq28資訊網(wǎng)——每日最新資訊28at.com
當(dāng)前讀uJq28資訊網(wǎng)——每日最新資訊28at.com
在MySQL中,當(dāng)前讀是一種讀取數(shù)據(jù)的操作方式,它可以直接讀取最新的數(shù)據(jù)版本,讀取時還要保證其他并發(fā)事務(wù)不能修改當(dāng)前記錄,會對讀取的記錄進(jìn)行加鎖。MySQL提供了兩種實現(xiàn)當(dāng)前讀的機(jī)制:uJq28資訊網(wǎng)——每日最新資訊28at.com
默認(rèn)隔離級別下(可重復(fù)讀),MySQL使用一致性讀來實現(xiàn)當(dāng)前讀。uJq28資訊網(wǎng)——每日最新資訊28at.com
在事務(wù)開始時,MySQL會創(chuàng)建一個一致性視圖(Consistent View),該視圖反映了事務(wù)開始時刻數(shù)據(jù)庫的快照。uJq28資訊網(wǎng)——每日最新資訊28at.com
在事務(wù)執(zhí)行期間,無論其他事務(wù)對數(shù)據(jù)進(jìn)行了何種修改,事務(wù)始終使用一致性視圖來讀取數(shù)據(jù)。uJq28資訊網(wǎng)——每日最新資訊28at.com
這樣可以保證在同一個事務(wù)內(nèi)多次查詢返回的結(jié)果是一致的,從而實現(xiàn)了當(dāng)前讀。uJq28資訊網(wǎng)——每日最新資訊28at.com
- 鎖定讀(Locking Read):
- 鎖定讀是一種特殊情況下的當(dāng)前讀方式,在某些場景下使用。
- 當(dāng)使用鎖定讀時,MySQL會在執(zhí)行讀取操作前獲取共享鎖或排他鎖,以確保數(shù)據(jù)的一致性。
- 共享鎖(Shared Lock)允許多個事務(wù)同時讀取同一數(shù)據(jù),而排他鎖(Exclusive Lock)則阻止其他事務(wù)讀取或?qū)懭朐摂?shù)據(jù)。
- 鎖定讀適用于需要嚴(yán)格控制并發(fā)訪問的場景,但由于加鎖帶來的性能開銷較大,建議僅在必要時使用。
下面列舉的這些語法都是當(dāng)前讀:uJq28資訊網(wǎng)——每日最新資訊28at.com
語法uJq28資訊網(wǎng)——每日最新資訊28at.com |
SELECT ... LOCK IN SHARE MODEuJq28資訊網(wǎng)——每日最新資訊28at.com |
SELECT ... FOR UPDATEuJq28資訊網(wǎng)——每日最新資訊28at.com |
UPDATEuJq28資訊網(wǎng)——每日最新資訊28at.com |
DELETEuJq28資訊網(wǎng)——每日最新資訊28at.com |
INSERTuJq28資訊網(wǎng)——每日最新資訊28at.com |
當(dāng)前讀實際上是一種加鎖的操作,是悲觀鎖的實現(xiàn)。uJq28資訊網(wǎng)——每日最新資訊28at.com
快照讀uJq28資訊網(wǎng)——每日最新資訊28at.com
快照讀是在讀取數(shù)據(jù)時讀取一個一致性視圖中的數(shù)據(jù),MySQL使用 MVCC 機(jī)制來支持快照讀。uJq28資訊網(wǎng)——每日最新資訊28at.com
具體而言,每個事務(wù)在開始時會創(chuàng)建一個一致性視圖(Consistent View),該視圖反映了事務(wù)開始時刻數(shù)據(jù)庫的快照。這個一致性視圖會記錄當(dāng)前事務(wù)開始時已經(jīng)提交的數(shù)據(jù)版本。uJq28資訊網(wǎng)——每日最新資訊28at.com
當(dāng)執(zhí)行查詢操作時,MySQL會根據(jù)事務(wù)的一致性視圖來決定可見的數(shù)據(jù)版本。只有那些在事務(wù)開始之前已經(jīng)提交的數(shù)據(jù)版本才是可見的,未提交的數(shù)據(jù)或在事務(wù)開始后修改的數(shù)據(jù)則對當(dāng)前事務(wù)不可見。uJq28資訊網(wǎng)——每日最新資訊28at.com
像不加鎖的 select 操作就是快照讀,即不加鎖的非阻塞讀。uJq28資訊網(wǎng)——每日最新資訊28at.com
快照讀可能讀到的并不一定是數(shù)據(jù)的最新版本,而有可能是之前的歷史版本。uJq28資訊網(wǎng)——每日最新資訊28at.com
注意:快照讀的前提是隔離級別不是串行級別,在串行級別下,事務(wù)之間完全串行執(zhí)行,快照讀會退化為當(dāng)前讀uJq28資訊網(wǎng)——每日最新資訊28at.com
MVCC主要就是為了實現(xiàn)讀-寫沖突不加鎖,而這個讀指的就是快照讀,是樂觀鎖的實現(xiàn)。uJq28資訊網(wǎng)——每日最新資訊28at.com
MVCC 原理解析
隱式字段
MySQL中的行數(shù)據(jù),除了我們?nèi)庋勰芸吹降淖侄沃猓鋵嵾€包含了一些隱藏字段,它們在內(nèi)部使用,默認(rèn)情況下不會顯示給用戶。uJq28資訊網(wǎng)——每日最新資訊28at.com
字段uJq28資訊網(wǎng)——每日最新資訊28at.com | 含義uJq28資訊網(wǎng)——每日最新資訊28at.com |
DB_ROW_IDuJq28資訊網(wǎng)——每日最新資訊28at.com | 隱含的自增ID(隱藏主鍵),用于唯一標(biāo)識表中的每一行數(shù)據(jù),如果數(shù)據(jù)表沒有主鍵,InnoDB會自動以DB_ROW_ID產(chǎn)生一個聚簇索引。uJq28資訊網(wǎng)——每日最新資訊28at.com |
DB_TRX_IDuJq28資訊網(wǎng)——每日最新資訊28at.com | 該字段存儲了當(dāng)前行數(shù)據(jù)所屬的事務(wù)ID。每個事務(wù)在數(shù)據(jù)庫中都有一個唯一的事務(wù)ID。通過 DB_TRX_ID 字段,可以追蹤行數(shù)據(jù)和事務(wù)的所屬關(guān)系。uJq28資訊網(wǎng)——每日最新資訊28at.com |
DB_ROLL_PTRuJq28資訊網(wǎng)——每日最新資訊28at.com | 該字段存儲了回滾指針(Roll Pointer),它指向用于回滾事務(wù)的Undo日志記錄。uJq28資訊網(wǎng)——每日最新資訊28at.com |
Undo Log
上文提到了 Undo 日志,這個 Undo 日志是 MVCC 能夠得以實現(xiàn)的核心所在。uJq28資訊網(wǎng)——每日最新資訊28at.com
Undo日志(Undo Log)是MySQL中的一種重要的事務(wù)日志,Undo日志的作用主要有兩個方面:uJq28資訊網(wǎng)——每日最新資訊28at.com
- 事務(wù)回滾:當(dāng)事務(wù)需要回滾時,MySQL可以通過Undo日志中的舊值將數(shù)據(jù)還原到事務(wù)開始之前的狀態(tài),保證了事務(wù)回滾的一致性。
- MVCC實現(xiàn):MVCC 是InnoDB存儲引擎的核心特性之一。通過使用Undo日志,MySQL可以為每個事務(wù)提供獨(dú)立的事務(wù)視圖,使得事務(wù)讀取數(shù)據(jù)時能看到一致且符合隔離級別要求的數(shù)據(jù)版本。
在InnoDB存儲引擎中,Undo日志分為兩種:插入(insert)Undo日志 和 更新(update)Undo日志uJq28資訊網(wǎng)——每日最新資訊28at.com
- insert undo log:插入Undo日志是指在插入操作中生成的Undo日志。由于插入操作的記錄只對當(dāng)前事務(wù)可見,對其他事務(wù)不可見,因此在事務(wù)提交后可以直接刪除,無需進(jìn)行purge操作。
- update undo log:更新Undo日志是指在更新或刪除操作中生成的Undo日志。更新Undo日志可能需要提供MVCC機(jī)制,因此不能在事務(wù)提交時就立即刪除。相反,它們會在提交時放入Undo日志鏈表中,并等待purge線程進(jìn)行最終的刪除。刪除操作只是設(shè)置一下老記錄的 DELETED_BIT,并不真正將過時的記錄刪除,為了節(jié)省磁盤空間,InnoDB有專門的purge線程來清理 DELETED_BIT 為true的記錄。
注意:由于查詢操作(SELECT)并不會修改任何記錄,所以在查詢操作執(zhí)行時,并不需要記錄相應(yīng)的 undo log 。uJq28資訊網(wǎng)——每日最新資訊28at.com
不同事務(wù)或者相同事務(wù)對同一記錄行的修改,會使該記錄行的 undo log 成為一條鏈表,鏈?zhǔn)拙褪亲钚碌挠涗洠溛簿褪亲钤绲呐f記錄uJq28資訊網(wǎng)——每日最新資訊28at.com
舉個例子,比如有個事務(wù)A插入了一條新記錄:insert into user(id, name) values(1, "小明')uJq28資訊網(wǎng)——每日最新資訊28at.com
現(xiàn)在來了一個事務(wù)B對該記錄的name做出了修改,改為 "小王"。uJq28資訊網(wǎng)——每日最新資訊28at.com
在事務(wù)B修改該行數(shù)據(jù)時,數(shù)據(jù)庫會先對該行加排他鎖,然后把該行數(shù)據(jù)拷貝到 undo log 中作為舊記錄,即在 undo log 中有當(dāng)前行的拷貝副本.uJq28資訊網(wǎng)——每日最新資訊28at.com
拷貝完畢后,修改該行name為 "小王,并且修改隱藏字段的事務(wù)ID為當(dāng)前事務(wù)B的ID, 并將回滾指針指向拷貝到 undo log 的副本記錄,即表示我的上一個版本就是它,事務(wù)提交后,釋放鎖。uJq28資訊網(wǎng)——每日最新資訊28at.com
圖片uJq28資訊網(wǎng)——每日最新資訊28at.com
此時又來了個事務(wù)C修改同一個記錄,將name修改為 "小紅"。uJq28資訊網(wǎng)——每日最新資訊28at.com
在事務(wù)C修改該行數(shù)據(jù)時,數(shù)據(jù)庫也先為該行加鎖,然后把該行數(shù)據(jù)拷貝到 undo log 中,作為舊記錄,發(fā)現(xiàn)該行記錄已經(jīng)有 undo log 了,那么最新的舊數(shù)據(jù)作為鏈表的表頭,插在該行記錄的 undo log 最前面,如下圖:uJq28資訊網(wǎng)——每日最新資訊28at.com
圖片uJq28資訊網(wǎng)——每日最新資訊28at.com
關(guān)于 DB_ROLL_PTR 與 Undo日志 的配合工作,具體流程如下:uJq28資訊網(wǎng)——每日最新資訊28at.com
- 在更新或刪除操作之前,MySQL會將舊值寫入Undo日志中。
- 當(dāng)事務(wù)需要回滾時,MySQL會根據(jù)事務(wù)的Undo日志記錄,通過 DB_ROLL_PTR 找到對應(yīng)的Undo日志。
- 根據(jù)Undo日志中記錄的舊值,MySQL將舊值恢復(fù)到相應(yīng)的數(shù)據(jù)行中,實現(xiàn)數(shù)據(jù)的回滾操作。
比方說現(xiàn)在想回滾到事務(wù)B,name值為 "小王" 的時候,只需通過 DB_ROLL_PTR 順著列表找到對應(yīng)的 Undo日志,將舊值恢復(fù)到數(shù)據(jù)行即可。uJq28資訊網(wǎng)——每日最新資訊28at.com
通過 DB_ROLL_PTR 和 Undo日志 的配合工作,MySQL能夠有效地管理事務(wù)的一致性和隔離性。Undo日志的使用也使得MySQL能夠支持MVCC,從而提供了高并發(fā)環(huán)境下的讀取一致性和事務(wù)隔離性。uJq28資訊網(wǎng)——每日最新資訊28at.com
版本鏈
在MVCC中,對于每次更新操作,舊值會被保存到一條undo日志中,即使它是該記錄的舊版本。隨著更新次數(shù)的增加,所有的版本都會通過roll_pointer屬性連接成一個鏈表,稱之為版本鏈。uJq28資訊網(wǎng)——每日最新資訊28at.com
版本鏈的頭節(jié)點(diǎn)代表當(dāng)前記錄的最新值。此外,每個版本還包含生成該版本的事務(wù)ID。uJq28資訊網(wǎng)——每日最新資訊28at.com
Read View
一致性視圖,全稱 Read View ,是用來判斷版本鏈中的哪個版本對當(dāng)前事務(wù)是可見的uJq28資訊網(wǎng)——每日最新資訊28at.com
Read View 說白了就是事務(wù)進(jìn)行快照讀操作時候生成的讀視圖(Read View),在該事務(wù)執(zhí)行快照讀的那一刻,會生成數(shù)據(jù)庫系統(tǒng)當(dāng)前的一個快照,記錄并維護(hù)系統(tǒng)當(dāng)前活躍事務(wù)的ID(每個事務(wù)開啟時,都會被分配一個ID,這個ID是遞增的)。uJq28資訊網(wǎng)——每日最新資訊28at.com
這里有一點(diǎn)要注意一下:Read View只針對 RC 和 RR級別uJq28資訊網(wǎng)——每日最新資訊28at.com
Read Uncommitted(RU)和 Serializable(串行化)是兩個特殊的隔離級別,它們不需要使用 Read View 的主要原因是:uJq28資訊網(wǎng)——每日最新資訊28at.com
- Read Uncommitted(RU)隔離級別:在 RU 隔離級別下,事務(wù)可以讀取其他事務(wù)尚未提交的數(shù)據(jù),即臟讀。這意味著不需要通過 Read View 來限制訪問范圍,事務(wù)可以自由地讀取其他事務(wù)的未提交數(shù)據(jù)。由于沒有對可見性進(jìn)行嚴(yán)格控制,因此不需要創(chuàng)建或使用 Read View。
- Serializable(串行化)隔離級別:在 Serializable 隔離級別下,事務(wù)具有最高的隔離性,確保每次讀取都能看到一致的快照。為了實現(xiàn)這種隔離級別,MySQL使用鎖機(jī)制來保證事務(wù)之間的串行執(zhí)行。由于事務(wù)按順序執(zhí)行,并且不允許并發(fā)操作,所以不需要使用 Read View 進(jìn)行可見性判斷。
Read Uncommitted 和 Serializable 隔離級別下的事務(wù)規(guī)則不涉及基于 Read View 的可見性判斷。RU 允許臟讀,而 Serializable 則通過鎖機(jī)制保證串行執(zhí)行。因此,在這兩個隔離級別下,不需要創(chuàng)建或使用 Read View。uJq28資訊網(wǎng)——每日最新資訊28at.com
Read View 可見性原則
Read View 遵循一個可見性原則,將要被修改的數(shù)據(jù)的 DB_TRX_ID 取出來,與系統(tǒng)當(dāng)前其他活躍事務(wù)的ID去對比。uJq28資訊網(wǎng)——每日最新資訊28at.com
如果 DB_TRX_ID 跟 Read View 的屬性做了某些比較,不符合可見性,那就通過 DB_ROLL_PTR 回滾指針去取出 Undo Log 中的 DB_TRX_ID 再比較。uJq28資訊網(wǎng)——每日最新資訊28at.com
即遍歷鏈表的 DB_TRX_ID (從鏈?zhǔn)椎芥溛玻磸淖罱囊淮涡薷牟槠穑钡秸业綕M足特定條件的 DB_TRX_ID,那么這個 DB_TRX_ID 所在的記錄就是當(dāng)前事務(wù)能看見的最新老版本。uJq28資訊網(wǎng)——每日最新資訊28at.com
Read View 會維護(hù)以下幾個字段:uJq28資訊網(wǎng)——每日最新資訊28at.com
字段uJq28資訊網(wǎng)——每日最新資訊28at.com | 含義uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_idsuJq28資訊網(wǎng)——每日最新資訊28at.com | Read View 創(chuàng)建時其他未提交的活躍事務(wù) ID 列表。創(chuàng)建 Read View 時,將當(dāng)前未提交事務(wù) ID 記錄下來,后續(xù)即使它們修改了記錄行的值,對于當(dāng)前事務(wù)也是不可見的。m_ids 不包括當(dāng)前事務(wù)自己和已提交的事務(wù)(正在內(nèi)存中)。uJq28資訊網(wǎng)——每日最新資訊28at.com
|
m_creator_trx_iduJq28資訊網(wǎng)——每日最新資訊28at.com | 創(chuàng)建該 Read View 的事務(wù) ID。uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_low_limit_iduJq28資訊網(wǎng)——每日最新資訊28at.com | 目前出現(xiàn)過的最大的事務(wù) ID+1,即下一個將被分配的事務(wù) ID。大于等于這個 ID 的數(shù)據(jù)版本均不可見。uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_up_limit_iduJq28資訊網(wǎng)——每日最新資訊28at.com | 活躍事務(wù)列表 m_ids 中最小的事務(wù) ID,如果 m_ids 為空,則 m_low_limit_id 為m_up_limit_id 。小于這個 ID 的數(shù)據(jù)版本均可見。uJq28資訊網(wǎng)——每日最新資訊28at.com |
Read View 可見性具體判斷如下:uJq28資訊網(wǎng)——每日最新資訊28at.com
- 如果被訪問版本的 DB_TRX_ID 屬性值與 Read View 中的 m_creator_trx_id 值相同,表示當(dāng)前事務(wù)正在訪問自己所修改的記錄,因此該版本可以被當(dāng)前事務(wù)訪問。
- 如果被訪問版本的 DB_TRX_ID 屬性值小于 Read View 中的 m_up_limit_id 值,說明生成該版本的事務(wù)在當(dāng)前事務(wù)生成 Read View 之前已經(jīng)提交,因此該版本可以被當(dāng)前事務(wù)訪問。
- 如果被訪問版本的 DB_TRX_ID 屬性值大于或等于 Read View 中的 m_low_limit_id 值,說明生成該版本的事務(wù)在當(dāng)前事務(wù)生成 Read View 之后才提交,因此該版本不能被當(dāng)前事務(wù)訪問。
- 如果被訪問版本的 DB_TRX_ID 屬性值位于 Read View 的 m_up_limit_id 和 m_low_limit_id 之間(包括邊界),則需要進(jìn)一步檢查 DB_TRX_ID 是否在m_ids 列表中。如果在列表中,說明在創(chuàng)建ReadView時生成該版本的事務(wù)仍處于活躍狀態(tài),因此該版本不能被訪問;如果不在列表中,說明在創(chuàng)建 Read View 時生成該版本的事務(wù)已經(jīng)提交,因此該版本可以被訪問。
事務(wù)可見性示意圖:uJq28資訊網(wǎng)——每日最新資訊28at.com
圖片uJq28資訊網(wǎng)——每日最新資訊28at.com
RC 和 RR 下的 Read View
RC 和 RR 下生成 Read View 的時機(jī)是有所差異的:uJq28資訊網(wǎng)——每日最新資訊28at.com
- RC:每次 SELECT 數(shù)據(jù)前都生成一個ReadView。
- RR:只在第一次讀取數(shù)據(jù)時生成一個ReadView,后面會復(fù)用第一次生成的。
正因為RC 和 RR生成 Read View 的時機(jī)不同,導(dǎo)致兩個級別下看到的數(shù)據(jù)會不一致。uJq28資訊網(wǎng)——每日最新資訊28at.com
舉例說明,假設(shè)數(shù)據(jù)初始狀態(tài)如下:uJq28資訊網(wǎng)——每日最新資訊28at.com
有 A,B,C 三個事務(wù),執(zhí)行順序如下:uJq28資訊網(wǎng)——每日最新資訊28at.com
uJq28資訊網(wǎng)——每日最新資訊28at.com
| 事務(wù)A(事務(wù)ID: 100)uJq28資訊網(wǎng)——每日最新資訊28at.com | 事務(wù)B(事務(wù)ID: 200)uJq28資訊網(wǎng)——每日最新資訊28at.com | 事務(wù)C(事務(wù)ID: 300)uJq28資訊網(wǎng)——每日最新資訊28at.com |
T1uJq28資訊網(wǎng)——每日最新資訊28at.com | beginuJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
| uJq28資訊網(wǎng)——每日最新資訊28at.com
|
T2uJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
| beginuJq28資訊網(wǎng)——每日最新資訊28at.com | beginuJq28資訊網(wǎng)——每日最新資訊28at.com |
T3uJq28資訊網(wǎng)——每日最新資訊28at.com | update user set name="小王" where id=1uJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
| uJq28資訊網(wǎng)——每日最新資訊28at.com
|
T4uJq28資訊網(wǎng)——每日最新資訊28at.com | update user set name="小紅" where id=1uJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
| select * from user where id = 1uJq28資訊網(wǎng)——每日最新資訊28at.com |
T5uJq28資訊網(wǎng)——每日最新資訊28at.com | commituJq28資訊網(wǎng)——每日最新資訊28at.com | update user set name="小黑" where id=1uJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
|
T6uJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
| update user set name="小白" where id=1uJq28資訊網(wǎng)——每日最新資訊28at.com | select * from user where id = 1uJq28資訊網(wǎng)——每日最新資訊28at.com |
T7uJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
| commituJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
|
T8uJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
| uJq28資訊網(wǎng)——每日最新資訊28at.com
| select * from user where id = 1uJq28資訊網(wǎng)——每日最新資訊28at.com |
T9uJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
| uJq28資訊網(wǎng)——每日最新資訊28at.com
| commituJq28資訊網(wǎng)——每日最新資訊28at.com |
T10uJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
| uJq28資訊網(wǎng)——每日最新資訊28at.com
| uJq28資訊網(wǎng)——每日最新資訊28at.com
|
RC 下的 Read View
T4時刻uJq28資訊網(wǎng)——每日最新資訊28at.com
我們來看 T4 時刻的情況,此時 事務(wù)A 和 事務(wù)B 都還沒提交,所以活躍的事務(wù)ID,即 m_ids 為:[100,200],四個字段的值分別如下:uJq28資訊網(wǎng)——每日最新資訊28at.com
字段uJq28資訊網(wǎng)——每日最新資訊28at.com | 值uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_idsuJq28資訊網(wǎng)——每日最新資訊28at.com | [100,200]uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_creator_trx_iduJq28資訊網(wǎng)——每日最新資訊28at.com | 300uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_low_limit_iduJq28資訊網(wǎng)——每日最新資訊28at.com | 400uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_up_limit_iduJq28資訊網(wǎng)——每日最新資訊28at.com | 100uJq28資訊網(wǎng)——每日最新資訊28at.com |
T4時刻的版本鏈如下:uJq28資訊網(wǎng)——每日最新資訊28at.com
圖片uJq28資訊網(wǎng)——每日最新資訊28at.com
依據(jù)我們之前說的可見性原則,事務(wù)C最終看到的應(yīng)該是 name = "小明" 的數(shù)據(jù),理由如下:uJq28資訊網(wǎng)——每日最新資訊28at.com
最新記錄的 DB_TRX_ID 為 100,既不小于 m_up_limit_id,也不大于 m_low_limit_id,也不等于 m_creator_trx_id。uJq28資訊網(wǎng)——每日最新資訊28at.com
落在了黃區(qū):uJq28資訊網(wǎng)——每日最新資訊28at.com
圖片uJq28資訊網(wǎng)——每日最新資訊28at.com
DB_TRX_ID 存在于 m_ids 列表中,故不可見,順著版本鏈繼續(xù)往下。uJq28資訊網(wǎng)——每日最新資訊28at.com
根據(jù) DB_ROLL_PTR 找到 undo log 中的前一版本記錄,前一條記錄的 DB_TRX_ID 還是 100,還是不可見,繼續(xù)往下。uJq28資訊網(wǎng)——每日最新資訊28at.com
繼續(xù)找前一條 DB_TRX_ID為 1,滿足 1 < m_up_limit_id,可見,所以事務(wù)C 查詢到數(shù)據(jù)為 name = "小明" 。uJq28資訊網(wǎng)——每日最新資訊28at.com
T6時刻uJq28資訊網(wǎng)——每日最新資訊28at.com
T6時候的版本鏈如下:uJq28資訊網(wǎng)——每日最新資訊28at.com
圖片uJq28資訊網(wǎng)——每日最新資訊28at.com
T6時刻,會再次生成新的 Read View,四個字段的值分別如下:uJq28資訊網(wǎng)——每日最新資訊28at.com
字段uJq28資訊網(wǎng)——每日最新資訊28at.com | 值uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_idsuJq28資訊網(wǎng)——每日最新資訊28at.com | [200]uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_creator_trx_iduJq28資訊網(wǎng)——每日最新資訊28at.com | 300uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_low_limit_iduJq28資訊網(wǎng)——每日最新資訊28at.com | 400uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_up_limit_iduJq28資訊網(wǎng)——每日最新資訊28at.com | 200uJq28資訊網(wǎng)——每日最新資訊28at.com |
根據(jù)可見性原則,最終T6時刻事務(wù)C 查詢到數(shù)據(jù)為 name = "小紅" 。uJq28資訊網(wǎng)——每日最新資訊28at.com
T8時刻uJq28資訊網(wǎng)——每日最新資訊28at.com
T8時刻的版本鏈和T6時刻是一致的,不同的是 Read View,因為T8時刻會再生成一個 Read View,四個字段的值分別如下:uJq28資訊網(wǎng)——每日最新資訊28at.com
字段uJq28資訊網(wǎng)——每日最新資訊28at.com | 值uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_idsuJq28資訊網(wǎng)——每日最新資訊28at.com | []uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_creator_trx_iduJq28資訊網(wǎng)——每日最新資訊28at.com | 300uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_low_limit_iduJq28資訊網(wǎng)——每日最新資訊28at.com | 400uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_up_limit_iduJq28資訊網(wǎng)——每日最新資訊28at.com | 400uJq28資訊網(wǎng)——每日最新資訊28at.com |
根據(jù)可見性原則,最終T8時刻事務(wù)C 查詢到數(shù)據(jù)為 name = "小白" 。uJq28資訊網(wǎng)——每日最新資訊28at.com
總結(jié)一下,事務(wù)C在 RC 級別下各個時刻看到的數(shù)據(jù)如下:uJq28資訊網(wǎng)——每日最新資訊28at.com
時刻uJq28資訊網(wǎng)——每日最新資訊28at.com | nameuJq28資訊網(wǎng)——每日最新資訊28at.com |
T4uJq28資訊網(wǎng)——每日最新資訊28at.com | 小明uJq28資訊網(wǎng)——每日最新資訊28at.com |
T6uJq28資訊網(wǎng)——每日最新資訊28at.com | 小紅uJq28資訊網(wǎng)——每日最新資訊28at.com |
T8uJq28資訊網(wǎng)——每日最新資訊28at.com | 小白uJq28資訊網(wǎng)——每日最新資訊28at.com |
下面我們來看看,RR 級別下的表現(xiàn)是如何的。uJq28資訊網(wǎng)——每日最新資訊28at.com
RR 下的 Read View
(RR 的版本鏈和 RC 的版本鏈?zhǔn)且恢碌模瑓^(qū)別在于 Read View)uJq28資訊網(wǎng)——每日最新資訊28at.com
T4時刻uJq28資訊網(wǎng)——每日最新資訊28at.com
T4 時刻的情況,和 R C的情況是一致的:uJq28資訊網(wǎng)——每日最新資訊28at.com
字段uJq28資訊網(wǎng)——每日最新資訊28at.com | 值uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_idsuJq28資訊網(wǎng)——每日最新資訊28at.com | [100,200]uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_creator_trx_iduJq28資訊網(wǎng)——每日最新資訊28at.com | 300uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_low_limit_iduJq28資訊網(wǎng)——每日最新資訊28at.com | 400uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_up_limit_iduJq28資訊網(wǎng)——每日最新資訊28at.com | 100uJq28資訊網(wǎng)——每日最新資訊28at.com |
根據(jù)可見性原則,最終T4時刻事務(wù)C 查詢到數(shù)據(jù)為 name = "小明" ,和 RC 的T4時刻是一致的。uJq28資訊網(wǎng)——每日最新資訊28at.com
T6時刻uJq28資訊網(wǎng)——每日最新資訊28at.com
RR 級別會復(fù)用 Read View,所以T6時刻也是:uJq28資訊網(wǎng)——每日最新資訊28at.com
字段uJq28資訊網(wǎng)——每日最新資訊28at.com | 值uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_idsuJq28資訊網(wǎng)——每日最新資訊28at.com | [100,200]uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_creator_trx_iduJq28資訊網(wǎng)——每日最新資訊28at.com | 300uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_low_limit_iduJq28資訊網(wǎng)——每日最新資訊28at.com | 400uJq28資訊網(wǎng)——每日最新資訊28at.com |
m_up_limit_iduJq28資訊網(wǎng)——每日最新資訊28at.com | 100uJq28資訊網(wǎng)——每日最新資訊28at.com |
根據(jù)可見性原則,T6時刻我們發(fā)現(xiàn)事務(wù)C查詢到的數(shù)據(jù)還是 name = "小明" 。uJq28資訊網(wǎng)——每日最新資訊28at.com
繼續(xù)看T8時刻。uJq28資訊網(wǎng)——每日最新資訊28at.com
T8時刻uJq28資訊網(wǎng)——每日最新資訊28at.com
T8時刻繼續(xù)復(fù)用先前的 Read View。uJq28資訊網(wǎng)——每日最新資訊28at.com
根據(jù)可見性原則,T8時刻事務(wù)C查詢到的數(shù)據(jù)依舊是 name = "小明" 。uJq28資訊網(wǎng)——每日最新資訊28at.com
小結(jié)
我們將事務(wù)C在 RC 和 RR 級別下看到的數(shù)據(jù),放到一塊來對比下:uJq28資訊網(wǎng)——每日最新資訊28at.com
時刻uJq28資訊網(wǎng)——每日最新資訊28at.com | RCuJq28資訊網(wǎng)——每日最新資訊28at.com | RRuJq28資訊網(wǎng)——每日最新資訊28at.com |
T4uJq28資訊網(wǎng)——每日最新資訊28at.com | 小明uJq28資訊網(wǎng)——每日最新資訊28at.com | 小明uJq28資訊網(wǎng)——每日最新資訊28at.com |
T6uJq28資訊網(wǎng)——每日最新資訊28at.com | 小紅uJq28資訊網(wǎng)——每日最新資訊28at.com | 小明uJq28資訊網(wǎng)——每日最新資訊28at.com |
T8uJq28資訊網(wǎng)——每日最新資訊28at.com | 小白uJq28資訊網(wǎng)——每日最新資訊28at.com | 小明uJq28資訊網(wǎng)——每日最新資訊28at.com |
可以看出二者由于生成 Read View 的時機(jī)不同,導(dǎo)致在各個時刻看到的數(shù)據(jù)會存在差異。uJq28資訊網(wǎng)——每日最新資訊28at.com
回過頭來看 RC 和 RR 隔離級別的定義,會有種恍然大悟的感覺:uJq28資訊網(wǎng)——每日最新資訊28at.com
- 讀已提交(Read Committed):事務(wù)只能讀取到已經(jīng)提交的數(shù)據(jù)。
- 可重復(fù)讀(Repeatable Read):事務(wù)在整個事務(wù)期間保持一致的快照視圖,不受其他事務(wù)的影響。
總之在 RC 隔離級別下,每個快照讀都會生成并獲取最新的 Read View;而在 RR 隔離級別下,則是只在第一個快照讀創(chuàng)建Read View,之后的快照讀獲取的都是同一個Read ViewuJq28資訊網(wǎng)——每日最新資訊28at.com
RR 級別下能否防止幻讀
嚴(yán)謹(jǐn)?shù)恼f,RR 級別下只能防止部分幻讀uJq28資訊網(wǎng)——每日最新資訊28at.com
首先,幻讀通常指的是在同一個事務(wù)中,第二次查詢發(fā)現(xiàn)了新增加的行,而第一次查詢并沒有返回這些新增加的行。uJq28資訊網(wǎng)——每日最新資訊28at.com
通過前面的例子,我們也看到了,在 RR 隔離級別下,由于一致性視圖的存在,如果其他事務(wù)插入了新的行,在同一個事務(wù)中進(jìn)行多次查詢,這些新增的行將會被包含在事務(wù)的一致性視圖中,確實可以避免部分幻讀場景。uJq28資訊網(wǎng)——每日最新資訊28at.com
這里注意一下:MVCC解決的只是 RR 級別下快照讀的幻讀問題,而當(dāng)前讀的幻讀問題則是通過臨鍵鎖來解決的。也就是說 RR 級別下是通過 MVCC+臨鍵鎖 來解決大部分幻讀問題的。uJq28資訊網(wǎng)——每日最新資訊28at.com
為什么說是部分解決?看下面這個例子:uJq28資訊網(wǎng)——每日最新資訊28at.com
uJq28資訊網(wǎng)——每日最新資訊28at.com
| 事務(wù)AuJq28資訊網(wǎng)——每日最新資訊28at.com | 事務(wù)BuJq28資訊網(wǎng)——每日最新資訊28at.com |
T1uJq28資訊網(wǎng)——每日最新資訊28at.com | beginuJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
|
T2uJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
| beginuJq28資訊網(wǎng)——每日最新資訊28at.com |
T3uJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
| select * from useruJq28資訊網(wǎng)——每日最新資訊28at.com |
T4uJq28資訊網(wǎng)——每日最新資訊28at.com | insert into user(id, name) values(2, "小張')uJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
|
T5uJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
| select * from user for updateuJq28資訊網(wǎng)——每日最新資訊28at.com |
T6uJq28資訊網(wǎng)——每日最新資訊28at.com | commituJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
|
T7uJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
| commituJq28資訊網(wǎng)——每日最新資訊28at.com |
假設(shè)數(shù)據(jù)初始狀態(tài)如下:uJq28資訊網(wǎng)——每日最新資訊28at.com
圖片uJq28資訊網(wǎng)——每日最新資訊28at.com
T3時刻看到的數(shù)據(jù)只有一條 name = "小明",而T5時刻,由于 select * from user for update 使用的是當(dāng)前讀,讀取的是最新的數(shù)據(jù)版本,T5時刻查詢出來的數(shù)據(jù)是兩條,name 分別為 "小明" 和 "小張"。uJq28資訊網(wǎng)——每日最新資訊28at.com
理解了上面的例子之后,再看下面這個例子:uJq28資訊網(wǎng)——每日最新資訊28at.com
uJq28資訊網(wǎng)——每日最新資訊28at.com
| 事務(wù)AuJq28資訊網(wǎng)——每日最新資訊28at.com | 事務(wù)BuJq28資訊網(wǎng)——每日最新資訊28at.com |
T1uJq28資訊網(wǎng)——每日最新資訊28at.com | beginuJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
|
T2uJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
| beginuJq28資訊網(wǎng)——每日最新資訊28at.com |
T3uJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
| select * from useruJq28資訊網(wǎng)——每日最新資訊28at.com |
T4uJq28資訊網(wǎng)——每日最新資訊28at.com | insert into user(id, name) values(2, "小張')uJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
|
T5uJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
| update user set name="小陳" where id=2uJq28資訊網(wǎng)——每日最新資訊28at.com |
T6uJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
| select * from useruJq28資訊網(wǎng)——每日最新資訊28at.com |
T7uJq28資訊網(wǎng)——每日最新資訊28at.com | commituJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
|
T8uJq28資訊網(wǎng)——每日最新資訊28at.com | uJq28資訊網(wǎng)——每日最新資訊28at.com
| commituJq28資訊網(wǎng)——每日最新資訊28at.com |
UPDATE 語句也是當(dāng)前讀,也會發(fā)生幻讀問題,最終看到的數(shù)據(jù)是name 分別為 "小明" 和 "小陳"。uJq28資訊網(wǎng)——每日最新資訊28at.com
這里發(fā)生幻讀的原因,和上面的例子是一樣的,本質(zhì)都是在一個事務(wù)中,即使用了快照讀又使用了當(dāng)前讀,RR 級別下無法預(yù)防此種情況,所以說 RR 級別下無法完全解決幻讀問題。uJq28資訊網(wǎng)——每日最新資訊28at.com
總結(jié)
綜上所述,MVCC 是一種強(qiáng)大的并發(fā)控制機(jī)制,在高并發(fā)環(huán)境中起著重要的作用。通過了解 MVCC 的原理和實現(xiàn)流程,我們可以更好地理解 MySQL 的并發(fā)控制機(jī)制,理解 MVCC 的原理對于接觸 MySQL 的開發(fā)人員來說是必不可少的知識點(diǎn)。uJq28資訊網(wǎng)——每日最新資訊28at.com
本文鏈接:http://www.www897cc.com/showinfo-26-59679-0.html全網(wǎng)最詳細(xì)MVCC講解,一篇看懂
聲明:本網(wǎng)頁內(nèi)容旨在傳播知識,若有侵權(quán)等問題請及時與本網(wǎng)聯(lián)系,我們將在第一時間刪除處理。郵件:2376512515@qq.com
上一篇: 初步利用Ansible實現(xiàn)批量服務(wù)器自動化管理
下一篇: 在Go編程中調(diào)用外部命令的幾種場景