qExecutor.h 14.9 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
/*
 * 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/>.
 */
#ifndef TDENGINE_QUERYEXECUTOR_H
#define TDENGINE_QUERYEXECUTOR_H

#include "os.h"

#include "hash.h"
H
Haojun Liao 已提交
21
#include "qAggMain.h"
H
Haojun Liao 已提交
22 23
#include "qFill.h"
#include "qResultbuf.h"
24
#include "qSqlparser.h"
H
Haojun Liao 已提交
25
#include "qTsbuf.h"
26
#include "query.h"
27
#include "taosdef.h"
H
Haojun Liao 已提交
28
#include "tarray.h"
B
Bomin Zhang 已提交
29
#include "tlockfree.h"
H
Haojun Liao 已提交
30
#include "tsdb.h"
31 32

struct SColumnFilterElem;
33
typedef bool (*__filter_func_t)(struct SColumnFilterElem* pFilter, const char* val1, const char* val2, int16_t type);
H
hjxilinx 已提交
34
typedef int32_t (*__block_search_fn_t)(char* data, int32_t num, int64_t key, int32_t order);
35

H
Haojun Liao 已提交
36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65
#define IS_QUERY_KILLED(_q) ((_q)->code == TSDB_CODE_TSC_QUERY_CANCELLED)
#define Q_STATUS_EQUAL(p, s)  (((p) & (s)) != 0u)
#define QUERY_IS_ASC_QUERY(q) (GET_FORWARD_DIRECTION_FACTOR((q)->order.order) == QUERY_ASC_FORWARD_STEP)

#define SET_STABLE_QUERY_OVER(_q) ((_q)->tableIndex = (int32_t)((_q)->tableqinfoGroupInfo.numOfTables))
#define IS_STASBLE_QUERY_OVER(_q) ((_q)->tableIndex >= (int32_t)((_q)->tableqinfoGroupInfo.numOfTables))

#define GET_TABLEGROUP(q, _index)   ((SArray*) taosArrayGetP((q)->tableqinfoGroupInfo.pGroupList, (_index)))

enum {
  // when query starts to execute, this status will set
      QUERY_NOT_COMPLETED = 0x1u,

  /* result output buffer is full, current query is paused.
   * this status is only exist in group-by clause and diff/add/division/multiply/ query.
   */
      QUERY_RESBUF_FULL = 0x2u,

  /* query is over
   * 1. this status is used in one row result query process, e.g., count/sum/first/last/ avg...etc.
   * 2. when all data within queried time window, it is also denoted as query_completed
   */
      QUERY_COMPLETED = 0x4u,

  /* when the result is not completed return to client, this status will be
   * usually used in case of interval query with interpolation option
   */
      QUERY_OVER = 0x8u,
};

H
Haojun Liao 已提交
66
typedef struct SResultRowPool {
67 68 69 70 71 72 73 74 75 76
  int32_t elemSize;
  int32_t blockSize;
  int32_t numOfElemPerBlock;

  struct {
    int32_t blockIndex;
    int32_t pos;
  } position;

  SArray* pData;    // SArray<void*>
H
Haojun Liao 已提交
77
} SResultRowPool;
78

79
typedef struct SSqlGroupbyExpr {
H
Haojun Liao 已提交
80 81 82 83 84
  int16_t tableIndex;
  SArray* columnInfo;  // SArray<SColIndex>, group by columns information
  int16_t numOfGroupCols;
  int16_t orderIndex;  // order by column index
  int16_t orderType;   // order by type: asc/desc
85 86
} SSqlGroupbyExpr;

H
Haojun Liao 已提交
87
typedef struct SResultRow {
88
  int32_t       pageId;      // pageId & rowId is the position of current result in disk-based output buffer
H
Haojun Liao 已提交
89
  int32_t       offset:29;    // row index in buffer page
90 91 92 93
  bool          startInterp; // the time window start timestamp has done the interpolation already.
  bool          endInterp;   // the time window end timestamp has done the interpolation already.
  bool          closed;      // this result status: closed or opened
  uint32_t      numOfRows;   // number of rows of current time window
H
Haojun Liao 已提交
94
  SResultRowCellInfo*  pCellInfo;  // For each result column, there is a resultInfo
95
  union {STimeWindow win; char* key;};  // start key of current time window
H
Haojun Liao 已提交
96
} SResultRow;
97

98
typedef struct SGroupResInfo {
H
Haojun Liao 已提交
99 100
  int32_t totalGroup;
  int32_t currentGroup;
101 102 103 104
  int32_t index;
  SArray* pRows;      // SArray<SResultRow*>
} SGroupResInfo;

H
Haojun Liao 已提交
105 106 107 108
/**
 * If the number of generated results is greater than this value,
 * query query will be halt and return results to client immediate.
 */
109
typedef struct SResultRec {
H
Haojun Liao 已提交
110 111 112 113
  int64_t total;      // total generated result size in rows
  int64_t rows;       // current result set size in rows
  int64_t capacity;   // capacity of current result output buffer
  int32_t threshold;  // result size threshold in rows.
114 115
} SResultRec;

H
Haojun Liao 已提交
116
typedef struct SResultRowInfo {
H
Haojun Liao 已提交
117 118 119 120 121 122
  SResultRow** pResult;    // result list
  int16_t      type:8;     // data type for hash key
  int32_t      size:24;    // number of result set
  int32_t      capacity;   // max capacity
  int32_t      curIndex;   // current start active index
  int64_t      prevSKey;   // previous (not completed) sliding window start key
H
Haojun Liao 已提交
123
} SResultRowInfo;
124 125 126 127 128 129 130 131

typedef struct SColumnFilterElem {
  int16_t           bytes;  // column length
  __filter_func_t   fp;
  SColumnFilterInfo filterInfo;
} SColumnFilterElem;

typedef struct SSingleColumnFilterInfo {
H
Haojun Liao 已提交
132
  void*              pData;
133
  int32_t            numOfFilters;
H
Haojun Liao 已提交
134
  SColumnInfo        info;
135 136 137
  SColumnFilterElem* pFilters;
} SSingleColumnFilterInfo;

H
Haojun Liao 已提交
138
typedef struct STableQueryInfo {
H
hjxilinx 已提交
139
  TSKEY       lastKey;
H
Haojun Liao 已提交
140
  int32_t     groupIndex;     // group id in table list
141
  int16_t     queryRangeSet;  // denote if the query range is set, only available for interval query
142
  tVariant    tag;
H
hjxilinx 已提交
143
  STimeWindow win;
144
  STSCursor   cur;
H
Haojun Liao 已提交
145
  void*       pTable;         // for retrieve the page id list
H
Haojun Liao 已提交
146
  SResultRowInfo resInfo;
147 148
} STableQueryInfo;

H
Haojun Liao 已提交
149 150 151 152 153 154 155 156 157
typedef struct SQueryCostInfo {
  uint64_t loadStatisTime;
  uint64_t loadFileBlockTime;
  uint64_t loadDataInCacheTime;
  uint64_t loadStatisSize;
  uint64_t loadFileBlockSize;
  uint64_t loadDataInCacheSize;
  
  uint64_t loadDataTime;
158 159 160 161
  uint64_t totalRows;
  uint64_t totalCheckedRows;
  uint32_t totalBlocks;
  uint32_t loadBlocks;
H
Haojun Liao 已提交
162 163
  uint32_t loadBlockStatis;
  uint32_t discardBlocks;
164
  uint64_t elapsedTime;
H
Haojun Liao 已提交
165
  uint64_t firstStageMergeTime;
H
Haojun Liao 已提交
166 167
  uint64_t winInfoSize;
  uint64_t tableInfoSize;
H
Haojun Liao 已提交
168
  uint64_t hashSize;
169
  uint64_t numOfTimeWindows;
H
Haojun Liao 已提交
170
} SQueryCostInfo;
H
hjxilinx 已提交
171

H
Haojun Liao 已提交
172 173 174 175 176
typedef struct {
  int64_t vgroupLimit;
  int64_t ts;
} SOrderedPrjQueryInfo;

177 178 179 180 181
typedef struct {
  char*   tags;
  SArray* pResult;  // SArray<SStddevInterResult>
} SInterResult;

H
Haojun Liao 已提交
182 183 184 185 186 187
typedef struct SSDataBlock {
  SDataStatis *pBlockStatis;
  SArray      *pDataBlock;
  SDataBlockInfo info;
} SSDataBlock;

H
Haojun Liao 已提交
188

189
typedef struct SQuery {
H
Haojun Liao 已提交
190 191
  SLimitVal        limit;

H
Haojun Liao 已提交
192 193 194 195 196 197 198 199 200
  bool             stableQuery;      // super table query or not
  bool             topBotQuery;      // TODO used bitwise flag
  bool             groupbyColumn;    // denote if this is a groupby normal column query
  bool             hasTagResults;    // if there are tag values in final result or not
  bool             timeWindowInterpo;// if the time window start/end required interpolation
  bool             queryWindowIdentical; // all query time windows are identical for all tables in one group
  bool             queryBlockDist;    // if query data block distribution
  bool             stabledev;        // super table stddev query
  int32_t          interBufSize;     // intermediate buffer sizse
H
Haojun Liao 已提交
201 202 203

  SOrderVal        order;

H
Haojun Liao 已提交
204 205
  int16_t          numOfCols;
  int16_t          numOfTags;
H
Haojun Liao 已提交
206

H
Haojun Liao 已提交
207
  STimeWindow      window;
208
  SInterval        interval;
209
  int16_t          precision;
H
Haojun Liao 已提交
210 211
  int16_t          numOfOutput;
  int16_t          fillType;
212 213 214 215 216 217
  int16_t          checkResultBuf;   // check if the buffer is full during scan each block

  int32_t          srcRowSize;       // todo extract struct
  int32_t          resultRowSize;
  int32_t          maxSrcColumnSize;
  int32_t          tagLen;           // tag value length of current query
H
Haojun Liao 已提交
218
  SSqlGroupbyExpr* pGroupbyExpr;
H
Haojun Liao 已提交
219
  SExprInfo*       pExpr1;
H
Haojun Liao 已提交
220 221
  SExprInfo*       pExpr2;
  int32_t          numOfExpr2;
H
Haojun Liao 已提交
222 223 224 225
  SColumnInfo*     colList;
  SColumnInfo*     tagColList;
  int32_t          numOfFilterCols;
  int64_t*         fillVal;
H
Haojun Liao 已提交
226 227 228
  SOrderedPrjQueryInfo prjInfo;        // limit value for each vgroup, only available in global order projection query.
  SSingleColumnFilterInfo* pFilterInfo;

229
  uint32_t         status;             // query status
H
Haojun Liao 已提交
230 231 232 233
  SResultRec       rec;
  int32_t          pos;
  tFilePage**      sdata;
  STableQueryInfo* current;
234
  int32_t          numOfCheckedBlocks; // number of check data blocks
H
Haojun Liao 已提交
235

H
Haojun Liao 已提交
236 237
  void*            tsdb;
  SMemRef          memRef;
H
Haojun Liao 已提交
238
  STableGroupInfo  tableGroupInfo;       // table <tid, last_key> list  SArray<STableKeyInfo>
H
Haojun Liao 已提交
239
  int32_t          vgId;
240 241
} SQuery;

H
Haojun Liao 已提交
242
typedef SSDataBlock* (*__operator_fn_t)(void* param);
H
Haojun Liao 已提交
243
typedef void (*__optr_cleanup_fn_t)(void* param, int32_t num);
H
Haojun Liao 已提交
244

H
Haojun Liao 已提交
245
struct SOperatorInfo;
H
Haojun Liao 已提交
246

247
typedef struct SQueryRuntimeEnv {
H
Haojun Liao 已提交
248
  jmp_buf              env;
H
Haojun Liao 已提交
249
  SQuery*              pQuery;
H
Haojun Liao 已提交
250
  void*                qinfo;
H
Haojun Liao 已提交
251
  uint16_t             scanFlag;         // denotes reversed scan of data or not
H
Haojun Liao 已提交
252 253
  SFillInfo*           pFillInfo;
  void*                pQueryHandle;
H
Haojun Liao 已提交
254

H
Haojun Liao 已提交
255
  int32_t              prevGroupId;      // previous executed group id
H
Haojun Liao 已提交
256
  SDiskbasedResultBuf* pResultBuf;       // query result buffer based on blocked-wised disk file
H
Haojun Liao 已提交
257
  SHashObj*            pResultRowHashTable; // quick locate the window object for each result
H
Haojun Liao 已提交
258
  char*                keyBuf;           // window key buffer
259
  SResultRowPool*      pool;             // window result object pool
260
  char**               prevRow;
261

262 263 264 265 266
  SArray*              prevResult;       // intermediate result, SArray<SInterResult>
  STSBuf*              pTsBuf;           // timestamp filter list
  STSCursor            cur;

  char*                tagVal;           // tag value of current data block
267
  SArithmeticSupport  *sasArray;
H
Haojun Liao 已提交
268

H
Haojun Liao 已提交
269
  struct SOperatorInfo*   pi;
H
Haojun Liao 已提交
270
  SSDataBlock     *outputBuf;
H
Haojun Liao 已提交
271 272

  int32_t          groupIndex;
H
Haojun Liao 已提交
273
  int32_t          tableIndex;
H
Haojun Liao 已提交
274
  STableGroupInfo  tableqinfoGroupInfo;  // this is a group array list, including SArray<STableQueryInfo*> structure
H
Haojun Liao 已提交
275
  struct SOperatorInfo   *proot;
H
Haojun Liao 已提交
276
  SGroupResInfo    groupResInfo;
H
Haojun Liao 已提交
277
  int64_t          currentOffset;        // dynamic offset value
278 279
} SQueryRuntimeEnv;

H
Haojun Liao 已提交
280 281 282 283 284 285
enum {
  OP_IN_EXECUTING   = 1,
  OP_RES_TO_RETURN  = 2,
  OP_EXEC_DONE      = 3,
};

H
Haojun Liao 已提交
286
typedef struct SOperatorInfo {
H
Haojun Liao 已提交
287 288 289 290 291 292 293 294 295
  uint8_t           operatorType;
  bool              blockingOptr;  // block operator or not
  uint8_t           completed;     // denote if current operator is completed
  uint32_t          seed;          // operator seed
  int32_t           numOfOutput;   // number of columns of the current operator results
  char             *name;          // name, used to show the query execution plan
  void             *info;          // extension attribution
  SExprInfo        *pExpr;
  SQueryRuntimeEnv *pRuntimeEnv;
H
Haojun Liao 已提交
296

H
Haojun Liao 已提交
297
  struct SOperatorInfo *upstream;
H
Haojun Liao 已提交
298
  __operator_fn_t       exec;
H
Haojun Liao 已提交
299
  __optr_cleanup_fn_t   cleanup;
H
Haojun Liao 已提交
300 301
} SOperatorInfo;

302 303 304 305 306
enum {
  QUERY_RESULT_NOT_READY = 1,
  QUERY_RESULT_READY     = 2,
};

307
typedef struct SQInfo {
H
Haojun Liao 已提交
308
  void*            signature;
H
Haojun Liao 已提交
309
  int32_t          code;   // error code to returned to client
310
  int64_t          owner;  // if it is in execution
H
Haojun Liao 已提交
311

312
  SQueryRuntimeEnv runtimeEnv;
H
Haojun Liao 已提交
313 314
  SQuery           query;

315
  SHashObj*        arrTableIdInfo;
H
Haojun Liao 已提交
316

317 318 319 320
  /*
   * the query is executed position on which meter of the whole list.
   * when the index reaches the last one of the list, it means the query is completed.
   */
321
  void*            pBuf;        // allocated buffer for STableQueryInfo, sizeof(STableQueryInfo)*numOfTables;
H
Haojun Liao 已提交
322

323
  pthread_mutex_t  lock;        // used to synchronize the rsp/query threads
H
Haojun Liao 已提交
324
  tsem_t           ready;
325 326
  int32_t          dataReady;   // denote if query result is ready or not
  void*            rspContext;  // response context
327
  int64_t          startExecTs; // start to exec timestamp
328
  char*            sql;         // query sql string
H
Haojun Liao 已提交
329
  SQueryCostInfo   summary;
330 331
} SQInfo;

H
Haojun Liao 已提交
332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347
typedef struct SQueryParam {
  char            *sql;
  char            *tagCond;
  char            *tbnameCond;
  char            *prevResult;
  SArray          *pTableIdList;
  SSqlFuncMsg    **pExprMsg;
  SSqlFuncMsg    **pSecExprMsg;
  SExprInfo       *pExprs;
  SExprInfo       *pSecExprs;

  SColIndex       *pGroupColIndex;
  SColumnInfo     *pTagColumnInfo;
  SSqlGroupbyExpr *pGroupbyExpr;
} SQueryParam;

H
Haojun Liao 已提交
348
typedef struct STableScanInfo {
H
Haojun Liao 已提交
349
  SQueryRuntimeEnv *pRuntimeEnv;
H
Haojun Liao 已提交
350

H
Haojun Liao 已提交
351 352 353 354 355 356
  void        *pQueryHandle;
  int32_t      numOfBlocks;
  int32_t      numOfSkipped;
  int32_t      numOfBlockStatis;
  int64_t      numOfRows;

H
Haojun Liao 已提交
357 358
  int32_t      order;  // scan order
  int32_t      times;  // repeat counts
H
Haojun Liao 已提交
359 360 361
  int32_t      current;

  int32_t      reverseTimes; // 0 by default
H
Haojun Liao 已提交
362

H
Haojun Liao 已提交
363
  SSDataBlock  block;
H
Haojun Liao 已提交
364

H
Haojun Liao 已提交
365 366
  SQLFunctionCtx *pCtx;  // next operator query context
  SResultRowInfo *pResultRowInfo;
H
Haojun Liao 已提交
367 368
  int32_t        *rowCellInfoOffset;
  SExprInfo      *pExpr;
H
Haojun Liao 已提交
369

H
Haojun Liao 已提交
370
  int32_t         numOfOutput;
H
Haojun Liao 已提交
371

H
Haojun Liao 已提交
372
  int64_t         elapsedTime;
H
Haojun Liao 已提交
373 374
} STableScanInfo;

375 376 377 378 379
typedef struct STagScanInfo {
  SColumnInfo* pCols;
  SSDataBlock* pRes;
} STagScanInfo;

H
Haojun Liao 已提交
380
typedef struct SOptrBasicInfo {
H
Haojun Liao 已提交
381
  SResultRowInfo    resultRowInfo;
H
Haojun Liao 已提交
382
  int32_t          *rowCellInfoOffset;  // offset value for each row result cell info
H
Haojun Liao 已提交
383
  SQLFunctionCtx   *pCtx;
H
Haojun Liao 已提交
384
  SSDataBlock      *pRes;
H
Haojun Liao 已提交
385 386 387 388
} SOptrBasicInfo;

typedef struct SOptrBasicInfo SAggOperatorInfo;
typedef struct SOptrBasicInfo SHashIntervalOperatorInfo;
H
Haojun Liao 已提交
389

H
Haojun Liao 已提交
390
typedef struct SArithOperatorInfo {
H
Haojun Liao 已提交
391 392
  SOptrBasicInfo binfo;
  int32_t        bufCapacity;
H
Haojun Liao 已提交
393 394
} SArithOperatorInfo;

H
Haojun Liao 已提交
395 396 397 398 399 400 401 402 403
typedef struct SLimitOperatorInfo {
  int64_t limit;
  int64_t total;
} SLimitOperatorInfo;

typedef struct SOffsetOperatorInfo {
  int64_t offset;
} SOffsetOperatorInfo;

H
Haojun Liao 已提交
404
typedef struct SFillOperatorInfo {
H
Haojun Liao 已提交
405 406
  SSDataBlock *pRes;
  int64_t      totalInputRows;
H
Haojun Liao 已提交
407 408
} SFillOperatorInfo;

H
Haojun Liao 已提交
409
typedef struct SHashGroupbyOperatorInfo {
H
Haojun Liao 已提交
410
  SOptrBasicInfo    binfo;
H
Haojun Liao 已提交
411
  int32_t           colIndex;
H
Haojun Liao 已提交
412
} SHashGroupbyOperatorInfo;
H
Haojun Liao 已提交
413

H
Haojun Liao 已提交
414 415 416 417
void freeParam(SQueryParam *param);
int32_t convertQueryMsg(SQueryTableMsg *pQueryMsg, SQueryParam* param);
int32_t createQueryFuncExprFromMsg(SQueryTableMsg *pQueryMsg, int32_t numOfOutput, SExprInfo **pExprInfo, SSqlFuncMsg **pExprMsg,
                                   SColumnInfo* pTagCols);
H
Haojun Liao 已提交
418 419 420
int32_t createIndirectQueryFuncExprFromMsg(SQueryTableMsg *pQueryMsg, int32_t numOfOutput, SExprInfo **pExprInfo,
                                           SSqlFuncMsg **pExprMsg, SExprInfo *prevExpr);

H
Haojun Liao 已提交
421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447
SSqlGroupbyExpr *createGroupbyExprFromMsg(SQueryTableMsg *pQueryMsg, SColIndex *pColIndex, int32_t *code);
SQInfo *createQInfoImpl(SQueryTableMsg *pQueryMsg, SSqlGroupbyExpr *pGroupbyExpr, SExprInfo *pExprs,
                        SExprInfo *pSecExprs, STableGroupInfo *pTableGroupInfo, SColumnInfo* pTagCols, bool stableQuery, char* sql);
int32_t initQInfo(SQueryTableMsg *pQueryMsg, void *tsdb, int32_t vgId, SQInfo *pQInfo, SQueryParam* param, bool isSTable);
void freeColumnFilterInfo(SColumnFilterInfo* pFilter, int32_t numOfFilters);

bool isQueryKilled(SQInfo *pQInfo);
int32_t checkForQueryBuf(size_t numOfTables);
bool doBuildResCheck(SQInfo* pQInfo);
void setQueryStatus(SQuery *pQuery, int8_t status);

bool onlyQueryTags(SQuery* pQuery);
void buildTagQueryResult(SQInfo *pQInfo);
void stableQueryImpl(SQInfo *pQInfo);
void buildTableBlockDistResult(SQInfo *pQInfo);
void tableQueryImpl(SQInfo *pQInfo);
bool isValidQInfo(void *param);

int32_t doDumpQueryResult(SQInfo *pQInfo, char *data);

size_t getResultSize(SQInfo *pQInfo, int64_t *numOfRows);
void setQueryKilled(SQInfo *pQInfo);
void queryCostStatis(SQInfo *pQInfo);
void freeQInfo(SQInfo *pQInfo);

int32_t getMaximumIdleDurationSec();

448
#endif  // TDENGINE_QUERYEXECUTOR_H