主頁 > 後端開發 > 拼夕夕二面:說說布隆過濾器與布谷鳥過濾器?應用場景?我懵了。。

拼夕夕二面:說說布隆過濾器與布谷鳥過濾器?應用場景?我懵了。。

2022-07-04 01:45:09 後端開發

來源:www.cnblogs.com/Courage129/p/14337466.html

大家都知道,在計算機中,IO一直是一個瓶頸,很多框架以及技術甚至硬體都是為了降低IO操作而生,今天聊一聊過濾器,先說一個場景:

我們業務后端涉及資料庫,當請求訊息查詢某些資訊時,可能先檢查快取中是否有相關資訊,有的話回傳,如果沒有的話可能就要去資料庫里面查詢,這時候有一個問題,如果很多請求是在請求資料庫根本不存在的資料,那么資料庫就要頻繁回應這種不必要的IO查詢,如果再多一些,資料庫大多數IO都在回應這種毫無意義的請求操作,那么如何將這些請求阻擋在外呢?過濾器由此誕生:

布隆過濾器


布隆過濾器(Bloom Filter)大概的思路就是,當你請求的資訊來的時候,先檢查一下你查詢的資料我這有沒有,有的話將請求壓給資料庫,沒有的話直接回傳,是如何做到的呢?

如圖,一個bitmap用于記錄,bitmap原始數值全都是0,當一個資料存進來的時候,用三個Hash函式分別計算三次Hash值,并且將bitmap對應的位置設定為1,上圖中,bitmap 的1,3,6位置被標記為1,這時候如果一個資料請求過來,依然用之前的三個Hash函式計算Hash值,如果是同一個資料的話,勢必依舊是映射到1,3,6位,那么就可以判斷這個資料之前存盤過,如果新的資料映射的三個位置,有一個匹配不上,假如映射到1,3,7位,由于7位是0,也就是這個資料之前并沒有加入進資料庫,所以直接回傳,

布隆過濾器的問題

上面這種方式,應該你已經發現了,布隆過濾器存在一些問題:

第一方面,布隆過濾器可能誤判:

假如有這么一個情景,放入資料包1時,將bitmap的1,3,6位設定為了1,放入資料包2時將bitmap的3,6,7位設定為了1,此時一個并沒有存過的資料包請求3,做三次哈希之后,對應的bitmap位點分別是1,6,7,這個資料之前并沒有存進去過,但是由于資料包1和2存入時將對應的點設定為了1,所以請求3也會壓倒資料庫上,這種情況,會隨著存入的資料增加而增加,

第二方面,布隆過濾器沒法洗掉資料,洗掉資料存在以下兩種困境:

一是,由于有誤判的可能,并不確定資料是否存在資料庫里,例如資料包3,

二是,當你洗掉某一個資料包對應位圖上的標志后,可能影響其他的資料包,例如上面例子中,如果洗掉資料包1,也就意味著會將bitmap1,3,6位設定為0,此時資料包2來請求時,會顯示不存在,因為3,6兩位已經被設定為0,

布隆過濾器增強版


為了解決上面布隆過濾器的問題,出現了一個增強版的布隆過濾器(Counting Bloom Filter),這個過濾器的思路是將布隆過濾器的bitmap更換成陣列,當陣列某位置被映射一次時就+1,當洗掉時就-1,這樣就避免了普通布隆過濾器洗掉資料后需要重新計算其余資料包Hash的問題,但是依舊沒法避免誤判,

布谷鳥過濾器


為了解決布隆過濾器不能洗掉元素的問題, 論文《Cuckoo Filter:Better Than Bloom》作者提出了布谷鳥過濾器,相比布谷鳥過濾器,布隆過濾器有以下不足:查詢性能弱、空間利用效率低、不支持反向操作(洗掉)以及不支持計數,

查詢性能弱是因為布隆過濾器需要使用多個 hash 函式探測位圖中多個不同的位點,這些位點在記憶體上跨度很大,會導致 CPU 快取行命中率低,

空間效率低是因為在相同的誤判率下,布谷鳥過濾器的空間利用率要明顯高于布隆,空間上大概能節省 40% 多,不過布隆過濾器并沒有要求位圖的長度必須是 2 的指數,而布谷鳥過濾器必須有這個要求,從這一點出發,似乎布隆過濾器的空間伸縮性更強一些,

不支持反向洗掉操作這個問題著實是擊中了布隆過濾器的軟肋,在一個動態的系統里面元素總是不斷的來也是不斷的走,布隆過濾器就好比是印跡,來過來就會有痕跡,就算走了也無法清理干凈,比如你的系統里本來只留下 1kw 個元素,但是整體上來過了上億的流水元素,布隆過濾器很無奈,它會將這些流失的元素的印跡也會永遠存放在那里,隨著時間的流失,這個過濾器會越來越擁擠,直到有一天你發現它的誤判率太高了,不得不進行重建,

布谷鳥過濾器在論文里聲稱自己解決了這個問題,它可以有效支持反向洗掉操作,而且將它作為一個重要的賣點,傭訓你們放棄布隆過濾器改用布谷鳥過濾器,

為啥要取名布谷鳥呢?

有個成語,「鳩占鵲巢」,布谷鳥也是,布谷鳥從來不自己筑巢,它將自己的蛋產在別人的巢里,讓別人來幫忙范訓,待小布谷鳥破殼而出之后,因為布谷鳥的體型相對較大,它又將養母的其它孩子(還是蛋)從巢里擠走 —— 從高空摔下夭折了,

布谷鳥哈希


最簡單的布谷鳥哈希結構是一維陣列結構,會有兩個 hash 演算法將新來的元素映射到陣列的兩個位置,如果兩個位置中有一個位置為空,那么就可以將元素直接放進去,但是如果這兩個位置都滿了,它就不得不「鳩占鵲巢」,隨機踢走一個,然后自己霸占了這個位置,

p1 = hash1(x) % l
p2 = hash2(x) % l
復制代碼

不同于布谷鳥的是,布谷鳥哈希演算法會幫這些受害者(被擠走的蛋)尋找其它的窩,因為每一個元素都可以放在兩個位置,只要任意一個有空位置,就可以塞進去,所以這個傷心的被擠走的蛋會看看自己的另一個位置有沒有空,如果空了,自己挪過去也就皆大歡喜了,但是如果這個位置也被別人占了呢?好,那么它會再來一次「鳩占鵲巢」,將受害者的角色轉嫁給別人,然后這個新的受害者還會重復這個程序直到所有的蛋都找到了自己的巢為止,

布谷鳥哈希的問題


但是會遇到一個問題,那就是如果陣列太擁擠了,連續踢來踢去幾百次還沒有停下來,這時候會嚴重影響插入效率,這時候布谷鳥哈希會設定一個閾值,當連續占巢行為超出了某個閾值,就認為這個陣列已經幾乎滿了,這時候就需要對它進行擴容,重新放置所有元素,

還會有另一個問題,那就是可能會存在擠兌回圈,比如兩個不同的元素,hash 之后的兩個位置正好相同,這時候它們一人一個位置沒有問題,但是這時候來了第三個元素,它 hash 之后的位置也和它們一樣,很明顯,這時候會出現擠兌的回圈,不過讓三個不同的元素經過兩次 hash 后位置還一樣,這樣的概率并不是很高,除非你的 hash 演算法太挫了,

布谷鳥哈希演算法對待這種擠兌回圈的態度就是認為陣列太擁擠了,需要擴容(實際上并不是這樣),

優化

上面的布谷鳥哈希演算法的平均空間利用率并不高,大概只有 50%,到了這個百分比,就會很快出現連續擠兌次數超出閾值,這樣的哈希演算法價值并不明顯,所以需要對它進行改良,

改良的方案之一是增加 hash 函式,讓每個元素不止有兩個巢,而是三個巢、四個巢,這樣可以大大降低碰撞的概率,將空間利用率提高到 95%左右,

另一個改良方案是在陣列的每個位置上掛上多個座位,這樣即使兩個元素被 hash 在了同一個位置,也不必立即「鳩占鵲巢」,因為這里有多個座位,你可以隨意坐一個,除非這多個座位都被占了,才需要進行擠兌,很明顯這也會顯著降低擠兌次數,這種方案的空間利用率只有 85%左右,但是查詢效率會很高,同一個位置上的多個座位在記憶體空間上是連續的,可以有效利用 CPU 高速快取,

所以更加高效的方案是將上面的兩個改良方案融合起來,比如使用 4 個 hash 函式,每個位置上放 2 個座位,這樣既可以得到時間效率,又可以得到空間效率,這樣的組合甚至可以將空間利用率提到高 99%,這是非常了不起的空間效率,

布谷鳥過濾器


布谷鳥過濾器和布谷鳥哈希結構一樣,它也是一維陣列,但是不同于布谷鳥哈希的是,布谷鳥哈希會存盤整個元素,而布谷鳥過濾器中只會存盤元素的指紋資訊(幾個bit,類似于布隆過濾器),這里過濾器犧牲了資料的精確性換取了空間效率,正是因為存盤的是元素的指紋資訊,所以會存在誤判率,這點和布隆過濾器如出一轍,

首先布谷鳥過濾器還是只會選用兩個 hash 函式,但是每個位置可以放置多個座位,這兩個 hash 函式選擇的比較特殊,因為過濾器中只能存盤指紋資訊,當這個位置上的指紋被擠兌之后,它需要計算出另一個對偶位置,而計算這個對偶位置是需要元素本身的,我們來回憶一下前面的哈希位置計算公式,

fp = fingerprint(x)
p1 = hash1(x) % l
p2 = hash2(x) % l

我們知道了 p1 和 x 的指紋,是沒辦法直接計算出 p2 的,

特殊的 hash 函式

布谷鳥過濾器巧妙的地方就在于設計了一個獨特的 hash 函式,使得可以根據 p1 和 元素指紋 直接計算出 p2,而不需要完整的 x 元素,

fp = fingerprint(x)
p1 = hash(x)
p2 = p1 ^ hash(fp)  // 異或

從上面的公式中可以看出,當我們知道 fp 和 p1,就可以直接算出 p2,同樣如果我們知道 p2 和 fp,也可以直接算出 p1 —— 對偶性,

p1 = p2 ^ hash(fp)

所以我們根本不需要知道當前的位置是 p1 還是 p2,只需要將當前的位置和 hash(fp) 進行異或計算就可以得到對偶位置,而且只需要確保 hash(fp) != 0 就可以確保 p1 != p2,如此就不會出現自己踢自己導致死回圈的問題,

也許你會問為什么這里的 hash 函式不需要對陣列的長度取模呢?實際上是需要的,但是布谷鳥過濾器強制陣列的長度必須是 2 的指數,所以對陣列的長度取模等價于取 hash 值的最后 n 位,在進行異或運算時,忽略掉低 n 位 之外的其它位就行,將計算出來的位置 p 保留低 n 位就是最終的對偶位置,

近期熱文推薦:

1.1,000+ 道 Java面試題及答案整理(2022最新版)

2.勁爆!Java 協程要來了,,,

3.Spring Boot 2.x 教程,太全了!

4.別再寫滿屏的爆爆爆炸類了,試試裝飾器模式,這才是優雅的方式!!

5.《Java開發手冊(嵩山版)》最新發布,速速下載!

覺得不錯,別忘了隨手點贊+轉發哦!

轉載請註明出處,本文鏈接:https://www.uj5u.com/houduan/497793.html

標籤:其他

上一篇:利用MySQL實作分布式鎖,涉及到樂觀鎖和悲觀鎖的思想

下一篇:TextField重復輸入SwiftUI

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 【C++】Microsoft C++、C 和匯編程式檔案

    ......

    uj5u.com 2020-09-10 00:57:23 more
  • 例外宣告

    相比于斷言適用于排除邏輯上不可能存在的狀態,例外通常是用于邏輯上可能發生的錯誤。 例外宣告 Item 1:當函式不可能拋出例外或不能接受拋出例外時,使用noexcept 理由 如果不打算拋出例外的話,程式就會認為無法處理這種錯誤,并且應當盡早終止,如此可以有效地阻止例外的傳播與擴散。 示例 //不可 ......

    uj5u.com 2020-09-10 00:57:27 more
  • Codeforces 1400E Clear the Multiset(貪心 + 分治)

    鏈接:https://codeforces.com/problemset/problem/1400/E 來源:Codeforces 思路:給你一個陣列,現在你可以進行兩種操作,操作1:將一段沒有 0 的區間進行減一的操作,操作2:將 i 位置上的元素歸零。最終問:將這個陣列的全部元素歸零后操作的最少 ......

    uj5u.com 2020-09-10 00:57:30 more
  • UVA11610 【Reverse Prime】

    本人看到此題沒有翻譯,就附帶了一個自己的翻譯版本 思考 這一題,它的第一個要求是找出所有 $7$ 位反向質數及其質因數的個數。 我們應該需要質數篩篩選1~$10^{7}$的所有數,這里就不慢慢介紹了。但是,重讀題,我們突然發現反向質數都是 $7$ 位,而將它反過來后的數字卻是 $6$ 位數,這就說明 ......

    uj5u.com 2020-09-10 00:57:36 more
  • 統計區間素數數量

    1 #pragma GCC optimize(2) 2 #include <bits/stdc++.h> 3 using namespace std; 4 bool isprime[1000000010]; 5 vector<int> prime; 6 inline int getlist(int ......

    uj5u.com 2020-09-10 00:57:47 more
  • C/C++編程筆記:C++中的 const 變數詳解,教你正確認識const用法

    1、C中的const 1、區域const變數存放在堆疊區中,會分配記憶體(也就是說可以通過地址間接修改變數的值)。測驗代碼如下: 運行結果: 2、全域const變數存放在只讀資料段(不能通過地址修改,會發生寫入錯誤), 默認為外部聯編,可以給其他源檔案使用(需要用extern關鍵字修飾) 運行結果: ......

    uj5u.com 2020-09-10 00:58:04 more
  • 【C++犯錯記錄】VS2019 MFC添加資源不懂如何修改資源宏ID

    1. 首先在資源視圖中,添加資源 2. 點擊新添加的資源,復制自動生成的ID 3. 在解決方案資源管理器中找到Resource.h檔案,編輯,使用整個專案搜索和替換的方式快速替換 宏宣告 4. Ctrl+Shift+F 全域搜索,點擊查找全部,然后逐個替換 5. 為什么使用搜索替換而不使用屬性視窗直 ......

    uj5u.com 2020-09-10 00:59:11 more
  • 【C++犯錯記錄】VS2019 MFC不懂的批量添加資源

    1. 打開資源頭檔案Resource.h,在其中預先定義好宏 ID(不清楚其實ID值應該設定多少,可以先新建一個相同的資源項,再在這個資源的ID值的基礎上遞增即可) 2. 在資源視圖中選中專案資源,按F7編輯資源檔案,按 ID 型別 相對路徑的形式添加 資源。(別忘了先把檔案拷貝到專案中的res檔案 ......

    uj5u.com 2020-09-10 01:00:19 more
  • C/C++編程筆記:關于C++的參考型別,專供新手入門使用

    今天要講的是C++中我最喜歡的一個用法——參考,也叫別名。 參考就是給一個變數名取一個變數名,方便我們間接地使用這個變數。我們可以給一個變數創建N個參考,這N + 1個變數共享了同一塊記憶體區域。(參考型別的變數會占用記憶體空間,占用的記憶體空間的大小和指標型別的大小是相同的。雖然參考是一個物件的別名,但 ......

    uj5u.com 2020-09-10 01:00:22 more
  • 【C/C++編程筆記】從頭開始學習C ++:初學者完整指南

    眾所周知,C ++的學習曲線陡峭,但是花時間學習這種語言將為您的職業帶來奇跡,并使您與其他開發人員區分開。您會更輕松地學習新語言,形成真正的解決問題的技能,并在編程的基礎上打下堅實的基礎。 C ++將幫助您養成良好的編程習慣(即清晰一致的編碼風格,在撰寫代碼時注釋代碼,并限制類內部的可見性),并且由 ......

    uj5u.com 2020-09-10 01:00:41 more
最新发布
  • Rust中的智能指標:Box<T> Rc<T> Arc<T> Cell<T> RefCell<T> Weak

    Rust中的智能指標是什么 智能指標(smart pointers)是一類資料結構,是擁有資料所有權和額外功能的指標。是指標的進一步發展 指標(pointer)是一個包含記憶體地址的變數的通用概念。這個地址參考,或 ” 指向”(points at)一些其 他資料 。參考以 & 符號為標志并借用了他們所 ......

    uj5u.com 2023-04-20 07:24:10 more
  • Java的值傳遞和參考傳遞

    值傳遞不會改變本身,參考傳遞(如果傳遞的值需要實體化到堆里)如果發生修改了會改變本身。 1.基本資料型別都是值傳遞 package com.example.basic; public class Test { public static void main(String[] args) { int ......

    uj5u.com 2023-04-20 07:24:04 more
  • [2]SpinalHDL教程——Scala簡單入門

    第一個 Scala 程式 shell里面輸入 $ scala scala> 1 + 1 res0: Int = 2 scala> println("Hello World!") Hello World! 檔案形式 object HelloWorld { /* 這是我的第一個 Scala 程式 * 以 ......

    uj5u.com 2023-04-20 07:23:58 more
  • 理解函式指標和回呼函式

    理解 函式指標 指向函式的指標。比如: 理解函式指標的偽代碼 void (*p)(int type, char *data); // 定義一個函式指標p void func(int type, char *data); // 宣告一個函式func p = func; // 將指標p指向函式func ......

    uj5u.com 2023-04-20 07:23:52 more
  • Django筆記二十五之資料庫函式之日期函式

    本文首發于公眾號:Hunter后端 原文鏈接:Django筆記二十五之資料庫函式之日期函式 日期函式主要介紹兩個大類,Extract() 和 Trunc() Extract() 函式作用是提取日期,比如我們可以提取一個日期欄位的年份,月份,日等資料 Trunc() 的作用則是截取,比如 2022-0 ......

    uj5u.com 2023-04-20 07:23:45 more
  • 一天吃透JVM面試八股文

    什么是JVM? JVM,全稱Java Virtual Machine(Java虛擬機),是通過在實際的計算機上仿真模擬各種計算機功能來實作的。由一套位元組碼指令集、一組暫存器、一個堆疊、一個垃圾回收堆和一個存盤方法域等組成。JVM屏蔽了與作業系統平臺相關的資訊,使得Java程式只需要生成在Java虛擬機 ......

    uj5u.com 2023-04-20 07:23:31 more
  • 使用Java接入小程式訂閱訊息!

    更新完微信服務號的模板訊息之后,我又趕緊把微信小程式的訂閱訊息給實作了!之前我一直以為微信小程式也是要企業才能申請,沒想到小程式個人就能申請。 訊息推送平臺🔥推送下發【郵件】【短信】【微信服務號】【微信小程式】【企業微信】【釘釘】等訊息型別。 https://gitee.com/zhongfuch ......

    uj5u.com 2023-04-20 07:22:59 more
  • java -- 緩沖流、轉換流、序列化流

    緩沖流 緩沖流, 也叫高效流, 按照資料型別分類: 位元組緩沖流:BufferedInputStream,BufferedOutputStream 字符緩沖流:BufferedReader,BufferedWriter 緩沖流的基本原理,是在創建流物件時,會創建一個內置的默認大小的緩沖區陣列,通過緩沖 ......

    uj5u.com 2023-04-20 07:22:49 more
  • Java-SpringBoot-Range請求頭設定實作視頻分段傳輸

    老實說,人太懶了,現在基本都不喜歡寫筆記了,但是網上有關Range請求頭的文章都太水了 下面是抄的一段StackOverflow的代碼...自己大修改過的,寫的注釋挺全的,應該直接看得懂,就不解釋了 寫的不好...只是希望能給視頻網站開發的新手一點點幫助吧. 業務場景:視頻分段傳輸、視頻多段傳輸(理 ......

    uj5u.com 2023-04-20 07:22:42 more
  • Windows 10開發教程_編程入門自學教程_菜鳥教程-免費教程分享

    教程簡介 Windows 10開發入門教程 - 從簡單的步驟了解Windows 10開發,從基本到高級概念,包括簡介,UWP,第一個應用程式,商店,XAML控制元件,資料系結,XAML性能,自適應設計,自適應UI,自適應代碼,檔案管理,SQLite資料庫,應用程式到應用程式通信,應用程式本地化,應用程式 ......

    uj5u.com 2023-04-20 07:22:35 more