redis数据结构实现(三)
3.1 字典的实现
-
- *
字典(set)是一种保存键值对的抽象数据结构。
- *
set key value 将存在数据库字典中,键不可重复。
哈希键的底层实现之一就是字典。
-
- *
Redis的字典使用哈希表作为底层实现,一个哈希表中有多个哈希节点,而每个节点中就保存了字典的一个键值对。
哈希表结构定义:
typeof struct dictht{
//哈希表数组
dictEntry **table;
//哈希表大小
unsigned long size;
//哈希表大小掩码,用于计算索引值
//总是等于size-1
unsigned long sizemask;
//该哈希表已有节点数
unsigned long used;
}dictht;
table属性是一个数组,数组中每一个元素都是指向dictEntry结构的指针,每个dictEntry保存着一对键值。
哈希表大小掩码sizemask和key的哈希值一起决定一个键应该放在table数组上的哪个索引上.
-
- *
- *
哈希节点的结构定义:
typeof struct dictEntry{
//键
void *key;
//值
union{
void *val;
uint64_tu64;
int64_ts64;
}v;
//指向下个哈希表节点,形成链表
struct dictEntry *next;
}dictEntry;
v中保存着键值中的值,可以是一个指针,也可以是一个int64整数,也可以是uint64整数。
*next是用来指向另个哈希表节点的指针,用来解决键哈希值冲突问题(类似于HashMap)。
字典的结构定义:
typeof struct dict{
//类型特定函数
dictType *type;
//私有数据
void *privdata;
//哈希表
dictht ht[2];
//rehash索引,当rehash不在进行时值为-1
in rehashidx;
}dict;
-
type属性和privdata属性是为了针对不同类型的键值对,为创建多态字典而设置的。
- [ ] type属性是一个指向dictType结构的指针,每个dictType保存了一簇用于操作特定类型键值对的函数,redis为不同用途的字典设置不同类型特定的函数。
- [ ] privdata保存了要传给那些类型特定函数的可选参数。
-
- *
- ht属性是一个包含两个项的数组,每一项都是一个dictht哈希表,一般情况下只会用ht[0],ht[1]只会在ht[0]进行rehash的时候用。
- rehashidx记录当前rehash的进度,如果没有rehash在进行则为-1
-
- *
3.2 哈希算法
添加新键值对时,先用字典设置的哈希函数根据key算出哈希值,再用哈希值和sizemask按位与运算得出包含此键值对的哈希节点在哈希数组中的索引值。
3.3 键冲突
Redis用链地址法解决键冲突,每个哈希节点都有一个next指针,发生键冲突时就用next指针构成单向链表,跟hashmap一样。
3.4 rehash
为了让加载因子 loadfactor维持在合理范围内,当保存的哈希节点过多或过少的时候,需要对哈希表进行扩展或缩容。
loadfactor = 存放节点数/哈希表大小
规定:拓展操作给ht[1]分配第一个大于等于ht[0].used*2的2的n次方幂的空间
缩容操作给ht[1]分配第一个大于等于ht[0].used的2的n次方幂的空间
rehash是指重新计算ht[0]上节点的哈希值和索引值并放置到ht[1]上去
当ht[0]上所有节点都转移到ht[1]上以后,释放ht[0],并将ht[1]改为ht[0]
最后在ht[1]上创建空哈希表
- 没有在执行BGSAVE或BGREWRITEAOF命令时,负载因子大于1进行扩容
- 在执行BGSAVE或BGREWRITEAOF命令时,负载因子大于5进行扩容
- 负载因子小于0.1时进行缩容
因为在BGSAVE或BGREWRITEAOF命令时,Redis会创建子进程,应避免在子进程存在期间进行扩展操作,来节约内存。
-
- *
渐进式rehash详解:
如果不采取渐进式rehash,而是一股脑全部rehash,很有可能给服务器带来巨大压力
字典结构中有一个 rehashidx 用来监控rehash进度。
- rehash开始,rehashidx设置为0;
- 期间,将ht[0]中在rehashidx索引上的节点rehash到ht[1]上,rehashidx自增
- 所有节点都rehash到ht[1]上后,rehashidx设置为-1,表示rehash结束
在rehash期间如果有搜索操作,将会先搜索ht[0],找不到再去ht[1]
如果是新增节点将直接增到ht[1]中