數據的存儲結構淺析LSM-Tree和B-tree

来源:https://www.cnblogs.com/listenfwind/archive/2020/06/04/13046863.html
-Advertisement-
Play Games

本篇主要討論的是不同存儲結構(主要是LSM-tree和B-tree),它們應對的不同場景,所採用的底層存儲結構,以及對應用以提升效率的索引。 所謂資料庫,最基礎的功能,就是保存數據,並且在需要的時候可以方便地檢索到需要的數據。在這個基礎上,演化出了不同的資料庫系統,以及多種索引機制幫助檢索數據。這篇 ...


目錄


本篇主要討論的是不同存儲結構(主要是LSM-tree和B-tree),它們應對的不同場景,所採用的底層存儲結構,以及對應用以提升效率的索引。

所謂資料庫,最基礎的功能,就是保存數據,並且在需要的時候可以方便地檢索到需要的數據。在這個基礎上,演化出了不同的資料庫系統,以及多種索引機制幫助檢索數據。這篇我們就來討論幾種常見的數據存儲和索引機制,主要是B-tree,LSM-Tree,以及它們對應的優缺點。

順序存儲與哈希索引

試想一下,如果按照保存數據,並且在需要的時候可以方便地檢索到需要的數據這一標準,設計一個簡單的資料庫,那麼最簡單的做法應該怎麼做呢?

最簡單的做法,就是通過順序保存數據到一個日誌文件中。然後通過索引,這裡以哈希索引為例(比如java的hashMap),記錄每條數據的key以及對應的位移,將其保存到記憶體中,避免隨機檢索巨大的開銷。值得註意的是,引入索引,雖然會顯著提高查詢效率,但會略微降低寫入速度。因為每次寫入的時候都需要額外寫入到哈希索引中,這一點對大部分索引都是適用的。

哈希索引

上圖為哈希索引示例,下麵是順序存儲在磁碟上是日誌數據,上面的記憶體中的哈希索引。哈希索引是很多複雜索引的基礎,比如在mysql中就有提供哈希索引的選項,當然哈希索引並不常用,因為它最基礎,同時也意味著它最容易被優化。

上述形式的順序存儲+哈希索引中,增加數據和查找數據相對容易理解,而修改數據則可以通過將新數據追加到文件尾部,重新生成索引實現,刪除操作則可以給與哈希索引一個標識符實現(如對應key置為-1)。

但這樣有一個問題,可能會出現磁碟耗盡的情況。針對這一個問題,我們可以將日誌文件拆分成多個一定大小的文件段(這裡的文件段可以理解為接受統一管理的數據文件)。當一個文件段達到一定大小,比如4kb的時候,就關閉它,新建一個文件段。而舊的文件段可以進行壓縮,前面提到過,刪除和修改都是通過追加日誌相同的key-value實現的,那麼早先的數據其實就已經沒用的,所以壓縮的時候只保留最新的key數據。壓縮到過程如下麵這張圖所示:

壓縮數據

圖中上面的部分就是順序存儲的數據,可以發現其中有很多的key都是相同的,這是因為順序存儲情況下,修改數據就是不斷新寫入相同的key。這種情況我們要的只有相同key的最新的value。所以壓縮過程也是一個清理磁碟的過程。

壓縮合併過程可以由後臺進行默默進行,所以不必擔心這個過程影響查詢性能。上圖中只有一個數據文件段,但實際上可以有多個文件段,多個文件段也可以合併(類似於Hbase中多個文件的merge操作)。

當然這樣的優化可以極大程度節省空間,但必不可少得會給檢索帶來時間上的損耗。在多個文件段的情況,每個文件段都有自己的哈希索引,故而要查找數據會首先根據key查找記憶體中最新文件段的哈希索引,如果找不到,那麼找次新文件段的哈希索引,接著找次新的哈希索引,直到遍歷所有文件段的哈希索引。

綜上,順序存儲+哈希索引優點明顯,簡單,高效。缺點是哈希索引需全部存到記憶體(如果將哈希索引放到磁碟那相當於放棄了檢索的高效),並且難以實現區域查詢

為瞭解決它的這些問題,我們可以將哈希索引做一些小小的改變。具體來說,就是讓文件段的數據,按key進行排序存儲。這樣會帶來哪些改變呢?

SSTable和LSM tree

將數據文件段中的數據按key進行排序,並且保證相同的key只出現一次(在壓縮的時候保證),這種格式就稱之為排序字元串表,簡稱SStable(Sorted String Table)。

將數據按Key進行排序後有以下幾個好處:

  1. 合併更加簡單高效,即使數據文件段大於記憶體,也可以使用類似歸併排序演算法進行數據段的壓縮,即將一個大文件拆成多個小數據進行壓縮。如果多個文件段中有相同的key,那麼以最新的文件段的key為準。
  2. 緩解哈希索引需要整個hashMap存儲到記憶體的窘境。因為key是排序的,所以可以在記憶體中維持一個稀疏索引,存儲每個key的範圍,具體見下圖。並且這個稀疏索引所需的記憶體空間是很小的。

稀疏索引與SStable

通過稍微改變一下文件段的結果,就獲得如此多的好處。但還有一個問題,前面的哈希索引是基於順序存儲的日誌文件的,要讓SStable按key排序,那就不能順序存儲磁碟了呀(即無法存儲的時候立即寫入磁碟)!!的確是這樣,雖然也可以使用類似B-tree來實現磁碟上的排序存儲,但轉換下思路,其實將數據先保存在記憶體中其實更加方便

具體實現流程,是在記憶體中維護一個類似TreeMap的數據結構用於存儲數據(TreeMap底層是基於紅黑樹對存儲的key進行排序的。無論我們按照什麼樣的順序存儲數據,TreeMap總是會將數據按照key進行排序)。這個TreeMap稱為記憶體表,當記憶體表超過一定閾值的時候,就將其寫入到磁碟中,成為SStable,因為已經排好序,所以寫入的效率其實比想象的要高。後期再對磁碟中的SStable進行壓縮與合併操作。

當需要根據key檢索的時候,會先去記憶體表中檢索,找不到再去最新的SStable,再去次新的SStable,直到遍歷完全部。

上述這種索引結構被稱為之LSM-Tree,全稱是Log-Structured Merge-Tree,即日誌合併樹。而這種基於合併和壓縮文件原理的存儲引擎被稱為LSM存儲引擎,其中比較為人所知的是Hbase。

B-Tree

最後,我們再來討論流傳最久的資料庫村粗結構。與LSM-Tree這幾年才逐漸為人所知不同,B-tree存儲結構擔得起經久不衰這四個字。

B-tree本身是一種樹形的數據結構,更具體點說是一顆平衡查找樹,它也是通過存儲順序的key存儲數據(這一點和SStable有相似之處)。不同於前面的LSM-tree的文件段,B-tree將資料庫分解成固定大小的塊或頁,通常一個頁大小是4kb。這種分配方法更加貼合底層的磁碟。

當需要進行查找的時候,總是從根開始,根據範圍跳轉到對應的key,而其對應的value可以是值本身,也可以是指向存儲對應數據的磁碟地址。下圖是一個具體的例子:

B-tree

而在更新或插入的時候,有可能會出現沒有足夠空間來容納新key的問題,這時候就會發生分裂。分裂操作是比較危險的,在分裂的時候如果資料庫崩潰,可能會導致索引被破壞。為了防止這個問題,可以引入預寫日誌(write-ahead log,WAL)機制。mysql的binlog就是這樣的東西。具體說就是在執行操作的時候,將此次操作寫入一個只允許追加的文件中,這樣一來當崩潰的時候就可以檢查日誌併進行恢復。

存儲結構的比對

從使用的角度上來說,B-tree等索引存儲結構多用於OLTP型的資料庫,因為這類資料庫主要以事務,或是行級別的讀取和存儲為主的(比如Mysql)。換句話說,這種類型的資料庫更多的操作是小批量或單行級別的更新或讀取,並且可能還有事務方面的需求,這種類型正是B-tree結構所擅長的。

而 LSM-tree則多用於大規模數據情況下的檢索分析和快速寫入的情況。在寫入的性能上,因為上直接寫入記憶體再定期刷入到磁碟中,所以寫入操作對用戶的感知而言上非常迅速的。而檢索速度也因為key順序存儲,可以快速定位到key對應的位置,因而具有較好的檢索性能。

但是LSM-tree比較顯著的應用方向還是在大規模分析這方面,在大規模分析(OLAP)場景下,數據通常都是列式存儲,並且需要全表掃描。其中磁碟數據可以使用二進位進行壓縮,讀取的時候可以有效減少磁碟IO的處理時間(與之相比,B-tree等存儲結構就無法充分壓縮,因為每次都只處理小部分數據)。同時在存儲文件中還能再進一步切分,比如將列式數據按照水平切分成不同的Page,同時存儲一些簡單的索引,用來指定不同Page大概範圍,Hadoop的存儲數據格式Parquet就是類似的設計。

小結

本篇主要討論了幾種基礎的存儲結構和索引以及其對應使用場景,限於篇幅,更多索引的變種無法多加討論,比如B-tree的優化版B+tree,多列索引等。

其實大部分資料庫或者說存儲引擎,都是針對不同的場景下,在舊有的基礎上進行一定程度的微改造創新,但大體的結構依舊是以上述兩三種為準,瞭解了上述幾種結構,對數據存儲方面應該能夠有一個感性的認知了。

此外本章多參考自《DDIA》第三章節,對分散式系統感興趣的童鞋可以看看此書,肯定不會失望的。

以上~


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • Vue.directive 1.作用: 使用vue 函數構造自定義方法。 2.基本概念: 在主函數中構造自定義方法 併在模板中使用 構造方法: Vue.directive('demo',function(el,binding,vnode){ el.style='color:'+binding.val ...
  • 在開發中修改第三方組件樣式是很常見,但由於 scoped 屬性的樣式隔離,可能需要去除 scoped 或是另起一個 style 。 這些做法都會帶來副作用(組件樣式污染、不夠優雅),樣式穿透在css預處理器中使用才生效。 我們可以使用 >>> 或 /deep/ 解決這一問題: <style scop ...
  • canvas 和 webGL 這兩項圖形技術結合 css3 可以說能完成絕大部分的動畫和需求。但 canvas 和 webGL 畢竟是偏向底層的繪製引擎,某些場景使用起來還是過於繁瑣的,不分場合一律使用錘子解決的行為不值得提倡。svg 在解決排版,圖標,相關動畫還是非常高效的,而且 svg 還是矢量 ...
  • 一、ODS層ODS 全稱是 Operational Data Store,一般對應的是操作性數據存儲,直接面向主題的,也叫數據運營層,通常是最接近數據源中數據的一層,數據源中的數據,經過抽取、洗凈、傳輸,也就是通常說的 ETL 之後的數據存入本層。本層的數據,總體上大多是按照源頭業務系統的分類方式而 ...
  • 一、MPP 架構 1、MPP架構的基礎概念 MPP (Massively Parallel Processing),即大規模並行處理,在資料庫非共用集群中,每個節點都有獨立的磁碟存儲系統和記憶體系統,業務數據根據資料庫模型和應用特點劃分到各個節點上,每台數據節點通過專用網路或者商業通用網路互相連接,彼 ...
  • 背景 有人對Java主流鎖做了下麵全面的梳理。梳理的確實挺好的。但是我看到這張圖,第一個感覺是:記不住。 因為分了太多類,彼此之間沒有什麼聯繫。做PPT可以。如果聊天或者面試,不用紙筆的情況下,就不太好描述了。也不利於對原理和應用的理解。 基於上述的考慮,我就自己系統的梳理一下鎖,希望可以有助於大家 ...
  • 一、使用反射機制來 (1)獲取一個類; (2)獲取類的構造函數 (3)通過構造函數來獲取一個對象 package com.bjpowernode.java_learning; import java.lang.reflect.*; ​ public class D120_1_ConstructerO ...
  • 本教程源碼請訪問:tutorial_demo 一、AOP概述 1.1、概念 AOP:全稱是Aspect Oriented Programming,即:面向切麵編程。 通過預編譯方式和運行期間動態代理實現程式功能的統一維護的一種技術。AOP是OOP的延續,是軟體開發中的一個熱點,也是Spring框架中 ...
一周排行
    -Advertisement-
    Play Games
  • 示例項目結構 在 Visual Studio 中創建一個 WinForms 應用程式後,項目結構如下所示: MyWinFormsApp/ │ ├───Properties/ │ └───Settings.settings │ ├───bin/ │ ├───Debug/ │ └───Release/ ...
  • [STAThread] 特性用於需要與 COM 組件交互的應用程式,尤其是依賴單線程模型(如 Windows Forms 應用程式)的組件。在 STA 模式下,線程擁有自己的消息迴圈,這對於處理用戶界面和某些 COM 組件是必要的。 [STAThread] static void Main(stri ...
  • 在WinForm中使用全局異常捕獲處理 在WinForm應用程式中,全局異常捕獲是確保程式穩定性的關鍵。通過在Program類的Main方法中設置全局異常處理,可以有效地捕獲並處理未預見的異常,從而避免程式崩潰。 註冊全局異常事件 [STAThread] static void Main() { / ...
  • 前言 給大家推薦一款開源的 Winform 控制項庫,可以幫助我們開發更加美觀、漂亮的 WinForm 界面。 項目介紹 SunnyUI.NET 是一個基於 .NET Framework 4.0+、.NET 6、.NET 7 和 .NET 8 的 WinForm 開源控制項庫,同時也提供了工具類庫、擴展 ...
  • 說明 該文章是屬於OverallAuth2.0系列文章,每周更新一篇該系列文章(從0到1完成系統開發)。 該系統文章,我會儘量說的非常詳細,做到不管新手、老手都能看懂。 說明:OverallAuth2.0 是一個簡單、易懂、功能強大的許可權+可視化流程管理系統。 有興趣的朋友,請關註我吧(*^▽^*) ...
  • 一、下載安裝 1.下載git 必須先下載並安裝git,再TortoiseGit下載安裝 git安裝參考教程:https://blog.csdn.net/mukes/article/details/115693833 2.TortoiseGit下載與安裝 TortoiseGit,Git客戶端,32/6 ...
  • 前言 在項目開發過程中,理解數據結構和演算法如同掌握蓋房子的秘訣。演算法不僅能幫助我們編寫高效、優質的代碼,還能解決項目中遇到的各種難題。 給大家推薦一個支持C#的開源免費、新手友好的數據結構與演算法入門教程:Hello演算法。 項目介紹 《Hello Algo》是一本開源免費、新手友好的數據結構與演算法入門 ...
  • 1.生成單個Proto.bat內容 @rem Copyright 2016, Google Inc. @rem All rights reserved. @rem @rem Redistribution and use in source and binary forms, with or with ...
  • 一:背景 1. 講故事 前段時間有位朋友找到我,說他的窗體程式在客戶這邊出現了卡死,讓我幫忙看下怎麼回事?dump也生成了,既然有dump了那就上 windbg 分析吧。 二:WinDbg 分析 1. 為什麼會卡死 窗體程式的卡死,入口門檻很低,後續往下分析就不一定了,不管怎麼說先用 !clrsta ...
  • 前言 人工智慧時代,人臉識別技術已成為安全驗證、身份識別和用戶交互的關鍵工具。 給大家推薦一款.NET 開源提供了強大的人臉識別 API,工具不僅易於集成,還具備高效處理能力。 本文將介紹一款如何利用這些API,為我們的項目添加智能識別的亮點。 項目介紹 GitHub 上擁有 1.2k 星標的 C# ...