Mysql隔離性之Read View的用法說明

當前事務能讀取到哪個歷史版本?

Read View是事務開啟時,當前所有事務的一個集合,這個數據結構中存儲瞭當前Read View中最大的ID及最小的ID。

這就是當前活躍事務列表,如下所示:

ct-trx --> trx11 --> trx9 --> trx6 --> trx5 --> trx3;

ct-trx 表示當前事務的id,對應上面的read_view數據結構如下,

read_view->creator_trx_id = ct-trx;
read_view->up_limit_id = trx3; 低水位
read_view->low_limit_id = trx11; 高水位
read_view->trx_ids = [trx11, trx9, trx6, trx5, trx3];

low_limit_id是“高水位”,即當時活躍事務的最大id,如果讀到row的db_trx_id>=low_limit_id,說明這些id在此之前的數據都沒有提交,如註釋中的描述,這些數據都不可見。

if (trx_id >= view->low_limit_id) {
return(FALSE);
}

註:readview 部分源碼

up_limit_id是“低水位”,即當時活躍事務列表的最小事務id,如果row的db_trx_id<up_limit_id,說明這些數據在事務創建id的時都已經提交,如註釋中的描述,這些數據均可見。

if (trx_id < view->up_limit_id) {
return(TRUE);
}

row的db_trx_id在low_limit_id和up_limit_id之間,則查找該記錄的db_trx_id是否在自己事務的read_view->trx_ids列表中,如果在則該記錄的當前版本不可見,否則該記錄的當前版本可見。

不同隔離級別ReadView實現方式

1. read-commited:

即:在每次語句執行的過程中,都關閉read_view, 重新在row_search_for_mysql函數中創建當前的一份read_view。這樣就會產生不可重復讀現象發生。

2. repeatable read:

在repeatable read的隔離級別下,創建事務trx結構的時候,就生成瞭當前的global read view。使用trx_assign_read_view函數創建,一直維持到事務結束。在事務結束這段時間內 每一次查詢都不會重新重建Read View , 從而實現瞭可重復讀。

補充:mysql的mvcc和readview

隔離級別標準定義:

read uncommited 一個事務讀取到瞭另一個事務未提交的結果(可能發生回滾),叫臟讀,這會帶來臟讀、幻讀、不可重復讀問題

read commited 一個事務a讀取到瞭另一個事務b最新提交的結果,使得事務a兩次讀取的結果不同,其避免瞭臟讀,會出現不可重復讀,幻讀,通過版本鏈(mvcc)和readview實現。

repeatable read(mysql的默認隔離級別) 一個事務第一次讀過某條記錄後,另一個事務修改提交瞭該條記錄後,事務a讀取到的還是第一次的值,這就是可重復讀,同一個事務中多次讀取相同的數據返回的結果是一樣的。事務不會讀到其他事務對已有數據的修改,即使其他事務已提交,也就是說,事務開始時讀到的已有數據是什麼,在事務提交前的任意時刻,這些數據的值都是一樣的。但是,對於其他事務新插入的數據是可以讀到的,這也就引發瞭幻讀問題。其避免瞭臟讀和不可重復讀問題,但幻讀依然存在。還是會出現幻讀,(但是mysql解決瞭幻讀的問題),通過版本鏈和readview實現

serializable 不允許對同一行記錄的讀和寫的並發操作,必需串行執行,所以不會出現幻讀,臟讀現象

在mysql中讀已提交和可重復讀事務隔離級別是通過mvcc和readview實現的

mvcc即Multi-Version Concurrency Control,多版本並發控制,維護一個數據的多個版本,使得事務之間的讀寫按照隔離級別獲取相應的結果,不發生沖突

對於隔離級別read committed,每次都生成一個新的readview

對於隔離級別repeatable read,隻在事務開啟時,生成一個readview,直到事務提交,不發生變化,所以可以保證可重復讀。

生成readview時

m_ids:表示活躍事務id列表

min_trx_id:活躍事務中的最小事務id

max_trx_id:已創建的最大事務id

creator_trx_id:當前的事務id

對當前事務來說,按照以下規則從最新的版本開始遍歷,獲取對應的版本記錄。

1、被訪問的trx_id與readview中的creator_trx_id相同,表示當前事務在訪問自己修改的記錄,可見,返回;

2、被訪問的trx_id小於min_trx_id,表明該版本已提交,可見,返回;

3、被訪問的trx_id大於等於max_trx_id,表明該版本在生成readview時,還未開啟,不可見,返回;

4、被訪問的trx_id在min_trx_id和max_trx_id之間,判斷是否在m_ids中,如果在,則說明生成readview時,該版本事務未提交,該版本不可見;如果不在,則說明生成readview時,該版本事務已提交可見,返回。

以上為個人經驗,希望能給大傢一個參考,也希望大傢多多支持WalkonNet。如有錯誤或未考慮完全的地方,望不吝賜教。