SQL Optimizer查询优化器|青训营笔记

144 阅读6分钟

这是我参与[第四届青训营]笔记创作活动的第一天

一、本课堂重点内容

总体框架

1.jpg

二、详细知识点介绍

大数据体系概览

b2aa89080bc0b7daa978da3f4f99521.jpg

01.SQL基本流程

eb2a903b3eca44c8c3f6adf382c9fa4.jpg

1.Parser

步骤: 1)词法分析:拆分字符串,得到关键词,数值常量,字符串常量,运算符号等token 2)语法分析:将token组成AST node,最终的到一个AST(抽象语法树) 实现:递归下降,Flex和Bison(PostgreSQL),JavaCC(Flink),Antir(Presto Spark)

2.Analyzer

把抽象语法树转变成逻辑计划

检查并绑定Database,Table,Column等元素信息 SQL的合法性检查,比如:min/max/avg的输入是数值

logic PLAN 逻辑地描述SQL对应的分步骤计算操作

逻辑计划树

  1. 所谓逻辑计划树,可以理解为逻辑地描述一个 SQL 如何一步步地执行查询和计算,最终得到执行结果的一个分步骤地计划。树中每个节点是是一个算子,定义了对数据集合的计算操作(过滤,排序,聚合,连接),边代表了数据的流向,从孩子节点流向父节点。之所以称它为逻辑的,是因为算子定义的是逻辑的计算操作,没有指定实际的算法,比如对于逻辑的排序算子,逻辑计划树里没有指定使用快排还是堆排。

3.什么是查询优化SQL Optimizer?。

SQL是一种声明式的语言,用户只描述做什么,没有告诉数据库怎么做,在这之中就存在许多操作空间,给数据库很高的自由度,从而进行查询优化。

目标:找到一个正确且执行代价最小的物理执行计划

一般SQL越复杂,join的表越多,数据量越大,查询优化的意义就越大,因为不同的执行方式的性能差别可能有成百上千倍。

4.Physical Plan和Executor

Plan Fragment:执行计划子树

目标:最小化网络数据传输

  • 优化器的输出是一个分布式的物理执行计划。

  • 分布式物理执行计划的目标是在单机 Plan 的基础上最小化数据移动和最大化本地 Scan,生成 PlanFragment 树。

  • 一个 PlanFragment 封装了在一台机器上对数据集的操作逻辑。每个 PlanFragment 可以在每个 executor 节点生成 1 个或多个执行实例,不同执行实例处理不同的数据集,通过并发来提升查询性能。

  • Plan 分布式化的方法是增加 shuffle 算子,执行计划树会以 shuffle 算子为边界拆分为PlanFragment。

Executor

单机并行:cache,pipeline,SIMD 多机并行:一个fragment对应多个实例

6818eb72778040c54e3163af9b849df.jpg

02.查询优化器分类

1.Top-down Optimizer
2.Bottom-up Optimizer
3.Rule-based Optimizer(RBO)
4.Cost-based Optimizer(CBO)\

Rule-based Optimizer(RBO)

优化原则 RBO

  • 基于关系代数等价规则对逻辑计划进行变换

  • 实现上:

    • Pattern:定义了特定结构的 Operator 子树(结构)
    • Rule:定义了如何将其匹配的节点替换(Substitute)为新形态,从而生成新的、等价的Operator 树(原地替换
    • 优化器搜索过程被抽象为不断匹配 Pattern 然后应用 Rule 转换,直到没有可以匹配的 rule
  • 局限性:

    • 无法解决多表连接问题
    • 无法确定和选择最优的分布式 Join/Aggregate 执行方式

Read data less and faster (I/O)

Transfer data less and faster (Network)

Process data less and faster (CPU&Memory)

列裁剪:列去掉,减少I/O内存的占用 谓词(where)下推:过滤掉数据 传递闭包(表达式的等价条件,推导出新的关系条件 Runtime Filter:提早过滤不要的数据

af1319102c40b063d81a8fd29551dbf.jpg

Cost-based Optimizer(CBO)

  • CBO

    • 使用一个模型估算执行计划的代价,选择代价最小的执行计划

    • 分而治之,执行计划的代价等于所有算子的执行代价之和

    • 通过 RBO 得到(所有)可能的等价执行计划(非原地替换

    • 算子代价包含 CPU,cache misses,memory,disk I/O,network I/O 等代价

      • 和算子的统计信息有关,比如输入、输出结果的行数,每行大小等

      • 叶子算子 scan:通过统计原始表数据得到

        • 中间算子:根据一定的推导规则,从下层算子的统计信息推导得到
        • 和具体的算子类型,以及算子的物理实现有关(e.g. hash join vs. sort join)
    • 使用动态规划枚举所有执行计划,选出执行代价最小的执行计划

  • 统计信息

    • 基表统计信息

      • 表或者分区级别:行数、行平均大小、表在磁盘中占用了多少字节等
      • 列级别:min、max、num nulls、num、not nulls、num、distinct value(NDV)、histogram 等
    • 推导统计信息

      • 选择率(selectivity) :对于某一个过滤条件,查询会从表中返回多大比例的数据
      • 基数(cardinality) :基本含义是表的 unique 行数,在查询计划中常指算子需要处理的行数

be053b01fbc2285ad209731226a3b9f.jpg

CBO统计信息的收集方式: 1.在DDL里指定需要手机的统计信息,数据库会在数据写入时收集或者更新统计信息。 2.手动执行explain analyze statement,触发数据库收集或者更新统计信息 3.动态采样

a16c6428300d5cba57e6aa4283262df.jpg

03.社区开源实践

7bb4813429a611844308b929c7a42bd.jpg

Apache Calcite

207f0153e14b1484055d2b0af5035b5.jpg

Calcite RBO

70547cc517931266eaea2fa75cb16f5.jpg

Calcite CBO

930d113f12320840acfc744b90364a4.jpg

41e59848d9126f5d0336dce5468ef7e.jpg

04.前沿趋势

DATA-AI AI4DB DB4AI

504ae78565de268b70f00d1244b2b57.jpg

三、个人总结:

1.了解了SQL基本流程以及什么是查询优化SQL Optimizer。
2.了解了查询优化器分类有: 1.Top-down Optimizer 2.Bottom-up Optimizer 3.Rule-based Optimizer(RBO) 4.Cost-based Optimizer(CBO)

四、参考文献

  1. CMU 数据库相关课程,第一个是初级课程,第二个是高级课程。

    1. 15445.courses.cs.cmu.edu/fall2021/
    2. 15721.courses.cs.cmu.edu/spring2020/
  1. Access Path Selection in a Relational Database Management System

  2. Volcano/Cascades 框架相关论文

    1. The Volcano Optimizer Generator : Extensibility and Efficient Search

    2. The Cascades Framework for Query Optimization

    3. Efficiency in the Columbia Database Query Optimizer

      • 这篇 paper 从实现的角度详细讲解了 columbia optimizer 的设计和实现,它完全参考了 volcano/cascades 中的概念和 top-down 的搜索策略,并做了一系列优化来改善 volcano/cascades 的优化效率。
  1. Apache Calcite: A Foundational Framework for Optimized Query Processing Over Heterogeneous Data Sources
  1. github.com/pingcap/awe…
  1. 以下这几篇文章从各自的角度回顾大数据系统的过去和展望大数据系统的未来,拓展大家的视野,激发大家投身大数据的热情。

    1. 解读数据架构的2021:大数据1.0体系基本建成,但头上仍有几朵乌云_架构_关涛 Tony_InfoQ精选文章
    2. 面向未来的HTSAP一体化数据平台该是什么样子?_文化 & 方法_张翔_InfoQ精选文章
    3. 云原生数据库设计新思路

juejin.cn/post/712275…