MySQL資料庫的隔離級別之可重覆讀為什麼能夠有效防止幻讀現象的出現

来源:https://www.cnblogs.com/laipimei/archive/2019/03/06/10483677.html
-Advertisement-
Play Games

可重覆讀隔離級別,不允許存在幻讀,該隔離級別之所以能夠有效防止幻讀現象的出現,是因為可重覆讀這個隔離級別有用到GAP鎖(間隙鎖)。 ...


  可重覆讀隔離級別,不允許存在幻讀,該隔離級別之所以能夠有效防止幻讀現象的出現,是因為可重覆讀這個隔離級別有用到GAP鎖(間隙鎖)。下麵我們以解析SQL語句為切入點,來解釋個中原因。

  前提條件①資料庫的存儲引擎為InnoDB; ②資料庫的隔離級別為“可重覆讀”。

  SQLDELETE FROM user WHERE id = 10;

  (1)當id是聚簇索引或唯一索引時:

    此時是沒有使用到GAP鎖的,但是也保證了幻讀現象的出現。

    原因:如果id是主鍵,那麼主鍵必然是“唯一且不為空”的;如果id是唯一索引,那麼也保證了數據的唯一性。一個等值查詢,最多只能返回一條記錄,而且新的相同取值的記錄,一定不會在新插入進來,因此也就避免了GAP鎖的使用。

  (2)當id是非唯一索引時:

    此時就會用到GAP鎖,此時的加鎖行為如下圖所示:

  

    GAP鎖鎖住的位置,並非記錄本身,而是兩條記錄之間的GAP。    

    沒有幻讀:就是同一個事務中,連續做兩次當前讀 (例如:SELECT * FROM user WHERE id = 10 FOR UPDATE;),這兩次當前讀返回的是完全相同的記錄 (記錄數量一致,記錄本身也一致),即第二次的當前讀,不會比第一次返回更多的記錄 (幻象)。

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

    如圖中所示,有哪些位置可以插入新的滿足條件的項 (id = 10),考慮到B+樹索引的有序性,滿足條件的項一定是連續存放的。記錄[6,c]之前,不會插入id=10的記錄;[6,c]與[10,b]間可以插入[10, a]、[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的記錄,也就杜絕了同一事務的第二次當前讀,出現幻象的情況。

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

 

參考博客:http://hedengcheng.com/?p=771#_Toc374698322【作者:何登成    原文:MySQL 加鎖處理分析】

 


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

-Advertisement-
Play Games
更多相關文章
  • 閑來無事,寫了個zabbix-server的安裝腳本 #!/bin/bash #Install system is ubuntu14.0+ #zabbix-agent and zabbix-server is version:3.4 ZABBIX_USER=zabbix ZABBIX_GROUP=z ...
  • 思維導圖 什麼是Linux? Linux是一套免費使用和自由傳播的類Unix操作系統,是一個基於POSIX和UNIX的多用戶、多任務、支持多線程和多CPU的操作系統。 Linux能運行主要的UNIX工具軟體、應用程式和網路協議。它支持32位和64位硬體。Linux繼承了Unix以網路為核心的設計思想 ...
  • 大的方面 為 select ... from (查詢表) a where ... group by .... order by ..... 查詢表 為 將兩個表union , union時, 兩張表查詢出來的欄位名 必須是一致的, 沒有的欄位, 可以用 “ 0 as column ” 來補充。 1 ...
  • 在docker里恢復bakcup格式的資料庫,結果提示role "root" does not exist 解決方法: 切換用戶: 然後再次運行命令: ...
  • 一、HBase概述 1.HBase是Hadoop資料庫,是一個分散式、可擴展的大數據存儲。 HBase是用於對大數據進行隨機、實時讀寫訪問的非關係型資料庫,它的目標托管非常大的表——數十億行N百萬列。 正如Bigtable利用Google文件系統提供的分散式數據存儲一樣,HBase在Hadoop的H ...
  • 本人很喜歡postgresql資料庫,也一直認為postgresql比mysql要更好更強大。 可生態環境太差了,無奈,最近要把一個小站轉成mysql資料庫。 小站主要表數據110萬,pg_dump備份下載的壓縮資料庫將近3G。怎麼轉成mysql呢? 嘗試1: 我首先嘗試了工具,結果只找到兩款國外的 ...
  • 假如有這樣一張表news:欄位:id,title,time,image,author,現在表中有1萬多條記錄,其中title重覆的有上千條。如何才能一次性將title重覆記錄刪除呢? ...
  • 空查詢(empty search) —{}— 在功能上等價於使用 match_all 查詢, 正如其名字一樣,匹配所有文檔: match_all 查詢 match_all 查詢簡單的匹配所有文檔。在沒有指定查詢方式時,它是預設的查詢: 它經常與 filter 結合使用--例如,檢索收件箱里的所有郵件 ...
一周排行
    -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.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...