關於MySQL鎖機制知識普及

MySQL鎖機制知識普及

目錄

前言

一、什麼是鎖

二、鎖的類型

2.1 鎖粒度

2.2 意向鎖

2.3 鎖的兼容性

2.4 行鎖的算法

2.5 自增鎖

三、加鎖分析

3.1 MVCC:快照讀和當前讀

3.2 兩階段鎖

3.3 隔離級別

3.4 加鎖分析

3.4.1 id主鍵+RC

3.4.2 id唯一索引+RC

3.4.3 id非唯一索引+RC

3.4.4 id無索引+RC

3.4.5 id主鍵+RR

3.4.6 id唯一索引+RR

3.4.7 id非唯一索引+RR

3.4.8 id無索引+RR

3.4.9 Serializable

3.5 樣例

四、 死鎖

4.1 死鎖原因分析

4.2 鎖狀態

五、參考文獻

 

前言

本文介紹了MySQL數據庫InnoDB存儲引擎下事務鎖的相關概念和原理,分析SQL語句在不同場景下的加鎖狀態,從而幫助研發寫出更加高效的SQL。

 


一、什麼是鎖

鎖是用於管理對共享資源的併發訪問,是數據庫系統區別於文件系統的一個關鍵特性。

二、鎖的類型

本篇文章主要介紹lock。

2.1 鎖粒度

鎖粒度主要是按照數據的維度來劃分的,包括表鎖、頁鎖、行鎖。

MySQL不同的存儲引擎支持的鎖粒度是不同的:

本篇文章主要介紹InnoDB存儲引擎支持的鎖

 

2.2 意向鎖

上節提到InnoDB 支持多種粒度的鎖,也就是行鎖和表鎖。爲了支持多粒度鎖定,InnoDB 存儲引擎引入了意向鎖(Intention Lock)。

那什麼是意向鎖呢?我們在這裏可以舉一個例子:如果沒有意向鎖,當已經有人使用行鎖對錶中的某一行進行修改時,如果另外一個請求要對全表進行修改,那麼就需要對所有的行是否被鎖定進行掃描,在這種情況下,效率是非常低的;不過,在引入意向鎖之後,當有人使用行鎖對錶中的某一行進行修改之前,會先爲表添加意向排他鎖(IX),再爲行記錄添加排他鎖(X),在這時如果有人嘗試對全表進行修改就不需要判斷表中的每一行數據是否被加鎖了,只需要通過等待意向排他鎖被釋放就可以了。

 

2.3 鎖的兼容性

對數據的操作其實只有兩種,也就是讀和寫,而數據庫在實現鎖時,也會對這兩種操作使用不同的鎖;InnoDB 實現了標準的行級鎖,也就是共享鎖(Shared Lock)和排他鎖(Exclusive Lock)。

  • 共享鎖(讀鎖、S鎖),允許事務讀一行數據。

  • 排他鎖(寫鎖、X鎖),允許事務刪除或更新一行數據。

而它們的名字也暗示着各自的另外一個特性,共享鎖之間是兼容的,而排他鎖與其他任意鎖都不兼容:

 

意向鎖與其他鎖的兼容性:

 

2.4 行鎖的算法

  1. Record Lock:行鎖,單個行記錄上的鎖。

  2. Gap Lock:間隙鎖,鎖定一個範圍,但不包括記錄本身。GAP鎖的目的,是爲了防止幻讀、防止間隙內有新數據插入、防止已存在的數據更新爲間隙內的數據。

  3. Next-Key Lock:1+2,鎖定一個範圍,並且鎖定記錄本身。對於行的查詢,都是採用該方法,主要目的是解決幻讀的問題。InnoDB默認加鎖方式是next-key 鎖。

2.5 自增鎖

InnoDB存儲引擎中,除了表鎖、行鎖外,還有一種特殊的鎖是自增鎖。當表的主鍵爲自增列時,多個併發事務通過自增鎖來保證自增主鍵不會出現重複等現象。

首先對自增長的insert語句分類:

插入類型

說明

insert-like

所有的插入語句,如insert,replace,insert .. select等

simple inserts

插入前就能確定行數的語句。例如insert、replace(不包括insert .. on duplicate key update)

bulk inserts

插入前無法確定行數的語句。例如insert ... select, replace .. select ,load data

mixed inserts

插入語句中,一部分是自增長的,一部分是確定的。如insert into t1(c1,c2) values(1,'a'),(NULL,'b');

MySQL中通過參數innodb_autoinc_lock_mode控制自增鎖的行爲,其可選值爲0、1、2:

innodb_autoinc_lock_mode

說明

0

此時自增鎖是表鎖級別的,併發度最低。insert-like語句都需要加鎖,在SQL執行完成或者回滾後纔會釋放(不是在事務完成後),這種情況下對自增鎖的併發競爭是比較大的

1

此種情況下,併發度居中。對simple inserts語句做了優化,在獲取到鎖後,立即釋放,不必再等待SQL執行完成。而對於bulk inserts語句仍然使用表級別的鎖,等待SQL執行完後釋放。

2

此種情況下,併發度最高。insert-like語句不會使用表級別的自增鎖,而是通過互斥量產生。多條語句可同時執行。但是在binlog日誌爲基於語句格式場景下,會出現主從不一致的現象。

 

三、加鎖分析

在瞭解如何加鎖之前,需要了解一些前提知識:

3.1 MVCC:快照讀和當前讀

MySQL InnoDB存儲引擎,實現的是基於多版本的併發控制協議——MVCC (Multi-Version Concurrency Control) (注:與MVCC相對的,是基於鎖的併發控制,Lock-Based Concurrency Control)。MVCC最大的好處,相信也是耳熟能詳:讀不加鎖,讀寫不衝突。在讀多寫少的OLTP應用中,讀寫不衝突是非常重要的,極大的增加了系統的併發性能,這也是爲什麼現階段,幾乎所有的RDBMS,都支持了MVCC。

在MVCC併發控制中,讀操作可以分成兩類:快照讀 (snapshot read)與當前讀 (current read)。快照讀,讀取的是記錄的可見版本 (有可能是歷史版本),不用加鎖。當前讀,讀取的是記錄的最新版本,並且,當前讀返回的記錄,都會加上鎖,保證其他事務不會再併發修改這條記錄。

在一個支持MVCC併發控制的系統中,哪些讀操作是快照讀?哪些操作又是當前讀呢?以MySQL InnoDB爲例:

  • 快照讀:簡單的select操作,屬於快照讀,不加鎖。(當然,也有例外,下面會分析)

    • select * from table where ?;

  • 當前讀:特殊的讀操作,插入/更新/刪除操作,屬於當前讀,需要加鎖。

    • select * from table where ? lock in share mode;

    • select * from table where ? for update;

    • insert into table values (…);

    • update table set ? where ?;

    • delete from table where ?;

所有以上的語句,都屬於當前讀,讀取記錄的最新版本。並且,讀取之後,還需要保證其他併發事務不能修改當前記錄,對讀取記錄加鎖。其中,除了第一條語句,對讀取記錄加S鎖 (共享鎖)外,其他的操作,都加的是X鎖 (排它鎖)。

在RR級別下,快照讀是通過MVVC(多版本控制)和undo log來實現的,當前讀是通過加record lock(記錄鎖)和gap lock(間隙鎖)來實現的。

 

3.2 兩階段鎖

傳統RDBMS加鎖的一個原則,就是2PL (二階段鎖):Two-Phase Locking。相對而言,2PL比較容易理解,說的是鎖操作分爲兩個階段:加鎖階段與解鎖階段,並且保證加鎖階段與解鎖階段不相交。下面,仍舊以MySQL爲例,來簡單看看2PL在MySQL中的實現。

從上圖可以看出,2PL就是將加鎖/解鎖分爲兩個完全不相交的階段。加鎖階段:只加鎖,不放鎖。解鎖階段:只放鎖,不加鎖。

3.3 隔離級別

通過鎖定機制可以實現事務隔離性要求,使得事務可以併發的工作。鎖提高了併發,但是卻會帶來潛在的問題。不過好在有事務隔離性的要求,不同的隔離級別解決的鎖的問題也不同,這裏只進行簡單的介紹,不進行舉例分析了。

隔離級別:Isolation Level,也是RDBMS的一個關鍵特性。相信對數據庫有所瞭解的朋友,對於4種隔離級別:Read Uncommited,Read Committed,Repeatable Read,Serializable,都有了深入的認識。本文不打算討論數據庫理論中,是如何定義這4種隔離級別的含義的,而是跟大家介紹一下MySQL/InnoDB是如何定義這4種隔離級別的。

MySQL/InnoDB定義的4種隔離級別:

  • Read Uncommited

可以讀取未提交記錄。此隔離級別,不會使用,忽略。

  • Read Committed (RC)

針對當前讀,RC隔離級別保證對讀取到的記錄加鎖 (記錄鎖),存在幻讀現象。

  • Repeatable Read (RR)

針對當前讀,RR隔離級別保證對讀取到的記錄加鎖 (記錄鎖),同時保證對讀取的範圍加鎖,新的滿足查詢條件的記錄不能夠插入 (間隙鎖),不存在幻讀現象。

  • Serializable

從MVCC併發控制退化爲基於鎖的併發控制。不區別快照讀與當前讀,所有的讀操作均爲當前讀,讀加讀鎖 (S鎖),寫加寫鎖 (X鎖)。

Serializable隔離級別下,讀寫衝突,因此併發度急劇下降,在MySQL/InnoDB下不建議使用。

3.4 加鎖分析

在介紹完一些背景知識之後,本文接下來將選擇幾個有代表性的例子,來詳細分析MySQL的加鎖處理。當然,還是從最簡單的例子說起。我們經常遇到的問題是,給定一個SQL,這個SQL加什麼鎖?就如同下面兩條簡單的SQL,他們加什麼鎖?

  • SQL1:select * from t1 where id = 10;

  • SQL2:delete from t1 where id = 10;

針對這個問題,該怎麼回答?

  • SQL1:不加鎖。因爲MySQL是使用多版本併發控制的,讀不加鎖。

  • SQL2:對id = 10的記錄加寫鎖 (走主鍵索引)。

這個答案對嗎?即可能是正確的,也有可能是錯誤的,已知條件不足,這個問題沒有答案。要回答這個問題,還缺少哪些前提條件?

  • 前提一:id列是不是主鍵?

  • 前提二:當前系統的隔離級別是什麼?

  • 前提三:id列如果不是主鍵,那麼id列上有索引嗎?

  • 前提四:id列上如果有二級索引,那麼這個索引是唯一索引嗎?

  • 前提五:兩個SQL的執行計劃是什麼?索引掃描?全表掃描?

沒有這些前提,直接就給定一條SQL,然後問這個SQL會加什麼鎖,是無法得出結論的。下面本文將這些問題的答案進行組合,然後按照從易到難的順序,逐個分析每種組合下,對應的SQL會加哪些鎖。

注:下面的這些組合,我做了一個前提假設,也就是有索引時,執行計劃一定會選擇使用索引進行過濾 (索引掃描)。但實際情況會複雜很多,真正的執行計劃,還是需要根據MySQL輸出的爲準。

  • 組合一:id列是主鍵,RC隔離級別

  • 組合二:id列是二級唯一索引,RC隔離級別

  • 組合三:id列是二級非唯一索引,RC隔離級別

  • 組合四:id列上沒有索引,RC隔離級別

  • 組合五:id列是主鍵,RR隔離級別

  • 組合六:id列是二級唯一索引,RR隔離級別

  • 組合七:id列是二級非唯一索引,RR隔離級別

  • 組合八:id列上沒有索引,RR隔離級別

  • 組合九:Serializable隔離級別

排列組合還沒有列舉完全,但是看起來,已經很多了。真的有必要這麼複雜嗎?事實上,要分析加鎖,就是需要這麼複雜。但是從另一個角度來說,只要你選定了一種組合,SQL需要加哪些鎖,其實也就確定了。接下來,就讓我們來逐個分析這9種組合下的SQL加鎖策略。

注:在前面八種組合下,也就是RC,RR隔離級別下,SQL1:select操作均不加鎖,採用的是快照讀,因此在下面的討論中就忽略了,主要討論SQL2:delete操作的加鎖。

3.4.1 id主鍵+RC

這個組合,是最簡單,最容易分析的組合。id是主鍵,Read Committed隔離級別,給定SQL:delete from t1 where id = 10; 只需要將主鍵上,id = 10的記錄加上X鎖即可。如下圖所示:

結論:id是主鍵時,此SQL只需要在id=10這條記錄上加X鎖即可。

3.4.2 id唯一索引+RC

這個組合,id不是主鍵,而是一個Unique的二級索引鍵值。那麼在RC隔離級別下,delete from t1 where id = 10; 需要加什麼鎖呢?見下圖:

此組合中,id是unique索引,而主鍵是name列。此時,加鎖的情況由於組合一有所不同。由於id是unique索引,因此delete語句會選擇走id列的索引進行where條件的過濾,在找到id=10的記錄後,首先會將unique索引上的id=10索引記錄加上X鎖,同時,會根據讀取到的name列,回主鍵索引(聚簇索引),然後將聚簇索引上的name = ‘d’ 對應的主鍵索引項加X鎖。爲什麼聚簇索引上的記錄也要加鎖?試想一下,如果併發的一個SQL,是通過主鍵索引來更新:update t1 set id = 100 where name = ‘d’; 此時,如果delete語句沒有將主鍵索引上的記錄加鎖,那麼併發的update就會感知不到delete語句的存在,違背了同一記錄上的更新/刪除需要串行執行的約束。

結論:若id列是unique列,其上有unique索引。那麼SQL需要加兩個X鎖,一個對應於id unique索引上的id = 10的記錄,另一把鎖對應於聚簇索引上的[name=’d’,id=10]的記錄。

 

3.4.3 id非唯一索引+RC

相對於組合一、二,組合三又發生了變化,隔離級別仍舊是RC不變,但是id列上的約束又降低了,id列不再唯一,只有一個普通的索引。假設delete from t1 where id = 10; 語句,仍舊選擇id列上的索引進行過濾where條件,那麼此時會持有哪些鎖?同樣見下圖:

根據此圖,可以看到,首先,id列索引上,滿足id = 10查詢條件的記錄,均已加鎖。同時,這些記錄對應的主鍵索引上的記錄也都加上了鎖。與組合二唯一的區別在於,組合二最多隻有一個滿足等值查詢的記錄,而組合三會將所有滿足查詢條件的記錄都加鎖。

結論:若id列上有非唯一索引,那麼對應的所有滿足SQL查詢條件的記錄,都會被加鎖。同時,這些記錄在主鍵索引上的記錄,也會被加鎖。

3.4.4 id無索引+RC

相對於前面三個組合,這是一個比較特殊的情況。id列上沒有索引,where id = 10;這個過濾條件,沒法通過索引進行過濾,那麼只能走全表掃描做過濾。對應於這個組合,SQL會加什麼鎖?或者是換句話說,全表掃描時,會加什麼鎖?這個答案也有很多:有人說會在表上加X鎖;有人說會將聚簇索引上,選擇出來的id = 10;的記錄加上X鎖。那麼實際情況呢?請看下圖:

由於id列上沒有索引,因此只能走聚簇索引,進行全部掃描。從圖中可以看到,滿足刪除條件的記錄有兩條,但是,聚簇索引上所有的記錄,都被加上了X鎖。無論記錄是否滿足條件,全部被加上X鎖。既不是加表鎖,也不是在滿足條件的記錄上加行鎖。

有人可能會問?爲什麼不是隻在滿足條件的記錄上加鎖呢?這是由於MySQL的實現決定的。如果一個條件無法通過索引快速過濾,那麼存儲引擎層面就會將所有記錄加鎖後返回,然後由MySQL Server層進行過濾。因此也就把所有的記錄,都鎖上了。

注:在實際的實現中,MySQL有一些改進,在MySQL Server過濾條件,發現不滿足後,會調用unlock_row方法,把不滿足條件的記錄放鎖 (違背了2PL的約束)。這樣做,保證了最後只會持有滿足條件記錄上的鎖,但是每條記錄的加鎖操作還是不能省略的。

結論:若id列上沒有索引,SQL會走聚簇索引的全掃描進行過濾,由於過濾是由MySQL Server層面進行的。因此每條記錄,無論是否滿足條件,都會被加上X鎖。但是,爲了效率考量,MySQL做了優化,對於不滿足條件的記錄,會在判斷後放鎖,最終持有的,是滿足條件的記錄上的鎖,但是不滿足條件的記錄上的加鎖/放鎖動作不會省略。同時,優化也違背了2PL的約束。

3.4.5 id主鍵+RR

上面的四個組合,都是在Read Committed隔離級別下的加鎖行爲,接下來的四個組合,是在Repeatable Read隔離級別下的加鎖行爲。

組合五,id列是主鍵列,Repeatable Read隔離級別,針對delete from t1 where id = 10; 這條SQL,加鎖與組合一:[id主鍵,Read Committed]一致。

3.4.6 id唯一索引+RR

與組合五類似,組合六的加鎖,與組合二:[id唯一索引,Read Committed]一致。兩個X鎖,id唯一索引滿足條件的記錄上一個,對應的聚簇索引上的記錄一個。

3.4.7 id非唯一索引+RR

還記得前面提到的MySQL的四種隔離級別的區別嗎?RC隔離級別允許幻讀,而RR隔離級別,不允許存在幻讀。但是在組合五、組合六中,加鎖行爲又是與RC下的加鎖行爲完全一致。那麼RR隔離級別下,如何防止幻讀呢?問題的答案,就在組合七中揭曉。

組合七,Repeatable Read隔離級別,id上有一個非唯一索引,執行delete from t1 where id = 10; 假設選擇id列上的索引進行條件過濾,最後的加鎖行爲,是怎麼樣的呢?同樣看下面這幅圖:

此圖,相對於組合三:[id列上非唯一鎖,Read Committed]看似相同,其實卻有很大的區別。最大的區別在於,這幅圖中多了一個GAP鎖,而且GAP鎖看起來也不是加在記錄上的,倒像是加載兩條記錄之間的位置,GAP鎖有何用?

其實這個多出來的GAP鎖,就是RR隔離級別,相對於RC隔離級別,不會出現幻讀的關鍵。確實,GAP鎖鎖住的位置,也不是記錄本身,而是兩條記錄之間的GAP。所謂幻讀,就是同一個事務,連續做兩次當前讀 (例如:select * from t1 where id = 10 for update;),那麼這兩次當前讀返回的是完全相同的記錄 (記錄數量一致,記錄本身也一致),第二次的當前讀,不會比第一次返回更多的記錄 (幻象)。

如何保證兩次當前讀返回一致的記錄,那就需要在第一次當前讀與第二次當前讀之間,其他的事務不會插入新的滿足條件的記錄並提交。爲了實現這個功能,GAP鎖應運而生。

如圖中所示,有哪些位置可以插入新的滿足條件的項 (id = 10),考慮到B+樹索引的有序性,滿足條件的項一定是連續存放的。記錄[6,c]之前,不會插入id=10的記錄;[6,c]與[10,b]間可以插入[10, aa];[10,b]與[10,d]間,可以插入新的[10,bb],[10,c]等;[10,d]與[11,f]間可以插入滿足條件的[10,e],[10,z]等;而[11,f]之後也不會插入滿足條件的記錄。因此,爲了保證[6,c]與[10,b]間,[10,b]與[10,d]間,[10,d]與[11,f]不會插入新的滿足條件的記錄,MySQL選擇了用GAP鎖,將這三個GAP給鎖起來。

Insert操作,如insert [10,aa],首先會定位到[6,c]與[10,b]間,然後在插入前,會檢查這個GAP是否已經被鎖上,如果被鎖上,則Insert不能插入記錄。因此,通過第一遍的當前讀,不僅將滿足條件的記錄鎖上 (X鎖),與組合三類似。同時還是增加3把GAP鎖,將可能插入滿足條件記錄的3個GAP給鎖上,保證後續的Insert不能插入新的id=10的記錄,也就杜絕了同一事務的第二次當前讀,出現幻象的情況。

有心的朋友看到這兒,可以會問:既然防止幻讀,需要靠GAP鎖的保護,爲什麼組合五、組合六,也是RR隔離級別,卻不需要加GAP鎖呢?

首先,這是一個好問題。其次,回答這個問題,也很簡單。GAP鎖的目的,是爲了防止同一事務的兩次當前讀,出現幻讀的情況。而組合五,id是主鍵;組合六,id是unique鍵,都能夠保證唯一性。一個等值查詢,最多隻能返回一條記錄,而且新的相同取值的記錄,一定不會在新插入進來,因此也就避免了GAP鎖的使用。其實,針對此問題,還有一個更深入的問題:如果組合五、組合六下,針對SQL:select * from t1 where id = 10 for update; 第一次查詢,沒有找到滿足查詢條件的記錄,那麼GAP鎖是否還能夠省略?此問題留給大家思考。

結論:Repeatable Read隔離級別下,id列上有一個非唯一索引,對應SQL:delete from t1 where id = 10; 首先,通過id索引定位到第一條滿足查詢條件的記錄,加記錄上的X鎖,加GAP上的GAP鎖,然後加主鍵聚簇索引上的記錄X鎖,然後返回;然後讀取下一條,重複進行。直至進行到第一條不滿足條件的記錄[11,f],此時,不需要加記錄X鎖,但是仍舊需要加GAP鎖,最後返回結束。

3.4.8 id無索引+RR

組合八,Repeatable Read隔離級別下的最後一種情況,id列上沒有索引。此時SQL:delete from t1 where id = 10; 沒有其他的路徑可以選擇,只能進行全表掃描。最終的加鎖情況,如下圖所示:

如圖,這是一個很恐怖的現象。首先,聚簇索引上的所有記錄,都被加上了X鎖。其次,聚簇索引每條記錄間的間隙(GAP),也同時被加上了GAP鎖。這個示例表,只有6條記錄,一共需要6個記錄鎖,7個GAP鎖。試想,如果表上有1000萬條記錄呢?

在這種情況下,這個表上,除了不加鎖的快照讀,其他任何加鎖的併發SQL,均不能執行,不能更新,不能刪除,不能插入,全表被鎖死。

當然,跟組合四:[id無索引, Read Committed]類似,這個情況下,MySQL也做了一些優化,就是所謂的semi-consistent read。semi-consistent read開啓的情況下,對於不滿足查詢條件的記錄,MySQL會提前放鎖。針對上面的這個用例,就是除了記錄[d,10],[g,10]之外,所有的記錄鎖都會被釋放,同時不加GAP鎖。semi-consistent read如何觸發:要麼是read committed隔離級別;要麼是Repeatable Read隔離級別,同時設置了 innodb_locks_unsafe_for_binlog 參數。更詳細的關於semi-consistent read的介紹,可參考:MySQL+InnoDB semi-consitent read原理及實現分析

結論:在Repeatable Read隔離級別下,如果進行全表掃描的當前讀,那麼會鎖上表中的所有記錄,同時會鎖上聚簇索引內的所有GAP,杜絕所有的併發 更新/刪除/插入 操作。當然,也可以通過觸發semi-consistent read,來緩解加鎖開銷與併發影響,但是semi-consistent read本身也會帶來其他問題,不建議使用。

3.4.9 Serializable

針對前面提到的簡單的SQL,最後一個情況:Serializable隔離級別。對於SQL2:delete from t1 where id = 10; 來說,Serializable隔離級別與Repeatable Read隔離級別完全一致,因此不做介紹。

Serializable隔離級別,影響的是SQL1:select * from t1 where id = 10; 這條SQL,在RC,RR隔離級別下,都是快照讀,不加鎖。但是在Serializable隔離級別,SQL1會加讀鎖,也就是說快照讀不復存在,MVCC併發控制降級爲Lock-Based CC。

結論:在MySQL/InnoDB中,所謂的讀不加鎖,並不適用於所有的情況,而是隔離級別相關的。Serializable隔離級別,讀不加鎖就不再成立,所有的讀操作,都是當前讀。

3.5 樣例

寫到這裏,其實MySQL的加鎖實現也已經介紹的八八九九。只要將本文上面的分析思路,大部分的SQL,都能分析出其會加哪些鎖。而這裏,再來看一個稍微複雜點的SQL,用於說明MySQL加鎖的另外一個邏輯。SQL用例如下:

如圖中的SQL,會加什麼鎖?假定在Repeatable Read隔離級別下 (Read Committed隔離級別下的加鎖情況,留給讀者分析。),同時,假設SQL走的是idx_t1_pu索引。

在詳細分析這條SQL的加鎖情況前,還需要有一個知識儲備,那就是一個SQL中的where條件如何拆分?具體的介紹,建議閱讀文章:SQL中的where條件,在數據庫中提取與應用淺析 。在這裏,直接給出分析後的結果:

  • Index key:pubtime > 1 and puptime < 20。此條件,用於確定SQL在idx_t1_pu索引上的查詢範圍。

  • Index Filter:userid = ‘hdc’ 。此條件,可以在idx_t1_pu索引上進行過濾,但不屬於Index Key。

  • Table Filter:comment is not NULL。此條件,在idx_t1_pu索引上無法過濾,只能在聚簇索引上過濾。

在分析出SQL where條件的構成之後,再來看看這條SQL的加鎖情況 (RR隔離級別),如下圖所示:

從圖中可以看出,在Repeatable Read隔離級別下,由Index Key所確定的範圍,被加上了GAP鎖;Index Filter鎖給定的條件 (userid = ‘hdc’)何時過濾,視MySQL的版本而定,在MySQL 5.6版本之前,不支持Index Condition Pushdown(ICP),因此Index Filter在MySQL Server層過濾,在5.6後支持了Index Condition Pushdown,則在index上過濾。若不支持ICP,不滿足Index Filter的記錄,也需要加上記錄X鎖,若支持ICP,則不滿足Index Filter的記錄,無需加記錄X鎖 (圖中,用紅色箭頭標出的X鎖,是否要加,視是否支持ICP而定);而Table Filter對應的過濾條件,則在聚簇索引中讀取後,在MySQL Server層面過濾,因此聚簇索引上也需要X鎖。最後,選取出了一條滿足條件的記錄[8,hdc,d,5,good],但是加鎖的數量,要遠遠大於滿足條件的記錄數量。

結論:在Repeatable Read隔離級別下,針對一個複雜的SQL,首先需要提取其where條件。Index Key確定的範圍,需要加上GAP鎖;Index Filter過濾條件,視MySQL版本是否支持ICP,若支持ICP,則不滿足Index Filter的記錄,不加X鎖,否則需要X鎖;Table Filter過濾條件,無論是否滿足,都需要加X鎖。

 

四、 死鎖

本文前面的部分,基本上已經涵蓋了MySQL/InnoDB所有的加鎖規則。深入理解MySQL如何加鎖,有兩個比較重要的作用:

  • 可以根據MySQL的加鎖規則,寫出不會發生死鎖的SQL;

  • 可以根據MySQL的加鎖規則,定位出線上產生死鎖的原因;

4.1 死鎖原因分析

下面,來看看兩個死鎖的例子 (一個是兩個Session的兩條SQL產生死鎖;另一個是兩個Session的一條SQL,產生死鎖):

上面的兩個死鎖用例。第一個非常好理解,也是最常見的死鎖,每個事務執行兩條SQL,分別持有了一把鎖,然後加另一把鎖,產生死鎖。

第二個用例,雖然每個Session都只有一條語句,仍舊會產生死鎖。要分析這個死鎖,首先必須用到本文前面提到的MySQL加鎖的規則。針對Session 1,從name索引出發,讀到的[hdc, 1],[hdc, 6]均滿足條件,不僅會加name索引上的記錄X鎖,而且會加聚簇索引上的記錄X鎖,加鎖順序爲先[1,hdc,100],後[6,hdc,10]。而Session 2,從pubtime索引出發,[10,6],[100,1]均滿足過濾條件,同樣也會加聚簇索引上的記錄X鎖,加鎖順序爲[6,hdc,10],後[1,hdc,100]。發現沒有,跟Session 1的加鎖順序正好相反,如果兩個Session恰好都持有了第一把鎖,請求加第二把鎖,死鎖就發生了。

結論:死鎖的發生與否,並不在於事務中有多少條SQL語句,死鎖的關鍵在於:兩個(或以上)的Session加鎖的順序不一致。而使用本文上面提到的,分析MySQL每條SQL語句的加鎖規則,分析出每條語句的加鎖順序,然後檢查多個併發SQL間是否存在以相反的順序加鎖的情況,就可以分析出各種潛在的死鎖情況,也可以分析出線上死鎖發生的原因。

 

4.2 鎖狀態

瞭解了死鎖產生的原因,如何知道數據庫當前鎖的狀態呢?如何查看死鎖情況呢?

目前在MySQL中鎖相關的視圖如下:

  1. information_schema.innodb_trx :記錄事務相關的信息,包括事務開始時間、事務SQL、事務權重(死鎖發生時,回滾事務參考的權值)等

  2. information_schema.innodb_locks:記錄事務持有鎖的信息,包括事務持有的鎖類型、被鎖的表等

  3. infomation_schema.innodb_lock_waits:記錄事務等待情況,每個事務被哪些事務所阻塞

 

死鎖情況可通過show engine innodb status查看

代碼塊

------------------------
LATEST DETECTED DEADLOCK
------------------------
2020-01-15 15:34:03 0x70000872a000
*** (1) TRANSACTION:
TRANSACTION 80663, ACTIVE 78 sec starting index read
mysql tables in use 1, locked 1
LOCK WAIT 4 lock struct(s), heap size 1136, 2 row lock(s)
MySQL thread id 9, OS thread handle 123145444597760, query id 161 localhost root statistics
select * from test1 where id=1 for update
*** (1) WAITING FOR THIS LOCK TO BE GRANTED:
RECORD LOCKS space id 396 page no 3 n bits 72 index PRIMARY of table `test`.`test1` /* Partition `p1` */ trx id 80663 lock_mode X locks rec but not gap waiting
Record lock, heap no 2 PHYSICAL RECORD: n_fields 7; compact format; info bits 0
 0: len 4; hex 80000001; asc     ;;
 1: len 6; hex 000000013566; asc     5f;;
 2: len 7; hex e1000002200110; asc        ;;
 3: len 3; hex 686f75; asc hou;;
 4: len 4; hex 80000000; asc     ;;
 5: len 0; hex ; asc ;;
 6: len 7; hex 3132372e302e31; asc 127.0.1;;
*** (2) TRANSACTION:
TRANSACTION 80662, ACTIVE 98 sec starting index read
mysql tables in use 1, locked 1
4 lock struct(s), heap size 1136, 3 row lock(s)
MySQL thread id 6, OS thread handle 123145444040704, query id 162 localhost root statistics
select * from test1 where id=2 for update
*** (2) HOLDS THE LOCK(S):
RECORD LOCKS space id 396 page no 3 n bits 72 index PRIMARY of table `test`.`test1` /* Partition `p1` */ trx id 80662 lock_mode X locks rec but not gap
Record lock, heap no 2 PHYSICAL RECORD: n_fields 7; compact format; info bits 0
 0: len 4; hex 80000001; asc     ;;
 1: len 6; hex 000000013566; asc     5f;;
 2: len 7; hex e1000002200110; asc        ;;
 3: len 3; hex 686f75; asc hou;;
 4: len 4; hex 80000000; asc     ;;
 5: len 0; hex ; asc ;;
 6: len 7; hex 3132372e302e31; asc 127.0.1;;
*** (2) WAITING FOR THIS LOCK TO BE GRANTED:
RECORD LOCKS space id 397 page no 3 n bits 72 index PRIMARY of table `test`.`test1` /* Partition `p2` */ trx id 80662 lock_mode X locks rec but not gap waiting
Record lock, heap no 2 PHYSICAL RECORD: n_fields 7; compact format; info bits 0
 0: len 4; hex 80000002; asc     ;;
 1: len 6; hex 000000013566; asc     5f;;
 2: len 7; hex e100000220011d; asc        ;;
 3: SQL NULL;
 4: len 4; hex 80000000; asc     ;;
 5: len 0; hex ; asc ;;
 6: len 7; hex 3132372e302e31; asc 127.0.1;;
*** WE ROLL BACK TRANSACTION (2)

日誌中記錄了最近一次的死鎖情況,包括髮生死鎖的兩個事務、SQL等,詳細解析見此處

五、參考文獻

mysql之semi-consistent read知悉

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章