rehash过程_contenthash

rehash过程_contenthash步骤1)首先创建一个比现有哈希表更大的新哈希表(expand)2)然后将旧哈希表的所有元素都迁移到新哈希表去(rehash)dictAdd对字典添加元素的时候,_dictExpandIfNeeded会

大家好,又见面了,我是你们的朋友全栈君。如果您正在找激活码,请点击查看最新教程,关注关注公众号 “全栈程序员社区” 获取激活教程,可能之前旧版本教程已经失效.最新Idea2022.1教程亲测有效,一键激活。

Jetbrains全系列IDE使用 1年只要46元 售后保障 童叟无欺

步骤

1) 首先创建一个比现有哈希表更大的新哈希表(expand)

2) 然后将旧哈希表的所有元素都迁移到新哈希表去(rehash)
 

dictAdd 对字典添加元素的时候, _dictExpandIfNeeded 会一直对 0 号哈希表的使用情况进行检查。
当 rehash 条件被满足的时候,它就会调用 dictExpand 函数,对字典进行扩展。
static int _dict
ExpandIfNeeded(dict *d)  

{  

    // 当 0 号哈希表的已用节点数大于等于它的桶数量,  

    // 且以下两个条件的其中之一被满足时,执行 expand 操作:  

    // 1) dict_can_resize 变量为真,正常 expand  

    // 2) 已用节点数除以桶数量的
比率超过变量 dict_force_resize_ratio ,强制 expand  

    // (目前版本中 dict_force_resize_ratio = 5)  

    if (d->ht[0].used >= d->ht[0].size &&    (dict_can_resize ||  d->ht[0].used/d->ht[0].size > dict_force_resize_ratio))  

    {  return dictExpand(d, ((d->ht[0].size > d->ht[0].used) ?   d->ht[0].size : d->ht[0].used)*2);  }  

}
 

将新哈希表赋值给 1 号哈希表,并将字典的 rehashidx 属性从 -1 改为 0:

int dictExpand(dict *d, unsigned long size)  

{  

    // 被省略的代码…  

  

    // 计算哈希表的(真正)大小  

    unsigned long realsize = _dictNextPower(size);  

  

    // 创建新哈希表  

    dictht n;  

    n.size = realsize;  

    n.sizemask = realsize-1;  

    n.table = zcalloc(realsize*sizeof(dictEntry*));  

    n.used = 0;  

  

    // 字典的 0 号哈希表是否已经初始化?  

    // 如果没有的话,我们将新建哈希表作为字典的 0 号哈希表  

    if (d->ht[0].table == NULL) {  

        d->ht[0] = n;  

    } else {  

    // 否则,将新建哈希表作为字典的 1 号哈希表,并将它用于 rehash  

        d->ht[1] = n;  

        d->rehashidx = 0;  

    }  

  

    // 被省略的代码…  

}  
 

 

渐增式rehash和平摊操作

集中式的 rehash 会引起大量的计算工作。

渐增式 rehash将 rehash 操作平摊到dictAddRaw 、dictGetRandomKey 、dictFind 、dictGenericDelete这些函数里面,每当上面这些函数被执行的时候, 
_dictRehashStep 函数就会执行,将 1 个元素从 0 号哈希表 rehash 到 1 号哈希表,这样就避免了集中式的 rehash 。

以下是 dictFind 函数,它是其中一个平摊 rehash 操作的函数:

dictEntry *dictFind(dict *d, const void *key)  

{  

    // 被忽略的代码…  

  

    // 检查字典(的哈希表)能否执行 rehash 操作  

    // 如果可以的话,执行平摊 rehash 操作  

    if (dictIsRehashing(d)) 
_dictRehashStep(d);  

  

    // 被忽略的代码…  

}  

  

其中 dictIsRehashing 就是检查字典的 rehashidx 属性是否不为 -1 :#define dictIsRehashing(ht) ((ht)->rehashidx != -1)  

如果条件成立成立的话, _dictRehashStep 就会被执行,将一个元素从 0 号哈希表转移到 1 号哈希表:

static void _dictRehashStep(dict *d) {    if (d->iterators == 0) dictRehash(d,1);  }  

  

(代码中的 iterators == 0 表示在 rehash 时
不能有迭代器,因为迭代器可能会修改元素,所以不能在有迭代器的情况下进行 rehash 。)

0 号哈希表的元素被逐个逐个地,从 0 号 rehash 到 1 号,最终整个 0 号哈希表被清空,这时 _dictRehashStep 再调用 dictRehash ,被清空的 0 号哈希表就会被删除,然后原来的  1 号哈希表成为新的 0 号哈希表。

当 rehashidx 不等于 -1 ,也即是 dictIsRehashing 为真时,所有新添加的元素都会直接被加到 1 号数据库,这样 0 号哈希表的大小就会只减不增。


哈希表的大小

 我们知道哈希表最初的大小是由 DICT_HT_INITIAL_SIZE 决定的,而当 rehash 开始之后,根据给定的条件,哈希表的大小就会发生变动:

 

static int _dictExpandIfNeeded(dict *d)  

{  

    // 被省略的代码…  

  

    if (d->ht[0].used >= d->ht[0].size &&  

        (dict_can_resize ||  

         d->ht[0].used/d->ht[0].size > dict_force_resize_ratio))  

    {  

        return dictExpand(d, ((d->ht[0].size > d->ht[0].used) ?  

                                    d->ht[0].size : d->ht[0].used)*2);  

    }  

  

    // 被省略的代码…  

}  

 

可以看到, 
d->ht[0].size 和 d->ht[0].used 两个数之间的较大者乘以 2 ,会作为 size 参数被传入 dictExpand 函数,但是,尽管如此,这个数值仍然还不是哈希表的最终大小,因为在 dictExpand 里面,_dictNextPower 函数会根据传入的 size 参数计算出真正的表大小:

 

int dictExpand(dict *d, unsigned long size)  

{  

    // 被省略的代码…  

  

    // 计算哈希表的(真正)大小  

    unsigned long realsize = _dictNextPower(size);  

  

    // 创建新哈希表  

    dictht n;  

    n.size = realsize;  

    n.sizemask = realsize-1;  

    n.table = zcalloc(realsize*sizeof(dictEntry*));  

    n.used = 0;  

  

    // 被省略的代码…  

}  

 

至于 _dictNextPower 函数,它不断计算 2 的乘幂,直到遇到大于等于 size 参数的乘幂,就返回这个乘幂作为哈希表的大小:

 

static unsigned long _dictNextPower(unsigned long size)  

{  

    unsigned long i = DICT_HT_INITIAL_SIZE;  

  

    if (size >= LONG_MAX) return LONG_MAX;  

    while(1) {  

        if (i >= size)  

            return i;  

        i *= 2;  

    }  

}  

1) 哈希表的大小总是 2 的乘幂(也即是 2^N,此处 N 未知)

2)1 号哈希表的大小总比 0 号哈希表大


最后, 我为 redis 的源码分析项目专门建立了一个 github project ,上面有完整的源码文件,大部分加上了注释(目前只有 dict.c 和 dict.h),如果对代码的完整细节有兴趣,可以到上面去取:  
https://github.com/huangz1990/reading_redis_source

 
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。

发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/168252.html原文链接:https://javaforall.cn

【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛

【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...

(0)


相关推荐

  • altium designer怎么画圆弧_word怎么画小圆形

    altium designer怎么画圆弧_word怎么画小圆形1.概述近期在学PADS这个平台,禁止覆铜区域可以放置各种形状,而在AD一直用的是polygonpourcutout这个选项,似乎不能绘制出圆形呢?别着急,我们接着往下看,AD还是上手比较快的设计软件。2.步骤如上所述,一般我们在AD要禁止覆铜,或者挖去铜皮,一般都用polygonpourcutout:但涉及如下图(蓝色圆圈)这样的禁止覆铜,就不好操作了。…

  • JavaScript判断数组中是否包含某个值「建议收藏」

    JavaScript判断数组中是否包含某个值「建议收藏」有下面几种方法可以实现:方法一:array.indexOf判断数组中是否存在某个值,如果存在,则返回数组元素的下标,否则返回-1。letarr=[1,2,3,4];letindex=arr.indexOf(3);console.log(index);方法二:array.includes(searcElement[,fromIndex])此方法判断数组中是否存在某个值,如果存在返回true,否则返回falseletarr=[1,2,3,4];if(arr.includes(3))

  • Android布局之表格布局[通俗易懂]

    Android布局之表格布局[通俗易懂]表格布局(Tablelayout) 简介:       Tablelayout类以行和列的形式对控件进行管理,每一行为一个TableRow对象,或一个View控件。     当为TableRow对象时,可在TableRow下添加子控件,默认情况下,每个子控件占据一列。     当为View时,该View将独占一行。表格布局是以行和列的形式来对控件…

  • 采用大杀招QEMU调试Linux内核代码

    采用大杀招QEMU调试Linux内核代码

  • 网购冷门产品有哪些_淘宝比较冷门的商品

    网购冷门产品有哪些_淘宝比较冷门的商品sharonshen ,熠仔6149人赞同1. 小白鞋纳米喷雾!!!这个真是绝了,本人就是穿小白鞋一周就会穿成小脏鞋的那种,有了这个在新鞋的时候全方位喷一下,真的就再也不会脏了耶!其实呢,当年买它,是宝宝在法国的时候,去北欧玩,穿的雪地靴,踩在雪里,雪都能化进鞋里(顺便吐槽下,雪地靴真的不适合在雪地里面行走!!!),所以买了下面的这个喷雾,防水,后来惊讶的发现,

  • SQL 报错注入详解[通俗易懂]

    SQL 报错注入详解[通俗易懂]一、报错注入详解近期学习SQL报错注入,本篇文章为关于报错注入的一些个人理解,如有错误,希望指出本文使用sqli-labs数据库作为示例1、十种MySQL报错注入:报错注入方式有很多,其中比较常见的有floor()、extractvalue()、updatexml()三种,本篇文章主要对这三种进行分析,其他的请参考文章:十种MySQL报错注入2、floor()2.1、payload分析先贴上一个常见的payload再进行分析(sqli-labsLess-5)’

发表回复

您的电子邮箱地址不会被公开。

关注全栈程序员社区公众号