主頁 > 軟體設計 > 面試:Redis為什么快呢?查詢為何會變慢呢?

面試:Redis為什么快呢?查詢為何會變慢呢?

2021-01-13 11:33:01 軟體設計

越努力,越幸運,
本文已收藏在GitHub中JavaCommunity, 里面有面試分享、原始碼分析系列文章,歡迎收藏,點贊
https://github.com/Ccww-lx/JavaCommunity

在實際開發,Redis使用會頻繁,那么在使用程序中我們該如何正確抉擇資料型別呢?哪些場景下適用哪些資料型別,而且在面試中也很常會被面試官問到Redis資料結構方面的問題:

  • Redis為什么快呢?
  • 為什么查詢操作會變慢了?
  • Redis Hash rehash程序
  • 為什么使用哈希表作為Redis的索引

當我們分析理解了Redis資料結構,可以為了我們在使用Redis的時候,正確抉擇資料型別使用,提升系統性能,

Redis底層資料結構

Redis 是一個記憶體鍵值key-value 資料庫,且鍵值對資料保存在記憶體中,因此Redis基于記憶體的資料操作,其效率高,速度快;

其中,KeyString型別,Redis 支持的 value 型別包括了 StringListHashSetSorted SetBitMap等,Redis 能夠之所以能夠廣泛地適用眾多的業務場景,基于其多樣化型別的value

RedisValue的資料型別是基于為Redis自定義的物件系統redisObject實作的,

typedef struct redisObject{
    //型別
    unsigned type:4;
    //編碼
    unsigned encoding:4;
    //指向底層實作資料結構的指標
    void *ptr;.. 
} 

redisObject除了記錄實際資料,還需要額外的記憶體空間記錄資料長度、空間使用等元資料資訊,其中包含了 8 位元組的元資料和一個 8 位元組指標,指標指向具體資料型別的實際資料所在位置:

?image.png

其中,指標指向的就是基于Redis的底層資料結構存盤資料的位置,Redis的底層資料結構:SDS,雙向鏈表、跳表,哈希表,壓縮串列、整數集合實作的,

那么Redis底層資料結構是怎么實作的呢?

Redis底層資料結構實作

我們先來看看Redis比較簡單的**SDS,雙向鏈表,整數集合**,

SDS、雙向鏈表和整數集合

SDS,使用len欄位記錄已使用的位元組數,將獲取字串長度復雜度降低為O(1),而且SDS惰性釋放空間的,你free了空間,系統把資料記錄下來下次想用時候可直接使用,不用新申請空間,
image.png
整數集合,在記憶體中分配一塊地址連續的空間,資料元素會挨著存放,不需要額外指標帶來空間開銷,其特點為記憶體緊湊節省記憶體空間,查詢復雜度為O(1)效率高,其他操作復雜度為O(N);

雙向鏈表, 在記憶體上可以為非連續、非順序空間,通過額外的指標開銷前驅/后驅指標串聯元素之間的順序,

其特點為節插入/更新資料復雜度為O(1)效率高,查詢復雜度為O(N);

Hash哈希表

哈希表,其實類似是一個陣列,陣列的每個元素稱為一個哈希桶,每個哈希桶中保存了鍵值對資料,且哈希桶中的元素使用dictEntry結構,
image.png

因此,哈希桶元素保存的并不是鍵值對值本身,而是指向具體值的指標,**所以在保存每個鍵值對的時候會額外空間開銷,至少有增加24個位元組,**特別是ValueString的鍵值對,每一個鍵值對就需要額外開銷24個位元組空間,當保存資料小,額外開銷比資料還大時,這時為了節省空間,考慮換資料結構,

那來看看全域哈希表全圖:
image.png
雖然哈希表操作很快,但Redis資料變大后,就會出現一個潛在的風險:哈希表的沖突問題和 rehash開銷問題這可以解釋為什么哈希表操作變慢了?

當往哈希表中寫入更多資料時,哈希沖突是不可避免的問題 , Redis 解決哈希沖突的方式,就是鏈式哈希,同一個哈希桶中的多個元素用一個鏈表來保存,它們之間依次用指標連接,如圖所示:
image.png

當哈希沖突也會越來越多,這就會導致某些哈希沖突鏈過長,進而導致這個鏈上的元素查找耗時長,效率降低,

為了解決哈希沖突帶了的鏈過長的問題,進行rehash操作,增加現有的哈希桶數量,分散單桶元素數量,那么rehash程序怎么樣執行的呢?

Rehash

為了使rehash 操作更高效,使用兩個全域哈希表:哈希表 1 和哈希表 2,具體如下:

  • 將哈希表 2 分配更大的空間,
  • 把哈希表 1 中的資料重新映射并拷貝到哈希表 2 中;
  • 釋放哈希表 1 的空間

但由于表1和表2在重新映射復制時資料大,如果一次性把哈希表 1 中的資料都遷移完,會造成 Redis 執行緒阻塞,無法服務其他請求,

為了避免這個問題,保證Redis能正常處理客戶端請求,Redis采用了漸進式rehash

每處理一個請求時,從哈希表 1 中依次將索引位置上的所有 entries 拷貝到哈希表 2 中,把一次性大量拷貝的開銷,分攤到了多次處理請求的程序中,避免了耗時操作,保證了資料的快速訪問,

img

在理解完Hash哈希表相關知識點后,看看不常見的壓縮串列和跳表,

壓縮串列與跳表

壓縮串列,在陣列基礎上,在壓縮串列在表頭有三個欄位 zlbytes、zltail 和 zllen,分別表示串列長度、串列尾的偏移量和串列中的 entry 個數;壓縮串列在表尾還有一個 zlend,表示串列結束,
image.png

優點:記憶體緊湊節省記憶體空間,記憶體中分配一塊地址連續的空間,資料元素會挨著存放,不需要額外指標帶來空間開銷;查找定位第一個元素和最后一個元素,可以通過表頭三個欄位的長度直接定位,復雜度是 O(1),

跳表 ,在鏈表的基礎上,增加了多級索引,通過索引位置的幾個跳轉,實作資料的快速定位,如下圖所示:

比如查詢33

img

特點:當資料量很大時,跳表的查找復雜度為O(logN),

綜上所述,可以得知底層資料結構的時間復雜度:

資料結構型別時間復雜度
哈希表O(1)
整數陣列O(N)
雙向鏈表O(N)
壓縮串列O(N)
跳表O(logN)

Redis自定義的物件系統型別即為RedisValue的資料型別,Redis的資料型別是基于底層資料結構實作的,那資料型別有哪些呢?

Redis資料型別

StringListHashSorted SetSet比較常見的型別,其與底層資料結構對應關系如下:

資料型別資料結構
StringSDS(簡單動態字串)
List雙向鏈表
壓縮串列
Hash壓縮串列
哈希表
Sorted Set壓縮串列
跳表
Set哈希表
整數陣列

資料型別對應特點跟其實作的底層資料結構差不多,性質也是一樣的,且

String,基于SDS實作,適用于簡單key-value存盤、setnx key value實作分布式鎖、計數器(原子性)、分布式全域唯一ID,

List, 按照元素進入List的順序進行排序的,遵循FIFO(先進先出)規則,一般使用在 排序統計以及簡單的訊息佇列,

Hash, 是字串key和字串value之間的映射,十分適合用來表示一個物件資訊 ,特點添加和洗掉操作復雜度都是O(1),

Set,是String 型別元素的無序集合,集合成員是唯一的,這就意味著集合中不能出現重復的資料, 基于哈希表實作的,所以添加,洗掉,查找的復雜度都是 O(1),

Sorted Set, 是Set的型別的升級, 不同的是每個元素都會關聯一個 double 型別的分數,通過分數排序,可以范圍查詢,

那我們再來看看這些資料型別,Redis GeoHyperLogLogBitMap

Redis Geo, 將地球看作為近似為球體,基于GeoHash 將二維的經緯度轉換成字串,來實作位置的劃分跟指定距離的查詢,特點一般使用在跟位置有關的應用,

HyperLogLog, 是一種概率資料結構,它使用概率演算法來統計集合的近似基數 , 錯誤率大概在0.81%, 當集合元素數量非常多時,它計算基數所需的空間總是固定的,而且還很小,適合使用做 UV 統計,

BitMap ,用一個位元位來映射某個元素的狀態, 只有 0 和 1 兩種狀態,非常典型的二值狀態,且其本身是用 String 型別作為底層資料結構實作的一種統計二值狀態的資料型別 ,優勢大量節省記憶體空間,可是使用在二值統計場景,

在理解上述知識后,我們接下來討論一下根據哪些策略選擇相對應的應用場景下的Redis資料型別?

選擇合適的Redis資料型別策略

在實際開發應用中,Redis可以適用于眾多的業務場景,但我們需要怎么選擇資料型別存盤呢?

主要依據就是時間/空間復雜度,在實際的開發中可以考慮以下幾個點:

  • 資料量,資料本身大小
  • 集合型別統計模式
  • 支持單點查詢/范圍查詢
  • 特殊使用場景

資料量,資料本身大小

當資料量比較大,資料本身比較小,使用**String**就會使用額外的空間大大增加,因為使用哈希表保存鍵值對,使用dictEntry結構保存,會導致保存每個鍵值對時額外保存dictEntry的三個指標的開銷,這樣就會導致資料本身小于額外空間開銷,最侄訓導致存盤空間資料大小遠大于原本資料存盤大小,

可以使用基于整數陣列壓縮串列實作了 ListHashSorted Set ,因為整數陣列壓縮串列在記憶體中都是分配一塊地址連續的空間,然后把集合中的元素一個接一個地放在這塊空間內,非常緊湊,不用再通過額外的指標把元素串接起來,這就避免了額外指標帶來的空間開銷,而且采用集合型別時,一個 key 就對應一個集合的資料,能保存的資料多了很多,但也只用了一個 dictEntry,這樣就節省了記憶體,

集合型別統計模式

Redis集合型別統計模式常見的有:

  • 聚合統計( 交集、差集、并集統計 ): 對多個集合進行聚合計算時,可以選擇Set
  • 排序統計(要求集合型別能對元素保序): RedisListSorted Set是有序集合,List是按照元素進入 List 的順序進行排序的,Sorted Set 可以根據元素的權重來排序;
  • 二值狀態統計( 集合元素的取值就只有 0 和 1 兩種 ):Bitmap 本身是用 String 型別作為底層資料結構實作的一種統計二值狀態的資料型別 , Bitmap通過 BITOP 按位 與、或、異或的操作后使用 BITCOUNT 統計 1 的個數,
  • 基數統計( 統計一個集合中不重復的元素的個數 ):HyperLogLog 是一種用于統計基數的資料集合型別 ,統計結果是有一定誤差的,標準誤算率是 0.81% ,需要精確統計結果的話,用 Set 或 Hash 型別,

img

Set型別,適用統計用戶/好友/關注/粉絲/感興趣的人集合聚合操作,比如

  • 統計手機APP每天的新增用戶數
  • 兩個用戶的共同好友

RedisListSorted Set是有序集合,使用應對集合元素排序需求 ,比如

  • 最新評論串列
  • 排行榜

Bitmap二值狀態統計,適用資料量大,且可以使用二值狀態表示的統計,比如:

  • 簽到打卡,當天用戶簽到數
  • 用戶周活躍
  • 用戶在線狀態

HyperLogLog 是一種用于統計基數的資料集合型別, 統計一個集合中不重復的元素個數 ,比如

  • 統計網頁的 UV , 一個用戶一天內的多次訪問只能算作一次

支持單點查詢/范圍查詢

RedisListSorted Set是有序集合支持范圍查詢,但是Hash是不支持范圍查詢的

特殊使用場景

訊息佇列,使用Redis作為訊息佇列的實作,要訊息的基本要求訊息保序處理重復的訊息保證訊息可靠性,方案有如下:

  • 基于 List 的訊息佇列解決方案
  • 基于 Streams 的訊息佇列解決方案
基于List基于Strems
訊息保序使用LPUSH/RPOP使用XADD/XREAD
阻塞讀取使用BRPOP使用XREAD block
重復訊息處理生產者自行實作全域唯一IDStreams自動生成全域唯一ID
訊息可靠性使用BRPOPLPUSH使用PENDING List自動留存訊息
適用場景訊息總量小訊息總量大,需要消費組形式讀取資料

基于位置 LBS 服務,使用Redis的特定GEO資料型別實作,GEO 可以記錄經緯度形式的地理位置資訊,被廣泛地應用在 LBS 服務中, 比如:打車軟體是怎么基于位置提供服務的,

總結

Redis之所以那么快,是因為其基于記憶體的資料操作和使用Hash哈希表作為索引,其效率高,速度快,而且得益于其底層資料多樣化使得其可以適用于眾多場景,不同場景中選擇合適的資料型別可以提升其查詢性能,

謝謝各位點贊,沒點贊的點個贊支持支持
最后,微信搜《Ccww技術博客》觀看更多文章,也歡迎關注一波,

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

標籤:其他

上一篇:夢想?現實?

下一篇:很多人覺得C++模板很難學習和適應,不值得浪費時間,今天它的白癡指南來了(第一部分)

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