控制算子----BitmapAnd和BitmapOr

引言

上一篇文章中介绍了Result算子，Result算子是最基本的算子之一。而今天要介绍的BitmapAnd算子和BitmapOr算子也很重要。

代码位置

BitmapAnd

src\gausskernel\runtime\executor\nodeBitmapAnd.cpp

BitmapOr

src\gausskernel\runtime\executor\nodeBitmapOr.cpp

功能作用

有关Bitmap（位图）的内容我在之前的文章：扫描算子—-nodeBitmapScan.cpp解析中介绍过了，可以点击此处跳转阅读。

BitmapAnd和BitmapOr顾名思义，就是对位图做与运算和或运算。如下图图解所示：

• BitmapAnd

• BitmapOr

两者功能相似，这里只对BitmapAnd算子的代码做简要分析。

MultiExecBitmapAnd

MultiExecBitmapAnd函数是BitmapAnd算子中的关键函数，其代码如下：

1. //代码清单1
2. Node* MultiExecBitmapAnd(BitmapAndState* node)
3. {
4. PlanState** bitmapplans;
5. int nplans;
6. int i;
7. TIDBitmap* result = NULL;
9. /* 表示结点开始执行 */
10. if (node->ps.instrument) {
11. InstrStartNode(node->ps.instrument);
12. }
14. bitmapplans = node->bitmapplans;
15. nplans = node->nplans;
17. /* 遍历所有位图进行与操作 */
18. for (i = 0; i < nplans; i++) {
19. PlanState* subnode = bitmapplans[i];
20. subnode->hbktScanSlot.currSlot = node->ps.hbktScanSlot.currSlot;
21. TIDBitmap* subresult = NULL;
22. /* 获取位图 */
23. subresult = (TIDBitmap*)MultiExecProcNode(subnode);
24. if (subresult == NULL || !IsA(subresult, TIDBitmap))
25. ereport(ERROR,
26. (errcode(ERRCODE_UNRECOGNIZED_NODE_TYPE),
27. errmodule(MOD_EXECUTOR),
28. errmsg("unrecognized result from subplan for BitmapAnd.")));
30. if (result == NULL) {
31. result = subresult; /* 初始化result为第一个子计划中的位图 */
32. } else {
33. /* result和subresult其中有一个是分区表索引（非全局索引），则把result设为分区表索引 */
34. if (tbm_is_global(result) != tbm_is_global(subresult)) {
35. tbm_set_global(result, false);
36. }
37. /* result和subresult取交集 */
38. tbm_intersect(result, subresult);
39. tbm_free(subresult);
40. }
42. /* 如果result为空，则可以提前退出循环，因为result将不会再发生改变 */
43. if (tbm_is_empty(result)) {
44. break;
45. }
46. }
48. if (result == NULL) {
49. ereport(ERROR,
50. (errcode(ERRCODE_NULL_VALUE_NOT_ALLOWED),
51. errmodule(MOD_EXECUTOR),
52. errmsg("BitmapAnd doesn't support zero inputs")));
53. }
55. /* 表示结束此结点的执行 */
56. if (node->ps.instrument) {
57. InstrStopNode(node->ps.instrument, 0 /* XXX */);
58. }
60. return (Node*)result;
61. }

输入参数

MultiExecBitmapAnd函数的输入参数为BitmapAndState类型的结构体指针，结构体定义如下：

1. typedef struct BitmapAndState {
2. PlanState ps; /* 父结点 */
3. PlanState** bitmapplans; /* 需要与操作的位图 */
4. int nplans; /* 需要与操作的位图数量 */
5. } BitmapAndState;

执行过程

执行过程较为简单，具体直接见代码清单1中的注释。

小结

这篇文章里我介绍了BitmapAnd和BitmapAnd算子，这两个算子十分重要，主要是对BitmapIndexScan算子中返回的数据页位图进行与操作和或操作，得到最终的位图。