首页
/ Manticore Search中not_terms_only_allowed与expr ranker组合导致的崩溃问题分析

Manticore Search中not_terms_only_allowed与expr ranker组合导致的崩溃问题分析

2025-05-23 17:47:04作者:范垣楠Rhoda

问题现象

在使用Manticore Search进行全文检索时,当同时满足以下三个条件时会导致服务崩溃:

  1. 使用-a作为查询条件
  2. 设置了ranker=expr('1')选项
  3. 查询的表包含磁盘块(disk chunk)

具体表现为执行查询后MySQL客户端会报错"Lost connection to MySQL server during query",即服务端进程崩溃。

问题复现步骤

  1. 创建测试表并插入数据
drop table if exists t;
create table t(f text);
insert into t values(1, 'abc');
  1. 将内存块刷新到磁盘
flush ramchunk t;
  1. 执行触发崩溃的查询
select id from t where match('-a') option ranker=expr('1'), not_terms_only_allowed=1;

技术背景分析

这个问题涉及到Manticore Search的几个关键特性:

  1. 磁盘块与内存块:Manticore Search的表数据可以存储在内存(RAM chunk)或磁盘(disk chunk)中。flush ramchunk命令会将内存中的数据持久化到磁盘。

  2. 查询选项

    • not_terms_only_allowed=1:允许查询中包含非词项(如操作符)
    • ranker=expr('1'):使用表达式排名器,这里使用最简单的常量'1'作为排名表达式
  3. 查询语法-a表示排除包含"a"的文档

问题根源

经过分析,这个崩溃是由于在特定条件下排名器表达式处理与查询语法解析的交互问题导致的。当:

  1. 查询中包含排除操作符(-)
  2. 使用表达式排名器
  3. 数据存在于磁盘块中

这三个条件同时满足时,系统在处理查询时会访问无效的内存区域,导致段错误(segmentation fault)而使服务崩溃。

解决方案

该问题已在Manticore Search的最新开发版本中修复。修复的核心是:

  1. 在表达式排名器处理前增加了对查询语法树的完整性检查
  2. 确保在磁盘块处理路径中也正确初始化了查询解析所需的数据结构
  3. 添加了边界条件检查,防止无效内存访问

最佳实践建议

为避免类似问题,建议:

  1. 在生产环境中使用稳定版本而非开发版本
  2. 复杂的查询组合应在测试环境中充分验证
  3. 定期关注版本更新和修复公告
  4. 对于关键业务查询,考虑添加异常处理机制

总结

这个问题展示了数据库系统中查询解析、排名计算和存储引擎三个子系统间的复杂交互。Manticore Search团队通过添加完整性检查和边界条件防护解决了这个崩溃问题,提高了系统的稳定性。对于用户而言,理解查询选项间的潜在交互影响对于构建稳定可靠的搜索应用至关重要。

登录后查看全文
热门项目推荐
相关项目推荐

项目优选

收起
docsdocs
暂无描述
Markdown
827
5.48 K
kernelkernel
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
494
515
ops-nnops-nn
本项目是CANN提供的神经网络类计算算子库,实现网络在NPU上加速计算。
C++
783
1.57 K
pytorchpytorch
作为 Ascend for PyTorch 社区的核心组件,TorchNPU 是昇腾专为 PyTorch 打造的深度学习适配插件,使 PyTorch 框架能够直接调用昇腾 NPU,为开发者提供昇腾 AI 处理器的超强算力。
Python
800
1.14 K
ops-transformerops-transformer
本项目是CANN提供的transformer类大模型算子库,实现网络在NPU上加速计算。
C++
970
2.28 K
kernelkernel
deepin linux kernel
C
32
16
AscendNPU-IRAscendNPU-IR
AscendNPU-IR是基于MLIR(Multi-Level Intermediate Representation)构建的,面向昇腾亲和算子编译时使用的中间表示,提供昇腾完备表达能力,通过编译优化提升昇腾AI处理器计算效率,支持通过生态框架使能昇腾AI处理器与深度调优
C++
480
312
jiuwenswarmjiuwenswarm
JiuwenSwarm 是一款基于openJiuwen开发的智能AI Agent,它能够将大语言模型的强大能力,通过你日常使用的各类通讯应用,直接延伸至你的指尖。
Python
3.01 K
766
cannbot-skillscannbot-skills
CANNBot 是面向 CANN 开发的用于提升开发效率的系列智能体,本仓库为其提供可复用的 Skills 模块。
Markdown
1.26 K
808
cann-learning-hubcann-learning-hub
CANN 学习中心仓,支持在线互动运行、边学边练,提供教程、示例与优化方案,一站式助力昇腾开发者快速上手。
Jupyter Notebook
647
284