通过本文将了解到以下内容:

  • 查找问题的一般思路

  • 布隆过滤器的基本原理

  • 布隆过滤器的典型应用

  • 布隆过滤器的工程实现

场景说明:

本文阐述的场景均为普通单机服务器、并非分布式大数据平台,因为在大数据平台下问题就是另外一种考虑方式了,因此本文只描述贫穷落后一穷二白的场景,俨然有种60年代先辈们在戈壁攻克原子弹的感觉。

1.查找问题的一般思路

查找问题是出现频率极高的问题,来看一道面试题:

给你A,B两个文件,各存放50亿条URL,每条URL占用64字节,内存限制是4G,让你找出A,B文件所有共同的URL。

某知名公司面试题

一般思路:

面对一般的问题,根据不同的数据规模,转换为计算机问题之后就落地到实际的数据结构:

  • 线性结构:数组、链表、

  • 容器结构:集合、Map、HashTable

  • 树形结构:AVL、RBTree、BTree

但是上述的结构都是将待查找数据直接存储,如果是大数据量,这样虽然保证了准确性但是空间消耗会非常大,实际是不可行的。

苛求条件下的思路:

  • 把待查数据进行信息无缺失地压缩

这句话的意思就是:对于公民可以使用身份证来独立唯一表示此个体,而无需太多诸如性别、出生日期、出生地、履历等描述,这种转换就相当于在信息无缺失的情况下,使用更少的特征来表示。

还有一个例子就是:文言文往往篇幅很短,翻译为白话文可能很长,所以文言文就可以认为是白话文的信息无缺失压缩。

这种做法可以实现使用更少的信息量表达更多的含义,对存储很有利。

  • 借助于存储容器来存储辅助信息

这句话是说:比如高考之后的每个省份的一分一档表,每个分数段代表一个存储空间,假如要知道0-750分中每个分数段有多少人,那么只需要计数即可,因为在对应分数段的考生就是对应的分数,换句话说600分段的存储的值都是600分,无需单独记录绝对值,借用下标即可,也就是需要设计存储容器来自动带有相关信息。

2.布隆过滤器的基本原理

前面那道问题就可以使用布隆过滤器解决。

  • 布隆过滤器的定义

布隆过滤器Bloom Filter是1970年由布隆提出的。它实际上是一个很长的二进制向量和一系列随机映射函数。布隆过滤器可以用于检索一个元素是否在一个集合中。它的优点是空间效率和查询时间都远远超过一般的算法,缺点是有一定的误识别率和删除困难。

维基百科-BloomFilter

  • 布隆过滤器横向对比

如果想判断一个元素是不是在一个集合里,一般是将集合中所有元素保存起来,然后通过比较确定。链表、树、哈希表等数据结构都是这种思路。但是集合元素的增加需要的存储空间越大,检索速度也越慢。

维基百科

  • 布隆过滤器的基本原理

布隆过滤器本质上是bitmap位数组的扩展,位数组的应用也非常多,比如在IO复用工具Select中就使用三个FD_SET来存储Socket文件描述符的值,简单说一下位数组的原理:

假如现在有0-31范围的20个不重复数字,如何判断16是否在其中呢?

一种做法是建立个数组就算是int8 单字节的数组,也需要8*32=256位空间,之后去遍历这个数组查看是否有16.

另外一种做法使用一个int32的变量,这个变量占4个字节32bit,可以用bit0表示数字0,bit1表示数字1,.....bit30表示30,因此我们实现了使用4字节空间完成了之前32字节的工作,空间使用是之前的1/8,非常可观。

一图胜千言 灵魂画手上线了:

如图所示在bit数组中如果对于bit是1表示存在对应的值,为0则不存在。

  • 布隆过滤器的两大组件

  1. 一定大小的BitAarry位阵列(具体大小和存储规模有关)

  2. N个优秀的哈希函数(N的个数和存储规模和容忍误判率有关)

两个组件的功能也非常明确,位阵列就是存储对应位的值是0/1的二进制向量,哈希函数的作用是将原始输入经过数学运算转换为一个数字值,哈希函数是加密和安全的基础,也是数学的伟大体现,感兴趣可以进一步学习其基本原理。

对应最开始提到的信息无损压缩其实就是哈希函数的作用,就像我们每个人可以用一个学号、工号、身份证号来代替一样,哈希函数也实现了原始输入的数字化。

  • 布隆过滤器和哈希冲突

哈希冲突虽然概率很低,但是在大规模数据场景下还是会出现的,而且冲突率和哈希函数本身有很大关系,因此在设计布隆过滤器时要选择性能优良的哈希函数来降低哈希冲突。

举个栗子:

对于哈希函数fuc(唱歌都很棒),有四个输入分别是大白、周杰伦、张学友、岩崎良美,哈希函数计算结果分别是:Yes/Yes/Yes/Yes。

可以看到如果以yes/no作为结果的话,我和周杰伦他们仨产生了哈希冲突,因此这个哈希函数并不优秀。水平有限关于哈希函数和碰撞的数学原理就不再展开了。

多个哈希

即使很优秀的哈希函数仍然存在冲突,那么如何降低冲突率呢?很明显多用几个哈希函数!

假如Hash1冲突率万分之一,Hash2万分之一,同时Hash1和Hash2冲突的概率就是亿分之一了,但是实际中为了将数据都存储在bitarray中,由于取模运算的存在,冲突率会比理论值高。

这种思想也并不新鲜,远在春秋战国时期,就有先例:

(侵权请告之删除)

上图是兵符,当两个兵符合在一起才可以调度千军万马,跟单个哈希冲突率高就使用多个是一个道理。

  • 布隆过滤器的具体使用

假如现在有三个哈希函数分别为h1,h2,h3,同时有三个输入x,y,z。三个输入分别通过h1-h3进行哈希计算出对应整数之后,对bitarray的长度进行取模运算,获取对应下标再进行置1,这样运算三次就形成了如图的bitmap结构:

布隆过滤器检索时,使用相同的哈希函数进行计算出对应的bit位置,只要看这些位置的值,如果这些位置有任何一个0,则被检元素一定不在;如果都是1,则被检元素可能存在。

一句话概率就是有0一定不存在、全1不一定存在。

  • 布隆过滤器和误判率

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

这种情况也造成了布隆过滤器的删除问题,因为冲突的存在无法确定有多少输入映射到这个bit位了,当然这是个优化方向。

布隆过滤器存在一定的误判,主要因素包括:

  1. 哈希函数本身的冲突率

  2. bitarray位数组的大小

这个其实很明显,如果位数组很小,哈希函数再优秀也会产生误判,因此在工程设计中需要首先设定误判率和数据规模再确定哈希函数个数和位数组大小。

上述过程再用一张图来表示:

  • 布隆过滤器的优缺点

相比于其它的数据结构,布隆过滤器在空间和时间方面都有巨大的优势。布隆过滤器存储空间和插入/查询时间都是常数。另外,散列函数相互之间没有关系,方便由硬件并行实现。布隆过滤器不需要存储元素本身,在某些对保密要求非常严格的场合有优势。布隆过滤器可以表示全集,其它任何数据结构都不能;

维基百科--布隆的优点

误算率是其中之一,随着存入的元素数量增加,误算率随之增加,但是如果元素数量太少,则使用散列表足够。另外一般情况下不能从布隆过滤器中删除元素。

维基百科--布隆的缺点

3.布隆过滤器的典型应用

布隆在海量数据查询中以优异的空间效率和低误判率有非常广泛的应用,其中包括但不限于:

  • 检查单词拼写正确性

  • 检测海量名单嫌疑人

  • 垃圾邮件过滤

  • 搜索爬虫URL去重

  • 缓存穿透过滤

4.布隆过滤器的工程实现

  • 位数组和哈希函数个数的计算

理论要迁移到实际工程还是需要做一些调研的,从上面的理论部分可以知道,要设计一个误判率低的布隆过滤器最关键的是要确定两个因素:

  • bitarray位数组的大小m

  • 哈希函数的个数k

感兴趣的可以查询相关推导过程,这里直接给出网上较为认可的工程值:

其中fpp是误判率比如0.0001,n是预估要存储的数据元素个数。

  • 多个哈希函数的优化

使用多个哈希函数确实可以降低冲突,但是多个哈希函数也会造成计算时间的增加,因此哈希函数的个数是个折中值,但是在2008年哈佛的一篇论文指出可以使用2个哈希函数来模拟多个哈希函数:

这篇论文涉及大量的数学推导,我很自觉地知难而退了,大神可以看看,作为一个结论可以在工程实践中用一下。

  • 工程组件

Google的Guava类库提供了简洁的接口,只要设置误判率和数据规模即可完成,Redis新版本中也有bitmap类型,也可以实现布隆,当然不借助于这些组件,也可以自己来实现,在此就不展开了,后续有机会可以聊一聊。

5.参考资料

  1. https://www.jianshu.com/p/af6c63822da8

  2. https://juejin.im/post/5c9b61576fb9a070f653557d

  3. https://segmentfault.com/a/1190000015482091

  4. https://www.kancloud.cn/kancloud/the-art-of-programming/41619

  5. https://segmentfault.com/a/1190000012620152

  6. https://www.eecs.harvard.edu/~michaelm/postscripts/rsa2008.pdf

白话布隆过滤器BloomFilter相关推荐

  1. Flink 结合 布隆过滤器(BloomFilter) 实现去重

    本文开头附:Flink 学习路线系列 ^ _ ^ 1.实时系统去重方案 使用Redis,将实时系统每条数据都去和 Redis 进行判断: 使用 HashSet,因为 HashSet 本身就是无序不重复 ...

  2. 布隆过滤器(BloomFilter)原理 实现和性能测试

    目录 BloomFilter的原理 如何确定最优的m和k? guava中的BloomFilter 使用案例 和HashSet对比 测试环境 测试方式 BloomFilter vs HashSet 在不 ...

  3. 布隆过滤器 - Redis 布隆过滤器,Guava 布隆过滤器 BloomFilter

    文章目录 布隆过滤器 - Redis 布隆过滤器,Guava 布隆过滤器 BloomFilter 1.布隆过滤器的起源,用途 2.布隆过滤器的概念 3.布隆过滤器的优缺点 1.优点 2.缺点 4.应用 ...

  4. 04 布隆过滤器BloomFilter

    是什么 布隆过滤器(英语:Bloom Filter)是 1970 年由布隆提出的. 它实际上是一个很长的二进制数组+一系列随机hash算法映射函数,主要用于判断一个元素是否在集合中. 通常我们会遇到很 ...

  5. Redis 高级主题之布隆过滤器(BloomFilter)

    最近计划准备整理几篇关于Reids高级主题的博文,本文整理的是关于布隆过滤器在Redis中如何应用,先来一张思维导图浏览全文. 1. 认识BloomFilter 1.1 原理 布隆过滤器,英文叫Blo ...

  6. 网络爬虫:URL去重策略之布隆过滤器(BloomFilter)的使用

    前言: 最近被网络爬虫中的去重策略所困扰.使用一些其他的"理想"的去重策略,不过在运行过程中总是会不太听话.不过当我发现了BloomFilter这个东西的时候,的确,这里是我目前找 ...

  7. C语言布隆过滤器BloomFilter

    在实现BloomFilter,首先实现一个位图: BitMap 在位图中,每个元素为"0"或"1",表示其对应的元素不存在或者存在. typedef struc ...

  8. Hbase 解析(四) 布隆过滤器(BloomFilter)

    1.简介 1.1 介绍 Bloom filter是1970年引入的一种数据结构,在过去的十年中,由于它为网络主机之间的组成员信息传输提供了带宽效率,因此被网络研究界采用.发送者将信息编码成一个比特向量 ...

  9. 布隆过滤器-BloomFilter

    目录 一.概述 二.详解 三.实现 四.适用业务场景 一.概述 简单讲布隆过滤器就是判断一个列表中是否存在某个元素.一般在JAVA判断是否存在,我们可以Map,Set等容器.但是当数据量特别大的时候, ...

  10. 【redis】详解布隆过滤器BloomFilter的原理,使用场景和注意事项

    文章目录 1. 什么是布隆过滤器 2. 实现原理 2.1 HashMap 的问题 2.2 布隆过滤器数据结构 2.3 BloomFilter 的缺点 2.4 如何选择哈希函数个数和布隆过滤器长度 3. ...

最新文章

  1. SGDRegressor
  2. kafka在zk中的目录
  3. sqlserver 安装共享功能什么意思_手表上的小表盘,大表盘是什么意思?它们可以带来哪些好玩的功能...
  4. [转]如何将属性表嵌入对话框中显示
  5. [C++STL]C++实现stack容器适配器
  6. [剑指offer]面试题37:两个链表的第一个公共结点
  7. java 遍历hashmap key_Java5种遍历HashMap数据的写法
  8. Jquery - jquery 插件,jQuery.Switchable
  9. python有什么好玩的程序_Python小程序,够你玩一整天~
  10. 【目标检测】单阶段算法--YOLOv3详解
  11. 如何提高lstm的预测精度_如何提高失重秤的喂料精度?你需要了解这些!
  12. 码匠编程:CSS让元素绝对居中,你知道几种方法?
  13. 此设备不允许更改其写入高速缓存设置_优化SiT15xx驱动器设置32 kHz晶体输入低功耗MCU程序设计细节(一)...
  14. invalid cookie header httpclient
  15. 繁体转简体 java_java 中文简体与繁体的转换
  16. android 国际电话区号,中国国际区号_电话区号_中国区号是多少-中国区号查询
  17. 第6章 Python 数字图像处理(DIP) - 彩色图像处理1 - RGB彩色模型,RGB to Gray,CMK和CMYK彩色模型,HSI彩色模型
  18. keba驱动器_KEBA控制器说明书
  19. IOS开发-苹果开发者中心 提示 edit phone number
  20. 我的编程之路点滴记录(五)

热门文章

  1. 对等局域网操作系统有几台服务器,局域网软件知识
  2. 屏蔽csdn右下角广告插件
  3. python都被我用来爬美女图片了
  4. 【车牌识别】基于模板匹配算法实现车牌识别matlab源码
  5. matlab开环传递函数 求单位负反馈的系统传递函数,已知单位反馈系统开环传递函数.doc...
  6. linux iometer安装教程,IOmeter 2010在Linux x64下安装
  7. 鲁棒控制--simulink不确定模型仿真
  8. 安卓 Handler 机制学习
  9. Java -- 定时任务实现方式
  10. HP M280 鼠标驱动