記一次死鎖解析

IT那活兒發(fā)布于2023-01-11 13:20 / 948人閱讀

記一次死鎖解析

概述

每個(gè)MySQL DBA和開發(fā)可能都會(huì)在工作過程中遇到死鎖問題，死鎖是并發(fā)系統(tǒng)中比較常見的問題，同樣也會(huì)出現(xiàn)在數(shù)據(jù)庫系統(tǒng)的并發(fā)讀寫請(qǐng)求場(chǎng)景中。當(dāng)兩個(gè)及以上的事務(wù)，雙方都在等待對(duì)方釋放已經(jīng)持有的鎖或因?yàn)榧渔i順序不一致造成循環(huán)等待鎖資源，就會(huì)出現(xiàn)"死鎖"。

由于加鎖順序不一致造成的死鎖在RC(READ-COMMIT)隔離級(jí)別下較為常見，本文分享一個(gè)RR(REPEATABLE-READ)隔離級(jí)別下由于GAP鎖導(dǎo)致的死鎖案例。

案例

得知有死鎖發(fā)生時(shí)，首先查看數(shù)據(jù)庫隔離級(jí)別為默認(rèn)的RR(REPEATABLE-READ)模式：

然后再查看innodb存儲(chǔ)引擎日志可以看到最近一次死鎖的相關(guān)信息：

從日志中我們可以看出死鎖發(fā)生在表T_ORDERBILL_TASK上而且是兩條相同類型的針對(duì)表T_ORDERBILL_TASK插入的insert語句！檢查T_ORDERBILL_TASK表結(jié)構(gòu)如下：

可見ORG_CODE上有二級(jí)索引。

1. TRANSACTION也就是第一個(gè)事務(wù)的信息中：

WAITING FOR THIS LOCK TO BE GRANTED，表示的是這個(gè)事務(wù)在等待的鎖信息；
index ORG_CODE of table `T_BSE_QUERY_SCHEME`.`T_ORDERBILL_TASK`表示等的是表T_ORDERBILL_TASK上ORG_CODE索引上面的鎖；
lock_mode X locks gap before rec insert intention waiting Record lock 表示這個(gè)語句要加一個(gè)插入意向鎖但是還在等待狀態(tài)，Record lock說明這是一個(gè)記錄鎖。

2. TRANSACTION 也就是第二個(gè)事務(wù)中：

(2) HOLDS THE LOCK(S)中l(wèi)ock_mode X locks gap before rec 表示了持有GAP鎖
(2) WAITING FOR THIS LOCK TO BE GRANTED中l(wèi)ock_mode X locks gap before rec insert intention waiting同（1）TRANSACTION等待加插入意向鎖

結(jié)合業(yè)務(wù)開發(fā)提供的該模塊兒的業(yè)務(wù)邏輯和發(fā)生死鎖時(shí)間上下文業(yè)務(wù)日志可以整理出事務(wù)1和事務(wù)2的執(zhí)行順序?yàn)椋?/span>

或者

可以看出在插入一條數(shù)據(jù)前先執(zhí)行當(dāng)前讀鎖住該條數(shù)據(jù)，弱不存在則插入該條數(shù)據(jù)，否則執(zhí)行update。

由于索引是順序存儲(chǔ)的，查出110026介于110019和110036之間：

由此可知：

當(dāng)session 1執(zhí)行select ... for update當(dāng)前讀，由于ORG_CODE = 110026的數(shù)據(jù)不存在，因此會(huì)加上gap鎖(110019,110036)。

Session 2執(zhí)行select ... for update當(dāng)前讀,同樣也會(huì)加上gap鎖(110019,110036)，由于gap鎖不互斥，所以該語句也可成功執(zhí)行。

但是到第三步時(shí)無論是session 1先插入還是session 2先插入都會(huì)等待對(duì)方的gap鎖，第四步時(shí)后插入的也會(huì)被對(duì)方的gap鎖阻塞。兩個(gè)session進(jìn)入互相等待狀態(tài)形成死鎖，最后死鎖檢測(cè)將session2回滾。

結(jié)論

其實(shí)GAP鎖，就是RR隔離級(jí)別相對(duì)于RC隔離級(jí)別不會(huì)出現(xiàn)幻讀的關(guān)鍵。

在RR隔離級(jí)別下，條件列上為非唯一索引時(shí)，當(dāng)前讀通過條件列未定位到滿足條件的記錄時(shí)會(huì)加GAP鎖，保證后續(xù)的insert不能插入相同值的數(shù)據(jù)，以防止出現(xiàn)幻讀。需要注意的是GAP鎖并不互斥但是和插入意向鎖互斥。相同語句的情況下RR模式由于會(huì)加GAP鎖可能鎖住更多的數(shù)據(jù)，雖然防止了幻讀，但是會(huì)影響一定的并發(fā)。在配置RC和RR隔離級(jí)別的時(shí)候一定要根據(jù)業(yè)務(wù)場(chǎng)景進(jìn)行選擇。