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

Posted on by

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

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。如有錯誤或未考慮完全的地方，望不吝賜教。

推薦閱讀：