主頁 > 軟體設計 > Mysql系列第二十五講 mysql如何確保資料不丟失?有幾點值得我們借鑒

Mysql系列第二十五講 mysql如何確保資料不丟失?有幾點值得我們借鑒

2020-10-12 23:52:21 軟體設計

Mysql系列第二十五講

  • 預備知識
  • mysql確保資料不丟失原理分析
  • 做一個總結

預備知識

  1. mysql內部是使用b+樹的結構將資料存盤在磁盤中,b+樹中節點對應mysql中的頁,mysql和磁盤互動的最小單位為頁,頁默認情況下為16kb,表中的資料記錄存盤在b+樹的葉子節點中,當我們需要修改、洗掉、插入資料時,都需要按照頁來對磁盤進行操作,

  2. 磁盤順序寫比隨機寫效率要高很多,通常我們使用的是機械硬碟,機械硬碟寫資料的時候涉及磁盤尋道、磁盤旋轉尋址、資料寫入的時間,耗時比較長,如果是順序寫,省去了尋道和磁盤旋轉的時間,效率會高幾個數量級,

  3. 記憶體中資料讀寫操作比磁盤中資料讀寫操作速度高好多個數量級,

mysql確保資料不丟失原理分析

我們來思考一下,下面這條陳述句的執行程序是什么樣的:

start transaction;
update t_user set name = '易兮' where user_id = 666;
commit;

按照正常的思路,通常程序如下:

  1. 找到user_id=666這條記錄所在的頁p1,將p1從磁盤加載到記憶體中

  2. 在記憶體中對p1中user_id=666這條記錄資訊進行修改

  3. mysql收到commit指令

  4. 將p1頁寫入磁盤

  5. 給客戶端回傳更新成功

上面程序可以確保資料被持久化到了磁盤中,

我們將需求改一下,如下:

start transaction;
update t_user set name = '易兮' where user_id = 666;
update t_user set name = 'javacode2018' where user_id = 888;
commit;

來看一下處理程序:

  1. 找到user_id=666這條記錄所在的頁p1,將p1從磁盤加載到記憶體中

  2. 在記憶體中對p1中user_id=666這條記錄資訊進行修改

  3. 找到user_id=888這條記錄所在的頁p2,將p2從磁盤加載到記憶體中

  4. 在記憶體中對p2中user_id=888這條記錄資訊進行修改

  5. mysql收到commit指令

  6. 將p1頁寫入磁盤

  7. 將p2頁寫入磁盤

  8. 給客戶端回傳更新成功

上面程序我們看有什么問題

  1. 假如6成功之后,mysql宕機了,此時p1修改已寫入磁盤,但是p2的修改還未寫入磁盤,最終導致user_id=666的記錄被修改成功了,user_id=888的資料被修改失敗了,資料是有問題的

  2. 上面p1和p2可能位于磁盤的不同位置,涉及到磁盤隨機寫的問題,導致整個程序耗時也比較長

上面問題可以歸納為2點:無法確保資料可靠性、隨機寫導致耗時比較長,

關于上面問題,我們看一下mysql是如何優化的,mysql內部引入了一個redo log,這是一個檔案,對于上面2條更新操作,mysql實作如下:

mysql內部有個redo log buffer,是記憶體中一塊區域,我們將其理解為陣列結構,向redo log檔案中寫資料時,會先將內容寫入redo log buffer中,后續會將這個buffer中的內容寫入磁盤中的redo log檔案,這個個redo log buffer是整個mysql中所有連接共享的記憶體區域,可以被重復使用,

  1. mysql收到start transaction后,生成一個全域的事務編號trx_id,比如trx_id=10

  2. user_id=666這個記錄我們就叫r1,user_id=888這個記錄叫r2

  3. 找到r1記錄所在的資料頁p1,將其從磁盤中加載到記憶體中

  4. 在記憶體中找到r1在p1中的位置,然后對p1進行修改(這個程序可以描述為:將p1中的pos_start1到pos_start2位置的值改為v1),這個程序我們記為rb1(內部包含事務編號trx_id),將rb1放入redo log buffer陣列中,此時p1的資訊在記憶體中被修改了,和磁盤中p1的資料不一樣了

  5. 找到r2記錄所在的資料頁p2,將其從磁盤中加載到記憶體中

  6. 在記憶體中找到r2在p2中的位置,然后對p2進行修改(這個程序可以描述為:將p2中的pos_start1到pos_start2位置的值改為v2),這個程序我們記為rb2(內部包含事務編號trx_id),將rb2放入redo log buffer陣列中,此時p2的資訊在記憶體中被修改了,和磁盤中p2的資料不一樣了

  7. 此時redo log buffer陣列中有2條記錄[rb1,rb2]

  8. mysql收到commit指令

  9. 將redo log buffer陣列中內容寫入到redo log檔案中,寫入的內容:

1.start trx=10;
2.寫入rb1
3.寫入rb2
4.end trx=10;
  1. 回傳給客戶端更新成功,

上面程序執行完畢之后,資料是這樣的:

  1. 記憶體中p1、p2頁被修改了,還未同步到磁盤中,此時記憶體中資料頁和磁盤中資料頁是不一致的,此時記憶體中資料頁我們稱為臟頁

  2. 對p1、p2頁修改被持久到磁盤中的redolog檔案中了,不會丟失

認真看一下上面程序中第9步驟,一個成功的事務記錄在redo log中是有start和end的,redo log檔案中如果一個trx_id對應start和end成對出現,說明這個事務執行成功了,如果只有start沒有end說明是有問題的,

那么對p1、p2頁的修改什么時候會同步到磁盤中呢?

redo log是mysql中所有連接共享的檔案,對mysql執行insert、delete和上面update的程序類似,都是先在記憶體中修改頁資料,然后將修改程序持久化到redo log所在的磁盤檔案中,然后回傳成功,redo log檔案是有大小的,需要重復利用的(redo log有多個,多個之間采用環形結構結合幾個變數來做到重復利用,這塊知識不做說明,有興趣的可以去網上找一下),當redo log滿了,或者系統比較閑的時候,會對redo log檔案中的內容進行處理,處理程序如下:

  1. 讀取redo log資訊,讀取一個完整的trx_id對應的資訊,然后進行處理

  2. 比如讀取到了trx_id=10的完整內容,包含了start end,表示這個事務操作是成功的,然后繼續向下

  3. 判斷p1在記憶體中是否存在,如果存在,則直接將p1資訊寫到p1所在的磁盤中;如果p1在記憶體中不存在,則將p1從磁盤加載到記憶體,通過redo log中的資訊在記憶體中對p1進行修改,然后將其寫到磁盤中

上面的update之后,p1在記憶體中是存在的,并且p1是已經被修改過的,可以直接重繪到磁盤中,

如果上面的update之后,mysql宕機,然后重啟了,p1在記憶體中是不存在的,此時系統會讀取redo log檔案中的內容進行恢復處理,

  1. 將redo log檔案中trx_id=10的占有的空間標記為已處理,這塊空間會被釋放出來可以重復利用了

  2. 如果第2步讀取到的trx_id對應的內容沒有end,表示這個事務執行到一半失敗了(可能是第9步驟寫到一半宕機了),此時這個記錄是無效的,可以直接跳過不用處理

上面的程序做到了:資料最后一定會被持久化到磁盤中的頁中,不會丟失,做到了可靠性,

并且內部采用了先把頁的修改操作先在記憶體中進行操作,然后再寫入了redo log檔案,此處redo log是按順序寫的,使用到了io的順序寫,效率會非常高,相對于用戶來說回應會更快,

對于將資料頁的變更持久化到磁盤中,此處又采用了異步的方式去讀取redo log的內容,然后將頁的變更刷到磁盤中,這塊的設計也非常好,異步刷盤操作!

但是有一種情況,當一個事務commit的時候,剛好發現redo log不夠了,此時會先停下來處理redo log中的內容,然后在進行后續的操作,遇到這種情況時,整個事物回應會稍微慢一些,

mysql中還有一個binlog,在事務操作程序中也會寫binlog,先說一下binlog的作用,binlog中詳細記錄了對資料庫做了什么操作,算是對資料庫操作的一個流水,這個流水也是相當重要的,主從同步就是使用binlog來實作的,從庫讀取主庫中binlog的資訊,然后在從庫中執行,最后,從庫就和主庫資訊保持同步一致了,還有一些其他系統也可以使用binlog的功能,比如可以通過binlog來實作bi系統中etl的功能,將業務資料抽取到資料倉庫,阿里提供了一個java版本的專案:canal,這個專案可以模擬從庫從主庫讀取binlog的功能,也就是說可以通過java程式來監控資料庫詳細變化的流水,這個大家可以腦洞大開一下,可以做很多事情的,有興趣的朋友可以去研究一下;所以binlog對mysql來說也是相當重要的,我們來看一下系統如何確保redo log 和binlog在一致性的,都寫入成功的,

還是以update為例:

start transaction;
update t_user set name = '路人甲Java' where user_id = 666;
update t_user set name = 'javacode2018' where user_id = 888;
commit;

一個事務中可能有很多操作,這些操作會寫很多binlog日志,為了加快寫的速度,mysql先把整個程序中產生的binlog日志先寫到記憶體中的binlog cache快取中,后面再將binlog cache中內容一次性持久化到binlog檔案中,

程序如下:

  1. mysql收到start transaction后,生成一個全域的事務編號trx_id,比如trx_id=10

  2. user_id=666這個記錄我們就叫r1,user_id=888這個記錄叫r2

  3. 找到r1記錄所在的資料頁p1,將其從磁盤中加載到記憶體中

  4. 在記憶體中對p1進行修改

  5. 將p1修改操作記錄到redo log buffer中

  6. 將p1修改記錄流水記錄到binlog cache中

  7. 找到r2記錄所在的資料頁p2,將其從磁盤中加載到記憶體中

  8. 在記憶體中對p2進行修改

  9. 將p2修改操作記錄到redo log buffer中

  10. 將p2修改記錄流水記錄到binlog cache中

mysql收到commit指令

將redo log buffer攜帶trx_id=10寫入到redo log檔案,持久化到磁盤,這步操作叫做redo log prepare,內容如下

1.start trx=10;
2.寫入rb1
3.寫入rb2
4.prepare trx=10;

注意上面是prepare了,不是之前說的end了,
  1. 將binlog cache攜帶trx_id=10寫入到binlog檔案,持久化到磁盤

  2. 向redo log中寫入一條資料:end trx=10;表示redo log中這個事務完成了,這步操作叫做redo log commit

  3. 回傳給客戶端更新成功

我們來分析一下上面程序可能出現的一些情況:

步驟10操作完成后,mysql宕機了

宕機之前,所有修改都位于記憶體中,mysql重啟之后,記憶體修改還未同步到磁盤,對磁盤資料沒有影響,所以無影響,

步驟12執行完畢之后,mysql宕機了

此時redo log prepare程序是寫入redo log檔案了,但是binlog寫入失敗了,此時mysql重啟之后會讀取redo log進行恢復處理,查詢到trx_id=10的記錄是prepare狀態,會去binlog中查找trx_id=10的操作在binlog中是否存在,如果不存在,說明binlog寫入失敗了,此時可以將此操作回滾

步驟13執行完畢之后,mysql宕機

此時redo log prepare程序是寫入redo log檔案了,但是binlog寫入失敗了,此時mysql重啟之后會讀取redo log進行恢復處理,查詢到trx_id=10的記錄是prepare狀態,會去binlog中查找trx_id=10的操作在binlog是存在的,然后接著執行上面的步驟14和15.

做一個總結

上面的程序設計比較好的地方,有2點

日志先行,io順序寫,異步操作,做到了高效操作

對資料頁,先在記憶體中修改,然后使用io順序寫的方式持久化到redo log檔案;然后異步去處理redo log,將資料頁的修改持久化到磁盤中,效率非常高,整個程序,其實就是 MySQL 里經常說到的 WAL 技術,WAL 的全稱是 Write-Ahead Logging,它的關鍵點就是先寫日志,再寫磁盤,

兩階段提交確保redo log和binlog一致性

為了確保redo log和binlog一致性,此處使用了二階段提交技術,redo log 和binlog的寫分了3步走:

攜帶trx_id,redo log prepare到磁盤

攜帶trx_id,binlog寫入磁盤

攜帶trx_id,redo log commit到磁盤

上面3步驟,可以確保同一個trx_id關聯的redo log 和binlog的可靠性,

關于上面2點優秀的設計,我們平時開發的程序中也可以借鑒,下面舉2個常見的案例來學習一下,

易兮科技 Java
18級大連海事大學在校生
網路工程 & 國際經濟與貿易 雙學位
中山市易兮軟體開發有限公司創始人
易兮科技團隊負責人
Java語言愛好者

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

標籤:其他

上一篇:STM32MP157系列教程連載-Cortex-M4開發篇1:STM32MP1微控制器之開發環境

下一篇:MVCC

標籤雲
其他(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