openGauss VecMergeJoin状态机
下面我们以一个例子为例,解释各个join的执行情况。postgres=# select * from t30
id1 | id2
----|----
1 | 1
2 | 3
2 | 3
(3 rows)
postgres=# select * from t31
id1 | id2
----|----
1 | 1
5 | 5
2 | 3
(3 rows)
t30作为外表,t31作为内表,join条件为t30.id1=t31.id1。inner join
1)EXEC_MJ_INITIALIZE_OUTER 取外表值1。进入EXEC_MJ_INITIALIZE_INNER状态2)EXEC_MJ_INITIALIZE_INNER 取内表值1。进入EXEC_MJ_SKIP_TEST状态 1 = 1,进入EXEC_MJ_JOINTUPLES状态,并标记内表值1 BatchFillInnerAndOuter将内外表值分别放到m_pInnerMatch和m_pOuterMatch中,进入EXEC_MJ_NEXTINNER状态 取内表的下一个值2,和外表值1比较。1 < 2,进入EXEC_MJ_NEXTOUTER状态 外表值取下一个值2,进入EXEC_MJ_TESTOUTER状态 外表值2,和标记的内表值1比较。2 > 1,接着取内表当前值2,进入EXEC_MJ_SKIP_TEST状态。 2 = 2,进入EXEC_MJ_JOINTUPLES状态,标记内表位置为2 BatchFillInnerAndOuter将内外表值分别放到m_pInnerMatch和m_pOuterMatch中,进入EXEC_MJ_NEXTINNER状态。 取内表的下一个值5,和外表值2比较。2 < 5,进入EXEC_MJ_NEXTOUTER状态 取外表的下一个值2,进入EXEC_MJ_TESTOUTER状态 外表值2,和标记的内表值2比较。2 = 2,进入EXEC_MJ_JOINTUPLES状态,调整内表当前扫描位置为标记位置,即2。 BatchFillInnerAndOuter将内外表值分别放到m_pInnerMatch和m_pOuterMatch中,进入EXEC_MJ_NEXTINNER状态。 取内表的下一个值5,和外表值2比较。2 < 5,进入EXEC_MJ_NEXTOUTER状态此时,m_pInnerMatch和m_pOuterMatch的值分别为:m_pInnerMatch m_pOuterMatch
1 1
2 2
2 2
最终调用函数ProduceResultBatchT,将两个batch投影到一个batch中,输出最终join结果。