一、數(shù)據(jù)庫的事務(wù)隔離與鎖機(jī)制有什么差別和聯(lián)系
數(shù)據(jù)庫事務(wù)有不同的隔離級別,不同的隔離級別對鎖的使用是不同的,鎖的應(yīng)用最終導(dǎo)致不同事務(wù)的隔離級別。
按照數(shù)據(jù)庫的理論,隔離級別可以被分為以下四種,從上向下依次增強(qiáng):
讀不提交,造成臟讀(Read Uncommitted): 一個(gè)事務(wù)中的讀操作可能讀到另一個(gè)事務(wù)中未提交修改的數(shù)據(jù),如果事務(wù)發(fā)生回滾就可能造成錯(cuò)誤。
例子1:A打100塊給B,B看賬戶,這是兩個(gè)操作,針對同一個(gè)數(shù)據(jù)庫,兩個(gè)事物,如果B讀到了A事務(wù)中的100塊,認(rèn)為錢打過來了,但是A的事務(wù)最后回滾了,造成損失。
例子2:游戲當(dāng)中剩余挑戰(zhàn)次數(shù),讀取次數(shù)是個(gè)事務(wù)中的操作,如果寫同時(shí)并發(fā),則可能導(dǎo)致兩個(gè)事務(wù)同時(shí)修改數(shù)據(jù),同時(shí)讀到數(shù)據(jù)是1,但是當(dāng)再次修改的時(shí)候就一個(gè)事務(wù)修改為0,另一個(gè)事務(wù)修改為1,就可能造成誤判。
避免這些事情的發(fā)生就需要我們在寫操作的時(shí)候加鎖,使讀寫分離,保證讀數(shù)據(jù)的時(shí)候,數(shù)據(jù)不被修改,寫數(shù)據(jù)的時(shí)候,數(shù)據(jù)不被讀取。從而保證寫的同時(shí)不能被另個(gè)事務(wù)寫和讀。
讀提交(Read Committed):我們加了寫鎖,就可以保證不出現(xiàn)臟讀,也就是保證讀的都是提交之后的數(shù)據(jù),但是會造成不可重讀,即讀的時(shí)候不加鎖,一個(gè)讀的事務(wù)過程中,如果讀取數(shù)據(jù)兩次,在兩次之間有寫事務(wù)修改了數(shù)據(jù),將會導(dǎo)致兩次讀取的結(jié)果不一致,從而導(dǎo)致邏輯錯(cuò)誤。
Repeatable Read(可重讀):解決不可重復(fù)讀問題, 一個(gè)事務(wù)中如果有多次讀取操作,讀取結(jié)果需要一致(指的是固定一條數(shù)據(jù)的一致,幻讀指的是查詢出的數(shù)量不一致)。 這就牽涉到事務(wù)中是否加讀鎖,并且讀操作加鎖后是否在事務(wù)commit之前持有鎖的問題,如果不加讀鎖,必然出現(xiàn)不可重復(fù)讀,如果加鎖讀完立即釋放,不持有,那么就可能在其他事務(wù)中被修改,若其他事務(wù)已經(jīng)執(zhí)行完成,此時(shí)該事務(wù)中再次讀取就會出現(xiàn)不可重復(fù)讀,所以讀鎖在事務(wù)中持有可以保證不出現(xiàn)不可重復(fù)讀,寫的時(shí)候必須加鎖且持有,這是必須的了,不然就會出現(xiàn)臟讀。Repeatable Read(可重讀)也是MySql的默認(rèn)事務(wù)隔離級別,上面的意思是讀的時(shí)候需要加鎖并且保持
Serializable(可串行化)?: 解決幻讀問題, 在同一個(gè)事務(wù)中,同一個(gè)查詢多次返回的結(jié)果不一致。事務(wù)A新增了一條記錄,事務(wù)B在事務(wù)A提交前后各執(zhí)行了一次查詢操作,發(fā)現(xiàn)后一次比前一次多了一條記錄。幻讀是由于并發(fā)事務(wù)增加記錄導(dǎo)致的,這個(gè)不能像不可重復(fù)讀通過記錄加鎖解決,因?yàn)閷τ谛略龅挠涗浉緹o法加鎖。需要將事務(wù)串行化,才能避免幻讀。 這是較高的隔離級別,它通過強(qiáng)制事務(wù)排序,使之不可能相互沖突,從而解決幻讀問題。簡言之,它是在每個(gè)讀的數(shù)據(jù)行上加上共享鎖。在這個(gè)級別,可能導(dǎo)致大量的超時(shí)現(xiàn)象和鎖競爭。
下面文章進(jìn)一步說明了鎖與事務(wù)隔離的關(guān)系,并實(shí)例驗(yàn)證了讀未提交可以同時(shí)讀,并且一個(gè)事務(wù)可以讀取到另一個(gè)事務(wù)未提交的修改,但是不能在另一個(gè)事務(wù)未提交修改的時(shí)候同時(shí)修改相同的行;
讀提交則可以保證不會讀取到另一個(gè)事務(wù)未提交的修改;
同理可以驗(yàn)證幻讀的問題。
延伸閱讀:
二、事務(wù)隔離級別是什么
事務(wù)具有ACID屬性,而事務(wù)的隔離級別可以不同程度的解決事務(wù)并發(fā)時(shí)可能產(chǎn)生的問題,可以根據(jù)不同業(yè)務(wù)邏輯需求,來選擇不同的事務(wù)隔離等級,事務(wù)隔離等級越高,越能保證數(shù)據(jù)的一致性,但就更趨近于串行化,降低并發(fā)性能,導(dǎo)致效率變低。