淺析MySQL - MVCC
版本鏈
在InnoDB引擎表中,他們的聚簇索引記錄中有兩個隱藏列:
- trx_id:用來存儲對數(shù)據(jù)進行修改時的事務(wù)id
- roll_pointer:每次對哪條聚簇索引記錄有修改的時候,就會把老版本寫入undo日志中。這個roll_pointer就是存了一個指針,它指向這條聚簇索引記錄的上一個版本的位置,通過它來獲得上一個版本的記錄信息。
| id | name | trx_id | roll_pointer |
|---|---|---|---|
| 1 | 小明 | 50 | 0x00af |
例如目前有個trx_id是60的事務(wù)正執(zhí)行如下語句: update table set name = '小明1' where id = 1
此時在 undo 日志中就存在版本鏈
| id | name | trx_id | roll_pointer |
|---|---|---|---|
| 1 | 小明1 | 60 | last_version |
| ↓指向 | |||
| 1 | 小明 | 50 | null |
版本鏈可以類似git一樣,對一行的數(shù)據(jù)進行版本控制,可以通過 undo_log進行回滾操作
ReadView
已提交讀和可重復(fù)讀的區(qū)別就在于它們生成ReadView的策略不同。
ReadView中主要就是有個列表來存儲我們系統(tǒng)中當(dāng)前活躍的讀寫事務(wù)( begin未 commit 的 tx)。通過這個列表來判斷記錄的某個版本是否對當(dāng)前事務(wù)可見。假設(shè)當(dāng)前列表里的事務(wù) id 為[80,100]。
id <= 80(最小事務(wù)id) id >= 80 && id <= 100 id >= 100
這些記錄都是去版本鏈里面找的,先找最近記錄,如果最近這一條記錄事務(wù)id不符合條件,不可見的話,再去找上一個版本再比較當(dāng)前事務(wù)的id和這個版本事務(wù)id看能不能訪問,以此類推直到返回可見的版本或者結(jié)束。
舉個例子 ,在已提交讀隔離級別下:
比如此時有一個事務(wù)id為100的事務(wù),修改了name,使得的name等于小明2,但是事務(wù)還沒提交。則此時的版本鏈?zhǔn)?/p>
| id | name | trx_id | roll_pointer |
|---|---|---|---|
| 1 | 小明2 | 100 | last_version |
| ↓指向 | |||
| 1 | 小明1 | 60 | last_version |
| ↓指向 | |||
| 1 | 小明 | 50 | null |
那此時另一個事務(wù)發(fā)起了 select 語句要查詢 id 為 1 的記錄,那此時生成的 ReadView 列表只有[100]。那就去版本鏈去找了,首先肯定找最近的一條,發(fā)現(xiàn) trx_id 是 100,也就是 name 為 小明2 的那條記錄,發(fā)現(xiàn)在列表內(nèi),所以不能訪問。
這時候就通過指針繼續(xù)找下一條,name為 小明1 的記錄,發(fā)現(xiàn) trx_id 是 60,小于列表中的最小 id,所以可以訪問,直接訪問結(jié)果為 小明1 。
那這時候我們把事務(wù) id 為 100 的事務(wù)提交了,并且新建了一個事務(wù) id 為 110 也修改 id 為 1 的記錄,并且不提交事務(wù)
-- trx_id = 110 BEGIN; update table set name = '小明3' where id = 1
這時候版本鏈就是
| id | name | trx_id | roll_pointer |
|---|---|---|---|
| 1 | 小明3 | 110 | last_version |
| ↓指向 | |||
| 1 | 小明2 | 100 | last_version |
| ↓指向 | |||
| 1 | 小明1 | 60 | last_version |
| ↓指向 | |||
| 1 | 小明 | 50 | null |
這時候之前那個select事務(wù)又執(zhí)行了一次查詢,要查詢id為1的記錄。
不同隔離級別造成此處結(jié)果不同
如果你是 已提交讀 隔離級別,這時候你會重新一個ReadView,那你的活動事務(wù)列表中的值就變了,變成了[110]。
按照上的說法,你去版本鏈通過trx_id對比查找到合適的結(jié)果就是小明2。
如果你是 可重復(fù)讀 隔離級別,這時候你的 ReadView 還是第一次 select 時候生成的 ReadView, 也就是列表的值還是[100]。所以 select 的結(jié)果是小明1。所以第二次 select 結(jié)果和第一次一樣,所以叫 可重復(fù)讀 !
這就是Mysql的MVCC,通過版本鏈,實現(xiàn)多版本,可并發(fā)讀-寫,寫-讀。通過ReadView生成策略的不同實現(xiàn)不同的隔離級別。
以上就是淺析MySQL - MVCC的詳細(xì)內(nèi)容,更多關(guān)于MySQL mvcc的資料請關(guān)注本站其它相關(guān)文章!
版權(quán)聲明:本站文章來源標(biāo)注為YINGSOO的內(nèi)容版權(quán)均為本站所有,歡迎引用、轉(zhuǎn)載,請保持原文完整并注明來源及原文鏈接。禁止復(fù)制或仿造本網(wǎng)站,禁止在非maisonbaluchon.cn所屬的服務(wù)器上建立鏡像,否則將依法追究法律責(zé)任。本站部分內(nèi)容來源于網(wǎng)友推薦、互聯(lián)網(wǎng)收集整理而來,僅供學(xué)習(xí)參考,不代表本站立場,如有內(nèi)容涉嫌侵權(quán),請聯(lián)系alex-e#qq.com處理。
關(guān)注官方微信