tskiplist.h 6.2 KB
Newer Older
H
hzcheng 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
/*
 * 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/>.
 */

16 17
#ifndef _TD_UTIL_SKILIST_H
#define _TD_UTIL_SKILIST_H
H
hzcheng 已提交
18

S
slguan 已提交
19
#include "os.h"
20
#include "taos.h"
H
more  
hzcheng 已提交
21
#include "tarray.h"
22
#include "tfunctional.h"
H
hzcheng 已提交
23

S
Shengliang Guan 已提交
24 25 26 27 28
#ifdef __cplusplus
extern "C" {
#endif

#define MAX_SKIP_LIST_LEVEL          15
H
more  
hzcheng 已提交
29 30
#define SKIP_LIST_RECORD_PERFORMANCE 0

H
TD-1437  
Hongze Cheng 已提交
31
// For key property setting
S
Shengliang Guan 已提交
32
#define SL_ALLOW_DUP_KEY   (uint8_t)0x0  // Allow duplicate key exists (for tag index usage)
H
Hongze Cheng 已提交
33
#define SL_DISCARD_DUP_KEY (uint8_t)0x1  // Discard duplicate key (for data update=0 case)
S
Shengliang Guan 已提交
34
#define SL_UPDATE_DUP_KEY  (uint8_t)0x2  // Update duplicate key by remove/insert (for data update!=0 case)
35

H
TD-1437  
Hongze Cheng 已提交
36 37 38
// For thread safety setting
#define SL_THREAD_SAFE (uint8_t)0x4

H
more  
hzcheng 已提交
39 40 41
typedef char *SSkipListKey;
typedef char *(*__sl_key_fn_t)(const void *);

S
Shengliang Guan 已提交
42 43
typedef void (*sl_patch_row_fn_t)(void *pDst, const void *pSrc);
typedef void *(*iter_next_fn_t)(void *iter);
44

H
more  
hzcheng 已提交
45
typedef struct SSkipListNode {
S
Shengliang Guan 已提交
46 47
  uint8_t               level;
  void                 *pData;
H
TD-1194  
Hongze Cheng 已提交
48
  struct SSkipListNode *forwards[];
H
more  
hzcheng 已提交
49
} SSkipListNode;
H
hzcheng 已提交
50

S
Shengliang Guan 已提交
51 52
#define SL_GET_NODE_DATA(n)                (n)->pData
#define SL_NODE_GET_FORWARD_POINTER(n, l)  (n)->forwards[(l)]
H
TD-1194  
Hongze Cheng 已提交
53
#define SL_NODE_GET_BACKWARD_POINTER(n, l) (n)->forwards[(n)->level + (l)]
H
hzcheng 已提交
54 55

/*
H
more  
hzcheng 已提交
56
 * @version 0.3
H
hzcheng 已提交
57
 * @date   2017/11/12
H
more  
hzcheng 已提交
58 59
 * the simple version of skip list.
 *
wafwerar's avatar
wafwerar 已提交
60
 * for multi-thread safe purpose, we employ TdThreadRwlock to guarantee to generate
H
more  
hzcheng 已提交
61 62 63
 * deterministic result. Later, we will remove the lock in SkipList to further enhance the performance.
 * In this case, one should use the concurrent skip list (by using michael-scott algorithm) instead of
 * this simple version in a multi-thread environment, to achieve higher performance of read/write operations.
H
hzcheng 已提交
64 65
 *
 * Note: Duplicated primary key situation.
S
slguan 已提交
66
 * In case of duplicated primary key, two ways can be employed to handle this situation:
H
more  
hzcheng 已提交
67 68 69
 * 1. add as normal insertion without special process.
 * 2. add an overflow pointer at each list node, all nodes with the same key will be added in the overflow pointer.
 *    In this case, the total steps of each search will be reduced significantly.
S
slguan 已提交
70 71 72 73
 *    Currently, we implement the skip list in a line with the first means, maybe refactor it soon.
 *
 *    Memory consumption: the memory alignment causes many memory wasted. So, employ a memory
 *    pool will significantly reduce the total memory consumption, as well as the calloc/malloc operation costs.
H
hzcheng 已提交
74 75 76 77 78 79 80 81 82
 *
 */

// state struct, record following information:
// number of links in each level.
// avg search steps, for latest 1000 queries
// avg search rsp time, for latest 1000 queries
// total memory size
typedef struct tSkipListState {
H
more  
hzcheng 已提交
83
  // in bytes, sizeof(SSkipList)+sizeof(SSkipListNode)*SSkipList->nSize
H
hzcheng 已提交
84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102
  uint64_t nTotalMemSize;
  uint64_t nLevelNodeCnt[MAX_SKIP_LIST_LEVEL];
  uint64_t queryCount;  // total query count

  /*
   * only record latest 1000 queries
   * when the value==1000, = 0,
   * nTotalStepsForQueries = 0,
   * nTotalElapsedTimeForQueries = 0
   */
  uint64_t nRecQueries;
  uint16_t nTotalStepsForQueries;
  uint64_t nTotalElapsedTimeForQueries;

  uint16_t nInsertObjs;
  uint16_t nTotalStepsForInsert;
  uint64_t nTotalElapsedTimeForInsert;
} tSkipListState;

S
Shengliang Guan 已提交
103
typedef enum { SSkipListPutSuccess = 0, SSkipListPutEarlyStop = 1, SSkipListPutSkipOne = 2 } SSkipListPutStatus;
104

H
more  
hzcheng 已提交
105
typedef struct SSkipList {
S
Shengliang Guan 已提交
106
  uint32_t          seed;
H
hjxilinx 已提交
107 108
  __compar_fn_t     comparFn;
  __sl_key_fn_t     keyFn;
wafwerar's avatar
wafwerar 已提交
109
  TdThreadRwlock *lock;
H
TD-1437  
Hongze Cheng 已提交
110
  uint16_t          len;
H
hjxilinx 已提交
111
  uint8_t           maxLevel;
H
TD-1437  
Hongze Cheng 已提交
112
  uint8_t           flags;
H
TD-1194  
Hongze Cheng 已提交
113
  uint8_t           type;  // static info above
H
hjxilinx 已提交
114
  uint8_t           level;
H
TD-1548  
Hongze Cheng 已提交
115
  uint32_t          size;
S
Shengliang Guan 已提交
116 117
  SSkipListNode    *pHead;  // point to the first element
  SSkipListNode    *pTail;  // point to the last element
H
more  
hzcheng 已提交
118 119 120
#if SKIP_LIST_RECORD_PERFORMANCE
  tSkipListState state;  // skiplist state
#endif
S
Shengliang Guan 已提交
121
  tGenericSavedFunc *insertHandleFn;
H
more  
hzcheng 已提交
122
} SSkipList;
H
hzcheng 已提交
123

S
slguan 已提交
124
typedef struct SSkipListIterator {
S
Shengliang Guan 已提交
125
  SSkipList     *pSkipList;
H
more  
hzcheng 已提交
126
  SSkipListNode *cur;
S
Shengliang Guan 已提交
127 128 129
  int32_t        step;   // the number of nodes that have been checked already
  int32_t        order;  // order of the iterator
  SSkipListNode *next;   // next points to the true qualified node in skiplist
S
slguan 已提交
130 131
} SSkipListIterator;

S
Shengliang Guan 已提交
132 133
#define SL_IS_THREAD_SAFE(s)  (((s)->flags) & SL_THREAD_SAFE)
#define SL_DUP_MODE(s)        (((s)->flags) & ((((uint8_t)1) << 2) - 1))
H
TD-1194  
Hongze Cheng 已提交
134
#define SL_GET_NODE_KEY(s, n) ((s)->keyFn((n)->pData))
S
Shengliang Guan 已提交
135 136 137
#define SL_GET_MIN_KEY(s)     SL_GET_NODE_KEY(s, SL_NODE_GET_FORWARD_POINTER((s)->pHead, 0))
#define SL_GET_MAX_KEY(s)     SL_GET_NODE_KEY((s), SL_NODE_GET_BACKWARD_POINTER((s)->pTail, 0))
#define SL_SIZE(s)            (s)->size
H
TD-1194  
Hongze Cheng 已提交
138

H
TD-1548  
Hongze Cheng 已提交
139 140 141
SSkipList *tSkipListCreate(uint8_t maxLevel, uint8_t keyType, uint16_t keyLen, __compar_fn_t comparFn, uint8_t flags,
                           __sl_key_fn_t fn);
void       tSkipListDestroy(SSkipList *pSkipList);
S
Shengliang Guan 已提交
142
SSkipListNode     *tSkipListPut(SSkipList *pSkipList, void *pData);
143
void               tSkipListPutBatchByIter(SSkipList *pSkipList, void *iter, iter_next_fn_t iterate);
S
Shengliang Guan 已提交
144
SArray            *tSkipListGet(SSkipList *pSkipList, SSkipListKey pKey);
H
TD-1548  
Hongze Cheng 已提交
145
void               tSkipListPrint(SSkipList *pSkipList, int16_t nlevel);
H
hjxilinx 已提交
146
SSkipListIterator *tSkipListCreateIter(SSkipList *pSkipList);
H
TD-1194  
Hongze Cheng 已提交
147 148
SSkipListIterator *tSkipListCreateIterFromVal(SSkipList *pSkipList, const char *val, int32_t type, int32_t order);
bool               tSkipListIterNext(SSkipListIterator *iter);
S
Shengliang Guan 已提交
149 150
SSkipListNode     *tSkipListIterGet(SSkipListIterator *iter);
void              *tSkipListDestroyIter(SSkipListIterator *iter);
H
TD-1194  
Hongze Cheng 已提交
151 152
uint32_t           tSkipListRemove(SSkipList *pSkipList, SSkipListKey key);
void               tSkipListRemoveNode(SSkipList *pSkipList, SSkipListNode *pNode);
H
hzcheng 已提交
153 154 155 156 157

#ifdef __cplusplus
}
#endif

S
Shengliang Guan 已提交
158
#endif /*_TD_UTIL_SKILIST_H*/