Redis字典的实现 《Redis设计与实现》

实现字典的方法有很多种：
• 最简单的就是使用链表或数组，但是这种方式只适用于元素个数不多的情况下；
• 要兼顾高效和简单性，可以使用哈希表； // Hash无法实现稳定性
• 如果追求更为稳定的性能特征，并且希望高效地实现排序操作的话，则可以使用更为复 杂的平衡树；
在众多可能的实现中，Redis 选择了高效且实现简单的哈希表作为字典的底层实现

数据结构实现

dict.h/dict 给出了这个字典的定义

/* * 字典 * * 每个字典使用两个哈希表，用于实现渐进式 rehash */
 typedef struct dict {
// 特定于类型的处理函数
 dictType *type;
// 类型处理函数的私有数据 
void *privdata;
// 哈希表（2 个）
 dictht ht[2];
// 记录 rehash 进度的标志，值为-1 表示 rehash 未进行
 int rehashidx;
// 当前正在运作的安全迭代器数量
 int iterators;
} dict;

以下是用于处理 dict 类型的 API ，它们的作用及相应的算法复杂度：

注意 dict 类型使用了两个指针分别指向两个哈希表。
其中，0 号哈希表（ht[0]）是字典主要使用的哈希表，而 1 号哈希表（ht[1]）则只有在程序 对 0 号哈希表进行 rehash 时才使用。
接下来两个小节将对哈希表的实现，以及哈希表所使用的哈希算法进行介绍。

哈希表实现

字典所使用的哈希表实现由 dict.h/dictht 类型定义

/* * 哈希表 */
 typedef struct dictht {
// 哈希表节点指针数组（俗称桶，bucket）
 dictEntry **table;
// 指针数组的大小
 unsigned long size;
// 指针数组的长度掩码，用于计算索引值 
unsigned long sizemask;
// 哈希表现有的节点数量 
unsigned long used;
} dictht;

table 属性是一个数组，数组的每个元素都是一个指向 dictEntry 结构的指针。 每个 dictEntry 都保存着一个键值对，以及一个指向另一个 dictEntry 结构的指针：

/* * 哈希表节点 */ 
typedef struct dictEntry {
// 键
 void *key;
// 值 
union { void *val; uint64_t u64; int64_t s64; } v;
// 链往后继节点
 struct dictEntry *next;
} dictEntry;

next 属性指向另一个 dictEntry 结构，多个 dictEntry 可以通过 next 指针串连成链表，从 这里可以看出，**dictht 使用链地址法来处理键碰撞：**当多个不同的键拥有相同的哈希值时，哈 希表用一个链表将这些键连接起来。
下图展示了一个由 dictht 和数个 dictEntry 组成的哈希表例子：

如果再加上之前列出的 dict 类型，那么整个字典结构可以表示如下：

在上图的字典示例中，字典虽然创建了两个哈希表，但正在使用的只有 0 号哈希表，这说明字 典未进行 rehash 状态。

素材来自： 《Redis设计与实现》