小米官宣：2023年上半年出貨量中國第一！
今日早間，小米電視官方微博帶來消息，稱2023年小米電視上半年出貨量達到了中國第一，同時還表示小米電視的巨屏風暴即將開始。“公布一個好消息2023年#小米電視上半年出貨量中國
今天來聊兩個問題：
首先來回顧一下《預寫日志WAL的核心思路...》中相關的一些知識點：
再來介紹兩個新的知識點：
其一，在數據庫中，需要存儲一個信息：flushed-LSN：預寫日志已刷盤的最大LSN。
畫外音：這是日志刷盤。
其二，每個數據頁X，還要包含兩個信息：
這是兩個邊界LSN。
也就是說，在[rec-LSN, page-LSN]之間的所有操作，都將這一頁數據變成了臟數據。
畫外音：這是數據頁刷盤。
如果flushed-LSN >= page-LSN(X)
說明：我們可以將頁面X刷到磁盤上，因為在那之前的所有日志，都已經刷到了磁盤上。
畫外音：這是WAL原則，先刷日志，才能刷數據。
反之，如果flushed-LSN =< page-LSN(X)
說明：有些對數據頁X的操作，還沒有被刷到預寫日志磁盤上，此時我們不能將數據頁X刷到磁盤。
如上圖例子所示，共有四個事務：
對于預寫日志來說：
對于數據庫來說：
對于數據頁X來說：
此時，flushed-LSN =< page-LSN(X)
于是，我們不能將數據頁X刷到磁盤，因為預寫日志還沒有完成。我們只能刷盤其他數據頁，來騰出緩沖池的內存空間哈。
數據庫崩潰后，所有內存buffer（WAL buffer以及buffer pool）中的數據都會丟失，我們如何利用檢查點與預寫日志，對數據進行恢復呢？
最常見故障恢復（crash recovery）算法是ARIES，Algorithms for Recovery and Isolation Exploiting Semantics，語義恢復與隔離算法。
這個算法的核心包含三個階段：
階段一，分析階段：分析預寫日志，對事務進行分類。
分析哪些預寫日志？
假設刷新檢查點日志的時刻是LSN，需要分析所有檢查點LSN之后的預寫日志。
如何對事務進行分類？
從檢查點LSN開始，從前往后掃描預寫日志：
階段二，Redo階段：重做檢查點LSN之后，預寫日志中的所有操作。
從檢查點LSN開始，從前往后掃描預寫日志：
遇到<Ti, update>記錄，修改檢查點中對應的數據頁X，將對應的數據進行修改，如此一來，就恢復到了數據庫崩潰前的緩沖池數據頁鏡像。
這些數據頁能全部刷盤嗎？
不能，沒有提交的事務的操作，必須進行回滾。
階段三，Undo階段：對于沒有提交的事務，恢復這些事務對數據頁的修改。
從flushed-LSN開始，從后往前逆向掃描預寫日志，直到檢查點LSN：
遇到<Ti, update>記錄，如果Ti在undo-Tx集合中，就將對應的數據頁進行回滾修改，如此一來，所有未提交事務的修改，就進行了回滾。
ARIES算法是數據恢復的典型算法，很多消息系統，存儲系統，事務系統對算法進行過效率改良，但其內核，萬變不離其宗。思路，比結論更重要。
本文鏈接：http://www.tebozhan.com/showinfo-26-98869-0.htmlARIES，數據恢復算法，萬變不離其宗...
聲明：本網頁內容旨在傳播知識，若有侵權等問題請及時與本網聯系，我們將在第一時間刪除處理。郵件：2376512515@qq.com
上一篇： 為金融數字化轉型保駕護航，Testin云測助力金融科技升級
下一篇： 你應該知道的主要軟件設計原則
Copyright ? 2016-2023 天津谷騏科技有限公司 版權所有 sitemap.xml
違法及侵權請聯系：2376512515@qq.com 津ICP備18001702號
津公網安備 12010102000574號