Redis中的zset 存储结构(实现)原理
同時滿足以下條件時使用ziplist 編碼:
元素數量小于128 個
所有member 的長度都小于64 字節
在ziplist 的內部,按照score 排序遞增來存儲。插入的時候要移動之后的數據。
對應redis.conf 參數:
zset-max-ziplist-entries 128
zset-max-ziplist-value 64
超過閾值之后,使用skiplist+dict 存儲。
問題:什么是skiplist?
我們先來看一下有序鏈表:
在這樣一個鏈表中,如果我們要查找某個數據,那么需要從頭開始逐個進行比較,直到找到包含數據的那個節點,或者找到第一個比給定數據大的節點為止(沒找到)。也就是說,時間復雜度為O(n)。同樣,當我們要插入新數據的時候,也要經歷同樣的查
找過程,從而確定插入位置。
而二分查找法只適用于有序數組,不適用于鏈表。
假如我們每相鄰兩個節點增加一個指針(或者理解為有三個元素進入了第二層),讓指針指向下下個節點。
這樣所有新增加的指針連成了一個新的鏈表,但它包含的節點個數只有原來的一半(上圖中是7, 19, 26)。在插入一個數據的時候,決定要放到那一層,取決于一個算法(在redis 中t_zset.c 有一個zslRandomLevel 這個方法)。
現在當我們想查找數據的時候,可以先沿著這個新鏈表進行查找。當碰到比待查數據大的節點時,再回到原來的鏈表中的下一層進行查找。比如,我們想查找23,查找的路徑是沿著下圖中標紅的指針所指向的方向進行的:
1. 23 首先和7 比較,再和19 比較,比它們都大,繼續向后比較。
2. 但23 和26 比較的時候,比26 要小,因此回到下面的鏈表(原鏈表),與22比較。
3. 23 比22 要大,沿下面的指針繼續向后和26 比較。23 比26 小,說明待查數據23 在原鏈表中不存在
在這個查找過程中,由于新增加的指針,我們不再需要與鏈表中每個節點逐個進行比較了。需要比較的節點數大概只有原來的一半。這就是跳躍表。
為什么不用AVL 樹或者紅黑樹?因為skiplist 更加簡潔。
源碼:server.h
typedef struct zskiplistNode {sds ele; /* zset 的元素*/double score; /* 分值*/struct zskiplistNode *backward; /* 后退指針*/struct zskiplistLevel {struct zskiplistNode *forward; /* 前進指針,對應level 的下一個節點*/unsigned long span; /* 從當前節點到下一個節點的跨度(跨越的節點數) */} level[]; /* 層*/ } zskiplistNode; typedef struct zskiplist {struct zskiplistNode *header, *tail; /* 指向跳躍表的頭結點和尾節點*/unsigned long length; /* 跳躍表的節點數*/int level; /* 最大的層數*/ } zskiplist;隨機獲取層數的函數:
源碼:t_zset.c
int zslRandomLevel(void) {int level = 1;while ((random()&0xFFFF) < (ZSKIPLIST_P * 0xFFFF))level += 1;return (level<ZSKIPLIST_MAXLEVEL) ? level : ZSKIPLIST_MAXLEVEL; }?
總結
以上是生活随笔為你收集整理的Redis中的zset 存储结构(实现)原理的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: Redis中的zset 有序集合
- 下一篇: linux cmake编译源码,linu