MVCC(Mutil-Version Concurrency Control)杏糙,就是多版本并發(fā)控制痘绎。MVCC 是一種并發(fā)控制的方法洽损,一般在數(shù)據(jù)庫(kù)管理系統(tǒng)中吴攒,實(shí)現(xiàn)對(duì)數(shù)據(jù)庫(kù)的并發(fā)訪問(wèn)张抄。
在Mysql的InnoDB引擎中就是指在已提交讀(READ COMMITTD)和可重復(fù)讀(REPEATABLE READ)這兩種隔離級(jí)別下的事務(wù)對(duì)于SELECT操作會(huì)訪問(wèn)版本鏈中的記錄的過(guò)程。
這就使得別的事務(wù)可以修改這條記錄洼怔,反正每次修改都會(huì)在版本鏈中記錄署惯。SELECT可以去版本鏈中拿記錄,這就實(shí)現(xiàn)了讀-寫(xiě)镣隶,寫(xiě)-讀的并發(fā)執(zhí)行极谊,提升了系統(tǒng)的性能。
我們來(lái)具體看看是如何實(shí)現(xiàn)的安岂。
版本鏈
我們先來(lái)理解一下版本鏈的概念轻猖。在InnoDB引擎表中,它的聚簇索引記錄中有兩個(gè)必要的隱藏列:
-
trx_id
這個(gè)id用來(lái)存儲(chǔ)的每次對(duì)某條聚簇索引記錄進(jìn)行修改的時(shí)候的事務(wù)id域那。
-
roll_pointer
每次對(duì)哪條聚簇索引記錄有修改的時(shí)候咙边,都會(huì)把老版本寫(xiě)入undo日志中。這個(gè)roll_pointer就是存了一個(gè)指針琉雳,它指向這條聚簇索引記錄的上一個(gè)版本的位置样眠,通過(guò)它來(lái)獲得上一個(gè)版本的記錄信息。(注意插入操作的undo日志沒(méi)有這個(gè)屬性翠肘,因?yàn)樗鼪](méi)有老版本)
比如現(xiàn)在有個(gè)事務(wù)id是60的執(zhí)行的這條記錄的修改語(yǔ)句
此時(shí)在undo日志中就存在版本鏈
ReadView
說(shuō)了版本鏈我們?cè)賮?lái)看看ReadView。已提交讀和可重復(fù)讀的區(qū)別就在于它們生成ReadView的策略不同辫秧。
ReadView中主要就是有個(gè)列表來(lái)存儲(chǔ)我們系統(tǒng)中當(dāng)前活躍著的讀寫(xiě)事務(wù)束倍,也就是begin了還未提交的事務(wù)。通過(guò)這個(gè)列表來(lái)判斷記錄的某個(gè)版本是否對(duì)當(dāng)前事務(wù)可見(jiàn)。假設(shè)當(dāng)前列表里的事務(wù)id為[80,100]绪妹。
如果你要訪問(wèn)的記錄版本的事務(wù)id為50甥桂,比當(dāng)前列表最小的id80小,那說(shuō)明這個(gè)事務(wù)在之前就提交了邮旷,所以對(duì)當(dāng)前活動(dòng)的事務(wù)來(lái)說(shuō)是可訪問(wèn)的黄选。
如果你要訪問(wèn)的記錄版本的事務(wù)id為90,發(fā)現(xiàn)此事務(wù)在列表id最大值和最小值之間,那就再判斷一下是否在列表內(nèi)婶肩,如果在那就說(shuō)明此事務(wù)還未提交办陷,所以版本不能被訪問(wèn)。如果不在那說(shuō)明事務(wù)已經(jīng)提交律歼,所以版本可以被訪問(wèn)民镜。
如果你要訪問(wèn)的記錄版本的事務(wù)id為110,那比事務(wù)列表最大id100都大险毁,那說(shuō)明這個(gè)版本是在ReadView生成之后才發(fā)生的制圈,所以不能被訪問(wèn)。
這些記錄都是去版本鏈里面找的畔况,先找最近記錄鲸鹦,如果最近這一條記錄事務(wù)id不符合條件不可見(jiàn)的話,再去找上一個(gè)版本再比較當(dāng)前事務(wù)的id和這個(gè)版本事務(wù)id看版本能不能訪問(wèn)跷跪,以此類推直到返回可見(jiàn)的版本或者結(jié)束馋嗜。
舉個(gè)例子 ,在已提交讀隔離級(jí)別下:
比如此時(shí)有一個(gè)事務(wù)id為100的事務(wù)域庇,修改了name,使得的name等于小明2嵌戈,但是事務(wù)還沒(méi)提交。則此時(shí)的版本鏈?zhǔn)?/p>
那此時(shí)另一個(gè)事務(wù)發(fā)起了select 語(yǔ)句要查詢id為1的記錄听皿,那此時(shí)生成的ReadView 列表只有[100]熟呛。那就去版本鏈去找了,首先肯定找最近的一條尉姨,發(fā)現(xiàn)trx_id是100,也就是name為小明2的那條記錄庵朝,發(fā)現(xiàn)在列表內(nèi),所以不能訪問(wèn)又厉。
這時(shí)候就通過(guò)指針繼續(xù)找下一條九府,name為小明1的記錄,發(fā)現(xiàn)trx_id是60覆致,小于列表中的最小id,所以可以訪問(wèn)侄旬,直接訪問(wèn)結(jié)果為小明1。
那這時(shí)候我們把事務(wù)id為100的事務(wù)提交了煌妈,并且新建了一個(gè)事務(wù)id為110也修改id為1的記錄儡羔,并且不提交事務(wù)
這是時(shí)候版本鏈就是
這時(shí)候之前那個(gè)select事務(wù)又執(zhí)行了一次查詢,要查詢id為1的記錄宣羊。
這個(gè)時(shí)候關(guān)鍵的地方來(lái)了
如果你是已提交讀隔離級(jí)別,這時(shí)候你會(huì)重新一個(gè)ReadView汰蜘,那你的活動(dòng)事務(wù)列表中的值就變了仇冯,變成了[110]。
按照上的說(shuō)法族操,你去版本鏈通過(guò)trx_id對(duì)比查找到合適的結(jié)果就是小明2苛坚。
如果你是可重復(fù)讀隔離級(jí)別,這時(shí)候你的ReadView還是第一次select時(shí)候生成的ReadView,也就是列表的值還是[100]色难。所以select的結(jié)果是小明1泼舱。所以第二次select結(jié)果和第一次一樣,所以叫可重復(fù)讀莱预!
也就是說(shuō)已提交讀隔離級(jí)別下的事務(wù)在每次查詢的開(kāi)始都會(huì)生成一個(gè)獨(dú)立的ReadView,而可重復(fù)讀隔離級(jí)別則在第一次讀的時(shí)候生成一個(gè)ReadView柠掂,之后的讀都復(fù)用之前的ReadView。
這就是Mysql的MVCC,通過(guò)版本鏈依沮,實(shí)現(xiàn)多版本涯贞,可并發(fā)讀-寫(xiě),寫(xiě)-讀危喉。通過(guò)ReadView生成策略的不同實(shí)現(xiàn)不同的隔離級(jí)別宋渔。
如有錯(cuò)誤歡迎指正!
個(gè)人公眾號(hào):yes的練級(jí)攻略