全書分為3篇:1.第1篇首先會詳細(xì)講解存儲引擎的全貌,讓讀者能對存儲引擎有一個整體的思維框架,介紹存儲引擎的兩大分支:基于b+樹的存儲引擎、基于lsm派系的存儲引擎,其次對存儲引擎部分涉及的一些數(shù)據(jù)結(jié)構(gòu)、存儲介質(zhì)等概念做一個簡要的介紹,為后面內(nèi)容的深入學(xué)習(xí)做鋪墊。2.第二篇主要介紹基于b+樹的存儲引擎,在理論部分重點回答為什么選擇b+樹做存儲引擎索引結(jié)構(gòu)、b+樹存儲引擎解決哪些問題以及如何解決。在實踐部分選擇開源社區(qū)中比較有名的boltdb存儲引擎項目來講解其內(nèi)部核心源碼的實現(xiàn)細(xì)節(jié)。3.第三篇主要介紹基于lsm派系的存儲引擎,理論部分重點介紹lsm tree中各組件的功能及作用,并在此基礎(chǔ)上擴展介紹其他幾類lsm派系存儲引擎的實現(xiàn)思路,幫助讀者開闊視野,實踐部分分別以bitcask、moss、leveldb等開源項目的核心源碼來展開,介紹其內(nèi)部實現(xiàn)細(xì)節(jié)。通過閱讀本書,讀者不僅能對存儲引擎,尤其是單機的存儲引擎有一個整體的框架,而且能對兩類存儲引擎的實現(xiàn)思路及背后原理有個深刻的掌握,只有深刻理解了存儲引擎的背后實現(xiàn)原理,讀者不僅可以自己動手開發(fā)自己的存儲引擎,更可以很快掌握關(guān)系型數(shù)據(jù)庫或者NoSql這類組件的核心原理,對未來實際應(yīng)用與開發(fā)提供參考。
1.實戰(zhàn)積淀,資深工程師傾囊相授:本書由互聯(lián)網(wǎng)大廠資深工程師撰寫,凝聚其多年一線實踐經(jīng)驗,為讀者提供了寶貴的存儲引擎底層原理與實戰(zhàn)攻略,助力高效掌握關(guān)鍵技術(shù),從容解決業(yè)務(wù)挑戰(zhàn)。2.問題導(dǎo)向,深度揭秘存儲引擎:作者創(chuàng)新采用問題引導(dǎo)式教學(xué)法,通過一系列精心設(shè)計的問題逐步揭示存儲引擎的奧秘,包括存儲引擎特性、高頻數(shù)據(jù)結(jié)構(gòu)及存儲介質(zhì)等方面內(nèi)容,讓讀者輕松理解并深化記憶。3.兩大主流引擎深度解析:書中詳盡闡述了B+樹和LSM派系存儲引擎的宏觀原理與微觀設(shè)計,輔以主流源碼實現(xiàn)解讀,讓您既能把握整體架構(gòu),又能洞悉細(xì)微之處,全面提升對存儲引擎的認(rèn)知水平。4.理論聯(lián)系實際,案例豐富:全書結(jié)合實際應(yīng)用場景,以BoltDB和LevelDB為實例,細(xì)致剖析存儲引擎的實際運作機制,無論是初學(xué)者還是資深開發(fā)者,都能從中獲得深刻理解和實戰(zhàn)指導(dǎo)。5.業(yè)界權(quán)威人士鼎力推薦:多位來自騰訊、PingCAP等知名企業(yè)的數(shù)據(jù)庫技術(shù)專家聯(lián)袂推薦,一致認(rèn)為本書對于理解存儲引擎原理、提升數(shù)據(jù)處理與優(yōu)化能力具有重要價值,是每一位軟件開發(fā)者及數(shù)據(jù)庫從業(yè)者深入研究存儲技術(shù)的理想讀本。
前 言
為什么要寫這本書
在互聯(lián)網(wǎng)行業(yè)中,存儲是一個非常重要的領(lǐng)域。所有的互聯(lián)網(wǎng)應(yīng)用都離不開數(shù)據(jù)的存儲和檢索。然而,存儲系統(tǒng)是計算機中非常復(fù)雜的一類系統(tǒng)。想掌握它,不僅需要掌握數(shù)據(jù)結(jié)構(gòu)、算法、操作系統(tǒng)等知識,還要掌握分布式系統(tǒng)相關(guān)知識。因此,存儲領(lǐng)域的入門門檻較高,對于初學(xué)者或者存儲愛好者而言并不友好。不幸的是,我也屬于存儲愛好者這個行列。此外,在日常工作和求職時,存儲相關(guān)知識的運用和考察占比非常大。如果對存儲系統(tǒng)的原理有深入的理解,在工作時能夠更好地編寫高效的軟件,在求職時也將是明顯的優(yōu)勢和加分項。
目前業(yè)界的存儲系統(tǒng)主要包括關(guān)系數(shù)據(jù)庫(如MySQL、Oracle等)、NoSQL數(shù)據(jù)庫(如Redis、MongoDB、InfluxDB、OrientDB等)、NewSQL數(shù)據(jù)庫(如TiDB、OceanBase、CockroachDB等),以及消息隊列中間件(如Kafka、RocketMQ、Pulsar等)。這些存儲系統(tǒng)絕大部分都是分布式系統(tǒng),它們將多個單機節(jié)點有序地組織在一起來提供服務(wù)。如果按照模塊化的思路進(jìn)行拆解,這類系統(tǒng)可以分為單機存儲組件和分布式組件。單機存儲組件主要針對單個實例,關(guān)注數(shù)據(jù)如何高效地存儲和檢索,主要考慮數(shù)據(jù)如何組織、索引如何維護(hù)、數(shù)據(jù)如何在磁盤上布局、單機事務(wù)如何支持等問題。而分布式組件則更多關(guān)注多個實例之間的數(shù)據(jù)同步、故障發(fā)生后的故障自動遷移、數(shù)據(jù)一致性的保證、數(shù)據(jù)分片等問題。
雖然不同類型的存儲系統(tǒng)有很多差異,但在本質(zhì)上它們之間存在一些通用的技術(shù)點。市場上有幾本相關(guān)的書籍介紹這些內(nèi)容,比如Martin Kleppmann所著的《數(shù)據(jù)密集型應(yīng)用系統(tǒng)設(shè)計》和Alex Petrov所著的《數(shù)據(jù)庫系統(tǒng)內(nèi)幕》等。此外,還有一些主要介紹關(guān)系數(shù)據(jù)庫的書籍,比如Hector Garcia-Molina等人所著的《數(shù)據(jù)庫系統(tǒng)實現(xiàn)》、Abraham Silberschatz等人所著的《數(shù)據(jù)庫系統(tǒng)概念》和Baron Schwartz等人所著的《高性能MySQL》等。對于第一類書籍,我閱讀完后發(fā)現(xiàn)其廣度非常大,每個技術(shù)點都介紹到了,但在具體的技術(shù)專題上缺乏深度,需要搜羅其他資料進(jìn)行深入學(xué)習(xí);而第二類書籍更多的是從理論上介紹,讀者閱讀完以后很難直接上手去剖析任何一款數(shù)據(jù)庫的源碼。
2020年年底,由于工作需要,我有幸負(fù)責(zé)了單機嵌入式的KV(鍵值對)存儲引擎的調(diào)研工作,隨后接觸并研究了BoltDB、LevelDB、RocksDB、PebblesDB、Bitcask等項目。在調(diào)研過程中我花費了很多的時間和精力,也走了很多彎路。當(dāng)時在網(wǎng)上搜索了很多資料,但沒有解開我內(nèi)心的困惑。當(dāng)時想,如果市面上有一本系統(tǒng)地介紹存儲引擎的書就好了(比如存儲引擎的分類、適用場景、設(shè)計上的共通之處及工程實現(xiàn)等),這樣的書可以幫助我少走很多探索的彎路。后來偶然的機會接觸到了《數(shù)據(jù)密集型應(yīng)用系統(tǒng)設(shè)計》這本書,一讀就被這本書的內(nèi)容深深地吸引了。我反復(fù)讀了第3章,每次讀完書中對存儲引擎簡明扼要的介紹時,都有一種豁然開朗的感覺。在后來不斷研究的過程中,我對單機的KV存儲引擎有了深入的認(rèn)識和個人理解。其間,我將其作為一個專題在團(tuán)隊內(nèi)部和外部社區(qū)進(jìn)行了分享,收到了不錯的反饋,也有幸?guī)椭搅艘恍┘夹g(shù)小伙伴。
后來我想,像我當(dāng)初一樣,在入門存儲時存在各種疑惑的初學(xué)者可能有很多。于是我決定嘗試動手寫一本解開上述疑惑的書,記錄研究過程中的一些經(jīng)驗和感悟。于是,有了這本書。本書將給讀者一個全新的視角,秉承大道至簡的主導(dǎo)思想,聚焦于單機存儲引擎本身,重點分析存儲引擎如何處理存儲和檢索,編寫上采用理論結(jié)合實踐的方式,并給出項目源碼分析。本書不僅僅是某種技能的分享,更致力于建立方法論,分享個人的一些想法和見解,希望能夠拋磚引玉,為讀者拓展出更深入、更全面的思路,幫助存儲初學(xué)者和愛好者知其然并知其所以然。最后,希望本書能夠填補存儲領(lǐng)域的一些空白。
本書特色
本書主要有三個目標(biāo)。首先,分析存儲引擎和各種存儲系統(tǒng)之間的關(guān)系,使讀者明確存儲引擎在存儲系統(tǒng)中的位置和角色。其次,給出存儲引擎的整體框架和分類,使讀者對存儲引擎有全面的了解。最后,對于每種存儲引擎,主要關(guān)注數(shù)據(jù)的存儲和檢索過程,解釋每類存儲引擎背后的設(shè)計思想和方案選擇,使讀者既知其然又知其所以然。
本書在寫作上采用了理論結(jié)合實踐的方式。每一類存儲引擎的介紹,分為理論部分和實踐部分。理論部分重點介紹設(shè)計方案和思想,不僅告訴讀者每一類存儲引擎能解決什么問題、適用于什么場景,還告訴讀者為什么它們能解決這些問題。在介紹設(shè)計原理的基礎(chǔ)上,配套一個開源項目進(jìn)行核心源碼的分析,幫助讀者更深入地理解存儲引擎的原理。
本書的目的不是介紹某個項目或技術(shù),而是闡述存儲引擎背后通用的設(shè)計思想和方法論。我在前人的基礎(chǔ)上抽象和整理出來的方法論可以幫助讀者更好、更快、更輕松地理解存儲引擎,解決存儲領(lǐng)域門檻較高的問題。此外,這些設(shè)計思想不局限于存儲系統(tǒng),讀者在深刻理解后可以在計算機的其他系統(tǒng)中復(fù)用。因此,處于不同工作階段的不同人群可能有不同的閱讀感受,讀者可以根據(jù)需要在不同階段多次閱讀本書。
讀者對象
在閱讀本書之前,希望讀者對計算機基本知識有一個大致的了解,同時具備一定的編程基礎(chǔ),至少熟悉一種編程語言(如C++或Go)等。如果有一些關(guān)系數(shù)據(jù)庫或者其他數(shù)據(jù)庫的經(jīng)驗會更好,否則閱讀起來可能有些許困難。本書的讀者對象主要包括:
數(shù)據(jù)庫架構(gòu)師。
開發(fā)應(yīng)用架構(gòu)師。
數(shù)據(jù)庫開發(fā)人員。
后端開發(fā)人員。
存儲、數(shù)據(jù)庫愛好者。
其他計算機從業(yè)人員。
如何閱讀本書
本書共9章內(nèi)容,從邏輯上分為三部分。
第一部分為存儲引擎基礎(chǔ),一方面對存儲引擎進(jìn)行概述,另一方面介紹存儲引擎中高頻使用的數(shù)據(jù)結(jié)構(gòu)和存儲介質(zhì)。這部分包括以下3章內(nèi)容。
第1章首先對互聯(lián)網(wǎng)上的各種存儲系統(tǒng)進(jìn)行不同維度的分類,并在此基礎(chǔ)上分析其內(nèi)部數(shù)據(jù)存儲的核心—存儲引擎。接著對存儲引擎進(jìn)行分類。本章是提綱挈領(lǐng)的一章。
第2章按照讀/寫的時間復(fù)雜度從低到高的順序介紹存儲引擎中索引高頻使用的數(shù)據(jù)結(jié)構(gòu)。涉及的數(shù)據(jù)結(jié)構(gòu)包括數(shù)組、鏈表、Hash(哈希)表、位圖、布隆過濾器、二叉搜索樹、紅黑樹、跳表、B樹、B+樹等。
第3章對存儲引擎中的存儲介質(zhì)進(jìn)行介紹,主要包括內(nèi)存、持久化內(nèi)存、磁盤等介質(zhì)。本章內(nèi)容涉及了大量的操作系統(tǒng)知識,例如虛擬內(nèi)存、文件系統(tǒng)等。
第二部分為基于B+樹的存儲引擎,重點討論處理讀多寫少場景的B+樹存儲引擎的相關(guān)內(nèi)容。這部分包括以下3章內(nèi)容。
第4章從宏觀角度分析B+樹存儲引擎的原理。這一章采用了逐步推導(dǎo)的思路來展開介紹,告訴讀者B+樹存儲引擎背后的方案選型和取舍。
第5章從微觀角度介紹B+樹存儲引擎中的細(xì)節(jié)。一方面介紹了B+樹存儲引擎的正常處理流程、邊界條件的處理過程、異常情況的應(yīng)對方案;另一方面介紹了存儲引擎中事務(wù)的實現(xiàn)方案和多版本并發(fā)控制等內(nèi)容。
第6章以BoltDB存儲引擎為例,分析其核心源碼實現(xiàn)邏輯。本章是實踐內(nèi)容,通過對BoltDB核心源碼的分析,使讀者更好地理解B+樹存儲引擎的內(nèi)部工作原理。
第三部分為基于LSM派系的存儲引擎,主要介紹處理寫多讀少場景的LSM派系存儲引擎的相關(guān)內(nèi)容。這部分包括以下3章內(nèi)容。
第7章也采用了逐步推導(dǎo)的方式,首先介紹LSM Tree(LSM樹)存儲引擎的內(nèi)部原理和演變過程,其次對LSM Tree的幾個核心問題(如數(shù)據(jù)合并、數(shù)據(jù)分區(qū)、放大問題、寫放大優(yōu)化等)進(jìn)行詳細(xì)的介紹。
第8章對LSM派系的各類存儲引擎(如LSM Tree、LSM Hash、LSM Array、消息隊列Kafka等)進(jìn)行闡述。其中,在介紹LSM Tree時重點對KV分離存儲技術(shù)WiscKey進(jìn)行了詳細(xì)的講解。
第9章以LevelDB為例,對其核心源碼進(jìn)行剖析。通過前面兩章的理論介紹和本章的源碼分析,讀者可以深入理解LSM Tree存儲引擎的原理。
其中,第1章、第4章、第5章、第7章、第8章為本書的重點。如果你沒有充足的時間閱讀全書,可以選擇性地閱讀重點章節(jié)。
勘誤和支持
由于我的水平有限且編寫時間緊張,書中難免會出現(xiàn)一些錯誤或者不準(zhǔn)確的地方,懇請讀者批評指正。讀者可以通過郵箱2282186474@qq.com反饋寶貴的意見和建議,期待與大家在技術(shù)交流中互勉共進(jìn)。
致謝
感謝那些為開源項目做過分享的技術(shù)大咖和發(fā)表過學(xué)術(shù)論文的學(xué)者,以及各社區(qū)和平臺上的技術(shù)愛好者,尤其是《數(shù)據(jù)密集型應(yīng)用系統(tǒng)設(shè)計》的作譯者。他們的開源和分享對本書的編寫起到了至關(guān)重要的作用。在編寫本書的過程中,我一方面參考了大量相關(guān)論文、項目源碼和資料,另一方面也參考了一些非常優(yōu)秀的博客文章。這些資料對我的研究和探索也起到了非常重要的作用。
感謝我的妻子王淑明女士,為寫作這本書,我犧牲了很多陪伴她的時間。也感謝我的其他家人,他們的關(guān)懷給了我堅持寫作的動力。
特別感謝我職業(yè)生涯中的導(dǎo)師楊天琳先生,在本書寫作之前的方案調(diào)研和準(zhǔn)備過程中,他給了我很多建議。此外,在日常工作中我們進(jìn)行過很多次技術(shù)討論和交流,他給了我很多幫助。沒有他在技術(shù)上的指導(dǎo),我估計不會有寫作本書的計劃。
謹(jǐn)以此書獻(xiàn)給我最親愛的家人、朋友,以及為計算機行業(yè)做出巨大貢獻(xiàn)的大師們。
文小飛
文小飛,在騰訊負(fù)責(zé)推薦系統(tǒng)后臺核心模塊研發(fā)工作,擅長go語言,熟悉推薦系統(tǒng)后臺工作;對網(wǎng)絡(luò)編程、微服務(wù)rpc框架、存儲、分布式共識算法(raft)等技術(shù)比較感興趣。
Contents 目 錄
前言
第1章 存儲引擎概述1
1.1 數(shù)據(jù)存儲體系1
1.1.1 OLTP、OLAP與HTAP1
1.1.2 關(guān)系數(shù)據(jù)庫、NoSQL數(shù)據(jù)庫與
NewSQL數(shù)據(jù)庫2
1.1.3 內(nèi)存型存儲組件與磁盤型存儲
組件8
1.1.4 讀多寫少組件、寫多讀少組件
和讀多寫多組件9
1.1.5 數(shù)據(jù)存儲與檢索10
1.2 數(shù)據(jù)存儲的核心:存儲引擎10
1.2.1 存儲引擎整體架構(gòu)10
1.2.2 存儲引擎的共性問題13
1.3 存儲引擎的分類13
1.3.1 讀多寫少:基于B+樹的存儲
引擎14
1.3.2 寫多讀少:基于LSM派系的
存儲引擎15
1.4 小結(jié)17
第2章 索引數(shù)據(jù)結(jié)構(gòu)18
2.1 基礎(chǔ)數(shù)據(jù)結(jié)構(gòu)18
2.1.1 數(shù)組18
2.1.2 鏈表20
2.2 Hash類數(shù)據(jù)結(jié)構(gòu)22
2.2.1 Hash表22
2.2.2 位圖27
2.2.3 布隆過濾器28
2.3 二叉樹類數(shù)據(jù)結(jié)構(gòu)32
2.3.1 二叉搜索樹33
2.3.2 紅黑樹36
2.3.3 跳表45
2.4 多叉樹類數(shù)據(jù)結(jié)構(gòu)48
2.4.1 B樹49
2.4.2 B+樹57
2.4.3 其他多叉樹61
2.5 小結(jié)61
第3章 數(shù)據(jù)存儲介質(zhì)64
3.1 內(nèi)存65
3.1.1 內(nèi)存的基本內(nèi)容65
3.1.2 內(nèi)存管理機制69
3.1.3 虛擬內(nèi)存管理機制80
3.2 持久化內(nèi)存92
3.3 磁盤96
3.3.1 磁盤的基本內(nèi)容97
3.3.2 磁盤管理機制102
3.3.3 加速磁盤訪問的方案111
3.4 小結(jié)112
第4章 從宏觀角度理解B+樹存儲
引擎的原理113
4.1 B+樹存儲引擎產(chǎn)生的起點114
4.1.1 誕生的背景114
4.1.2 設(shè)計的目標(biāo)116
4.2 B+樹存儲引擎方案選型117
4.2.1 數(shù)據(jù)結(jié)構(gòu)方案對比117
4.2.2 目光轉(zhuǎn)向磁盤118
4.2.3 索引維護(hù)和存儲121
4.2.4 選擇B樹還是B+樹125
4.3 B+樹存儲引擎方案選型結(jié)果128
4.3.1 方案選型結(jié)果128
4.3.2 反向論證130
4.4 小結(jié)130
第5章 從微觀角度理解B+樹存儲
引擎的工程細(xì)節(jié)132
5.1 邊界條件處理132
5.1.1 B+樹在磁盤和內(nèi)存中的映射132
5.1.2 讀操作的處理133
5.1.3 寫操作的處理137
5.2 異常情況處理154
5.2.1 異常情況總體分析154
5.2.2 數(shù)據(jù)部分寫入的異常處理156
5.3 事務(wù)158
5.3.1 事務(wù)的基本概念158
5.3.2 并發(fā)控制160
5.4 范圍查詢與全量遍歷170
5.5 小結(jié)171
第6章 BoltDB核心源碼分析172
6.1 BoltDB整體結(jié)構(gòu)172
6.1.1 BoltDB項目結(jié)構(gòu)172
6.1.2 BoltDB整體實現(xiàn)架構(gòu)173
6.2 page解析175
6.2.1 page基本結(jié)構(gòu)176
6.2.2 元數(shù)據(jù)頁177
6.2.3 空閑列表頁179
6.2.4 分支節(jié)點頁183
6.2.5 葉子節(jié)點頁186
6.3 node解析187
6.3.1 B+樹結(jié)構(gòu)概述187
6.3.2 node結(jié)構(gòu)分析187
6.3.3 node的增刪改查189
6.3.4 node分裂190
6.3.5 node合并195
6.4 Bucket解析199
6.4.1 Bucket結(jié)構(gòu)分析199
6.4.2 Bucket遍歷的Cursor核心
結(jié)構(gòu)分析201
6.4.3 Bucket的增刪改查206
6.4.4 KV數(shù)據(jù)的增刪改查210
6.4.5 Bucket的分裂和合并211
6.5 Tx解析213
6.5.1 Tx結(jié)構(gòu)分析213
6.5.2 Commit()方法分析214
6.5.3 Rollback()方法分析217
6.6 DB解析219
6.6.1 DB結(jié)構(gòu)分析219
6.6.2 Open()方法分析221
6.6.3 Begin()方法分析224
6.6.4 Update()和View()方法分析226
6.6.5 Batch()方法分析227
6.7 小結(jié)229
第7章 深入理解LSM Tree原理232
7.1 LSM Tree的發(fā)展背景232
7.2 從零推導(dǎo)LSM Tree234
7.2.1 存儲介質(zhì)的選擇234
7.2.2 寫請求的處理234
7.2.3 讀請求的處理239
7.3 LSM Tree的架構(gòu)演進(jìn)240
7.3.1 數(shù)據(jù)更新分類240
7.3.2 雙組件LSM Tree結(jié)構(gòu)241
7.3.3 多組件LSM Tree結(jié)構(gòu)242
7.3.4 實際的LSM Tree結(jié)構(gòu)243
7.4 LSM Tree的核心問題245
7.4.1 數(shù)據(jù)壓縮/合并245
7.4.2 數(shù)據(jù)分區(qū)246
7.4.3 讀放大、寫放大和空間放大249
7.4.4 寫放大優(yōu)化251
7.5 小結(jié)252
第8章 LSM派系存儲引擎253
8.1 LSM Tree存儲引擎253
8.1.1 LSM Tree工程應(yīng)用253
8.1.2 LSM Tree的KV分離存儲
技術(shù)WiscKey256
8.2 LSM Hash存儲引擎264
8.2.1 LSM Hash的起源264
8.2.2 Bitcask的核心原理265
8.3 LSM Array存儲引擎269
8.3.1 LSM Array的設(shè)計思想269
8.3.2 Moss的核心原理270
8.4 其他LSM存儲引擎274
8.4.1 LSM存儲引擎擴展274
8.4.2 消息隊列Kafka存儲引擎275
8.5 小結(jié)277
第9章 LevelDB核心源碼分析278
9.1 LevelDB概述278
9.1.1 LevelDB整體架構(gòu)279
9.1.2 LevelDB項目結(jié)構(gòu)280