事物的隔離性和MVCC

来源:https://www.cnblogs.com/hjsh/archive/2022/08/28/16632370.html
-Advertisement-
Play Games

JDBC 一、JDBC概述 什麼是JDBC? **JDBC 是使用 Java 語言操作關係型資料庫的一套 API。**這套 API 是交由不同的資料庫廠商實現的。我們利用 JDBC 編寫操作資料庫的代碼,真正執行的是各個資料庫的實現類(驅動)。 全稱:(Java DataBase Connectiv ...


事物的隔離性

mysql的服務端是支持多個客戶端同時與之連接的,每個客戶端可能還併發了好幾個連接,所以mysql是需要同時處理很多事情的,每一件獨立的事情就叫做事務。我們知道事務有一個叫隔離性的特性,隔離性理論上是指在某個事物對某個數據進行訪問時,其他的事務就應該排隊知道訪問數據的事務提交才能繼續訪問該數據。但是這樣對性能的影響就太大了,但是我們又必須保持一定的隔離性,所以就需要折中一下。

事務併發可能的問題

先來看看不保證絕對的隔離性會遇到哪些問題呢

  • 臟寫

如果一個事務修改了另一個未提交事務修改過的數據,這就意味著發生了臟寫。

  • 臟讀

如果一個事務讀到了另一個未提交事務修改過的數據,這就意味著發生了臟讀。

  • 不可重覆讀

如果同一個事務中能讀到其他事務提交後的最新值,這時其他事務對這個數據進行的每次改動都會讓該事務讀到不同最新值,這就意味著發生了不可重覆讀。

  • 幻讀

如果一個事務根據某些查出一些記錄,之後另一個事務又向表中插入了符合這些條件的記錄,該事務再次用該條件查詢的時候,就會查出上次查沒查到的數據即另一個事務剛插入的數據,這就是幻讀。

小貼士:

不可重覆讀和幻讀確實有點相似,但不可重覆讀重點在於update和delete,而幻讀的重點在於insert。對於前者,要避免只需鎖住滿足條件的已有記錄即可,避免後者就需要鎖住滿足條件的記錄(包括存在的和不存在的),不存在的記錄如何才能鎖住呢?所以鎖的範圍需要擴大到滿足條件的相鄰範圍的記錄(臨鍵鎖)

事務的隔離級別

這時就出現了一個標準用來定義上面說的折中的程度,在SQL標準中定義了4個隔離級別:

  • READ UNCOMMITTED:讀未提交
  • READ COMMITTED:讀已提交
  • REPEATABLE READ:可重覆讀
  • SERIALIZABLE:可串列化

SQL標準中規定,針對不同的隔離級別併發事務可以發生不同嚴重程度的問題

MVCC

MVCC解決了事務併發時讀和寫同時進行互不影響的問題,從而提升系統性能。mvcc並不能解決完全解決臟讀和不可重覆讀的問題,如果innoDB只有mvcc沒有鎖,那麼當前事務確實沒辦法讀取到未提交的數據,但是可以修改。

對於讀已提交和可重覆讀的事務來說,都必須保證讀到的記錄是已經提交了的事務修改的記錄,所以如果想做到讀寫互不影響,核心問題就是讀取記錄時需判斷版本鏈中的哪個版本是對當前事務可見。

MVCC原理

對於innoDB存儲引擎來說,每張表中都含有兩個必要的隱藏列trx_id和roll_pointer。每次對某條記錄進行改動時,都會把舊的版本寫入到 undo日誌中,然後在這個roll_pointer列中存儲舊版本在undo日誌的地址,可以通過它來找到該記錄修改前的信息,同時將進行改動的事務id寫入trx_id列。

 

在可重覆讀的隔離模式下每個事務都會生成一個 ReadView ,主要包含4個重要的內容:

m_ids :表示在生成 ReadView 時當前系統中活躍的讀寫事務的 事務id 列表。

min_trx_id :表示在生成 ReadView 時當前系統中活躍的讀寫事務中最小的 事務id ,也就是

m_ids 中的最 小值。

max_trx_id :表示生成 ReadView 時系統中應該分配給下一個事務的 id 值。

creator_trx_id :表示生成該 ReadView 的事務的 事務id 。

有了這個 ReadView ,這樣在訪問某條記錄時,只需要按照下邊的步驟判斷記錄的某個版本是否可見:

如果被訪問版本的 trx_id 屬性值與 ReadView 中的 creator_trx_id 值相同,意味著當前事務在訪問它自己 修改過的記錄,所以該版本可以被當前事務訪問。

如果被訪問版本的 trx_id 屬性值小於 ReadView 中的 min_trx_id 值,表明生成該版本的事務在當前事務生 成 ReadView 前已經提交,所以該版本可以被當前事務訪問。

如果被訪問版本的 trx_id 屬性值大於 ReadView 中的 max_trx_id 值,表明生成該版本的事務在當前事務生 成 ReadView 後才開啟,所以該版本不可以被當前事務訪問。

如果被訪問版本的 trx_id 屬性值在 ReadView 的 min_trx_id 和 max_trx_id 之間,那就需要判斷一下 trx_id 屬性值是不是在 m_ids 列表中,如果在,說明創建 ReadView 時生成該版本的事務還是活躍的,該版本不可以被訪問;如果不在,說明創建 ReadView 時生成該版本的事務已經被提交,該版本可以被訪問。

如果某個版本的數據對當前事務不可見的話,那就順著版本鏈找到下一個版本的數據,繼續按照上邊的步驟判斷 可見性,依此類推,直到版本鏈中的最後一個版本。如果最後一個版本也不可見的話,那麼就意味著該條記錄對 該事務完全不可見,查詢結果就不包含該記錄。

上面兩段引用來自於《MySQL是怎樣運行的:從根兒上理解MySQL》,我覺得已經很明白了。

 

我寫文章都是力求正確,但水平有限,歡迎大佬斧正。

 

相關資源:

MySQL是怎樣運行的:從根兒上理解MySQL

 

 

 

 

 

 

 

 

 

 

 

 


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

-Advertisement-
Play Games
更多相關文章
  • 概述 本文描述WPF的拖放功能(Drag and Drop)。 拖放功能涉及到兩個功能,一個就是拖,一個是放。拖放可以發生在兩個控制項之間,也可以在一個控制項自己內部拖放。假設界面上有兩個控制項,一個TreeView,一個ListView,那麼可能發生的拖動有以下幾種情況: 1、TreeView -> L ...
  • 以下介紹Ubuntu下搭建用於HC32L110系列MCU的GCC工具鏈和VSCode的開發環境. AS06-VTB07H 產品頁鏈接. 這個開發板有新舊兩個版本. 4.0使用的是STM8, 5.0使用的是HC32L110, 現在能買到的都是後者, pin腳全部引出, 有預留燒錄口, 有一個功能按鈕,... ...
  • 大家好,我是痞子衡,是正經搞技術的痞子。今天痞子衡給大家介紹的是在FDCB里使能串列NOR Flash的QPI/OPI模式。 我們知道 Flash 讀時序里有五大子序列 CMD + ADDR + MODE + DUMMY + READ,前面的文章中痞子衡講過《串列NOR Flash的Continuo ...
  • 1、下載jdk1.8 這裡貼個oracle官網鏈接 https://www.oracle.com/java/technologies/downloads/ 裡面的jdk版本基本都有 2、將壓縮包上傳到Linux伺服器中 我使用的是winscop這個軟體,這個上傳操作很簡單 3、在Linux伺服器解壓 ...
  • 想讓Mac電腦讀取Windows上NTFS格式的磁碟?用Paragon NTFS 15 for Mac,這是一款MacOS系統上廣受青睞的ntfs讀寫工具。NTFS 15輕鬆實現Mac電腦讀寫NTFS磁碟文件。通過Microsoft的 NTFS for Mac by Paragon Software ...
  • Mac建造模擬游戲哪款好玩?環世界RimWorld for Mac是Mac平臺上一款非常好玩的模擬生存游戲。在mac rimworld環世界游戲中,游戲中玩家可以創造一個屬於自己的世界,以上帝視角指揮你的殖民者在陌生星球建立據點,可持續發展並且抵禦掃蕩者的進攻。 詳情:環世界RimWorld for ...
  • Rayman Mini for Mac是一款運行在MacOS平臺上的經典跑酷類游戲,玩家在Rayman Mini可以看到經典的傳統角色,與玩家一起在世界中探險,還有超多全新的角色出現。游戲包含動作橫向跑酷和劇情解謎探索為一體,呈現了一個別樣的世界。 詳情:Rayman Mini for Mac(雷曼 ...
  • 概述 單機架構下,一個進程中的多個線程競爭同一共用資源時,通常使用 JVM 級別的鎖即可保證互斥,以對商品下單並扣庫存為例: public String deductStock() { synchronized (this){ // 獲取庫存值 int stock = Integer.parseIn ...
一周排行
    -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.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...