BloomFilter——大规模数据处理利器
Bloom Filter是由Bloom在1970年提出的一种多哈希函数映射的快速查找算法。通常应用在一些需要快速判断某个元素是否属于集合,但是并不严格要求100%正确的场合。
$ p$ c) Y, ^( {7 ^一. 实例
为了说明Bloom Filter存在的重要意义,举一个实例:
假设要你写一个网络蜘蛛(web crawler)。由于网络间的链接错综复杂,蜘蛛在网络间爬行很可能会形成“环”。为了避免形成“环”,就需要知道蜘蛛已经访问过那些URL。给一个URL,怎样知道蜘蛛是否已经访问过呢?稍微想想,就会有如下几种方案:
1. 将访问过的URL保存到数据库。
2. 用HashSet将访问过的URL保存起来。那只需接近O(1)的代价就可以查到一个URL是否被访问过了。
3. URL经过MD5或SHA-1等单向哈希后再保存到HashSet或数据库。
4. Bit-Map方法。建立一个BitSet,将每个URL经过一个哈希函数映射到某一位。
方法1~3都是将访问过的URL完整保存,方法4则只标记URL的一个映射位。
: m/ m$ a$ O6 c 以上方法在数据量较小的情况下都能完美解决问题,但是当数据量变得非常庞大时问题就来了。
方法1的缺点:数据量变得非常庞大后关系型数据库查询的效率会变得很低。而且每来一个URL就启动一次数据库查询是不是太小题大做了?
方法2的缺点:太消耗内存。随着URL的增多,占用的内存会越来越多。就算只有1亿个URL,每个URL只算50个字符,就需要5GB内存。
方法3:由于字符串经过MD5处理后的信息摘要长度只有128Bit,SHA-1处理后也只有160Bit,因此方法3比方法2节省了好几倍的内存。
方法4消耗内存是相对较少的,但缺点是单一哈希函数发生冲突的概率太高。还记得数据结构课上学过的Hash表冲突的各种解决方法么?若要降低冲突发生的概率到1%,就要将BitSet的长度设置为URL个数的100倍。
实质上上面的算法都忽略了一个重要的隐含条件:允许小概率的出错,不一定要100%准确!也就是说少量url实际上没有没网络蜘蛛访问,而将它们错判为已访问的代价是很小的——大不了少抓几个网页呗。
* b: J" L% U* V9 I2 q ?! p* r
二. Bloom Filter的算法
废话说到这里,下面引入本篇的主角——Bloom Filter。其实上面方法4的思想已经很接近Bloom Filter了。方法四的致命缺点是冲突概率高,为了降低冲突的概念,Bloom Filter使用了多个哈希函数,而不是一个。
Bloom Filter算法如下:
创建一个m位BitSet,先将所有位初始化为0,然后选择k个不同的哈希函数。第i个哈希函数对字符串str哈希的结果记为h(i,str),且h(i,str)的范围是0到m-1 。
. k' i/ @- k. n5 S9 p2 L(1) 加入字符串过程
下面是每个字符串处理的过程,首先是将字符串str“记录”到BitSet中的过程:
对于字符串str,分别计算h(1,str),h(2,str)…… h(k,str)。然后将BitSet的第h(1,str)、h(2,str)…… h(k,str)位设为1。
图1.Bloom Filter加入字符串过程
很简单吧?这样就将字符串str映射到BitSet中的k个二进制位了。
, N/ w# f/ m9 m9 t B" A& b(2) 检查字符串是否存在的过程
4 m( ]7 T3 g1 W: Q1 a/ u" K 下面是检查字符串str是否被BitSet记录过的过程:
对于字符串str,分别计算h(1,str),h(2,str)…… h(k,str)。然后检查BitSet的第h(1,str)、h(2,str)…… h(k,str)位是否为1,若其中任何一位不为1则可以判定str一定没有被记录过。若全部位都是1,则“认为”字符串str存在。
$ N5 X5 v! R" {/ O
若一个字符串对应的Bit不全为1,则可以肯定该字符串一定没有被Bloom Filter记录过。(这是显然的,因为字符串被记录过,其对应的二进制位肯定全部被设为1了)
但是若一个字符串对应的Bit全为1,实际上是不能100%的肯定该字符串被Bloom Filter记录过的。(因为有可能该字符串的所有位都刚好是被其他字符串所对应)这种将该字符串划分错的情况,称为false positive 。
/ @$ N j) F6 C! J( {# ]5 @* K" J(3) 删除字符串过程
字符串加入了就被不能删除了,因为删除会影响到其他字符串。实在需要删除字符串的可以使用Counting bloomfilter(CBF),这是一种基本Bloom Filter的变体,CBF将基本Bloom Filter每一个Bit改为一个计数器,这样就可以实现删除字符串的功能了。
9 t- N1 U% j( C, F$ s. F8 N Bloom Filter跟单哈希函数Bit-Map不同之处在于:Bloom Filter使用了k个哈希函数,每个字符串跟k个bit对应。从而降低了冲突的概率。
6 [! n4 t/ s% K5 ~8 W
三. Bloom Filter参数选择
8 t5 I/ \) B* S1 ^8 O+ p$ K
(1)哈希函数选择
哈希函数的选择对性能的影响应该是很大的,一个好的哈希函数要能近似等概率的将字符串映射到各个Bit。选择k个不同的哈希函数比较麻烦,一种简单的方法是选择一个哈希函数,然后送入k个不同的参数。
(2)Bit数组大小选择
哈希函数个数k、位数组大小m、加入的字符串数量n的关系可以参考
参考文献1。该文献证明了对于给定的m、n,当 k = ln(2)* m/n 时出错的概率是最小的。
同时该文献还给出特定的k,m,n的出错概率。例如:根据参考文献1,哈希函数个数k取10,位数组大小m设为字符串个数n的20倍时,false positive发生的概率是0.0000889 ,这个概率基本能满足网络爬虫的需求了。
5 P* U! `! q! l$ V9 t
四. Bloom Filter实现代码
下面给出一个简单的Bloom Filter的Java实现代码:
2 z4 C% S* T, _( E8 \+ r
[url=]
[/url]
5 T- \5 `' `, himport java.util.BitSet;
( H/ _5 p7 M: d# l C1 R* E) Y C6 ^
publicclass BloomFilter
, I, T9 y0 f, @+ M& s9 p{
' W% b0 _3 X+ d! c/* BitSet初始分配2^24个bit */ : R( R$ \, Z# A: D1 d
privatestaticfinalint DEFAULT_SIZE =1<<25;
' i! {5 f4 w2 Q8 X `! v: |/* 不同哈希函数的种子,一般应取质数 */
5 Z9 s: ?9 Z/ \% T7 y" I Kprivatestaticfinalint[] seeds =newint[] { 5, 7, 11, 13, 31, 37, 61 };- I, k' a, r6 o. M- E, h4 g$ Z
private BitSet bits =new BitSet(DEFAULT_SIZE);& V, s) C f6 ~4 U5 h
/* 哈希函数对象 */ + s/ q0 C* M2 m, W1 S: M
private SimpleHash[] func =new SimpleHash[seeds.length];
2 s* B: H, Z/ N8 a6 R4 a O" r4 D3 z; k* r4 p" |3 X& `
public BloomFilter()
$ A8 P0 F) k# t3 T f{
! l6 T Z1 l0 z8 n# Y1 Zfor (int i =0; i < seeds.length; i++)
+ w5 d" d9 T& [& Q$ f2 u% t{) C& k1 f; K2 r3 w' s
func =new SimpleHash(DEFAULT_SIZE, seeds);
: a# g6 @& I" C}1 k' g t" p9 @ q; q2 o' N; o
}4 {7 M% c: D0 V0 D
( o# n: A. j" P U4 Q
// 将字符串标记到bits中
5 h7 E# I5 S* t8 a3 j3 Epublicvoid add(String value)
0 h6 m9 D' \ m( F5 C{
$ Z+ [" n/ M8 ?* @, Q& n3 xfor (SimpleHash f : func) 5 `. F4 f$ E6 `/ U- M5 R3 T. c
{
, a# Q; [8 w$ P+ p- zbits.set(f.hash(value), true);
% ^( X& V `2 o8 \}
7 O8 [1 f; |- N& Z+ ^9 H+ B# H}
; J2 G. ?, p N7 i
; O! b( L! t e# B* T- R//判断字符串是否已经被bits标记
4 g) y+ u( a. j) _7 j* V/ S8 Zpublicboolean contains(String value)
* ^7 t$ e9 U: s2 J. X: P6 d3 d{+ B; a' U2 v# ]4 o- K9 Y! |7 e
if (value ==null) ' g2 j: o: ` P5 K
{
# @) h: n6 Z2 e( G( \( [0 ~; hreturnfalse;
* t. S' O) Z9 ]7 k}, \5 p Q j% [8 x9 s( }/ D0 j9 X
boolean ret =true;
; L$ w6 p7 d' K% Wfor (SimpleHash f : func) , F$ z. j8 I% ^3 s: c9 y) a
{9 ?" z1 [3 b& n# p- @
ret = ret && bits.get(f.hash(value));4 T! J/ f+ B* k3 u5 h# K! @/ e
}
4 Z( b8 j* A' ^9 R; R5 {return ret;
0 N- N1 W; j! p8 n r3 S}
) g8 ]7 q0 s, c6 L0 f% {1 K/ h& i
. H( |1 Z5 u- p' U0 ?2 _/* 哈希函数类 */
/ C6 v! i0 [6 n( {- q2 {; qpublicstaticclass SimpleHash
" W6 P. {( f9 A1 F4 {6 C{
4 o) K! t# k7 B/ n8 @privateint cap; W( @* x5 E: }% F$ ^
privateint seed;" h: ] Z: |$ a" E' t+ X7 e/ |) L
' [$ d1 b- L6 I# i; a/ g1 J% g3 n
public SimpleHash(int cap, int seed) ( v9 S3 \2 N% z& _' X. D) K6 Q
{& b. y& B1 Y3 k: r6 P+ e5 p4 f
this.cap = cap;# h/ [" d9 D( R$ R7 k
this.seed = seed;
/ o W1 A- c3 x- z}0 b2 K1 S; A' v) _2 B
; x6 w/ H: s# O
//hash函数,采用简单的加权和hash; V4 Q' R- J: F3 Z" G
publicint hash(String value) , s6 ], L3 x x) d5 z
{ D1 i* _# w& ]* t7 O" W8 K
int result =0;
. G# `3 K8 b1 E; Kint len = value.length();
6 B+ Y" x5 ?$ @) G: S. o! Efor (int i =0; i < len; i++)
0 k( z3 R$ |; I8 i{& @" h% M2 E( t* ?6 s
result = seed * result + value.charAt(i);6 a3 I3 L# M* ^6 g4 f5 Y
}
( O' V, ^: N2 r2 w I' F0 s: Sreturn (cap -1) & result;
3 O6 {+ P/ A/ A}/ E2 d' z$ g/ @ a
}
/ |+ G( L" ?, y* K3 b5 U}: h5 |% N7 J" V4 `) i8 P3 e- U
. U: a3 _( c: h, c
[url=]
[/url]
# c, a5 e% a% h9 j6 j) P# @/ e/ N* s4 Y1 \" s
+ {/ c) L9 i D3 K! v* r0 u
4 e8 K; I$ v7 `0 P- y- X" Q: G9 a: A' F+ U( t: I) U7 _% l U8 A# L
参考文献:
3 z6 q- v, f# P E. B[1]Pei Cao. Bloom Filters - the math.
http://pages.cs.wisc.edu/~cao/papers/summary-cache/node8.html
[2]Wikipedia. Bloom filter.
$ s* c' y" r6 L