MySQL InnoDB 的鎖機制

引言

????????鎖是數據庫管理并發訪問的另一種核心機制,與 MVCC 相輔相成。本文將系統梳理 MySQL InnoDB 中鎖的粒度、類型和工作原理,并深入探討它如何與事務隔離級別配合,共同保障數據的一致性和完整性。

一、 鎖的粒度:由粗到細

????????InnoDB 支持多種粒度的鎖,允許系統在鎖開銷和數據安全性之間進行權衡:

  1. 全局鎖:鎖定整個數據庫實例,主要用于全庫邏輯備份,影響巨大。

  2. 表級鎖:鎖定整張表,主要包括:

    • 元數據鎖 (MDL):由 Server 層實現,保證讀寫的表結構一致性。

    • 意向鎖 (Intention Locks):一種表級鎖,用于快速判斷表內是否有行鎖。它表明“一個事務想要在表中的某些行上獲取共享鎖或排他鎖”。

      • 意向共享鎖 (IS):事務打算給某些行加S鎖

      • 意向排他鎖 (IX):事務打算給某些行加X鎖

    • AUTO-INC 鎖:一種特殊的表級鎖,用于在插入時生成自增列的值。在 MySQL 8.0 中,輕量級模式已大幅減少其影響。

  3. 行級鎖:InnoDB 并發能力的核心,鎖定索引記錄。

二、 行級鎖的三種算法

????????行鎖是 InnoDB 的精髓,它包含三種算法,用于在不同場景下防止幻讀和數據沖突:

  1. 記錄鎖 (Record Lock):鎖定索引中的一條具體記錄

  2. 間隙鎖 (Gap Lock):鎖定索引記錄之間的間隙(開區間),防止其他事務在這個間隙中插入新記錄,從而有效防止幻讀

  3. 臨鍵鎖 (Next-Key Lock)記錄鎖 + 間隙鎖的組合,鎖定一個記錄及其前面的間隙(左開右閉區間)。它是 InnoDB 在 可重復讀 (RR) 隔離級別下默認的行鎖算法。

三、 鎖的兼容性與死鎖

  • 共享鎖 (S) 與排他鎖 (X):基本的行鎖類型。

    • S鎖(讀鎖):允許其他事務讀,但不能寫。SELECT ... LOCK IN SHARE MODE 會加 S鎖。

    • X鎖(寫鎖):不允許其他事務讀(當前讀)或寫。UPDATE, DELETE, INSERT, SELECT ... FOR UPDATE 會加 X鎖。

    • S鎖與S鎖兼容,S鎖與X鎖、X鎖與X鎖互斥。

  • 死鎖:不同的事務以不同的順序請求和持有鎖,導致互相等待。InnoDB 有死鎖檢測機制,會自動選擇回滾其中一個代價較小的事務。

四、 鎖與隔離級別的實戰

????????鎖的使用策略與隔離級別密不可分:

  • READ COMMITTED (RC)

    • 快照讀:使用 MVCC,無鎖。

    • 當前讀FOR UPDATE等)及寫操作:僅使用記錄鎖。因為不加間隙鎖,所以無法避免幻讀。

  • REPEATABLE READ (RR)

    • 快照讀:使用 MVCC,無鎖。

    • 當前讀寫操作:使用臨鍵鎖(Next-Key Lock),通過在搜索范圍內加鎖,徹底杜絕幻讀。(特例:唯一索引的唯一查詢會退化為記錄鎖)。

  • SERIALIZABLE (可串行化)

    • 所有讀操作(即使是普通 SELECT)都會自動轉換為 SELECT ... LOCK IN SHARE MODE,即加共享鎖。讀寫嚴重互斥,并發性能最低。

五、 特殊鎖:插入意向鎖 (Insert Intention Locks)

????????這是一種特殊的間隙鎖,不是表級意向鎖。它在執行 INSERT 操作前設置,表示想往某個間隙里插入一條記錄。它的存在是為了提高并發插入的性能:

  • 多個事務可以在同一個間隙上同時持有插入意向鎖(只要插入的位置不同)。

  • 但它會與獨占的間隙鎖/臨鍵鎖沖突。這正是防止幻讀的關鍵:一個事務持有間隙鎖,另一個事務的插入意向鎖就會被阻塞。

?更多資料:0voice · GitHub

本文來自互聯網用戶投稿,該文觀點僅代表作者本人,不代表本站立場。本站僅提供信息存儲空間服務,不擁有所有權,不承擔相關法律責任。
如若轉載,請注明出處:http://www.pswp.cn/web/95997.shtml
繁體地址,請注明出處:http://hk.pswp.cn/web/95997.shtml
英文地址,請注明出處:http://en.pswp.cn/web/95997.shtml

如若內容造成侵權/違法違規/事實不符,請聯系多彩編程網進行投訴反饋email:809451989@qq.com,一經查實,立即刪除!

相關文章

狀態模式(State Pattern)——網絡連接場景的 C++ 實戰

一、為什么要用狀態模式?在開發中,經常遇到“對象在不同狀態下行為不同”的情況。最常見的寫法是用一堆 if/else 或 switch 來判斷狀態,然后在不同分支里寫邏輯。這樣做有兩個問題:狀態增多后,條件分支會變得臃腫。修改…

使用csi-driver-nfs實現K8S動態供給

文章目錄一、部署NFS二、k8s環境部署csi-nfs三、測試動態供給補充應用服務器IPnfs-server192.168.1.5k8s-master01192.168.1.1k8s-node01192.168.1.2k8s-node02192.168.1.3 一、部署NFS 1、在NFS服務端和k8s所有節點部署nfs-utils 因為客戶端去掛載nfs服務端的共享目錄時&…

【開題答辯全過程】以 基于ssm的房屋中介管理系統為例,包含答辯的問題和答案

個人簡介一名14年經驗的資深畢設內行人,語言擅長Java、php、微信小程序、Python、Golang、安卓Android等開發項目包括大數據、深度學習、網站、小程序、安卓、算法。平常會做一些項目定制化開發、代碼講解、答辯教學、文檔編寫、也懂一些降重方面的技巧。感謝大家的…

MySQL主從復制之進階延時同步、GTID復制、半同步復制完整實驗流程

1.主從同步1.1主從同步原理是指將主庫的DDL和DML操作通過二進制日志(binlog)傳到從庫服務器,然后在從庫上對這些日志進行重新執行,從而使從庫和主庫數據保持一致1.2環境設置庫名ip地址操作系統mysql版本主庫msyql-master192.168.31.228rhel7.9源碼安裝my…

織信低代碼:用更聰明的方式,把想法變成現實!

你有沒有過這樣的時刻?想親手做一個應用,卻因為“不會編碼”而遲遲沒有開始;或曾無奈地目睹公司里一個看似簡單的需求,硬是耗費數月、投入大量人力反復開發……現在,有一類工具正在改變這一切。它叫低代碼。而今天我們…

【序列晉升】28 云原生時代的消息驅動架構 Spring Cloud Stream的未來可能性

目錄 一、Spring Cloud Stream是什么? 二、誕生背景與設計動機 2.1 微服務架構的挑戰 2.2 Spring生態的發展 2.3 Spring Integration的演進 三、架構設計與核心組件 3.1 分層架構設計 3.2 核心組件詳解 3.3 編程模型 四、解決的問題與優勢 4.1 解決的核心…

內網后滲透攻擊--linux系統(權限維持)

用途限制聲明,本文僅用于網絡安全技術研究、教育與知識分享。文中涉及的滲透測試方法與工具,嚴禁用于未經授權的網絡攻擊、數據竊取或任何違法活動。任何因不當使用本文內容導致的法律后果,作者及發布平臺不承擔任何責任。滲透測試涉及復雜技…

C++筆記之同步信號量、互斥信號量與PV操作再探(含軟考題目)

C++筆記之同步信號量、互斥信號量與PV操作再探(含軟考題目) code review! 參考筆記: 1.C++筆記之同步信號量、互斥信號量與PV操作再探(含軟考題目) 2.C++筆記之信號量、互斥量與PV操作 參考鏈接 1.嵌入式基礎知識-信號量,PV原語與前趨圖 2.信號量、PV操作及軟考高級試題解析…

布隆過濾器:快速判斷某個元素是否存在

特點:高效、空間占用小、允許一定誤判 布隆過濾器在 Redis 里的實現機制,核心就是:用一個大位圖(bitmap)來表示集合 位圖長度 m 初始值都是 0 插入元素時通過 k 個不同的哈希函數,對元素做哈希 每個哈希結…

C# 修改基類List中某一元素的子類類型

描述&#xff1a;基類&#xff1a;BaseClass子類1&#xff1a;A子類2&#xff1a;B然后我有一個List<BaseClass>類型的鏈表:list&#xff0c;我先往list中添加了兩個元素&#xff1a;第一個元素為A類型&#xff0c;第二個元素為B類型&#xff0c;然后我想改變第一個元素類…

基于STM32智能陽臺監控系統

基于STM32智能陽臺監控系統&#xff08;程序&#xff0b;原理圖元件清單&#xff09;功能介紹具體功能&#xff1a;1.采用STM32作為主控芯片實現檢測和控制&#xff1b;2.通過光敏電阻采集光線&#xff0c;將當前光線值在LCD1602顯示&#xff0c;低于50%控制LED亮&#xff0c;高…

動態維護有效區間:滑動窗口

右指針不斷移動獲取解&#xff0c;左指針不斷移動縮小解范圍 左指針的意義非常重要&#xff0c;相當于一個標兵&#xff0c;不斷與這個標兵進行比較&#xff0c;如果符合要求&#xff0c;這左指針進行移動&#xff0c;并進行操作&#xff0c;如果不符合要求&#xff0c;則左指針…

嵌入式學習---(單片機)

1.UART的概念通用異步收發器&#xff0c;2個串口&#xff08;1個串口被用于ISP下載程序&#xff0c;1個串口被用于和主機之間的通信&#xff09;&#xff0c;RXD(接收信號線) TXD(發送信號線)2、單工、半雙工、全雙工概念對比維度單工&#xff08;Simplex&#xff09;半雙工&am…

基于單片機的寵物屋智能系統設計與實現(論文+源碼)

1設計思路本設計基于單片機的寵物屋智能系統核心是實現對寵物生活環境及狀態的智能管理。系統以單片機為中樞&#xff0c;連接紅外測溫傳感器&#xff0c;可實時精準捕捉寵物體溫變化&#xff0c;以便及時發現健康異常&#xff1b;水位檢測傳感器時刻監測飲用水余量&#xff0c…

【面試】Java基礎面試題

1. Java 基本數據類型有哪些&#xff1f;場景&#xff1a;面試官問「String 是不是基本類型&#xff1f;」答案要點&#xff1a;8 種基本類型&#xff1a;byte, short, int, long, float, double, char, boolean。String 是引用類型。追問鏈條&#xff1a;問&#xff1a;為什么…

PHP云課堂在線網課系統 多功能網校系統 在線教育系統源碼

內容目錄一、詳細介紹二、效果展示1.部分代碼2.效果圖展示三、學習資料下載一、詳細介紹 云課堂&#xff0c;依托騰訊云基礎服務架構&#xff0c;采用C擴展框架Phalcon開發&#xff0c; 系統功能 實現了點播、直播、專欄、會員、積分、秒殺、微聊等。 友情提示&#xff1a;…

GEM5學習(4): 運行全系統模式的ARM系統

詳細說明可以見官網 gem5: Extending gem5 for ARM 下載鏡像 mkdir -p cpu_tests/benchmarks/bin/arm cd cpu_tests/benchmarks/bin/arm wget dist.gem5.org/dist/v22-0/test-progs/cpu-tests/bin/arm/Bubblesort wget dist.gem5.org/dist/v22-0/test-progs/cpu-tests/bin/arm…

快捷:常見ocr學術數據集預處理版本匯總(適配mmocr)

快捷&#xff1a;常見ocr學術數據集預處理版本匯總&#xff08;適配mmocr&#xff09;快捷&#xff1a;常見ocr學術數據集預處理版本匯總&#xff08;適配mmocr&#xff09;狀態指標驗證快捷&#xff1a;常見ocr學術數據集預處理版本匯總&#xff08;適配mmocr&#xff09; 狀…

從抽象到實現:Elasticsearch數據類型及其底層Lucene數據結構的深度解析

第一部分&#xff1a;Lucene基礎&#xff1a;核心索引結構Elasticsearch的強大功能根植于其核心——Apache Lucene&#xff0c;一個高性能、功能完備的搜索引擎庫 1。要深入理解Elasticsearch如何處理各種數據類型&#xff0c;首先必須剖析構成Lucene索引的三個基本數據結構&am…

Claude Code核心功能操作指南

&#xff08;一&#xff09;核心交互面板&#xff1a;認識操作界面 登錄后進入 Claude Code 主界面&#xff0c;核心區域分為三部分&#xff0c;各模塊功能清晰&#xff1a;可以通過 注冊免費體驗。左側導航欄&#xff1a;包含 “新建任務”“歷史記錄”“收藏夾”“幫助中心”…