tdbBtree.c 59.7 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
#define TDB_BTREE_ROOT 0x1
#define TDB_BTREE_LEAF 0x2
20
#define TDB_BTREE_OVFL 0x4
H
Hongze Cheng 已提交
21

H
Hongze Cheng 已提交
22
struct SBTree {
H
Hongze Cheng 已提交
23 24 25 26 27 28 29 30 31 32
  SPgno         root;
  int           keyLen;
  int           valLen;
  SPager       *pPager;
  tdb_cmpr_fn_t kcmpr;
  int           pageSize;
  int           maxLocal;
  int           minLocal;
  int           maxLeaf;
  int           minLeaf;
M
Minglei Jin 已提交
33 34
  SBtInfo       info;
  char         *tbname;
H
Hongze Cheng 已提交
35
  void         *pBuf;
H
Hongze Cheng 已提交
36 37
};

H
Hongze Cheng 已提交
38 39
#define TDB_BTREE_PAGE_COMMON_HDR u8 flags;

H
Hongze Cheng 已提交
40
#define TDB_BTREE_PAGE_GET_FLAGS(PAGE)        (PAGE)->pData[0]
H
Hongze Cheng 已提交
41
#define TDB_BTREE_PAGE_SET_FLAGS(PAGE, flags) ((PAGE)->pData[0] = (flags))
H
Hongze Cheng 已提交
42 43
#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)
44
#define TDB_BTREE_PAGE_IS_OVFL(PAGE)          (TDB_BTREE_PAGE_GET_FLAGS(PAGE) & TDB_BTREE_OVFL)
45
#define TDB_BTREE_ASSERT_FLAG(flags)                                                     \
46
  ASSERT(TDB_FLAG_IS(flags, TDB_BTREE_ROOT) || TDB_FLAG_IS(flags, TDB_BTREE_LEAF) ||     \
47 48
         TDB_FLAG_IS(flags, TDB_BTREE_ROOT | TDB_BTREE_LEAF) || TDB_FLAG_IS(flags, 0) || \
         TDB_FLAG_IS(flags, TDB_BTREE_OVFL))
H
Hongze Cheng 已提交
49

H
Hongze Cheng 已提交
50
#pragma pack(push, 1)
wafwerar's avatar
wafwerar 已提交
51
typedef struct {
H
Hongze Cheng 已提交
52 53 54
  TDB_BTREE_PAGE_COMMON_HDR
} SLeafHdr;

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

H
Hongze Cheng 已提交
61
static int tdbDefaultKeyCmprFn(const void *pKey1, int keyLen1, const void *pKey2, int keyLen2);
H
Hongze Cheng 已提交
62
static int tdbBtreeOpenImpl(SBTree *pBt);
63
// static int tdbBtreeInitPage(SPage *pPage, void *arg, int init);
H
Hongze Cheng 已提交
64
static int tdbBtreeEncodeCell(SPage *pPage, const void *pKey, int kLen, const void *pVal, int vLen, SCell *pCell,
65 66
                              int *szCell, TXN *pTxn, SBTree *pBt);
static int tdbBtreeDecodeCell(SPage *pPage, const SCell *pCell, SCellDecoder *pDecoder, TXN *pTxn, SBTree *pBt);
H
Hongze Cheng 已提交
67
static int tdbBtreeBalance(SBTC *pBtc);
68
static int tdbBtreeCellSize(const SPage *pPage, SCell *pCell, int dropOfp, TXN *pTxn, SBTree *pBt);
H
Hongze Cheng 已提交
69
static int tdbBtcMoveDownward(SBTC *pBtc);
H
Hongze Cheng 已提交
70
static int tdbBtcMoveUpward(SBTC *pBtc);
H
Hongze Cheng 已提交
71

72
int tdbBtreeOpen(int keyLen, int valLen, SPager *pPager, char const *tbname, SPgno pgno, tdb_cmpr_fn_t kcmpr, TDB *pEnv,
73
                 SBTree **ppBt) {
H
Hongze Cheng 已提交
74
  SBTree *pBt;
H
Hongze Cheng 已提交
75
  int     ret;
H
more  
Hongze Cheng 已提交
76

77 78 79 80
  if (keyLen == 0) {
    tdbError("tdb/btree-open: key len cannot be zero.");
    return -1;
  }
H
Hongze Cheng 已提交
81

H
Hongze Cheng 已提交
82
  *ppBt = NULL;
H
Hongze Cheng 已提交
83

H
Hongze Cheng 已提交
84
  pBt = (SBTree *)tdbOsCalloc(1, sizeof(*pBt));
H
Hongze Cheng 已提交
85 86 87 88 89
  if (pBt == NULL) {
    return -1;
  }

  // pBt->keyLen
H
Hongze Cheng 已提交
90
  pBt->keyLen = keyLen < 0 ? TDB_VARIANT_LEN : keyLen;
H
Hongze Cheng 已提交
91
  // pBt->valLen
H
Hongze Cheng 已提交
92
  pBt->valLen = valLen < 0 ? TDB_VARIANT_LEN : valLen;
H
refact  
Hongze Cheng 已提交
93 94
  // pBt->pPager
  pBt->pPager = pPager;
H
Hongze Cheng 已提交
95 96
  // pBt->kcmpr
  pBt->kcmpr = kcmpr ? kcmpr : tdbDefaultKeyCmprFn;
H
Hongze Cheng 已提交
97
  // pBt->pageSize
H
Hongze Cheng 已提交
98
  pBt->pageSize = pPager->pageSize;
H
Hongze Cheng 已提交
99
  // pBt->maxLocal
H
Hongze Cheng 已提交
100
  pBt->maxLocal = tdbPageCapacity(pBt->pageSize, sizeof(SIntHdr)) / 4;
H
Hongze Cheng 已提交
101
  // pBt->minLocal: Should not be allowed smaller than 15, which is [nPayload][nKey][nData]
H
Hongze Cheng 已提交
102
  pBt->minLocal = pBt->maxLocal / 2;
H
Hongze Cheng 已提交
103
  // pBt->maxLeaf
H
Hongze Cheng 已提交
104
  pBt->maxLeaf = tdbPageCapacity(pBt->pageSize, sizeof(SLeafHdr));
H
Hongze Cheng 已提交
105 106
  // pBt->minLeaf
  pBt->minLeaf = pBt->minLocal;
H
Hongze Cheng 已提交
107

108 109 110 111
  // if pgno == 0 fetch new btree root leaf page
  if (pgno == 0) {
    // fetch page & insert into main db
    SPage *pPage;
112
    TXN   *txn;
113

114 115
    ret = tdbBegin(pEnv, &txn, tdbDefaultMalloc, tdbDefaultFree, NULL, TDB_TXN_WRITE | TDB_TXN_READ_UNCOMMITTED);
    if (ret < 0) {
M
Minglei Jin 已提交
116
      tdbOsFree(pBt);
117 118
      return -1;
    }
119 120 121 122

    SBtreeInitPageArg zArg;
    zArg.flags = 0x1 | 0x2;  // root leaf node;
    zArg.pBt = pBt;
123
    ret = tdbPagerFetchPage(pPager, &pgno, &pPage, tdbBtreeInitPage, &zArg, txn);
124
    if (ret < 0) {
125
      tdbAbort(pEnv, txn);
M
Minglei Jin 已提交
126
      tdbOsFree(pBt);
127 128 129 130 131
      return -1;
    }

    ret = tdbPagerWrite(pPager, pPage);
    if (ret < 0) {
132
      tdbError("failed to write page since %s", terrstr());
133
      tdbAbort(pEnv, txn);
M
Minglei Jin 已提交
134
      tdbOsFree(pBt);
135 136
      return -1;
    }
M
Minglei Jin 已提交
137

138
    if (strcmp(TDB_MAINDB_NAME, tbname)) {
M
Minglei Jin 已提交
139 140 141 142
      pBt->info.root = pgno;
      pBt->info.nLevel = 1;
      pBt->info.nData = 0;
      pBt->tbname = (char *)tbname;
143 144

      ret = tdbTbInsert(pPager->pEnv->pMainDb, tbname, strlen(tbname) + 1, &pBt->info, sizeof(pBt->info), txn);
145
      if (ret < 0) {
146
        tdbAbort(pEnv, txn);
M
Minglei Jin 已提交
147
        tdbOsFree(pBt);
148 149 150
        return -1;
      }
    }
M
Minglei Jin 已提交
151

152 153 154 155
    tdbPCacheRelease(pPager->pCache, pPage, txn);

    tdbCommit(pPager->pEnv, txn);
    tdbPostCommit(pPager->pEnv, txn);
156 157
  }

158 159 160 161 162
  if (pgno == 0) {
    tdbError("tdb/btree-open: pgno cannot be zero.");
    tdbOsFree(pBt);
    return -1;
  }
163 164
  pBt->root = pgno;
  /*
H
Hongze Cheng 已提交
165 166 167
  // TODO: pBt->root
  ret = tdbBtreeOpenImpl(pBt);
  if (ret < 0) {
H
Hongze Cheng 已提交
168
    tdbOsFree(pBt);
H
Hongze Cheng 已提交
169 170
    return -1;
  }
171
  */
H
Hongze Cheng 已提交
172
  *ppBt = pBt;
H
Hongze Cheng 已提交
173 174 175 176
  return 0;
}

int tdbBtreeClose(SBTree *pBt) {
H
Hongze Cheng 已提交
177
  if (pBt) {
H
Hongze Cheng 已提交
178
    tdbFree(pBt->pBuf);
H
Hongze Cheng 已提交
179 180
    tdbOsFree(pBt);
  }
H
Hongze Cheng 已提交
181 182 183
  return 0;
}

H
Hongze Cheng 已提交
184
int tdbBtreeInsert(SBTree *pBt, const void *pKey, int kLen, const void *pVal, int vLen, TXN *pTxn) {
H
Hongze Cheng 已提交
185 186 187 188 189 190 191 192 193
  SBTC   btc;
  SCell *pCell;
  void  *pBuf;
  int    szCell;
  int    szBuf;
  int    ret;
  int    idx;
  int    c;

H
Hongze Cheng 已提交
194
  tdbBtcOpen(&btc, pBt, pTxn);
H
Hongze Cheng 已提交
195

196 197
  tdbTrace("tdb insert, btc: %p, pTxn: %p", &btc, pTxn);

H
Hongze Cheng 已提交
198 199
  // move to the position to insert
  ret = tdbBtcMoveTo(&btc, pKey, kLen, &c);
H
Hongze Cheng 已提交
200
  if (ret < 0) {
H
Hongze Cheng 已提交
201
    tdbBtcClose(&btc);
202
    tdbError("tdb/btree-insert: btc move to failed with ret: %d.", ret);
H
Hongze Cheng 已提交
203 204 205
    return -1;
  }

H
Hongze Cheng 已提交
206
  if (btc.idx == -1) {
H
Hongze Cheng 已提交
207
    btc.idx = 0;
H
Hongze Cheng 已提交
208
  } else {
H
Hongze Cheng 已提交
209
    if (c > 0) {
H
Hongze Cheng 已提交
210 211
      btc.idx++;
    } else if (c == 0) {
212 213 214
      // dup key not allowed with insert
      tdbBtcClose(&btc);
      tdbError("tdb/btree-insert: dup key. pKey: %p, kLen: %d, btc: %p, pTxn: %p", pKey, kLen, &btc, pTxn);
H
Hongze Cheng 已提交
215 216 217 218
      return -1;
    }
  }

H
Hongze Cheng 已提交
219 220 221
  ret = tdbBtcUpsert(&btc, pKey, kLen, pVal, vLen, 1);
  if (ret < 0) {
    tdbBtcClose(&btc);
222
    tdbError("tdb/btree-insert: btc upsert failed with ret: %d.", ret);
H
Hongze Cheng 已提交
223 224
    return -1;
  }
H
Hongze Cheng 已提交
225

H
Hongze Cheng 已提交
226 227 228 229 230 231 232 233 234 235 236
  tdbBtcClose(&btc);
  return 0;
}

int tdbBtreeDelete(SBTree *pBt, const void *pKey, int kLen, TXN *pTxn) {
  SBTC btc;
  int  c;
  int  ret;

  tdbBtcOpen(&btc, pBt, pTxn);

237 238
  tdbTrace("tdb delete, btc: %p, pTxn: %p", &btc, pTxn);

H
Hongze Cheng 已提交
239 240
  // move the cursor
  ret = tdbBtcMoveTo(&btc, pKey, kLen, &c);
H
Hongze Cheng 已提交
241
  if (ret < 0) {
H
Hongze Cheng 已提交
242
    tdbBtcClose(&btc);
243
    tdbError("tdb/btree-delete: btc move to failed with ret: %d.", ret);
H
more  
Hongze Cheng 已提交
244 245 246
    return -1;
  }

H
Hongze Cheng 已提交
247
  if (btc.idx < 0 || c != 0) {
H
more  
Hongze Cheng 已提交
248
    tdbBtcClose(&btc);
H
Hongze Cheng 已提交
249 250
    return -1;
  }
H
Hongze Cheng 已提交
251

H
Hongze Cheng 已提交
252 253
  // delete the key
  if (tdbBtcDelete(&btc) < 0) {
H
Hongze Cheng 已提交
254
    tdbBtcClose(&btc);
H
Hongze Cheng 已提交
255
    return -1;
H
Hongze Cheng 已提交
256 257
  }

H
Hongze Cheng 已提交
258
  tdbBtcClose(&btc);
H
more  
Hongze Cheng 已提交
259 260 261
  return 0;
}

H
Hongze Cheng 已提交
262
int tdbBtreeUpsert(SBTree *pBt, const void *pKey, int nKey, const void *pData, int nData, TXN *pTxn) {
H
Hongze Cheng 已提交
263 264 265 266 267 268
  SBTC btc;
  int  c;
  int  ret;

  tdbBtcOpen(&btc, pBt, pTxn);

269 270
  tdbTrace("tdb upsert, btc: %p, pTxn: %p", &btc, pTxn);

H
Hongze Cheng 已提交
271
  // move the cursor
H
Hongze Cheng 已提交
272
  ret = tdbBtcMoveTo(&btc, pKey, nKey, &c);
H
Hongze Cheng 已提交
273
  if (ret < 0) {
274
    tdbError("tdb/btree-upsert: btc move to failed with ret: %d.", ret);
H
Hongze Cheng 已提交
275
    tdbBtcClose(&btc);
H
Hongze Cheng 已提交
276 277 278
    return -1;
  }

H
Hongze Cheng 已提交
279 280 281 282 283 284 285
  if (btc.idx == -1) {
    btc.idx = 0;
    c = 1;
  } else {
    if (c > 0) {
      btc.idx = btc.idx + 1;
    }
H
Hongze Cheng 已提交
286 287
  }

H
Hongze Cheng 已提交
288 289
  ret = tdbBtcUpsert(&btc, pKey, nKey, pData, nData, c);
  if (ret < 0) {
H
Hongze Cheng 已提交
290
    tdbBtcClose(&btc);
291
    tdbError("tdb/btree-upsert: btc upsert failed with ret: %d.", ret);
H
Hongze Cheng 已提交
292 293 294 295 296 297 298
    return -1;
  }

  tdbBtcClose(&btc);
  return 0;
}

H
Hongze Cheng 已提交
299
int tdbBtreeGet(SBTree *pBt, const void *pKey, int kLen, void **ppVal, int *vLen) {
H
Hongze Cheng 已提交
300 301 302 303
  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 已提交
304
  SBTC         btc;
H
Hongze Cheng 已提交
305 306
  SCell       *pCell;
  int          cret;
H
Hongze Cheng 已提交
307
  int          ret;
H
Hongze Cheng 已提交
308 309
  void        *pTKey = NULL;
  void        *pTVal = NULL;
310
  SCellDecoder cd = {0};
H
Hongze Cheng 已提交
311

H
Hongze Cheng 已提交
312
  tdbBtcOpen(&btc, pBt, NULL);
H
Hongze Cheng 已提交
313

314 315
  tdbTrace("tdb pget, btc: %p", &btc);

H
Hongze Cheng 已提交
316 317 318
  ret = tdbBtcMoveTo(&btc, pKey, kLen, &cret);
  if (ret < 0) {
    tdbBtcClose(&btc);
319 320
    tdbError("tdb/btree-pget: btc move to failed with ret: %d.", ret);
    return -1;
H
Hongze Cheng 已提交
321
  }
H
Hongze Cheng 已提交
322

H
Hongze Cheng 已提交
323
  if (btc.idx < 0 || cret) {
H
Hongze Cheng 已提交
324
    tdbBtcClose(&btc);
325

H
Hongze Cheng 已提交
326
    return -1;
H
Hongze Cheng 已提交
327 328 329
  }

  pCell = tdbPageGetCell(btc.pPage, btc.idx);
330
  tdbBtreeDecodeCell(btc.pPage, pCell, &cd, btc.pTxn, pBt);
H
Hongze Cheng 已提交
331

H
Hongze Cheng 已提交
332
  if (ppKey) {
H
Hongze Cheng 已提交
333
    pTKey = tdbRealloc(*ppKey, cd.kLen);
H
Hongze Cheng 已提交
334 335
    if (pTKey == NULL) {
      tdbBtcClose(&btc);
336
      tdbError("tdb/btree-pget: realloc pTKey failed.");
H
Hongze Cheng 已提交
337 338 339 340 341
      return -1;
    }
    *ppKey = pTKey;
    *pkLen = cd.kLen;
    memcpy(*ppKey, cd.pKey, cd.kLen);
342 343
  }

H
Hongze Cheng 已提交
344
  if (ppVal) {
H
Hongze Cheng 已提交
345
    pTVal = tdbRealloc(*ppVal, cd.vLen);
H
Hongze Cheng 已提交
346 347
    if (pTVal == NULL) {
      tdbBtcClose(&btc);
348
      tdbError("tdb/btree-pget: realloc pTVal failed.");
H
Hongze Cheng 已提交
349 350 351 352 353
      return -1;
    }
    *ppVal = pTVal;
    *vLen = cd.vLen;
    memcpy(*ppVal, cd.pVal, cd.vLen);
354
  }
H
Hongze Cheng 已提交
355

356 357 358 359 360
  if (TDB_CELLDECODER_FREE_KEY(&cd)) {
    tdbFree(cd.pKey);
  }

  if (TDB_CELLDECODER_FREE_VAL(&cd)) {
361
    tdbTrace("tdb btc/pget/2 decoder: %p pVal free: %p", &cd, cd.pVal);
362

363 364 365
    tdbFree(cd.pVal);
  }

366 367
  tdbTrace("tdb pget end, btc decoder: %p/0x%x, local decoder:%p", &btc.coder, btc.coder.freeKV, &cd);

H
Hongze Cheng 已提交
368 369
  tdbBtcClose(&btc);

370 371 372
  return 0;
}

H
Hongze Cheng 已提交
373 374 375 376
static int tdbDefaultKeyCmprFn(const void *pKey1, int keyLen1, const void *pKey2, int keyLen2) {
  int mlen;
  int cret;

377 378 379
  if (ASSERT(keyLen1 > 0 && keyLen2 > 0 && pKey1 != NULL && pKey2 != NULL)) {
    // -1 is less than
  }
H
Hongze Cheng 已提交
380 381 382 383 384 385 386 387 388 389 390 391 392

  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 已提交
393 394
}

395
int tdbBtreeInitPage(SPage *pPage, void *arg, int init) {
H
Hongze Cheng 已提交
396
  SBTree *pBt;
H
Hongze Cheng 已提交
397
  u8      flags;
H
Hongze Cheng 已提交
398
  u8      leaf;
H
Hongze Cheng 已提交
399

H
Hongze Cheng 已提交
400
  pBt = ((SBtreeInitPageArg *)arg)->pBt;
H
Hongze Cheng 已提交
401

H
Hongze Cheng 已提交
402 403 404 405 406
  if (init) {
    // init page
    flags = TDB_BTREE_PAGE_GET_FLAGS(pPage);
    leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
    TDB_BTREE_ASSERT_FLAG(flags);
H
Hongze Cheng 已提交
407

H
Hongze Cheng 已提交
408
    tdbPageInit(pPage, leaf ? sizeof(SLeafHdr) : sizeof(SIntHdr), tdbBtreeCellSize);
H
Hongze Cheng 已提交
409
  } else {
H
Hongze Cheng 已提交
410 411 412 413
    // zero page
    flags = ((SBtreeInitPageArg *)arg)->flags;
    leaf = flags & TDB_BTREE_LEAF;
    TDB_BTREE_ASSERT_FLAG(flags);
H
Hongze Cheng 已提交
414

H
Hongze Cheng 已提交
415
    tdbPageZero(pPage, leaf ? sizeof(SLeafHdr) : sizeof(SIntHdr), tdbBtreeCellSize);
H
Hongze Cheng 已提交
416

H
Hongze Cheng 已提交
417 418 419
    if (leaf) {
      SLeafHdr *pLeafHdr = (SLeafHdr *)(pPage->pData);
      pLeafHdr->flags = flags;
H
Hongze Cheng 已提交
420

H
Hongze Cheng 已提交
421 422 423 424 425 426
    } else {
      SIntHdr *pIntHdr = (SIntHdr *)(pPage->pData);
      pIntHdr->flags = flags;
      pIntHdr->pgno = 0;
    }
  }
H
Hongze Cheng 已提交
427

H
refact  
Hongze Cheng 已提交
428
  if (leaf) {
H
Hongze Cheng 已提交
429 430 431 432
    pPage->kLen = pBt->keyLen;
    pPage->vLen = pBt->valLen;
    pPage->maxLocal = pBt->maxLeaf;
    pPage->minLocal = pBt->minLeaf;
433 434 435 436 437
  } else if (TDB_BTREE_PAGE_IS_OVFL(pPage)) {
    pPage->kLen = pBt->keyLen;
    pPage->vLen = pBt->valLen;
    pPage->maxLocal = tdbPageCapacity(pBt->pageSize, sizeof(SIntHdr));
    pPage->minLocal = pBt->minLocal;
H
Hongze Cheng 已提交
438 439 440 441 442 443
  } else {
    pPage->kLen = pBt->keyLen;
    pPage->vLen = sizeof(SPgno);
    pPage->maxLocal = pBt->maxLocal;
    pPage->minLocal = pBt->minLocal;
  }
H
Hongze Cheng 已提交
444

H
Hongze Cheng 已提交
445
  return 0;
H
Hongze Cheng 已提交
446 447
}

H
Hongze Cheng 已提交
448
// TDB_BTREE_BALANCE =====================
H
Hongze Cheng 已提交
449
static int tdbBtreeBalanceDeeper(SBTree *pBt, SPage *pRoot, SPage **ppChild, TXN *pTxn) {
H
Hongze Cheng 已提交
450 451 452 453
  SPager           *pPager;
  SPage            *pChild;
  SPgno             pgnoChild;
  int               ret;
H
Hongze Cheng 已提交
454
  u8                flags;
H
Hongze Cheng 已提交
455
  SIntHdr          *pIntHdr;
H
Hongze Cheng 已提交
456
  SBtreeInitPageArg zArg;
H
Hongze Cheng 已提交
457
  u8                leaf;
H
Hongze Cheng 已提交
458 459

  pPager = pRoot->pPager;
H
Hongze Cheng 已提交
460
  flags = TDB_BTREE_PAGE_GET_FLAGS(pRoot);
H
refact  
Hongze Cheng 已提交
461
  leaf = TDB_BTREE_PAGE_IS_LEAF(pRoot);
H
Hongze Cheng 已提交
462

H
Hongze Cheng 已提交
463 464
  // allocate a new child page
  pgnoChild = 0;
H
Hongze Cheng 已提交
465
  zArg.flags = TDB_FLAG_REMOVE(flags, TDB_BTREE_ROOT);
H
Hongze Cheng 已提交
466
  zArg.pBt = pBt;
H
Hongze Cheng 已提交
467
  ret = tdbPagerFetchPage(pPager, &pgnoChild, &pChild, tdbBtreeInitPage, &zArg, pTxn);
H
Hongze Cheng 已提交
468 469 470 471
  if (ret < 0) {
    return -1;
  }

H
Hongze Cheng 已提交
472 473 474 475
  if (!leaf) {
    ((SIntHdr *)pChild->pData)->pgno = ((SIntHdr *)(pRoot->pData))->pgno;
  }

H
Hongze Cheng 已提交
476 477
  ret = tdbPagerWrite(pPager, pChild);
  if (ret < 0) {
478 479
    tdbError("failed to write page since %s", terrstr());
    return -1;
H
Hongze Cheng 已提交
480 481
  }

H
Hongze Cheng 已提交
482
  // Copy the root page content to the child page
483
  tdbPageCopy(pRoot, pChild, 0);
H
Hongze Cheng 已提交
484 485 486 487

  // Reinitialize the root page
  zArg.flags = TDB_BTREE_ROOT;
  zArg.pBt = pBt;
H
Hongze Cheng 已提交
488
  ret = tdbBtreeInitPage(pRoot, &zArg, 0);
H
Hongze Cheng 已提交
489 490 491 492
  if (ret < 0) {
    return -1;
  }

H
Hongze Cheng 已提交
493
  pIntHdr = (SIntHdr *)(pRoot->pData);
H
Hongze Cheng 已提交
494
  pIntHdr->pgno = pgnoChild;
H
Hongze Cheng 已提交
495

H
Hongze Cheng 已提交
496 497 498 499
  *ppChild = pChild;
  return 0;
}

H
Hongze Cheng 已提交
500
static int tdbBtreeBalanceNonRoot(SBTree *pBt, SPage *pParent, int idx, TXN *pTxn) {
H
Hongze Cheng 已提交
501 502
  int ret;

M
Minglei Jin 已提交
503
  int    nOlds, pageIdx;
H
Hongze Cheng 已提交
504
  SPage *pOlds[3] = {0};
H
Hongze Cheng 已提交
505 506
  SCell *pDivCell[3] = {0};
  int    szDivCell[3];
H
Hongze Cheng 已提交
507
  int    sIdx;
H
Hongze Cheng 已提交
508
  u8     childNotLeaf;
H
Hongze Cheng 已提交
509
  SPgno  rPgno;
H
Hongze Cheng 已提交
510

H
Hongze Cheng 已提交
511
  {  // Find 3 child pages at most to do balance
H
Hongze Cheng 已提交
512 513 514
    int    nCells = TDB_PAGE_TOTAL_CELLS(pParent);
    SCell *pCell;

H
Hongze Cheng 已提交
515 516 517 518 519 520 521 522 523 524 525 526 527 528
    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 已提交
529
    for (int i = 0; i < nOlds; i++) {
530 531 532
      if (ASSERT(sIdx + i <= nCells)) {
        return -1;
      }
H
Hongze Cheng 已提交
533

H
Hongze Cheng 已提交
534
      SPgno pgno;
H
Hongze Cheng 已提交
535
      if (sIdx + i == nCells) {
536 537 538
        if (ASSERT(!TDB_BTREE_PAGE_IS_LEAF(pParent))) {
          return -1;
        }
H
Hongze Cheng 已提交
539 540
        pgno = ((SIntHdr *)(pParent->pData))->pgno;
      } else {
H
Hongze Cheng 已提交
541
        pCell = tdbPageGetCell(pParent, sIdx + i);
H
Hongze Cheng 已提交
542 543 544
        pgno = *(SPgno *)pCell;
      }

H
Hongze Cheng 已提交
545 546
      ret = tdbPagerFetchPage(pBt->pPager, &pgno, pOlds + i, tdbBtreeInitPage,
                              &((SBtreeInitPageArg){.pBt = pBt, .flags = 0}), pTxn);
H
Hongze Cheng 已提交
547
      if (ret < 0) {
548
        tdbError("tdb/btree-balance: fetch page failed with ret: %d.", ret);
H
Hongze Cheng 已提交
549 550
        return -1;
      }
H
Hongze Cheng 已提交
551 552 553

      ret = tdbPagerWrite(pBt->pPager, pOlds[i]);
      if (ret < 0) {
554
        tdbError("failed to write page since %s", terrstr());
H
Hongze Cheng 已提交
555 556
        return -1;
      }
H
Hongze Cheng 已提交
557
    }
H
Hongze Cheng 已提交
558
    // copy the parent key out if child pages are not leaf page
H
refact  
Hongze Cheng 已提交
559
    childNotLeaf = !TDB_BTREE_PAGE_IS_LEAF(pOlds[0]);
H
Hongze Cheng 已提交
560
    if (childNotLeaf) {
H
Hongze Cheng 已提交
561 562 563
      for (int i = 0; i < nOlds; i++) {
        if (sIdx + i < TDB_PAGE_TOTAL_CELLS(pParent)) {
          pCell = tdbPageGetCell(pParent, sIdx + i);
564
          szDivCell[i] = tdbBtreeCellSize(pParent, pCell, 0, NULL, NULL);
H
Hongze Cheng 已提交
565
          pDivCell[i] = tdbOsMalloc(szDivCell[i]);
H
Hongze Cheng 已提交
566 567
          memcpy(pDivCell[i], pCell, szDivCell[i]);
        }
H
Hongze Cheng 已提交
568

H
Hongze Cheng 已提交
569 570 571
        if (i < nOlds - 1) {
          ((SPgno *)pDivCell[i])[0] = ((SIntHdr *)pOlds[i]->pData)->pgno;
          ((SIntHdr *)pOlds[i]->pData)->pgno = 0;
H
Hongze Cheng 已提交
572
          tdbPageInsertCell(pOlds[i], TDB_PAGE_TOTAL_CELLS(pOlds[i]), pDivCell[i], szDivCell[i], 1);
H
Hongze Cheng 已提交
573
        }
H
Hongze Cheng 已提交
574
      }
H
Hongze Cheng 已提交
575
      rPgno = ((SIntHdr *)pOlds[nOlds - 1]->pData)->pgno;
H
Hongze Cheng 已提交
576
    }
H
Hongze Cheng 已提交
577 578 579

    ret = tdbPagerWrite(pBt->pPager, pParent);
    if (ret < 0) {
580
      tdbError("failed to write page since %s", terrstr());
H
Hongze Cheng 已提交
581 582 583
      return -1;
    }

H
Hongze Cheng 已提交
584
    // drop the cells on parent page
H
Hongze Cheng 已提交
585 586 587
    for (int i = 0; i < nOlds; i++) {
      nCells = TDB_PAGE_TOTAL_CELLS(pParent);
      if (sIdx < nCells) {
588
        tdbPageDropCell(pParent, sIdx, pTxn, pBt);
H
Hongze Cheng 已提交
589 590 591 592
      } else {
        ((SIntHdr *)pParent->pData)->pgno = 0;
      }
    }
H
Hongze Cheng 已提交
593 594
  }

H
Hongze Cheng 已提交
595
  int nNews = 0;
H
Hongze Cheng 已提交
596
  struct {
H
Hongze Cheng 已提交
597 598 599 600
    int cnt;
    int size;
    int iPage;
    int oIdx;
H
Hongze Cheng 已提交
601
  } infoNews[5] = {0};
H
Hongze Cheng 已提交
602 603 604

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

H
Hongze Cheng 已提交
605 606 607
    // first loop to find minimum number of pages needed
    for (int oPage = 0; oPage < nOlds; oPage++) {
      SPage *pPage = pOlds[oPage];
H
Hongze Cheng 已提交
608 609
      SCell *pCell;
      int    cellBytes;
H
Hongze Cheng 已提交
610
      int    oIdx;
H
Hongze Cheng 已提交
611

H
Hongze Cheng 已提交
612
      for (oIdx = 0; oIdx < TDB_PAGE_TOTAL_CELLS(pPage); oIdx++) {
H
Hongze Cheng 已提交
613
        pCell = tdbPageGetCell(pPage, oIdx);
H
Hongze Cheng 已提交
614 615
        cellBytes = TDB_BYTES_CELL_TAKEN(pPage, pCell);

H
Hongze Cheng 已提交
616 617
        if (infoNews[nNews].size + cellBytes > TDB_PAGE_USABLE_SIZE(pPage)) {
          // page is full, use a new page
H
Hongze Cheng 已提交
618
          nNews++;
H
Hongze Cheng 已提交
619

620
          ASSERT(infoNews[nNews].size + cellBytes <= TDB_PAGE_USABLE_SIZE(pPage));
H
Hongze Cheng 已提交
621 622 623 624 625 626

          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 已提交
627
        }
H
Hongze Cheng 已提交
628 629
        infoNews[nNews].cnt++;
        infoNews[nNews].size += cellBytes;
H
Hongze Cheng 已提交
630
        infoNews[nNews].iPage = oPage;
H
Hongze Cheng 已提交
631
        infoNews[nNews].oIdx = oIdx;
H
Hongze Cheng 已提交
632 633 634
      }
    }

H
Hongze Cheng 已提交
635
    nNews++;
H
Hongze Cheng 已提交
636 637 638

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

H
Hongze Cheng 已提交
642
      // balance page (iNew) and (iNew-1)
H
Hongze Cheng 已提交
643
      for (;;) {
H
Hongze Cheng 已提交
644
        pCell = tdbPageGetCell(pOlds[infoNews[iNew - 1].iPage], infoNews[iNew - 1].oIdx);
H
Hongze Cheng 已提交
645

646
        szLCell = tdbBtreeCellSize(pOlds[infoNews[iNew - 1].iPage], pCell, 0, NULL, NULL);
H
Hongze Cheng 已提交
647 648
        if (!childNotLeaf) {
          szRCell = szLCell;
H
Hongze Cheng 已提交
649
        } else {
H
Hongze Cheng 已提交
650
          int    iPage = infoNews[iNew - 1].iPage;
H
Hongze Cheng 已提交
651
          int    oIdx = infoNews[iNew - 1].oIdx + 1;
H
Hongze Cheng 已提交
652
          SPage *pPage;
H
Hongze Cheng 已提交
653
          for (;;) {
H
Hongze Cheng 已提交
654
            pPage = pOlds[iPage];
H
Hongze Cheng 已提交
655 656 657 658
            if (oIdx < TDB_PAGE_TOTAL_CELLS(pPage)) {
              break;
            }

H
Hongze Cheng 已提交
659
            iPage++;
H
Hongze Cheng 已提交
660 661 662 663
            oIdx = 0;
          }

          pCell = tdbPageGetCell(pPage, oIdx);
664
          szRCell = tdbBtreeCellSize(pPage, pCell, 0, NULL, NULL);
H
Hongze Cheng 已提交
665 666
        }

667 668 669
        if (ASSERT(infoNews[iNew - 1].cnt > 0)) {
          return -1;
        }
H
Hongze Cheng 已提交
670 671 672 673 674

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

H
Hongze Cheng 已提交
675
        // Move a cell right forward
H
Hongze Cheng 已提交
676 677
        infoNews[iNew - 1].cnt--;
        infoNews[iNew - 1].size -= szLCell;
H
Hongze Cheng 已提交
678
        infoNews[iNew - 1].oIdx--;
H
Hongze Cheng 已提交
679
        for (;;) {
H
Hongze Cheng 已提交
680
          if (infoNews[iNew - 1].oIdx >= 0) {
H
Hongze Cheng 已提交
681 682
            break;
          }
H
Hongze Cheng 已提交
683

H
Hongze Cheng 已提交
684 685
          infoNews[iNew - 1].iPage--;
          infoNews[iNew - 1].oIdx = TDB_PAGE_TOTAL_CELLS(pOlds[infoNews[iNew - 1].iPage]) - 1;
H
Hongze Cheng 已提交
686 687 688
        }

        infoNews[iNew].cnt++;
H
Hongze Cheng 已提交
689
        infoNews[iNew].size += szRCell;
H
Hongze Cheng 已提交
690
      }
H
Hongze Cheng 已提交
691
    }
H
Hongze Cheng 已提交
692 693
  }

H
Hongze Cheng 已提交
694 695 696 697 698 699 700 701 702 703 704 705 706
  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 {
H
Hongze Cheng 已提交
707
        pgno = 0;
H
Hongze Cheng 已提交
708 709
        iarg.pBt = pBt;
        iarg.flags = flags;
H
Hongze Cheng 已提交
710
        ret = tdbPagerFetchPage(pBt->pPager, &pgno, pNews + iNew, tdbBtreeInitPage, &iarg, pTxn);
H
Hongze Cheng 已提交
711
        if (ret < 0) {
712 713
          tdbError("tdb/btree-balance: fetch page failed with ret: %d.", ret);
          return -1;
H
Hongze Cheng 已提交
714
        }
H
Hongze Cheng 已提交
715 716 717

        ret = tdbPagerWrite(pBt->pPager, pNews[iNew]);
        if (ret < 0) {
718
          tdbError("failed to write page since %s", terrstr());
H
Hongze Cheng 已提交
719 720
          return -1;
        }
H
Hongze Cheng 已提交
721 722
      }
    }
H
Hongze Cheng 已提交
723 724

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

H
Hongze Cheng 已提交
727
  {  // Do the real cell distribution
H
Hongze Cheng 已提交
728
    SPage            *pOldsCopy[3] = {0};
H
Hongze Cheng 已提交
729 730 731 732
    SCell            *pCell;
    int               szCell;
    SBtreeInitPageArg iarg;
    int               iNew, nNewCells;
M
Minglei Jin 已提交
733
    SCellDecoder      cd = {0};
H
Hongze Cheng 已提交
734 735 736 737

    iarg.pBt = pBt;
    iarg.flags = TDB_BTREE_PAGE_GET_FLAGS(pOlds[0]);
    for (int i = 0; i < nOlds; i++) {
H
Hongze Cheng 已提交
738 739
      tdbPageCreate(pOlds[0]->pageSize, &pOldsCopy[i], tdbDefaultMalloc, NULL);
      tdbBtreeInitPage(pOldsCopy[i], &iarg, 0);
740
      tdbPageCopy(pOlds[i], pOldsCopy[i], 0);
741
      pOlds[i]->nOverflow = 0;
742 743
    }

H
Hongze Cheng 已提交
744 745
    iNew = 0;
    nNewCells = 0;
746
    tdbBtreeInitPage(pNews[iNew], &iarg, 0);
H
Hongze Cheng 已提交
747 748 749 750 751 752 753 754

    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);
755
        szCell = tdbBtreeCellSize(pPage, pCell, 0, NULL, NULL);
H
Hongze Cheng 已提交
756

757 758 759 760 761 762
        if (ASSERT(nNewCells <= infoNews[iNew].cnt)) {
          return -1;
        }
        if (ASSERT(iNew < nNews)) {
          return -1;
        }
H
Hongze Cheng 已提交
763 764 765 766

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

H
Hongze Cheng 已提交
768 769 770 771 772 773 774
          // 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 {
775
              tdbBtreeDecodeCell(pPage, pCell, &cd, pTxn, pBt);
H
Hongze Cheng 已提交
776

H
Hongze Cheng 已提交
777
              // TODO: pCell here may be inserted as an overflow cell, handle it
H
Hongze Cheng 已提交
778
              SCell *pNewCell = tdbOsMalloc(cd.kLen + 9);
H
Hongze Cheng 已提交
779 780 781
              int    szNewCell;
              SPgno  pgno;
              pgno = TDB_PAGE_PGNO(pNews[iNew]);
782 783
              tdbBtreeEncodeCell(pParent, cd.pKey, cd.kLen, (void *)&pgno, sizeof(SPgno), pNewCell, &szNewCell, pTxn,
                                 pBt);
H
Hongze Cheng 已提交
784
              tdbPageInsertCell(pParent, sIdx++, pNewCell, szNewCell, 0);
H
Hongze Cheng 已提交
785
              tdbOsFree(pNewCell);
M
Minglei Jin 已提交
786 787 788 789 790

              if (TDB_CELLDECODER_FREE_VAL(&cd)) {
                tdbFree(cd.pVal);
                cd.pVal = NULL;
              }
H
Hongze Cheng 已提交
791
            }
H
Hongze Cheng 已提交
792 793

            // move to next new page
H
Hongze Cheng 已提交
794
            iNew++;
H
Hongze Cheng 已提交
795 796
            nNewCells = 0;
            if (iNew < nNews) {
H
Hongze Cheng 已提交
797
              tdbBtreeInitPage(pNews[iNew], &iarg, 0);
H
Hongze Cheng 已提交
798
            }
H
Hongze Cheng 已提交
799 800
          }
        } else {
801 802 803 804 805 806
          if (ASSERT(childNotLeaf)) {
            return -1;
          }
          if (ASSERT(iNew < nNews - 1)) {
            return -1;
          }
H
Hongze Cheng 已提交
807

H
Hongze Cheng 已提交
808 809 810 811
          // set current new page right-most child
          ((SIntHdr *)pNews[iNew]->pData)->pgno = ((SPgno *)pCell)[0];

          // insert to parent as divider cell
812 813 814
          if (ASSERT(iNew < nNews - 1)) {
            return -1;
          }
H
Hongze Cheng 已提交
815 816
          ((SPgno *)pCell)[0] = TDB_PAGE_PGNO(pNews[iNew]);
          tdbPageInsertCell(pParent, sIdx++, pCell, szCell, 0);
H
Hongze Cheng 已提交
817 818 819 820

          // move to next new page
          iNew++;
          nNewCells = 0;
H
Hongze Cheng 已提交
821
          if (iNew < nNews) {
H
Hongze Cheng 已提交
822
            tdbBtreeInitPage(pNews[iNew], &iarg, 0);
H
Hongze Cheng 已提交
823
          }
H
Hongze Cheng 已提交
824 825
        }
      }
H
Hongze Cheng 已提交
826
    }
H
Hongze Cheng 已提交
827

H
Hongze Cheng 已提交
828
    if (childNotLeaf) {
829 830 831
      if (ASSERT(TDB_PAGE_TOTAL_CELLS(pNews[nNews - 1]) == infoNews[nNews - 1].cnt)) {
        return -1;
      }
H
Hongze Cheng 已提交
832
      ((SIntHdr *)(pNews[nNews - 1]->pData))->pgno = rPgno;
H
Hongze Cheng 已提交
833

H
Hongze Cheng 已提交
834 835 836 837 838 839
      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 已提交
840
      }
H
Hongze Cheng 已提交
841 842 843
    }

    for (int i = 0; i < nOlds; i++) {
H
Hongze Cheng 已提交
844
      tdbPageDestroy(pOldsCopy[i], tdbDefaultFree, NULL);
H
Hongze Cheng 已提交
845 846 847
    }
  }

H
Hongze Cheng 已提交
848 849 850 851
  if (TDB_BTREE_PAGE_IS_ROOT(pParent) && TDB_PAGE_TOTAL_CELLS(pParent) == 0) {
    i8 flags = TDB_BTREE_ROOT | TDB_BTREE_PAGE_IS_LEAF(pNews[0]);
    // copy content to the parent page
    tdbBtreeInitPage(pParent, &(SBtreeInitPageArg){.flags = flags, .pBt = pBt}, 0);
852
    tdbPageCopy(pNews[0], pParent, 1);
853 854 855 856

    if (!TDB_BTREE_PAGE_IS_LEAF(pNews[0])) {
      ((SIntHdr *)(pParent->pData))->pgno = ((SIntHdr *)(pNews[0]->pData))->pgno;
    }
H
Hongze Cheng 已提交
857 858
  }

H
Hongze Cheng 已提交
859 860
  for (int i = 0; i < 3; i++) {
    if (pDivCell[i]) {
H
Hongze Cheng 已提交
861
      tdbOsFree(pDivCell[i]);
H
Hongze Cheng 已提交
862 863
    }
  }
H
Hongze Cheng 已提交
864

M
Minglei Jin 已提交
865 866 867 868 869
  for (pageIdx = 0; pageIdx < nOlds; ++pageIdx) {
    tdbPagerReturnPage(pBt->pPager, pOlds[pageIdx], pTxn);
  }
  for (; pageIdx < nNews; ++pageIdx) {
    tdbPagerReturnPage(pBt->pPager, pNews[pageIdx], pTxn);
H
more  
Hongze Cheng 已提交
870 871
  }

H
Hongze Cheng 已提交
872
  return 0;
H
Hongze Cheng 已提交
873 874
}

H
Hongze Cheng 已提交
875
static int tdbBtreeBalance(SBTC *pBtc) {
H
Hongze Cheng 已提交
876
  int    iPage;
H
Hongze Cheng 已提交
877 878
  int    ret;
  int    nFree;
H
Hongze Cheng 已提交
879
  SPage *pParent;
H
Hongze Cheng 已提交
880
  SPage *pPage;
H
Hongze Cheng 已提交
881
  u8     flags;
H
Hongze Cheng 已提交
882 883
  u8     leaf;
  u8     root;
H
Hongze Cheng 已提交
884 885 886

  // Main loop to balance the BTree
  for (;;) {
H
Hongze Cheng 已提交
887 888
    iPage = pBtc->iPage;
    pPage = pBtc->pPage;
H
refact  
Hongze Cheng 已提交
889 890
    leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
    root = TDB_BTREE_PAGE_IS_ROOT(pPage);
H
Hongze Cheng 已提交
891
    nFree = TDB_PAGE_FREE_SIZE(pPage);
H
Hongze Cheng 已提交
892

H
Hongze Cheng 已提交
893 894
    // when the page is not overflow and not too empty, the balance work
    // is finished. Just break out the balance loop.
H
Hongze Cheng 已提交
895
    if (pPage->nOverflow == 0 && nFree < TDB_PAGE_USABLE_SIZE(pPage) * 2 / 3) {
H
Hongze Cheng 已提交
896 897 898 899
      break;
    }

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

H
Hongze Cheng 已提交
904
      ret = tdbBtreeBalanceDeeper(pBtc->pBt, pPage, &(pBtc->pgStack[1]), pBtc->pTxn);
H
Hongze Cheng 已提交
905 906 907 908
      if (ret < 0) {
        return -1;
      }

H
Hongze Cheng 已提交
909 910 911 912 913
      pBtc->idx = 0;
      pBtc->idxStack[0] = 0;
      pBtc->pgStack[0] = pBtc->pPage;
      pBtc->iPage = 1;
      pBtc->pPage = pBtc->pgStack[1];
H
Hongze Cheng 已提交
914
    } else {
H
Hongze Cheng 已提交
915
      // Generalized balance step
H
Hongze Cheng 已提交
916
      pParent = pBtc->pgStack[iPage - 1];
H
Hongze Cheng 已提交
917

H
Hongze Cheng 已提交
918
      ret = tdbBtreeBalanceNonRoot(pBtc->pBt, pParent, pBtc->idxStack[pBtc->iPage - 1], pBtc->pTxn);
H
Hongze Cheng 已提交
919 920 921 922
      if (ret < 0) {
        return -1;
      }

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

H
Hongze Cheng 已提交
925 926
      pBtc->iPage--;
      pBtc->pPage = pBtc->pgStack[pBtc->iPage];
H
Hongze Cheng 已提交
927 928 929 930 931
    }
  }

  return 0;
}
H
Hongze Cheng 已提交
932
// TDB_BTREE_BALANCE
H
Hongze Cheng 已提交
933

934
static int tdbFetchOvflPage(SPgno *pPgno, SPage **ppOfp, TXN *pTxn, SBTree *pBt) {
935 936 937 938 939 940
  int ret = 0;

  *pPgno = 0;
  SBtreeInitPageArg iArg;
  iArg.pBt = pBt;
  iArg.flags = TDB_FLAG_ADD(0, TDB_BTREE_OVFL);
941
  ret = tdbPagerFetchPage(pBt->pPager, pPgno, ppOfp, tdbBtreeInitPage, &iArg, pTxn);
942 943 944 945 946
  if (ret < 0) {
    return -1;
  }

  // mark dirty
947
  ret = tdbPagerWrite(pBt->pPager, *ppOfp);
948
  if (ret < 0) {
949
    tdbError("failed to write page since %s", terrstr());
950 951 952
    return -1;
  }

953 954
  tdbPCacheRelease(pBt->pPager->pCache, *ppOfp, pTxn);

955 956 957
  return ret;
}

958
static int tdbLoadOvflPage(SPgno *pPgno, SPage **ppOfp, TXN *pTxn, SBTree *pBt) {
959 960 961 962 963
  int ret = 0;

  SBtreeInitPageArg iArg;
  iArg.pBt = pBt;
  iArg.flags = TDB_FLAG_ADD(0, TDB_BTREE_OVFL);
964
  ret = tdbPagerFetchPage(pBt->pPager, pPgno, ppOfp, tdbBtreeInitPage, &iArg, pTxn);
965 966 967 968 969 970 971
  if (ret < 0) {
    return -1;
  }

  return ret;
}

H
Hongze Cheng 已提交
972
// TDB_BTREE_CELL =====================
H
Hongze Cheng 已提交
973
static int tdbBtreeEncodePayload(SPage *pPage, SCell *pCell, int nHeader, const void *pKey, int kLen, const void *pVal,
974 975 976 977
                                 int vLen, int *szPayload, TXN *pTxn, SBTree *pBt) {
  int ret = 0;
  int nPayload = kLen + vLen;
  int maxLocal = pPage->maxLocal;
H
Hongze Cheng 已提交
978

979
  if (nPayload + nHeader <= maxLocal) {
H
Hongze Cheng 已提交
980 981
    // no overflow page is needed
    memcpy(pCell + nHeader, pKey, kLen);
H
Hongze Cheng 已提交
982
    if (pVal) {
H
Hongze Cheng 已提交
983
      memcpy(pCell + nHeader + kLen, pVal, vLen);
H
Hongze Cheng 已提交
984 985 986 987
    }

    *szPayload = nPayload;
    return 0;
988 989 990 991 992 993
  } else {
    // handle overflow case
    // calc local storage size
    int minLocal = pPage->minLocal;
    int surplus = minLocal + (nPayload + nHeader - minLocal) % (maxLocal - sizeof(SPgno));
    int nLocal = surplus <= maxLocal ? surplus : minLocal;
H
Hongze Cheng 已提交
994

995
    // int ofpCap = tdbPageCapacity(pBt->pageSize, sizeof(SIntHdr));
996 997

    // fetch a new ofp and make it dirty
998
    SPgno  pgno = 0;
999
    SPage *ofp = NULL, *nextOfp = NULL;
1000

1001
    ret = tdbFetchOvflPage(&pgno, &ofp, pTxn, pBt);
1002 1003 1004 1005 1006
    if (ret < 0) {
      return -1;
    }

    // local buffer for cell
M
Minglei Jin 已提交
1007
    SCell *pBuf = tdbRealloc(NULL, pBt->pageSize);
1008 1009 1010 1011 1012 1013 1014
    if (pBuf == NULL) {
      return -1;
    }

    int nLeft = nPayload;
    int bytes;
    int lastPage = 0;
1015
    if (nLocal >= nHeader + kLen + sizeof(SPgno)) {
1016 1017 1018 1019
      // pack key to local
      memcpy(pCell + nHeader, pKey, kLen);
      nLeft -= kLen;
      // pack partial val to local if any space left
1020
      if (nLocal > nHeader + kLen + sizeof(SPgno)) {
1021 1022 1023
        if (ASSERT(pVal != NULL && vLen != 0)) {
          return -1;
        }
1024 1025
        memcpy(pCell + nHeader + kLen, pVal, nLocal - nHeader - kLen - sizeof(SPgno));
        nLeft -= nLocal - nHeader - kLen - sizeof(SPgno);
1026 1027 1028 1029 1030 1031 1032
      }

      // pack nextPgno
      memcpy(pCell + nHeader + nPayload - nLeft, &pgno, sizeof(pgno));

      // pack left val data to ovpages
      do {
1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063
        lastPage = 0;
        if (nLeft <= ofp->maxLocal - sizeof(SPgno)) {
          bytes = nLeft;
          lastPage = 1;
        } else {
          bytes = ofp->maxLocal - sizeof(SPgno);
        }

        // fetch next ofp if not last page
        if (!lastPage) {
          // fetch a new ofp and make it dirty
          ret = tdbFetchOvflPage(&pgno, &nextOfp, pTxn, pBt);
          if (ret < 0) {
            tdbFree(pBuf);
            return -1;
          }
        } else {
          pgno = 0;
        }

        memcpy(pBuf, ((SCell *)pVal) + vLen - nLeft, bytes);
        memcpy(pBuf + bytes, &pgno, sizeof(pgno));

        ret = tdbPageInsertCell(ofp, 0, pBuf, bytes + sizeof(pgno), 0);
        if (ret < 0) {
          tdbFree(pBuf);
          return -1;
        }

        ofp = nextOfp;
        nLeft -= bytes;
1064 1065 1066 1067 1068 1069
      } while (nLeft > 0);
    } else {
      int nLeftKey = kLen;
      // pack partial key and nextPgno
      memcpy(pCell + nHeader, pKey, nLocal - 4);
      nLeft -= nLocal - 4;
1070
      nLeftKey -= nLocal - 4;
1071 1072 1073 1074 1075 1076

      memcpy(pCell + nHeader + nLocal - 4, &pgno, sizeof(pgno));

      int lastKeyPageSpace = 0;
      // pack left key & val to ovpages
      do {
1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102
        // cal key to cpy
        int lastKeyPage = 0;
        if (nLeftKey <= ofp->maxLocal - sizeof(SPgno)) {
          bytes = nLeftKey;
          lastKeyPage = 1;
          lastKeyPageSpace = ofp->maxLocal - sizeof(SPgno) - nLeftKey;
        } else {
          bytes = ofp->maxLocal - sizeof(SPgno);
        }

        // cpy key
        memcpy(pBuf, ((SCell *)pKey) + kLen - nLeftKey, bytes);

        if (lastKeyPage) {
          if (lastKeyPageSpace >= vLen) {
            memcpy(pBuf + kLen - nLeftKey, pVal, vLen);

            nLeft -= vLen;
            pgno = 0;
          } else {
            memcpy(pBuf + kLen - nLeftKey, pVal, lastKeyPageSpace);
            nLeft -= lastKeyPageSpace;

            // fetch next ofp, a new ofp and make it dirty
            ret = tdbFetchOvflPage(&pgno, &nextOfp, pTxn, pBt);
            if (ret < 0) {
M
Minglei Jin 已提交
1103
              tdbFree(pBuf);
1104 1105 1106 1107 1108 1109 1110
              return -1;
            }
          }
        } else {
          // fetch next ofp, a new ofp and make it dirty
          ret = tdbFetchOvflPage(&pgno, &nextOfp, pTxn, pBt);
          if (ret < 0) {
M
Minglei Jin 已提交
1111
            tdbFree(pBuf);
1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125
            return -1;
          }
        }

        memcpy(pBuf + kLen - nLeft, &pgno, sizeof(pgno));

        ret = tdbPageInsertCell(ofp, 0, pBuf, bytes + sizeof(pgno), 0);
        if (ret < 0) {
          return -1;
        }

        ofp = nextOfp;
        nLeftKey -= bytes;
        nLeft -= bytes;
1126 1127 1128
      } while (nLeftKey > 0);

      while (nLeft > 0) {
1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152
        // pack left val data to ovpages
        lastPage = 0;
        if (nLeft <= maxLocal - sizeof(SPgno)) {
          bytes = nLeft;
          lastPage = 1;
        } else {
          bytes = maxLocal - sizeof(SPgno);
        }

        // fetch next ofp if not last page
        if (!lastPage) {
          // fetch a new ofp and make it dirty
          ret = tdbFetchOvflPage(&pgno, &nextOfp, pTxn, pBt);
          if (ret < 0) {
            tdbFree(pBuf);
            return -1;
          }
        } else {
          pgno = 0;
        }

        memcpy(pBuf, ((SCell *)pVal) + vLen - nLeft, bytes);
        memcpy(pBuf + bytes, &pgno, sizeof(pgno));

M
Minglei Jin 已提交
1153 1154 1155 1156 1157
        if (ofp == NULL) {
          tdbFree(pBuf);
          return -1;
        }

1158 1159 1160 1161 1162 1163 1164 1165
        ret = tdbPageInsertCell(ofp, 0, pBuf, bytes + sizeof(pgno), 0);
        if (ret < 0) {
          tdbFree(pBuf);
          return -1;
        }

        ofp = nextOfp;
        nLeft -= bytes;
1166 1167 1168 1169 1170 1171
      }
    }

    // free local buffer
    tdbFree(pBuf);

1172
    *szPayload = nLocal - nHeader;
H
Hongze Cheng 已提交
1173 1174 1175 1176 1177
  }

  return 0;
}

H
Hongze Cheng 已提交
1178
static int tdbBtreeEncodeCell(SPage *pPage, const void *pKey, int kLen, const void *pVal, int vLen, SCell *pCell,
1179
                              int *szCell, TXN *pTxn, SBTree *pBt) {
H
Hongze Cheng 已提交
1180 1181 1182 1183
  u8  leaf;
  int nHeader;
  int nPayload;
  int ret;
H
Hongze Cheng 已提交
1184

1185 1186 1187 1188 1189 1190 1191 1192 1193
  if (ASSERT(pPage->kLen == TDB_VARIANT_LEN || pPage->kLen == kLen)) {
    return -1;
  }
  if (ASSERT(pPage->vLen == TDB_VARIANT_LEN || pPage->vLen == vLen)) {
    return -1;
  }
  if (ASSERT(pKey != NULL && kLen > 0)) {
    return -1;
  }
H
Hongze Cheng 已提交
1194

H
Hongze Cheng 已提交
1195 1196
  nPayload = 0;
  nHeader = 0;
H
refact  
Hongze Cheng 已提交
1197
  leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
H
Hongze Cheng 已提交
1198

H
Hongze Cheng 已提交
1199
  // 1. Encode Header part
H
Hongze Cheng 已提交
1200 1201
  /* Encode SPgno if interior page */
  if (!leaf) {
M
Minglei Jin 已提交
1202 1203 1204 1205
    if (pPage->vLen != sizeof(SPgno)) {
      tdbError("tdb/btree-encode-cell: invalid cell.");
      return -1;
    }
H
Hongze Cheng 已提交
1206 1207 1208 1209 1210

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

H
Hongze Cheng 已提交
1211
  /* Encode kLen if need */
H
Hongze Cheng 已提交
1212
  if (pPage->kLen == TDB_VARIANT_LEN) {
H
Hongze Cheng 已提交
1213
    nHeader += tdbPutVarInt(pCell + nHeader, kLen);
H
Hongze Cheng 已提交
1214 1215
  }

H
Hongze Cheng 已提交
1216
  /* Encode vLen if need */
H
Hongze Cheng 已提交
1217
  if (pPage->vLen == TDB_VARIANT_LEN) {
H
Hongze Cheng 已提交
1218
    nHeader += tdbPutVarInt(pCell + nHeader, vLen);
H
Hongze Cheng 已提交
1219 1220
  }

H
Hongze Cheng 已提交
1221
  // 2. Encode payload part
H
Hongze Cheng 已提交
1222 1223 1224
  if ((!leaf) || pPage->vLen == 0) {
    pVal = NULL;
    vLen = 0;
H
Hongze Cheng 已提交
1225
  }
H
Hongze Cheng 已提交
1226

1227
  ret = tdbBtreeEncodePayload(pPage, pCell, nHeader, pKey, kLen, pVal, vLen, &nPayload, pTxn, pBt);
H
Hongze Cheng 已提交
1228
  if (ret < 0) {
H
Hongze Cheng 已提交
1229
    // TODO
1230 1231
    tdbError("tdb/btree-encode-cell: encode payload failed with ret: %d.", ret);
    return -1;
H
Hongze Cheng 已提交
1232 1233
  }

H
Hongze Cheng 已提交
1234
  *szCell = nHeader + nPayload;
H
Hongze Cheng 已提交
1235 1236 1237
  return 0;
}

1238 1239
static int tdbBtreeDecodePayload(SPage *pPage, const SCell *pCell, int nHeader, SCellDecoder *pDecoder, TXN *pTxn,
                                 SBTree *pBt) {
1240
  int ret = 0;
H
Hongze Cheng 已提交
1241
  int nPayload;
1242 1243 1244 1245
  int maxLocal = pPage->maxLocal;

  int kLen = pDecoder->kLen;
  int vLen = pDecoder->vLen;
H
Hongze Cheng 已提交
1246 1247

  if (pDecoder->pVal) {
M
Minglei Jin 已提交
1248 1249 1250 1251
    if (TDB_BTREE_PAGE_IS_LEAF(pPage)) {
      tdbError("tdb/btree-decode-payload: leaf page with non-null pVal.");
      return -1;
    }
H
Hongze Cheng 已提交
1252
    nPayload = pDecoder->kLen;
H
Hongze Cheng 已提交
1253 1254
  } else {
    nPayload = pDecoder->kLen + pDecoder->vLen;
H
Hongze Cheng 已提交
1255 1256
  }

1257
  if (nHeader + nPayload <= maxLocal) {
H
Hongze Cheng 已提交
1258
    // no over flow case
1259
    pDecoder->pKey = (SCell *)pCell + nHeader;
H
Hongze Cheng 已提交
1260
    if (pDecoder->pVal == NULL && pDecoder->vLen > 0) {
1261
      pDecoder->pVal = (SCell *)pCell + nHeader + pDecoder->kLen;
H
Hongze Cheng 已提交
1262
    }
H
Hongze Cheng 已提交
1263
    return 0;
1264 1265 1266 1267 1268 1269 1270
  } else {
    // handle overflow case
    // calc local storage size
    int minLocal = pPage->minLocal;
    int surplus = minLocal + (nPayload + nHeader - minLocal) % (maxLocal - sizeof(SPgno));
    int nLocal = surplus <= maxLocal ? surplus : minLocal;

1271 1272
    int    nLeft = nPayload;
    SPgno  pgno = 0;
1273 1274
    SPage *ofp;
    SCell *ofpCell;
1275 1276
    int    bytes;
    int    lastPage = 0;
1277

1278
    if (nLocal >= pDecoder->kLen + nHeader + sizeof(SPgno)) {
1279 1280
      pDecoder->pKey = (SCell *)pCell + nHeader;
      nLeft -= kLen;
1281
      if (nLocal > kLen + nHeader + sizeof(SPgno)) {
1282 1283 1284 1285 1286 1287
        // read partial val to local
        pDecoder->pVal = tdbRealloc(pDecoder->pVal, vLen);
        if (pDecoder->pVal == NULL) {
          return -1;
        }
        TDB_CELLDECODER_SET_FREE_VAL(pDecoder);
1288

1289 1290
        tdbDebug("tdb btc decoder: %p/0x%x pVal: %p ", pDecoder, pDecoder->freeKV, pDecoder->pVal);

1291
        memcpy(pDecoder->pVal, pCell + nHeader + kLen, nLocal - nHeader - kLen - sizeof(SPgno));
1292

1293
        nLeft -= nLocal - nHeader - kLen - sizeof(SPgno);
1294
      }
H
Hongze Cheng 已提交
1295

1296 1297 1298
      memcpy(&pgno, pCell + nHeader + nPayload - nLeft, sizeof(pgno));

      // unpack left val data from ovpages
1299 1300 1301 1302 1303
      while (pgno != 0) {
        ret = tdbLoadOvflPage(&pgno, &ofp, pTxn, pBt);
        if (ret < 0) {
          return -1;
        }
1304

1305
        ofpCell = tdbPageGetCell(ofp, 0);
1306

1307 1308 1309 1310 1311 1312
        if (nLeft <= ofp->maxLocal - sizeof(SPgno)) {
          bytes = nLeft;
          lastPage = 1;
        } else {
          bytes = ofp->maxLocal - sizeof(SPgno);
        }
1313

1314 1315
        memcpy(pDecoder->pVal + vLen - nLeft, ofpCell, bytes);
        nLeft -= bytes;
1316

1317
        memcpy(&pgno, ofpCell + bytes, sizeof(pgno));
1318 1319

        tdbPCacheRelease(pBt->pPager->pCache, ofp, pTxn);
1320 1321 1322 1323 1324 1325
      }
    } else {
      int nLeftKey = kLen;
      // load partial key and nextPgno
      pDecoder->pKey = tdbRealloc(pDecoder->pKey, kLen);
      if (pDecoder->pKey == NULL) {
1326
        return -1;
1327 1328 1329 1330 1331
      }
      TDB_CELLDECODER_SET_FREE_KEY(pDecoder);

      memcpy(pDecoder->pKey, pCell + nHeader, nLocal - 4);
      nLeft -= nLocal - 4;
1332
      nLeftKey -= nLocal - 4;
1333 1334 1335 1336 1337 1338

      memcpy(&pgno, pCell + nHeader + nLocal - 4, sizeof(pgno));

      int lastKeyPageSpace = 0;
      // load left key & val to ovpages
      while (pgno != 0) {
1339 1340 1341 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 1376 1377 1378
        ret = tdbLoadOvflPage(&pgno, &ofp, pTxn, pBt);
        if (ret < 0) {
          return -1;
        }

        ofpCell = tdbPageGetCell(ofp, 0);

        int lastKeyPage = 0;
        if (nLeftKey <= maxLocal - sizeof(SPgno)) {
          bytes = nLeftKey;
          lastKeyPage = 1;
          lastKeyPageSpace = ofp->maxLocal - sizeof(SPgno) - nLeftKey;
        } else {
          bytes = ofp->maxLocal - sizeof(SPgno);
        }

        // cpy key
        memcpy(pDecoder->pKey + kLen - nLeftKey, ofpCell, bytes);

        if (lastKeyPage) {
          if (lastKeyPageSpace >= vLen) {
            pDecoder->pVal = ofpCell + kLen - nLeftKey;

            nLeft -= vLen;
            pgno = 0;
          } else {
            // read partial val to local
            pDecoder->pVal = tdbRealloc(pDecoder->pVal, vLen);
            if (pDecoder->pVal == NULL) {
              return -1;
            }
            TDB_CELLDECODER_SET_FREE_VAL(pDecoder);

            memcpy(pDecoder->pVal, ofpCell + kLen - nLeftKey, lastKeyPageSpace);
            nLeft -= lastKeyPageSpace;
          }
        }

        memcpy(&pgno, ofpCell + bytes, sizeof(pgno));

1379 1380
        tdbPCacheRelease(pBt->pPager->pCache, ofp, pTxn);

1381 1382
        nLeftKey -= bytes;
        nLeft -= bytes;
1383 1384 1385
      }

      while (nLeft > 0) {
1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418
        ret = tdbLoadOvflPage(&pgno, &ofp, pTxn, pBt);
        if (ret < 0) {
          return -1;
        }

        ofpCell = tdbPageGetCell(ofp, 0);

        // load left val data to ovpages
        lastPage = 0;
        if (nLeft <= ofp->maxLocal - sizeof(SPgno)) {
          bytes = nLeft;
          lastPage = 1;
        } else {
          bytes = ofp->maxLocal - sizeof(SPgno);
        }

        if (lastPage) {
          pgno = 0;
        }

        if (!pDecoder->pVal) {
          pDecoder->pVal = tdbRealloc(pDecoder->pVal, vLen);
          if (pDecoder->pVal == NULL) {
            return -1;
          }
          TDB_CELLDECODER_SET_FREE_VAL(pDecoder);
        }

        memcpy(pDecoder->pVal, ofpCell + vLen - nLeft, bytes);
        nLeft -= bytes;

        memcpy(&pgno, ofpCell + vLen - nLeft + bytes, sizeof(pgno));

1419 1420
        tdbPCacheRelease(pBt->pPager->pCache, ofp, pTxn);

1421
        nLeft -= bytes;
1422 1423
      }
    }
H
Hongze Cheng 已提交
1424 1425
  }

H
Hongze Cheng 已提交
1426 1427 1428
  return 0;
}

1429
static int tdbBtreeDecodeCell(SPage *pPage, const SCell *pCell, SCellDecoder *pDecoder, TXN *pTxn, SBTree *pBt) {
H
Hongze Cheng 已提交
1430 1431 1432 1433 1434
  u8  leaf;
  int nHeader;
  int ret;

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

H
Hongze Cheng 已提交
1437
  // Clear the state of decoder
1438 1439 1440
  if (TDB_CELLDECODER_FREE_VAL(pDecoder)) {
    tdbFree(pDecoder->pVal);
  }
H
Hongze Cheng 已提交
1441 1442 1443 1444 1445
  pDecoder->kLen = -1;
  pDecoder->pKey = NULL;
  pDecoder->vLen = -1;
  pDecoder->pVal = NULL;
  pDecoder->pgno = 0;
1446
  TDB_CELLDECODER_SET_FREE_NIL(pDecoder);
H
Hongze Cheng 已提交
1447

1448
  // tdbTrace("tdb btc decoder set nil: %p/0x%x ", pDecoder, pDecoder->freeKV);
1449

H
Hongze Cheng 已提交
1450
  // 1. Decode header part
H
Hongze Cheng 已提交
1451
  if (!leaf) {
M
Minglei Jin 已提交
1452 1453 1454 1455
    if (pPage->vLen != sizeof(SPgno)) {
      tdbError("tdb/btree-decode-cell: invalid cell.");
      return -1;
    }
H
Hongze Cheng 已提交
1456 1457 1458 1459 1460 1461

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

H
Hongze Cheng 已提交
1462 1463 1464 1465 1466 1467 1468
  if (pPage->kLen == TDB_VARIANT_LEN) {
    nHeader += tdbGetVarInt(pCell + nHeader, &(pDecoder->kLen));
  } else {
    pDecoder->kLen = pPage->kLen;
  }

  if (pPage->vLen == TDB_VARIANT_LEN) {
M
Minglei Jin 已提交
1469 1470 1471 1472
    if (!leaf) {
      tdbError("tdb/btree-decode-cell: not a leaf page.");
      return -1;
    }
H
Hongze Cheng 已提交
1473
    nHeader += tdbGetVarInt(pCell + nHeader, &(pDecoder->vLen));
H
Hongze Cheng 已提交
1474
  } else {
H
Hongze Cheng 已提交
1475 1476
    pDecoder->vLen = pPage->vLen;
  }
H
Hongze Cheng 已提交
1477

H
Hongze Cheng 已提交
1478
  // 2. Decode payload part
1479
  ret = tdbBtreeDecodePayload(pPage, pCell, nHeader, pDecoder, pTxn, pBt);
H
Hongze Cheng 已提交
1480 1481
  if (ret < 0) {
    return -1;
H
Hongze Cheng 已提交
1482 1483 1484 1485 1486
  }

  return 0;
}

1487
static int tdbBtreeCellSize(const SPage *pPage, SCell *pCell, int dropOfp, TXN *pTxn, SBTree *pBt) {
H
refact  
Hongze Cheng 已提交
1488
  u8  leaf;
1489
  int kLen = 0, vLen = 0, nHeader = 0;
H
Hongze Cheng 已提交
1490

H
refact  
Hongze Cheng 已提交
1491
  leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
H
Hongze Cheng 已提交
1492

H
refact  
Hongze Cheng 已提交
1493
  if (!leaf) {
1494
    nHeader += sizeof(SPgno);
H
Hongze Cheng 已提交
1495 1496 1497
  }

  if (pPage->kLen == TDB_VARIANT_LEN) {
1498
    nHeader += tdbGetVarInt(pCell + nHeader, &kLen);
H
Hongze Cheng 已提交
1499 1500 1501 1502
  } else {
    kLen = pPage->kLen;
  }

H
refact  
Hongze Cheng 已提交
1503
  if (pPage->vLen == TDB_VARIANT_LEN) {
M
Minglei Jin 已提交
1504 1505 1506 1507
    if (!leaf) {
      tdbError("tdb/btree-cell-size: not a leaf page.");
      return -1;
    }
1508
    nHeader += tdbGetVarInt(pCell + nHeader, &vLen);
H
refact  
Hongze Cheng 已提交
1509 1510
  } else if (leaf) {
    vLen = pPage->vLen;
H
Hongze Cheng 已提交
1511 1512
  }

1513 1514
  int nPayload = kLen + vLen;
  if (nHeader + nPayload <= pPage->maxLocal) {
1515
    return nHeader + nPayload;
1516 1517
  } else {
    int maxLocal = pPage->maxLocal;
H
Hongze Cheng 已提交
1518

1519 1520 1521 1522
    // calc local storage size
    int minLocal = pPage->minLocal;
    int surplus = minLocal + (nPayload + nHeader - minLocal) % (maxLocal - sizeof(SPgno));
    int nLocal = surplus <= maxLocal ? surplus : minLocal;
H
refact  
Hongze Cheng 已提交
1523

1524 1525
    // free ofp pages' cells
    if (dropOfp) {
1526
      int    ret = 0;
1527
      SPgno  pgno = *(SPgno *)(pCell + nLocal - sizeof(SPgno));
1528
      int    nLeft = nPayload - nLocal + sizeof(SPgno) + nHeader;
1529
      SPage *ofp;
1530
      int    bytes;
1531 1532

      while (pgno != 0) {
1533 1534 1535 1536
        ret = tdbLoadOvflPage(&pgno, &ofp, pTxn, pBt);
        if (ret < 0) {
          return -1;
        }
1537

1538
        SCell *ofpCell = tdbPageGetCell(ofp, 0);
1539

1540 1541 1542 1543 1544
        if (nLeft <= ofp->maxLocal - sizeof(SPgno)) {
          bytes = nLeft;
        } else {
          bytes = ofp->maxLocal - sizeof(SPgno);
        }
1545

1546
        memcpy(&pgno, ofpCell + bytes, sizeof(pgno));
1547

1548
        tdbPagerReturnPage(pPage->pPager, ofp, pTxn);
1549

1550
        nLeft -= bytes;
1551 1552 1553
      }
    }

1554
    return nLocal;
H
refact  
Hongze Cheng 已提交
1555
  }
H
Hongze Cheng 已提交
1556
}
H
Hongze Cheng 已提交
1557
// TDB_BTREE_CELL
H
Hongze Cheng 已提交
1558

H
refact  
Hongze Cheng 已提交
1559
// TDB_BTREE_CURSOR =====================
H
Hongze Cheng 已提交
1560
int tdbBtcOpen(SBTC *pBtc, SBTree *pBt, TXN *pTxn) {
H
Hongze Cheng 已提交
1561 1562 1563 1564
  pBtc->pBt = pBt;
  pBtc->iPage = -1;
  pBtc->pPage = NULL;
  pBtc->idx = -1;
H
Hongze Cheng 已提交
1565
  memset(&pBtc->coder, 0, sizeof(SCellDecoder));
H
Hongze Cheng 已提交
1566 1567

  if (pTxn == NULL) {
1568 1569 1570 1571 1572 1573 1574 1575 1576 1577 1578 1579
    TXN *pTxn = tdbOsCalloc(1, sizeof(*pTxn));
    if (!pTxn) {
      return -1;
    }

    if (tdbTxnOpen(pTxn, 0, tdbDefaultMalloc, tdbDefaultFree, NULL, 0) < 0) {
      tdbOsFree(pTxn);
      return -1;
    }

    pBtc->pTxn = pTxn;
    pBtc->freeTxn = 1;
H
Hongze Cheng 已提交
1580 1581
  } else {
    pBtc->pTxn = pTxn;
1582
    pBtc->freeTxn = 0;
H
Hongze Cheng 已提交
1583
  }
H
Hongze Cheng 已提交
1584 1585 1586 1587

  return 0;
}

H
Hongze Cheng 已提交
1588
int tdbBtcMoveToFirst(SBTC *pBtc) {
H
refact  
Hongze Cheng 已提交
1589 1590 1591
  int     ret;
  SBTree *pBt;
  SPager *pPager;
H
Hongze Cheng 已提交
1592 1593
  SCell  *pCell;
  SPgno   pgno;
H
refact  
Hongze Cheng 已提交
1594 1595 1596 1597 1598

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

  if (pBtc->iPage < 0) {
H
Hongze Cheng 已提交
1599
    // move a clean cursor
H
Hongze Cheng 已提交
1600
    ret = tdbPagerFetchPage(pPager, &pBt->root, &(pBtc->pPage), tdbBtreeInitPage,
H
Hongze Cheng 已提交
1601
                            &((SBtreeInitPageArg){.pBt = pBt, .flags = TDB_BTREE_ROOT | TDB_BTREE_LEAF}), pBtc->pTxn);
H
refact  
Hongze Cheng 已提交
1602
    if (ret < 0) {
1603
      tdbError("tdb/btc-move-tofirst: fetch page failed with ret: %d.", ret);
H
refact  
Hongze Cheng 已提交
1604 1605 1606
      return -1;
    }

M
Minglei Jin 已提交
1607 1608 1609 1610
    if (!TDB_BTREE_PAGE_IS_ROOT(pBtc->pPage)) {
      tdbError("tdb/btc-move-tofirst: not a root page");
      return -1;
    }
H
refact  
Hongze Cheng 已提交
1611

H
Hongze Cheng 已提交
1612 1613 1614 1615
    pBtc->iPage = 0;
    if (TDB_PAGE_TOTAL_CELLS(pBtc->pPage) > 0) {
      pBtc->idx = 0;
    } else {
H
more  
Hongze Cheng 已提交
1616
      // no any data, point to an invalid position
M
Minglei Jin 已提交
1617 1618 1619 1620 1621
      if (!TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) {
        tdbError("tdb/btc-move-to-first: not a leaf page.");
        return -1;
      }

H
Hongze Cheng 已提交
1622
      pBtc->idx = -1;
H
refact  
Hongze Cheng 已提交
1623 1624
      return 0;
    }
H
Hongze Cheng 已提交
1625
  } else {
M
Minglei Jin 已提交
1626 1627 1628
    // TODO
    tdbError("tdb/btc-move-to-first: move from a dirty cursor.");
    return -1;
H
Hongze Cheng 已提交
1629
#if 0
H
Hongze Cheng 已提交
1630 1631
    // move from a position
    int iPage = 0;
H
refact  
Hongze Cheng 已提交
1632

H
Hongze Cheng 已提交
1633
    for (; iPage < pBtc->iPage; iPage++) {
M
Minglei Jin 已提交
1634 1635 1636 1637 1638
      if (pBtc->idxStack[iPage] < 0) {
        tdbError("tdb/btc-move-to-first: invalid idx: %d.", pBtc->idxStack[iPage]);
        return -1;
      }

H
Hongze Cheng 已提交
1639 1640
      if (pBtc->idxStack[iPage]) break;
    }
H
refact  
Hongze Cheng 已提交
1641

H
Hongze Cheng 已提交
1642 1643
    // move upward
    for (;;) {
H
Hongze Cheng 已提交
1644
      if (pBtc->iPage == iPage) {
H
Hongze Cheng 已提交
1645
        pBtc->idx = 0;
H
refact  
Hongze Cheng 已提交
1646 1647
        break;
      }
H
Hongze Cheng 已提交
1648

H
Hongze Cheng 已提交
1649
      tdbBtcMoveUpward(pBtc);
H
Hongze Cheng 已提交
1650
    }
H
Hongze Cheng 已提交
1651
#endif
H
Hongze Cheng 已提交
1652 1653 1654 1655
  }

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

H
Hongze Cheng 已提交
1658
    ret = tdbBtcMoveDownward(pBtc);
H
Hongze Cheng 已提交
1659
    if (ret < 0) {
1660
      tdbError("tdb/btc-move-tofirst: btc move downward failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1661 1662 1663 1664 1665 1666
      return -1;
    }

    pBtc->idx = 0;
  }

H
Hongze Cheng 已提交
1667 1668 1669 1670
  return 0;
}

int tdbBtcMoveToLast(SBTC *pBtc) {
H
Hongze Cheng 已提交
1671
  int     ret;
H
Hongze Cheng 已提交
1672
  int     nCells;
H
Hongze Cheng 已提交
1673 1674 1675 1676 1677 1678 1679 1680 1681
  SBTree *pBt;
  SPager *pPager;
  SPgno   pgno;

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

  if (pBtc->iPage < 0) {
    // move a clean cursor
H
Hongze Cheng 已提交
1682
    ret = tdbPagerFetchPage(pPager, &pBt->root, &(pBtc->pPage), tdbBtreeInitPage,
H
Hongze Cheng 已提交
1683
                            &((SBtreeInitPageArg){.pBt = pBt, .flags = TDB_BTREE_ROOT | TDB_BTREE_LEAF}), pBtc->pTxn);
H
Hongze Cheng 已提交
1684
    if (ret < 0) {
1685
      tdbError("tdb/btc-move-tolast: fetch page failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1686 1687 1688
      return -1;
    }

H
Hongze Cheng 已提交
1689
    nCells = TDB_PAGE_TOTAL_CELLS(pBtc->pPage);
H
Hongze Cheng 已提交
1690
    pBtc->iPage = 0;
H
Hongze Cheng 已提交
1691 1692 1693 1694
    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
M
Minglei Jin 已提交
1695 1696 1697 1698 1699
      if (!TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) {
        tdbError("tdb/btc-move-to-last: not a leaf page.");
        return -1;
      }

H
Hongze Cheng 已提交
1700 1701 1702
      pBtc->idx = -1;
      return 0;
    }
H
Hongze Cheng 已提交
1703
  } else {
M
Minglei Jin 已提交
1704 1705 1706
    // TODO
    tdbError("tdb/btc-move-to-last: move from a dirty cursor.");
    return -1;
H
Hongze Cheng 已提交
1707
#if 0
H
Hongze Cheng 已提交
1708 1709 1710 1711
    int iPage = 0;

    // downward search
    for (; iPage < pBtc->iPage; iPage++) {
M
Minglei Jin 已提交
1712 1713 1714 1715 1716
      if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pgStack[iPage])) {
        tdbError("tdb/btc-move-to-last: leaf page in cursor stack.");
        return -1;
      }

H
Hongze Cheng 已提交
1717 1718 1719 1720 1721 1722
      nCells = TDB_PAGE_TOTAL_CELLS(pBtc->pgStack[iPage]);
      if (pBtc->idxStack[iPage] != nCells) break;
    }

    // move upward
    for (;;) {
H
Hongze Cheng 已提交
1723
      if (pBtc->iPage == iPage) {
H
Hongze Cheng 已提交
1724 1725 1726 1727 1728
        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 已提交
1729
        break;
H
Hongze Cheng 已提交
1730 1731 1732 1733
      }

      tdbBtcMoveUpward(pBtc);
    }
H
Hongze Cheng 已提交
1734
#endif
H
Hongze Cheng 已提交
1735 1736 1737 1738
  }

  // move downward
  for (;;) {
H
Hongze Cheng 已提交
1739 1740 1741 1742
    if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) break;

    ret = tdbBtcMoveDownward(pBtc);
    if (ret < 0) {
1743
      tdbError("tdb/btc-move-tolast: btc move downward failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1744 1745 1746 1747
      return -1;
    }

    nCells = TDB_PAGE_TOTAL_CELLS(pBtc->pPage);
H
refact  
Hongze Cheng 已提交
1748
    if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) {
H
Hongze Cheng 已提交
1749
      pBtc->idx = nCells - 1;
H
Hongze Cheng 已提交
1750
    } else {
H
Hongze Cheng 已提交
1751
      pBtc->idx = nCells;
H
Hongze Cheng 已提交
1752 1753 1754
    }
  }

H
Hongze Cheng 已提交
1755 1756 1757 1758
  return 0;
}

int tdbBtreeNext(SBTC *pBtc, void **ppKey, int *kLen, void **ppVal, int *vLen) {
H
Hongze Cheng 已提交
1759
  SCell       *pCell;
1760
  SCellDecoder cd = {0};
H
Hongze Cheng 已提交
1761 1762 1763
  void        *pKey, *pVal;
  int          ret;

H
Hongze Cheng 已提交
1764
  // current cursor points to an invalid position
H
Hongze Cheng 已提交
1765
  if (pBtc->idx < 0) {
H
Hongze Cheng 已提交
1766 1767 1768 1769 1770
    return -1;
  }

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

1771
  tdbBtreeDecodeCell(pBtc->pPage, pCell, &cd, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
1772

H
Hongze Cheng 已提交
1773
  pKey = tdbRealloc(*ppKey, cd.kLen);
H
Hongze Cheng 已提交
1774 1775 1776 1777 1778 1779 1780
  if (pKey == NULL) {
    return -1;
  }

  *ppKey = pKey;
  *kLen = cd.kLen;
  memcpy(pKey, cd.pKey, cd.kLen);
C
Cary Xu 已提交
1781 1782

  if (ppVal) {
1783 1784 1785 1786 1787 1788 1789 1790 1791 1792
    if (cd.vLen > 0) {
      pVal = tdbRealloc(*ppVal, cd.vLen);
      if (pVal == NULL) {
        tdbFree(pKey);
        return -1;
      }

      memcpy(pVal, cd.pVal, cd.vLen);
    } else {
      pVal = NULL;
C
Cary Xu 已提交
1793 1794 1795 1796 1797
    }

    *ppVal = pVal;
    *vLen = cd.vLen;
  }
H
Hongze Cheng 已提交
1798 1799

  ret = tdbBtcMoveToNext(pBtc);
H
Hongze Cheng 已提交
1800
  if (ret < 0) {
1801
    tdbError("tdb/btree-next: btc move to next failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1802 1803
    return -1;
  }
H
Hongze Cheng 已提交
1804 1805 1806 1807

  return 0;
}

1808 1809
int tdbBtreePrev(SBTC *pBtc, void **ppKey, int *kLen, void **ppVal, int *vLen) {
  SCell       *pCell;
M
Minglei Jin 已提交
1810
  SCellDecoder cd = {0};
1811 1812 1813 1814 1815 1816 1817 1818 1819 1820
  void        *pKey, *pVal;
  int          ret;

  // current cursor points to an invalid position
  if (pBtc->idx < 0) {
    return -1;
  }

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

1821
  tdbBtreeDecodeCell(pBtc->pPage, pCell, &cd, pBtc->pTxn, pBtc->pBt);
1822 1823 1824 1825 1826 1827 1828 1829 1830 1831 1832 1833 1834 1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845 1846

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

  *ppKey = pKey;
  *kLen = cd.kLen;
  memcpy(pKey, cd.pKey, cd.kLen);

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

    *ppVal = pVal;
    *vLen = cd.vLen;
    memcpy(pVal, cd.pVal, cd.vLen);
  }

  ret = tdbBtcMoveToPrev(pBtc);
  if (ret < 0) {
1847
    tdbError("tdb/btree-prev: btc move to prev failed with ret: %d.", ret);
1848 1849 1850 1851 1852 1853
    return -1;
  }

  return 0;
}

H
Hongze Cheng 已提交
1854
int tdbBtcMoveToNext(SBTC *pBtc) {
H
Hongze Cheng 已提交
1855
  int    nCells;
H
Hongze Cheng 已提交
1856
  int    ret;
H
Hongze Cheng 已提交
1857 1858
  SCell *pCell;

M
Minglei Jin 已提交
1859 1860 1861 1862
  if (!TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) {
    tdbError("tdb/btc-move-to-next: not a leaf page.");
    return -1;
  }
H
Hongze Cheng 已提交
1863 1864 1865

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

H
Hongze Cheng 已提交
1866
  pBtc->idx++;
H
Hongze Cheng 已提交
1867 1868 1869 1870
  if (pBtc->idx < TDB_PAGE_TOTAL_CELLS(pBtc->pPage)) {
    return 0;
  }

H
Hongze Cheng 已提交
1871
  // move upward
H
Hongze Cheng 已提交
1872
  for (;;) {
H
Hongze Cheng 已提交
1873 1874 1875 1876 1877
    if (pBtc->iPage == 0) {
      pBtc->idx = -1;
      return 0;
    }

H
Hongze Cheng 已提交
1878 1879 1880
    tdbBtcMoveUpward(pBtc);
    pBtc->idx++;

M
Minglei Jin 已提交
1881 1882 1883 1884
    if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) {
      tdbError("tdb/btree-decode-cell: should not be a leaf page here.");
      return -1;
    }
H
Hongze Cheng 已提交
1885
    if (pBtc->idx <= TDB_PAGE_TOTAL_CELLS(pBtc->pPage)) {
H
Hongze Cheng 已提交
1886 1887
      break;
    }
H
Hongze Cheng 已提交
1888 1889
  }

H
Hongze Cheng 已提交
1890
  // move downward
H
Hongze Cheng 已提交
1891
  for (;;) {
H
Hongze Cheng 已提交
1892
    if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) break;
H
Hongze Cheng 已提交
1893

H
Hongze Cheng 已提交
1894 1895
    ret = tdbBtcMoveDownward(pBtc);
    if (ret < 0) {
1896
      tdbError("tdb/btc-move-tonext: btc move downward failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1897
      return -1;
H
Hongze Cheng 已提交
1898
    }
H
Hongze Cheng 已提交
1899 1900

    pBtc->idx = 0;
H
Hongze Cheng 已提交
1901 1902
  }

H
Hongze Cheng 已提交
1903 1904 1905
  return 0;
}

H
Hongze Cheng 已提交
1906 1907 1908 1909 1910 1911 1912 1913 1914 1915 1916 1917 1918 1919 1920 1921 1922 1923 1924 1925 1926 1927 1928 1929 1930 1931 1932 1933 1934 1935 1936 1937 1938 1939 1940 1941 1942
int tdbBtcMoveToPrev(SBTC *pBtc) {
  if (pBtc->idx < 0) return -1;

  pBtc->idx--;
  if (pBtc->idx >= 0) {
    return 0;
  }

  // move upward
  for (;;) {
    if (pBtc->iPage == 0) {
      pBtc->idx = -1;
      return 0;
    }

    tdbBtcMoveUpward(pBtc);
    pBtc->idx--;
    if (pBtc->idx >= 0) {
      break;
    }
  }

  // move downward
  for (;;) {
    if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) break;

    tdbBtcMoveDownward(pBtc);
    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);
    }
  }

  return 0;
}

H
Hongze Cheng 已提交
1943 1944 1945 1946 1947
static int tdbBtcMoveDownward(SBTC *pBtc) {
  int    ret;
  SPgno  pgno;
  SCell *pCell;

M
Minglei Jin 已提交
1948 1949 1950 1951 1952 1953 1954 1955 1956
  if (pBtc->idx < 0) {
    tdbError("tdb/btc-move-downward: invalid idx: %d.", pBtc->idx);
    return -1;
  }

  if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) {
    tdbError("tdb/btc-move-downward: should not be a leaf page here.");
    return -1;
  }
H
Hongze Cheng 已提交
1957 1958 1959 1960 1961 1962 1963

  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 已提交
1964

M
Minglei Jin 已提交
1965 1966 1967 1968
  if (!pgno) {
    tdbError("tdb/btc-move-downward: invalid pgno.");
    return -1;
  }
H
Hongze Cheng 已提交
1969

H
Hongze Cheng 已提交
1970 1971 1972 1973 1974
  pBtc->pgStack[pBtc->iPage] = pBtc->pPage;
  pBtc->idxStack[pBtc->iPage] = pBtc->idx;
  pBtc->iPage++;
  pBtc->pPage = NULL;
  pBtc->idx = -1;
H
Hongze Cheng 已提交
1975

H
Hongze Cheng 已提交
1976 1977
  ret = tdbPagerFetchPage(pBtc->pBt->pPager, &pgno, &pBtc->pPage, tdbBtreeInitPage,
                          &((SBtreeInitPageArg){.pBt = pBtc->pBt, .flags = 0}), pBtc->pTxn);
H
Hongze Cheng 已提交
1978
  if (ret < 0) {
1979
    tdbError("tdb/btc-move-downward: fetch page failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1980
    return -1;
H
Hongze Cheng 已提交
1981 1982 1983 1984 1985 1986
  }

  return 0;
}

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

H
Hongze Cheng 已提交
1989
  tdbPagerReturnPage(pBtc->pBt->pPager, pBtc->pPage, pBtc->pTxn);
H
Hongze Cheng 已提交
1990 1991 1992 1993 1994

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

H
Hongze Cheng 已提交
1995
  return 0;
H
Hongze Cheng 已提交
1996
}
H
refact  
Hongze Cheng 已提交
1997

H
Hongze Cheng 已提交
1998 1999 2000 2001 2002 2003 2004 2005
int tdbBtcGet(SBTC *pBtc, const void **ppKey, int *kLen, const void **ppVal, int *vLen) {
  SCell *pCell;

  if (pBtc->idx < 0 || pBtc->idx >= TDB_PAGE_TOTAL_CELLS(pBtc->pPage)) {
    return -1;
  }

  pCell = tdbPageGetCell(pBtc->pPage, pBtc->idx);
2006
  tdbBtreeDecodeCell(pBtc->pPage, pCell, &pBtc->coder, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
2007 2008 2009 2010 2011 2012 2013 2014

  if (ppKey) {
    *ppKey = (void *)pBtc->coder.pKey;
    *kLen = pBtc->coder.kLen;
  }

  if (ppVal) {
    *ppVal = (void *)pBtc->coder.pVal;
H
Hongze Cheng 已提交
2015
    *vLen = pBtc->coder.vLen;
H
Hongze Cheng 已提交
2016 2017 2018 2019 2020
  }

  return 0;
}

H
Hongze Cheng 已提交
2021
int tdbBtcDelete(SBTC *pBtc) {
H
Hongze Cheng 已提交
2022 2023 2024 2025 2026 2027 2028 2029 2030 2031 2032 2033
  int         idx = pBtc->idx;
  int         nCells = TDB_PAGE_TOTAL_CELLS(pBtc->pPage);
  SPager     *pPager = pBtc->pBt->pPager;
  const void *pKey;
  i8          iPage;
  SPage      *pPage;
  SPgno       pgno;
  SCell      *pCell;
  int         szCell;
  int         nKey;
  int         ret;

2034 2035 2036 2037
  if (idx < 0 || idx >= nCells) {
    tdbError("tdb/btc-delete: idx: %d out of range[%d, %d).", idx, 0, nCells);
    return -1;
  }
H
Hongze Cheng 已提交
2038 2039 2040 2041

  // drop the cell on the leaf
  ret = tdbPagerWrite(pPager, pBtc->pPage);
  if (ret < 0) {
2042
    tdbError("failed to write page since %s", terrstr());
H
Hongze Cheng 已提交
2043 2044 2045
    return -1;
  }

2046
  tdbPageDropCell(pBtc->pPage, idx, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
2047

H
Hongze Cheng 已提交
2048
  // update interior page or do balance
H
Hongze Cheng 已提交
2049
  if (idx == nCells - 1) {
H
Hongze Cheng 已提交
2050 2051 2052 2053 2054 2055 2056 2057 2058 2059 2060 2061 2062 2063
    if (idx) {
      pBtc->idx--;
      tdbBtcGet(pBtc, &pKey, &nKey, NULL, NULL);

      // loop to update the interial page
      pgno = TDB_PAGE_PGNO(pBtc->pPage);
      for (iPage = pBtc->iPage - 1; iPage >= 0; iPage--) {
        pPage = pBtc->pgStack[iPage];
        idx = pBtc->idxStack[iPage];
        nCells = TDB_PAGE_TOTAL_CELLS(pPage);

        if (idx < nCells) {
          ret = tdbPagerWrite(pPager, pPage);
          if (ret < 0) {
2064
            tdbError("failed to write page since %s", terrstr());
H
Hongze Cheng 已提交
2065 2066 2067 2068 2069
            return -1;
          }

          // update the cell with new key
          pCell = tdbOsMalloc(nKey + 9);
2070
          tdbBtreeEncodeCell(pPage, pKey, nKey, &pgno, sizeof(pgno), pCell, &szCell, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
2071

2072
          ret = tdbPageUpdateCell(pPage, idx, pCell, szCell, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
2073 2074
          if (ret < 0) {
            tdbOsFree(pCell);
2075
            tdbError("tdb/btc-delete: page update cell failed with ret: %d.", ret);
H
Hongze Cheng 已提交
2076 2077 2078 2079 2080 2081 2082 2083 2084
            return -1;
          }
          tdbOsFree(pCell);
          break;
        } else {
          pgno = TDB_PAGE_PGNO(pPage);
        }
      }
    } else {
H
Hongze Cheng 已提交
2085
      // delete the leaf page and do balance
M
Minglei Jin 已提交
2086 2087 2088 2089
      if (TDB_PAGE_TOTAL_CELLS(pBtc->pPage) != 0) {
        tdbError("tdb/btc-delete: page to be deleted should be empty.");
        return -1;
      }
H
Hongze Cheng 已提交
2090 2091 2092

      ret = tdbBtreeBalance(pBtc);
      if (ret < 0) {
2093
        tdbError("tdb/btc-delete: btree balance failed with ret: %d.", ret);
H
Hongze Cheng 已提交
2094 2095
        return -1;
      }
H
Hongze Cheng 已提交
2096
    }
H
Hongze Cheng 已提交
2097 2098 2099 2100 2101
  }

  return 0;
}

H
Hongze Cheng 已提交
2102 2103 2104 2105 2106 2107 2108 2109
int tdbBtcUpsert(SBTC *pBtc, const void *pKey, int kLen, const void *pData, int nData, int insert) {
  SCell *pCell;
  int    szCell;
  int    nCells = TDB_PAGE_TOTAL_CELLS(pBtc->pPage);
  int    szBuf;
  void  *pBuf;
  int    ret;

M
Minglei Jin 已提交
2110 2111 2112 2113
  if (pBtc->idx < 0) {
    tdbError("tdb/btc-upsert: invalid idx: %d.", pBtc->idx);
    return -1;
  }
H
Hongze Cheng 已提交
2114 2115 2116

  // alloc space
  szBuf = kLen + nData + 14;
2117
  pBuf = tdbRealloc(pBtc->pBt->pBuf, pBtc->pBt->pageSize > szBuf ? szBuf : pBtc->pBt->pageSize);
H
Hongze Cheng 已提交
2118
  if (pBuf == NULL) {
2119
    tdbError("tdb/btc-upsert: realloc pBuf failed.");
H
Hongze Cheng 已提交
2120 2121 2122 2123 2124 2125
    return -1;
  }
  pBtc->pBt->pBuf = pBuf;
  pCell = (SCell *)pBtc->pBt->pBuf;

  // encode cell
2126
  ret = tdbBtreeEncodeCell(pBtc->pPage, pKey, kLen, pData, nData, pCell, &szCell, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
2127
  if (ret < 0) {
2128
    tdbError("tdb/btc-upsert: btree encode cell failed with ret: %d.", ret);
H
Hongze Cheng 已提交
2129 2130 2131 2132 2133 2134
    return -1;
  }

  // mark dirty
  ret = tdbPagerWrite(pBtc->pBt->pPager, pBtc->pPage);
  if (ret < 0) {
2135
    tdbError("failed to write page since %s", terrstr());
H
Hongze Cheng 已提交
2136 2137 2138 2139 2140
    return -1;
  }

  // insert or update
  if (insert) {
M
Minglei Jin 已提交
2141 2142 2143 2144
    if (pBtc->idx > nCells) {
      tdbError("tdb/btc-upsert: invalid idx: %d, nCells: %d.", pBtc->idx, nCells);
      return -1;
    }
H
Hongze Cheng 已提交
2145 2146 2147

    ret = tdbPageInsertCell(pBtc->pPage, pBtc->idx, pCell, szCell, 0);
  } else {
M
Minglei Jin 已提交
2148 2149 2150 2151
    if (pBtc->idx >= nCells) {
      tdbError("tdb/btc-upsert: invalid idx: %d, nCells: %d.", pBtc->idx, nCells);
      return -1;
    }
H
Hongze Cheng 已提交
2152

2153
    ret = tdbPageUpdateCell(pBtc->pPage, pBtc->idx, pCell, szCell, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
2154 2155
  }
  if (ret < 0) {
2156
    tdbError("tdb/btc-upsert: page insert/update cell failed with ret: %d.", ret);
H
Hongze Cheng 已提交
2157 2158 2159 2160 2161 2162 2163
    return -1;
  }

  // check balance
  if (pBtc->pPage->nOverflow > 0) {
    ret = tdbBtreeBalance(pBtc);
    if (ret < 0) {
2164
      tdbError("tdb/btc-upsert: btree balance failed with ret: %d.", ret);
H
Hongze Cheng 已提交
2165 2166 2167 2168
      return -1;
    }
  }

H
Hongze Cheng 已提交
2169 2170 2171
  return 0;
}

H
Hongze Cheng 已提交
2172
int tdbBtcMoveTo(SBTC *pBtc, const void *pKey, int kLen, int *pCRst) {
H
Hongze Cheng 已提交
2173 2174 2175 2176 2177 2178 2179 2180
  int         ret;
  int         nCells;
  int         c;
  SCell      *pCell;
  SBTree     *pBt = pBtc->pBt;
  SPager     *pPager = pBt->pPager;
  const void *pTKey;
  int         tkLen;
H
Hongze Cheng 已提交
2181

2182
  tdbTrace("tdb moveto, pager:%p, ipage:%d", pPager, pBtc->iPage);
H
Hongze Cheng 已提交
2183
  if (pBtc->iPage < 0) {
H
Hongze Cheng 已提交
2184
    // move from a clear cursor
H
Hongze Cheng 已提交
2185 2186
    ret = tdbPagerFetchPage(pPager, &pBt->root, &(pBtc->pPage), tdbBtreeInitPage,
                            &((SBtreeInitPageArg){.pBt = pBt, .flags = TDB_BTREE_ROOT | TDB_BTREE_LEAF}), pBtc->pTxn);
H
Hongze Cheng 已提交
2187
    if (ret < 0) {
H
Hongze Cheng 已提交
2188
      // TODO
M
Minglei Jin 已提交
2189 2190
      tdbError("tdb/btc-move-to: fetch page failed with ret: %d.", ret);
      return -1;
H
Hongze Cheng 已提交
2191 2192 2193
    }

    pBtc->iPage = 0;
H
Hongze Cheng 已提交
2194 2195 2196 2197
    pBtc->idx = -1;
    // for empty tree, just return with an invalid position
    if (TDB_PAGE_TOTAL_CELLS(pBtc->pPage) == 0) return 0;
  } else {
M
Minglei Jin 已提交
2198 2199 2200
    // TODO
    tdbError("tdb/btc-move-to: move from a dirty cursor.");
    return -1;
H
Hongze Cheng 已提交
2201
#if 0
H
Hongze Cheng 已提交
2202 2203 2204 2205 2206 2207 2208 2209 2210 2211
    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);

M
Minglei Jin 已提交
2212 2213 2214 2215
      if (TDB_BTREE_PAGE_IS_LEAF(pPage)) {
        tdbError("tdb/btc-move-to: leaf page in cursor stack.");
        return -1;
      }
H
Hongze Cheng 已提交
2216 2217 2218 2219

      // check if key <= current position
      if (idx < nCells) {
        pCell = tdbPageGetCell(pPage, idx);
2220
        tdbBtreeDecodeCell(pPage, pCell, &cd);
H
Hongze Cheng 已提交
2221 2222 2223 2224 2225 2226 2227 2228
        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);
2229
        c = pBt->kcmpr(pKey, kLen, cd.pKey, cd.kLen, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
2230 2231 2232 2233 2234 2235 2236 2237 2238
        if (c <= 0) break;
      }
    }

    // move upward
    for (;;) {
      if (pBtc->iPage == iPage) break;
      tdbBtcMoveUpward(pBtc);
    }
H
Hongze Cheng 已提交
2239
#endif
H
Hongze Cheng 已提交
2240
  }
H
Hongze Cheng 已提交
2241

H
Hongze Cheng 已提交
2242
  // search downward to the leaf
2243
  tdbTrace("tdb search downward, pager:%p, ipage:%d", pPager, pBtc->iPage);
H
Hongze Cheng 已提交
2244
  for (;;) {
H
Hongze Cheng 已提交
2245
    int    lidx, ridx;
H
Hongze Cheng 已提交
2246
    SPage *pPage;
H
Hongze Cheng 已提交
2247

H
Hongze Cheng 已提交
2248 2249 2250 2251
    pPage = pBtc->pPage;
    nCells = TDB_PAGE_TOTAL_CELLS(pPage);
    lidx = 0;
    ridx = nCells - 1;
H
Hongze Cheng 已提交
2252

2253
    ASSERT(nCells > 0);
H
Hongze Cheng 已提交
2254

H
Hongze Cheng 已提交
2255
    // compare first cell
H
Hongze Cheng 已提交
2256 2257 2258
    pBtc->idx = lidx;
    tdbBtcGet(pBtc, &pTKey, &tkLen, NULL, NULL);
    c = pBt->kcmpr(pKey, kLen, pTKey, tkLen);
H
Hongze Cheng 已提交
2259 2260 2261 2262 2263 2264 2265 2266
    if (c <= 0) {
      ridx = lidx - 1;
    } else {
      lidx = lidx + 1;
    }

    // compare last cell
    if (lidx <= ridx) {
H
Hongze Cheng 已提交
2267 2268 2269
      pBtc->idx = ridx;
      tdbBtcGet(pBtc, &pTKey, &tkLen, NULL, NULL);
      c = pBt->kcmpr(pKey, kLen, pTKey, tkLen);
H
Hongze Cheng 已提交
2270 2271 2272 2273 2274 2275 2276
      if (c >= 0) {
        lidx = ridx + 1;
      } else {
        ridx = ridx - 1;
      }
    }

H
Hongze Cheng 已提交
2277
    // binary search
2278
    tdbTrace("tdb binary search, pager:%p, ipage:%d", pPager, pBtc->iPage);
H
Hongze Cheng 已提交
2279 2280
    for (;;) {
      if (lidx > ridx) break;
H
Hongze Cheng 已提交
2281

H
Hongze Cheng 已提交
2282 2283 2284
      pBtc->idx = (lidx + ridx) >> 1;
      tdbBtcGet(pBtc, &pTKey, &tkLen, NULL, NULL);
      c = pBt->kcmpr(pKey, kLen, pTKey, tkLen);
H
Hongze Cheng 已提交
2285 2286
      if (c < 0) {
        // pKey < cd.pKey
H
Hongze Cheng 已提交
2287
        ridx = pBtc->idx - 1;
H
Hongze Cheng 已提交
2288 2289
      } else if (c > 0) {
        // pKey > cd.pKey
H
Hongze Cheng 已提交
2290
        lidx = pBtc->idx + 1;
H
Hongze Cheng 已提交
2291 2292 2293
      } else {
        // pKey == cd.pKey
        break;
H
Hongze Cheng 已提交
2294
      }
H
Hongze Cheng 已提交
2295
    }
H
Hongze Cheng 已提交
2296

H
Hongze Cheng 已提交
2297 2298 2299 2300 2301
    // keep search downward or break
    if (TDB_BTREE_PAGE_IS_LEAF(pPage)) {
      *pCRst = c;
      break;
    } else {
H
Hongze Cheng 已提交
2302 2303
      if (c > 0) {
        pBtc->idx += 1;
H
Hongze Cheng 已提交
2304
      }
H
Hongze Cheng 已提交
2305
      tdbBtcMoveDownward(pBtc);
H
Hongze Cheng 已提交
2306 2307 2308
    }
  }

2309 2310
  tdbTrace("tdb moveto end, pager:%p, ipage:%d", pPager, pBtc->iPage);

H
Hongze Cheng 已提交
2311 2312 2313
  return 0;
}

H
refact  
Hongze Cheng 已提交
2314 2315 2316 2317
int tdbBtcClose(SBTC *pBtc) {
  if (pBtc->iPage < 0) return 0;

  for (;;) {
2318 2319 2320 2321
    if (NULL == pBtc->pPage) {
      tdbError("tdb/btc-close: null ptr pPage.");
      return -1;
    }
H
refact  
Hongze Cheng 已提交
2322

H
Hongze Cheng 已提交
2323
    tdbPagerReturnPage(pBtc->pBt->pPager, pBtc->pPage, pBtc->pTxn);
H
refact  
Hongze Cheng 已提交
2324 2325 2326 2327 2328 2329 2330 2331

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

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

2332
  if (TDB_CELLDECODER_FREE_VAL(&pBtc->coder)) {
2333 2334
    tdbDebug("tdb btc/close decoder: %p pVal free: %p", &pBtc->coder, pBtc->coder.pVal);

2335 2336 2337
    tdbFree(pBtc->coder.pVal);
  }

2338 2339 2340 2341
  if (pBtc->freeTxn) {
    tdbTxnClose(pBtc->pTxn);
  }

H
refact  
Hongze Cheng 已提交
2342 2343
  return 0;
}
H
Hongze Cheng 已提交
2344 2345 2346 2347 2348 2349 2350 2351

int tdbBtcIsValid(SBTC *pBtc) {
  if (pBtc->idx < 0) {
    return 0;
  } else {
    return 1;
  }
}
H
refact  
Hongze Cheng 已提交
2352
// TDB_BTREE_CURSOR
H
Hongze Cheng 已提交
2353

H
refact  
Hongze Cheng 已提交
2354
// TDB_BTREE_DEBUG =====================
H
Hongze Cheng 已提交
2355 2356 2357 2358 2359 2360 2361 2362 2363 2364 2365 2366 2367 2368 2369 2370 2371 2372 2373
#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 已提交
2374 2375
  pBtPageInfo->root = TDB_BTREE_PAGE_IS_ROOT(pPage);
  pBtPageInfo->leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
H
Hongze Cheng 已提交
2376 2377 2378 2379 2380 2381 2382 2383 2384

  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 已提交
2385
#endif
2386
// TDB_BTREE_DEBUG