每秒10W次分詞搜索,產品經理又提了一個需求!!!
?不合理的需求,如何能輕松搞定?文章較長,建議提前收藏。
?可能99%的同學不做搜索引擎,但99%的同學一定實現過檢索功能。搜索,檢索,這里面到底包含哪些技術,希望本文能夠給大家一些啟示。
需求一:我想做一個全網搜索引擎,不復雜,和百度類似就行,兩個月能上線嗎?
全網搜索引擎架構與流程如何?
全網搜索引擎的宏觀架構如上圖,核心子系統主要分為三部分(粉色部分):
(1) spider爬蟲系統;
(2) search&index建立索引與查詢索引系統,這個系統又主要分為兩部分:
- 一部分用于生成索引數據build_index
- 一部分用于查詢索引數據search_index
(3) rank打分排序系統;
核心數據主要分為兩部分(紫色部分):
- web網頁庫;
- index索引數據;
全網搜索引擎的業務特點決定了,這是一個“寫入”和“檢索”分離的系統。
寫入是如何實施的?
系統組成:由spider與search&index兩個系統完成。
輸入:站長們生成的互聯網網頁。
輸出:正排倒排索引數據。
流程:如架構圖中的1,2,3,4:
- spider把互聯網網頁抓過來;
- spider把互聯網網頁存儲到網頁庫中(這個對存儲的要求很高,要存儲幾乎整個“萬維網”的鏡像);
- build_index從網頁庫中讀取數據,完成分詞;
- build_index生成倒排索引;
檢索是如何實施的?
系統組成:由search&index與rank兩個系統完成。
輸入:用戶的搜索詞。
輸出:排好序的第一頁檢索結果。
流程:如架構圖中的a,b,c,d:
- search_index獲得用戶的搜索詞,完成分詞;
- search_index查詢倒排索引,獲得“字符匹配”網頁,這是初篩的結果;
- rank對初篩的結果進行打分排序;
- rank對排序后的第一頁結果返回;
站內搜索引擎架構與流程如何?
做全網搜索的公司畢竟是少數,絕大部分公司要實現的其實只是一個站內搜索,以同城100億帖子的搜索為例,其整體架構如下:
站內搜索引擎的宏觀架構如上圖,與全網搜索引擎的宏觀架構相比,差異只有寫入的地方:
- 全網搜索需要spider要被動去抓取數據;
- 站內搜索是內部系統生成的數據,例如“發布系統”會將生成的帖子主動推給build_data系統;
畫外音:看似“很小”的差異,架構實現上難度卻差很多,全網搜索如何“實時”發現“全量”的網頁是非常困難的,而站內搜索容易實時得到全部數據。
對于spider、search&index、rank三個系統:
(1) spider和search&index是工程系統;
(2) rank是和業務、策略緊密、算法相關的系統,搜索體驗的差異主要在此,而業務、策略的優化是需要時間積累的,這里的啟示是:
- Google的體驗比Baidu好,根本在于前者rank牛逼
- 國內互聯網公司(例如360)短時間要搞一個體驗超越Baidu的搜索引擎,是很難的,真心需要時間的積累
前面的內容太宏觀,為了照顧大部分沒有做過搜索引擎的同學,數據結構與算法部分從正排索引、倒排索引一點點開始。
什么是正排索引(forward index)?
簡言之,由key查詢實體的過程,使用正排索引。
例如,用戶表:
t_user(uid, name, passwd, age, sex)
由uid查詢整行的過程,就是正排索引查詢。
又例如,網頁庫:
t_web_page(url, page_content)
由url查詢整個網頁的過程,也是正排索引查詢。
網頁內容分詞后,page_content會對應一個分詞后的集合list<item>。
簡易的,正排索引可以理解為:
Map<url, list<item>>
能夠由網頁url快速找到內容的一個數據結構。
畫外音:時間復雜度可以認為是O(1)。
什么是倒排索引(inverted index)?
與正排索引相反,由item查詢key的過程,使用倒排索引。
對于網頁搜索,倒排索引可以理解為:
Map<item, list<url>>
能夠由查詢詞快速找到包含這個查詢詞的網頁的數據結構。
畫外音:時間復雜度也是O(1)。
舉個例子,假設有3個網頁:
url1 -> “我愛北京”
url2 -> “我愛到家”
url3 -> “到家美好”
這是一個正排索引:
Map<url, page_content>
分詞之后:
url1 -> {我,愛,北京}
url2 -> {我,愛,到家}
url3 -> {到家,美好}
這是一個分詞后的正排索引:
Map<url, list<item>>
分詞后倒排索引:
我 -> {url1, url2}
愛 -> {url1, url2}
北京 -> {url1}
到家 -> {url2, url3}
美好 -> {url3}
由檢索詞item快速找到包含這個查詢詞的網頁Map<item, list<url>>就是倒排索引。
畫外音:明白了吧,詞到url的過程,是倒排索引。
正排索引和倒排索引是spider和build_index系統提前建立好的數據結構,為什么要使用這兩種數據結構,是因為它能夠快速的實現“用戶網頁檢索”需求。
畫外音,業務需求決定架構實現,查詢起來都很快。
檢索的過程是什么樣的?
假設搜索詞是“我愛”:
(1) 分詞,“我愛”會分詞為{我,愛},時間復雜度為O(1);
(2) 每個分詞后的item,從倒排索引查詢包含這個item的網頁list<url>,時間復雜度也是O(1):
我 -> {url1, url2}
愛 -> {url1, url2}
(3) 求list<url>的交集,就是符合所有查詢詞的結果網頁,對于這個例子,{url1, url2}就是最終的查詢結果;
畫外音:檢索的過程也很簡單:分詞,查倒排索引,求結果集交集。
就結束了嗎?其實不然,分詞和倒排查詢時間復雜度都是O(1),整個搜索的時間復雜度取決于“求list<url>的交集”,問題轉化為了求兩個集合交集。
字符型的url不利于存儲與計算,一般來說每個url會有一個數值型的url_id來標識,后文為了方便描述,list<url>統一用list<url_id>替代。
list1和list2,求交集怎么求?
方案一:for * for,土辦法,時間復雜度O(n*n)
每個搜索詞命中的網頁是很多的,O(n*n)的復雜度是明顯不能接受的。倒排索引是在創建之初可以進行排序預處理,問題轉化成兩個有序的list求交集,就方便多了。
畫外音:比較笨的方法。
方案二:有序list求交集,拉鏈法
- 有序集合1{1,3,5,7,8,9}
- 有序集合2{2,3,4,5,6,7}
兩個指針指向首元素,比較元素的大小:
- 如果相同,放入結果集,隨意移動一個指針;
- 否則,移動值較小的一個指針,直到隊尾;
這種方法的好處是:
- 集合中的元素最多被比較一次,時間復雜度為O(n);
- 多個有序集合可以同時進行,這適用于多個分詞的item求url_id交集;
這個方法就像一條拉鏈的兩邊齒輪,一一比對就像拉鏈,故稱為拉鏈法;
畫外音:倒排索引是提前初始化的,可以利用“有序”這個特性。
方案三:分桶并行優化
數據量大時,url_id分桶水平切分+并行運算是一種常見的優化方法,如果能將list1<url_id>和list2<url_id>分成若干個桶區間,每個區間利用多線程并行求交集,各個線程結果集的并集,作為最終的結果集,能夠大大的減少執行時間。
舉例:
- 有序集合1{1,3,5,7,8,9, 10,30,50,70,80,90}
- 有序集合2{2,3,4,5,6,7, 20,30,40,50,60,70}
求交集,先進行分桶拆分:
- 桶1的范圍為[1, 9]
- 桶2的范圍為[10, 100]
- 桶3的范圍為[101, max_int]
于是,
集合1就拆分成:
- 集合a{1,3,5,7,8,9}
- 集合b{10,30,50,70,80,90}
- 集合c{}
集合2就拆分成:
- 集合d{2,3,4,5,6,7}
- 集合e{20,30,40,50,60,70}
- 集合e{}
每個桶內的數據量大大降低了,并且每個桶內沒有重復元素,可以利用多線程并行計算:
- 桶1內的集合a和集合d的交集是x{3,5,7}
- 桶2內的集合b和集合e的交集是y{30, 50, 70}
- 桶3內的集合c和集合d的交集是z{}
最終,集合1和集合2的交集,是x與y與z的并集,即集合{3,5,7,30,50,70}。
畫外音:多線程、水平切分都是常見的優化手段。
方案四:bitmap再次優化
數據進行了水平分桶拆分之后,每個桶內的數據一定處于一個范圍之內,如果集合符合這個特點,就可以使用bitmap來表示集合:
如上圖,假設set1{1,3,5,7,8,9}和set2{2,3,4,5,6,7}的所有元素都在桶值[1, 16]的范圍之內,可以用16個bit來描述這兩個集合,原集合中的元素x,在這個16bitmap中的第x個bit為1,此時兩個bitmap求交集,只需要將兩個bitmap進行“與”操作,結果集bitmap的3,5,7位是1,表明原集合的交集為{3,5,7}。
水平分桶,bitmap優化之后,能極大提高求交集的效率,但時間復雜度仍舊是O(n)。bitmap需要大量連續空間,占用內存較大。
畫外音:bitmap能夠表示集合,用它求集合交集速度非常快。
方案五:跳表skiplist
有序鏈表集合求交集,跳表是最常用的數據結構,它可以將有序集合求交集的復雜度由O(n)降至接近O(log(n))。
- 集合1{1,2,3,4,20,21,22,23,50,60,70}
- 集合2{50,70}
要求交集,如果用拉鏈法,會發現1,2,3,4,20,21,22,23都要被無效遍歷一次,每個元素都要被比對,時間復雜度為O(n),能不能每次比對“跳過一些元素”呢?
跳表就出現了:
集合1{1,2,3,4,20,21,22,23,50,60,70}建立跳表時,一級只有{1,20,50}三個元素,二級與普通鏈表相同。
集合2{50,70}由于元素較少,只建立了一級普通鏈表。
如此這般,在實施“拉鏈”求交集的過程中,set1的指針能夠由1跳到20再跳到50,中間能夠跳過很多元素,無需進行一一比對,跳表求交集的時間復雜度近似O(log(n)),這是搜索引擎中常見的算法。
簡單小結一下:
(1) 全網搜索引擎系統由spider, search&index, rank三個子系統構成;
(2) 站內搜索引擎與全網搜索引擎的差異在于,少了一個spider子系統;
(3) spider和search&index系統是兩個工程系統,rank系統的優化卻需要長時間的調優和積累;
(4) 正排索引(forward index)是由網頁url_id快速找到分詞后網頁內容list<item>的過程;
(5) 倒排索引(inverted index)是由分詞item快速尋找包含這個分詞的網頁list<url_id>的過程;
(6) 用戶檢索的過程,是先分詞,再找到每個item對應的list<url_id>,最后進行集合求交集的過程;
(7) 有序集合求交集的方法有:
- 二重for循環法,時間復雜度O(n*n)
- 拉鏈法,時間復雜度O(n)
- 水平分桶,多線程并行
- bitmap,大大提高運算并行度,時間復雜度O(n)
- 跳表,時間復雜度為O(log(n)) ?
需求二:我想做一個內容檢索功能,不復雜,100億數據,每秒10萬查詢而已,兩個星期能上線嗎?
大部分工程師未必接觸過“搜索內核”,但互聯網業務,基本會涉及“檢索”功能。以同城的帖子業務場景為例,帖子的標題,帖子的內容有很強的用戶檢索需求,在業務、流量、并發量逐步遞增的各個階段,應該如何實現檢索需求呢?
原始階段-LIKE
創業階段,常常用這種方法來快速實現。
數據在數據庫中可能是這么存儲的:
t_tiezi(tid, title, content)
滿足標題、內容的檢索需求可以通過LIKE實現:
select tid from t_tiezi where content like ‘%天通苑%’
這種方式確實能夠快速滿足業務需求,存在的問題也顯而易見:
- 效率低,每次需要全表掃描,計算量大,并發高時cpu容易100%;
- 不支持分詞;
初級階段-全文索引
如何快速提高效率,支持分詞,并對原有系統架構影響盡可能小呢,第一時間想到的是建立全文索引:
alter table t_tiezi add fulltext(title,content)
使用match和against實現索引字段上的查詢需求。
全文索引能夠快速實現業務上分詞的需求,并且快速提升性能(分詞后倒排,至少不要全表掃描了),但也存在一些問題:
- 只適用于MyISAM;
- 由于全文索引利用的是數據庫特性,搜索需求和普通CURD需求耦合在數據庫中:檢索需求并發大時,可能影響CURD的請求;CURD并發大時,檢索會非常的慢;
- 數據量達到百萬級別,性能還是會顯著降低,查詢返回時間很長,業務難以接受;
- 比較難水平擴展;
中級階段-開源外置索引
為了解決全文索的局限性,當數據量增加到大幾百萬,千萬級別時,就要考慮外置索引了。外置索引的核心思路是:索引數據與原始數據分離,前者滿足搜索需求,后者滿足CURD需求,通過一定的機制(雙寫,通知,定期重建)來保證數據的一致性。
原始數據可以繼續使用Mysql來存儲,外置索引如何實施?Solr,Lucene,ES都是常見的開源方案。其中,ES(ElasticSearch)是目前最為流行的。
Lucene雖好,潛在的不足是:
- Lucene只是一個庫,需要自己做服務,自己實現高可用/可擴展/負載均衡等復雜特性;
- Lucene只支持Java,如果要支持其他語言,必須得自己做服務;
- Lucene不友好,這是很致命的,非常復雜,使用者往往需要深入了解搜索的知識來理解它的工作原理,為了屏蔽其復雜性,還是得自己做服務;
為了改善Lucene的各項不足,解決方案都是“封裝一個接口友好的服務,屏蔽底層復雜性”,于是有了ES:
- ES是一個以Lucene為內核來實現搜索功能,提供REStful接口的服務;
- ES能夠支持很大數據量的信息存儲,支持很高并發的搜索請求;
- ES支持集群,向使用者屏蔽高可用/可擴展/負載均衡等復雜特性;
目前,快狗打車使用ES作為核心的搜索服務,實現業務上的各類搜索需求,其中:
- 數據量最大的“接口耗時數據收集”需求,數據量大概在10億左右;
- 并發量最大的“經緯度,地理位置搜索”需求,線上平均并發量大概在2000左右,壓測數據并發量在8000左右;
所以,ES完全能滿足10億數據量,5k吞吐量的常見搜索業務需求。
高級階段-自研搜索引擎
當數據量進一步增加,達到10億、100億數據量;并發量也進一步增加,達到每秒10萬吞吐量;業務個性也逐步增加的時候,就需要自研搜索引擎了,定制化實現搜索內核了。
到了定制化自研搜索引擎的階段,超大數據量、超高并發量為設計重點,為了達到“無限容量、無限并發”的需求,架構設計需要重點考慮“擴展性”,力爭做到:增加機器就能擴容(數據量+并發量)。
同城的自研搜索引擎E-search初步架構圖如下:
(1) 上層proxy(粉色)是接入集群,為對外門戶,接受搜索請求,其無狀態性能夠保證增加機器就能擴充proxy集群性能;
(2) 中層merger(淺藍色)是邏輯集群,主要用于實現搜索合并,以及打分排序,業務相關的rank就在這一層實現,其無狀態性也能夠保證增加機器就能擴充merger集群性能;
(3) 底層searcher(暗紅色大框)是檢索集群,服務和索引數據部署在同一臺機器上,服務啟動時可以加載索引數據到內存,請求訪問時從內存中load數據,訪問速度很快:
- 為了滿足數據容量的擴展性,索引數據進行了水平切分,增加切分份數,就能夠無限擴展性能,如上圖searcher分為了4組
- 為了滿足一份數據的性能擴展性,同一份數據進行了冗余,理論上做到增加機器就無限擴展性能,如上圖每組searcher又冗余了2份
如此設計,真正做到做到增加機器就能承載更多的數據量,響應更高的并發量。
簡單小結一下:
為了滿足搜索業務的需求,隨著數據量和并發量的增長,搜索架構一般會經歷這么幾個階段:
- 原始階段-LIKE;
- 初級階段-全文索引;
- 中級階段-開源外置索引;
- 高級階段-自研搜索引擎;?
需求三:檢索的時效性,對用戶體驗來說很重要,必須檢索出5分鐘之前的新聞,1秒鐘之前發布的貼子,不復雜吧?
最后一個高級話題,關于搜索的實時性:
?百度為何能實時檢索出5分鐘之前新出的新聞?同城為何能實時檢索出1秒鐘之前發布的帖子?
實時搜索引擎系統架構的要點是什么?
大數據量、高并發量情況下的搜索引擎為了保證實時性,架構設計上的兩個要點:
- 索引分級;
- dump&merge;
首先,在數據量非常大的情況下,為了保證倒排索引的高效檢索效率,任何對數據的更新,并不會實時修改索引。
畫外音:因為,一旦產生碎片,會大大降低檢索效率。
既然索引數據不能實時修改,如何保證最新的網頁能夠被索引到呢?
索引分級,分為全量庫、日增量庫、小時增量庫。
如上圖所述:
- 300億數據在全量索引庫中;
- 1000萬1天內修改過的數據在天庫中;
- 50萬1小時內修改過的數據在小時庫中;
當有修改請求發生時,只會操作最低級別的索引,例如小時庫。
當有查詢請求發生時,會同時查詢各個級別的索引,將結果合并,得到最新的數據:
- 全量庫是緊密存儲的索引,無碎片,速度快;
- 天庫是緊密存儲,速度快;
- 小時庫數據量小,速度也快;
分級索引能夠保證實時性,那么,新的問題來了,小時庫數據何時反映到天庫中,天庫中的數據何時反映到全量庫中呢?
dump&merge,索引的導出與合并,由這兩個異步的工具完成:
- dumper:將在線的數據導出。
- merger:將離線的數據合并到高一級別的索引中去。
- 小時庫,一小時一次,合并到天庫中去;
- 天庫,一天一次,合并到全量庫中去;
- 這樣就保證了小時庫和天庫的數據量都不會特別大;
- 如果數據量和并發量更大,還能增加星期庫,月庫來緩沖。
簡單小結一下:
超大數據量,超高并發量,實時搜索引擎的兩個架構要點:
- 索引分級;
- dump&merge;
關于“搜索”與“檢索”的需求,能滿足了嗎??