搜索引擎实现起来,技术难度非常大,技术的好坏直接决定了产品的核心竞争力。 搜索引擎的设计与实现中,会用到大量的算法。百度、Google 这样的搜索引擎公司,面试时,会格外重视考察候选人的算法能力。
以下介绍,如何在一台机器上(假设内存是8GB,硬盘是100多GB),通过少量的代码,实现一个小型搜索引擎。
搜索引擎大致分为四个部分:搜集、分析、索引、查询。
互联网越来越发达,网站越来越多,对应网页也越来越多。对于搜索引擎来说,它事先并不知道网页都在哪里。那搜索引擎是如何爬取网页的呢?
搜索引擎把整个互联网看作 有向图,把每个页面看作一个顶点。如果某个页面中包含另外一个页面的链接,就在两个顶点之间连一条有向边。利用图的遍历搜索算法,来遍历整个互联网中的网页。
广度优先搜索爬取页面过程中,爬虫会不停地解析页面链接,将其放到队列中。于是,队列中的链接会越来越多,可能多到内存放不下。所以,用一个存储在磁盘中的文件(links.bin)来作为广度优先搜索中的队列。爬虫从links.bin文件中,取出链接去爬取对应的页面。等爬取到网页之后,将解析出来的链接,直接存储到links.bin文件中。这样用文件来存储网页链接的方式,还有其他好处。比如,支持断点续爬。当机器断电之后,网页链接不会丢失;重启之后,还可以从之前爬取到的位置继续爬取。
如何解析页面获取链接,可以把整个页面看作一个大的字符串,利用字符串匹配算法,搜索这样一个网页标签,然后顺序读取之间的字符串,就是网页链接。
如何避免重复爬取相同的网页呢?使用布隆过滤器,就可以快速并且非常节省内存地实现网页的判重。
如果把布隆过滤器存储在内存中,宕机重启后,布隆过滤器就被清空了。可能导致大量已经爬取的网页会被重复爬取。
我们可以定期地(比如每隔半小时)将布隆过滤器持久化到磁盘中,存储在bloom filter.bin文件中。即便出现机器宕机,也只会丢失布隆过滤器中的部分数据。当机器重启后,就可以重新读取磁盘中的bloom_filter.bin文件,将其恢复到内存中。
爬取到网页后,需要将其存储下来,以备后面离线分析、索引之用。如何存储海量的原始网页呢?
如果把每个网页都存储为一个独立的文件,那磁盘中的文件会非常多。常用的文件系统显然不适合存储如此多的文件。所以,可以把多个网页存储在一个文件中。每个网页之间,通过标识进行分隔,方便后续读取。具体的存储格式,如图所示。其中,doc_id这个字段是网页的编号。
这样的一个文件也不能太大,因为文件系统对文件的大小也有限制。所以,我们可以设置每个文件的大小上限(比如1GB)。随着越来越多的网页被添加到文件中,文件越来越大,当超过1GB的时候,就创建一个新文件,用来存储新爬取的网页。
假设机器的硬盘大小是100GB左右,一个网页的平均大小是64KB。那在一台机器上,我们可以存储100万到200万左右的网页。假设机器的带宽是10MB,那下载100GB的网页,大约要10000秒。也就是说,爬取100多万的网页,只需要花费几小时的时间。
网页编号就是给每个网页分配一个唯一的ID,方便后续对网页分析、索引。那如何给网页编号呢?
爬取网页的过程中,涉及的四个重要的文件,links.bin 和 bloom filter.bin 这两个文件是爬虫自身所用的。另外两个(doc raw.bin、doc id.bin)是作为搜集阶段的成果,供后面的分析、索引、查询用。
网页爬下来后,需要对网页进行离线分析。主要包括两个步骤,1. 抽取网页文本信息,2. 分词并创建临时索引。
网页是半结构化数据,里面夹杂着各种标签、JavaScript代码、CSS样式。搜索引擎只关心网页中的文本信息,我们依靠HTML标签来抽取网页中的文本信息,大体可以分为两步。
<style></style>,<script></script>,<option></option>
这三组标签之间的内容。可以利用AC自动机这种多模式串匹配算法,一次性查找<style>,<script>,<option>
这三个关键词。当找到某个关键词出现的位置之后,只需要依次往后遍历,直到对应结束标签(</style>,</script>,</option>)
为止。这期间遍历到的字符串连带着标签就应该从网页中删除。经过上面的处理,我们就从网页中抽取出了我们关心的文本信息。接下来,要对文本信息进行分词,并且创建临时索引。
字典也叫词库,里面包含大量常用的词语。借助词库并采用最长匹配规则,来对文本进行分词。所谓最长匹配,也就是匹配尽可能长的词语。具体到实现层面,我们可以将词库中的单词,构建成Trie树结构,然后拿网页文本在Trie 树中匹配。
每个网页的文本信息在分词完成后,都得到一组单词列表。把单词与网页之间的对应关系,写入到一个临时索引文件中(tmp_Index.bin),这个临时索引文件用来构建倒排索引文件。临时索引文件的格式如下:
在临时索引文件中,我们存储的是单词编号term_id,而非单词本身。这样做的目的主要是为了节省存储空间。这些单词的编号是怎么来的呢?
给单词编号的方式,跟给网页编号类似。维护一个计数器,每当从网页文本信息中分割出一个新单词的时候,就从计数器中取一个编号,分配给它,然后计数器加一。
在这个过程中,我们还需要使用散列表,记录已经编过号的单词。在对网页文本信息分词的过程中,我们拿分割出来的单词,先到散列表中查找,如果找到,那就直接使用已有的编号;如果没有找到,再去计数器中拿号码,并且将这个新单词以及编号添加到散列表中。
当所有的网页处理(分词及写入临时索引)完成之后,再将这个单词跟编号之间的对应关系,写入到磁盘文件中,并命名为term_id.bin。
经过分析阶段,得到了两个重要的文件。它们分别是临时索引文件(tmpindex.bin)和单词编号文件(term_id.bin)。
索引主要负责将分析阶段产生的临时索引,构建成倒排索引。倒排索引(Inverted index)中记录了每个单词以及包含它的网页列表。
如何通过临时索引文件,构建出倒排索引文件呢?
考虑到临时索引文件很大,无法一次加载到内存,搜索引擎一般会选择使用多路归并排序的方法来实现。
除了倒排文件之外,我们还需要一个文件,来记录每个单词编号在倒排索引文件中的偏移位置。把这个文件命名为term_offset.bin。这个文件的作用是,帮助我们快速地查找某个单词编号在倒排索引中存储的位置,进而快速地从倒排索引中读取单词编号对应的网页编号列表。
经过索引阶段的处理,我们得到倒排索引文件(index.bin)和记录单词编号在索引文件中的偏移位置的文件(term_ofset.bin)。
前面三个阶段的处理,只是为了最后的查询做铺垫。
除了倒排索引文件(index.bin)比较大之外,其他的都比较小。为了方便快速查找数据,将其他三个文件都加载到内存中,并且组织成散列表这种数据结构。
当用户在搜索框中,输入某个查询文本的时候,先对用户输入的文本进行分词处理。假设分词之后,得到k个单词。
拿这k个单词,去term_id.bin对应的散列表中,查找对应的单词编号。经过这个查询之后,得到了这k个单词对应的单词编号。
拿这k个单词编号,去term_offset.bin对应的散列表中,查找每个单词编号在倒排索引文件中的偏移位置。得到了k个偏移位置。
拿这k个偏移位置,去倒排索引(index.bin)中,查找k个单词对应的包含它的网页编号列表。得到了k个网页编号列表。
针对这k个网页编号列表,统计每个网页编号出现的次数。我们可以借助散列表来进行统计。统计得到的结果,我们按照出现次数的多少,从小到大排序。出现次数越多,说明包含越多的用户查询单词(用户输入的搜索文本,经过分词之后的单词)。
经过一系列查询,就得到了一组排好序的网页编号。拿着网页编号,去doc_id.bin文件中查找对应的网页链接,分页显示给用户就可以了。
以上只是一个搜索引擎设计的基本原理,有很多优化、细节并未涉及,如计算网页权重的 PageRank 算法、计算查询结果排名的 tf-idf 模型等等。
涉及的数据结构和算法有:图、散列表、Trie树、布隆过滤器、单模式字符串匹配算法、AC自动机、广度优先遍历、归并排序等。
如果有时间,自己写代码实现一个简单的搜索引擎。即便只是一个demo,但对于深入理解数据结构和算法是很有帮助的。