398 lines
15 KiB
C
398 lines
15 KiB
C
/*
|
|
* Copyright (c) 2019 TAOS Data, Inc. <jhtao@taosdata.com>
|
|
*
|
|
* This program is free software: you can use, redistribute, and/or modify
|
|
* it under the terms of the GNU Affero General Public License, version 3
|
|
* or later ("AGPL"), as published by the Free Software Foundation.
|
|
*
|
|
* This program is distributed in the hope that it will be useful, but WITHOUT
|
|
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
* FITNESS FOR A PARTICULAR PURPOSE.
|
|
*
|
|
* You should have received a copy of the GNU Affero General Public License
|
|
* along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
*/
|
|
|
|
#include "executorimpl.h"
|
|
#include "function.h"
|
|
#include "os.h"
|
|
#include "querynodes.h"
|
|
#include "tcompare.h"
|
|
#include "tdatablock.h"
|
|
#include "thash.h"
|
|
#include "tmsg.h"
|
|
#include "ttypes.h"
|
|
|
|
static void setJoinColumnInfo(SColumnInfo* pColumn, const SColumnNode* pColumnNode);
|
|
static SSDataBlock* doMergeJoin(struct SOperatorInfo* pOperator);
|
|
static void destroyMergeJoinOperator(void* param);
|
|
static void extractTimeCondition(SJoinOperatorInfo* pInfo, SOperatorInfo** pDownstream, int32_t numOfDownstream,
|
|
SSortMergeJoinPhysiNode* pJoinNode);
|
|
|
|
static void extractTimeCondition(SJoinOperatorInfo* pInfo, SOperatorInfo** pDownstream, int32_t numOfDownstream,
|
|
SSortMergeJoinPhysiNode* pJoinNode) {
|
|
SNode* pMergeCondition = pJoinNode->pMergeCondition;
|
|
if (nodeType(pMergeCondition) == QUERY_NODE_OPERATOR) {
|
|
SOperatorNode* pNode = (SOperatorNode*)pMergeCondition;
|
|
SColumnNode* col1 = (SColumnNode*)pNode->pLeft;
|
|
SColumnNode* col2 = (SColumnNode*)pNode->pRight;
|
|
SColumnNode* leftTsCol = NULL;
|
|
SColumnNode* rightTsCol = NULL;
|
|
if (col1->dataBlockId == pDownstream[0]->resultDataBlockId) {
|
|
ASSERT(col2->dataBlockId == pDownstream[1]->resultDataBlockId);
|
|
leftTsCol = col1;
|
|
rightTsCol = col2;
|
|
} else {
|
|
ASSERT(col1->dataBlockId == pDownstream[1]->resultDataBlockId);
|
|
ASSERT(col2->dataBlockId == pDownstream[0]->resultDataBlockId);
|
|
leftTsCol = col2;
|
|
rightTsCol = col1;
|
|
}
|
|
setJoinColumnInfo(&pInfo->leftCol, leftTsCol);
|
|
setJoinColumnInfo(&pInfo->rightCol, rightTsCol);
|
|
} else {
|
|
ASSERT(false);
|
|
}
|
|
}
|
|
|
|
SOperatorInfo* createMergeJoinOperatorInfo(SOperatorInfo** pDownstream, int32_t numOfDownstream,
|
|
SSortMergeJoinPhysiNode* pJoinNode, SExecTaskInfo* pTaskInfo) {
|
|
SJoinOperatorInfo* pInfo = taosMemoryCalloc(1, sizeof(SJoinOperatorInfo));
|
|
SOperatorInfo* pOperator = taosMemoryCalloc(1, sizeof(SOperatorInfo));
|
|
if (pOperator == NULL || pInfo == NULL) {
|
|
goto _error;
|
|
}
|
|
|
|
SSDataBlock* pResBlock = createResDataBlock(pJoinNode->node.pOutputDataBlockDesc);
|
|
|
|
int32_t numOfCols = 0;
|
|
SExprInfo* pExprInfo = createExprInfo(pJoinNode->pTargets, NULL, &numOfCols);
|
|
|
|
initResultSizeInfo(&pOperator->resultInfo, 4096);
|
|
|
|
pInfo->pRes = pResBlock;
|
|
pOperator->name = "MergeJoinOperator";
|
|
pOperator->operatorType = QUERY_NODE_PHYSICAL_PLAN_MERGE_JOIN;
|
|
pOperator->blocking = false;
|
|
pOperator->status = OP_NOT_OPENED;
|
|
pOperator->exprSupp.pExprInfo = pExprInfo;
|
|
pOperator->exprSupp.numOfExprs = numOfCols;
|
|
pOperator->info = pInfo;
|
|
pOperator->pTaskInfo = pTaskInfo;
|
|
|
|
extractTimeCondition(pInfo, pDownstream, numOfDownstream, pJoinNode);
|
|
|
|
if (pJoinNode->pOnConditions != NULL && pJoinNode->node.pConditions != NULL) {
|
|
pInfo->pCondAfterMerge = nodesMakeNode(QUERY_NODE_LOGIC_CONDITION);
|
|
SLogicConditionNode* pLogicCond = (SLogicConditionNode*)(pInfo->pCondAfterMerge);
|
|
pLogicCond->pParameterList = nodesMakeList();
|
|
nodesListMakeAppend(&pLogicCond->pParameterList, nodesCloneNode(pJoinNode->pOnConditions));
|
|
nodesListMakeAppend(&pLogicCond->pParameterList, nodesCloneNode(pJoinNode->node.pConditions));
|
|
pLogicCond->condType = LOGIC_COND_TYPE_AND;
|
|
} else if (pJoinNode->pOnConditions != NULL) {
|
|
pInfo->pCondAfterMerge = nodesCloneNode(pJoinNode->pOnConditions);
|
|
} else if (pJoinNode->node.pConditions != NULL) {
|
|
pInfo->pCondAfterMerge = nodesCloneNode(pJoinNode->node.pConditions);
|
|
} else {
|
|
pInfo->pCondAfterMerge = NULL;
|
|
}
|
|
|
|
pInfo->inputOrder = TSDB_ORDER_ASC;
|
|
if (pJoinNode->inputTsOrder == ORDER_ASC) {
|
|
pInfo->inputOrder = TSDB_ORDER_ASC;
|
|
} else if (pJoinNode->inputTsOrder == ORDER_DESC) {
|
|
pInfo->inputOrder = TSDB_ORDER_DESC;
|
|
}
|
|
|
|
pOperator->fpSet =
|
|
createOperatorFpSet(operatorDummyOpenFn, doMergeJoin, NULL, NULL, destroyMergeJoinOperator, NULL, NULL, NULL);
|
|
int32_t code = appendDownstream(pOperator, pDownstream, numOfDownstream);
|
|
if (code != TSDB_CODE_SUCCESS) {
|
|
goto _error;
|
|
}
|
|
|
|
return pOperator;
|
|
|
|
_error:
|
|
taosMemoryFree(pInfo);
|
|
taosMemoryFree(pOperator);
|
|
pTaskInfo->code = TSDB_CODE_OUT_OF_MEMORY;
|
|
return NULL;
|
|
}
|
|
|
|
void setJoinColumnInfo(SColumnInfo* pColumn, const SColumnNode* pColumnNode) {
|
|
pColumn->slotId = pColumnNode->slotId;
|
|
pColumn->type = pColumnNode->node.resType.type;
|
|
pColumn->bytes = pColumnNode->node.resType.bytes;
|
|
pColumn->precision = pColumnNode->node.resType.precision;
|
|
pColumn->scale = pColumnNode->node.resType.scale;
|
|
}
|
|
|
|
void destroyMergeJoinOperator(void* param) {
|
|
SJoinOperatorInfo* pJoinOperator = (SJoinOperatorInfo*)param;
|
|
nodesDestroyNode(pJoinOperator->pCondAfterMerge);
|
|
|
|
pJoinOperator->pRes = blockDataDestroy(pJoinOperator->pRes);
|
|
taosMemoryFreeClear(param);
|
|
}
|
|
|
|
static void mergeJoinJoinLeftRight(struct SOperatorInfo* pOperator, SSDataBlock* pRes, int32_t currRow,
|
|
SSDataBlock* pLeftBlock, int32_t leftPos, SSDataBlock* pRightBlock,
|
|
int32_t rightPos) {
|
|
SJoinOperatorInfo* pJoinInfo = pOperator->info;
|
|
|
|
for (int32_t i = 0; i < pOperator->exprSupp.numOfExprs; ++i) {
|
|
SColumnInfoData* pDst = taosArrayGet(pRes->pDataBlock, i);
|
|
|
|
SExprInfo* pExprInfo = &pOperator->exprSupp.pExprInfo[i];
|
|
|
|
int32_t blockId = pExprInfo->base.pParam[0].pCol->dataBlockId;
|
|
int32_t slotId = pExprInfo->base.pParam[0].pCol->slotId;
|
|
int32_t rowIndex = -1;
|
|
|
|
SColumnInfoData* pSrc = NULL;
|
|
if (pLeftBlock->info.blockId == blockId) {
|
|
pSrc = taosArrayGet(pLeftBlock->pDataBlock, slotId);
|
|
rowIndex = leftPos;
|
|
} else {
|
|
pSrc = taosArrayGet(pRightBlock->pDataBlock, slotId);
|
|
rowIndex = rightPos;
|
|
}
|
|
|
|
if (colDataIsNull_s(pSrc, rowIndex)) {
|
|
colDataAppendNULL(pDst, currRow);
|
|
} else {
|
|
char* p = colDataGetData(pSrc, rowIndex);
|
|
colDataAppend(pDst, currRow, p, false);
|
|
}
|
|
}
|
|
}
|
|
typedef struct SRowLocation {
|
|
SSDataBlock* pDataBlock;
|
|
int32_t pos;
|
|
} SRowLocation;
|
|
|
|
// pBlock[tsSlotId][startPos, endPos) == timestamp,
|
|
static int32_t mergeJoinGetBlockRowsEqualTs(SSDataBlock* pBlock, int16_t tsSlotId, int32_t startPos, int64_t timestamp,
|
|
int32_t* pEndPos, SArray* rowLocations, SArray* createdBlocks) {
|
|
int32_t numRows = pBlock->info.rows;
|
|
ASSERT(startPos < numRows);
|
|
SColumnInfoData* pCol = taosArrayGet(pBlock->pDataBlock, tsSlotId);
|
|
|
|
int32_t i = startPos;
|
|
for (; i < numRows; ++i) {
|
|
char* pNextVal = colDataGetData(pCol, i);
|
|
if (timestamp != *(int64_t*)pNextVal) {
|
|
break;
|
|
}
|
|
}
|
|
int32_t endPos = i;
|
|
*pEndPos = endPos;
|
|
|
|
if (endPos - startPos == 0) {
|
|
return 0;
|
|
}
|
|
|
|
SSDataBlock* block = pBlock;
|
|
bool createdNewBlock = false;
|
|
if (endPos == numRows) {
|
|
block = blockDataExtractBlock(pBlock, startPos, endPos - startPos);
|
|
taosArrayPush(createdBlocks, &block);
|
|
createdNewBlock = true;
|
|
}
|
|
SRowLocation location = {0};
|
|
for (int32_t j = startPos; j < endPos; ++j) {
|
|
location.pDataBlock = block;
|
|
location.pos = (createdNewBlock ? j - startPos : j);
|
|
taosArrayPush(rowLocations, &location);
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
// whichChild == 0, left child of join; whichChild ==1, right child of join
|
|
static int32_t mergeJoinGetDownStreamRowsEqualTimeStamp(SOperatorInfo* pOperator, int32_t whichChild, int16_t tsSlotId,
|
|
SSDataBlock* startDataBlock, int32_t startPos,
|
|
int64_t timestamp, SArray* rowLocations,
|
|
SArray* createdBlocks) {
|
|
ASSERT(whichChild == 0 || whichChild == 1);
|
|
|
|
SJoinOperatorInfo* pJoinInfo = pOperator->info;
|
|
int32_t endPos = -1;
|
|
SSDataBlock* dataBlock = startDataBlock;
|
|
mergeJoinGetBlockRowsEqualTs(dataBlock, tsSlotId, startPos, timestamp, &endPos, rowLocations, createdBlocks);
|
|
while (endPos == dataBlock->info.rows) {
|
|
SOperatorInfo* ds = pOperator->pDownstream[whichChild];
|
|
dataBlock = ds->fpSet.getNextFn(ds);
|
|
if (whichChild == 0) {
|
|
pJoinInfo->leftPos = 0;
|
|
pJoinInfo->pLeft = dataBlock;
|
|
} else if (whichChild == 1) {
|
|
pJoinInfo->rightPos = 0;
|
|
pJoinInfo->pRight = dataBlock;
|
|
}
|
|
|
|
if (dataBlock == NULL) {
|
|
setTaskStatus(pOperator->pTaskInfo, TASK_COMPLETED);
|
|
endPos = -1;
|
|
break;
|
|
}
|
|
|
|
mergeJoinGetBlockRowsEqualTs(dataBlock, tsSlotId, 0, timestamp, &endPos, rowLocations, createdBlocks);
|
|
}
|
|
if (endPos != -1) {
|
|
if (whichChild == 0) {
|
|
pJoinInfo->leftPos = endPos;
|
|
} else if (whichChild == 1) {
|
|
pJoinInfo->rightPos = endPos;
|
|
}
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
static int32_t mergeJoinJoinDownstreamTsRanges(SOperatorInfo* pOperator, int64_t timestamp, SSDataBlock* pRes,
|
|
int32_t* nRows) {
|
|
SJoinOperatorInfo* pJoinInfo = pOperator->info;
|
|
SArray* leftRowLocations = taosArrayInit(8, sizeof(SRowLocation));
|
|
SArray* leftCreatedBlocks = taosArrayInit(8, POINTER_BYTES);
|
|
|
|
SArray* rightRowLocations = taosArrayInit(8, sizeof(SRowLocation));
|
|
SArray* rightCreatedBlocks = taosArrayInit(8, POINTER_BYTES);
|
|
int32_t code = TSDB_CODE_SUCCESS;
|
|
mergeJoinGetDownStreamRowsEqualTimeStamp(pOperator, 0, pJoinInfo->leftCol.slotId, pJoinInfo->pLeft,
|
|
pJoinInfo->leftPos, timestamp, leftRowLocations, leftCreatedBlocks);
|
|
mergeJoinGetDownStreamRowsEqualTimeStamp(pOperator, 1, pJoinInfo->rightCol.slotId, pJoinInfo->pRight,
|
|
pJoinInfo->rightPos, timestamp, rightRowLocations, rightCreatedBlocks);
|
|
|
|
size_t leftNumJoin = taosArrayGetSize(leftRowLocations);
|
|
size_t rightNumJoin = taosArrayGetSize(rightRowLocations);
|
|
code = blockDataEnsureCapacity(pRes, *nRows + leftNumJoin * rightNumJoin);
|
|
if (code != TSDB_CODE_SUCCESS) {
|
|
qError("%s can not ensure block capacity for join. left: %zu, right: %zu", GET_TASKID(pOperator->pTaskInfo),
|
|
leftNumJoin, rightNumJoin);
|
|
}
|
|
if (code == TSDB_CODE_SUCCESS) {
|
|
for (int32_t i = 0; i < leftNumJoin; ++i) {
|
|
for (int32_t j = 0; j < rightNumJoin; ++j) {
|
|
SRowLocation* leftRow = taosArrayGet(leftRowLocations, i);
|
|
SRowLocation* rightRow = taosArrayGet(rightRowLocations, j);
|
|
mergeJoinJoinLeftRight(pOperator, pRes, *nRows, leftRow->pDataBlock, leftRow->pos, rightRow->pDataBlock,
|
|
rightRow->pos);
|
|
++*nRows;
|
|
}
|
|
}
|
|
}
|
|
|
|
for (int i = 0; i < taosArrayGetSize(rightCreatedBlocks); ++i) {
|
|
SSDataBlock* pBlock = taosArrayGetP(rightCreatedBlocks, i);
|
|
blockDataDestroy(pBlock);
|
|
}
|
|
taosArrayDestroy(rightCreatedBlocks);
|
|
taosArrayDestroy(rightRowLocations);
|
|
for (int i = 0; i < taosArrayGetSize(leftCreatedBlocks); ++i) {
|
|
SSDataBlock* pBlock = taosArrayGetP(leftCreatedBlocks, i);
|
|
blockDataDestroy(pBlock);
|
|
}
|
|
taosArrayDestroy(leftCreatedBlocks);
|
|
taosArrayDestroy(leftRowLocations);
|
|
return TSDB_CODE_SUCCESS;
|
|
}
|
|
|
|
static bool mergeJoinGetNextTimestamp(SOperatorInfo* pOperator, int64_t* pLeftTs, int64_t* pRightTs) {
|
|
SJoinOperatorInfo* pJoinInfo = pOperator->info;
|
|
|
|
if (pJoinInfo->pLeft == NULL || pJoinInfo->leftPos >= pJoinInfo->pLeft->info.rows) {
|
|
SOperatorInfo* ds1 = pOperator->pDownstream[0];
|
|
pJoinInfo->pLeft = ds1->fpSet.getNextFn(ds1);
|
|
|
|
pJoinInfo->leftPos = 0;
|
|
if (pJoinInfo->pLeft == NULL) {
|
|
setTaskStatus(pOperator->pTaskInfo, TASK_COMPLETED);
|
|
return false;
|
|
}
|
|
}
|
|
|
|
if (pJoinInfo->pRight == NULL || pJoinInfo->rightPos >= pJoinInfo->pRight->info.rows) {
|
|
SOperatorInfo* ds2 = pOperator->pDownstream[1];
|
|
pJoinInfo->pRight = ds2->fpSet.getNextFn(ds2);
|
|
|
|
pJoinInfo->rightPos = 0;
|
|
if (pJoinInfo->pRight == NULL) {
|
|
setTaskStatus(pOperator->pTaskInfo, TASK_COMPLETED);
|
|
return false;
|
|
}
|
|
}
|
|
// only the timestamp match support for ordinary table
|
|
SColumnInfoData* pLeftCol = taosArrayGet(pJoinInfo->pLeft->pDataBlock, pJoinInfo->leftCol.slotId);
|
|
char* pLeftVal = colDataGetData(pLeftCol, pJoinInfo->leftPos);
|
|
*pLeftTs = *(int64_t*)pLeftVal;
|
|
|
|
SColumnInfoData* pRightCol = taosArrayGet(pJoinInfo->pRight->pDataBlock, pJoinInfo->rightCol.slotId);
|
|
char* pRightVal = colDataGetData(pRightCol, pJoinInfo->rightPos);
|
|
*pRightTs = *(int64_t*)pRightVal;
|
|
|
|
ASSERT(pLeftCol->info.type == TSDB_DATA_TYPE_TIMESTAMP);
|
|
ASSERT(pRightCol->info.type == TSDB_DATA_TYPE_TIMESTAMP);
|
|
return true;
|
|
}
|
|
|
|
static void doMergeJoinImpl(struct SOperatorInfo* pOperator, SSDataBlock* pRes) {
|
|
SJoinOperatorInfo* pJoinInfo = pOperator->info;
|
|
|
|
int32_t nrows = pRes->info.rows;
|
|
|
|
bool asc = (pJoinInfo->inputOrder == TSDB_ORDER_ASC) ? true : false;
|
|
|
|
while (1) {
|
|
int64_t leftTs = 0;
|
|
int64_t rightTs = 0;
|
|
bool hasNextTs = mergeJoinGetNextTimestamp(pOperator, &leftTs, &rightTs);
|
|
if (!hasNextTs) {
|
|
break;
|
|
}
|
|
|
|
if (leftTs == rightTs) {
|
|
mergeJoinJoinDownstreamTsRanges(pOperator, leftTs, pRes, &nrows);
|
|
} else if (asc && leftTs < rightTs || !asc && leftTs > rightTs) {
|
|
pJoinInfo->leftPos += 1;
|
|
|
|
if (pJoinInfo->leftPos >= pJoinInfo->pLeft->info.rows) {
|
|
continue;
|
|
}
|
|
} else if (asc && leftTs > rightTs || !asc && leftTs < rightTs) {
|
|
pJoinInfo->rightPos += 1;
|
|
if (pJoinInfo->rightPos >= pJoinInfo->pRight->info.rows) {
|
|
continue;
|
|
}
|
|
}
|
|
|
|
// the pDataBlock are always the same one, no need to call this again
|
|
pRes->info.rows = nrows;
|
|
if (pRes->info.rows >= pOperator->resultInfo.threshold) {
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
|
|
SSDataBlock* doMergeJoin(struct SOperatorInfo* pOperator) {
|
|
SJoinOperatorInfo* pJoinInfo = pOperator->info;
|
|
|
|
SSDataBlock* pRes = pJoinInfo->pRes;
|
|
blockDataCleanup(pRes);
|
|
blockDataEnsureCapacity(pRes, 4096);
|
|
while (true) {
|
|
int32_t numOfRowsBefore = pRes->info.rows;
|
|
doMergeJoinImpl(pOperator, pRes);
|
|
int32_t numOfNewRows = pRes->info.rows - numOfRowsBefore;
|
|
if (numOfNewRows == 0) {
|
|
break;
|
|
}
|
|
if (pJoinInfo->pCondAfterMerge != NULL) {
|
|
doFilter(pJoinInfo->pCondAfterMerge, pRes, NULL, NULL);
|
|
}
|
|
if (pRes->info.rows >= pOperator->resultInfo.threshold) {
|
|
break;
|
|
}
|
|
}
|
|
return (pRes->info.rows > 0) ? pRes : NULL;
|
|
}
|