tdbBtree.c 35.2 KB
Newer Older
H
Hongze Cheng 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13
/*
 * 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/>.
H
refact  
Hongze Cheng 已提交
14 15
 */

H
Hongze Cheng 已提交
16 17
#include "tdbInt.h"

H
Hongze Cheng 已提交
18 19 20
#define TDB_BTREE_ROOT 0x1
#define TDB_BTREE_LEAF 0x2

H
Hongze Cheng 已提交
21
struct SBTree {
H
more  
Hongze Cheng 已提交
22 23 24
  SPgno          root;
  int            keyLen;
  int            valLen;
H
Hongze Cheng 已提交
25
  SPager        *pPager;
H
more  
Hongze Cheng 已提交
26
  FKeyComparator kcmpr;
H
Hongze Cheng 已提交
27
  int            pageSize;
H
more  
Hongze Cheng 已提交
28 29 30 31
  int            maxLocal;
  int            minLocal;
  int            maxLeaf;
  int            minLeaf;
H
Hongze Cheng 已提交
32
  void          *pBuf;
H
Hongze Cheng 已提交
33 34
};

H
Hongze Cheng 已提交
35 36
#define TDB_BTREE_PAGE_COMMON_HDR u8 flags;

H
Hongze Cheng 已提交
37
#define TDB_BTREE_PAGE_GET_FLAGS(PAGE)        (PAGE)->pData[0]
H
Hongze Cheng 已提交
38
#define TDB_BTREE_PAGE_SET_FLAGS(PAGE, flags) ((PAGE)->pData[0] = (flags))
H
Hongze Cheng 已提交
39 40
#define TDB_BTREE_PAGE_IS_ROOT(PAGE)          (TDB_BTREE_PAGE_GET_FLAGS(PAGE) & TDB_BTREE_ROOT)
#define TDB_BTREE_PAGE_IS_LEAF(PAGE)          (TDB_BTREE_PAGE_GET_FLAGS(PAGE) & TDB_BTREE_LEAF)
H
refact  
Hongze Cheng 已提交
41 42 43
#define TDB_BTREE_ASSERT_FLAG(flags)                                                 \
  ASSERT(TDB_FLAG_IS(flags, TDB_BTREE_ROOT) || TDB_FLAG_IS(flags, TDB_BTREE_LEAF) || \
         TDB_FLAG_IS(flags, TDB_BTREE_ROOT | TDB_BTREE_LEAF) || TDB_FLAG_IS(flags, 0))
H
Hongze Cheng 已提交
44

wafwerar's avatar
wafwerar 已提交
45 46 47

#pragma pack(push,1)
typedef struct {
H
Hongze Cheng 已提交
48 49 50
  TDB_BTREE_PAGE_COMMON_HDR
} SLeafHdr;

wafwerar's avatar
wafwerar 已提交
51 52
typedef struct {
  TDB_BTREE_PAGE_COMMON_HDR
H
Hongze Cheng 已提交
53 54
  SPgno pgno;  // right-most child
} SIntHdr;
wafwerar's avatar
wafwerar 已提交
55
#pragma pack(pop)
H
more  
Hongze Cheng 已提交
56

H
Hongze Cheng 已提交
57
typedef struct {
H
Hongze Cheng 已提交
58
  u8      flags;
H
Hongze Cheng 已提交
59
  SBTree *pBt;
H
Hongze Cheng 已提交
60
} SBtreeInitPageArg;
H
Hongze Cheng 已提交
61

H
Hongze Cheng 已提交
62
typedef struct {
H
Hongze Cheng 已提交
63 64 65 66 67 68
  int       kLen;
  const u8 *pKey;
  int       vLen;
  const u8 *pVal;
  SPgno     pgno;
  u8       *pBuf;
H
Hongze Cheng 已提交
69 70
} SCellDecoder;

H
refact  
Hongze Cheng 已提交
71
static int tdbBtcMoveTo(SBTC *pBtc, const void *pKey, int kLen, int *pCRst);
H
Hongze Cheng 已提交
72
static int tdbDefaultKeyCmprFn(const void *pKey1, int keyLen1, const void *pKey2, int keyLen2);
H
Hongze Cheng 已提交
73
static int tdbBtreeOpenImpl(SBTree *pBt);
H
Hongze Cheng 已提交
74 75
static int tdbBtreeZeroPage(SPage *pPage, void *arg);
static int tdbBtreeInitPage(SPage *pPage, void *arg);
H
Hongze Cheng 已提交
76 77
static int tdbBtreeEncodeCell(SPage *pPage, const void *pKey, int kLen, const void *pVal, int vLen, SCell *pCell,
                              int *szCell);
H
Hongze Cheng 已提交
78
static int tdbBtreeDecodeCell(SPage *pPage, const SCell *pCell, SCellDecoder *pDecoder);
H
Hongze Cheng 已提交
79
static int tdbBtreeBalance(SBTC *pBtc);
H
Hongze Cheng 已提交
80
static int tdbBtreeCellSize(const SPage *pPage, SCell *pCell);
H
Hongze Cheng 已提交
81
static int tdbBtcMoveToNext(SBTC *pBtc);
H
Hongze Cheng 已提交
82
static int tdbBtcMoveDownward(SBTC *pBtc);
H
Hongze Cheng 已提交
83
static int tdbBtcMoveUpward(SBTC *pBtc);
H
Hongze Cheng 已提交
84

H
Hongze Cheng 已提交
85
int tdbBtreeOpen(int keyLen, int valLen, SPager *pPager, FKeyComparator kcmpr, SBTree **ppBt) {
H
Hongze Cheng 已提交
86
  SBTree *pBt;
H
Hongze Cheng 已提交
87
  int     ret;
H
more  
Hongze Cheng 已提交
88

H
Hongze Cheng 已提交
89 90
  ASSERT(keyLen != 0);

H
Hongze Cheng 已提交
91
  *ppBt = NULL;
H
Hongze Cheng 已提交
92

H
Hongze Cheng 已提交
93
  pBt = (SBTree *)tdbOsCalloc(1, sizeof(*pBt));
H
Hongze Cheng 已提交
94 95 96 97 98
  if (pBt == NULL) {
    return -1;
  }

  // pBt->keyLen
H
Hongze Cheng 已提交
99
  pBt->keyLen = keyLen < 0 ? TDB_VARIANT_LEN : keyLen;
H
Hongze Cheng 已提交
100
  // pBt->valLen
H
Hongze Cheng 已提交
101
  pBt->valLen = valLen < 0 ? TDB_VARIANT_LEN : valLen;
H
refact  
Hongze Cheng 已提交
102 103
  // pBt->pPager
  pBt->pPager = pPager;
H
Hongze Cheng 已提交
104 105
  // pBt->kcmpr
  pBt->kcmpr = kcmpr ? kcmpr : tdbDefaultKeyCmprFn;
H
Hongze Cheng 已提交
106
  // pBt->pageSize
H
Hongze Cheng 已提交
107
  pBt->pageSize = pPager->pageSize;
H
Hongze Cheng 已提交
108
  // pBt->maxLocal
H
Hongze Cheng 已提交
109
  pBt->maxLocal = tdbPageCapacity(pBt->pageSize, sizeof(SIntHdr)) / 4;
H
Hongze Cheng 已提交
110
  // pBt->minLocal: Should not be allowed smaller than 15, which is [nPayload][nKey][nData]
H
Hongze Cheng 已提交
111
  pBt->minLocal = pBt->maxLocal / 2;
H
Hongze Cheng 已提交
112
  // pBt->maxLeaf
H
Hongze Cheng 已提交
113
  pBt->maxLeaf = tdbPageCapacity(pBt->pageSize, sizeof(SLeafHdr));
H
Hongze Cheng 已提交
114 115
  // pBt->minLeaf
  pBt->minLeaf = pBt->minLocal;
H
Hongze Cheng 已提交
116

H
Hongze Cheng 已提交
117 118 119
  // TODO: pBt->root
  ret = tdbBtreeOpenImpl(pBt);
  if (ret < 0) {
H
Hongze Cheng 已提交
120
    tdbOsFree(pBt);
H
Hongze Cheng 已提交
121 122 123
    return -1;
  }

H
Hongze Cheng 已提交
124
  *ppBt = pBt;
H
Hongze Cheng 已提交
125 126 127 128 129 130 131 132
  return 0;
}

int tdbBtreeClose(SBTree *pBt) {
  // TODO
  return 0;
}

H
Hongze Cheng 已提交
133
int tdbBtreeInsert(SBTree *pBt, const void *pKey, int kLen, const void *pVal, int vLen, TXN *pTxn) {
H
Hongze Cheng 已提交
134 135 136 137 138 139 140 141 142
  SBTC   btc;
  SCell *pCell;
  void  *pBuf;
  int    szCell;
  int    szBuf;
  int    ret;
  int    idx;
  int    c;

H
Hongze Cheng 已提交
143
  tdbBtcOpen(&btc, pBt, pTxn);
H
Hongze Cheng 已提交
144

H
Hongze Cheng 已提交
145 146
  // move to the position to insert
  ret = tdbBtcMoveTo(&btc, pKey, kLen, &c);
H
Hongze Cheng 已提交
147
  if (ret < 0) {
H
Hongze Cheng 已提交
148 149
    tdbBtcClose(&btc);
    ASSERT(0);
H
Hongze Cheng 已提交
150 151 152
    return -1;
  }

H
Hongze Cheng 已提交
153
  if (btc.idx == -1) {
H
Hongze Cheng 已提交
154 155
    idx = 0;
  } else {
H
Hongze Cheng 已提交
156 157 158 159
    if (c > 0) {
      idx = btc.idx + 1;
    } else if (c < 0) {
      idx = btc.idx;
H
Hongze Cheng 已提交
160
    } else {
H
Hongze Cheng 已提交
161 162
      // TDB does NOT allow same key
      tdbBtcClose(&btc);
H
Hongze Cheng 已提交
163
      ASSERT(0);
H
Hongze Cheng 已提交
164 165 166 167
      return -1;
    }
  }

H
more  
Hongze Cheng 已提交
168
  // make sure enough space to hold the cell
H
Hongze Cheng 已提交
169 170 171 172 173 174 175 176 177
  szBuf = kLen + vLen + 14;
  pBuf = TDB_REALLOC(pBt->pBuf, pBt->pageSize > szBuf ? szBuf : pBt->pageSize);
  if (pBuf == NULL) {
    tdbBtcClose(&btc);
    ASSERT(0);
    return -1;
  }
  pBt->pBuf = pBuf;
  pCell = (SCell *)pBt->pBuf;
H
Hongze Cheng 已提交
178

H
Hongze Cheng 已提交
179 180
  // encode cell
  ret = tdbBtreeEncodeCell(btc.pPage, pKey, kLen, pVal, vLen, pCell, &szCell);
H
Hongze Cheng 已提交
181
  if (ret < 0) {
H
Hongze Cheng 已提交
182 183
    tdbBtcClose(&btc);
    ASSERT(0);
H
more  
Hongze Cheng 已提交
184 185 186 187 188 189 190 191
    return -1;
  }

  // mark the page dirty
  ret = tdbPagerWrite(pBt->pPager, btc.pPage);
  if (ret < 0) {
    tdbBtcClose(&btc);
    ASSERT(0);
H
Hongze Cheng 已提交
192 193
    return -1;
  }
H
Hongze Cheng 已提交
194

H
Hongze Cheng 已提交
195 196
  // insert the cell
  ret = tdbPageInsertCell(btc.pPage, idx, pCell, szCell, 0);
H
Hongze Cheng 已提交
197
  if (ret < 0) {
H
Hongze Cheng 已提交
198 199
    tdbBtcClose(&btc);
    ASSERT(0);
H
Hongze Cheng 已提交
200
    return -1;
H
Hongze Cheng 已提交
201 202
  }

H
Hongze Cheng 已提交
203 204 205
  // check if need balance
  if (btc.pPage->nOverflow > 0) {
    ret = tdbBtreeBalance(&btc);
H
Hongze Cheng 已提交
206
    if (ret < 0) {
H
Hongze Cheng 已提交
207 208
      tdbBtcClose(&btc);
      ASSERT(0);
H
Hongze Cheng 已提交
209 210 211 212
      return -1;
    }
  }

H
Hongze Cheng 已提交
213 214
  tdbBtcClose(&btc);

H
more  
Hongze Cheng 已提交
215 216 217
  return 0;
}

H
Hongze Cheng 已提交
218
int tdbBtreeGet(SBTree *pBt, const void *pKey, int kLen, void **ppVal, int *vLen) {
H
Hongze Cheng 已提交
219 220 221 222
  return tdbBtreePGet(pBt, pKey, kLen, NULL, NULL, ppVal, vLen);
}

int tdbBtreePGet(SBTree *pBt, const void *pKey, int kLen, void **ppKey, int *pkLen, void **ppVal, int *vLen) {
H
refact  
Hongze Cheng 已提交
223
  SBTC         btc;
H
Hongze Cheng 已提交
224 225
  SCell       *pCell;
  int          cret;
H
Hongze Cheng 已提交
226
  int          ret;
H
Hongze Cheng 已提交
227 228
  void        *pTKey = NULL;
  void        *pTVal = NULL;
H
Hongze Cheng 已提交
229 230
  SCellDecoder cd;

H
Hongze Cheng 已提交
231
  tdbBtcOpen(&btc, pBt, NULL);
H
Hongze Cheng 已提交
232

H
Hongze Cheng 已提交
233 234 235 236 237
  ret = tdbBtcMoveTo(&btc, pKey, kLen, &cret);
  if (ret < 0) {
    tdbBtcClose(&btc);
    ASSERT(0);
  }
H
Hongze Cheng 已提交
238

H
Hongze Cheng 已提交
239
  if (btc.idx < 0 || cret) {
H
Hongze Cheng 已提交
240 241
    tdbBtcClose(&btc);
    return -1;
H
Hongze Cheng 已提交
242 243 244 245 246
  }

  pCell = tdbPageGetCell(btc.pPage, btc.idx);
  tdbBtreeDecodeCell(btc.pPage, pCell, &cd);

H
Hongze Cheng 已提交
247 248 249 250 251 252 253 254 255 256
  if (ppKey) {
    pTKey = TDB_REALLOC(*ppKey, cd.kLen);
    if (pTKey == NULL) {
      tdbBtcClose(&btc);
      ASSERT(0);
      return -1;
    }
    *ppKey = pTKey;
    *pkLen = cd.kLen;
    memcpy(*ppKey, cd.pKey, cd.kLen);
257 258
  }

H
Hongze Cheng 已提交
259 260 261 262 263 264 265 266 267 268
  if (ppVal) {
    pTVal = TDB_REALLOC(*ppVal, cd.vLen);
    if (pTVal == NULL) {
      tdbBtcClose(&btc);
      ASSERT(0);
      return -1;
    }
    *ppVal = pTVal;
    *vLen = cd.vLen;
    memcpy(*ppVal, cd.pVal, cd.vLen);
269
  }
H
Hongze Cheng 已提交
270

H
Hongze Cheng 已提交
271 272
  tdbBtcClose(&btc);

273 274 275
  return 0;
}

H
Hongze Cheng 已提交
276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293
static int tdbDefaultKeyCmprFn(const void *pKey1, int keyLen1, const void *pKey2, int keyLen2) {
  int mlen;
  int cret;

  ASSERT(keyLen1 > 0 && keyLen2 > 0 && pKey1 != NULL && pKey2 != NULL);

  mlen = keyLen1 < keyLen2 ? keyLen1 : keyLen2;
  cret = memcmp(pKey1, pKey2, mlen);
  if (cret == 0) {
    if (keyLen1 < keyLen2) {
      cret = -1;
    } else if (keyLen1 > keyLen2) {
      cret = 1;
    } else {
      cret = 0;
    }
  }
  return cret;
H
Hongze Cheng 已提交
294 295 296 297 298 299 300 301 302 303
}

static int tdbBtreeOpenImpl(SBTree *pBt) {
  // Try to get the root page of the an existing btree

  SPgno  pgno;
  SPage *pPage;
  int    ret;

  {
H
Hongze Cheng 已提交
304
    // 1. TODO: Search the main DB to check if the DB exists
H
Hongze Cheng 已提交
305 306
    ret = tdbPagerOpenDB(pBt->pPager, &pgno, true);
    ASSERT(ret == 0);
H
Hongze Cheng 已提交
307 308 309 310 311 312 313 314
  }

  if (pgno != 0) {
    pBt->root = pgno;
    return 0;
  }

  // Try to create a new database
H
Hongze Cheng 已提交
315
  SBtreeInitPageArg zArg = {.flags = TDB_BTREE_ROOT | TDB_BTREE_LEAF, .pBt = pBt};
H
Hongze Cheng 已提交
316
  ret = tdbPagerNewPage(pBt->pPager, &pgno, &pPage, tdbBtreeZeroPage, &zArg, NULL);
H
Hongze Cheng 已提交
317 318 319 320
  if (ret < 0) {
    return -1;
  }

H
more  
Hongze Cheng 已提交
321
  // TODO: here still has problem
H
Hongze Cheng 已提交
322
  tdbPagerReturnPage(pBt->pPager, pPage, NULL);
H
Hongze Cheng 已提交
323

H
Hongze Cheng 已提交
324 325
  ASSERT(pgno != 0);
  pBt->root = pgno;
H
Hongze Cheng 已提交
326

H
Hongze Cheng 已提交
327 328 329
  return 0;
}

H
Hongze Cheng 已提交
330
static int tdbBtreeInitPage(SPage *pPage, void *arg) {
H
Hongze Cheng 已提交
331
  SBTree *pBt;
H
Hongze Cheng 已提交
332
  u8      flags;
H
Hongze Cheng 已提交
333
  u8      isLeaf;
H
Hongze Cheng 已提交
334

H
Hongze Cheng 已提交
335 336
  pBt = (SBTree *)arg;
  flags = TDB_BTREE_PAGE_GET_FLAGS(pPage);
H
refact  
Hongze Cheng 已提交
337
  isLeaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
H
Hongze Cheng 已提交
338

H
Hongze Cheng 已提交
339
  ASSERT(flags == TDB_BTREE_PAGE_GET_FLAGS(pPage));
H
Hongze Cheng 已提交
340

H
Hongze Cheng 已提交
341
  tdbPageInit(pPage, isLeaf ? sizeof(SLeafHdr) : sizeof(SIntHdr), tdbBtreeCellSize);
H
Hongze Cheng 已提交
342

H
Hongze Cheng 已提交
343 344
  TDB_BTREE_ASSERT_FLAG(flags);

H
Hongze Cheng 已提交
345
  if (isLeaf) {
H
Hongze Cheng 已提交
346 347 348 349 350 351 352 353 354 355
    pPage->kLen = pBt->keyLen;
    pPage->vLen = pBt->valLen;
    pPage->maxLocal = pBt->maxLeaf;
    pPage->minLocal = pBt->minLeaf;
  } else {
    pPage->kLen = pBt->keyLen;
    pPage->vLen = sizeof(SPgno);
    pPage->maxLocal = pBt->maxLocal;
    pPage->minLocal = pBt->minLocal;
  }
H
Hongze Cheng 已提交
356 357 358 359

  return 0;
}

H
Hongze Cheng 已提交
360
static int tdbBtreeZeroPage(SPage *pPage, void *arg) {
H
Hongze Cheng 已提交
361
  u8      flags;
H
Hongze Cheng 已提交
362
  SBTree *pBt;
H
refact  
Hongze Cheng 已提交
363
  u8      leaf;
H
Hongze Cheng 已提交
364

H
Hongze Cheng 已提交
365 366
  flags = ((SBtreeInitPageArg *)arg)->flags;
  pBt = ((SBtreeInitPageArg *)arg)->pBt;
H
refact  
Hongze Cheng 已提交
367
  leaf = flags & TDB_BTREE_LEAF;
H
Hongze Cheng 已提交
368

H
refact  
Hongze Cheng 已提交
369
  tdbPageZero(pPage, leaf ? sizeof(SLeafHdr) : sizeof(SIntHdr), tdbBtreeCellSize);
H
Hongze Cheng 已提交
370

H
refact  
Hongze Cheng 已提交
371
  if (leaf) {
H
Hongze Cheng 已提交
372
    SLeafHdr *pLeafHdr = (SLeafHdr *)(pPage->pData);
H
Hongze Cheng 已提交
373 374
    pLeafHdr->flags = flags;

H
Hongze Cheng 已提交
375 376 377 378 379
    pPage->kLen = pBt->keyLen;
    pPage->vLen = pBt->valLen;
    pPage->maxLocal = pBt->maxLeaf;
    pPage->minLocal = pBt->minLeaf;
  } else {
H
Hongze Cheng 已提交
380
    SIntHdr *pIntHdr = (SIntHdr *)(pPage->pData);
H
Hongze Cheng 已提交
381 382 383
    pIntHdr->flags = flags;
    pIntHdr->pgno = 0;

H
Hongze Cheng 已提交
384 385 386 387 388
    pPage->kLen = pBt->keyLen;
    pPage->vLen = sizeof(SPgno);
    pPage->maxLocal = pBt->maxLocal;
    pPage->minLocal = pBt->minLocal;
  }
H
Hongze Cheng 已提交
389

H
Hongze Cheng 已提交
390
  return 0;
H
Hongze Cheng 已提交
391 392
}

H
Hongze Cheng 已提交
393
// TDB_BTREE_BALANCE =====================
H
Hongze Cheng 已提交
394
static int tdbBtreeBalanceDeeper(SBTree *pBt, SPage *pRoot, SPage **ppChild, TXN *pTxn) {
H
Hongze Cheng 已提交
395 396 397 398
  SPager           *pPager;
  SPage            *pChild;
  SPgno             pgnoChild;
  int               ret;
H
Hongze Cheng 已提交
399
  u8                flags;
H
Hongze Cheng 已提交
400
  SIntHdr          *pIntHdr;
H
Hongze Cheng 已提交
401
  SBtreeInitPageArg zArg;
H
Hongze Cheng 已提交
402
  u8                leaf;
H
Hongze Cheng 已提交
403 404

  pPager = pRoot->pPager;
H
Hongze Cheng 已提交
405
  flags = TDB_BTREE_PAGE_GET_FLAGS(pRoot);
H
refact  
Hongze Cheng 已提交
406
  leaf = TDB_BTREE_PAGE_IS_LEAF(pRoot);
H
Hongze Cheng 已提交
407 408

  // Allocate a new child page
H
Hongze Cheng 已提交
409
  zArg.flags = TDB_FLAG_REMOVE(flags, TDB_BTREE_ROOT);
H
Hongze Cheng 已提交
410
  zArg.pBt = pBt;
H
Hongze Cheng 已提交
411
  ret = tdbPagerNewPage(pPager, &pgnoChild, &pChild, tdbBtreeZeroPage, &zArg, pTxn);
H
Hongze Cheng 已提交
412 413 414 415
  if (ret < 0) {
    return -1;
  }

H
Hongze Cheng 已提交
416 417 418 419
  if (!leaf) {
    ((SIntHdr *)pChild->pData)->pgno = ((SIntHdr *)(pRoot->pData))->pgno;
  }

H
Hongze Cheng 已提交
420 421 422 423 424 425 426
  ret = tdbPagerWrite(pPager, pChild);
  if (ret < 0) {
    // TODO
    ASSERT(0);
    return 0;
  }

H
Hongze Cheng 已提交
427
  // Copy the root page content to the child page
H
Hongze Cheng 已提交
428
  tdbPageCopy(pRoot, pChild);
H
Hongze Cheng 已提交
429 430 431 432 433 434 435 436 437

  // Reinitialize the root page
  zArg.flags = TDB_BTREE_ROOT;
  zArg.pBt = pBt;
  ret = tdbBtreeZeroPage(pRoot, &zArg);
  if (ret < 0) {
    return -1;
  }

H
Hongze Cheng 已提交
438
  pIntHdr = (SIntHdr *)(pRoot->pData);
H
Hongze Cheng 已提交
439
  pIntHdr->pgno = pgnoChild;
H
Hongze Cheng 已提交
440

H
Hongze Cheng 已提交
441 442 443 444
  *ppChild = pChild;
  return 0;
}

H
Hongze Cheng 已提交
445
static int tdbBtreeBalanceNonRoot(SBTree *pBt, SPage *pParent, int idx, TXN *pTxn) {
H
Hongze Cheng 已提交
446 447 448
  int ret;

  int    nOlds;
H
Hongze Cheng 已提交
449
  SPage *pOlds[3] = {0};
H
Hongze Cheng 已提交
450 451
  SCell *pDivCell[3] = {0};
  int    szDivCell[3];
H
Hongze Cheng 已提交
452
  int    sIdx;
H
Hongze Cheng 已提交
453
  u8     childNotLeaf;
H
Hongze Cheng 已提交
454
  SPgno  rPgno;
H
Hongze Cheng 已提交
455

H
Hongze Cheng 已提交
456
  {  // Find 3 child pages at most to do balance
H
Hongze Cheng 已提交
457 458 459
    int    nCells = TDB_PAGE_TOTAL_CELLS(pParent);
    SCell *pCell;

H
Hongze Cheng 已提交
460 461 462 463 464 465 466 467 468 469 470 471 472 473
    if (nCells <= 2) {
      sIdx = 0;
      nOlds = nCells + 1;
    } else {
      // has more than three child pages
      if (idx == 0) {
        sIdx = 0;
      } else if (idx == nCells) {
        sIdx = idx - 2;
      } else {
        sIdx = idx - 1;
      }
      nOlds = 3;
    }
H
Hongze Cheng 已提交
474 475
    for (int i = 0; i < nOlds; i++) {
      ASSERT(sIdx + i <= nCells);
H
Hongze Cheng 已提交
476

H
Hongze Cheng 已提交
477
      SPgno pgno;
H
Hongze Cheng 已提交
478
      if (sIdx + i == nCells) {
H
refact  
Hongze Cheng 已提交
479
        ASSERT(!TDB_BTREE_PAGE_IS_LEAF(pParent));
H
Hongze Cheng 已提交
480 481
        pgno = ((SIntHdr *)(pParent->pData))->pgno;
      } else {
H
Hongze Cheng 已提交
482
        pCell = tdbPageGetCell(pParent, sIdx + i);
H
Hongze Cheng 已提交
483 484 485
        pgno = *(SPgno *)pCell;
      }

H
Hongze Cheng 已提交
486
      ret = tdbPagerFetchPage(pBt->pPager, pgno, pOlds + i, tdbBtreeInitPage, pBt, pTxn);
H
Hongze Cheng 已提交
487 488 489 490
      if (ret < 0) {
        ASSERT(0);
        return -1;
      }
H
Hongze Cheng 已提交
491 492 493 494 495 496 497

      ret = tdbPagerWrite(pBt->pPager, pOlds[i]);
      if (ret < 0) {
        // TODO
        ASSERT(0);
        return -1;
      }
H
Hongze Cheng 已提交
498
    }
H
Hongze Cheng 已提交
499
    // copy the parent key out if child pages are not leaf page
H
refact  
Hongze Cheng 已提交
500
    childNotLeaf = !TDB_BTREE_PAGE_IS_LEAF(pOlds[0]);
H
Hongze Cheng 已提交
501
    if (childNotLeaf) {
H
Hongze Cheng 已提交
502 503 504 505
      for (int i = 0; i < nOlds; i++) {
        if (sIdx + i < TDB_PAGE_TOTAL_CELLS(pParent)) {
          pCell = tdbPageGetCell(pParent, sIdx + i);
          szDivCell[i] = tdbBtreeCellSize(pParent, pCell);
H
Hongze Cheng 已提交
506
          pDivCell[i] = tdbOsMalloc(szDivCell[i]);
H
Hongze Cheng 已提交
507 508
          memcpy(pDivCell[i], pCell, szDivCell[i]);
        }
H
Hongze Cheng 已提交
509

H
Hongze Cheng 已提交
510 511 512
        if (i < nOlds - 1) {
          ((SPgno *)pDivCell[i])[0] = ((SIntHdr *)pOlds[i]->pData)->pgno;
          ((SIntHdr *)pOlds[i]->pData)->pgno = 0;
H
Hongze Cheng 已提交
513
          tdbPageInsertCell(pOlds[i], TDB_PAGE_TOTAL_CELLS(pOlds[i]), pDivCell[i], szDivCell[i], 1);
H
Hongze Cheng 已提交
514
        }
H
Hongze Cheng 已提交
515
      }
H
Hongze Cheng 已提交
516
      rPgno = ((SIntHdr *)pOlds[nOlds - 1]->pData)->pgno;
H
Hongze Cheng 已提交
517
    }
H
Hongze Cheng 已提交
518 519 520 521 522 523 524 525

    ret = tdbPagerWrite(pBt->pPager, pParent);
    if (ret < 0) {
      // TODO
      ASSERT(0);
      return -1;
    }

H
Hongze Cheng 已提交
526
    // drop the cells on parent page
H
Hongze Cheng 已提交
527 528 529 530 531 532 533 534
    for (int i = 0; i < nOlds; i++) {
      nCells = TDB_PAGE_TOTAL_CELLS(pParent);
      if (sIdx < nCells) {
        tdbPageDropCell(pParent, sIdx);
      } else {
        ((SIntHdr *)pParent->pData)->pgno = 0;
      }
    }
H
Hongze Cheng 已提交
535 536
  }

H
Hongze Cheng 已提交
537
  int nNews = 0;
H
Hongze Cheng 已提交
538
  struct {
H
Hongze Cheng 已提交
539 540 541 542
    int cnt;
    int size;
    int iPage;
    int oIdx;
H
Hongze Cheng 已提交
543
  } infoNews[5] = {0};
H
Hongze Cheng 已提交
544 545 546

  {  // Get how many new pages are needed and the new distribution

H
Hongze Cheng 已提交
547 548 549
    // first loop to find minimum number of pages needed
    for (int oPage = 0; oPage < nOlds; oPage++) {
      SPage *pPage = pOlds[oPage];
H
Hongze Cheng 已提交
550 551
      SCell *pCell;
      int    cellBytes;
H
Hongze Cheng 已提交
552
      int    oIdx;
H
Hongze Cheng 已提交
553

H
Hongze Cheng 已提交
554
      for (oIdx = 0; oIdx < TDB_PAGE_TOTAL_CELLS(pPage); oIdx++) {
H
Hongze Cheng 已提交
555
        pCell = tdbPageGetCell(pPage, oIdx);
H
Hongze Cheng 已提交
556 557
        cellBytes = TDB_BYTES_CELL_TAKEN(pPage, pCell);

H
Hongze Cheng 已提交
558 559
        if (infoNews[nNews].size + cellBytes > TDB_PAGE_USABLE_SIZE(pPage)) {
          // page is full, use a new page
H
Hongze Cheng 已提交
560
          nNews++;
H
Hongze Cheng 已提交
561

H
Hongze Cheng 已提交
562 563 564 565 566 567 568
          ASSERT(infoNews[nNews].size + cellBytes <= TDB_PAGE_USABLE_SIZE(pPage));

          if (childNotLeaf) {
            // for non-child page, this cell is used as the right-most child,
            // the divider cell to parent as well
            continue;
          }
H
Hongze Cheng 已提交
569
        }
H
Hongze Cheng 已提交
570 571
        infoNews[nNews].cnt++;
        infoNews[nNews].size += cellBytes;
H
Hongze Cheng 已提交
572
        infoNews[nNews].iPage = oPage;
H
Hongze Cheng 已提交
573
        infoNews[nNews].oIdx = oIdx;
H
Hongze Cheng 已提交
574 575 576
      }
    }

H
Hongze Cheng 已提交
577
    nNews++;
H
Hongze Cheng 已提交
578 579 580

    // back loop to make the distribution even
    for (int iNew = nNews - 1; iNew > 0; iNew--) {
H
Hongze Cheng 已提交
581
      SCell *pCell;
H
Hongze Cheng 已提交
582 583 584
      int    szLCell, szRCell;

      for (;;) {
H
Hongze Cheng 已提交
585
        pCell = tdbPageGetCell(pOlds[infoNews[iNew - 1].iPage], infoNews[iNew - 1].oIdx);
H
Hongze Cheng 已提交
586

H
Hongze Cheng 已提交
587
        if (childNotLeaf) {
H
Hongze Cheng 已提交
588
          szLCell = szRCell = tdbBtreeCellSize(pOlds[infoNews[iNew - 1].iPage], pCell);
H
Hongze Cheng 已提交
589
        } else {
H
Hongze Cheng 已提交
590
          szLCell = tdbBtreeCellSize(pOlds[infoNews[iNew - 1].iPage], pCell);
H
Hongze Cheng 已提交
591

H
Hongze Cheng 已提交
592
          int    iPage = infoNews[iNew - 1].iPage;
H
Hongze Cheng 已提交
593
          int    oIdx = infoNews[iNew - 1].oIdx + 1;
H
Hongze Cheng 已提交
594
          SPage *pPage;
H
Hongze Cheng 已提交
595
          for (;;) {
H
Hongze Cheng 已提交
596
            pPage = pOlds[iPage];
H
Hongze Cheng 已提交
597 598 599 600
            if (oIdx < TDB_PAGE_TOTAL_CELLS(pPage)) {
              break;
            }

H
Hongze Cheng 已提交
601
            iPage++;
H
Hongze Cheng 已提交
602 603 604 605 606
            oIdx = 0;
          }

          pCell = tdbPageGetCell(pPage, oIdx);
          szRCell = tdbBtreeCellSize(pPage, pCell);
H
Hongze Cheng 已提交
607 608 609 610 611 612 613 614
        }

        ASSERT(infoNews[iNew - 1].cnt > 0);

        if (infoNews[iNew].size + szRCell >= infoNews[iNew - 1].size - szRCell) {
          break;
        }

H
Hongze Cheng 已提交
615
        // Move a cell right forward
H
Hongze Cheng 已提交
616 617
        infoNews[iNew - 1].cnt--;
        infoNews[iNew - 1].size -= szLCell;
H
Hongze Cheng 已提交
618
        infoNews[iNew - 1].oIdx--;
H
Hongze Cheng 已提交
619
        for (;;) {
H
Hongze Cheng 已提交
620
          if (infoNews[iNew - 1].oIdx >= 0) {
H
Hongze Cheng 已提交
621 622
            break;
          }
H
Hongze Cheng 已提交
623

H
Hongze Cheng 已提交
624 625
          infoNews[iNew - 1].iPage--;
          infoNews[iNew - 1].oIdx = TDB_PAGE_TOTAL_CELLS(pOlds[infoNews[iNew - 1].iPage]) - 1;
H
Hongze Cheng 已提交
626 627 628
        }

        infoNews[iNew].cnt++;
H
Hongze Cheng 已提交
629
        infoNews[iNew].size += szRCell;
H
Hongze Cheng 已提交
630
      }
H
Hongze Cheng 已提交
631
    }
H
Hongze Cheng 已提交
632 633
  }

H
Hongze Cheng 已提交
634 635 636 637 638 639 640 641 642 643 644 645 646 647 648
  SPage *pNews[5] = {0};
  {  // Allocate new pages, reuse the old page when possible

    SPgno             pgno;
    SBtreeInitPageArg iarg;
    u8                flags;

    flags = TDB_BTREE_PAGE_GET_FLAGS(pOlds[0]);

    for (int iNew = 0; iNew < nNews; iNew++) {
      if (iNew < nOlds) {
        pNews[iNew] = pOlds[iNew];
      } else {
        iarg.pBt = pBt;
        iarg.flags = flags;
H
Hongze Cheng 已提交
649
        ret = tdbPagerNewPage(pBt->pPager, &pgno, pNews + iNew, tdbBtreeZeroPage, &iarg, pTxn);
H
Hongze Cheng 已提交
650 651 652
        if (ret < 0) {
          ASSERT(0);
        }
H
Hongze Cheng 已提交
653 654 655 656 657 658 659

        ret = tdbPagerWrite(pBt->pPager, pNews[iNew]);
        if (ret < 0) {
          // TODO
          ASSERT(0);
          return -1;
        }
H
Hongze Cheng 已提交
660 661
      }
    }
H
Hongze Cheng 已提交
662 663

    // TODO: sort the page according to the page number
H
Hongze Cheng 已提交
664 665
  }

H
Hongze Cheng 已提交
666
  {  // Do the real cell distribution
H
Hongze Cheng 已提交
667
    SPage            *pOldsCopy[3] = {0};
H
Hongze Cheng 已提交
668 669 670 671
    SCell            *pCell;
    int               szCell;
    SBtreeInitPageArg iarg;
    int               iNew, nNewCells;
H
Hongze Cheng 已提交
672
    SCellDecoder      cd;
H
Hongze Cheng 已提交
673 674 675 676

    iarg.pBt = pBt;
    iarg.flags = TDB_BTREE_PAGE_GET_FLAGS(pOlds[0]);
    for (int i = 0; i < nOlds; i++) {
H
Hongze Cheng 已提交
677
      tdbPageCreate(pOlds[0]->pageSize, &pOldsCopy[i], NULL, NULL);
H
Hongze Cheng 已提交
678 679 680 681 682
      tdbBtreeZeroPage(pOldsCopy[i], &iarg);
      tdbPageCopy(pOlds[i], pOldsCopy[i]);
    }
    iNew = 0;
    nNewCells = 0;
H
Hongze Cheng 已提交
683
    tdbBtreeZeroPage(pNews[iNew], &iarg);
H
Hongze Cheng 已提交
684 685 686 687 688 689 690 691 692 693 694

    for (int iOld = 0; iOld < nOlds; iOld++) {
      SPage *pPage;

      pPage = pOldsCopy[iOld];

      for (int oIdx = 0; oIdx < TDB_PAGE_TOTAL_CELLS(pPage); oIdx++) {
        pCell = tdbPageGetCell(pPage, oIdx);
        szCell = tdbBtreeCellSize(pPage, pCell);

        ASSERT(nNewCells <= infoNews[iNew].cnt);
H
Hongze Cheng 已提交
695
        ASSERT(iNew < nNews);
H
Hongze Cheng 已提交
696 697 698 699

        if (nNewCells < infoNews[iNew].cnt) {
          tdbPageInsertCell(pNews[iNew], nNewCells, pCell, szCell, 0);
          nNewCells++;
H
Hongze Cheng 已提交
700

H
Hongze Cheng 已提交
701 702 703 704 705 706 707
          // insert parent page
          if (!childNotLeaf && nNewCells == infoNews[iNew].cnt) {
            SIntHdr *pIntHdr = (SIntHdr *)pParent->pData;

            if (iNew == nNews - 1 && pIntHdr->pgno == 0) {
              pIntHdr->pgno = TDB_PAGE_PGNO(pNews[iNew]);
            } else {
H
Hongze Cheng 已提交
708 709
              tdbBtreeDecodeCell(pPage, pCell, &cd);

H
Hongze Cheng 已提交
710
              // TODO: pCell here may be inserted as an overflow cell, handle it
H
Hongze Cheng 已提交
711
              SCell *pNewCell = tdbOsMalloc(cd.kLen + 9);
H
Hongze Cheng 已提交
712 713 714
              int    szNewCell;
              SPgno  pgno;
              pgno = TDB_PAGE_PGNO(pNews[iNew]);
H
Hongze Cheng 已提交
715
              tdbBtreeEncodeCell(pParent, cd.pKey, cd.kLen, (void *)&pgno, sizeof(SPgno), pNewCell, &szNewCell);
H
Hongze Cheng 已提交
716
              tdbPageInsertCell(pParent, sIdx++, pNewCell, szNewCell, 0);
H
Hongze Cheng 已提交
717
              tdbOsFree(pNewCell);
H
Hongze Cheng 已提交
718
            }
H
Hongze Cheng 已提交
719 720

            // move to next new page
H
Hongze Cheng 已提交
721
            iNew++;
H
Hongze Cheng 已提交
722 723 724 725
            nNewCells = 0;
            if (iNew < nNews) {
              tdbBtreeZeroPage(pNews[iNew], &iarg);
            }
H
Hongze Cheng 已提交
726 727 728
          }
        } else {
          ASSERT(childNotLeaf);
H
Hongze Cheng 已提交
729
          ASSERT(iNew < nNews - 1);
H
Hongze Cheng 已提交
730

H
Hongze Cheng 已提交
731 732 733 734
          // set current new page right-most child
          ((SIntHdr *)pNews[iNew]->pData)->pgno = ((SPgno *)pCell)[0];

          // insert to parent as divider cell
H
Hongze Cheng 已提交
735 736 737
          ASSERT(iNew < nNews - 1);
          ((SPgno *)pCell)[0] = TDB_PAGE_PGNO(pNews[iNew]);
          tdbPageInsertCell(pParent, sIdx++, pCell, szCell, 0);
H
Hongze Cheng 已提交
738 739 740 741

          // move to next new page
          iNew++;
          nNewCells = 0;
H
Hongze Cheng 已提交
742 743 744
          if (iNew < nNews) {
            tdbBtreeZeroPage(pNews[iNew], &iarg);
          }
H
Hongze Cheng 已提交
745 746
        }
      }
H
Hongze Cheng 已提交
747
    }
H
Hongze Cheng 已提交
748

H
Hongze Cheng 已提交
749 750 751
    if (childNotLeaf) {
      ASSERT(TDB_PAGE_TOTAL_CELLS(pNews[nNews - 1]) == infoNews[nNews - 1].cnt);
      ((SIntHdr *)(pNews[nNews - 1]->pData))->pgno = rPgno;
H
Hongze Cheng 已提交
752

H
Hongze Cheng 已提交
753 754 755 756 757 758
      SIntHdr *pIntHdr = (SIntHdr *)pParent->pData;
      if (pIntHdr->pgno == 0) {
        pIntHdr->pgno = TDB_PAGE_PGNO(pNews[nNews - 1]);
      } else {
        ((SPgno *)pDivCell[nOlds - 1])[0] = TDB_PAGE_PGNO(pNews[nNews - 1]);
        tdbPageInsertCell(pParent, sIdx, pDivCell[nOlds - 1], szDivCell[nOlds - 1], 0);
H
Hongze Cheng 已提交
759
      }
H
Hongze Cheng 已提交
760 761 762 763 764 765 766
    }

    for (int i = 0; i < nOlds; i++) {
      tdbPageDestroy(pOldsCopy[i], NULL, NULL);
    }
  }

H
Hongze Cheng 已提交
767 768
  for (int i = 0; i < 3; i++) {
    if (pDivCell[i]) {
H
Hongze Cheng 已提交
769
      tdbOsFree(pDivCell[i]);
H
Hongze Cheng 已提交
770 771
    }
  }
H
Hongze Cheng 已提交
772

H
more  
Hongze Cheng 已提交
773 774 775
  // TODO: here is not corrent for drop case
  for (int i = 0; i < nNews; i++) {
    if (i < nOlds) {
H
Hongze Cheng 已提交
776
      tdbPagerReturnPage(pBt->pPager, pOlds[i], pTxn);
H
more  
Hongze Cheng 已提交
777
    } else {
H
Hongze Cheng 已提交
778
      tdbPagerReturnPage(pBt->pPager, pNews[i], pTxn);
H
more  
Hongze Cheng 已提交
779 780 781
    }
  }

H
Hongze Cheng 已提交
782
  return 0;
H
Hongze Cheng 已提交
783 784
}

H
Hongze Cheng 已提交
785
static int tdbBtreeBalance(SBTC *pBtc) {
H
Hongze Cheng 已提交
786
  int    iPage;
H
Hongze Cheng 已提交
787 788
  int    ret;
  int    nFree;
H
Hongze Cheng 已提交
789
  SPage *pParent;
H
Hongze Cheng 已提交
790
  SPage *pPage;
H
Hongze Cheng 已提交
791
  u8     flags;
H
Hongze Cheng 已提交
792 793
  u8     leaf;
  u8     root;
H
Hongze Cheng 已提交
794 795 796

  // Main loop to balance the BTree
  for (;;) {
H
Hongze Cheng 已提交
797 798
    iPage = pBtc->iPage;
    pPage = pBtc->pPage;
H
refact  
Hongze Cheng 已提交
799 800
    leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
    root = TDB_BTREE_PAGE_IS_ROOT(pPage);
H
Hongze Cheng 已提交
801
    nFree = TDB_PAGE_FREE_SIZE(pPage);
H
Hongze Cheng 已提交
802

H
Hongze Cheng 已提交
803 804
    // when the page is not overflow and not too empty, the balance work
    // is finished. Just break out the balance loop.
H
Hongze Cheng 已提交
805
    if (pPage->nOverflow == 0 && nFree < TDB_PAGE_USABLE_SIZE(pPage) * 2 / 3) {
H
Hongze Cheng 已提交
806 807 808 809
      break;
    }

    if (iPage == 0) {
H
Hongze Cheng 已提交
810 811 812
      // For the root page, only balance when the page is overfull,
      // ignore the case of empty
      if (pPage->nOverflow == 0) break;
H
Hongze Cheng 已提交
813

H
Hongze Cheng 已提交
814
      ret = tdbBtreeBalanceDeeper(pBtc->pBt, pPage, &(pBtc->pgStack[1]), pBtc->pTxn);
H
Hongze Cheng 已提交
815 816 817 818
      if (ret < 0) {
        return -1;
      }

H
Hongze Cheng 已提交
819 820 821 822 823
      pBtc->idx = 0;
      pBtc->idxStack[0] = 0;
      pBtc->pgStack[0] = pBtc->pPage;
      pBtc->iPage = 1;
      pBtc->pPage = pBtc->pgStack[1];
H
Hongze Cheng 已提交
824
    } else {
H
Hongze Cheng 已提交
825
      // Generalized balance step
H
Hongze Cheng 已提交
826
      pParent = pBtc->pgStack[iPage - 1];
H
Hongze Cheng 已提交
827

H
Hongze Cheng 已提交
828
      ret = tdbBtreeBalanceNonRoot(pBtc->pBt, pParent, pBtc->idxStack[pBtc->iPage - 1], pBtc->pTxn);
H
Hongze Cheng 已提交
829 830 831 832
      if (ret < 0) {
        return -1;
      }

H
Hongze Cheng 已提交
833
      tdbPagerReturnPage(pBtc->pBt->pPager, pBtc->pPage, pBtc->pTxn);
H
more  
Hongze Cheng 已提交
834

H
Hongze Cheng 已提交
835 836
      pBtc->iPage--;
      pBtc->pPage = pBtc->pgStack[pBtc->iPage];
H
Hongze Cheng 已提交
837 838 839 840 841
    }
  }

  return 0;
}
H
Hongze Cheng 已提交
842
// TDB_BTREE_BALANCE
H
Hongze Cheng 已提交
843

H
Hongze Cheng 已提交
844
// TDB_BTREE_CELL =====================
H
Hongze Cheng 已提交
845 846
static int tdbBtreeEncodePayload(SPage *pPage, SCell *pCell, int nHeader, const void *pKey, int kLen, const void *pVal,
                                 int vLen, int *szPayload) {
H
Hongze Cheng 已提交
847 848 849
  int nPayload;

  nPayload = kLen + vLen;
H
Hongze Cheng 已提交
850 851 852
  if (nPayload + nHeader <= pPage->maxLocal) {
    // no overflow page is needed
    memcpy(pCell + nHeader, pKey, kLen);
H
Hongze Cheng 已提交
853
    if (pVal) {
H
Hongze Cheng 已提交
854
      memcpy(pCell + nHeader + kLen, pVal, vLen);
H
Hongze Cheng 已提交
855 856 857 858 859 860 861 862 863 864 865 866 867 868
    }

    *szPayload = nPayload;
    return 0;
  }

  {
    // TODO: handle overflow case
    ASSERT(0);
  }

  return 0;
}

H
Hongze Cheng 已提交
869 870
static int tdbBtreeEncodeCell(SPage *pPage, const void *pKey, int kLen, const void *pVal, int vLen, SCell *pCell,
                              int *szCell) {
H
Hongze Cheng 已提交
871 872 873 874
  u8  leaf;
  int nHeader;
  int nPayload;
  int ret;
H
Hongze Cheng 已提交
875 876 877

  ASSERT(pPage->kLen == TDB_VARIANT_LEN || pPage->kLen == kLen);
  ASSERT(pPage->vLen == TDB_VARIANT_LEN || pPage->vLen == vLen);
H
Hongze Cheng 已提交
878
  ASSERT(pKey != NULL && kLen > 0);
H
Hongze Cheng 已提交
879

H
Hongze Cheng 已提交
880 881
  nPayload = 0;
  nHeader = 0;
H
refact  
Hongze Cheng 已提交
882
  leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
H
Hongze Cheng 已提交
883

H
Hongze Cheng 已提交
884
  // 1. Encode Header part
H
Hongze Cheng 已提交
885 886 887 888 889 890 891 892
  /* Encode SPgno if interior page */
  if (!leaf) {
    ASSERT(pPage->vLen == sizeof(SPgno));

    ((SPgno *)(pCell + nHeader))[0] = ((SPgno *)pVal)[0];
    nHeader = nHeader + sizeof(SPgno);
  }

H
Hongze Cheng 已提交
893
  /* Encode kLen if need */
H
Hongze Cheng 已提交
894
  if (pPage->kLen == TDB_VARIANT_LEN) {
H
Hongze Cheng 已提交
895
    nHeader += tdbPutVarInt(pCell + nHeader, kLen);
H
Hongze Cheng 已提交
896 897
  }

H
Hongze Cheng 已提交
898
  /* Encode vLen if need */
H
Hongze Cheng 已提交
899
  if (pPage->vLen == TDB_VARIANT_LEN) {
H
Hongze Cheng 已提交
900
    nHeader += tdbPutVarInt(pCell + nHeader, vLen);
H
Hongze Cheng 已提交
901 902
  }

H
Hongze Cheng 已提交
903
  // 2. Encode payload part
H
Hongze Cheng 已提交
904 905 906
  if ((!leaf) || pPage->vLen == 0) {
    pVal = NULL;
    vLen = 0;
H
Hongze Cheng 已提交
907
  }
H
Hongze Cheng 已提交
908 909

  ret = tdbBtreeEncodePayload(pPage, pCell, nHeader, pKey, kLen, pVal, vLen, &nPayload);
H
Hongze Cheng 已提交
910
  if (ret < 0) {
H
Hongze Cheng 已提交
911 912 913
    // TODO
    ASSERT(0);
    return 0;
H
Hongze Cheng 已提交
914 915
  }

H
Hongze Cheng 已提交
916
  *szCell = nHeader + nPayload;
H
Hongze Cheng 已提交
917 918 919
  return 0;
}

H
Hongze Cheng 已提交
920
static int tdbBtreeDecodePayload(SPage *pPage, const SCell *pCell, int nHeader, SCellDecoder *pDecoder) {
H
Hongze Cheng 已提交
921 922 923
  int nPayload;

  if (pDecoder->pVal) {
H
Hongze Cheng 已提交
924
    ASSERT(!TDB_BTREE_PAGE_IS_LEAF(pPage));
H
Hongze Cheng 已提交
925
    nPayload = pDecoder->kLen;
H
Hongze Cheng 已提交
926 927
  } else {
    nPayload = pDecoder->kLen + pDecoder->vLen;
H
Hongze Cheng 已提交
928 929
  }

H
Hongze Cheng 已提交
930 931 932 933 934
  if (nHeader + nPayload <= pPage->maxLocal) {
    // no over flow case
    pDecoder->pKey = pCell + nHeader;
    if (pDecoder->pVal == NULL && pDecoder->vLen > 0) {
      pDecoder->pVal = pCell + nHeader + pDecoder->kLen;
H
Hongze Cheng 已提交
935
    }
H
Hongze Cheng 已提交
936 937 938 939
    return 0;
  }

  {
H
Hongze Cheng 已提交
940 941
    // TODO: handle overflow case
    ASSERT(0);
H
Hongze Cheng 已提交
942 943
  }

H
Hongze Cheng 已提交
944 945 946 947 948 949 950 951 952
  return 0;
}

static int tdbBtreeDecodeCell(SPage *pPage, const SCell *pCell, SCellDecoder *pDecoder) {
  u8  leaf;
  int nHeader;
  int ret;

  nHeader = 0;
H
refact  
Hongze Cheng 已提交
953
  leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
H
Hongze Cheng 已提交
954

H
Hongze Cheng 已提交
955 956 957 958 959 960 961
  // Clear the state of decoder
  pDecoder->kLen = -1;
  pDecoder->pKey = NULL;
  pDecoder->vLen = -1;
  pDecoder->pVal = NULL;
  pDecoder->pgno = 0;

H
Hongze Cheng 已提交
962
  // 1. Decode header part
H
Hongze Cheng 已提交
963 964 965 966 967 968 969 970
  if (!leaf) {
    ASSERT(pPage->vLen == sizeof(SPgno));

    pDecoder->pgno = ((SPgno *)(pCell + nHeader))[0];
    pDecoder->pVal = (u8 *)(&(pDecoder->pgno));
    nHeader = nHeader + sizeof(SPgno);
  }

H
Hongze Cheng 已提交
971 972 973 974 975 976 977
  if (pPage->kLen == TDB_VARIANT_LEN) {
    nHeader += tdbGetVarInt(pCell + nHeader, &(pDecoder->kLen));
  } else {
    pDecoder->kLen = pPage->kLen;
  }

  if (pPage->vLen == TDB_VARIANT_LEN) {
H
Hongze Cheng 已提交
978
    ASSERT(leaf);
H
Hongze Cheng 已提交
979
    nHeader += tdbGetVarInt(pCell + nHeader, &(pDecoder->vLen));
H
Hongze Cheng 已提交
980
  } else {
H
Hongze Cheng 已提交
981 982
    pDecoder->vLen = pPage->vLen;
  }
H
Hongze Cheng 已提交
983

H
Hongze Cheng 已提交
984
  // 2. Decode payload part
H
Hongze Cheng 已提交
985
  ret = tdbBtreeDecodePayload(pPage, pCell, nHeader, pDecoder);
H
Hongze Cheng 已提交
986 987
  if (ret < 0) {
    return -1;
H
Hongze Cheng 已提交
988 989 990 991 992
  }

  return 0;
}

H
Hongze Cheng 已提交
993
static int tdbBtreeCellSize(const SPage *pPage, SCell *pCell) {
H
refact  
Hongze Cheng 已提交
994
  u8  leaf;
H
Hongze Cheng 已提交
995 996 997
  int szCell;
  int kLen = 0, vLen = 0;

H
refact  
Hongze Cheng 已提交
998
  leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
H
Hongze Cheng 已提交
999 1000
  szCell = 0;

H
refact  
Hongze Cheng 已提交
1001
  if (!leaf) {
H
Hongze Cheng 已提交
1002 1003 1004 1005 1006 1007 1008 1009 1010
    szCell += sizeof(SPgno);
  }

  if (pPage->kLen == TDB_VARIANT_LEN) {
    szCell += tdbGetVarInt(pCell + szCell, &kLen);
  } else {
    kLen = pPage->kLen;
  }

H
refact  
Hongze Cheng 已提交
1011 1012 1013 1014 1015
  if (pPage->vLen == TDB_VARIANT_LEN) {
    ASSERT(leaf);
    szCell += tdbGetVarInt(pCell + szCell, &vLen);
  } else if (leaf) {
    vLen = pPage->vLen;
H
Hongze Cheng 已提交
1016 1017 1018 1019
  }

  szCell = szCell + kLen + vLen;

H
refact  
Hongze Cheng 已提交
1020 1021 1022 1023 1024 1025 1026 1027 1028
  if (szCell <= pPage->maxLocal) {
    return szCell;
  }

  {
    // TODO
    ASSERT(0);
    return 0;
  }
H
Hongze Cheng 已提交
1029
}
H
Hongze Cheng 已提交
1030
// TDB_BTREE_CELL
H
Hongze Cheng 已提交
1031

H
refact  
Hongze Cheng 已提交
1032
// TDB_BTREE_CURSOR =====================
H
Hongze Cheng 已提交
1033
int tdbBtcOpen(SBTC *pBtc, SBTree *pBt, TXN *pTxn) {
H
Hongze Cheng 已提交
1034 1035 1036 1037
  pBtc->pBt = pBt;
  pBtc->iPage = -1;
  pBtc->pPage = NULL;
  pBtc->idx = -1;
H
Hongze Cheng 已提交
1038
  pBtc->pTxn = pTxn;
H
Hongze Cheng 已提交
1039 1040 1041 1042

  return 0;
}

H
Hongze Cheng 已提交
1043
int tdbBtcMoveToFirst(SBTC *pBtc) {
H
refact  
Hongze Cheng 已提交
1044 1045 1046
  int     ret;
  SBTree *pBt;
  SPager *pPager;
H
Hongze Cheng 已提交
1047 1048
  SCell  *pCell;
  SPgno   pgno;
H
refact  
Hongze Cheng 已提交
1049 1050 1051 1052 1053

  pBt = pBtc->pBt;
  pPager = pBt->pPager;

  if (pBtc->iPage < 0) {
H
Hongze Cheng 已提交
1054
    // move a clean cursor
H
Hongze Cheng 已提交
1055
    ret = tdbPagerFetchPage(pPager, pBt->root, &(pBtc->pPage), tdbBtreeInitPage, pBt, pBtc->pTxn);
H
refact  
Hongze Cheng 已提交
1056 1057 1058 1059 1060
    if (ret < 0) {
      ASSERT(0);
      return -1;
    }

H
Hongze Cheng 已提交
1061
    ASSERT(TDB_BTREE_PAGE_IS_ROOT(pBtc->pPage));
H
refact  
Hongze Cheng 已提交
1062

H
Hongze Cheng 已提交
1063 1064 1065 1066
    pBtc->iPage = 0;
    if (TDB_PAGE_TOTAL_CELLS(pBtc->pPage) > 0) {
      pBtc->idx = 0;
    } else {
H
more  
Hongze Cheng 已提交
1067
      // no any data, point to an invalid position
H
Hongze Cheng 已提交
1068 1069
      ASSERT(TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage));
      pBtc->idx = -1;
H
refact  
Hongze Cheng 已提交
1070 1071
      return 0;
    }
H
Hongze Cheng 已提交
1072 1073 1074
  } else {
    // move from a position
    int iPage = 0;
H
refact  
Hongze Cheng 已提交
1075

H
Hongze Cheng 已提交
1076 1077 1078 1079
    for (; iPage < pBtc->iPage; iPage++) {
      ASSERT(pBtc->idxStack[iPage] >= 0);
      if (pBtc->idxStack[iPage]) break;
    }
H
refact  
Hongze Cheng 已提交
1080

H
Hongze Cheng 已提交
1081 1082
    // move upward
    for (;;) {
H
Hongze Cheng 已提交
1083
      if (pBtc->iPage == iPage) {
H
Hongze Cheng 已提交
1084
        pBtc->idx = 0;
H
refact  
Hongze Cheng 已提交
1085 1086
        break;
      }
H
Hongze Cheng 已提交
1087

H
Hongze Cheng 已提交
1088
      tdbBtcMoveUpward(pBtc);
H
Hongze Cheng 已提交
1089 1090 1091 1092 1093
    }
  }

  // move downward
  for (;;) {
H
refact  
Hongze Cheng 已提交
1094
    if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) break;
H
Hongze Cheng 已提交
1095

H
Hongze Cheng 已提交
1096
    ret = tdbBtcMoveDownward(pBtc);
H
Hongze Cheng 已提交
1097 1098 1099 1100 1101 1102 1103 1104
    if (ret < 0) {
      ASSERT(0);
      return -1;
    }

    pBtc->idx = 0;
  }

H
Hongze Cheng 已提交
1105 1106 1107 1108
  return 0;
}

int tdbBtcMoveToLast(SBTC *pBtc) {
H
Hongze Cheng 已提交
1109
  int     ret;
H
Hongze Cheng 已提交
1110
  int     nCells;
H
Hongze Cheng 已提交
1111 1112 1113 1114 1115 1116 1117 1118 1119
  SBTree *pBt;
  SPager *pPager;
  SPgno   pgno;

  pBt = pBtc->pBt;
  pPager = pBt->pPager;

  if (pBtc->iPage < 0) {
    // move a clean cursor
H
Hongze Cheng 已提交
1120
    ret = tdbPagerFetchPage(pPager, pBt->root, &(pBtc->pPage), tdbBtreeInitPage, pBt, pBtc->pTxn);
H
Hongze Cheng 已提交
1121 1122 1123 1124 1125
    if (ret < 0) {
      ASSERT(0);
      return -1;
    }

H
Hongze Cheng 已提交
1126
    nCells = TDB_PAGE_TOTAL_CELLS(pBtc->pPage);
H
Hongze Cheng 已提交
1127
    pBtc->iPage = 0;
H
Hongze Cheng 已提交
1128 1129 1130 1131 1132 1133 1134 1135
    if (nCells > 0) {
      pBtc->idx = TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage) ? nCells - 1 : nCells;
    } else {
      // no data at all, point to an invalid position
      ASSERT(TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage));
      pBtc->idx = -1;
      return 0;
    }
H
Hongze Cheng 已提交
1136
  } else {
H
Hongze Cheng 已提交
1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147
    int iPage = 0;

    // downward search
    for (; iPage < pBtc->iPage; iPage++) {
      ASSERT(!TDB_BTREE_PAGE_IS_LEAF(pBtc->pgStack[iPage]));
      nCells = TDB_PAGE_TOTAL_CELLS(pBtc->pgStack[iPage]);
      if (pBtc->idxStack[iPage] != nCells) break;
    }

    // move upward
    for (;;) {
H
Hongze Cheng 已提交
1148
      if (pBtc->iPage == iPage) {
H
Hongze Cheng 已提交
1149 1150 1151 1152 1153
        if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) {
          pBtc->idx = TDB_PAGE_TOTAL_CELLS(pBtc->pPage) - 1;
        } else {
          pBtc->idx = TDB_PAGE_TOTAL_CELLS(pBtc->pPage);
        }
H
Hongze Cheng 已提交
1154
        break;
H
Hongze Cheng 已提交
1155 1156 1157 1158
      }

      tdbBtcMoveUpward(pBtc);
    }
H
Hongze Cheng 已提交
1159 1160 1161 1162
  }

  // move downward
  for (;;) {
H
Hongze Cheng 已提交
1163 1164 1165 1166 1167 1168 1169 1170 1171
    if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) break;

    ret = tdbBtcMoveDownward(pBtc);
    if (ret < 0) {
      ASSERT(0);
      return -1;
    }

    nCells = TDB_PAGE_TOTAL_CELLS(pBtc->pPage);
H
refact  
Hongze Cheng 已提交
1172
    if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) {
H
Hongze Cheng 已提交
1173
      pBtc->idx = nCells - 1;
H
Hongze Cheng 已提交
1174
    } else {
H
Hongze Cheng 已提交
1175
      pBtc->idx = nCells;
H
Hongze Cheng 已提交
1176 1177 1178
    }
  }

H
Hongze Cheng 已提交
1179 1180 1181 1182
  return 0;
}

int tdbBtreeNext(SBTC *pBtc, void **ppKey, int *kLen, void **ppVal, int *vLen) {
H
Hongze Cheng 已提交
1183 1184 1185 1186 1187
  SCell       *pCell;
  SCellDecoder cd;
  void        *pKey, *pVal;
  int          ret;

H
Hongze Cheng 已提交
1188
  // current cursor points to an invalid position
H
Hongze Cheng 已提交
1189
  if (pBtc->idx < 0) {
H
Hongze Cheng 已提交
1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204
    return -1;
  }

  pCell = tdbPageGetCell(pBtc->pPage, pBtc->idx);

  tdbBtreeDecodeCell(pBtc->pPage, pCell, &cd);

  pKey = TDB_REALLOC(*ppKey, cd.kLen);
  if (pKey == NULL) {
    return -1;
  }

  *ppKey = pKey;
  *kLen = cd.kLen;
  memcpy(pKey, cd.pKey, cd.kLen);
C
Cary Xu 已提交
1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217

  if (ppVal) {
    // TODO: vLen may be zero
    pVal = TDB_REALLOC(*ppVal, cd.vLen);
    if (pVal == NULL) {
      TDB_FREE(pKey);
      return -1;
    }

    *ppVal = pVal;
    *vLen = cd.vLen;
    memcpy(pVal, cd.pVal, cd.vLen);
  }
H
Hongze Cheng 已提交
1218 1219

  ret = tdbBtcMoveToNext(pBtc);
H
Hongze Cheng 已提交
1220 1221 1222 1223
  if (ret < 0) {
    ASSERT(0);
    return -1;
  }
H
Hongze Cheng 已提交
1224 1225 1226 1227 1228

  return 0;
}

static int tdbBtcMoveToNext(SBTC *pBtc) {
H
Hongze Cheng 已提交
1229
  int    nCells;
H
Hongze Cheng 已提交
1230
  int    ret;
H
Hongze Cheng 已提交
1231 1232
  SCell *pCell;

H
refact  
Hongze Cheng 已提交
1233
  ASSERT(TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage));
H
Hongze Cheng 已提交
1234 1235 1236

  if (pBtc->idx < 0) return -1;

H
Hongze Cheng 已提交
1237
  pBtc->idx++;
H
Hongze Cheng 已提交
1238 1239 1240 1241
  if (pBtc->idx < TDB_PAGE_TOTAL_CELLS(pBtc->pPage)) {
    return 0;
  }

H
Hongze Cheng 已提交
1242
  // move upward
H
Hongze Cheng 已提交
1243
  for (;;) {
H
Hongze Cheng 已提交
1244 1245 1246 1247 1248
    if (pBtc->iPage == 0) {
      pBtc->idx = -1;
      return 0;
    }

H
Hongze Cheng 已提交
1249 1250 1251
    tdbBtcMoveUpward(pBtc);
    pBtc->idx++;

H
Hongze Cheng 已提交
1252 1253
    ASSERT(!TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage));
    if (pBtc->idx <= TDB_PAGE_TOTAL_CELLS(pBtc->pPage)) {
H
Hongze Cheng 已提交
1254 1255
      break;
    }
H
Hongze Cheng 已提交
1256 1257
  }

H
Hongze Cheng 已提交
1258
  // move downward
H
Hongze Cheng 已提交
1259
  for (;;) {
H
Hongze Cheng 已提交
1260
    if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) break;
H
Hongze Cheng 已提交
1261

H
Hongze Cheng 已提交
1262 1263 1264 1265
    ret = tdbBtcMoveDownward(pBtc);
    if (ret < 0) {
      ASSERT(0);
      return -1;
H
Hongze Cheng 已提交
1266
    }
H
Hongze Cheng 已提交
1267 1268

    pBtc->idx = 0;
H
Hongze Cheng 已提交
1269 1270
  }

H
Hongze Cheng 已提交
1271 1272 1273
  return 0;
}

H
Hongze Cheng 已提交
1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287
static int tdbBtcMoveDownward(SBTC *pBtc) {
  int    ret;
  SPgno  pgno;
  SCell *pCell;

  ASSERT(pBtc->idx >= 0);
  ASSERT(!TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage));

  if (pBtc->idx < TDB_PAGE_TOTAL_CELLS(pBtc->pPage)) {
    pCell = tdbPageGetCell(pBtc->pPage, pBtc->idx);
    pgno = ((SPgno *)pCell)[0];
  } else {
    pgno = ((SIntHdr *)pBtc->pPage->pData)->pgno;
  }
H
Hongze Cheng 已提交
1288

H
Hongze Cheng 已提交
1289 1290 1291 1292 1293
  pBtc->pgStack[pBtc->iPage] = pBtc->pPage;
  pBtc->idxStack[pBtc->iPage] = pBtc->idx;
  pBtc->iPage++;
  pBtc->pPage = NULL;
  pBtc->idx = -1;
H
Hongze Cheng 已提交
1294

H
Hongze Cheng 已提交
1295
  ret = tdbPagerFetchPage(pBtc->pBt->pPager, pgno, &pBtc->pPage, tdbBtreeInitPage, pBtc->pBt, pBtc->pTxn);
H
Hongze Cheng 已提交
1296 1297
  if (ret < 0) {
    ASSERT(0);
H
Hongze Cheng 已提交
1298
    return -1;
H
Hongze Cheng 已提交
1299 1300 1301 1302 1303 1304
  }

  return 0;
}

static int tdbBtcMoveUpward(SBTC *pBtc) {
H
Hongze Cheng 已提交
1305 1306
  if (pBtc->iPage == 0) return -1;

H
Hongze Cheng 已提交
1307
  tdbPagerReturnPage(pBtc->pBt->pPager, pBtc->pPage, pBtc->pTxn);
H
Hongze Cheng 已提交
1308 1309 1310 1311 1312

  pBtc->iPage--;
  pBtc->pPage = pBtc->pgStack[pBtc->iPage];
  pBtc->idx = pBtc->idxStack[pBtc->iPage];

H
Hongze Cheng 已提交
1313
  return 0;
H
Hongze Cheng 已提交
1314
}
H
refact  
Hongze Cheng 已提交
1315

H
Hongze Cheng 已提交
1316
static int tdbBtcMoveTo(SBTC *pBtc, const void *pKey, int kLen, int *pCRst) {
H
Hongze Cheng 已提交
1317
  int          ret;
H
Hongze Cheng 已提交
1318 1319
  int          nCells;
  int          c;
H
Hongze Cheng 已提交
1320 1321 1322 1323
  SBTree      *pBt;
  SCell       *pCell;
  SPager      *pPager;
  SCellDecoder cd = {0};
H
Hongze Cheng 已提交
1324 1325 1326 1327 1328

  pBt = pBtc->pBt;
  pPager = pBt->pPager;

  if (pBtc->iPage < 0) {
H
Hongze Cheng 已提交
1329
    // move from a clear cursor
H
Hongze Cheng 已提交
1330
    ret = tdbPagerFetchPage(pPager, pBt->root, &(pBtc->pPage), tdbBtreeInitPage, pBt, pBtc->pTxn);
H
Hongze Cheng 已提交
1331
    if (ret < 0) {
H
Hongze Cheng 已提交
1332
      // TODO
H
Hongze Cheng 已提交
1333
      ASSERT(0);
H
Hongze Cheng 已提交
1334
      return 0;
H
Hongze Cheng 已提交
1335 1336 1337
    }

    pBtc->iPage = 0;
H
Hongze Cheng 已提交
1338 1339 1340 1341
    pBtc->idx = -1;
    // for empty tree, just return with an invalid position
    if (TDB_PAGE_TOTAL_CELLS(pBtc->pPage) == 0) return 0;
  } else {
H
Hongze Cheng 已提交
1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375
    SPage *pPage;
    int    idx;
    int    iPage = 0;

    // downward search
    for (; iPage < pBtc->iPage; iPage++) {
      pPage = pBtc->pgStack[iPage];
      idx = pBtc->idxStack[iPage];
      nCells = TDB_PAGE_TOTAL_CELLS(pPage);

      ASSERT(!TDB_BTREE_PAGE_IS_LEAF(pPage));

      // check if key <= current position
      if (idx < nCells) {
        pCell = tdbPageGetCell(pPage, idx);
        tdbBtreeDecodeCell(pPage, pCell, &cd);
        c = pBt->kcmpr(pKey, kLen, cd.pKey, cd.kLen);
        if (c > 0) break;
      }

      // check if key > current - 1 position
      if (idx > 0) {
        pCell = tdbPageGetCell(pPage, idx - 1);
        tdbBtreeDecodeCell(pPage, pCell, &cd);
        c = pBt->kcmpr(pKey, kLen, cd.pKey, cd.kLen);
        if (c <= 0) break;
      }
    }

    // move upward
    for (;;) {
      if (pBtc->iPage == iPage) break;
      tdbBtcMoveUpward(pBtc);
    }
H
Hongze Cheng 已提交
1376
  }
H
Hongze Cheng 已提交
1377

H
Hongze Cheng 已提交
1378 1379
  // search downward to the leaf
  for (;;) {
H
Hongze Cheng 已提交
1380
    int    lidx, ridx, midx;
H
Hongze Cheng 已提交
1381
    SPage *pPage;
H
Hongze Cheng 已提交
1382

H
Hongze Cheng 已提交
1383 1384 1385 1386
    pPage = pBtc->pPage;
    nCells = TDB_PAGE_TOTAL_CELLS(pPage);
    lidx = 0;
    ridx = nCells - 1;
H
Hongze Cheng 已提交
1387

H
Hongze Cheng 已提交
1388 1389
    ASSERT(nCells > 0);
    ASSERT(pBtc->idx == -1);
H
Hongze Cheng 已提交
1390

H
Hongze Cheng 已提交
1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414
    // compare first cell
    midx = lidx;
    pCell = tdbPageGetCell(pPage, midx);
    tdbBtreeDecodeCell(pPage, pCell, &cd);
    c = pBt->kcmpr(pKey, kLen, cd.pKey, cd.kLen);
    if (c <= 0) {
      ridx = lidx - 1;
    } else {
      lidx = lidx + 1;
    }

    // compare last cell
    if (lidx <= ridx) {
      midx = ridx;
      pCell = tdbPageGetCell(pPage, midx);
      tdbBtreeDecodeCell(pPage, pCell, &cd);
      c = pBt->kcmpr(pKey, kLen, cd.pKey, cd.kLen);
      if (c >= 0) {
        lidx = ridx + 1;
      } else {
        ridx = ridx - 1;
      }
    }

H
Hongze Cheng 已提交
1415 1416 1417
    // binary search
    for (;;) {
      if (lidx > ridx) break;
H
Hongze Cheng 已提交
1418

H
Hongze Cheng 已提交
1419
      midx = (lidx + ridx) >> 1;
H
Hongze Cheng 已提交
1420

H
Hongze Cheng 已提交
1421 1422 1423 1424 1425 1426 1427
      pCell = tdbPageGetCell(pPage, midx);
      ret = tdbBtreeDecodeCell(pPage, pCell, &cd);
      if (ret < 0) {
        // TODO: handle error
        ASSERT(0);
        return -1;
      }
H
Hongze Cheng 已提交
1428

H
Hongze Cheng 已提交
1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439
      // Compare the key values
      c = pBt->kcmpr(pKey, kLen, cd.pKey, cd.kLen);
      if (c < 0) {
        // pKey < cd.pKey
        ridx = midx - 1;
      } else if (c > 0) {
        // pKey > cd.pKey
        lidx = midx + 1;
      } else {
        // pKey == cd.pKey
        break;
H
Hongze Cheng 已提交
1440
      }
H
Hongze Cheng 已提交
1441
    }
H
Hongze Cheng 已提交
1442

H
Hongze Cheng 已提交
1443 1444 1445 1446 1447 1448 1449
    // keep search downward or break
    if (TDB_BTREE_PAGE_IS_LEAF(pPage)) {
      pBtc->idx = midx;
      *pCRst = c;
      break;
    } else {
      if (c <= 0) {
H
Hongze Cheng 已提交
1450 1451
        pBtc->idx = midx;
      } else {
H
Hongze Cheng 已提交
1452
        pBtc->idx = midx + 1;
H
Hongze Cheng 已提交
1453
      }
H
Hongze Cheng 已提交
1454
      tdbBtcMoveDownward(pBtc);
H
Hongze Cheng 已提交
1455 1456 1457 1458 1459 1460
    }
  }

  return 0;
}

H
refact  
Hongze Cheng 已提交
1461 1462 1463 1464 1465 1466
int tdbBtcClose(SBTC *pBtc) {
  if (pBtc->iPage < 0) return 0;

  for (;;) {
    ASSERT(pBtc->pPage);

H
Hongze Cheng 已提交
1467
    tdbPagerReturnPage(pBtc->pBt->pPager, pBtc->pPage, pBtc->pTxn);
H
refact  
Hongze Cheng 已提交
1468 1469 1470 1471 1472 1473 1474 1475 1476 1477

    pBtc->iPage--;
    if (pBtc->iPage < 0) break;

    pBtc->pPage = pBtc->pgStack[pBtc->iPage];
    pBtc->idx = pBtc->idxStack[pBtc->iPage];
  }

  return 0;
}
H
refact  
Hongze Cheng 已提交
1478
// TDB_BTREE_CURSOR
H
Hongze Cheng 已提交
1479

H
refact  
Hongze Cheng 已提交
1480
// TDB_BTREE_DEBUG =====================
H
Hongze Cheng 已提交
1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499
#ifndef NODEBUG
typedef struct {
  SPgno pgno;
  u8    root;
  u8    leaf;
  SPgno rChild;
  int   nCells;
  int   nOvfl;
} SBtPageInfo;

SBtPageInfo btPageInfos[20];

void tdbBtPageInfo(SPage *pPage, int idx) {
  SBtPageInfo *pBtPageInfo;

  pBtPageInfo = btPageInfos + idx;

  pBtPageInfo->pgno = TDB_PAGE_PGNO(pPage);

H
refact  
Hongze Cheng 已提交
1500 1501
  pBtPageInfo->root = TDB_BTREE_PAGE_IS_ROOT(pPage);
  pBtPageInfo->leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
H
Hongze Cheng 已提交
1502 1503 1504 1505 1506 1507 1508 1509 1510

  pBtPageInfo->rChild = 0;
  if (!pBtPageInfo->leaf) {
    pBtPageInfo->rChild = *(SPgno *)(pPage->pData + 1);
  }

  pBtPageInfo->nCells = TDB_PAGE_TOTAL_CELLS(pPage) - pPage->nOverflow;
  pBtPageInfo->nOvfl = pPage->nOverflow;
}
H
refact  
Hongze Cheng 已提交
1511 1512
#endif
// TDB_BTREE_DEBUG