tdbBtree.c 60.6 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) {
263
  SBTC btc = {0};
H
Hongze Cheng 已提交
264 265 266 267 268
  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);
275 276 277
    if (TDB_CELLDECODER_FREE_KEY(&btc.coder)) {
      tdbFree(btc.coder.pKey);
    }
H
Hongze Cheng 已提交
278
    tdbBtcClose(&btc);
H
Hongze Cheng 已提交
279 280 281
    return -1;
  }

282 283 284 285
  if (TDB_CELLDECODER_FREE_KEY(&btc.coder)) {
    tdbFree(btc.coder.pKey);
  }

H
Hongze Cheng 已提交
286 287 288 289 290 291 292
  if (btc.idx == -1) {
    btc.idx = 0;
    c = 1;
  } else {
    if (c > 0) {
      btc.idx = btc.idx + 1;
    }
H
Hongze Cheng 已提交
293 294
  }

H
Hongze Cheng 已提交
295 296
  ret = tdbBtcUpsert(&btc, pKey, nKey, pData, nData, c);
  if (ret < 0) {
H
Hongze Cheng 已提交
297
    tdbBtcClose(&btc);
298
    tdbError("tdb/btree-upsert: btc upsert failed with ret: %d.", ret);
H
Hongze Cheng 已提交
299 300 301 302 303 304 305
    return -1;
  }

  tdbBtcClose(&btc);
  return 0;
}

H
Hongze Cheng 已提交
306
int tdbBtreeGet(SBTree *pBt, const void *pKey, int kLen, void **ppVal, int *vLen) {
H
Hongze Cheng 已提交
307 308 309 310
  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 已提交
311
  SBTC         btc;
H
Hongze Cheng 已提交
312 313
  SCell       *pCell;
  int          cret;
H
Hongze Cheng 已提交
314
  int          ret;
H
Hongze Cheng 已提交
315 316
  void        *pTKey = NULL;
  void        *pTVal = NULL;
317
  SCellDecoder cd = {0};
H
Hongze Cheng 已提交
318

H
Hongze Cheng 已提交
319
  tdbBtcOpen(&btc, pBt, NULL);
H
Hongze Cheng 已提交
320

321 322
  tdbTrace("tdb pget, btc: %p", &btc);

H
Hongze Cheng 已提交
323 324 325
  ret = tdbBtcMoveTo(&btc, pKey, kLen, &cret);
  if (ret < 0) {
    tdbBtcClose(&btc);
326 327
    tdbError("tdb/btree-pget: btc move to failed with ret: %d.", ret);
    return -1;
H
Hongze Cheng 已提交
328
  }
H
Hongze Cheng 已提交
329

H
Hongze Cheng 已提交
330
  if (btc.idx < 0 || cret) {
H
Hongze Cheng 已提交
331
    tdbBtcClose(&btc);
332

H
Hongze Cheng 已提交
333
    return -1;
H
Hongze Cheng 已提交
334 335 336
  }

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

H
Hongze Cheng 已提交
339
  if (ppKey) {
H
Hongze Cheng 已提交
340
    pTKey = tdbRealloc(*ppKey, cd.kLen);
H
Hongze Cheng 已提交
341 342
    if (pTKey == NULL) {
      tdbBtcClose(&btc);
343
      tdbError("tdb/btree-pget: realloc pTKey failed.");
H
Hongze Cheng 已提交
344 345 346 347 348
      return -1;
    }
    *ppKey = pTKey;
    *pkLen = cd.kLen;
    memcpy(*ppKey, cd.pKey, cd.kLen);
349 350
  }

H
Hongze Cheng 已提交
351
  if (ppVal) {
H
Hongze Cheng 已提交
352
    pTVal = tdbRealloc(*ppVal, cd.vLen);
H
Hongze Cheng 已提交
353 354
    if (pTVal == NULL) {
      tdbBtcClose(&btc);
355
      tdbError("tdb/btree-pget: realloc pTVal failed.");
H
Hongze Cheng 已提交
356 357 358 359 360
      return -1;
    }
    *ppVal = pTVal;
    *vLen = cd.vLen;
    memcpy(*ppVal, cd.pVal, cd.vLen);
361
  }
H
Hongze Cheng 已提交
362

363 364 365 366 367
  if (TDB_CELLDECODER_FREE_KEY(&cd)) {
    tdbFree(cd.pKey);
  }

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

370 371 372
    tdbFree(cd.pVal);
  }

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

H
Hongze Cheng 已提交
375 376
  tdbBtcClose(&btc);

377 378 379
  return 0;
}

H
Hongze Cheng 已提交
380 381 382 383
static int tdbDefaultKeyCmprFn(const void *pKey1, int keyLen1, const void *pKey2, int keyLen2) {
  int mlen;
  int cret;

384 385 386
  if (ASSERT(keyLen1 > 0 && keyLen2 > 0 && pKey1 != NULL && pKey2 != NULL)) {
    // -1 is less than
  }
H
Hongze Cheng 已提交
387 388 389 390 391 392 393 394 395 396 397 398 399

  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 已提交
400 401
}

402
int tdbBtreeInitPage(SPage *pPage, void *arg, int init) {
H
Hongze Cheng 已提交
403
  SBTree *pBt;
H
Hongze Cheng 已提交
404
  u8      flags;
H
Hongze Cheng 已提交
405
  u8      leaf;
H
Hongze Cheng 已提交
406

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

H
Hongze Cheng 已提交
409 410 411 412 413
  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 已提交
414

H
Hongze Cheng 已提交
415
    tdbPageInit(pPage, leaf ? sizeof(SLeafHdr) : sizeof(SIntHdr), tdbBtreeCellSize);
H
Hongze Cheng 已提交
416
  } else {
H
Hongze Cheng 已提交
417 418 419 420
    // zero page
    flags = ((SBtreeInitPageArg *)arg)->flags;
    leaf = flags & TDB_BTREE_LEAF;
    TDB_BTREE_ASSERT_FLAG(flags);
H
Hongze Cheng 已提交
421

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

H
Hongze Cheng 已提交
424 425 426
    if (leaf) {
      SLeafHdr *pLeafHdr = (SLeafHdr *)(pPage->pData);
      pLeafHdr->flags = flags;
H
Hongze Cheng 已提交
427

H
Hongze Cheng 已提交
428 429 430 431 432 433
    } else {
      SIntHdr *pIntHdr = (SIntHdr *)(pPage->pData);
      pIntHdr->flags = flags;
      pIntHdr->pgno = 0;
    }
  }
H
Hongze Cheng 已提交
434

H
refact  
Hongze Cheng 已提交
435
  if (leaf) {
H
Hongze Cheng 已提交
436 437 438 439
    pPage->kLen = pBt->keyLen;
    pPage->vLen = pBt->valLen;
    pPage->maxLocal = pBt->maxLeaf;
    pPage->minLocal = pBt->minLeaf;
440 441 442 443 444
  } 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 已提交
445 446 447 448 449 450
  } else {
    pPage->kLen = pBt->keyLen;
    pPage->vLen = sizeof(SPgno);
    pPage->maxLocal = pBt->maxLocal;
    pPage->minLocal = pBt->minLocal;
  }
H
Hongze Cheng 已提交
451

H
Hongze Cheng 已提交
452
  return 0;
H
Hongze Cheng 已提交
453 454
}

H
Hongze Cheng 已提交
455
// TDB_BTREE_BALANCE =====================
H
Hongze Cheng 已提交
456
static int tdbBtreeBalanceDeeper(SBTree *pBt, SPage *pRoot, SPage **ppChild, TXN *pTxn) {
H
Hongze Cheng 已提交
457 458 459 460
  SPager           *pPager;
  SPage            *pChild;
  SPgno             pgnoChild;
  int               ret;
H
Hongze Cheng 已提交
461
  u8                flags;
H
Hongze Cheng 已提交
462
  SIntHdr          *pIntHdr;
H
Hongze Cheng 已提交
463
  SBtreeInitPageArg zArg;
H
Hongze Cheng 已提交
464
  u8                leaf;
H
Hongze Cheng 已提交
465 466

  pPager = pRoot->pPager;
H
Hongze Cheng 已提交
467
  flags = TDB_BTREE_PAGE_GET_FLAGS(pRoot);
H
refact  
Hongze Cheng 已提交
468
  leaf = TDB_BTREE_PAGE_IS_LEAF(pRoot);
H
Hongze Cheng 已提交
469

H
Hongze Cheng 已提交
470 471
  // allocate a new child page
  pgnoChild = 0;
H
Hongze Cheng 已提交
472
  zArg.flags = TDB_FLAG_REMOVE(flags, TDB_BTREE_ROOT);
H
Hongze Cheng 已提交
473
  zArg.pBt = pBt;
H
Hongze Cheng 已提交
474
  ret = tdbPagerFetchPage(pPager, &pgnoChild, &pChild, tdbBtreeInitPage, &zArg, pTxn);
H
Hongze Cheng 已提交
475 476 477 478
  if (ret < 0) {
    return -1;
  }

H
Hongze Cheng 已提交
479 480 481 482
  if (!leaf) {
    ((SIntHdr *)pChild->pData)->pgno = ((SIntHdr *)(pRoot->pData))->pgno;
  }

H
Hongze Cheng 已提交
483 484
  ret = tdbPagerWrite(pPager, pChild);
  if (ret < 0) {
485 486
    tdbError("failed to write page since %s", terrstr());
    return -1;
H
Hongze Cheng 已提交
487 488
  }

H
Hongze Cheng 已提交
489
  // Copy the root page content to the child page
490
  tdbPageCopy(pRoot, pChild, 0);
H
Hongze Cheng 已提交
491 492 493 494

  // Reinitialize the root page
  zArg.flags = TDB_BTREE_ROOT;
  zArg.pBt = pBt;
H
Hongze Cheng 已提交
495
  ret = tdbBtreeInitPage(pRoot, &zArg, 0);
H
Hongze Cheng 已提交
496 497 498 499
  if (ret < 0) {
    return -1;
  }

H
Hongze Cheng 已提交
500
  pIntHdr = (SIntHdr *)(pRoot->pData);
H
Hongze Cheng 已提交
501
  pIntHdr->pgno = pgnoChild;
H
Hongze Cheng 已提交
502

H
Hongze Cheng 已提交
503 504 505 506
  *ppChild = pChild;
  return 0;
}

H
Hongze Cheng 已提交
507
static int tdbBtreeBalanceNonRoot(SBTree *pBt, SPage *pParent, int idx, TXN *pTxn) {
H
Hongze Cheng 已提交
508 509
  int ret;

M
Minglei Jin 已提交
510
  int    nOlds, pageIdx;
H
Hongze Cheng 已提交
511
  SPage *pOlds[3] = {0};
H
Hongze Cheng 已提交
512 513
  SCell *pDivCell[3] = {0};
  int    szDivCell[3];
H
Hongze Cheng 已提交
514
  int    sIdx;
H
Hongze Cheng 已提交
515
  u8     childNotLeaf;
H
Hongze Cheng 已提交
516
  SPgno  rPgno;
H
Hongze Cheng 已提交
517

H
Hongze Cheng 已提交
518
  {  // Find 3 child pages at most to do balance
H
Hongze Cheng 已提交
519 520 521
    int    nCells = TDB_PAGE_TOTAL_CELLS(pParent);
    SCell *pCell;

H
Hongze Cheng 已提交
522 523 524 525 526 527 528 529 530 531 532 533 534 535
    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 已提交
536
    for (int i = 0; i < nOlds; i++) {
537 538 539
      if (ASSERT(sIdx + i <= nCells)) {
        return -1;
      }
H
Hongze Cheng 已提交
540

H
Hongze Cheng 已提交
541
      SPgno pgno;
H
Hongze Cheng 已提交
542
      if (sIdx + i == nCells) {
543 544 545
        if (ASSERT(!TDB_BTREE_PAGE_IS_LEAF(pParent))) {
          return -1;
        }
H
Hongze Cheng 已提交
546 547
        pgno = ((SIntHdr *)(pParent->pData))->pgno;
      } else {
H
Hongze Cheng 已提交
548
        pCell = tdbPageGetCell(pParent, sIdx + i);
H
Hongze Cheng 已提交
549 550 551
        pgno = *(SPgno *)pCell;
      }

H
Hongze Cheng 已提交
552 553
      ret = tdbPagerFetchPage(pBt->pPager, &pgno, pOlds + i, tdbBtreeInitPage,
                              &((SBtreeInitPageArg){.pBt = pBt, .flags = 0}), pTxn);
H
Hongze Cheng 已提交
554
      if (ret < 0) {
555
        tdbError("tdb/btree-balance: fetch page failed with ret: %d.", ret);
H
Hongze Cheng 已提交
556 557
        return -1;
      }
H
Hongze Cheng 已提交
558 559 560

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

H
Hongze Cheng 已提交
576 577 578
        if (i < nOlds - 1) {
          ((SPgno *)pDivCell[i])[0] = ((SIntHdr *)pOlds[i]->pData)->pgno;
          ((SIntHdr *)pOlds[i]->pData)->pgno = 0;
H
Hongze Cheng 已提交
579
          tdbPageInsertCell(pOlds[i], TDB_PAGE_TOTAL_CELLS(pOlds[i]), pDivCell[i], szDivCell[i], 1);
H
Hongze Cheng 已提交
580
        }
H
Hongze Cheng 已提交
581
      }
H
Hongze Cheng 已提交
582
      rPgno = ((SIntHdr *)pOlds[nOlds - 1]->pData)->pgno;
H
Hongze Cheng 已提交
583
    }
H
Hongze Cheng 已提交
584 585 586

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

H
Hongze Cheng 已提交
591
    // drop the cells on parent page
H
Hongze Cheng 已提交
592 593 594
    for (int i = 0; i < nOlds; i++) {
      nCells = TDB_PAGE_TOTAL_CELLS(pParent);
      if (sIdx < nCells) {
595
        tdbPageDropCell(pParent, sIdx, pTxn, pBt);
H
Hongze Cheng 已提交
596 597 598 599
      } else {
        ((SIntHdr *)pParent->pData)->pgno = 0;
      }
    }
H
Hongze Cheng 已提交
600 601
  }

H
Hongze Cheng 已提交
602
  int nNews = 0;
H
Hongze Cheng 已提交
603
  struct {
H
Hongze Cheng 已提交
604 605 606 607
    int cnt;
    int size;
    int iPage;
    int oIdx;
H
Hongze Cheng 已提交
608
  } infoNews[5] = {0};
H
Hongze Cheng 已提交
609 610 611

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

H
Hongze Cheng 已提交
612 613 614
    // first loop to find minimum number of pages needed
    for (int oPage = 0; oPage < nOlds; oPage++) {
      SPage *pPage = pOlds[oPage];
H
Hongze Cheng 已提交
615 616
      SCell *pCell;
      int    cellBytes;
H
Hongze Cheng 已提交
617
      int    oIdx;
H
Hongze Cheng 已提交
618

H
Hongze Cheng 已提交
619
      for (oIdx = 0; oIdx < TDB_PAGE_TOTAL_CELLS(pPage); oIdx++) {
H
Hongze Cheng 已提交
620
        pCell = tdbPageGetCell(pPage, oIdx);
H
Hongze Cheng 已提交
621 622
        cellBytes = TDB_BYTES_CELL_TAKEN(pPage, pCell);

H
Hongze Cheng 已提交
623 624
        if (infoNews[nNews].size + cellBytes > TDB_PAGE_USABLE_SIZE(pPage)) {
          // page is full, use a new page
H
Hongze Cheng 已提交
625
          nNews++;
H
Hongze Cheng 已提交
626

627
          ASSERT(infoNews[nNews].size + cellBytes <= TDB_PAGE_USABLE_SIZE(pPage));
H
Hongze Cheng 已提交
628 629 630 631 632 633

          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 已提交
634
        }
H
Hongze Cheng 已提交
635 636
        infoNews[nNews].cnt++;
        infoNews[nNews].size += cellBytes;
H
Hongze Cheng 已提交
637
        infoNews[nNews].iPage = oPage;
H
Hongze Cheng 已提交
638
        infoNews[nNews].oIdx = oIdx;
H
Hongze Cheng 已提交
639 640 641
      }
    }

H
Hongze Cheng 已提交
642
    nNews++;
H
Hongze Cheng 已提交
643 644 645

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

H
Hongze Cheng 已提交
649
      // balance page (iNew) and (iNew-1)
H
Hongze Cheng 已提交
650
      for (;;) {
H
Hongze Cheng 已提交
651
        pCell = tdbPageGetCell(pOlds[infoNews[iNew - 1].iPage], infoNews[iNew - 1].oIdx);
H
Hongze Cheng 已提交
652

653
        szLCell = tdbBtreeCellSize(pOlds[infoNews[iNew - 1].iPage], pCell, 0, NULL, NULL);
H
Hongze Cheng 已提交
654 655
        if (!childNotLeaf) {
          szRCell = szLCell;
H
Hongze Cheng 已提交
656
        } else {
H
Hongze Cheng 已提交
657
          int    iPage = infoNews[iNew - 1].iPage;
H
Hongze Cheng 已提交
658
          int    oIdx = infoNews[iNew - 1].oIdx + 1;
H
Hongze Cheng 已提交
659
          SPage *pPage;
H
Hongze Cheng 已提交
660
          for (;;) {
H
Hongze Cheng 已提交
661
            pPage = pOlds[iPage];
H
Hongze Cheng 已提交
662 663 664 665
            if (oIdx < TDB_PAGE_TOTAL_CELLS(pPage)) {
              break;
            }

H
Hongze Cheng 已提交
666
            iPage++;
H
Hongze Cheng 已提交
667 668 669 670
            oIdx = 0;
          }

          pCell = tdbPageGetCell(pPage, oIdx);
671
          szRCell = tdbBtreeCellSize(pPage, pCell, 0, NULL, NULL);
H
Hongze Cheng 已提交
672 673
        }

674 675 676
        if (ASSERT(infoNews[iNew - 1].cnt > 0)) {
          return -1;
        }
H
Hongze Cheng 已提交
677 678 679 680 681

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

H
Hongze Cheng 已提交
682
        // Move a cell right forward
H
Hongze Cheng 已提交
683 684
        infoNews[iNew - 1].cnt--;
        infoNews[iNew - 1].size -= szLCell;
H
Hongze Cheng 已提交
685
        infoNews[iNew - 1].oIdx--;
H
Hongze Cheng 已提交
686
        for (;;) {
H
Hongze Cheng 已提交
687
          if (infoNews[iNew - 1].oIdx >= 0) {
H
Hongze Cheng 已提交
688 689
            break;
          }
H
Hongze Cheng 已提交
690

H
Hongze Cheng 已提交
691 692
          infoNews[iNew - 1].iPage--;
          infoNews[iNew - 1].oIdx = TDB_PAGE_TOTAL_CELLS(pOlds[infoNews[iNew - 1].iPage]) - 1;
H
Hongze Cheng 已提交
693 694 695
        }

        infoNews[iNew].cnt++;
H
Hongze Cheng 已提交
696
        infoNews[iNew].size += szRCell;
H
Hongze Cheng 已提交
697
      }
H
Hongze Cheng 已提交
698
    }
H
Hongze Cheng 已提交
699 700
  }

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

        ret = tdbPagerWrite(pBt->pPager, pNews[iNew]);
        if (ret < 0) {
725
          tdbError("failed to write page since %s", terrstr());
H
Hongze Cheng 已提交
726 727
          return -1;
        }
H
Hongze Cheng 已提交
728 729
      }
    }
H
Hongze Cheng 已提交
730 731

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

H
Hongze Cheng 已提交
734
  {  // Do the real cell distribution
H
Hongze Cheng 已提交
735
    SPage            *pOldsCopy[3] = {0};
H
Hongze Cheng 已提交
736 737 738 739
    SCell            *pCell;
    int               szCell;
    SBtreeInitPageArg iarg;
    int               iNew, nNewCells;
M
Minglei Jin 已提交
740
    SCellDecoder      cd = {0};
H
Hongze Cheng 已提交
741 742 743 744

    iarg.pBt = pBt;
    iarg.flags = TDB_BTREE_PAGE_GET_FLAGS(pOlds[0]);
    for (int i = 0; i < nOlds; i++) {
H
Hongze Cheng 已提交
745 746
      tdbPageCreate(pOlds[0]->pageSize, &pOldsCopy[i], tdbDefaultMalloc, NULL);
      tdbBtreeInitPage(pOldsCopy[i], &iarg, 0);
747
      tdbPageCopy(pOlds[i], pOldsCopy[i], 0);
748
      pOlds[i]->nOverflow = 0;
749 750
    }

H
Hongze Cheng 已提交
751 752
    iNew = 0;
    nNewCells = 0;
753
    tdbBtreeInitPage(pNews[iNew], &iarg, 0);
H
Hongze Cheng 已提交
754 755 756 757 758 759 760 761

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

764 765 766 767 768 769
        if (ASSERT(nNewCells <= infoNews[iNew].cnt)) {
          return -1;
        }
        if (ASSERT(iNew < nNews)) {
          return -1;
        }
H
Hongze Cheng 已提交
770 771 772 773

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

H
Hongze Cheng 已提交
775 776 777 778 779 780 781
          // 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 {
782
              tdbBtreeDecodeCell(pPage, pCell, &cd, pTxn, pBt);
H
Hongze Cheng 已提交
783

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

              if (TDB_CELLDECODER_FREE_VAL(&cd)) {
                tdbFree(cd.pVal);
                cd.pVal = NULL;
              }
H
Hongze Cheng 已提交
798
            }
H
Hongze Cheng 已提交
799 800

            // move to next new page
H
Hongze Cheng 已提交
801
            iNew++;
H
Hongze Cheng 已提交
802 803
            nNewCells = 0;
            if (iNew < nNews) {
H
Hongze Cheng 已提交
804
              tdbBtreeInitPage(pNews[iNew], &iarg, 0);
H
Hongze Cheng 已提交
805
            }
H
Hongze Cheng 已提交
806 807
          }
        } else {
808 809 810 811 812 813
          if (ASSERT(childNotLeaf)) {
            return -1;
          }
          if (ASSERT(iNew < nNews - 1)) {
            return -1;
          }
H
Hongze Cheng 已提交
814

H
Hongze Cheng 已提交
815 816 817 818
          // set current new page right-most child
          ((SIntHdr *)pNews[iNew]->pData)->pgno = ((SPgno *)pCell)[0];

          // insert to parent as divider cell
819 820 821
          if (ASSERT(iNew < nNews - 1)) {
            return -1;
          }
H
Hongze Cheng 已提交
822 823
          ((SPgno *)pCell)[0] = TDB_PAGE_PGNO(pNews[iNew]);
          tdbPageInsertCell(pParent, sIdx++, pCell, szCell, 0);
H
Hongze Cheng 已提交
824 825 826 827

          // move to next new page
          iNew++;
          nNewCells = 0;
H
Hongze Cheng 已提交
828
          if (iNew < nNews) {
H
Hongze Cheng 已提交
829
            tdbBtreeInitPage(pNews[iNew], &iarg, 0);
H
Hongze Cheng 已提交
830
          }
H
Hongze Cheng 已提交
831 832
        }
      }
H
Hongze Cheng 已提交
833
    }
H
Hongze Cheng 已提交
834

H
Hongze Cheng 已提交
835
    if (childNotLeaf) {
836 837 838
      if (ASSERT(TDB_PAGE_TOTAL_CELLS(pNews[nNews - 1]) == infoNews[nNews - 1].cnt)) {
        return -1;
      }
H
Hongze Cheng 已提交
839
      ((SIntHdr *)(pNews[nNews - 1]->pData))->pgno = rPgno;
H
Hongze Cheng 已提交
840

H
Hongze Cheng 已提交
841 842 843 844 845 846
      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 已提交
847
      }
H
Hongze Cheng 已提交
848 849 850
    }

    for (int i = 0; i < nOlds; i++) {
H
Hongze Cheng 已提交
851
      tdbPageDestroy(pOldsCopy[i], tdbDefaultFree, NULL);
H
Hongze Cheng 已提交
852 853 854
    }
  }

H
Hongze Cheng 已提交
855 856 857 858
  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);
859
    tdbPageCopy(pNews[0], pParent, 1);
860 861 862 863

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

H
Hongze Cheng 已提交
866 867
  for (int i = 0; i < 3; i++) {
    if (pDivCell[i]) {
H
Hongze Cheng 已提交
868
      tdbOsFree(pDivCell[i]);
H
Hongze Cheng 已提交
869 870
    }
  }
H
Hongze Cheng 已提交
871

M
Minglei Jin 已提交
872 873 874 875 876
  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 已提交
877 878
  }

H
Hongze Cheng 已提交
879
  return 0;
H
Hongze Cheng 已提交
880 881
}

H
Hongze Cheng 已提交
882
static int tdbBtreeBalance(SBTC *pBtc) {
H
Hongze Cheng 已提交
883
  int    iPage;
H
Hongze Cheng 已提交
884 885
  int    ret;
  int    nFree;
H
Hongze Cheng 已提交
886
  SPage *pParent;
H
Hongze Cheng 已提交
887
  SPage *pPage;
H
Hongze Cheng 已提交
888
  u8     flags;
H
Hongze Cheng 已提交
889 890
  u8     leaf;
  u8     root;
H
Hongze Cheng 已提交
891 892 893

  // Main loop to balance the BTree
  for (;;) {
H
Hongze Cheng 已提交
894 895
    iPage = pBtc->iPage;
    pPage = pBtc->pPage;
H
refact  
Hongze Cheng 已提交
896 897
    leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
    root = TDB_BTREE_PAGE_IS_ROOT(pPage);
H
Hongze Cheng 已提交
898
    nFree = TDB_PAGE_FREE_SIZE(pPage);
H
Hongze Cheng 已提交
899

H
Hongze Cheng 已提交
900 901
    // when the page is not overflow and not too empty, the balance work
    // is finished. Just break out the balance loop.
H
Hongze Cheng 已提交
902
    if (pPage->nOverflow == 0 && nFree < TDB_PAGE_USABLE_SIZE(pPage) * 2 / 3) {
H
Hongze Cheng 已提交
903 904 905 906
      break;
    }

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

H
Hongze Cheng 已提交
911
      ret = tdbBtreeBalanceDeeper(pBtc->pBt, pPage, &(pBtc->pgStack[1]), pBtc->pTxn);
H
Hongze Cheng 已提交
912 913 914 915
      if (ret < 0) {
        return -1;
      }

H
Hongze Cheng 已提交
916 917 918 919 920
      pBtc->idx = 0;
      pBtc->idxStack[0] = 0;
      pBtc->pgStack[0] = pBtc->pPage;
      pBtc->iPage = 1;
      pBtc->pPage = pBtc->pgStack[1];
H
Hongze Cheng 已提交
921
    } else {
H
Hongze Cheng 已提交
922
      // Generalized balance step
H
Hongze Cheng 已提交
923
      pParent = pBtc->pgStack[iPage - 1];
H
Hongze Cheng 已提交
924

H
Hongze Cheng 已提交
925
      ret = tdbBtreeBalanceNonRoot(pBtc->pBt, pParent, pBtc->idxStack[pBtc->iPage - 1], pBtc->pTxn);
H
Hongze Cheng 已提交
926 927 928 929
      if (ret < 0) {
        return -1;
      }

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

H
Hongze Cheng 已提交
932 933
      pBtc->iPage--;
      pBtc->pPage = pBtc->pgStack[pBtc->iPage];
H
Hongze Cheng 已提交
934 935 936 937 938
    }
  }

  return 0;
}
H
Hongze Cheng 已提交
939
// TDB_BTREE_BALANCE
H
Hongze Cheng 已提交
940

941
static int tdbFetchOvflPage(SPgno *pPgno, SPage **ppOfp, TXN *pTxn, SBTree *pBt) {
942 943 944 945 946 947
  int ret = 0;

  *pPgno = 0;
  SBtreeInitPageArg iArg;
  iArg.pBt = pBt;
  iArg.flags = TDB_FLAG_ADD(0, TDB_BTREE_OVFL);
948
  ret = tdbPagerFetchPage(pBt->pPager, pPgno, ppOfp, tdbBtreeInitPage, &iArg, pTxn);
949 950 951 952 953
  if (ret < 0) {
    return -1;
  }

  // mark dirty
954
  ret = tdbPagerWrite(pBt->pPager, *ppOfp);
955
  if (ret < 0) {
956
    tdbError("failed to write page since %s", terrstr());
957 958 959
    return -1;
  }

960 961
  tdbPCacheRelease(pBt->pPager->pCache, *ppOfp, pTxn);

962 963 964
  return ret;
}

965
static int tdbLoadOvflPage(SPgno *pPgno, SPage **ppOfp, TXN *pTxn, SBTree *pBt) {
966 967 968 969 970
  int ret = 0;

  SBtreeInitPageArg iArg;
  iArg.pBt = pBt;
  iArg.flags = TDB_FLAG_ADD(0, TDB_BTREE_OVFL);
971
  ret = tdbPagerFetchPage(pBt->pPager, pPgno, ppOfp, tdbBtreeInitPage, &iArg, pTxn);
972 973 974 975 976 977 978
  if (ret < 0) {
    return -1;
  }

  return ret;
}

H
Hongze Cheng 已提交
979
// TDB_BTREE_CELL =====================
H
Hongze Cheng 已提交
980
static int tdbBtreeEncodePayload(SPage *pPage, SCell *pCell, int nHeader, const void *pKey, int kLen, const void *pVal,
981 982 983 984
                                 int vLen, int *szPayload, TXN *pTxn, SBTree *pBt) {
  int ret = 0;
  int nPayload = kLen + vLen;
  int maxLocal = pPage->maxLocal;
H
Hongze Cheng 已提交
985

986
  if (nPayload + nHeader <= maxLocal) {
H
Hongze Cheng 已提交
987 988
    // no overflow page is needed
    memcpy(pCell + nHeader, pKey, kLen);
H
Hongze Cheng 已提交
989
    if (pVal) {
H
Hongze Cheng 已提交
990
      memcpy(pCell + nHeader + kLen, pVal, vLen);
H
Hongze Cheng 已提交
991 992 993 994
    }

    *szPayload = nPayload;
    return 0;
995 996 997 998 999 1000
  } 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 已提交
1001

1002
    // int ofpCap = tdbPageCapacity(pBt->pageSize, sizeof(SIntHdr));
1003 1004

    // fetch a new ofp and make it dirty
1005
    SPgno  pgno = 0;
1006
    SPage *ofp = NULL, *nextOfp = NULL;
1007

1008
    ret = tdbFetchOvflPage(&pgno, &ofp, pTxn, pBt);
1009 1010 1011 1012 1013
    if (ret < 0) {
      return -1;
    }

    // local buffer for cell
M
Minglei Jin 已提交
1014
    SCell *pBuf = tdbRealloc(NULL, pBt->pageSize);
1015 1016 1017 1018 1019 1020 1021
    if (pBuf == NULL) {
      return -1;
    }

    int nLeft = nPayload;
    int bytes;
    int lastPage = 0;
1022
    if (nLocal >= nHeader + kLen + sizeof(SPgno)) {
1023 1024 1025 1026
      // pack key to local
      memcpy(pCell + nHeader, pKey, kLen);
      nLeft -= kLen;
      // pack partial val to local if any space left
1027
      if (nLocal > nHeader + kLen + sizeof(SPgno)) {
1028 1029 1030
        if (ASSERT(pVal != NULL && vLen != 0)) {
          return -1;
        }
1031 1032
        memcpy(pCell + nHeader + kLen, pVal, nLocal - nHeader - kLen - sizeof(SPgno));
        nLeft -= nLocal - nHeader - kLen - sizeof(SPgno);
1033 1034 1035 1036 1037 1038 1039
      }

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

      // pack left val data to ovpages
      do {
1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070
        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;
1071 1072 1073 1074
      } while (nLeft > 0);
    } else {
      int nLeftKey = kLen;
      // pack partial key and nextPgno
1075 1076 1077
      memcpy(pCell + nHeader, pKey, nLocal - nHeader - sizeof(pgno));
      nLeft -= nLocal - nHeader - sizeof(pgno);
      nLeftKey -= nLocal - nHeader - sizeof(pgno);
1078

1079
      memcpy(pCell + nLocal - sizeof(pgno), &pgno, sizeof(pgno));
1080 1081 1082 1083

      int lastKeyPageSpace = 0;
      // pack left key & val to ovpages
      do {
1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098
        // 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) {
1099 1100 1101 1102 1103
            if (vLen > 0) {
              memcpy(pBuf + kLen - nLeftKey, pVal, vLen);

              nLeft -= vLen;
            }
1104 1105 1106 1107 1108 1109 1110 1111 1112

            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 已提交
1113
              tdbFree(pBuf);
1114 1115 1116 1117 1118 1119 1120
              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 已提交
1121
            tdbFree(pBuf);
1122 1123 1124 1125
            return -1;
          }
        }

1126
        memcpy(pBuf + bytes, &pgno, sizeof(pgno));
1127 1128 1129 1130 1131 1132 1133 1134 1135

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

        ofp = nextOfp;
        nLeftKey -= bytes;
        nLeft -= bytes;
1136 1137 1138
      } while (nLeftKey > 0);

      while (nLeft > 0) {
1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162
        // 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 已提交
1163 1164 1165 1166 1167
        if (ofp == NULL) {
          tdbFree(pBuf);
          return -1;
        }

1168 1169 1170 1171 1172 1173 1174 1175
        ret = tdbPageInsertCell(ofp, 0, pBuf, bytes + sizeof(pgno), 0);
        if (ret < 0) {
          tdbFree(pBuf);
          return -1;
        }

        ofp = nextOfp;
        nLeft -= bytes;
1176 1177 1178 1179 1180 1181
      }
    }

    // free local buffer
    tdbFree(pBuf);

1182
    *szPayload = nLocal - nHeader;
H
Hongze Cheng 已提交
1183 1184 1185 1186 1187
  }

  return 0;
}

H
Hongze Cheng 已提交
1188
static int tdbBtreeEncodeCell(SPage *pPage, const void *pKey, int kLen, const void *pVal, int vLen, SCell *pCell,
1189
                              int *szCell, TXN *pTxn, SBTree *pBt) {
H
Hongze Cheng 已提交
1190 1191 1192 1193
  u8  leaf;
  int nHeader;
  int nPayload;
  int ret;
H
Hongze Cheng 已提交
1194

1195 1196 1197 1198 1199 1200 1201 1202 1203
  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 已提交
1204

H
Hongze Cheng 已提交
1205 1206
  nPayload = 0;
  nHeader = 0;
H
refact  
Hongze Cheng 已提交
1207
  leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
H
Hongze Cheng 已提交
1208

H
Hongze Cheng 已提交
1209
  // 1. Encode Header part
H
Hongze Cheng 已提交
1210 1211
  /* Encode SPgno if interior page */
  if (!leaf) {
M
Minglei Jin 已提交
1212 1213 1214 1215
    if (pPage->vLen != sizeof(SPgno)) {
      tdbError("tdb/btree-encode-cell: invalid cell.");
      return -1;
    }
H
Hongze Cheng 已提交
1216 1217 1218 1219 1220

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

H
Hongze Cheng 已提交
1221
  /* Encode kLen if need */
H
Hongze Cheng 已提交
1222
  if (pPage->kLen == TDB_VARIANT_LEN) {
H
Hongze Cheng 已提交
1223
    nHeader += tdbPutVarInt(pCell + nHeader, kLen);
H
Hongze Cheng 已提交
1224 1225
  }

H
Hongze Cheng 已提交
1226
  /* Encode vLen if need */
H
Hongze Cheng 已提交
1227
  if (pPage->vLen == TDB_VARIANT_LEN) {
H
Hongze Cheng 已提交
1228
    nHeader += tdbPutVarInt(pCell + nHeader, vLen);
H
Hongze Cheng 已提交
1229 1230
  }

H
Hongze Cheng 已提交
1231
  // 2. Encode payload part
H
Hongze Cheng 已提交
1232 1233 1234
  if ((!leaf) || pPage->vLen == 0) {
    pVal = NULL;
    vLen = 0;
H
Hongze Cheng 已提交
1235
  }
H
Hongze Cheng 已提交
1236

1237
  ret = tdbBtreeEncodePayload(pPage, pCell, nHeader, pKey, kLen, pVal, vLen, &nPayload, pTxn, pBt);
H
Hongze Cheng 已提交
1238
  if (ret < 0) {
H
Hongze Cheng 已提交
1239
    // TODO
1240 1241
    tdbError("tdb/btree-encode-cell: encode payload failed with ret: %d.", ret);
    return -1;
H
Hongze Cheng 已提交
1242 1243
  }

H
Hongze Cheng 已提交
1244
  *szCell = nHeader + nPayload;
H
Hongze Cheng 已提交
1245 1246 1247
  return 0;
}

1248 1249
static int tdbBtreeDecodePayload(SPage *pPage, const SCell *pCell, int nHeader, SCellDecoder *pDecoder, TXN *pTxn,
                                 SBTree *pBt) {
1250
  int ret = 0;
H
Hongze Cheng 已提交
1251
  int nPayload;
1252 1253 1254 1255
  int maxLocal = pPage->maxLocal;

  int kLen = pDecoder->kLen;
  int vLen = pDecoder->vLen;
H
Hongze Cheng 已提交
1256 1257

  if (pDecoder->pVal) {
M
Minglei Jin 已提交
1258 1259 1260 1261
    if (TDB_BTREE_PAGE_IS_LEAF(pPage)) {
      tdbError("tdb/btree-decode-payload: leaf page with non-null pVal.");
      return -1;
    }
H
Hongze Cheng 已提交
1262
    nPayload = pDecoder->kLen;
H
Hongze Cheng 已提交
1263 1264
  } else {
    nPayload = pDecoder->kLen + pDecoder->vLen;
H
Hongze Cheng 已提交
1265 1266
  }

1267
  if (nHeader + nPayload <= maxLocal) {
H
Hongze Cheng 已提交
1268
    // no over flow case
1269
    pDecoder->pKey = (SCell *)pCell + nHeader;
H
Hongze Cheng 已提交
1270
    if (pDecoder->pVal == NULL && pDecoder->vLen > 0) {
1271
      pDecoder->pVal = (SCell *)pCell + nHeader + pDecoder->kLen;
H
Hongze Cheng 已提交
1272
    }
H
Hongze Cheng 已提交
1273
    return 0;
1274 1275 1276 1277 1278 1279 1280
  } 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;

1281 1282
    int    nLeft = nPayload;
    SPgno  pgno = 0;
1283 1284
    SPage *ofp;
    SCell *ofpCell;
1285 1286
    int    bytes;
    int    lastPage = 0;
1287

1288
    if (nLocal >= pDecoder->kLen + nHeader + sizeof(SPgno)) {
1289 1290
      pDecoder->pKey = (SCell *)pCell + nHeader;
      nLeft -= kLen;
1291
      if (nLocal > kLen + nHeader + sizeof(SPgno)) {
1292 1293 1294 1295 1296 1297
        // read partial val to local
        pDecoder->pVal = tdbRealloc(pDecoder->pVal, vLen);
        if (pDecoder->pVal == NULL) {
          return -1;
        }
        TDB_CELLDECODER_SET_FREE_VAL(pDecoder);
1298

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

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

1303
        nLeft -= nLocal - nHeader - kLen - sizeof(SPgno);
1304
      }
H
Hongze Cheng 已提交
1305

1306 1307 1308
      memcpy(&pgno, pCell + nHeader + nPayload - nLeft, sizeof(pgno));

      // unpack left val data from ovpages
1309 1310 1311 1312 1313
      while (pgno != 0) {
        ret = tdbLoadOvflPage(&pgno, &ofp, pTxn, pBt);
        if (ret < 0) {
          return -1;
        }
1314

1315
        ofpCell = tdbPageGetCell(ofp, 0);
1316

1317 1318 1319 1320 1321 1322
        if (nLeft <= ofp->maxLocal - sizeof(SPgno)) {
          bytes = nLeft;
          lastPage = 1;
        } else {
          bytes = ofp->maxLocal - sizeof(SPgno);
        }
1323

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

1327
        memcpy(&pgno, ofpCell + bytes, sizeof(pgno));
1328 1329

        tdbPCacheRelease(pBt->pPager->pCache, ofp, pTxn);
1330 1331 1332 1333 1334 1335
      }
    } else {
      int nLeftKey = kLen;
      // load partial key and nextPgno
      pDecoder->pKey = tdbRealloc(pDecoder->pKey, kLen);
      if (pDecoder->pKey == NULL) {
1336
        return -1;
1337 1338 1339
      }
      TDB_CELLDECODER_SET_FREE_KEY(pDecoder);

1340 1341 1342
      memcpy(pDecoder->pKey, pCell + nHeader, nLocal - nHeader - sizeof(pgno));
      nLeft -= nLocal - nHeader - sizeof(pgno);
      nLeftKey -= nLocal - nHeader - sizeof(pgno);
1343

1344
      memcpy(&pgno, pCell + nLocal - sizeof(pgno), sizeof(pgno));
1345 1346 1347 1348

      int lastKeyPageSpace = 0;
      // load left key & val to ovpages
      while (pgno != 0) {
1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369
        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) {
1370 1371
            if (vLen > 0) {
              pDecoder->pVal = ofpCell + kLen - nLeftKey;
1372

1373 1374
              nLeft -= vLen;
            }
1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390
            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));

1391 1392
        tdbPCacheRelease(pBt->pPager->pCache, ofp, pTxn);

1393 1394
        nLeftKey -= bytes;
        nLeft -= bytes;
1395 1396 1397
      }

      while (nLeft > 0) {
1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430
        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));

1431 1432
        tdbPCacheRelease(pBt->pPager->pCache, ofp, pTxn);

1433
        nLeft -= bytes;
1434 1435
      }
    }
H
Hongze Cheng 已提交
1436 1437
  }

H
Hongze Cheng 已提交
1438 1439 1440
  return 0;
}

1441
static int tdbBtreeDecodeCell(SPage *pPage, const SCell *pCell, SCellDecoder *pDecoder, TXN *pTxn, SBTree *pBt) {
H
Hongze Cheng 已提交
1442 1443 1444 1445 1446
  u8  leaf;
  int nHeader;
  int ret;

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

H
Hongze Cheng 已提交
1449
  // Clear the state of decoder
1450 1451
  if (TDB_CELLDECODER_FREE_VAL(pDecoder)) {
    tdbFree(pDecoder->pVal);
1452 1453 1454 1455 1456 1457 1458
    TDB_CELLDECODER_CLZ_FREE_VAL(pDecoder);
    // tdbTrace("tdb btc decoder val set nil: %p/0x%x ", pDecoder, pDecoder->freeKV);
  }
  if (TDB_CELLDECODER_FREE_KEY(pDecoder)) {
    tdbFree(pDecoder->pKey);
    TDB_CELLDECODER_CLZ_FREE_KEY(pDecoder);
    // tdbTrace("tdb btc decoder key set nil: %p/0x%x ", pDecoder, pDecoder->freeKV);
1459
  }
H
Hongze Cheng 已提交
1460 1461 1462 1463 1464
  pDecoder->kLen = -1;
  pDecoder->pKey = NULL;
  pDecoder->vLen = -1;
  pDecoder->pVal = NULL;
  pDecoder->pgno = 0;
1465

H
Hongze Cheng 已提交
1466
  // 1. Decode header part
H
Hongze Cheng 已提交
1467
  if (!leaf) {
M
Minglei Jin 已提交
1468 1469 1470 1471
    if (pPage->vLen != sizeof(SPgno)) {
      tdbError("tdb/btree-decode-cell: invalid cell.");
      return -1;
    }
H
Hongze Cheng 已提交
1472 1473 1474 1475 1476 1477

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

H
Hongze Cheng 已提交
1478 1479 1480 1481 1482 1483 1484
  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 已提交
1485 1486 1487 1488
    if (!leaf) {
      tdbError("tdb/btree-decode-cell: not a leaf page.");
      return -1;
    }
H
Hongze Cheng 已提交
1489
    nHeader += tdbGetVarInt(pCell + nHeader, &(pDecoder->vLen));
H
Hongze Cheng 已提交
1490
  } else {
H
Hongze Cheng 已提交
1491 1492
    pDecoder->vLen = pPage->vLen;
  }
H
Hongze Cheng 已提交
1493

H
Hongze Cheng 已提交
1494
  // 2. Decode payload part
1495
  ret = tdbBtreeDecodePayload(pPage, pCell, nHeader, pDecoder, pTxn, pBt);
H
Hongze Cheng 已提交
1496 1497
  if (ret < 0) {
    return -1;
H
Hongze Cheng 已提交
1498 1499 1500 1501 1502
  }

  return 0;
}

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

H
refact  
Hongze Cheng 已提交
1507
  leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
H
Hongze Cheng 已提交
1508

H
refact  
Hongze Cheng 已提交
1509
  if (!leaf) {
1510
    nHeader += sizeof(SPgno);
H
Hongze Cheng 已提交
1511 1512 1513
  }

  if (pPage->kLen == TDB_VARIANT_LEN) {
1514
    nHeader += tdbGetVarInt(pCell + nHeader, &kLen);
H
Hongze Cheng 已提交
1515 1516 1517 1518
  } else {
    kLen = pPage->kLen;
  }

H
refact  
Hongze Cheng 已提交
1519
  if (pPage->vLen == TDB_VARIANT_LEN) {
M
Minglei Jin 已提交
1520 1521 1522 1523
    if (!leaf) {
      tdbError("tdb/btree-cell-size: not a leaf page.");
      return -1;
    }
1524
    nHeader += tdbGetVarInt(pCell + nHeader, &vLen);
H
refact  
Hongze Cheng 已提交
1525 1526
  } else if (leaf) {
    vLen = pPage->vLen;
H
Hongze Cheng 已提交
1527 1528
  }

1529 1530
  int nPayload = kLen + vLen;
  if (nHeader + nPayload <= pPage->maxLocal) {
1531
    return nHeader + nPayload;
1532 1533
  } else {
    int maxLocal = pPage->maxLocal;
H
Hongze Cheng 已提交
1534

1535 1536 1537 1538
    // 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 已提交
1539

1540 1541
    // free ofp pages' cells
    if (dropOfp) {
1542
      int    ret = 0;
1543
      SPgno  pgno = *(SPgno *)(pCell + nLocal - sizeof(SPgno));
1544
      int    nLeft = nPayload - nLocal + sizeof(SPgno) + nHeader;
1545
      SPage *ofp;
1546
      int    bytes;
1547 1548

      while (pgno != 0) {
1549 1550 1551 1552
        ret = tdbLoadOvflPage(&pgno, &ofp, pTxn, pBt);
        if (ret < 0) {
          return -1;
        }
1553

1554
        SCell *ofpCell = tdbPageGetCell(ofp, 0);
1555

1556 1557 1558 1559 1560
        if (nLeft <= ofp->maxLocal - sizeof(SPgno)) {
          bytes = nLeft;
        } else {
          bytes = ofp->maxLocal - sizeof(SPgno);
        }
1561

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

1564
        tdbPagerReturnPage(pPage->pPager, ofp, pTxn);
1565

1566
        nLeft -= bytes;
1567 1568 1569
      }
    }

1570
    return nLocal;
H
refact  
Hongze Cheng 已提交
1571
  }
H
Hongze Cheng 已提交
1572
}
H
Hongze Cheng 已提交
1573
// TDB_BTREE_CELL
H
Hongze Cheng 已提交
1574

H
refact  
Hongze Cheng 已提交
1575
// TDB_BTREE_CURSOR =====================
H
Hongze Cheng 已提交
1576
int tdbBtcOpen(SBTC *pBtc, SBTree *pBt, TXN *pTxn) {
H
Hongze Cheng 已提交
1577 1578 1579 1580
  pBtc->pBt = pBt;
  pBtc->iPage = -1;
  pBtc->pPage = NULL;
  pBtc->idx = -1;
H
Hongze Cheng 已提交
1581
  memset(&pBtc->coder, 0, sizeof(SCellDecoder));
H
Hongze Cheng 已提交
1582 1583

  if (pTxn == NULL) {
1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 1594 1595
    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 已提交
1596 1597
  } else {
    pBtc->pTxn = pTxn;
1598
    pBtc->freeTxn = 0;
H
Hongze Cheng 已提交
1599
  }
H
Hongze Cheng 已提交
1600 1601 1602 1603

  return 0;
}

H
Hongze Cheng 已提交
1604
int tdbBtcMoveToFirst(SBTC *pBtc) {
H
refact  
Hongze Cheng 已提交
1605 1606 1607
  int     ret;
  SBTree *pBt;
  SPager *pPager;
H
Hongze Cheng 已提交
1608 1609
  SCell  *pCell;
  SPgno   pgno;
H
refact  
Hongze Cheng 已提交
1610 1611 1612 1613 1614

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

  if (pBtc->iPage < 0) {
H
Hongze Cheng 已提交
1615
    // move a clean cursor
H
Hongze Cheng 已提交
1616
    ret = tdbPagerFetchPage(pPager, &pBt->root, &(pBtc->pPage), tdbBtreeInitPage,
H
Hongze Cheng 已提交
1617
                            &((SBtreeInitPageArg){.pBt = pBt, .flags = TDB_BTREE_ROOT | TDB_BTREE_LEAF}), pBtc->pTxn);
H
refact  
Hongze Cheng 已提交
1618
    if (ret < 0) {
1619
      tdbError("tdb/btc-move-tofirst: fetch page failed with ret: %d.", ret);
H
refact  
Hongze Cheng 已提交
1620 1621 1622
      return -1;
    }

M
Minglei Jin 已提交
1623 1624 1625 1626
    if (!TDB_BTREE_PAGE_IS_ROOT(pBtc->pPage)) {
      tdbError("tdb/btc-move-tofirst: not a root page");
      return -1;
    }
H
refact  
Hongze Cheng 已提交
1627

H
Hongze Cheng 已提交
1628 1629 1630 1631
    pBtc->iPage = 0;
    if (TDB_PAGE_TOTAL_CELLS(pBtc->pPage) > 0) {
      pBtc->idx = 0;
    } else {
H
more  
Hongze Cheng 已提交
1632
      // no any data, point to an invalid position
M
Minglei Jin 已提交
1633 1634 1635 1636 1637
      if (!TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) {
        tdbError("tdb/btc-move-to-first: not a leaf page.");
        return -1;
      }

H
Hongze Cheng 已提交
1638
      pBtc->idx = -1;
H
refact  
Hongze Cheng 已提交
1639 1640
      return 0;
    }
H
Hongze Cheng 已提交
1641
  } else {
M
Minglei Jin 已提交
1642 1643 1644
    // TODO
    tdbError("tdb/btc-move-to-first: move from a dirty cursor.");
    return -1;
H
Hongze Cheng 已提交
1645
#if 0
H
Hongze Cheng 已提交
1646 1647
    // move from a position
    int iPage = 0;
H
refact  
Hongze Cheng 已提交
1648

H
Hongze Cheng 已提交
1649
    for (; iPage < pBtc->iPage; iPage++) {
M
Minglei Jin 已提交
1650 1651 1652 1653 1654
      if (pBtc->idxStack[iPage] < 0) {
        tdbError("tdb/btc-move-to-first: invalid idx: %d.", pBtc->idxStack[iPage]);
        return -1;
      }

H
Hongze Cheng 已提交
1655 1656
      if (pBtc->idxStack[iPage]) break;
    }
H
refact  
Hongze Cheng 已提交
1657

H
Hongze Cheng 已提交
1658 1659
    // move upward
    for (;;) {
H
Hongze Cheng 已提交
1660
      if (pBtc->iPage == iPage) {
H
Hongze Cheng 已提交
1661
        pBtc->idx = 0;
H
refact  
Hongze Cheng 已提交
1662 1663
        break;
      }
H
Hongze Cheng 已提交
1664

H
Hongze Cheng 已提交
1665
      tdbBtcMoveUpward(pBtc);
H
Hongze Cheng 已提交
1666
    }
H
Hongze Cheng 已提交
1667
#endif
H
Hongze Cheng 已提交
1668 1669 1670 1671
  }

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

H
Hongze Cheng 已提交
1674
    ret = tdbBtcMoveDownward(pBtc);
H
Hongze Cheng 已提交
1675
    if (ret < 0) {
1676
      tdbError("tdb/btc-move-tofirst: btc move downward failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1677 1678 1679 1680 1681 1682
      return -1;
    }

    pBtc->idx = 0;
  }

H
Hongze Cheng 已提交
1683 1684 1685 1686
  return 0;
}

int tdbBtcMoveToLast(SBTC *pBtc) {
H
Hongze Cheng 已提交
1687
  int     ret;
H
Hongze Cheng 已提交
1688
  int     nCells;
H
Hongze Cheng 已提交
1689 1690 1691 1692 1693 1694 1695 1696 1697
  SBTree *pBt;
  SPager *pPager;
  SPgno   pgno;

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

  if (pBtc->iPage < 0) {
    // move a clean cursor
H
Hongze Cheng 已提交
1698
    ret = tdbPagerFetchPage(pPager, &pBt->root, &(pBtc->pPage), tdbBtreeInitPage,
H
Hongze Cheng 已提交
1699
                            &((SBtreeInitPageArg){.pBt = pBt, .flags = TDB_BTREE_ROOT | TDB_BTREE_LEAF}), pBtc->pTxn);
H
Hongze Cheng 已提交
1700
    if (ret < 0) {
1701
      tdbError("tdb/btc-move-tolast: fetch page failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1702 1703 1704
      return -1;
    }

H
Hongze Cheng 已提交
1705
    nCells = TDB_PAGE_TOTAL_CELLS(pBtc->pPage);
H
Hongze Cheng 已提交
1706
    pBtc->iPage = 0;
H
Hongze Cheng 已提交
1707 1708 1709 1710
    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 已提交
1711 1712 1713 1714 1715
      if (!TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) {
        tdbError("tdb/btc-move-to-last: not a leaf page.");
        return -1;
      }

H
Hongze Cheng 已提交
1716 1717 1718
      pBtc->idx = -1;
      return 0;
    }
H
Hongze Cheng 已提交
1719
  } else {
M
Minglei Jin 已提交
1720 1721 1722
    // TODO
    tdbError("tdb/btc-move-to-last: move from a dirty cursor.");
    return -1;
H
Hongze Cheng 已提交
1723
#if 0
H
Hongze Cheng 已提交
1724 1725 1726 1727
    int iPage = 0;

    // downward search
    for (; iPage < pBtc->iPage; iPage++) {
M
Minglei Jin 已提交
1728 1729 1730 1731 1732
      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 已提交
1733 1734 1735 1736 1737 1738
      nCells = TDB_PAGE_TOTAL_CELLS(pBtc->pgStack[iPage]);
      if (pBtc->idxStack[iPage] != nCells) break;
    }

    // move upward
    for (;;) {
H
Hongze Cheng 已提交
1739
      if (pBtc->iPage == iPage) {
H
Hongze Cheng 已提交
1740 1741 1742 1743 1744
        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 已提交
1745
        break;
H
Hongze Cheng 已提交
1746 1747 1748 1749
      }

      tdbBtcMoveUpward(pBtc);
    }
H
Hongze Cheng 已提交
1750
#endif
H
Hongze Cheng 已提交
1751 1752 1753 1754
  }

  // move downward
  for (;;) {
H
Hongze Cheng 已提交
1755 1756 1757 1758
    if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) break;

    ret = tdbBtcMoveDownward(pBtc);
    if (ret < 0) {
1759
      tdbError("tdb/btc-move-tolast: btc move downward failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1760 1761 1762 1763
      return -1;
    }

    nCells = TDB_PAGE_TOTAL_CELLS(pBtc->pPage);
H
refact  
Hongze Cheng 已提交
1764
    if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) {
H
Hongze Cheng 已提交
1765
      pBtc->idx = nCells - 1;
H
Hongze Cheng 已提交
1766
    } else {
H
Hongze Cheng 已提交
1767
      pBtc->idx = nCells;
H
Hongze Cheng 已提交
1768 1769 1770
    }
  }

H
Hongze Cheng 已提交
1771 1772 1773 1774
  return 0;
}

int tdbBtreeNext(SBTC *pBtc, void **ppKey, int *kLen, void **ppVal, int *vLen) {
H
Hongze Cheng 已提交
1775
  SCell       *pCell;
1776
  SCellDecoder cd = {0};
H
Hongze Cheng 已提交
1777 1778 1779
  void        *pKey, *pVal;
  int          ret;

H
Hongze Cheng 已提交
1780
  // current cursor points to an invalid position
H
Hongze Cheng 已提交
1781
  if (pBtc->idx < 0) {
H
Hongze Cheng 已提交
1782 1783 1784 1785 1786
    return -1;
  }

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

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

H
Hongze Cheng 已提交
1789
  pKey = tdbRealloc(*ppKey, cd.kLen);
H
Hongze Cheng 已提交
1790 1791 1792 1793 1794 1795 1796
  if (pKey == NULL) {
    return -1;
  }

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

  if (ppVal) {
1799 1800 1801 1802 1803 1804 1805 1806
    if (cd.vLen > 0) {
      pVal = tdbRealloc(*ppVal, cd.vLen);
      if (pVal == NULL) {
        tdbFree(pKey);
        return -1;
      }

      memcpy(pVal, cd.pVal, cd.vLen);
1807 1808 1809 1810
      if (TDB_CELLDECODER_FREE_VAL(&cd)) {
        tdbTrace("tdb/btree-next decoder: %p pVal free: %p", &cd, cd.pVal);
        tdbFree(cd.pVal);
      }
1811 1812
    } else {
      pVal = NULL;
C
Cary Xu 已提交
1813 1814 1815 1816
    }

    *ppVal = pVal;
    *vLen = cd.vLen;
K
kailixu 已提交
1817 1818 1819 1820 1821
  } else {
    if (TDB_CELLDECODER_FREE_VAL(&cd)) {
      tdbTrace("tdb/btree-next2 decoder: %p pVal free: %p", &cd, cd.pVal);
      tdbFree(cd.pVal);
    }
C
Cary Xu 已提交
1822
  }
H
Hongze Cheng 已提交
1823 1824

  ret = tdbBtcMoveToNext(pBtc);
H
Hongze Cheng 已提交
1825
  if (ret < 0) {
1826
    tdbError("tdb/btree-next: btc move to next failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1827 1828
    return -1;
  }
H
Hongze Cheng 已提交
1829 1830 1831 1832

  return 0;
}

1833 1834
int tdbBtreePrev(SBTC *pBtc, void **ppKey, int *kLen, void **ppVal, int *vLen) {
  SCell       *pCell;
M
Minglei Jin 已提交
1835
  SCellDecoder cd = {0};
1836 1837 1838 1839 1840 1841 1842 1843 1844 1845
  void        *pKey, *pVal;
  int          ret;

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

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

1846
  tdbBtreeDecodeCell(pBtc->pPage, pCell, &cd, pBtc->pTxn, pBtc->pBt);
1847 1848 1849 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871

  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) {
1872
    tdbError("tdb/btree-prev: btc move to prev failed with ret: %d.", ret);
1873 1874 1875 1876 1877 1878
    return -1;
  }

  return 0;
}

H
Hongze Cheng 已提交
1879
int tdbBtcMoveToNext(SBTC *pBtc) {
H
Hongze Cheng 已提交
1880
  int    nCells;
H
Hongze Cheng 已提交
1881
  int    ret;
H
Hongze Cheng 已提交
1882 1883
  SCell *pCell;

M
Minglei Jin 已提交
1884 1885 1886 1887
  if (!TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) {
    tdbError("tdb/btc-move-to-next: not a leaf page.");
    return -1;
  }
H
Hongze Cheng 已提交
1888 1889 1890

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

H
Hongze Cheng 已提交
1891
  pBtc->idx++;
H
Hongze Cheng 已提交
1892 1893 1894 1895
  if (pBtc->idx < TDB_PAGE_TOTAL_CELLS(pBtc->pPage)) {
    return 0;
  }

H
Hongze Cheng 已提交
1896
  // move upward
H
Hongze Cheng 已提交
1897
  for (;;) {
H
Hongze Cheng 已提交
1898 1899 1900 1901 1902
    if (pBtc->iPage == 0) {
      pBtc->idx = -1;
      return 0;
    }

H
Hongze Cheng 已提交
1903 1904 1905
    tdbBtcMoveUpward(pBtc);
    pBtc->idx++;

M
Minglei Jin 已提交
1906 1907 1908 1909
    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 已提交
1910
    if (pBtc->idx <= TDB_PAGE_TOTAL_CELLS(pBtc->pPage)) {
H
Hongze Cheng 已提交
1911 1912
      break;
    }
H
Hongze Cheng 已提交
1913 1914
  }

H
Hongze Cheng 已提交
1915
  // move downward
H
Hongze Cheng 已提交
1916
  for (;;) {
H
Hongze Cheng 已提交
1917
    if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) break;
H
Hongze Cheng 已提交
1918

H
Hongze Cheng 已提交
1919 1920
    ret = tdbBtcMoveDownward(pBtc);
    if (ret < 0) {
1921
      tdbError("tdb/btc-move-tonext: btc move downward failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1922
      return -1;
H
Hongze Cheng 已提交
1923
    }
H
Hongze Cheng 已提交
1924 1925

    pBtc->idx = 0;
H
Hongze Cheng 已提交
1926 1927
  }

H
Hongze Cheng 已提交
1928 1929 1930
  return 0;
}

H
Hongze Cheng 已提交
1931 1932 1933 1934 1935 1936 1937 1938 1939 1940 1941 1942 1943 1944 1945 1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966 1967
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 已提交
1968 1969 1970 1971 1972
static int tdbBtcMoveDownward(SBTC *pBtc) {
  int    ret;
  SPgno  pgno;
  SCell *pCell;

M
Minglei Jin 已提交
1973 1974 1975 1976 1977 1978 1979 1980 1981
  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 已提交
1982 1983 1984 1985 1986 1987 1988

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

M
Minglei Jin 已提交
1990 1991 1992 1993
  if (!pgno) {
    tdbError("tdb/btc-move-downward: invalid pgno.");
    return -1;
  }
H
Hongze Cheng 已提交
1994

H
Hongze Cheng 已提交
1995 1996 1997 1998 1999
  pBtc->pgStack[pBtc->iPage] = pBtc->pPage;
  pBtc->idxStack[pBtc->iPage] = pBtc->idx;
  pBtc->iPage++;
  pBtc->pPage = NULL;
  pBtc->idx = -1;
H
Hongze Cheng 已提交
2000

H
Hongze Cheng 已提交
2001 2002
  ret = tdbPagerFetchPage(pBtc->pBt->pPager, &pgno, &pBtc->pPage, tdbBtreeInitPage,
                          &((SBtreeInitPageArg){.pBt = pBtc->pBt, .flags = 0}), pBtc->pTxn);
H
Hongze Cheng 已提交
2003
  if (ret < 0) {
2004
    tdbError("tdb/btc-move-downward: fetch page failed with ret: %d.", ret);
H
Hongze Cheng 已提交
2005
    return -1;
H
Hongze Cheng 已提交
2006 2007 2008 2009 2010 2011
  }

  return 0;
}

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

H
Hongze Cheng 已提交
2014
  tdbPagerReturnPage(pBtc->pBt->pPager, pBtc->pPage, pBtc->pTxn);
H
Hongze Cheng 已提交
2015 2016 2017 2018 2019

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

H
Hongze Cheng 已提交
2020
  return 0;
H
Hongze Cheng 已提交
2021
}
H
refact  
Hongze Cheng 已提交
2022

H
Hongze Cheng 已提交
2023 2024 2025 2026 2027 2028 2029 2030
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);
2031
  tdbBtreeDecodeCell(pBtc->pPage, pCell, &pBtc->coder, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
2032 2033 2034 2035 2036 2037 2038 2039

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

  if (ppVal) {
    *ppVal = (void *)pBtc->coder.pVal;
H
Hongze Cheng 已提交
2040
    *vLen = pBtc->coder.vLen;
H
Hongze Cheng 已提交
2041 2042 2043 2044 2045
  }

  return 0;
}

H
Hongze Cheng 已提交
2046
int tdbBtcDelete(SBTC *pBtc) {
H
Hongze Cheng 已提交
2047 2048 2049 2050 2051 2052 2053 2054 2055 2056 2057 2058
  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;

2059 2060 2061 2062
  if (idx < 0 || idx >= nCells) {
    tdbError("tdb/btc-delete: idx: %d out of range[%d, %d).", idx, 0, nCells);
    return -1;
  }
H
Hongze Cheng 已提交
2063 2064 2065 2066

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

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

H
Hongze Cheng 已提交
2073
  // update interior page or do balance
H
Hongze Cheng 已提交
2074
  if (idx == nCells - 1) {
H
Hongze Cheng 已提交
2075 2076 2077 2078 2079 2080 2081 2082 2083 2084 2085 2086 2087 2088
    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) {
2089
            tdbError("failed to write page since %s", terrstr());
H
Hongze Cheng 已提交
2090 2091 2092 2093 2094
            return -1;
          }

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

2097
          ret = tdbPageUpdateCell(pPage, idx, pCell, szCell, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
2098 2099
          if (ret < 0) {
            tdbOsFree(pCell);
2100
            tdbError("tdb/btc-delete: page update cell failed with ret: %d.", ret);
H
Hongze Cheng 已提交
2101 2102 2103 2104 2105 2106 2107 2108 2109
            return -1;
          }
          tdbOsFree(pCell);
          break;
        } else {
          pgno = TDB_PAGE_PGNO(pPage);
        }
      }
    } else {
H
Hongze Cheng 已提交
2110
      // delete the leaf page and do balance
M
Minglei Jin 已提交
2111 2112 2113 2114
      if (TDB_PAGE_TOTAL_CELLS(pBtc->pPage) != 0) {
        tdbError("tdb/btc-delete: page to be deleted should be empty.");
        return -1;
      }
H
Hongze Cheng 已提交
2115 2116 2117

      ret = tdbBtreeBalance(pBtc);
      if (ret < 0) {
2118
        tdbError("tdb/btc-delete: btree balance failed with ret: %d.", ret);
H
Hongze Cheng 已提交
2119 2120
        return -1;
      }
H
Hongze Cheng 已提交
2121
    }
H
Hongze Cheng 已提交
2122 2123 2124 2125 2126
  }

  return 0;
}

H
Hongze Cheng 已提交
2127 2128 2129 2130 2131 2132 2133 2134
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 已提交
2135 2136 2137 2138
  if (pBtc->idx < 0) {
    tdbError("tdb/btc-upsert: invalid idx: %d.", pBtc->idx);
    return -1;
  }
H
Hongze Cheng 已提交
2139 2140 2141

  // alloc space
  szBuf = kLen + nData + 14;
2142
  pBuf = tdbRealloc(pBtc->pBt->pBuf, pBtc->pBt->pageSize > szBuf ? szBuf : pBtc->pBt->pageSize);
H
Hongze Cheng 已提交
2143
  if (pBuf == NULL) {
2144
    tdbError("tdb/btc-upsert: realloc pBuf failed.");
H
Hongze Cheng 已提交
2145 2146 2147 2148 2149 2150
    return -1;
  }
  pBtc->pBt->pBuf = pBuf;
  pCell = (SCell *)pBtc->pBt->pBuf;

  // encode cell
2151
  ret = tdbBtreeEncodeCell(pBtc->pPage, pKey, kLen, pData, nData, pCell, &szCell, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
2152
  if (ret < 0) {
2153
    tdbError("tdb/btc-upsert: btree encode cell failed with ret: %d.", ret);
H
Hongze Cheng 已提交
2154 2155 2156 2157 2158 2159
    return -1;
  }

  // mark dirty
  ret = tdbPagerWrite(pBtc->pBt->pPager, pBtc->pPage);
  if (ret < 0) {
2160
    tdbError("failed to write page since %s", terrstr());
H
Hongze Cheng 已提交
2161 2162 2163 2164 2165
    return -1;
  }

  // insert or update
  if (insert) {
M
Minglei Jin 已提交
2166 2167 2168 2169
    if (pBtc->idx > nCells) {
      tdbError("tdb/btc-upsert: invalid idx: %d, nCells: %d.", pBtc->idx, nCells);
      return -1;
    }
H
Hongze Cheng 已提交
2170 2171 2172

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

2178
    ret = tdbPageUpdateCell(pBtc->pPage, pBtc->idx, pCell, szCell, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
2179 2180
  }
  if (ret < 0) {
2181
    tdbError("tdb/btc-upsert: page insert/update cell failed with ret: %d.", ret);
H
Hongze Cheng 已提交
2182 2183 2184 2185 2186 2187 2188
    return -1;
  }

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

H
Hongze Cheng 已提交
2194 2195 2196
  return 0;
}

H
Hongze Cheng 已提交
2197
int tdbBtcMoveTo(SBTC *pBtc, const void *pKey, int kLen, int *pCRst) {
H
Hongze Cheng 已提交
2198 2199 2200 2201 2202 2203 2204 2205
  int         ret;
  int         nCells;
  int         c;
  SCell      *pCell;
  SBTree     *pBt = pBtc->pBt;
  SPager     *pPager = pBt->pPager;
  const void *pTKey;
  int         tkLen;
H
Hongze Cheng 已提交
2206

2207
  tdbTrace("tdb moveto, pager:%p, ipage:%d", pPager, pBtc->iPage);
H
Hongze Cheng 已提交
2208
  if (pBtc->iPage < 0) {
H
Hongze Cheng 已提交
2209
    // move from a clear cursor
H
Hongze Cheng 已提交
2210 2211
    ret = tdbPagerFetchPage(pPager, &pBt->root, &(pBtc->pPage), tdbBtreeInitPage,
                            &((SBtreeInitPageArg){.pBt = pBt, .flags = TDB_BTREE_ROOT | TDB_BTREE_LEAF}), pBtc->pTxn);
H
Hongze Cheng 已提交
2212
    if (ret < 0) {
H
Hongze Cheng 已提交
2213
      // TODO
M
Minglei Jin 已提交
2214 2215
      tdbError("tdb/btc-move-to: fetch page failed with ret: %d.", ret);
      return -1;
H
Hongze Cheng 已提交
2216 2217 2218
    }

    pBtc->iPage = 0;
H
Hongze Cheng 已提交
2219 2220 2221 2222
    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 已提交
2223 2224 2225
    // TODO
    tdbError("tdb/btc-move-to: move from a dirty cursor.");
    return -1;
H
Hongze Cheng 已提交
2226
#if 0
H
Hongze Cheng 已提交
2227 2228 2229 2230 2231 2232 2233 2234 2235 2236
    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 已提交
2237 2238 2239 2240
      if (TDB_BTREE_PAGE_IS_LEAF(pPage)) {
        tdbError("tdb/btc-move-to: leaf page in cursor stack.");
        return -1;
      }
H
Hongze Cheng 已提交
2241 2242 2243 2244

      // check if key <= current position
      if (idx < nCells) {
        pCell = tdbPageGetCell(pPage, idx);
2245
        tdbBtreeDecodeCell(pPage, pCell, &cd);
H
Hongze Cheng 已提交
2246 2247 2248 2249 2250 2251 2252 2253
        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);
2254
        c = pBt->kcmpr(pKey, kLen, cd.pKey, cd.kLen, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
2255 2256 2257 2258 2259 2260 2261 2262 2263
        if (c <= 0) break;
      }
    }

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

H
Hongze Cheng 已提交
2267
  // search downward to the leaf
2268
  tdbTrace("tdb search downward, pager:%p, ipage:%d", pPager, pBtc->iPage);
H
Hongze Cheng 已提交
2269
  for (;;) {
H
Hongze Cheng 已提交
2270
    int    lidx, ridx;
H
Hongze Cheng 已提交
2271
    SPage *pPage;
H
Hongze Cheng 已提交
2272

H
Hongze Cheng 已提交
2273 2274 2275 2276
    pPage = pBtc->pPage;
    nCells = TDB_PAGE_TOTAL_CELLS(pPage);
    lidx = 0;
    ridx = nCells - 1;
H
Hongze Cheng 已提交
2277

2278
    ASSERT(nCells > 0);
H
Hongze Cheng 已提交
2279

H
Hongze Cheng 已提交
2280
    // compare first cell
H
Hongze Cheng 已提交
2281 2282 2283
    pBtc->idx = lidx;
    tdbBtcGet(pBtc, &pTKey, &tkLen, NULL, NULL);
    c = pBt->kcmpr(pKey, kLen, pTKey, tkLen);
H
Hongze Cheng 已提交
2284 2285 2286 2287 2288 2289 2290
    if (c <= 0) {
      ridx = lidx - 1;
    } else {
      lidx = lidx + 1;
    }
    // compare last cell
    if (lidx <= ridx) {
H
Hongze Cheng 已提交
2291 2292 2293
      pBtc->idx = ridx;
      tdbBtcGet(pBtc, &pTKey, &tkLen, NULL, NULL);
      c = pBt->kcmpr(pKey, kLen, pTKey, tkLen);
H
Hongze Cheng 已提交
2294 2295 2296 2297 2298 2299 2300
      if (c >= 0) {
        lidx = ridx + 1;
      } else {
        ridx = ridx - 1;
      }
    }

H
Hongze Cheng 已提交
2301
    // binary search
2302
    tdbTrace("tdb binary search, pager:%p, ipage:%d", pPager, pBtc->iPage);
H
Hongze Cheng 已提交
2303 2304
    for (;;) {
      if (lidx > ridx) break;
H
Hongze Cheng 已提交
2305

H
Hongze Cheng 已提交
2306 2307 2308
      pBtc->idx = (lidx + ridx) >> 1;
      tdbBtcGet(pBtc, &pTKey, &tkLen, NULL, NULL);
      c = pBt->kcmpr(pKey, kLen, pTKey, tkLen);
H
Hongze Cheng 已提交
2309 2310
      if (c < 0) {
        // pKey < cd.pKey
H
Hongze Cheng 已提交
2311
        ridx = pBtc->idx - 1;
H
Hongze Cheng 已提交
2312 2313
      } else if (c > 0) {
        // pKey > cd.pKey
H
Hongze Cheng 已提交
2314
        lidx = pBtc->idx + 1;
H
Hongze Cheng 已提交
2315 2316 2317
      } else {
        // pKey == cd.pKey
        break;
H
Hongze Cheng 已提交
2318
      }
H
Hongze Cheng 已提交
2319
    }
H
Hongze Cheng 已提交
2320

H
Hongze Cheng 已提交
2321 2322 2323 2324 2325
    // keep search downward or break
    if (TDB_BTREE_PAGE_IS_LEAF(pPage)) {
      *pCRst = c;
      break;
    } else {
H
Hongze Cheng 已提交
2326 2327
      if (c > 0) {
        pBtc->idx += 1;
H
Hongze Cheng 已提交
2328
      }
H
Hongze Cheng 已提交
2329
      tdbBtcMoveDownward(pBtc);
H
Hongze Cheng 已提交
2330 2331 2332
    }
  }

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

H
Hongze Cheng 已提交
2335 2336 2337
  return 0;
}

H
refact  
Hongze Cheng 已提交
2338 2339 2340 2341
int tdbBtcClose(SBTC *pBtc) {
  if (pBtc->iPage < 0) return 0;

  for (;;) {
2342 2343 2344 2345
    if (NULL == pBtc->pPage) {
      tdbError("tdb/btc-close: null ptr pPage.");
      return -1;
    }
H
refact  
Hongze Cheng 已提交
2346

H
Hongze Cheng 已提交
2347
    tdbPagerReturnPage(pBtc->pBt->pPager, pBtc->pPage, pBtc->pTxn);
H
refact  
Hongze Cheng 已提交
2348 2349 2350 2351 2352 2353 2354 2355

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

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

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

2359 2360 2361
    tdbFree(pBtc->coder.pVal);
  }

2362 2363 2364 2365
  if (pBtc->freeTxn) {
    tdbTxnClose(pBtc->pTxn);
  }

H
refact  
Hongze Cheng 已提交
2366 2367
  return 0;
}
H
Hongze Cheng 已提交
2368 2369 2370 2371 2372 2373 2374 2375

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

H
refact  
Hongze Cheng 已提交
2378
// TDB_BTREE_DEBUG =====================
H
Hongze Cheng 已提交
2379 2380 2381 2382 2383 2384 2385 2386 2387 2388 2389 2390 2391 2392 2393 2394 2395 2396 2397
#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 已提交
2398 2399
  pBtPageInfo->root = TDB_BTREE_PAGE_IS_ROOT(pPage);
  pBtPageInfo->leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
H
Hongze Cheng 已提交
2400 2401 2402 2403 2404 2405 2406 2407 2408

  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 已提交
2409
#endif
2410
// TDB_BTREE_DEBUG