一文詳解MySQL事務底層原理,全是乾貨,推薦收藏

来源:https://www.cnblogs.com/yidengjiagou/archive/2022/06/26/16413825.html
-Advertisement-
Play Games

迎面走來了你的面試官,身穿格子衫,挺著啤酒肚,髮際線嚴重後移的中年男子。 手拿泡著枸杞的保溫杯,胳膊夾著MacBook,MacBook上還貼著公司標語:“我愛加班”。 面試開始,直入正題。 面試官: 看你簡歷上面寫著精通MySQL,我先問你事務的特性是什麼? 老生常談,這個還有誰不會背的嗎? 我: ...


迎面走來了你的面試官,身穿格子衫,挺著啤酒肚,髮際線嚴重後移的中年男子。
手拿泡著枸杞的保溫杯,胳膊夾著MacBook,MacBook上還貼著公司標語:“我愛加班”。

面試開始,直入正題。

面試官: 看你簡歷上面寫著精通MySQL,我先問你事務的特性是什麼?

老生常談,這個還有誰不會背的嗎?

我: 這個我知道,事務有四大特性,分別是原子性(Atomicity)、一致性(Consistency)、隔離性(Isolation)、持久性(Durability),簡稱ACID。

原子性是指事務中所有操作要麼全部成功,要麼全部失敗。

一致性是指事務執行前後,數據始終處於一致性狀態,不會出現數據丟失。

隔離性是指事務提交前的中間狀態對其他事務不可見,即相互隔離。

持久性是指事務提交後,數據的修改永久保存在資料庫中。

面試官: 嗯,回答得不錯。那你知道MySQL底層是怎麼實現事務的四大特性?

這道題有點深了,需要背會redo log、undo log、mvcc。

千萬別說不知道這幾個東西是幹嘛用的。

不但要知道,還要跟事務扯上關係。

我: 原子性是undo log實現的,一致性是由代碼邏輯層面保證的,隔離性是由mvcc實現的,持久性是基於redo log實現的。

Redo Log(重做日誌):

Redo Log記錄的是物理日誌,也就是磁碟數據的修改。
用來保證服務崩潰後,仍能把事務中變更的數據持久化到磁碟上。

如果沒有Redo Log的話,會發生什麼?

修改數據的過程就變成這樣了:

  1. 從磁碟載入數據到記憶體
  2. 在記憶體中修改數據
  3. 把新數據持久化到磁碟

這樣做,會有嚴重的性能問題。

  1. InnoDB在磁碟中存儲的基本單元是頁,可能本次修改只變更一頁中幾個位元組,但是需要刷新整頁的數據,就很浪費資源。
  2. 一個事務可能修改了多頁中的數據,頁之間又是不連續的,就會產生隨機IO,性能更差。

所以為了提高寫入性能,於是就引入了Redo Log。

看一下引入Redo Log後修改流程:

  1. 從磁碟載入數據到記憶體
  2. 在記憶體中修改數據
  3. 把新數據寫到Redo Log Buffer
  4. Redo Log Buffer中數據持久化到Redo Log文件中
  5. Redo Log文件中數據持久化到資料庫磁碟中

Undo Log(回滾日誌):

Undo Log記錄的是邏輯日誌,用來回滾事務時,恢復到修改前的數據。

比如:當我們執行一條insert語句時,Undo Log就記錄一條相反的delete語句。

加入Undo Log之後的修改流程就是這樣的:

MVCC(多版本併發控制,Multi-Version Concurrency Control):

記錄的是某個時間點上的數據快照,用來實現不同事務之間數據的隔離性。

提到隔離性,一定要說一下事務的隔離級別。

說事務隔離級別之前,必須要先說一下併發事務產生的問題:

臟讀: 一個事務讀到其他事務未提交的數據。

不可重覆讀: 多次讀取相同的數據,得到的結果集不一致,即讀到其他事務提交後的數據。

幻讀: 相同的查詢條件,多次讀取的結果不一致,即讀到其他事務提交後的數據。

不可重覆讀與幻讀的區別是: 不可重覆讀是讀到了其他事務執行update、delete後的數據,而幻讀是讀到其他事務執行insert後的數據。

隔離級別

Read UnCommitted(讀未提交): 讀到其他事務未提交的數據,會出現臟讀、不可重覆讀、幻讀。

Read Committed(讀已提交): 讀到其他事務已提交的數據,解決了臟讀,會出現不可重覆讀、幻讀。

Repeatable Read(可重覆讀): 相同的數據,多次讀取到的結果集一致。解決了不可重覆讀,還是會出現幻讀。

Serializable(串列化): 所有事務串列執行,解決了幻讀。

再談MVCC:

MVCC解決了讀寫衝突,實現了讀寫並行,提升了事務的性能。

由於Read UnCommitted隔離級別下,每次都讀取最新的數據。而Serializable隔離級別下,對所有讀取數據都加鎖。這兩種隔離級不需要MVCC,所以MVCC只在Read Committed和Repeatable Read兩種隔離級別下起作用。

MVCC的實現方式通過兩個隱藏列trx_id(最近一次提交事務的ID)和roll_pointer(上個版本的地址),建立一個版本鏈。併在事務中讀取的時候生成一個ReadView(讀視圖),在Read Committed隔離級別下,每次讀取都會生成一個讀視圖,而在Repeatable Read隔離級別下,只會在第一次讀取時生成一個讀視圖。

InnoDB如何解決幻讀的?

先普及一下快照讀和當前讀。

當前讀: 讀取數據的最新版本,並對數據進行加鎖。

例如:insert、update、delete、select for update

快照讀: 讀取數據的歷史版本,不對數據加鎖。

例如:select

在當前讀的情況下,是通過加鎖來解決幻讀。

在快照讀的情況下,是通過MVCC來解決幻讀。

面試官: 還得是你,就你總結的全。今天的面試先到這吧,下一面要問你MySQL的鎖,你準備一下。

本文知識點總結:

文章持續更新,可以微信搜一搜「 一燈架構 」第一時間閱讀更多技術乾貨。


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

-Advertisement-
Play Games
更多相關文章
  • SpringBoot使用Redis教程 應用環境: 存放Token、.... 第一步: 添加Redis依賴 <dependency> <groupId>org.springframework.boot</groupId> <artifactId>spring-boot-starter-data-re ...
  • 📄前言 這個小項目源於github項目:✨50 projects 50 days, 這個項目包含了50個小型前端項目,適合學習了Html+Css+JavaScript但是還沒有學習框架的前端新手作為練習。 這裡是原項目的代碼實現👉擴展卡片 Expanding Cards 📝分析 📍佈局 卡片 ...
  • 本章是系列文章的第八章,用著色演算法進行寄存器的分配過程。 本文中的所有內容來自學習DCC888的學習筆記或者自己理解的整理,如需轉載請註明出處。周榮華@燧原科技 寄存器分配 寄存器分配是為程式處理的值找到存儲位置的問題 這些值可以存放到寄存器,也可以存放在記憶體中 寄存器更快,但數量有限 記憶體很多,但 ...
  • 目錄 一.簡介 二.效果演示 三.源碼下載 四.猜你喜歡 零基礎 OpenGL (ES) 學習路線推薦 : OpenGL (ES) 學習目錄 >> OpenGL ES 基礎 零基礎 OpenGL (ES) 學習路線推薦 : OpenGL (ES) 學習目錄 >> OpenGL ES 轉場 零基礎 O ...
  • 背景: 一般我們可以用HashMap做本地緩存,但是HashMap功能比較弱,不支持Key過期,不支持數據範圍查找等。故在此實現了一個簡易的本地緩存,取名叫fastmap。 功能: 1.支持數據過期 2.支持等值查找 3.支持範圍查找 4.支持key排序 實現思路: 1.等值查找採用HashMap2 ...
  • 詳細講解python爬蟲代碼,爬微博搜索結果的博文數據。 爬取欄位: 頁碼、微博id、微博bid、微博作者、發佈時間、微博內容、轉發數、評論數、點贊數。 爬蟲技術: 1、requests 發送請求 2、datetime 時間格式轉換 3、jsonpath 快速解析json數據 4、re 正則表達式提... ...
  • 為什麼要多線程下載 俗話說要以終為始,那麼我們首先要明確多線程下載的目標是什麼,不外乎是為了更快的下載文件。那麼問題來了,多線程下載文件相比於單線程是不是更快? 對於這個問題可以看下圖。 橫坐標是線程數,縱坐標是使用對應線程數下載對應文件時花費的時間,藍橙綠代表下載文件的大小,每個線程下載對應文件2 ...
  • 基礎知識 python是一門腳本語言,它是解釋執行的。 python使用縮進做為語法,而且python2環境下同一個py文件中不能同時存在tab和空格縮進,否則會出錯,建議在IDE中顯示縮進符。 python在聲明變數時不寫數據類型,可以type(xx)來獲取欄位的類型,然後可以int(),list ...
一周排行
    -Advertisement-
    Play Games
  • Dapr Outbox 是1.12中的功能。 本文只介紹Dapr Outbox 執行流程,Dapr Outbox基本用法請閱讀官方文檔 。本文中appID=order-processor,topic=orders 本文前提知識:熟悉Dapr狀態管理、Dapr發佈訂閱和Outbox 模式。 Outbo ...
  • 引言 在前幾章我們深度講解了單元測試和集成測試的基礎知識,這一章我們來講解一下代碼覆蓋率,代碼覆蓋率是單元測試運行的度量值,覆蓋率通常以百分比表示,用於衡量代碼被測試覆蓋的程度,幫助開發人員評估測試用例的質量和代碼的健壯性。常見的覆蓋率包括語句覆蓋率(Line Coverage)、分支覆蓋率(Bra ...
  • 前言 本文介紹瞭如何使用S7.NET庫實現對西門子PLC DB塊數據的讀寫,記錄了使用電腦模擬,模擬PLC,自至完成測試的詳細流程,並重點介紹了在這個過程中的易錯點,供參考。 用到的軟體: 1.Windows環境下鏈路層網路訪問的行業標準工具(WinPcap_4_1_3.exe)下載鏈接:http ...
  • 從依賴倒置原則(Dependency Inversion Principle, DIP)到控制反轉(Inversion of Control, IoC)再到依賴註入(Dependency Injection, DI)的演進過程,我們可以理解為一種逐步抽象和解耦的設計思想。這種思想在C#等面向對象的編 ...
  • 關於Python中的私有屬性和私有方法 Python對於類的成員沒有嚴格的訪問控制限制,這與其他面相對對象語言有區別。關於私有屬性和私有方法,有如下要點: 1、通常我們約定,兩個下劃線開頭的屬性是私有的(private)。其他為公共的(public); 2、類內部可以訪問私有屬性(方法); 3、類外 ...
  • C++ 訪問說明符 訪問說明符是 C++ 中控制類成員(屬性和方法)可訪問性的關鍵字。它們用於封裝類數據並保護其免受意外修改或濫用。 三種訪問說明符: public:允許從類外部的任何地方訪問成員。 private:僅允許在類內部訪問成員。 protected:允許在類內部及其派生類中訪問成員。 示 ...
  • 寫這個隨筆說一下C++的static_cast和dynamic_cast用在子類與父類的指針轉換時的一些事宜。首先,【static_cast,dynamic_cast】【父類指針,子類指針】,兩兩一組,共有4種組合:用 static_cast 父類轉子類、用 static_cast 子類轉父類、使用 ...
  • /******************************************************************************************************** * * * 設計雙向鏈表的介面 * * * * Copyright (c) 2023-2 ...
  • 相信接觸過spring做開發的小伙伴們一定使用過@ComponentScan註解 @ComponentScan("com.wangm.lifecycle") public class AppConfig { } @ComponentScan指定basePackage,將包下的類按照一定規則註冊成Be ...
  • 操作系統 :CentOS 7.6_x64 opensips版本: 2.4.9 python版本:2.7.5 python作為腳本語言,使用起來很方便,查了下opensips的文檔,支持使用python腳本寫邏輯代碼。今天整理下CentOS7環境下opensips2.4.9的python模塊筆記及使用 ...