MySQL 加鎖和死鎖解析

来源:https://www.cnblogs.com/YangJiaXin/archive/2019/05/19/10891091.html
-Advertisement-
Play Games

[toc] 產生死鎖的必要條件 多個併發事務(2個或者以上) 每個事物都持有了鎖(或者是已經在等待鎖) 每個事務都需要再繼續持有鎖(為了完成事務邏輯,還必須更新更多的行) 事物之間產生加鎖的迴圈等待,形成死鎖 常規鎖模式 LOCK_S(讀鎖,共用鎖) LOCK_X(寫鎖,排它鎖) 鎖的屬性 LOCK ...


目錄



產生死鎖的必要條件

  • 多個併發事務(2個或者以上)
  • 每個事物都持有了鎖(或者是已經在等待鎖)
  • 每個事務都需要再繼續持有鎖(為了完成事務邏輯,還必須更新更多的行)
  • 事物之間產生加鎖的迴圈等待,形成死鎖

    常規鎖模式

  • LOCK_S(讀鎖,共用鎖)
  • LOCK_X(寫鎖,排它鎖)

    鎖的屬性

  • LOCK _REC_NOT_GAP(鎖記錄)
  • LOCK_GAP(鎖記錄前的GAP)
  • LOCK_ORDINARY(同時鎖記錄+記錄前的GAP,Next key鎖)
  • LOCK_INSERT_INTETION(插入意向鎖)

    鎖組合(屬性+模式)

    可以任意組合

    鎖衝突矩陣

鎖是加在那裡的?

  • 根據主鍵查找-鎖加在主鍵上
    如 begin;select * from tt_copy where id=4 for update;
    加鎖情況

    index PRIMARY of table test.tt_copy trx id 1101588 lock_mode X locks rec but not gap

  • 根據普通索引查找-鎖加在普通索引和主鍵上
    如 begin;select * from tt_copy force index(idx_a) where a=4 for update;
    加鎖情況

    index idx_a of table test.tt_copy trx id 1101590 lock_mode X locks rec but not gap
    index PRIMARY of table test.tt_copy trx id 1101590 lock_mode X locks rec but not gap

操作與加鎖的對照關係

以下沒特殊說明都為RC隔離級別

Insert

  • 無Unique key,插入後 :無論RC或RR隔離級別都是對主鍵加 LOCK_X+LOCK_REC_NOT_GAP
  • 有Unique key

    插入前,唯一約束檢查:LOCK_S+LOCK_ORDINARY
    插入前,插入的位置有GAP鎖:LOCK_INSERT_INTETION
    插入後,新數據插入:LOCK_X+LOCK_REC_NOT_GAP

Delete

滿足刪除條件的所有記錄:LOCK_X+LOCK_REC_NOT_GAP

Update

Update操作分解

  • Step 1:定位到 下一條滿足查詢條件的記錄(查詢過程,類似於Select/Delete)
  • Step 2:刪除當前定位到的記錄(標記為刪除狀態)
  • Step 3:拼裝更新後項,根據更新後項定位到 新的插入位置
  • Step 4:在新的插入位置,判斷是否存在 Unique 衝突( 存在Unique Key 時
  • Step 5:插入更新後項(不存在Unique衝突時)
  • Step 6: 重覆Step 1 到Step 5 的操作,直至掃描完整個查詢範圍

Update操作分析

  • Step 1,Step 2:Delete
  • Step 3,Step 4,Step 5:Insert

Update

  • 無Unique key:

    • 查詢範圍中的所有記錄,LOCK_X + LOCK_REC_NOT_GAP
  • 有Unique key:

    • 查找滿足條件的記錄:查詢範圍內的所有記錄, LOCK_X + LOCK_REC_NOT_GAP
    • 更新後項存在唯一性衝突:衝突項上的加鎖,LOCK_S + LOCK_ORDINARY
    • 更新後項不存在唯一性衝突: 更新位置後項加鎖,LOCK_S + LOCK_GAP (省略)
    • 實際更新操作:可看做插入了一條新紀錄,LOCK_X + LOCK_REC_NOT_GAP

GAP鎖

那些操作會加GAP鎖?

  • Read Committed (RC) ) :Unique Key 唯一約束檢查;Purge操作;
  • Repeatable Read (RC ):RC的基礎上,所有需要加鎖的索引範圍掃描和索引查找(Update/Delete…)
  • 還有一種會加GAP鎖:RR隔離級別下,對有唯一索引的表執行insert on duplicate update操作,除了會對新插入的記錄加x not gap外,還會對相鄰記錄加x gap

如何去掉GAP鎖?

change the transaction isolation level to READ COMMITTED or enable the innodb_locks_unsafe_for_binlog system variable (which is now deprecated)

什麼時候加next-key lock?

By default, InnoDB operates in REPEATABLE READ transaction isolation level. In this case, InnoDB uses next-key locks for searches and index scans, which prevents phantom rows

Insert Intention Lock

An insert intention lock is a type of gap lock set by INSERT operations prior to(在...之前) row insertion.

總結

• 原則之一

  • 要分析一個死鎖,必須深入業務,瞭解整個事務的邏輯(閉門無法造車)

• 原則之二`

  • GAP鎖很複雜,為了減少GAP鎖,減少GAP導致的死鎖,儘量選擇Read Committed隔離級別(RC + row based binlog,基本上能夠解決所有問題,無需使用Repeatable Read)
  • 適當的 減少Unique 索引,能夠減少GAP鎖導致的死鎖(根據業務情況而定)

• 原則之三

  • 在MySQL 中,以不同索引的過濾條件, 來操作相同的記錄(Update/Delete ),很容易產生死
    鎖。

• 原則之四

  • RC隔離級別下,如果死鎖中出現Next Key(Gap鎖),說明表中一定存在unique索引
  • 多語句事務產生的死鎖,確保每條語句操作記錄的順序性,能夠極大減少死鎖

本文大多數都整理自《死鎖-何登成 - 管中窺豹——MySQL(InnoDB)死鎖分析之道》


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 如下麵的代碼所示: 更性的unix密碼就是root的密碼,然後我們可以切換到root用戶進行登陸,輸入su root來到root的用戶界面: 登陸成功,得解。命令行之後的$變成了#這樣就切換回root目錄啦! ...
  • 首先我們來瞭解下Linux下用戶管理的概念: 如上圖所示,左邊的一列表示用戶名,中間的一列表示用戶組,最右邊的一列表示的是家目錄。用戶名我們這裡處於簡單就,添加了root,xm,xh三個用戶。用戶組和家目錄則是Linux設計者為了方便大家使用從而創建的概念,每一個用戶都必須歸屬於一個組,一個用戶可以 ...
  • 數字輔助表: DECLARE @start_digital INT = 0, @end_digital INT = 9 ;WITH Digital_Rangs(Digital) AS ( SELECT @start_digital UNION ALL SELECT [Digital] = [Digi ...
  • 概述 MySQL中臨時表主要有兩類,包括外部臨時表和內部臨時表。外部臨時表是通過語句create temporary table...創建的臨時表,臨時表只在本會話有效,會話斷開後,臨時表數據會自動清理。內部臨時表主要有兩類,一類是information_schema中臨時表,另一類是會話執行查詢時 ...
  • 什麼是一致性模型 一致性模型指的是分散式系統對外界承諾的一個契約,外界按照契約的規定與分散式系統發生交互,就能得到契約中承諾的觀測結果。 ...
  • Docker快速構建Redis集群(cluster) 以所有 實例運行在同一臺宿主機上為例子 搭建步驟 集群目錄清單 1.redis.conf 找到一份原始的redis.conf文件,將其重命名為:redis cluster.tmpl redis cluster.tmpl 2.構建redis tri ...
  • 1、有3 個表,表結構如下: Student 學生表(學號,姓名,性別,年齡,組織部門) Course 課程表(編號,課程名稱) Sc 選課表(學號,課程編號,成績)。 1)寫一個SQL 語句,查詢選修了’電腦原理’的學生學號和姓名。 2)寫一個SQL 語句,查詢’王小明’同學選修了的課程名字。 ...
  • 摘要: 在sqlserver開發中,常常有同事反饋無法剔除空格,我們可以通過仔細檢查發現,並不是空格字元,而是tab鍵,如下所示: 解決方法: 對於這些特殊字元的替換,我們需採用字元所對應的ascii編碼進行替換,如下所示: 來自:http://www.maomao365.com/?p=7714 h ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...