ByConity项目优化器对分区键子查询过滤的性能优化分析
2025-07-03 08:45:16作者:庞眉杨Will
背景介绍
在分布式数据库系统ByConity中,当查询条件中的分区键过滤条件来自于子查询时,查询性能可能会显著下降。本文通过一个典型场景分析这一问题,并探讨优化方案。
问题现象
我们创建一个测试表test1,按日期字段pt_d进行分区,并插入大量测试数据。当执行以下两种查询时,性能差异明显:
- 分区键直接指定具体值(0.02秒完成)
select name from (
select name, sum(1) as id_users, sum(key) as all_id_users
from db.test1
where pt_d = '2020-04-09'
group by name
order by id_users desc
) t where t.all_id_users>300
- 分区键通过子查询获取(0.3秒完成)
select name from (
select name, sum(1) as id_users, sum(key) as all_id_users
from db.test1
where pt_d = (select max(pt_d) from db.test1)
group by name
order by id_users desc
) t where t.all_id_users>300
性能差异原因分析
当启用优化器(enable_optimizer=1)时,第二种查询会使用Join操作来处理子查询条件,而不是先执行子查询获取分区键值再进行分区裁剪。这种执行计划导致需要扫描更多数据,性能较差。
相比之下,禁用优化器(enable_optimizer=0)时,查询耗时降至0.08秒,因为传统执行引擎会先执行子查询获取具体分区键值。
优化方案
ByConity提供了两种参数来优化这类场景:
early_execute_scalar_subquery:强制先执行标量子查询early_execute_in_subquery:强制先执行IN子查询
设置early_execute_scalar_subquery=true后,优化器会先执行select max(pt_d) from db.test1获取具体分区键值,然后进行分区裁剪,显著提升性能。
实现原理
这种优化属于"子查询提前执行"技术,核心思想是:
- 识别出可以独立执行的子查询
- 在执行主查询前先执行这些子查询
- 将子查询结果作为常量用于主查询优化
- 特别是对于分区键条件,可以提前确定需要扫描的分区范围
最佳实践建议
对于包含分区键子查询过滤的SQL,建议:
- 优先使用
early_execute_scalar_subquery参数 - 对于复杂子查询,考虑重写为JOIN或临时表
- 定期收集表统计信息(create stats)以帮助优化器决策
- 监控查询计划,确保分区裁剪有效
总结
ByConity优化器在处理分区键子查询过滤时,默认行为可能导致性能问题。通过合理使用子查询提前执行参数,可以显著提升这类查询的性能。理解优化器的工作原理和可用参数,有助于开发人员编写更高效的SQL查询。
登录后查看全文
热门项目推荐
相关项目推荐
GLM-5智谱 AI 正式发布 GLM-5,旨在应对复杂系统工程和长时域智能体任务。Jinja00
GLM-5.1GLM-5.1是智谱迄今最智能的旗舰模型,也是目前全球最强的开源模型。GLM-5.1大大提高了代码能力,在完成长程任务方面提升尤为显著。和此前分钟级交互的模型不同,它能够在一次任务中独立、持续工作超过8小时,期间自主规划、执行、自我进化,最终交付完整的工程级成果。Jinja00
MiniMax-M2.7MiniMax-M2.7 是我们首个深度参与自身进化过程的模型。M2.7 具备构建复杂智能体应用框架的能力,能够借助智能体团队、复杂技能以及动态工具搜索,完成高度精细的生产力任务。Python00- QQwen3.5-397B-A17BQwen3.5 实现了重大飞跃,整合了多模态学习、架构效率、强化学习规模以及全球可访问性等方面的突破性进展,旨在为开发者和企业赋予前所未有的能力与效率。Jinja00
HY-Embodied-0.5这是一套专为现实世界具身智能打造的基础模型。该系列模型采用创新的混合Transformer(Mixture-of-Transformers, MoT) 架构,通过潜在令牌实现模态特异性计算,显著提升了细粒度感知能力。Jinja00
LongCat-AudioDiT-1BLongCat-AudioDiT 是一款基于扩散模型的文本转语音(TTS)模型,代表了当前该领域的最高水平(SOTA),它直接在波形潜空间中进行操作。00
项目优选
收起
OpenHarmony documentation | OpenHarmony开发者文档
Dockerfile
663
4.27 K
deepin linux kernel
C
28
15
Ascend Extension for PyTorch
Python
506
612
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
941
868
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
394
292
暂无简介
Dart
911
219
🎉 (RuoYi)官方仓库 基于SpringBoot,Spring Security,JWT,Vue3 & Vite、Element Plus 的前后端分离权限管理系统
Vue
1.54 K
894
AscendNPU-IR是基于MLIR(Multi-Level Intermediate Representation)构建的,面向昇腾亲和算子编译时使用的中间表示,提供昇腾完备表达能力,通过编译优化提升昇腾AI处理器计算效率,支持通过生态框架使能昇腾AI处理器与深度调优
C++
124
198
昇腾LLM分布式训练框架
Python
142
168
旨在打造算法先进、性能卓越、高效敏捷、安全可靠的密码套件,通过轻量级、可剪裁的软件技术架构满足各行业不同场景的多样化要求,让密码技术应用更简单,同时探索后量子等先进算法创新实践,构建密码前沿技术底座!
C
1.07 K
557