【Redis从入门到入土】布隆过滤器简介、特点和原理

简介: 【6月更文挑战第1天】布隆过滤器是一种节省内存的不确定数据结构,用于判断元素是否可能在一个集合中。它由位数组和多个哈希函数组成,能快速插入和查询,但存在误判风险:可能存在假阳性(判断存在但实际不存在),但绝无假阴性(判断不存在则确实不存在)。适用于大规模数据的去重问题,如电话号码判断、安全网站链接检查、黑名单和白名单校验。其工作原理是通过多个哈希函数将元素映射到位数组中,添加时设置相应位置为1,查询时所有位置都为1则可能存在,有0则肯定不存在。由于哈希冲突,可能导致误判,且一旦添加元素无法删除,以避免影响其他元素。

面试场景题

  1. 共有50亿个电话号码,现在有10万个电话号码,如何要快速准确的判断这些电话号码是否已经存在?
  1. 通过数据库查询 -- 无法实现快速

  2. 数据预放到内存集合里,50亿*8字节大概40G,占用的内存很大

  1. 判断是否存在,布隆过滤器了解过吗

  2. 安全连接网站,全球数10亿的网址判断

  3. 黑名单校验,识别垃圾邮件

  4. 白名单校验,识别出合法用户进行后续处理

简介

由一个初值都为0的bit数组和多个哈希函数构成,用来快速判断集合中是否存在某个元素。

设计思想:目的是减少内存占用;实现方式是不保存数据信息,只是在内存中做一个是否存在的标记flag。

备注:布隆过滤器是一种类似set的数据结构,只是统计结果在巨量数据下有点小瑕疵,不够完美。

通常情况下我们会遇到很多要判断一个元素是否在某个集合中的业务场景,一般想到的是将集合中的所有元素保存起来,然后通过比较进行确定。比如链表、树、哈希表等数据结构都是这种思路。但是随着集合中元素的增加,我们需要的存储空间也会呈现线性增长,最终速度也会越来越慢,上述三种结构的检索时间复杂度分别是O(n),O(logn),O(1)

特点

可以高效地插入和查询,占用空间少,但是返回的结果是不确定性的。

一个元素进行判断的时候,如果判断结果是存在,那么结果不一定存在;但是如果判断结果为不存在,则一定不存在。

原因:通过哈希算法后可能会存在冲突,在某一位上为1,也可能是别的元素存在导致这一位为1

布隆过滤器可以添加元素,但不能删除元素。由于涉及hashcode判断依据,删掉元素可能会导致误判率增加。

实现原理和数据结构

是一种专门来解决去重问题的高级数据结构,实质上就是一个大型位数组和几个不同的无偏hash函数(无偏表示分布均匀)。

添加key时

使用多个hash函数对key进行hash运算得到一个整数索引值,对位数组长度进行取模运算得到一个位置,每个hash函数都会得到一个不同的位置,将这几个位置都置为1就完成了add操作。

查询key时

只要有一位为0就表示这个key不存在;但是如果都是1,则不一定存在对应的key

hash冲突导致数据不精准

当有变量被加入集合时,通过N个映射函数将这个变量映射成位图中的N个点,把他们设置为1。假设有两个变量都通过三个映射函数。

查询某个变量的时候,我们只需要看看这些点是不是都是1,就可以知道是否存在了。

2024-05-27-21-23-24-image.png

如果这些点,有任何一个值为0则查询变量一定不存在;但是如果都是1,则查询变量可能存在。原因是映射函数本身就是散列函数,散列函数是会有碰撞的。

改进应用:

因为布隆过滤器的快速检测特性,我们可以把数据写入数据库时,使用布隆过滤器做个标记。当缓存缺失后,应用查询数据库时,可以通过查询布隆过滤器快速判断数据是否存在。如果不存在,就不用去数据库查询了。这种情况下,即使发生缓存穿透,大量请求也只会查询Redis和布隆过滤器,而不会积压到数据库,就不会影响数据库的正常运行。布隆过滤器可以使用Redis实现,本身就能承担较大的并发访问压力。

哈希函数

哈希函数的概念是将任意大小的输入数据转换成特定大小的输出数据的函数,转换后的数据称为哈希值或散列值。

2024-05-27-21-31-51-image.png

如果两个散列值是不相同的,根据统一函数,那么这两个散列值的原始输入也是不相同的。这个特性是散列函数具有确定性的结果,具有这种性质的散列函数称为单向散列函数

散列函数的输入和输出不是唯一对应关系的,如果两个散列值相同,两个输入值很可能是相同的,但也很可能不同,这种情况称为散列碰撞

用hash表存储大数据量时,空间效率还是很低,当只有一个hash函数时,很容易发送散列碰撞。

使用

初始化bitmap

所有位置全部初始化为0

添加占坑位

添加数据的时候,为了尽量地址不冲突,**使用多个hash函数对key进行运算**,得到下标索引值,对数组长度进行取模运算得到位置,每个hash函数都会得到一个不同的位置,再把位数组的这几位设置为1就完成了add操作。

判断是否存在

查询某个key是否存在的时候,先把这个key通过**相同的多个hash函数**进行运算,查看对应的位置是否都是1,只要有一个位是0,就说明布隆过滤器里这个key**不存在**;如果这几个位置全部是1,那么说明**可能存在**。

思考

思考1:为什么尽量避免在布隆过滤器删除元素?

布隆过滤器的误判是指多个输入经过哈希之后在相同的bit位设置位1了,这样就无法判断究竟是哪个输入产生的。因此误判的根源在于相同的bit位被多次映射且设置为1

这种情况也造成了布隆过滤器的删除问题,因为布隆过滤器的每一个bit都不是独占的,很有可能多个元素共享了某一位。如果直接删除这一位的话,会影响其他的元素,增加误判率。

思考2:使用技巧

不要让实际元素数量远大于初始化数量,一次给够避免扩容;

当实际元素数量超过初始化数量时,应该对布隆过滤器进行重建,重新分配一个size更大的过滤器,再将所有历史元素批量add进行。用重建替代删除

目录
相关文章
|
存储 缓存 NoSQL
Redis 服务器全方位介绍:从入门到核心原理
Redis是一款高性能内存键值数据库,支持字符串、哈希、列表等多种数据结构,广泛用于缓存、会话存储、排行榜及消息队列。其单线程事件循环架构保障高并发与低延迟,结合RDB和AOF持久化机制兼顾性能与数据安全。通过主从复制、哨兵及集群模式实现高可用与横向扩展,适用于现代应用的多样化场景。合理配置与优化可显著提升系统性能与稳定性。
671 0
|
5月前
|
存储 消息中间件 缓存
Redis 简介:打造快速数据存储的利器
Redis 是一款开源的内存数据结构服务器,支持字符串、哈希、列表等多种数据结构,具备高性能、持久化、高可用及分布式特性,适用于缓存、会话管理、实时统计等场景。
|
5月前
|
存储 缓存 监控
Redis分区的核心原理与应用实践
Redis分区通过将数据分散存储于多个节点,提升系统处理高并发与大规模数据的能力。本文详解分区原理、策略及应用实践,涵盖哈希、范围、一致性哈希等分片方式,分析其适用场景与性能优势,并探讨电商秒杀、物联网等典型用例,为构建高性能、可扩展的Redis集群提供参考。
314 0
|
消息中间件 缓存 NoSQL
Redis原理—5.性能和使用总结
本文详细探讨了Redis的阻塞原因、性能优化、缓存相关问题及数据库与缓存的一致性问题。同时还列举了不同缓存操作方案下的并发情况,帮助读者理解并选择合适的缓存管理策略。最终得出结论,在实际应用中应尽量采用“先更新数据库再删除缓存”的方案,并结合异步重试机制来保证数据的一致性和系统的高性能。
Redis原理—5.性能和使用总结
|
NoSQL 算法 安全
Redis原理—1.Redis数据结构
本文介绍了Redis 的主要数据结构及应用。
Redis原理—1.Redis数据结构
|
缓存 NoSQL Redis
Redis原理—2.单机数据库的实现
本文概述了Redis数据库的核心结构和操作机制。
Redis原理—2.单机数据库的实现
|
存储 缓存 NoSQL
Redis原理—4.核心原理摘要
Redis 是一个基于内存的高性能NoSQL数据库,支持分布式集群和持久化。其网络通信模型采用多路复用监听与文件事件机制,通过单线程串行化处理大量并发请求,确保高效运行。本文主要简单介绍了 Redis 的核心特性。
|
缓存 NoSQL Redis
Redis原理—3.复制、哨兵和集群
详细介绍了Redis的复制原理、哨兵原理和集群原理。
|
运维 NoSQL 算法
【📕分布式锁通关指南 04】redis分布式锁的细节问题以及RedLock算法原理
本文深入探讨了基于Redis实现分布式锁时遇到的细节问题及解决方案。首先,针对锁续期问题,提出了通过独立服务、获取锁进程自己续期和异步线程三种方式,并详细介绍了如何利用Lua脚本和守护线程实现自动续期。接着,解决了锁阻塞问题,引入了带超时时间的`tryLock`机制,确保在高并发场景下不会无限等待锁。最后,作为知识扩展,讲解了RedLock算法原理及其在实际业务中的局限性。文章强调,在并发量不高的场景中手写分布式锁可行,但推荐使用更成熟的Redisson框架来实现分布式锁,以保证系统的稳定性和可靠性。
827 0
【📕分布式锁通关指南 04】redis分布式锁的细节问题以及RedLock算法原理
|
存储 消息中间件 缓存
Redis 简介
10月更文挑战第14天
359 58