ParadeDB v0.15.9版本发布:全文搜索扩展的重大更新
ParadeDB是一个基于PostgreSQL的高性能全文搜索扩展,它通过原生集成到PostgreSQL中,为用户提供了强大的搜索能力。与传统的PostgreSQL全文搜索相比,ParadeDB在性能、功能和易用性方面都有显著提升。
本次发布的v0.15.9版本带来了多项重要改进和功能增强,主要集中在索引合并策略优化、性能提升和bug修复等方面。这些改进使得ParadeDB在处理大规模数据时的表现更加出色,特别是在高并发写入场景下的稳定性有了明显提升。
核心改进:全新的合并策略
v0.15.9版本引入了一个革命性的"LayeredMergePolicy"合并策略,取代了原有的"NPlusOneMergePolicy"。这一变化是本次更新的最大亮点。
在全文搜索引擎中,合并策略决定了如何将多个小的索引段(segment)合并成更大的段,这对查询性能和写入吞吐量都有重大影响。新的LayeredMergePolicy采用了分层合并的方式,能够更高效地组织索引结构,特别是在处理大量小文档或频繁更新的场景下。
与旧策略相比,LayeredMergePolicy具有以下优势:
- 支持并发合并操作,显著提高了索引构建和更新的效率
- 更智能的段选择策略,减少了不必要的合并操作
- 更好的资源利用率,降低了CPU和I/O开销
- 更平滑的性能曲线,避免了旧策略可能导致的性能波动
重要功能增强
除了核心的合并策略改进外,v0.15.9版本还包含以下重要功能增强:
-
片段生成优化:修复了片段生成功能中max_num_chars参数不生效的问题,现在可以更精确地控制返回的文本片段长度。
-
字符串快速字段处理:修复了StringFastFieldExec方法在某些情况下会丢失数据行的问题,提高了数据检索的准确性。
-
批量更新性能:新增了针对批量更新操作的性能测试工具(stressgres),帮助开发者更好地评估和优化大规模数据更新的性能。
兼容性与部署改进
v0.15.9版本在兼容性和部署方面也做了重要调整:
-
PostgreSQL版本支持:移除了对PostgreSQL 13的支持,现在最低支持版本为PostgreSQL 14。这一变化使得开发团队能够更专注于新特性的开发,而不必维护旧版本的兼容性。
-
依赖管理:锁定了pgrx(PostgreSQL Rust扩展框架)的版本,提高了构建的稳定性和可重复性。
-
打包优化:为各种Linux发行版和PostgreSQL版本提供了更全面的预编译包,包括对最新PostgreSQL 17的初步支持。
移除的功能
出于简化和聚焦核心功能的考虑,v0.15.9版本移除了以下功能:
- 遥测功能:完全移除了产品中的遥测数据收集功能,进一步提升了用户隐私保护。
开发者体验改进
对于使用ParadeDB进行开发的工程师,这个版本也带来了多项体验改进:
-
更稳定的API:修复了多个边界条件下的bug,提高了接口的可靠性。
-
增强的测试覆盖:新增了针对片段生成和字符串字段处理的测试用例,确保这些核心功能的稳定性。
-
文档更新:详细记录了新的合并策略API和使用方法,帮助开发者更好地理解和利用这些新特性。
升级建议
对于正在使用ParadeDB的用户,建议尽快升级到v0.15.9版本,特别是那些面临以下场景的项目:
- 需要处理高频率数据更新的应用
- 查询性能出现波动的系统
- 计划迁移到PostgreSQL 16或17的环境
升级过程相对简单,可以通过各Linux发行版的包管理器直接安装新版本。需要注意的是,由于合并策略的变化,首次使用新版本时可能需要重建索引以获得最佳性能。
总的来说,ParadeDB v0.15.9版本通过创新的合并策略和多项功能优化,进一步巩固了其作为PostgreSQL高性能全文搜索解决方案的地位。这些改进使得它能够更好地服务于需要处理大规模文本数据的现代应用场景。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C080
baihu-dataset异构数据集“白虎”正式开源——首批开放10w+条真实机器人动作数据,构建具身智能标准化训练基座。00
mindquantumMindQuantum is a general software library supporting the development of applications for quantum computation.Python056
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0135
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00