Postgresql执行计划概述
执行计划个人理解是一个“点”,“线”,“面”的问题,关系数据库中执行计划是一个同质化的对象,串联起来还是比较容易掌握的,对于一条复杂的sql,所谓的点就是其中单个表的访问方式,线是表之间的连接驱动顺序,面就是表与表之间的具体连接算法以及中间结果在内存缓冲区中的处理(类似于bitmap scan,中间结果集的buffer处理等等),这样一来,一个sql就的执行计划就可以逐步拆解开来,可以逐个基于细节来分析。Postgresql的执行计划,整体上看跟MySQL或者sqlserver都是差不多的,但Postgresql对执行计划在细节上的描述还是很粗糙的,就索引的访问形式来说:MySQL中有index 遍历索引/range 索引范围查找/ref 非唯一索引查找数据/eq_ref 非唯一索引查找数据,以及回表的标记;sqlserver中也存在着scan和seek是两个完全不同的概念,以及明显的“回表”标记。在postgresql执行计划中是无法直接体现出来的,全部称之为index scan(index only scan),这一点说实话是比不上MySQL或者sqlserver的,后两者对执行计划的描述都很细化。
1 执行计划中的“点”
1.1 顺序扫描Seq Scan
顺序扫描实际上就是全表扫描,没有任何可用索引或者不适合走索引的情况下的一种查询行为 seq scan的图形化示例1.2 索引扫描IndexScan
通过访问索引获得元组位置指针后再访问表数据本身,index scan实际上是包含了通过索引键值查找,然后“回表”的过程,这个执行计划或者字面上,都没有体现出来。index scan的图形化示例
1.3 Index Only Scan
如果索引scan不需要回表的话,执行计划如果表达这种逻辑?对于 index scan,如果一个查询不需要回表的场景,比如select c1 from table where c1 =100;查询的列在索引中就可以直接得到,无需回到基表去得到其他字段,这种执行计划叫做Index Only Scan 相比index scan,index only scan就是去掉“回表”这个过程,仅在索引树上就可以完成的查询
1.4 位图索引扫描Bitmap Index Scan
bitmap index scan的详细介绍见这里:https://www.cnblogs.com/wy123/p/13376991.htmlbitmap的图形化示例,其中包含了两部分,第一是bitmap的生成过程,第二是多个bitmap之间的与(或)操作后排序,然后回表的过程。
1.5 预期的index only scan没有出现
由于Index Only Scan表示仅需要索引就可以找到所需要的数据,无需回表,那么同样在无需回表的情况下,postgresql如何区分对索引树(b+)树的查找(真正的二分法查找)和扫描(扫描整颗B+树)?这个是一个有意思的问题,这里刻意创建一个抑制索引使用的但是无需回表的查询: select c2 from myschema.table_test where c2+1 = 1001;,
看看会发生什么,这也是笔者在一开始想不明白的一个问题,它竟然总的是走了一个全表扫描???
这两个问题虽然不完全相同,但还是有一些类似的地方,看来postgresql一些优化措施还是有进步空间的,说白了,官方就是说优化器不够智能,无法识别类似情况,只能做全表扫描来实现。理论上说是可以index only scan完成的操作,为什么会出现seq scan? 其实这个并不难理解,当where条件时c+1 = 1001的时候,因为c+1 并不是一个直接可用的索引字段,优化器并不知道这个表达式经过计算后可以转换成一个索引字段,因此会走全表扫描。至此,postgresql中仅从索引就可以得到查询结果的情况下,如何区分对索引树的二分法查找和索引树扫描?
除此之外,对于其他关系数据库中的select count(1) from table语句的优化,往往可以在一个长度较小的字段上建立一个索引,然后查询就自动遍历这个索引来获取总行数的优化思路。在Postgresql中是行不通的,类似查询Postgresql中并不会扫描一个较小的二级索引来实现count计算,而依旧走的是一个全面扫描。
这一点查阅相关资料说是与Postgresql的MVCC,事物可见性映射有关,也就是说在统计表中总行数的时候还要判断遍历的行数是不是对当前行可见的。参考这里,个人觉得其实并没有说清楚。 类似select count(1) from table;没有任何where条件下,默认一直是走seq scan table 的,究竟如何与事物的可见性关联起来的?
事务可见性以及MVCC,这一点还是比较有搞头的,埋个坑先:因为事务的可见性只在数据行中标记,对索引是不生效的,难道说通过二级索引回表找到的记录,都要进行一次可见性判断?
https://www.postgresql.org/docs/9.4/index-scanning.html
https://www.postgresql.org/docs/current/storage-vm.html
2 执行计划中的“线”
相对MySQL处理复杂sql能力相对较弱(被吐槽较多的子查询,尽管MySQL一直在改进他的执行计划算法),不太适合相对复杂的sql查询的场景,postgresql宣称能够处理复杂的sql查询,其实都是其背后的算法决定的。相比MySQL执行计划连接路径的贪心算法,其最大的问题在于只关心局部,而不关心整体,可能每一步都是最优解,但最终可能不是最优解的情况。
postgresql采用动态规划算法和遗传算法结合起来生成执行计划,理论上说postgresql的执行计划生成算法是更加优秀的。
类似图的最短路径算法,比如从1到5的最短路径: 1,对于贪心算法来说,会走1-》2=》3=》5的路径,当前的每一步都是最优解,整体上看并不是最优解。
2,对于动态规划算法来说,会走1=》4=》3=》5的路径,其代价明显优于贪心算法的结果。
贪心算的问题潜在的问题很明显,最终的解很可能不是最优的,尽管MySQL在这方面一直在改进。
对于动态规划算法可以遍历所有路径来获取一个最短路径,这种算法在节点数超过一定程度之后的时间复杂度会呈指数级增长,因此postgresql也会采用折中一些的遗传算法来实现(类似遗传基因改良过程,逐渐退化掉不好的部分)。 不管是贪心算法,还是动态规划算法,遗传算法,其本身各有优缺点:
前者实现简单,时间复杂度低,但存在非最优解的情况;
后者尽管可以得到最优解,但是其时间复杂度要大于贪心算法。 同时也不难理解,为什么MySQL发展至今中没有执行计划缓存? 就是因为其在相对简单的场景下,执行计划的生成代价相对较小,因此考虑可以不缓存执行计划,可以临时性编译,贪心算法同时也决定了MySQL不太适合处理相对复杂的sql查询场景,
其实这恰恰吻合了互联网项目短平快的特点么,所以MySQL适合这一套,有点野路子的风格(话说mysql的出身就比较野路子)。 而postgresql执行计划的访问路径生成代价相对较高,对于复杂的sql查询每次编译代价相对较大,因此就保留了执行计划缓存从而达到可重用的目的(pg_prepared_statements),这是典型的学院派的风格。
3 执行计划中的“面”
3.1 join方式
这里的“面”是表与表之间的连接处理方式,其实就是经典的loop join,merge join,hash join这三种join方式。
postgresql中的三种join方式与其他数据库的join在思路上并无二致,原理也很简单,基本上都有各自适合的场景和前提条件。
1.1 loop join
适合处理两个较小的结果集的场景,同时,尽管是较小的结果集,在有索引驱动的情况下loop join的效率也会相对较高,第二个图例就代表着基于索引驱动的loop join
1.2 merge join
适合处理两个有序结果集的场景,或者jion双方本身存在一致的索引键
相比loop join只有outer表会前推,merge join在join的时候,outer和inner表同时有一个“前推”的过程,也就是说随着join的进行,outer表的键对inner表的探测次数会越来越少。
要清楚,outer table和inner table的有序是merge join的因,而非果。
1.3,hash join
对于无索引且结果集较大的场景,属于重量级的查询处理。
其实平时不得见经常出现hash join,如果一个系统的查询中经常出现hash join,也不见得是一件好事,在前面两种足够“轻量级”join方式处理不动时的一种选择。
相比以上两种join方式,hash join可能较为难理解一点:hash join简单说分两个阶段,第一个阶段是构建hash桶,对join双方较小的一个表的连接键生成hash桶,第二个阶段是对join的另外一张表的键值基于hash运算后进行探测。
为什么要这么做?其实还是跟“join条件上没有索引有关”,相当于间接性地生成了一个hash索引,因此这种情况适合join双方都变较大,且没有索引的场景。
那么,为什么在重量级的join情况下为什么不加索引呢,所以上面也说了,经常看到hash join并不代表什么好现象,而是一种不得已的选择。
并行查询
并行查询可以应用在绝大多数上述的点线面中
比如并行Seq Scan,并行Index Scan,并行join等等,其目的就是多个CPU协同工作,然后汇总的一种思路,这一点postgresql还是比较给力的,当然也不是并行线程数越多越好(max_parallel_workers)。
强制查询提示
查询提示作为优化的debug作用,可以尝试强制按照非默认的执行方式来对比,参考这里:https://blog.csdn.net/jackgo73/article/details/89711523
以上截图这些有趣的图片来自于:https://momjian.us/main/writings/pgsql/internalpics.pdf
免责声明:
① 本站未注明“稿件来源”的信息均来自网络整理。其文字、图片和音视频稿件的所属权归原作者所有。本站收集整理出于非商业性的教育和科研之目的,并不意味着本站赞同其观点或证实其内容的真实性。仅作为临时的测试数据,供内部测试之用。本站并未授权任何人以任何方式主动获取本站任何信息。
② 本站未注明“稿件来源”的临时测试数据将在测试完成后最终做删除处理。有问题或投稿请发送至: 邮箱/279061341@qq.com QQ/279061341