Redis Source Code Read Log( 6. dict details)_redis 6.0 source code-CSDN博客

本文链接：https://blog.csdn.net/frodocheng/article/details/105213455

介绍

dict 内部实现机制，具体什么是hashmap，这里不介绍。

Redis 内部的 dict 桶采用的是向量，然后拉链采用的是单链表。关键是桶个数bucket_size：size 必须是2的次方数。index 获取方式不是取模，而是取低位即按位与 sizemask (由于 size 是2的次方数，那么size减一之后，得到的是一个低位全为1的sizemask)，按位与上 sizemask 之后的结果作为 bucket_index。

1. hash 算法为 SipHash, 底层实际都是对 string 进行hash

2. 插入方式是: idx = hash(key) & sizemask; buckets[idx] insert head, 单链表头部插入节点的方式; 整体复杂度 0(1)

3. 查询，获取，删除等等，复杂度也都是常量级别。最多遍历一个单链表。Redis没有对拉链长度做特别的控制。比如拉链长度超过 8 或者 16，由单链表转为红黑树这样的操作是没有的

4. Redis 内部每个dict都提供了两张 hash table. 并且，每个 dict 内部有个 rehashidx 的变量，作为 rehash过程状态变量，除非在 rehash的过程中，否则，两张hash表其中只有一张表持有有效数据

5. rehash过程实际是在遍历0号 hash table，逐个节点处理的，迁移至 1 号 hash table。Redis的内部实现来看，hash 值应该不会有改变，但是由于 size 的变化，sizemask的变化，会导致取低位结果有变化。如果2倍扩容的情况，原先的拉链可能会被一分为二（新增的一个高位bit是0 或 1 两种情况）。

缩容,扩容, Rehash

当存在 aof 或者 rdb child 子进程存在时，此时不允许 resize。

当 aof 或者 rdb child 子进程退出，均不存在时，更新 resize 策略，允许 resize。

在 rehash 过程中，不允许 resize。

初始 SLOTS 为 4，即 size = 4

缩容

Redis 的 dict 并没有提供明显的缩容接口，而是针对 redisDb 中的 dict 以及 expires 两个 dict 进行缩容条件的判断。

当 dict 的size 大于 4，并且

利用率：used * 100 / size < 10. 也就是利用率低于 10% 就会触发 resize 操作，此时的 resize，实际进行的是缩容操作。

如果利用率高于 6.25%, 此时缩容至原先 size 的四分之一，否则缩容至八分之一或者更少。

最少，SLOT size 也要保持在 4.

相应的检查，在 databasesCron 的定时任务中，周期的执行。

扩容 (主 dict, redisDb 的 dict, expires 域)

前提，不在 rehash 状态中，某则，此时不允许扩容。(其他 dict 数据结构同样有效)

一

每次 add entry 的时候，都有可能触发扩容，条件如下：

条件一：已经存储的 entry 数量 used，已经达到 SLOT 数量 size，并且此时无 aof/rdb 子进程，触发扩容。

条件二：已经存储的 entry 数量 used，已经达到 SLOT 数量 size，并且即便有子进程，但是 used / size > 5，即平均每个槽中都已经存储了5个以上entry，强制触发扩容。

此时扩容策略：新的 size 必须是大于或等于 used * 2 的 2 的次方数。(4,8,16,32,64,128 ... ...)

条件一与条件二任意一条满足，都会触发扩容操作。

二

databasesCron 定时任务触发的扩容。(只针对 redisDb: dict, expires 域)

这个触发的条件就是

1. 无子进程

2. 已经存储的 entry 数量 used 数量已经达到了 SLOT 数量的一半以上，新的 size 必须是大于或等于 used * 2 的 2 的次方数。(4,8,16,32,64,128 ... ...)，新的 size 一般是当前 size的两倍，除非add entry请求激增

这种情况下的扩容，必须以上1. 2. 必须同时满足，才会触发。

Rehash

当 dict resize 了之后，就会触发 rehash 过程。一旦触发 rehash，那么 resize 功能就会被 disable 掉，直到 rehash 过程结束。

Redis 每个 dict 有两个 hash table。非 rehash 过程中，只使用0号 hash table，当 rehash 开始，1号hash table 启用，内部开始将 entry 从0号往1号 hash table 进行逐个迁移。每迁移一个，称之为一个 step。

迁移发生条件

1. 当每次操作dict，如add，find，delete等，都会触发一个批次的1个step的操作 (针对所有 dict)

2. 在 databasesCron 定时任务中(只针对redisDb: dict, expires域的dict)，在无子进程的前提下，进行循环，每批次会进行100个 step ，当循环操作计时累计超过 1 毫秒，那么本次循环结束，否则，一直循环下去。另外，当 dict 与 expires同时需要 rehash 时，优先执行 dict的 rehash 直到 dict rehash 状态结束，才会继续进行 expires的 rehash 的操作。Redis 还为 rehash 还做了一个总开关配置，当 activerehashing 配置设置为 no，即关闭在此 cron 任务中的 rehash 操作，rehash 操作就只能依赖 1 中的方式。默认为 yes, 开启此开关。