Redis 数据结构之字典

Redis 的数据库就是使用字典来作为底层实现的,对数据库的 curd 操作都时构建在对字典的操作之上。除了用来表示数据库外,字典还是哈希键的底层实现之一,当一个哈希键包含的键值对较多,又或者键值对中的元素都是比较长的字符串时,Redis 就会使用字典作为哈希键的底层实现

字典的实现

Redis 的字典使用哈希表作为底层实现,一个哈希表内可以又多个哈希表节点,而每个哈希表节点就保存了字典中的一个键值对

哈希表

一个空的哈希表

哈希表节点

其中 key 保存键,v 保存值,值可以时一个指针或者一个 uint64_t 或 int64_t 的整数。next 属性指向另一个哈希表节点,这个指针可将多个哈希值系统的键值对连接在一起,用来解决键冲突问题

关于 union:

  • union 中可以定义多个成员,union 的大小由最大的成员的大小决定
  • union 成员共享同一块大小的内存,一次只能使用其中的一个成员
  • 对某一个成员赋值,会覆盖其他成员的值
  • 联合体 union 的存放顺序是所有成员都从低地址开始存放的
连接在一起的键 K1 和键 K0

字典

ht 时一个包含两个哈希表的数组,一般情况下只会使用 ht[0] 哈希表,ht[1] 哈希表只会在对 ht[0] 哈希表进行 rehash 时使用

rehashidx 记录了 rehash 目前的角度,如果不是正在进行 rehash,值为 -1

普通状态下(没有进行 rehash)的字典

哈希算法

当要将一个新的键值对添加到字典里面时,程序需要先根据键值对的键计算出哈希值和索引值,然后根据索引值,将包含新键值对的哈希表节点放到哈希表数组的指定索引上

具体方法如下:

// 使用字典设置的哈希函数,计算键 key 的哈希值
hash = dict -> type -> hashFunction(key);
// 使用哈希表的 sizemask 属性和哈希值,计算出索引值
// x 可以是 0 或 1
index = hash & dict -> ht[x].sizemask;

解决键冲突

Redis 使用链地址法来解决键冲突,每个哈希表节点都有一个 next 指针,多个哈希表节点可以用 next 指针构成一个单向链表,被分配到同一个索引上的多个节点可以用这个单向链表连接起来

因为 dictEntry 节点组成的链表没有指向表尾的指针,所以为了速度考虑,程序总是将新节点添加到链表的表头位置

rehash

为了让哈希表的负载因子维持在一个合理的范围内,当哈希表保存的键值对数量太多或者太少时,需要调整哈希表的大小

扩展和收缩哈希表的工作可以通过执行 rehash 来完成,步骤如下:

  1. 为字典的 ht[1] 哈希表分配空间,这个哈希表的空间大小取决于要执行的操作,以及 ht[0] 当前包含的键值对数量(即 ht[0].used)
  • 如果执行扩展,那么 ht[1] 的大小为第一个不小于 ht[0].used * 2 的 2^n
  • 如果执行收缩,那么 ht[1] 的大小为第一个不小于 ht[0].used 的 2^n
  1. 将保存在 ht[0] 中的所有键值对 rehash 到 ht[1] 上
  2. rehash 完成后,ht[0] 变为空表,释放 ht[0],将 ht[1] 设置为 ht[0],并在 ht[1] 新创建一个空白哈希表,为下一次 rehash 做准备

哈希表的扩展与收缩

当以下条件中的任意一个满足时,会自动开始对哈希表执行扩展操作:

  • 服务器目前没有正在执行 BGSAVE 命令或 BGREWRITEAOF 命令,且哈希表的负载因子大于等于 1
  • 服务器目前正在执行 BGSAVE 命令或 BGREWRITEAOF 命令,且哈希表的负载因子大于等于 5

其中,负载因子 = 哈希表已保存节点数量 / 哈希表大小
load_factor = ht[0].used / ht[0].size

在哈希表负载因子小于 0.1 时,程序自动开始对哈希表执行收缩操作

渐进式 rehash

扩展或收缩哈希表需要将 ht[0] 里面的所有键值对 rehash 到 ht[1],但并不是一次性、集中式地完成地,而是分多次、渐进式地完成

渐进式 rehash 详细步骤:

  1. 为 ht[1] 分配空间
  2. 将 rehashidx 设为 0,表示 rehash 开始
  3. 在 rehash 期间,每次对字典 curd 时,程序除了执行指定操作外,还会顺带将 ht[0] 在 rehashidx 索引上的所有键值对 rehash 到 ht[1],当 rehash 工作完成后,rehashidx + 1
  4. 随着字典操作不断执行,最终在某个时间点上,ht[0] 所有键值对都会被 rehash 至 ht[1],这时把 rehashidx 值设为 -1,表示 rehash 完成

渐进式 rehash 地好处在于分而治之,将 rehash 键值所需的计算工作均摊到对字典的每个 curd 操作上,从而避免集中式 rehash 带来的庞大计算量

渐进式 rehash 执行期间的哈希表操作

在进行渐进式 rehash 的过程中,字典会同时使用 ht[0] 和 ht[1] 两个哈希表,所以在 rehash 进行期间,字典的 curd 操作会在两个哈希表上进行。例如,要在字典内查找一个键的话,程序会现在 ht[0] 查找,如果没找到,就会继续到 ht[1] 查找

另外,新添加到字典的键值对一律会被保存到 ht[1] 中,而 ht[0] 不再进行任何添加操作,这保证了 ht[0] 包含的键值对数量只减不增,最终变成空表

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 203,772评论 6 477
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 85,458评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 150,610评论 0 337
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,640评论 1 276
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,657评论 5 365
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,590评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,962评论 3 395
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,631评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,870评论 1 297
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,611评论 2 321
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,704评论 1 329
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,386评论 4 319
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,969评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,944评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,179评论 1 260
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 44,742评论 2 349
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,440评论 2 342

推荐阅读更多精彩内容