09 | 索引更新:刚发布的文章就能被搜到,这是怎么做到的?

简介: 本文讲解工业界如何高效更新倒排索引。针对小规模索引,采用Double Buffer机制实现无锁更新;对于大规模索引,则使用全量索引结合增量索引方案,并通过完全重建、再合并或滚动合并等方式处理增量数据,兼顾性能与资源开销。

在前面的课程中,我们讲到,倒排索引是许多检索系统的核心实现方案。比如,搜索引擎对万亿级别网页的索引,就是使用倒排索引实现的。我们还讲到,对于超大规模的网页建立索引会非常耗时,工业界往往会使用分布式技术来并行处理。

对于发布较久的网页,搜索引擎可以有充足的时间来构建索引。但是一些新的网页和文章,往往发布了几分钟就可以被用户搜索到。这又是怎么做到的呢?今天,我们就来聊一聊这个问题。
工业界如何更新内存中的索引?

我们先来看这么一个问题:如果现在有一个小规模的倒排索引,它能完全加载在内存中。当有新文章进入内存的时候,倒排索引该如何更新呢?这个问题看似简单,但是实现起来却非常复杂。

我们能想到最直接的解决思路是,只要解析新文章有哪些关键词,然后将文章 ID 加入倒排表中关键词对应的文档列表即可。没错,在没有其他用户使用的情况下,这样的方法是可行的。但如果你有过一定的工程经验,你就会知道,在实际应用中,必然会有多个用户同时访问这个索引。

这个时候,如果我们直接更新倒排索引,就可能造成用户访问错误,甚至会引发程序崩溃。因此,一般来说,我们会对倒排表加上「读写锁」,然后再更新。但是,加上「锁」之后会带来频繁的读写锁切换,整个系统的检索效率会比无锁状态有所下降。

因此,为了使得系统有更好的性能,在工业界的实现中,我们会使用一种叫做 Double Buffer(双缓冲)机制 的解决方案,使得我们可以在无锁状态下对索引完成更新。

所谓 Double Buffer ,就是在内存中同时保存两份一样的索引,一个是索引 A,一个是索引 B。我们会使用一个指针 p 指向索引 A,表示索引 A 是当前可访问的索引。那么用户在访问时就会通过指针 p 去访问索引 A。这个时候,如果我们要更新,只更新索引 B。这样,索引 A 和索引 B 之间就不存在读写竞争的问题了。因此,在这个过程中,索引 A 和索引 B 都可以保持无锁的状态。

那更新完索引 B 之后,我们该如何告知用户应该来访问索引 B 呢?这时候,我们可以将指针 p 通过 原子操作(即无法被打断的最细粒度操作,在 Java 和 C++11 等语言中都有相应实现)从 A 直接切换到 B 上。接着,我们就把索引 B 当作只读索引,然后更新索引 A。

通过这样的机制,我们就能同时维护两个倒排索引,保持一个读、一个写,并且来回切换,最终完成高性能的索引更新。不过,为了避免切换太频繁,我们并不是每来一条新数据就更新,而是积累一批新数据以后再批量更新。这就是工业界常用的 Double Buffer 机制。

笔者没有明白的是:B 有了新增的文档 30 ,切换到 B 了,那么 A 里面并没有文档 30 ,如何同步数据呢?

用 Double Buffer 机制更新索引是一个高效的方案,追求检索性能的应用场景常常会使用这种方案。但是对于索引到了一定量级的应用而言,使用 Double Buffer 会带来翻倍的内存资源开销。比如说,像搜索引擎这样万亿级网页的索引规模,数据大部分存储在磁盘上,更是无法直接使用 Double Buffer 机制进行更新的。因此,我们还是需要寻找其他的解决方案。
如何使用「全量索引结合增量索引」方案?

对于大规模的索引更新,工业界常用 全量索引结合增量索引 的方案来完成。下面,我们就一起来探讨一下,这个方案是如何实现索引更新的。

首先,系统会周期性地处理全部的数据,生成一份完整的索引,也就是 全量索引。这个索引不可以被实时修改,因此为了提高检索效率,我们可以不加锁。那对于实时更新的数据我们应该怎样处理呢?我们会将新接收到的数据单独建立一个可以存在内存中的倒排索引,也就是 增量索引。当查询发生的时候,我们会同时查询全量索引和增量索引,将合并的结果作为总的结果输出。这就是 全量索引结合增量索引 的更新方案。

其实这个方案还能结合我们上面讲的 Double Buffer 机制来优化。因为增量索引相对全量索引而言会小很多,内存资源消耗在可承受范围,所以我们可以使用 Double Buffer 机制对增量索引进行索引更新。这样一来,增量索引就可以做到无锁访问。而全量索引本身就是只读的,也不需要加锁。因此,整个检索过程都可以做到无锁访问,也就提高了系统的检索效率。

全量索引结合增量索引的检索方案,可以很好地处理新增的数据。那对于删除的数据,如果我们不做特殊处理,会有什么问题呢?下面,我们一起来分析一下。

假设,一个数据存储在全量索引中,但是在最新的实时操作中,它被删除了,那么在增量索引中,这个数据并不存在。当我们检索的时候,增量索引会返回空,但全量索引会返回这个数据。如果我们直接合并这两个检索结果,这个数据就会被留下作为检索结果返回,但是这个数据明明已经被删除了,这就会造成错误。

要解决这个问题,我们就需要在增量索引中保留删除的信息。最常见的解决方案是增加一个删除列表,将被删除的数据记录在列表中,然后检索的时候,我们将全量倒排表和增量倒排表的检索结果和删除列表作对比。如果结果数据存在于删除列表中,就说明该数据是无效的,我们直接删除它即可。

因此,完整的全量索引结合增量索引检索方案,需要在增量索引中保存一个删除列表。

增量索引空间的持续增长如何处理?

全量索引结合增量索引的方案非常实用,但是内存毕竟有限。如果我们不对内存中的增量索引做任何处理,那随着时间推移,内存就会被写满。因此,我们需要在合适的时机将增量索引合并到全量索引中,释放增量索引的内存空间。

将增量索引合并到全量索引中的常见方法有 3 种,分别是:完全重建法、再合并法和滚动合并法。下面,我们一一来看。

完全重建法

如果增量索引的增长速度不算很快,或者全量索引重建的代价不大,那么我们完全可以在增量索引写满内存空间之前,完全重建一次全量索引,然后将系统查询切换到新的全量索引上。

这样一来,之前旧的增量索引的空间也可以得到释放。这种方案叫作完全重建法。它对于大部分规模不大的检索系统而言,是十分简单可行的方案。

再合并法

尽管完全重建法的流程很简单,但是效率并不是最优的。

在 第 8 讲 中我们讲过,对于较大规模的检索系统而言,在构建索引的时候,我们常常会将大数据集分割成多个小数据集,分别建立小索引,再把它们合并成一个大索引。

借助这样的思路,我们完全可以把全量索引想象成是一个已经将多个小索引合并好的大索引,再把增量索引想象成是一个新增的小索引。这样一来,我们完全可以直接归并全量索引和增量索引,生成一个新的全量索引,这也就避免了从头处理所有文档的重复开销。这种方法就是效率更高的再合并法。

滚动合并法

不过,如果全量索引和增量索引的量级差距过大,那么再合并法的效率依然不高。

为什么这么说呢?我们以搜索引擎为例来分析一下。在搜索引擎中,增量索引只有上万条记录,但全量索引可能有万亿条记录。这样的两个倒排索引合并的过程中,只有少数词典中的关键词和文档列表会被修改,其他大量的关键词和文档列表都会从旧的全量索引中被原样复制出来,再重写入到新的全量索引中,这会带来非常大的无谓的磁盘读写开销。因此,对于这种量级差距过大的全量索引和增量索引的归并来说,如何避免无谓的数据复制就是一个核心问题。

最直接的解决思路就是 原地更新法。所谓原地更新法,就是不生成新的全量索引,直接在旧的全量索引上修改。

但这种方法在工程实现上其实效率并不高,原因有两点。

首先,它要求倒排文件要拆散成多个小文件,每个关键词对应的文档列表为一个小文件,这样才可以将增量索引中对应的变化直接在对应的小文件上单独修改。但这种超大规模量级的零散小文件的高效读写,许多操作系统是很难支持的。

其次,由于只有一份全量索引同时支持读和写,那我们就需要“加锁”,这肯定也会影响检索效率。因此,在一些大规模工程中,我们并不会使用原地更新法。

这就又回到了我们前面要解决的核心问题,也就是如何避免无谓的数据复制,那在工业界中常用的减少无谓数据复制的方法就是 滚动合并法。所谓滚动合并法,就是先生成多个不同层级的索引,然后逐层合并。

比如说,一个检索系统在磁盘中保存了全量索引、周级索引和天级索引。所谓 周级索引,就是根据本周的新数据生成的一份索引,那 天级索引 就是根据每天的新数据生成的一份索引。在滚动合并法中,当内存中的增量索引增长到一定体量时,我们会用再合并法将它合并到磁盘上当天的天级索引文件中。

由于天级的索引文件条数远远没有全量索引多,因此这不会造成大量的无谓数据复制。等系统中积累了 7 天的天级索引文件后,我们就可以将这 7 个天级索引文件合并成一个新的周级索引文件。因此,在每次合并增量索引和全量索引的时候,通过这样逐层滚动合并的方式,就不会进行大量的无谓数据复制的开销。这个过程就叫作滚动合并法。

重点回顾

今天,我们介绍了工业界中,不同规模的倒排索引对应的索引更新方法。

对于内存资源足够的小规模索引,我们可以直接使用 Double Buffer 机制更新内存中的索引;对于内存资源紧张的大规模索引,我们可以使用全量索引结合增量索引的方案来更新内存中的索引。

在全量索引结合增量索引的方案中,全量索引根据内存资源的使用情况不同,它既可以存在内存中,也可以存在磁盘上。而增量索引则需要全部存在内存中。

当增量索引增长到上限时,我们需要合并增量索引和全量索引,根据索引的规模和增长速度,我们可以使用的合并方法有完全重建法、再合并法和滚动合并法。

除此之外,我们还讲了一个很重要的工业设计思想,就是读写分离。实际上,高效的索引更新方案都应用了读写分离的思想,将主要的数据检索放在一个只读的组件上。这样,检索时就不会有读写同时发生的竞争状态了,也就避免了加锁。事实上,无论是 Double Buffer 机制,还是全量索引结合增量索引,都是读写分离的典型例子。

扩展阅读/问答

● 问:为什么在增量索引的方案中,对于删除的数据,我们不是像 LSM 树一样在索引中直接做删除标记,而是额外增加一个删除列表?
倒排索引和 kv 不一样,posting list 元素很多,每个元素都加标记代价太大。一个文档可能会影响多个 key,因此每个文档都要修改标记的话,读写操作会很频繁,加锁性能下降。还有一点是,加上标记也没啥用,在 posting list 求交并的过程中,依然要全部留下来,等着最后和全量索引合并时才能真正删除。这样的话不如直接用一个 delete list 存着,最后求交集更高效。

● 滚动合并流程
a. 今天增加的网页会先存在内存的增量索引中。
b. 增量索引满了,要开始合并。
c. 增量索引和当天的天级索引合并(天级索引不大,所以合并代价小)。
d. 当天级索引达到了 7 天时,可以将多个天级索引合并,变成一个新的周级索引。
e. 当有多个周级索引的时候,全量索引会和多个周级索引合并,生成一份新的全量索引。(不过,一般这一步会用重新生成全量索引来代替,你可以理解为为了保证系统的稳定性,需要定期进行索引重建。就像系统要进行定期重启一样)。

● 如果在 doc 的正排字段中做标记删除是不是也可以呢? 这样等各个索引进行合并的时候,看 doc 对应的正排的删除标记,如果是删除状态那边直接丢掉
本质上,这是复用了正排表,让它承载了删除列表的功能。在最后 posting list 合并的时候,通过查正排表完成过滤(其实就是加餐一中说的哈希表法:将删除列表变成了哈希表)。
在系统比较简单的时候,这样使用是 OK 的。不过当系统足够复杂的时候,我们需要将不同功能和数据进行合理的划分,倒排检索和正排查询有可能是两个不同的环节和模块(包括中间可能还有其他环节,比如抽取特征,打分计算等)。因此从这个角度出发,复杂系统才会抽象出删除列表这个对象,这样就可以不依赖于正排表,从而完成了系统架构的解耦设计。

相关文章
|
消息中间件 开发者 微服务
构建高效代码:模块化设计原则的实践与思考
【2月更文挑战第14天】在软件开发的世界中,编写可维护、可扩展且高效的代码是每个开发者追求的目标。本文将探讨如何通过应用模块化设计原则来提升代码质量,分享一些实践中的经验教训以及对未来技术趋势的思考。
446 1
|
Web App开发 编解码 监控
【开源视频联动物联网平台】推流,拉流,转发,转码?
【开源视频联动物联网平台】推流,拉流,转发,转码?
1473 2
|
5月前
|
监控 Linux 测试技术
C++零拷贝网络编程实战:从理论到生产环境的性能优化之路
🌟 蒋星熠Jaxonic,技术宇宙中的星际旅人。深耕C++与零拷贝网络编程,从sendfile到DPDK,实战优化服务器性能,毫秒级响应、CPU降60%。分享架构思维,共探代码星辰大海!
|
3月前
|
人工智能 关系型数据库 API
AI数字员工哪个好?2025十大品牌云原生适配实测:玄晶引擎/百度/阿里全链路方案
本文基于阿里云生态实测,解析AI数字员工从“可视化”到“业务落地”的转型趋势,揭露选型两大陷阱,结合玄晶引擎等50+案例与API性能数据,发布十大品牌榜单。聚焦云原生架构、API对接效率、开发友好度与全链路闭环四大维度,提供中小微企业至中大型企业的优选方案及开发者专属选型工具包,助力低成本高效落地。
542 9
|
4月前
|
人工智能 自然语言处理 搜索推荐
深度解读:Geo优化“两大核心+四轮驱动”方法论的落地执行细节
在AI驱动的数字营销新时代,传统SEO面临重构。于磊老师首创“两大核心+四轮驱动”Geo优化方法论,以人性化内容与交叉验证构建可信生态,融合EEAT原则、结构化内容、精准关键词及权威引用,助力企业实现高效获客与可持续增长。
763 16
|
4月前
|
人工智能 自然语言处理 算法
当GEO遭遇造假,AI优化向何处去?
生成式引擎优化(GEO)兴起,虚假榜单泛滥成灾。王耀恒警示:部分代运营公司利用AI批量炮制“行业第一”等伪排名,操纵AI回答,污染知识源头。他呼吁回归真实可信的品牌建设,推动技术反制与行业自律,重塑GEO伦理,让AI呈现的不是谎言,而是经得起验证的真相。
|
3月前
|
机器学习/深度学习 人工智能 数据可视化
构建AI智能体:六十四、模型拟合的平衡艺术:深入理解欠拟合与过拟合
机器学习模型训练中存在欠拟合和过拟合两大核心问题。欠拟合指模型过于简单无法捕捉数据规律,表现为训练和测试误差均高;过拟合则是模型过于复杂导致记忆噪声而非规律,表现为训练误差低但测试误差高。解决欠拟合需增加模型复杂度(如多项式回归、决策树)或改进特征工程;解决过拟合则需限制复杂度(如降低树深度)、增加正则化或使用集成方法。MSE是关键的评估指标,良好拟合表现为训练集和测试集MSE均适中且接近。掌握这一平衡艺术是构建泛化能力强、稳健模型的关键。
603 16
|
3月前
|
人工智能 运维 自然语言处理
裁员潮下的测试人:真正聪明的人正在做这三件事
上周同事聚会,测试圈哀声一片:裁员、外包撤离成常态。但也有逆势升职者——他们转型为质量赋能者、技术杠杆手、产品守护者。淘汰的不是岗位,而是旧角色。真正的测试人正在向上游预防、技术深耕和业务融合中重塑价值。寒冬不灭强者,升级“T型能力”,打造质量品牌,抓住隐藏机遇,你也能在变局中跃迁。
|
3月前
|
人工智能 搜索推荐 安全
Geo优化新范式:于磊老师揭秘两大核心与四轮驱动的精髓
于磊老师首创“两大核心+四轮驱动”Geo优化体系,倡导人性化Geo与内容交叉验证,结合E-E-A-T原则、结构化内容、关键词升级与权威引用,助力企业提升AI搜索信任度与获客效率,在多行业实现显著成效。
218 4
|
3月前
|
人工智能 自然语言处理 语音技术
AI数字人企业全域技术新排行
数字人企业生态圈全景解析:从像衍科技全栈自研突破,到BAT等巨头布局,涵盖技术、应用与商业变革。揭秘虚拟偶像、数字员工如何重构产业逻辑,推动AI与实体经济深度融合。

热门文章

最新文章