一文詳解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
  • Timer是什麼 Timer 是一種用於創建定期粒度行為的機制。 與標準的 .NET System.Threading.Timer 類相似,Orleans 的 Timer 允許在一段時間後執行特定的操作,或者在特定的時間間隔內重覆執行操作。 它在分散式系統中具有重要作用,特別是在處理需要周期性執行的 ...
  • 前言 相信很多做WPF開發的小伙伴都遇到過表格類的需求,雖然現有的Grid控制項也能實現,但是使用起來的體驗感並不好,比如要實現一個Excel中的表格效果,估計你能想到的第一個方法就是套Border控制項,用這種方法你需要控制每個Border的邊框,並且在一堆Bordr中找到Grid.Row,Grid. ...
  • .NET C#程式啟動閃退,目錄導致的問題 這是第2次踩這個坑了,很小的編程細節,容易忽略,所以寫個博客,分享給大家。 1.第一次坑:是windows 系統把程式運行成服務,找不到配置文件,原因是以服務運行它的工作目錄是在C:\Windows\System32 2.本次坑:WPF桌面程式通過註冊表設 ...
  • 在分散式系統中,數據的持久化是至關重要的一環。 Orleans 7 引入了強大的持久化功能,使得在分散式環境下管理數據變得更加輕鬆和可靠。 本文將介紹什麼是 Orleans 7 的持久化,如何設置它以及相應的代碼示例。 什麼是 Orleans 7 的持久化? Orleans 7 的持久化是指將 Or ...
  • 前言 .NET Feature Management 是一個用於管理應用程式功能的庫,它可以幫助開發人員在應用程式中輕鬆地添加、移除和管理功能。使用 Feature Management,開發人員可以根據不同用戶、環境或其他條件來動態地控制應用程式中的功能。這使得開發人員可以更靈活地管理應用程式的功 ...
  • 在 WPF 應用程式中,拖放操作是實現用戶交互的重要組成部分。通過拖放操作,用戶可以輕鬆地將數據從一個位置移動到另一個位置,或者將控制項從一個容器移動到另一個容器。然而,WPF 中預設的拖放操作可能並不是那麼好用。為瞭解決這個問題,我們可以自定義一個 Panel 來實現更簡單的拖拽操作。 自定義 Pa ...
  • 在實際使用中,由於涉及到不同編程語言之間互相調用,導致C++ 中的OpenCV與C#中的OpenCvSharp 圖像數據在不同編程語言之間難以有效傳遞。在本文中我們將結合OpenCvSharp源碼實現原理,探究兩種數據之間的通信方式。 ...
  • 一、前言 這是一篇搭建許可權管理系統的系列文章。 隨著網路的發展,信息安全對應任何企業來說都越發的重要,而本系列文章將和大家一起一步一步搭建一個全新的許可權管理系統。 說明:由於搭建一個全新的項目過於繁瑣,所有作者將挑選核心代碼和核心思路進行分享。 二、技術選擇 三、開始設計 1、自主搭建vue前端和. ...
  • Csharper中的表達式樹 這節課來瞭解一下表示式樹是什麼? 在C#中,表達式樹是一種數據結構,它可以表示一些代碼塊,如Lambda表達式或查詢表達式。表達式樹使你能夠查看和操作數據,就像你可以查看和操作代碼一樣。它們通常用於創建動態查詢和解析表達式。 一、認識表達式樹 為什麼要這樣說?它和委托有 ...
  • 在使用Django等框架來操作MySQL時,實際上底層還是通過Python來操作的,首先需要安裝一個驅動程式,在Python3中,驅動程式有多種選擇,比如有pymysql以及mysqlclient等。使用pip命令安裝mysqlclient失敗應如何解決? 安裝的python版本說明 機器同時安裝了 ...