GaussDB(DWS) 性能黑科技之LLVM技术解密
GaussDB(DWS) 性能黑科技之LLVM技术解密
1. 前言
- 适用版本:【8.1.0(及以上)】
介绍何为LLVM及其优势,DWS中为什么要使用LLVM以及如何使用。
2. LLVM是什么
LLVM这个名字最早源于底层虚拟机(Low Level VirTual Machine)的首字母缩写,但随着LLVM项目的演进,底层虚拟机的含义已经不再适用于LLVM。现在谈到LLVM,广义上讲就是指LLVM本身,它是一套用于开发编译前端与后端的工具套件,狭义上讲LLVM就是指整个编译套件的优化器及后端,而CLANG可以认为是C/C++的前端。
3. LLVM的优势
传统编译器最常见的三阶段设计:
- 前端:解析源代码生成抽象语法树
- 优化器:根据优化规则对代码进行改善,相当于规则重写,例如消除冗余计算等
- 后端:将代码映射到目标指令集上,包括指令选择、寄存器分配和指令调度等。
GCC是一个完整的可执行文件,没有为其他语言的开发者提供代码重用的接口,灵活性不足。
LLVM也采用经典的三段式设计,但与传统编译器最大的不同就是针对不同语言都提供了同样一种中间表示IR以及模块化的后端(MCJIT模块可以支持JIT编译)。
4. DWS为什么要使用LLVM
为具体的查询生成定制化的机器码代替通用的函数实现,并尽可能的将数据存储在CPU的寄存器中:
- 解决条件逻辑冗余的问题,需要用到JIT(jiust-in-time)编译技术,LLVM天然支持JIT技术。
- 减少大量虚函数调用
- 改善数据调用,将数据尽可能的从内存加载到cache上
- 发挥通用硬件平台的扩展指令集功能,例如SSE4.2
一个简单的例子,可以参照下面的优化前伪代码片段:
- 首先是优化前的代码片段(a):
可以看到,在物化tuple的过程中,需要根据不同的列属性判断其偏移量,并调用相应的解析函数。 - 借助LLVM使用JIT编译技术后,可以生成如下优化后的伪代码片段(b):
其中偏移量已经被提前计算出来,且无需判断列属性既可以调用对应的解析函数。减少了偏移量的重复计算及类型的重复判断。
优化前的代码(a):
void MaterializeTuple(char *tuple)
{
for (int i = 0; i < num_slots; ++i) {
char *slot = tuple + offset[i];
switch(types[i]) {
case BOOLEAN:
*slot = ParseBoolean();
break;
case INT:
*slot = ParseInt();
break;
case FLOAT:...
case STRING:...
// etc.
}
}
}
优化后的代码(b):
void MaterializeTuple(char *tuple)
{
*(tuple + 0) = ParseInt();
*(tuple + 4) = ParseBoolean();
*(tuple + 5) = ParseInt();
}
5. 如何使用LLVM
在DWS中,涉及LLVM的GUC参数有两个:
- enable_codegen:总开关,用于控制是否开启codegen,默认为on
- codegen_cost_threshold:使用处理行数控制是否开启codegen,默认门槛值为10000。
目前DWS中并非是通过计划代价去控制是否开启codegen,而是通过处理行数来控制的。此处10000是通过实验验证得出的优化值,不建议将此门槛值设置的过低,因为代码执行过程中的即时编译是有代价的。
简单示例:
test=# create table llvm_test(a int,b int)with(orientation=column);
NOTICE: The 'DISTRIBUTE BY' clause is not specified. Using 'a' as the distribution column by default.
HINT: Please use 'DISTRIBUTE BY' clause to specify suitable data distribution column.
CREATE TABLE
test=# insert into llvm_test values(generate_series(1,10),generate_series(1,10));
INSERT 0 10
test=# show enable_codegen;
enable_codegen
----------------
on
(1 row)
test=# show codegen_cost_threshold;
codegen_cost_threshold
------------------------
10000
(1 row)
test=# set codegen_cost_threshold=0; --为了简化,将门槛值设置为0
SET
test=# set enable_fast_query_shipping=off; --关闭FQS,便于打印DN执行信息
SET
test=# explain performance select * from llvm_test where b<10; --简单表达式会使用codegen
Datanode Information (identified by plan id)
---------------------------------------------------------------------------------------------------------------------
1 --Row Adapter
(actual time=14.929..15.393 rows=9 loops=1)
(CPU: ex c/r=5783, ex row=9, ex cyc=52048, inc cyc=46174324)
2 --Vector Streaming (type: GATHER)
(actual time=14.920..15.372 rows=9 loops=1)
(Buffers: 0)
(CPU: ex c/r=5124697, ex row=9, ex cyc=46122276, inc cyc=46122276)
3 --CStore Scan on public.llvm_test
LLVM Optimized
datanode1 (actual time=0.094..0.141 rows=9 loops=1) (filter time=0.002) (RoughCheck CU: CUNone: 1, CUSome: 9)
datanode1 (Buffers: shared hit=26 dirtied=1)
datanode1 (CPU: ex c/r=41430, ex row=10, ex cyc=414306, inc cyc=414306)
此处仅截取部分执行信息,在Datanode Information
中的扫描算子中有LLVM Optimized
信息,代表已经使用了JIT编译。
如果想查看LLVM JIT编译的时间耗时,可以借助GUC参数analysis_options
进行设置后,执行对应查询语句,在User Define Profiling
中就可以看到LLVM的编译时间。
test=# set analysis_options='on(LLVM_COMPILE)';
SET
test=# explain performance select * from llvm_test where b<10;
User Define Profiling
----------------------------------------------------------------
Plan Node id: 2 Track name: coordinator get datanode connection
coordinator1: (time=0.015 total_calls=1 loops=1)
Plan Node id: 3 Track name: load CU description
datanode1 (time=0.061 total_calls=10 loops=1)
Plan Node id: 3 Track name: min/max check
datanode1 (time=0.008 total_calls=10 loops=1)
Plan Node id: 3 Track name: fill vector batch
datanode1 (time=0.032 total_calls=9 loops=1)
Plan Node id: 3 Track name: apply projection and filter
datanode1 (time=0.005 total_calls=9 loops=1)
Plan Node id: 3 Track name: LLVM Compilation
datanode1 (time=11.024 total_calls=1 loops=1)
Plan Node id: 3 Track name: fill later vector batch
datanode1 (time=0.000 total_calls=9 loops=1)
其中LLVM Compilation
即为LLVM的即时编译的时间代价。此处编译的时间代价通常会与SQL执行流程的复杂程度成正比关系,在实际的调优实践中可以结合此数据对处理数据行数的门槛值做进一步的调整。
6. LLVM适用场景
目前LLVM仅支持DN上且是列存向量化执行路径的查询作业,其支持的表达式及算子如下:
- 支持LLVM的表达式
- Case…when… 表达式
- In表达式
- Bool表达式 (And/Or/Not)
- BooleanTest表达式 (IS_NOT_KNOWN/IS_UNKNOWN/IS_TRUE/IS_NOT_TRUE/IS_FALSE/IS_NOT_FALSE)
- NullTest表达式 (IS_NOT_NULL/IS_NULL)
- Operator表达式
- Function表达式 (lpad, substring, btrim, rtrim, length)
- Nullif表达式
表达式计算支持的数据类型包括bool, tinyint, smallint, int, bigint, float4, float8, numeric, date, time, timetz, timestamp, timestamptz, interval, bpchar, varchar, text, oid。
仅当表达式出现在向量化执行引擎中Scan节点的filter、Hash Join节点中的complicate hash condition、hash join filter、hash join target, Nested Loop节点中的filter、join filter, Merge Join节点的merge join filter, merge join target, Group节点中的filter表达式时,才会考虑是否使用LLVM动态编译优化。
- 支持LLVM的算子:
- Join :HashJoin
- Agg :HashAgg
- Sort
其中HashJoin算子仅支持Hash Inner Join,对应的hash cond仅支持int4、bigint、bpchar类型的比较;HashAgg算子仅支持针对bigint、numeric类型的sum及avg操作,且group by语句仅支持int4、bigint、bpchar,text,varchar,timestamp类型操作,同时支持count(*)聚集操作。Sort算子仅支持对int4,bigint,numeric,bpchar,text,varchar数据类型的比较操作。除此之外,无法使用LLVM动态编译优化,具体可通过explain performance工具进行显示(如上用例所示)。
7. 总结
文章介绍了用于开发编译前端与后端的工具套件LLVM,其针对不同语言都提供了同样一种中间表示IR以及模块化的后端。DWS为了解决条件逻辑冗余的问题、减少大量虚函数调用、改善数据调用并发挥通用硬件平台的扩展指令集功能,引入了LLVM。
文章演示了在DWS中可以使用enable_codegen、codegen_cost_threshold两个guc参数开启LLVM,并且可以在explain计划中查看是否使用LLVM。同时列出支持LLVM的一些场景。
- 点赞
- 收藏
- 关注作者
评论(0)