• 【知识点随笔分析 | 第八篇】什么是布谷鸟过滤器(缓解Redis穿透)


    前言

             在昨天我们介绍了什么是布隆过滤器,而相信如果了解布隆过滤器的朋友应该都知道,布隆过滤器虽然可以解决Redis的穿透问题,但是由于它自身特性,布隆过滤器也是存在不少的缺点,例如随着哈希函数的增多或者哈希函数散列范围的增加,会造成一定程度的空间浪费;并且布隆过滤器是无法实现删除操作的。因此我们今天来介绍一种新的过滤器:布谷鸟过滤器

    【从零开始学习Redis | 第五篇】基于布隆过滤器解决Redis的穿透问题-CSDN博客icon-default.png?t=N7T8https://blog.csdn.net/fckbb/article/details/134226419?spm=1001.2014.3001.5501

    目录

    前言

    引入: 

    布谷鸟哈希结构:

    挤占循环 :

    布谷鸟过滤器:

    布谷鸟过滤器的插入: 

    布谷鸟过滤器的删除:

    布隆过滤器的查找:

    基于Java实现布谷鸟过滤器:

    总结:


    引入: 

                    在中国有一个成语,叫做鸠占鹊巢,字面意思就是说:鸠这种动物,从来不会自己搭建巢穴,在下蛋的时候就会把蛋下到鹊的巢穴里,挤占鹊的蛋的生存空间。而鸠就是布谷鸟,布谷鸟过滤器的思想就是挤占

    布谷鸟过滤器的底层用的是布谷鸟哈希结构。 因此我们先来介绍一下布谷鸟哈希结构

    布谷鸟哈希结构:

     布谷鸟哈希结构本质上是为了解决哈希冲突,所以我们先来介绍一下什么是哈希冲突:

            哈希冲突指的是在哈希函数计算过程中,不同的输入值得到了相同的哈希值的情况。由于哈希函数将输入映射到有限的输出空间,而输入的范围通常是无限的,所以哈希冲突是不可避免的。

    而最原始的布谷鸟哈希结构采用以下步骤来解决哈希冲突:

    • 对输入的Key使用两个Hash函数,得到桶中的两个位置
    • 如果两个位置都为空,就把Key随机选择一个位置放入
    • 如果两个位置只有一个为空,就把Key放入到这个空的位置
    • 如果两个位置都不为空,则随机踢出一个元素,踢出的元素再重新计算哈希找到相应的位置

     其实这样说可能还是有点模糊,所以我们搭配图片来说明一下:

    第一次插入元素:插入"张三",经过哈希后得到两个位置:35,选择位置3进行插入

    第二次插入元素 :  插入"赵四",经过哈希后,得到两个位置34,选择位置3进行插入

    而此时当“赵四”想要插入位置3的时候,就会发生挤占,将"张三"从原位置挤占出去了

    此时就要重新为张三进行hash,得到位置35  选择位置5进行插入。

     而在这种情况下,我们就完成了一次"挤占"的过程 。并且为被挤占的元素重新安排了位置

    挤占循环 :

    如果发生挤占循环怎么办?也就是说:当重新为张三进行hash后,我们没有选择位置5,而是选择了位置3,此时就又会把“赵四”挤占出去了,而重新为“赵四”进行Hash的时候,赵四又选择了位置3,再次把“张三”挤占出去,此时“张三”又要重新进行Hash,无限循环这种情况..........

    或者是不同数据之间的相互挤占,也就是A数据的插入挤占出了B数据,B数据的插入挤占出了C数据,C数据的插入挤占了D数据,这样不断的循环

    而挤占循环这种问题,是没有办法真正解决的,我们能做的只有尽量抑制挤占循环,有如下思路:

    • 设置最大挤占次数,如果达到最大挤占次数后,说明空间不够用了,要进行桶的扩容操作。
    • 设置更多的哈希函数,使得一个Key有更多的位置可以选择。

    而通过这两种方法,其实就可以很好的控制循环挤占的问题 

    而我们单独讲一下桶的扩容操作,因为桶可以使我们自己定义的数据结构,因此我们可以把让一个位置存储多个元素,类似二维数组的形式,我们来看一下代码:

    1. type bucket [4]byte // 一个桶,4个座位I
    2. type cuckoo_filter struct [
    3. buckets [size]bucket // 一维数组
    4. nums int // 容纳的元素的个数
    5. kick_max // 最大挤兑次数
    6. }

    如图所示

    这样我们就使得一个桶中可以存储四个数据,而此时的赵四只占用了一个位置,在同一个哈希映射坐标中,我们还可以存储三个。

    注意:这里的位置是连续的。并不是有些人想的链表结构

    而且根据相关文献研究,通过不断对桶进行扩容,我们可以大大提高桶的利用效率

    文献指出,当桶的大小达到4的时候,我们整个桶数组的利用效率就达到了95%,这是我们使用布隆过滤器难以达到的

    相关文献链接:

    cuckoo-conext2014.pdf (cmu.edu)icon-default.png?t=N7T8https://www.cs.cmu.edu/~dga/papers/cuckoo-conext2014.pdf

    布谷鸟过滤器:

    布谷鸟过滤器基础就是布谷鸟哈希结构

    而它与布谷鸟哈希结构的区别就在于:我们在使用布谷鸟过滤器的时候,并不会像布谷鸟哈希结构一样,需要存储具体的信息。因为整个过滤器的作用只是证明当前元素是否可能存在,因此我们需要把可以证明这个元素的关键信息放进去就可以了

    而我们给出的答案就是:指纹

    指纹指的是使用一个哈希函数生成的n位比特位,n的具体大小由所能接受的误判率来设置

    也就是说,我们把指纹存储到对应元素的进行哈希后所映射出来的坐标位置就好了。

    但其实在这里我们就可以明白:布谷鸟过滤器的思维和布隆过滤器的底层还是一样的,只不过是在优化布隆过滤器的数据结构。

    而布隆过滤器的底层问题:可能存在误判。这个问题布谷鸟一样也避不开。

    我们可以假设指纹是一个八位的二进制数字。那最多也就只有255种不同的指纹,也就是说一定会出现两个不同的元素但是指纹相同的问题,也就是误判问题。

    布谷鸟过滤器的插入: 

    我们来看一下布谷鸟过滤器是如何插入元素的:

    1. public void insert(int item) {
    2. //如果包含这个数据就返回,不做重复插入
    3. if (contains(item)) {
    4. return;
    5. }
    6. //如果表总长已经达到最大程度就进行扩容
    7. if (numItems >= table.length) {
    8. resizeTable();
    9. }
    10. //进行Hash得到位置
    11. int hash = hashItem(item);
    12. //计算该数据的指纹
    13. int fingerprint = getFingerprint(item);
    14. //进入循环,MAX_KICK_ATTEMPTS是最大挤占次数
    15. for (int i = 0; i < MAX_KICK_ATTEMPTS; i++) {
    16. //如果当前位置为空
    17. if (table[hash] == -1) {
    18. //存储当前数据的指纹
    19. table[hash] = fingerprint;
    20. numItems++;
    21. return;
    22. }
    23. //如果当前位置不为空
    24. else {
    25. //用temp存储原数据的指纹
    26. int temp = table[hash];
    27. //存储当前数据的指纹(挤占原指纹)
    28. table[hash] = fingerprint;
    29. //用fingerprint来存储原数字指纹
    30. fingerprint = temp;
    31. //此处的hashItem是一个哈希函数,我们把fingerprint输入进去得到新的hash坐标
    32. //也就是说,此时我们得到了一个新的坐标和原数据指纹,进行新一轮的插入
    33. hash = hashItem(fingerprint);
    34. }
    35. }
    36. //结束循环,也就是说达到了最大的挤占次数,仍然有数据被挤占
    37. //1,进行扩容
    38. resizeTable();
    39. //2.重新进行一次插入
    40. insert(item);
    41. }

    插入处的看起来复杂,其实关键点就在于:我们的第二个Hash坐标是通过指纹来计算出来的

    而在布谷鸟哈希结构,我们是直接使用两个Hash函数对同一个数据进行两次Hash,得到两个坐标。

    布谷鸟过滤器之所以不采用两个Hash,是因为我们的布谷鸟过滤器为了节省空间,存储的并不是原数据。如果我们使用原数据得到了两个Hash坐标,选择一个存入。那么我们在发生挤占之后,得到原数据的指纹,我们又要如何得到这个数据的另一个坐标呢?

    也就是说在布谷鸟过滤器得到的两个坐标中:

    第一个坐标是通过某个哈希函数计算出来,第二个坐标是使用第一个坐标和指纹的哈希做了一个异或操作,进行异或操作的好处是:因为异或操作的特性: a^b = c ,c ^ b= a,c^a=b,我们可以快速的互推数据。换句话说,在桶中挤占一个数据,我们直接用当前桶的索引i和存储在桶中的指纹计算它的备用桶。

    而布谷鸟的插入也存在一个困难的问题:我们是否允许重复

    之所以说这个问题苦难,是因为我们在布谷鸟过滤器中判断是否可以重复插入的时候,是依靠指纹进行判断的,而指纹会存在误判情况,此时就分为两种情况:

    如果我们允许重复插入:插入相同的数据,那么它的两个坐标就是相同的,我们假设有两个坐标,一个坐标里面有四个位置:

    那么他最多就允许八个相同的元素插入,当我们插入第九个相同的元素的时候,就会发生挤占,而且这种挤占无法通过普通的扩容来解决,需要重新设置同一个坐标的位置个数,而不是简单的增加数组长度,也就是对这里进行操作:

    而这种级别的扩容所带来的辐射是每一个坐标的,他会使得空间复杂度飙升。

    如果我们不允许重复插入:那么此时就存在一个BUG了,指纹是可以重复的,而我们在判断是否是重复插入元素是通过指纹进行判断的,也就是说存在误判的情况。这样会导致部分数据无法正常插入布谷鸟过滤器。

    布谷鸟过滤器的删除:

    这也是布隆过滤器的最大缺点:布隆过滤器不可以删除元素,想要去除元素只能重构整个布隆过滤器,在实际业务中会对服务器造成较大压力。

    而我们的布谷鸟过滤器只需要根据输入数据计算得到指纹,找到指纹进行删除就可以了。

    1. public void delete(int item) {
    2. //计算Hash位置
    3. int hash = hashItem(item);
    4. //计算指纹
    5. int fingerprint = getFingerprint(item);
    6. if (table[hash] == fingerprint) {
    7. //如果桶的hash位置是对应的指纹,直接删除
    8. table[hash] = -1;
    9. numItems--;
    10. return;
    11. } else {
    12. //如果不是,就利用指纹计算另外一个备用位置
    13. int altHash = hashItem(fingerprint);
    14. //如果是对应的指纹就删除
    15. if (table[altHash] == fingerprint) {
    16. table[altHash] = -1;
    17. numItems--;
    18. return;
    19. }
    20. }
    21. }

    而就像我们前面说的一样:布谷鸟过滤器为了优化存储空间,牺牲了存储的精度。所谓的指纹也只不过是一串二进制数字。也就是说:指纹可能重复布谷鸟过滤器也会出现误删的情况

    布隆过滤器的查找:

    查找很简单,通过指纹和Hash坐标去判断就可以了。

    1. public boolean contains(int item) {
    2. int hash = hashItem(item);
    3. int fingerprint = getFingerprint(item);
    4. if (table[hash] == fingerprint) {
    5. return true;
    6. } else {
    7. int altHash = hashItem(fingerprint);
    8. if (table[altHash] == fingerprint) {
    9. return true;
    10. }
    11. }
    12. return false;
    13. }

    而这个查找一样存在误判。

    而这些问题从指纹的设计模式上来讲,很难解决。我们只能通过不断的扩大指纹的字节数量或者提升计算指纹的哈希函数来缓解这个问题。

    不过布谷鸟过滤器确实实现了数据的删除,解决了布隆过滤器的缺点。

    这是文献作者提供的数据统计,其实我们看出,当桶的座位为4的时候,其实就已经可以胜任大多数的 业务了。

    最后再贴一下原文献的链接,如果大家感兴趣的话可以去看一看:

    cuckoo-conext2014.pdf (cmu.edu)icon-default.png?t=N7T8https://www.cs.cmu.edu/~dga/papers/cuckoo-conext2014.pdf

    基于Java实现布谷鸟过滤器:

    (这并不代表真正的布谷鸟过滤器,事实上真正的布谷鸟过滤器的哈希函数设计困难的多,我只是贴出来一个简单模拟的)

    1. import java.util.BitSet;
    2. import java.util.Random;
    3. public class CuckooFilter {
    4. private static final int MAX_KICKS = 500;
    5. private BitSet[] buckets;
    6. private int numBuckets;
    7. private int bucketSize;
    8. private int numItems;
    9. public CuckooFilter(int numBuckets, int bucketSize) {
    10. this.numBuckets = numBuckets;
    11. this.bucketSize = bucketSize;
    12. this.buckets = new BitSet[numBuckets];
    13. for (int i = 0; i < numBuckets; i++) {
    14. buckets[i] = new BitSet(bucketSize);
    15. }
    16. this.numItems = 0;
    17. }
    18. public boolean contains(String item) {
    19. int fingerprint = getFingerprint(item);
    20. int bucket1 = getBucket(item);
    21. int bucket2 = getAltBucket(bucket1, fingerprint);
    22. return buckets[bucket1].get(fingerprint) || buckets[bucket2].get(fingerprint);
    23. }
    24. public void insert(String item) {
    25. if (contains(item)) {
    26. return;
    27. }
    28. int fingerprint = getFingerprint(item);
    29. int bucket1 = getBucket(item);
    30. int bucket2 = getAltBucket(bucket1, fingerprint);
    31. if (buckets[bucket1].cardinality() < bucketSize) {
    32. buckets[bucket1].set(fingerprint);
    33. numItems++;
    34. } else if (buckets[bucket2].cardinality() < bucketSize) {
    35. buckets[bucket2].set(fingerprint);
    36. numItems++;
    37. } else {
    38. Random random = new Random();
    39. int bucket = random.nextBoolean() ? bucket1 : bucket2;
    40. int i = 0;
    41. while (i < MAX_KICKS) {
    42. int evictedFingerprint = random.nextInt(bucketSize);
    43. if (!buckets[bucket].get(evictedFingerprint)) {
    44. buckets[bucket].set(evictedFingerprint);
    45. String evictedItem = getItem(bucket, evictedFingerprint);
    46. insert(evictedItem);
    47. return;
    48. }
    49. i++;
    50. }
    51. rehash();
    52. insert(item);
    53. }
    54. }
    55. private int getFingerprint(String item) {
    56. // 使用合适的哈希函数生成指纹
    57. // 这里可以使用各种哈希算法,例如MurmurHash、SHA等
    58. // 这里简化处理,直接使用String的hashCode方法
    59. return item.hashCode();
    60. }
    61. private int getBucket(String item) {
    62. // 使用合适的哈希函数生成桶索引
    63. // 这里可以使用各种哈希算法,例如MurmurHash、SHA等
    64. // 这里简化处理,直接使用String的hashCode方法
    65. return Math.abs(item.hashCode()) % numBuckets;
    66. }
    67. private int getAltBucket(int bucket, int fingerprint) {
    68. // 使用异或操作产生备选桶索引
    69. return bucket ^ (fingerprint % numBuckets);
    70. }
    71. private String getItem(int bucket, int fingerprint) {
    72. // 根据桶索引和指纹反推出之前插入的元素
    73. // 这里简化处理,直接返回桶索引和指纹的拼接字符串
    74. return bucket + ":" + fingerprint;
    75. }
    76. private void rehash() {
    77. int newNumBuckets = numBuckets * 2;
    78. BitSet[] newBuckets = new BitSet[newNumBuckets];
    79. for (int i = 0; i < newNumBuckets; i++) {
    80. newBuckets[i] = new BitSet(bucketSize);
    81. }
    82. for (BitSet bucket : buckets) {
    83. for (int i = 0; i < bucketSize; i++) {
    84. if (bucket.get(i)) {
    85. String item = getItem(buckets, i);
    86. int newBucket = getBucket(item);
    87. newBuckets[newBucket].set(getFingerprint(item));
    88. }
    89. }
    90. }
    91. buckets = newBuckets;
    92. numBuckets = newNumBuckets;
    93. }
    94. }

    总结:

            布谷鸟过滤器基于布谷鸟哈希结构,它使用指纹来标记每一个元素。布谷鸟过滤器解决了布隆过滤器不可以对内部数据进行删除的痛点。但由于其基于指纹的特性,可能会存在误判情况。

    如果我的内容对你有帮助,请点赞,评论,收藏。创作不易,大家的支持就是我坚持下去的动力!

    69e9169c980f43e0aad31ff9ada88a9c.png

  • 相关阅读:
    echars柱状图怎么每个柱子设置不同颜色
    【数据治理】2021年 中国数据治理行业:全链产业图谱梳理
    【Linux】:Linux环境与版本
    万字解析:十大排序(直接插入排序+希尔排序+选择排序+堆排序+冒泡排序+快速排序+归并排序+计数排序+基数排序+桶排序)
    Linux入门教程:P11->文件查找类
    InnoDB之redo log写入和恢复
    UEFI实战——图形化
    常用docker镜像启动了解
    uniapp android 原生插件开发-测试流程
    【node】如何在打包前进行请求等操作npm run build
  • 原文地址:https://blog.csdn.net/fckbb/article/details/134247669