一、说明
字典, 又称为符号表( symbol table) 、 关联数组( associative array)或映射( map) , 是一种用于保存键值对( key-value pair) 的抽象数据结构。
二、字典在redis中的应用
- 字典在Redis中的应用相当广泛, 比如Redis的数据库就是使用字典来作为底层实现的, 对数据库的增、 删、 查、 改操作也是构建在对字典的操作之上的。
三、字典的实现
Redis的字典使用哈希表作为底层实现, 一个哈希表里面可以有多个哈希表节点, 而每个哈希表节点就保存了字典中的一个键值对。
3.1、hash表的定义
typedef struct dictht {
//
哈希表数组
dictEntry **table;
//
哈希表大小
unsigned long size;
//
哈希表大小掩码, 用于计算索引值
//
总是等于size-1
unsigned long sizemask;
//
该哈希表已有节点的数量
unsigned long used;
} dictht;
table属性是一个数组, 数组中的每个元素都是一个指向dict.h/dictEntry结构的指针, 每个dictEntry结构保存着一个键值对。 size属性记录了哈希表的大小, 也即是table数组的大小, 而used属性则记录了哈希表目前已有节点( 键值对) 的数量。 sizemask属性的值总是等于size-1, 这个属性和哈希值一起决定一个键应该被放到table数组的哪个索引上面。
3.2、hash算法
当要将一个新的键值对添加到字典里面时, 程序需要先根据键值对的键计算出哈希值和索引值, 然后再根据索引值, 将包含新键值对的哈希表节点放到哈希表数组的指定索引上面。
当字典被用作数据库的底层实现, 或者哈希键的底层实现时, Redis使用MurmurHash2算法来计算键的哈希值。【redis使用的是MurmurHash2算法计算hash值】
3.3、解决键冲突
当有两个或以上数量的键被分配到了哈希表数组的同一个索引上面时, 我们称这些键发生了冲突( collision) 。
Redis的哈希表使用链地址法( separate chaining) 来解决键冲突, 每个哈希表节点都有一个next指针, 多个哈希表节点可以用next指针构成一个单向链表,被分配到同一个索引上的多个节点可以用这个单向链表连接起来, 这就解决了键冲突的问题。
3.4、rehash问题
随着操作的不断执行, 哈希表保存的键值对会逐渐地增多或者减少, 为了让哈希表的负载因子( load factor) 维持在一个合理的范围之内, 当哈希表保存的键值对数量太多或者太少时, 程序需要对哈希表的大小进行相应的扩展或者收缩。
扩展和收缩哈希表的工作可以通过执行rehash( 重新散列) 操作来完成,Redis对字典的哈希表执行rehash的步骤如下:
- 1、为字典的ht[1]哈希表分配空间, 这个哈希表的空间大小取决于要执行的操作, 以及ht[0]当前包含的键值对数量( 也即是ht[0].used属性的值) :
- 如果执行的是扩展操作, 那么ht[1]的大小为第一个大于等于ht[0].used*2的2 n( 2的n次方幂);
- 如果执行的是收缩操作, 那么ht[1]的大小为第一个大于等于ht[0].used的2n。
- 2、将保存在ht[0]中的所有键值对rehash到ht[1]上面: rehash指的是重新计算键的哈希值和索引值, 然后将键值对放置到ht[1]哈希表的指定位置上。
- 3、当ht[0]包含的所有键值对都迁移到了ht[1]之后( ht[0]变为空表) , 释放ht[0], 将ht[1]设置为ht[0], 并在ht[1]新创建一个空白哈希表, 为下一次rehash做准备。
哈希表的扩展与收缩
当以下条件中的任意一个被满足时, 程序会自动开始对哈希表执行扩展操作:
1) 服务器目前没有在执行BGSAVE命令或者BGREWRITEAOF命令, 并且哈希表的负载因子大于等于1。
2) 服务器目前正在执行BGSAVE命令或者BGREWRITEAOF命令, 并且哈希表的负载因子大于等于5。
3.5、渐进式rehash
扩展或收缩哈希表需要将ht[0]里面的所有键值对rehash到ht[1]里面, 但是, 这个rehash动作并不是一次性、 集中式地完成的, 而是分多次、 渐进式地完成的。
这样做的原因在于, 如果ht[0]里只保存着四个键值对, 那么服务器可以在瞬间就将这些键值对全部rehash到ht[1]; 但是, 如果哈希表里保存的键值对数量不是四个, 而是四百万、 四千万甚至四亿个键值对, 那么要一次性将这些键值对全部rehash到ht[1]的话, 庞大的计算量可能会导致服务器在一段时间内停止服务。
以下是哈希表渐进式rehash的详细步骤:
1) 为ht[1]分配空间, 让字典同时持有ht[0]和ht[1]两个哈希表。
2) 在字典中维持一个索引计数器变量rehashidx, 并将它的值设置为0, 表示rehash工作正式开始。
3) 在rehash进行期间, 每次对字典执行添加、 删除、 查找或者更新操作时,程序除了执行指定的操作以外, 还会顺带将ht[0]哈希表在rehashidx索引上的所有键值对rehash到ht[1], 当rehash工作完成之后, 程序将rehashidx属性的值增一。
4) 随着字典操作的不断执行, 最终在某个时间点上, ht[0]的所有键值对都会被rehash至ht[1], 这时程序将rehashidx属性的值设为-1, 表示rehash操作已完成。
渐进式rehash执行期间的哈希表操作
因为在进行渐进式rehash的过程中, 字典会同时使用ht[0]和ht[1]两个哈希表, 所以在渐进式rehash进行期间, 字典的删除( delete) 、 查找( find) 、 更新( update) 等操作会在两个哈希表上进行。 例如, 要在字典里面查找一个键的话,程序会先在ht[0]里面进行查找, 如果没找到的话, 就会继续到ht[1]里面进行查找, 诸如此类。
另外, 在渐进式rehash执行期间, 新添加到字典的键值对一律会被保存到ht[1]里面, 而ht[0]则不再进行任何添加操作, 这一措施保证了ht[0]包含的键值对数量会只减不增, 并随着rehash操作的执行而最终变成空表。
四、总结
字典被广泛用于实现Redis的各种功能, 其中包括数据库和哈希键。
- Redis中的字典使用哈希表作为底层实现, 每个字典带有两个哈希表, 一个平时使用, 另一个仅在进行rehash时使用。
- 当字典被用作数据库的底层实现, 或者哈希键的底层实现时, Redis使用MurmurHash2算法来计算键的哈希值。
- 哈希表使用链地址法来解决键冲突, 被分配到同一个索引上的多个键值对会连接成一个单向链表。
- 在对哈希表进行扩展或者收缩操作时, 程序需要将现有哈希表包含的所有键值对rehash到新哈希表里面, 并且这个rehash过程并不是一次性地完成的, 而是渐进式地完成的。
参考资料:《redis设计与实现》
上一篇:【redis深层次探索】数据结构和对象【二】–链表
下一篇:【redis深层次探索】数据结构和对象【四】–跳跃表(skiplist)
不积跬步,无以至千里;不积小流,无以成江海!