主頁 > 軟體設計 > MySQL記錄洗掉后竟能按中間被洗掉的主鍵加回去,磁盤空間被重用!——底層揭秘MySQL行格式記錄頭資訊

MySQL記錄洗掉后竟能按中間被洗掉的主鍵加回去,磁盤空間被重用!——底層揭秘MySQL行格式記錄頭資訊

2021-06-16 08:13:29 軟體設計

說在前面——本篇也是我讀書總結筆記,因為是講底層原理,我個人認為本文難度是相當高的,可能需要一定的基礎,

我將文中的圖片包含的計算原理全都演算了一遍,因為書本沒有程序詳細計算,歡迎大家閱讀和仔細推敲,

如果是大忙人,也可以跳過計算,看懂程序和大致原理即可,

文章目錄

  • 1.記錄頭資訊有什么用?
  • 2.記錄在頁中的存盤結構
  • 3.記錄頭資訊的底層原理和計算(show time,難度搞起來)
  • 4.當記錄被洗掉,頁中記錄存盤結構如何變化?
  • 5.當洗掉的記錄再次被插入,頁中記錄存盤結構如何變化?

1.記錄頭資訊有什么用?

??記錄頭資訊里面有很多屬性,最容易理解的就是next_record指標,單鏈表都會有next指標,這樣才會找得到下一個結點,這對于頁中的每條記錄也是一樣,上一條記錄需要知道下一條記錄在哪里,

??上一篇說到了innodb行格式,重點講了一下dynamic行格式,知道一條記錄實際存盤如下圖,沒辦法,說到底層原理如果不看上一篇文章是不可能完全理解的,耶穌來了也沒法一篇說明白,見這里MySQL的varchar水真的太深了——InnoDB記錄存盤結構,必須記住下圖的上面行格式部分,每條記錄不僅是記錄的真實資料,還有記錄的額外資訊,

如果你目前只是為了開發學習本部分知識,那么可以直接跳到本篇第4、5節,傳送–>

??在`utf8mb4`字符集中,能用`0~4`位元組表示一個字符,像`varchar`這種變長型別和`char`這種定長型別實際占用的位元組數都會被記錄到**變長欄位串列**,

??如果欄位沒有被NOT NULL限定,那么就允許為NULL,該列就會有NULL值串列

??關于記錄頭資訊,下面這個表先列出來,往后面看的時候不理解時可以回傳查看這個表,方便理解,

名稱大小(單位:bit)描述
預留位11沒有使用
預留位21沒有使用
delete_mask1標記該記錄是否被洗掉
min_rec_mask1B+樹的每層非葉子節點中的最小記錄都會添加該標記
n_owned4表示當前記錄擁有的記錄數
heap_no13表示當前記錄在記錄堆的位置資訊
record_type3表示當前記錄的型別,0表示普通記錄,1表示B+樹非葉節點記錄,2表示Infimum記錄,3表示Supremum記錄
next_record16表示本條記錄真實資料部分到下一條記錄真實資料的距離

從表中所說可以看到,記錄頭資訊一共是40bit就是5個位元組

2.記錄在頁中的存盤結構

??innodb管理存盤空間的基本單位,一個頁的大小默認是16KB,插入的記錄會按照指定的行格式(默認dynamic)存盤到User Records部分,但是在一開始生成頁的時候,其實并沒有User Records這個部分,每當我們插入一條記錄,都會從Free Space部分(也就是尚未使用的存盤空間) 申請一個記錄大小的空間,并將這個部分劃分到User Records部分,當Free Space部分的空間全部被User Records部分替代掉之后,也就意味著這個頁使用完了,如果還有新的記錄插入的話,就需要去申請新的頁了,

有人會疑問了,圖中這個Infimum+Supremum是什么?

?? Infimum記錄 的下一條記錄就是本頁中主鍵值最小的用戶記錄,而本頁中主鍵值最大的用戶記錄的下一條記錄就是 Supremum記錄,但是這兩條記錄不在User Records部分,是單獨占用的空間,可結合上一張圖理解,都是由5個位元組的記錄頭和8個位元組的一個固定單詞組成,如下所示

3.記錄頭資訊的底層原理和計算(show time,難度搞起來)

首先,建個表record_test

CREATE TABLE record_test(
 c1 INT,
 c2 INT,
 c3 VARCHAR(10000),
  PRIMARY KEY (c1)
) CHARSET=utf8mb4;

執行插入陳述句

INSERT INTO record_test VALUES(1, 100, 'aa你好'), (2, 200, 'bb哈哈'), (3, 300, 'cc來了'), (4, 400, 'dd在哪');

最終表資料如下

4條記錄的存盤結構示意圖如下

注意:
1.圖中畫記錄的時候只選取了記錄頭的一部分,省略了變長串列和NULL值串列,但是實際計算的時候要帶上,
2.這里把隱藏列省略了,歸并到 “其他資訊” 里面了

??看到這里,你一定和我有著相同的疑問,為什么next_record顯示36,它表示本條記錄真實資料部分到下一條記錄真實資料的距離,這個怎么計算的呢?

??現在我來和你說說底層那些不為人知的東西,要知道,記錄的真實資料除了所有的資料列之外,MySQL還會為每條記錄默認添加一些列(也稱為隱藏列),隱藏列也包含在記錄的真實資料部分,如下

列名是否必須占用空間描述
DB_ROW_ID6位元組行ID,唯一標識一條記錄
DB_TRX_ID6位元組事務ID
DB_ROLL_PTR7位元組回滾指標

??InnoDB表對主鍵的生成策略:優先使用用戶自定義主鍵作為主鍵,如果用戶沒有定義主鍵,則選取一個Unique鍵作為主鍵(必須NOT NULL不允許存NULL),如果表中連Unique鍵都沒有定義的話,則InnoDB會為表默認添加一個名為DB_ROW_ID的隱藏列作為主鍵,

??從上表中可以看出:InnoDB存盤引擎會為每條記錄都添加 DB_TRX_IDDB_ROLL_PTR這兩個列,但是 DB_ROW_ID是可選的(在沒有自定義主鍵以及不允許存NULL值的Unique鍵的情況下才會添加該列),這些隱藏列的值不用我們操心,InnoDB存盤引擎會自己幫我們生成的,

所以剛剛next_record36位元組的計算方法就是
6+7(隱藏列2個,因為有自定義主鍵)=13位元組
4(int長度)+4(int長度)+8(變長varchar實際位元組數)=16位元組
下一列記錄的額外資訊(變長串列+NULL值串列+記錄頭)
1+1+5=7位元組
總共13+16+7=36

注意,圖中畫記錄的時候只選取了記錄頭的一部分,計算的時候直接記錄頭按5位元組計算,加上變長串列長度和NULL值串列長度即可,

如果變長串列NULL值串列不知道怎么計算長度,見上一篇MySQL的varchar水真的太深了——InnoDB記錄存盤結構,不看上篇不可能理解的,

而且你可能會疑問為什么第4條記錄的下一條卻要-123位元組?

??前面說過,最大記錄的下一條記錄是Supremum記錄,而Infimum記錄的heap_no0,而Supremum記錄的heap_no1,存放位置是在所有記錄之前,最小記錄的heap_no是從2開始的,前面給大家看過記錄在頁中的存盤結構,知道InfimumSupremum記錄在User Records之前,

??所以最大記錄的下一條就是要找到Supremum記錄,那么就要往回走3條記錄和第一條記錄的最小記錄變長串列+NULL值串列+頭資訊(共7位元組),然后加上Supremum真實資料部分的固定8個位元組,

36*3+7+8=123位元組

??所以為第4條記錄的next_record-123,代表指標往前走123位元組就是下一條記錄的真實資料部分的地址,


如果你還細致的觀察到Infimum記錄的next_record28,我覺得你挺適合做研究,

??在存盤結構上,Infimum記錄后面是Supremum記錄,接著才是第一條資料記錄,
??邏輯上,Infimum下一條記錄是第一條資料記錄,所以計算方法是
8(Infimum固定位元組) + 5(Supremum記錄頭) + 8(Supremum固定位元組) + 7(第一條資料記錄的變長欄位串列+NULL值串列+記錄頭) = 28位元組,

??為了更形象的表現next_record的作用,我們用箭頭來替代next_record的值,注意箭頭指向的位置,都是指向真實資料開始的地址,

你可能會疑問,為啥要next_record指向記錄頭資訊和真實資料之間的位置呢?指向整條記錄的開頭位置不好嗎?

??因為這個位置剛剛好,向左讀取就是記錄頭資訊,向右讀取就是真實資料,我們前邊還說過變長欄位長度串列、NULL值串列中的資訊都是逆序存放,這樣可以使記錄中位置靠前的欄位和它們對應的欄位長度資訊在記憶體中的距離更近,可能會提高高速快取的命中率,

4.當記錄被洗掉,頁中記錄存盤結構如何變化?

當然最大的疑問就是被洗掉的記錄還在頁中么?
??是的,你以為記錄洗掉了,可它還在真實的磁盤上(占用空間依然存在),這些被洗掉的記錄之所以不從磁盤上移除,是因為移除它們之后,還需要再磁盤中重新排序其他記錄,這會帶來一定的性能損耗,所以只是打一個洗掉標記就可以避免這個問題,首先deleted_mask設定為1,然后被洗掉掉的記錄加入到垃圾鏈表,記錄在這個鏈表中占用的空間稱為可重用空間,之后如果有新記錄插入到表中的話,它們就可能覆寫掉被洗掉的這些記錄占用的空間,

來演示一下

delete from record_test where c1 = 2;

發現第二條記錄被刪了

在記憶體中是怎么樣的呢?

洗掉第2條記錄變化如下

  • 2條記錄并沒有從存盤空間中移除,而是把該條記錄的delete_mask值設定為1
  • 2條記錄的next_record值變為了0,意味著該記錄沒有下一條記錄了,
  • 1條記錄的next_record指向了第3條記錄,
  • 最大記錄的n_owned值從5變成了4,因為除了自身Supremum記錄外,還有3條資料記錄(注:Infimumn_owned1是因為包含自身算一條記錄)

??無論怎么對頁中的資料進行增刪改操作,InnoDB始侄訓維護記錄的一個單向鏈表,鏈表中的各個節點是按照主鍵值從小到大的順序鏈接起來的,

5.當洗掉的記錄再次被插入,頁中記錄存盤結構如何變化?

INSERT INTO record_test VALUES(2, 200, 'bb哈哈');

可以看到,剛剛洗掉的第二條資料又回來了

記憶體結構變化如下

??InnoDB并沒有因為新記錄的插入而為它申請新的存盤空間,而是直接復用了原來被洗掉記錄的存盤空間,

??當資料頁中存在多條被洗掉掉的記錄時,這些記錄的next_record屬性將會把這些被洗掉掉的記錄組成一個垃圾鏈表,以備之后重用這部分存盤空間,


本篇總結:
??本篇主要講了Infimum+Supremum部分,分別是頁中最小記錄的前一個和最大記錄的后一個記錄,User Records部分使我們插入的真實資料部分,Free Space是頁總尚未使用的部分,然后講解了圖中next_record指標地址的計算,
??我們知道,頁中的記錄是單鏈表,頁與頁之間是雙向鏈表,其實每個資料頁的File Header部分有上一頁和下一頁的編號,所以所有資料頁會組成一個雙向鏈表,


歡迎一鍵三連~

有問題請留言,大家一起探討學習

----------------------Talk is cheap, show me the code-----------------------

轉載請註明出處,本文鏈接:https://www.uj5u.com/ruanti/287647.html

標籤:其他

上一篇:《嵌入式 - 嵌入式大雜燴》深入理解ARM暫存器

下一篇:嵌入式面試總結

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 面試突擊第一季,第二季,第三季

    第一季必考 https://www.bilibili.com/video/BV1FE411y79Y?from=search&seid=15921726601957489746 第二季分布式 https://www.bilibili.com/video/BV13f4y127ee/?spm_id_fro ......

    uj5u.com 2020-09-10 05:35:24 more
  • 第三單元作業總結

    1.前言 這應該是本學期最后一次寫作業總結了吧。總體來說,對作業的節奏也差不多掌握了,作業做起來的效率也更高了。雖然和之前的作業一樣,作業中都要用到新的知識,但是相比之前,更加懂得了如何利用工具以及資料。雖然之間卡過殼,但總體而言,這幾次作業還算完成的比較好。 2.作業程序總結 相比前兩個單元,此單 ......

    uj5u.com 2020-09-10 05:35:41 more
  • 北航OO(2020)第四單元博客作業暨課程總結博客

    北航OO(2020)第四單元博客作業暨課程總結博客 本單元作業的架構設計 在本單元中,由于UML圖具有比較清晰的樹形結構,因此我對其中需要進行查詢操作的元素進行了包裝,在樹的父節點中存盤所有孩子的參考。考慮到性能問題,我采用了快取機制,一次查詢后盡可能快取已經遍歷過的資訊,以減少遍歷次數。 本單元我 ......

    uj5u.com 2020-09-10 05:35:48 more
  • BUAA_OO_第四單元

    一、UML決議器設計 ? 先看下題目:第四單元實作一個基于JDK 8帶有效性檢查的UML(Unified Modeling Language)類圖,順序圖,狀態圖分析器 MyUmlInteraction,實際上我們要建立一個有向圖模型,UML中的物件(元素)可能與同級元素連接,也可與低級元素相連形成 ......

    uj5u.com 2020-09-10 05:35:54 more
  • 6.1邏輯運算子

    邏輯運算子 1. && 短路與 運算式1 && 運算式2 01.運算式1為true并且運算式2也為true 整體回傳為true 02.運算式1為false,將不會執行運算式2 整體回傳為false 03.只要有一個運算式為false 整體回傳為false 2. || 短路或 運算式1 || 運算式2 ......

    uj5u.com 2020-09-10 05:35:56 more
  • BUAAOO 第四單元 & 課程總結

    1. 第四單元:StarUml檔案決議 本單元采用了圖模型決議UML。 UML檔案可以抽象為圖、子圖、邊的邏輯結構。 在實作中,圖的節點包括類、介面、屬性,子圖包括狀態圖、順序圖等。 采用了三次遍歷UML元素的方法建圖,第一遍遍歷建點,第二、三次遍歷設定屬性、連邊,實作圖物件的初始化。這里借鑒了一些 ......

    uj5u.com 2020-09-10 05:36:06 more
  • 談談我對C# 多型的理解

    面向物件三要素:封裝、繼承、多型。 封裝和繼承,這兩個比較好理解,但要理解多型的話,可就稍微有點難度了。今天,我們就來講講多型的理解。 我們應該經常會看到面試題目:請談談對多型的理解。 其實呢,多型非常簡單,就一句話:呼叫同一種方法產生了不同的結果。 具體實作方式有三種。 一、多載 多載很簡單。 p ......

    uj5u.com 2020-09-10 05:36:09 more
  • Python 資料驅動工具:DDT

    背景 python 的unittest 沒有自帶資料驅動功能。 所以如果使用unittest,同時又想使用資料驅動,那么就可以使用DDT來完成。 DDT是 “Data-Driven Tests”的縮寫。 資料:http://ddt.readthedocs.io/en/latest/ 使用方法 dd. ......

    uj5u.com 2020-09-10 05:36:13 more
  • Python里面的xlrd模塊詳解

    那我就一下面積個問題對xlrd模塊進行學習一下: 1.什么是xlrd模塊? 2.為什么使用xlrd模塊? 3.怎樣使用xlrd模塊? 1.什么是xlrd模塊? ?python操作excel主要用到xlrd和xlwt這兩個庫,即xlrd是讀excel,xlwt是寫excel的庫。 今天就先來說一下xl ......

    uj5u.com 2020-09-10 05:36:28 more
  • 當我們創建HashMap時,底層到底做了什么?

    jdk1.7中的底層實作程序(底層基于陣列+鏈表) 在我們new HashMap()時,底層創建了默認長度為16的一維陣列Entry[ ] table。當我們呼叫map.put(key1,value1)方法向HashMap里添加資料的時候: 首先,呼叫key1所在類的hashCode()計算key1 ......

    uj5u.com 2020-09-10 05:36:38 more
最新发布
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:20:47 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:20:25 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:20:17 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:20:10 more
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:19:44 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:19:07 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:18:57 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:18:49 more
  • 05單件模式

    #經典的單件模式 public class Singleton { private static Singleton uniqueInstance; //一個靜態變數持有Singleton類的唯一實體。 // 其他有用的實體變數寫在這里 //構造器宣告為私有,只有Singleton可以實體化這個類! ......

    uj5u.com 2023-04-19 08:42:51 more
  • 【架構與設計】常見微服務分層架構的區別和落地實踐

    軟體工程的方方面面都遵循一個最基本的道理:沒有銀彈,架構分層模型更是如此,每一種都有各自優缺點,所以請根據不同的業務場景,并遵循簡單、可演進這兩個重要的架構原則選擇合適的架構分層模型即可。 ......

    uj5u.com 2023-04-19 08:42:41 more