MVCC 在 MySQL、Oracle、PostgreSQL 都有應用,用于實現(xiàn)事務的隔離特性。現(xiàn)在結合 《MySQL是怎樣運行的》的內容理解、歸納、整理下MVCC的實現(xiàn)及思想。
2. MVCC 概念Multiversion Concurrency Control 對版本并發(fā)控制。
對于同一行數(shù)據(jù),會根據(jù)不同事務的DML操作參生不同的版本,讓不同事務各自維護自己能看到的版本從而做到事務隔離。
每次操作數(shù)據(jù)庫都會生成日志,那么就可以把同一條記錄的多次操作記錄按時間順序鏈接起來。
2.2 MVCC trx_id以上圖片參考博客
按事務開啟的時間順序,為事務頒發(fā)一個Id,從而維護“版本”。是討論MVCC實現(xiàn)的基礎。
2.3 MVCC Read View光有日志記錄還不夠,每個事務應該要維護自己的 “視野范圍”。也就是當前事務到底能看到什么版本的數(shù)據(jù),建立 Read View,并與版本鏈協(xié)作,就能約束事務的視野,從而實現(xiàn)隔離。
Read View 包含:
Read View 里面有多個屬性,他們是分別用于解決不同問題的。如果一上來就把四個都搞懂,容易暈。
3. 提出問題這個事務隔離方案需要回答以下問題:
回答以上問題后,也順帶把MySQL
的RC
和RR
使用MVCC的原理給理解了
我們把日志的 trx_id 與 區(qū)間 [min_trx_id, max_trx_id ] 的命中關系羅列出來,用于后續(xù)討論問題
trx_id >= Read View. max_trx_id
Read View. max_trx_id >trx_id >= Read View. min_trx_id
trx_id< Read View. min_trx_id
值得一提的是,
trx_id == Read View. creator_trx_id
不在區(qū)間討論范圍,屬于前置判斷(這個條件滿足了,就不看區(qū)間命中情況了)
4.1 不讀未提交的數(shù)據(jù) 4.1.1 一般的并發(fā)情況新引入以下參數(shù):
事務生成了 Read View 之后,對數(shù)據(jù)行進行讀取,發(fā)現(xiàn)日志中有
trx_id >= Read View. max_trx_id
則說明該日志發(fā)生在建立 Read View 之后,并且生成該日志的事務是在當前事務之后開啟。
至此,我們能夠得到一個信息:該日志發(fā)生在當前事務開啟之后,可能是還未提交的事務
那么,爭取不讀未提交的事務,只用做一件事:忽略該日志
新引入兩個參數(shù)
事務生成了 Read View 之后,對數(shù)據(jù)行進行讀取,發(fā)現(xiàn)日志中有
Read View. max_trx_id >trx_id >= Read View. min_trx_id
則說明該日志發(fā)生在建立 Read View 之后,并且生成該日志的事務是在當前事務之后開啟。
對比上文的"一般的情況",max_trx_id指系統(tǒng)下一個要建立的事務Id,若存在以下關系:
Read View. max_trx_id >trx_id
說明該日志的事務跟建立 Read View 的時機挨得很近,我們還是可以考慮一下這條日志。具體怎么考慮呢?
m_ids 在 Read View 中負責記錄建立 Read View 那一刻的 活躍事務。
如果日志中的 trx_id 不在活躍事務列表,側面說明該日志的事務已經(jīng)提交,則可以讀取它。
trx_id< Read View. min_trx_id
這個比較簡單,直接讀即可。由于較新的日志一定會置頂,讀到 trx_id< Read View. min_trx_id 立馬返回數(shù)據(jù)即可。
引入以下參數(shù)
trx_id == Read View. creator_trx_id
該日志是當前事務的最新語句創(chuàng)建的,直接讀取即可。該判斷放在了區(qū)間命中討論之前,所以一定會先讀到自己更新的數(shù)據(jù)。
如果開啟一個事務,該事務一直沒有DML操作,creator_trx_id = 0,即永遠不會出現(xiàn)
trx_id == Read View. creator_trx_id
5. MySQL RC 使用 MVCCMySQL 會對每個查詢語句生成 Read View。
5.1 MVCC DML 會生成新的 Read View 嗎?并不會,DML語句操作語句交給鎖處理了,MVCC只是控制讀取的數(shù)據(jù)的版本。
那么DML跟Read View無關嗎,當然也不是,上文交代,使用 creator_trx_id 登記自己操作了的數(shù)據(jù)。
每個讀取操作都會建立一個新的 Read View, 所以存在不可重復讀的并發(fā)隱患。
6. MySQL RR 使用 MVCCRR 的隔離級別比 RC 高,其中隔離性的提高本質上就是調整了 Read View 創(chuàng)建的時機
6.1 MySQL RR 建立 Read View 的時機第一個查詢語句生成 Read View,后續(xù)的所有查詢都 復用這個 Read View,所以每次讀取的值,都來源于同一個版本。
7. 提煉 MVCC 的思想MVCC 在保持隔離性的前提下,盡大努力去讀最新的數(shù)據(jù)。它不會立即判斷數(shù)據(jù)是未提交的,而是記錄下建立 Read View 那一剎那的事務并發(fā)情況,交由一套算法去甄別。
懷疑日志是未提交的數(shù)據(jù)
確認日志是已提交的數(shù)據(jù)
8. 后記上文說的日志,是因為日志承載的是一個思想,MySQL是用 undo log支撐MVCC的,而PostgreSQl則不是。
早期寫的 InnoDB 如何避免臟讀和不可重復讀,是不嚴謹?shù)牡胤?,現(xiàn)在糾正過來,希望持續(xù)學習,不斷進步。
MVCC 給我的啟示是,我們可以嘗試用區(qū)間命中的思想去分解問題,當命中關系被完全覆蓋,我們可以認為問題被分解完成。
你是否還在尋找穩(wěn)定的海外服務器提供商?創(chuàng)新互聯(lián)www.cdcxhl.cn海外機房具備T級流量清洗系統(tǒng)配攻擊溯源,準確流量調度確保服務器高可用性,企業(yè)級服務器適合批量采購,新人活動首月15元起,快前往官網(wǎng)查看詳情吧
網(wǎng)站題目:【高并發(fā)基礎】理解MVCC及提煉實現(xiàn)思想-創(chuàng)新互聯(lián)
網(wǎng)站地址:http://muchs.cn/article46/cdsseg.html
成都網(wǎng)站建設公司_創(chuàng)新互聯(lián),為您提供網(wǎng)站建設、網(wǎng)站排名、關鍵詞優(yōu)化、外貿建站、網(wǎng)站設計公司、定制網(wǎng)站
聲明:本網(wǎng)站發(fā)布的內容(圖片、視頻和文字)以用戶投稿、用戶轉載內容為主,如果涉及侵權請盡快告知,我們將會在第一時間刪除。文章觀點不代表本網(wǎng)站立場,如需處理請聯(lián)系客服。電話:028-86922220;郵箱:631063699@qq.com。內容未經(jīng)允許不得轉載,或轉載時需注明來源: 創(chuàng)新互聯(lián)
猜你還喜歡下面的內容