| id | name | trx_id | roll_pointer |
|---|---|---|---|
| 1 | 小明 | 50 | 0x00af |
例如目前有個trx_id是60的事務正執行如下語句： update table set name = '小明1' where id = 1
此時在 undo 日志中就存在版本鏈
| id | name | trx_id | roll_pointer |
|---|---|---|---|
| 1 | 小明1 | 60 | last_version |
| ↓指向 | |||
| 1 | 小明 | 50 | null |
版本鏈可以類似git一樣，對一行的數據進行版本控制，可以通過 undo_log進行回滾操作
ReadView
已提交讀和可重復讀的區別就在于它們生成ReadView的策略不同。
ReadView中主要就是有個列表來存儲我們系統中當前活躍的讀寫事務（ begin未 commit 的 tx）。通過這個列表來判斷記錄的某個版本是否對當前事務可見。假設當前列表里的事務 id 為[80,100]。
id = 80(最小事務id) id >= 80 id = 100 id >= 100
這些記錄都是去版本鏈里面找的，先找最近記錄，如果最近這一條記錄事務id不符合條件，不可見的話，再去找上一個版本再比較當前事務的id和這個版本事務id看能不能訪問，以此類推直到返回可見的版本或者結束。
舉個例子 ，在已提交讀隔離級別下：
比如此時有一個事務id為100的事務，修改了name,使得的name等于小明2，但是事務還沒提交。則此時的版本鏈是
| id | name | trx_id | roll_pointer |
|---|---|---|---|
| 1 | 小明2 | 100 | last_version |
| ↓指向 | |||
| 1 | 小明1 | 60 | last_version |
| ↓指向 | |||
| 1 | 小明 | 50 | null |
那此時另一個事務發起了 select 語句要查詢 id 為 1 的記錄，那此時生成的 ReadView 列表只有[100]。那就去版本鏈去找了，首先肯定找最近的一條，發現 trx_id 是 100,也就是 name 為 小明2 的那條記錄，發現在列表內，所以不能訪問。
這時候就通過指針繼續找下一條，name為 小明1 的記錄，發現 trx_id 是 60，小于列表中的最小 id，所以可以訪問，直接訪問結果為 小明1 。
那這時候我們把事務 id 為 100 的事務提交了，并且新建了一個事務 id 為 110 也修改 id 為 1 的記錄，并且不提交事務
-- 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事務又執行了一次查詢,要查詢id為1的記錄。
不同隔離級別造成此處結果不同
如果你是 已提交讀 隔離級別，這時候你會重新一個ReadView，那你的活動事務列表中的值就變了，變成了[110]。
按照上的說法，你去版本鏈通過trx_id對比查找到合適的結果就是小明2。
如果你是 可重復讀 隔離級別，這時候你的 ReadView 還是第一次 select 時候生成的 ReadView, 也就是列表的值還是[100]。所以 select 的結果是小明1。所以第二次 select 結果和第一次一樣，所以叫 可重復讀 ！
這就是Mysql的MVCC,通過版本鏈，實現多版本，可并發讀-寫，寫-讀。通過ReadView生成策略的不同實現不同的隔離級別。
以上就是淺析MySQL - MVCC的詳細內容，更多關于MySQL mvcc的資料請關注腳本之家其它相關文章！
