tdbBtree.c 57.2 KB
Newer Older
H
Hongze Cheng 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13
/*
 * Copyright (c) 2019 TAOS Data, Inc. <jhtao@taosdata.com>
 *
 * This program is free software: you can use, redistribute, and/or modify
 * it under the terms of the GNU Affero General Public License, version 3
 * or later ("AGPL"), as published by the Free Software Foundation.
 *
 * This program is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.
 *
 * You should have received a copy of the GNU Affero General Public License
 * along with this program. If not, see <http://www.gnu.org/licenses/>.
H
refact  
Hongze Cheng 已提交
14 15
 */

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

H
Hongze Cheng 已提交
18 19
#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
  ASSERT(keyLen1 > 0 && keyLen2 > 0 && pKey1 != NULL && pKey2 != NULL);
H
Hongze Cheng 已提交
378 379 380 381 382 383 384 385 386 387 388 389 390

  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 已提交
391 392
}

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

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

H
Hongze Cheng 已提交
400 401 402 403 404
  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 已提交
405

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

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

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

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

H
refact  
Hongze Cheng 已提交
426
  if (leaf) {
H
Hongze Cheng 已提交
427 428 429 430
    pPage->kLen = pBt->keyLen;
    pPage->vLen = pBt->valLen;
    pPage->maxLocal = pBt->maxLeaf;
    pPage->minLocal = pBt->minLeaf;
431 432 433 434 435
  } 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 已提交
436 437 438 439 440 441
  } else {
    pPage->kLen = pBt->keyLen;
    pPage->vLen = sizeof(SPgno);
    pPage->maxLocal = pBt->maxLocal;
    pPage->minLocal = pBt->minLocal;
  }
H
Hongze Cheng 已提交
442

H
Hongze Cheng 已提交
443
  return 0;
H
Hongze Cheng 已提交
444 445
}

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

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

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

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

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

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

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

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

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

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

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

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

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

H
Hongze Cheng 已提交
530
      SPgno pgno;
H
Hongze Cheng 已提交
531
      if (sIdx + i == nCells) {
532
        ASSERT(!TDB_BTREE_PAGE_IS_LEAF(pParent));
H
Hongze Cheng 已提交
533 534
        pgno = ((SIntHdr *)(pParent->pData))->pgno;
      } else {
H
Hongze Cheng 已提交
535
        pCell = tdbPageGetCell(pParent, sIdx + i);
H
Hongze Cheng 已提交
536 537 538
        pgno = *(SPgno *)pCell;
      }

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

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

H
Hongze Cheng 已提交
563 564 565
        if (i < nOlds - 1) {
          ((SPgno *)pDivCell[i])[0] = ((SIntHdr *)pOlds[i]->pData)->pgno;
          ((SIntHdr *)pOlds[i]->pData)->pgno = 0;
H
Hongze Cheng 已提交
566
          tdbPageInsertCell(pOlds[i], TDB_PAGE_TOTAL_CELLS(pOlds[i]), pDivCell[i], szDivCell[i], 1);
H
Hongze Cheng 已提交
567
        }
H
Hongze Cheng 已提交
568
      }
H
Hongze Cheng 已提交
569
      rPgno = ((SIntHdr *)pOlds[nOlds - 1]->pData)->pgno;
H
Hongze Cheng 已提交
570
    }
H
Hongze Cheng 已提交
571 572 573

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

H
Hongze Cheng 已提交
578
    // drop the cells on parent page
H
Hongze Cheng 已提交
579 580 581
    for (int i = 0; i < nOlds; i++) {
      nCells = TDB_PAGE_TOTAL_CELLS(pParent);
      if (sIdx < nCells) {
582
        tdbPageDropCell(pParent, sIdx, pTxn, pBt);
H
Hongze Cheng 已提交
583 584 585 586
      } else {
        ((SIntHdr *)pParent->pData)->pgno = 0;
      }
    }
H
Hongze Cheng 已提交
587 588
  }

H
Hongze Cheng 已提交
589
  int nNews = 0;
H
Hongze Cheng 已提交
590
  struct {
H
Hongze Cheng 已提交
591 592 593 594
    int cnt;
    int size;
    int iPage;
    int oIdx;
H
Hongze Cheng 已提交
595
  } infoNews[5] = {0};
H
Hongze Cheng 已提交
596 597 598

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

H
Hongze Cheng 已提交
599 600 601
    // first loop to find minimum number of pages needed
    for (int oPage = 0; oPage < nOlds; oPage++) {
      SPage *pPage = pOlds[oPage];
H
Hongze Cheng 已提交
602 603
      SCell *pCell;
      int    cellBytes;
H
Hongze Cheng 已提交
604
      int    oIdx;
H
Hongze Cheng 已提交
605

H
Hongze Cheng 已提交
606
      for (oIdx = 0; oIdx < TDB_PAGE_TOTAL_CELLS(pPage); oIdx++) {
H
Hongze Cheng 已提交
607
        pCell = tdbPageGetCell(pPage, oIdx);
H
Hongze Cheng 已提交
608 609
        cellBytes = TDB_BYTES_CELL_TAKEN(pPage, pCell);

H
Hongze Cheng 已提交
610 611
        if (infoNews[nNews].size + cellBytes > TDB_PAGE_USABLE_SIZE(pPage)) {
          // page is full, use a new page
H
Hongze Cheng 已提交
612
          nNews++;
H
Hongze Cheng 已提交
613

614
          ASSERT(infoNews[nNews].size + cellBytes <= TDB_PAGE_USABLE_SIZE(pPage));
H
Hongze Cheng 已提交
615 616 617 618 619 620

          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 已提交
621
        }
H
Hongze Cheng 已提交
622 623
        infoNews[nNews].cnt++;
        infoNews[nNews].size += cellBytes;
H
Hongze Cheng 已提交
624
        infoNews[nNews].iPage = oPage;
H
Hongze Cheng 已提交
625
        infoNews[nNews].oIdx = oIdx;
H
Hongze Cheng 已提交
626 627 628
      }
    }

H
Hongze Cheng 已提交
629
    nNews++;
H
Hongze Cheng 已提交
630 631 632

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

H
Hongze Cheng 已提交
636
      // balance page (iNew) and (iNew-1)
H
Hongze Cheng 已提交
637
      for (;;) {
H
Hongze Cheng 已提交
638
        pCell = tdbPageGetCell(pOlds[infoNews[iNew - 1].iPage], infoNews[iNew - 1].oIdx);
H
Hongze Cheng 已提交
639

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

H
Hongze Cheng 已提交
653
            iPage++;
H
Hongze Cheng 已提交
654 655 656 657
            oIdx = 0;
          }

          pCell = tdbPageGetCell(pPage, oIdx);
658
          szRCell = tdbBtreeCellSize(pPage, pCell, 0, NULL, NULL);
H
Hongze Cheng 已提交
659 660
        }

661
        ASSERT(infoNews[iNew - 1].cnt > 0);
H
Hongze Cheng 已提交
662 663 664 665 666

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

H
Hongze Cheng 已提交
667
        // Move a cell right forward
H
Hongze Cheng 已提交
668 669
        infoNews[iNew - 1].cnt--;
        infoNews[iNew - 1].size -= szLCell;
H
Hongze Cheng 已提交
670
        infoNews[iNew - 1].oIdx--;
H
Hongze Cheng 已提交
671
        for (;;) {
H
Hongze Cheng 已提交
672
          if (infoNews[iNew - 1].oIdx >= 0) {
H
Hongze Cheng 已提交
673 674
            break;
          }
H
Hongze Cheng 已提交
675

H
Hongze Cheng 已提交
676 677
          infoNews[iNew - 1].iPage--;
          infoNews[iNew - 1].oIdx = TDB_PAGE_TOTAL_CELLS(pOlds[infoNews[iNew - 1].iPage]) - 1;
H
Hongze Cheng 已提交
678 679 680
        }

        infoNews[iNew].cnt++;
H
Hongze Cheng 已提交
681
        infoNews[iNew].size += szRCell;
H
Hongze Cheng 已提交
682
      }
H
Hongze Cheng 已提交
683
    }
H
Hongze Cheng 已提交
684 685
  }

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

        ret = tdbPagerWrite(pBt->pPager, pNews[iNew]);
        if (ret < 0) {
710
          tdbError("failed to write page since %s", terrstr());
H
Hongze Cheng 已提交
711 712
          return -1;
        }
H
Hongze Cheng 已提交
713 714
      }
    }
H
Hongze Cheng 已提交
715 716

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

H
Hongze Cheng 已提交
719
  {  // Do the real cell distribution
H
Hongze Cheng 已提交
720
    SPage            *pOldsCopy[3] = {0};
H
Hongze Cheng 已提交
721 722 723 724
    SCell            *pCell;
    int               szCell;
    SBtreeInitPageArg iarg;
    int               iNew, nNewCells;
M
Minglei Jin 已提交
725
    SCellDecoder      cd = {0};
H
Hongze Cheng 已提交
726 727 728 729

    iarg.pBt = pBt;
    iarg.flags = TDB_BTREE_PAGE_GET_FLAGS(pOlds[0]);
    for (int i = 0; i < nOlds; i++) {
H
Hongze Cheng 已提交
730 731
      tdbPageCreate(pOlds[0]->pageSize, &pOldsCopy[i], tdbDefaultMalloc, NULL);
      tdbBtreeInitPage(pOldsCopy[i], &iarg, 0);
732
      tdbPageCopy(pOlds[i], pOldsCopy[i], 0);
733
      pOlds[i]->nOverflow = 0;
734 735
    }

H
Hongze Cheng 已提交
736 737
    iNew = 0;
    nNewCells = 0;
738
    tdbBtreeInitPage(pNews[iNew], &iarg, 0);
H
Hongze Cheng 已提交
739 740 741 742 743 744 745 746

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

749 750
        ASSERT(nNewCells <= infoNews[iNew].cnt);
        ASSERT(iNew < nNews);
H
Hongze Cheng 已提交
751 752 753 754

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

H
Hongze Cheng 已提交
756 757 758 759 760 761 762
          // 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 {
763
              tdbBtreeDecodeCell(pPage, pCell, &cd, pTxn, pBt);
H
Hongze Cheng 已提交
764

H
Hongze Cheng 已提交
765
              // TODO: pCell here may be inserted as an overflow cell, handle it
H
Hongze Cheng 已提交
766
              SCell *pNewCell = tdbOsMalloc(cd.kLen + 9);
H
Hongze Cheng 已提交
767 768 769
              int    szNewCell;
              SPgno  pgno;
              pgno = TDB_PAGE_PGNO(pNews[iNew]);
770 771
              tdbBtreeEncodeCell(pParent, cd.pKey, cd.kLen, (void *)&pgno, sizeof(SPgno), pNewCell, &szNewCell, pTxn,
                                 pBt);
H
Hongze Cheng 已提交
772
              tdbPageInsertCell(pParent, sIdx++, pNewCell, szNewCell, 0);
H
Hongze Cheng 已提交
773
              tdbOsFree(pNewCell);
M
Minglei Jin 已提交
774 775 776 777 778

              if (TDB_CELLDECODER_FREE_VAL(&cd)) {
                tdbFree(cd.pVal);
                cd.pVal = NULL;
              }
H
Hongze Cheng 已提交
779
            }
H
Hongze Cheng 已提交
780 781

            // move to next new page
H
Hongze Cheng 已提交
782
            iNew++;
H
Hongze Cheng 已提交
783 784
            nNewCells = 0;
            if (iNew < nNews) {
H
Hongze Cheng 已提交
785
              tdbBtreeInitPage(pNews[iNew], &iarg, 0);
H
Hongze Cheng 已提交
786
            }
H
Hongze Cheng 已提交
787 788
          }
        } else {
789 790
          ASSERT(childNotLeaf);
          ASSERT(iNew < nNews - 1);
H
Hongze Cheng 已提交
791

H
Hongze Cheng 已提交
792 793 794 795
          // set current new page right-most child
          ((SIntHdr *)pNews[iNew]->pData)->pgno = ((SPgno *)pCell)[0];

          // insert to parent as divider cell
796
          ASSERT(iNew < nNews - 1);
H
Hongze Cheng 已提交
797 798
          ((SPgno *)pCell)[0] = TDB_PAGE_PGNO(pNews[iNew]);
          tdbPageInsertCell(pParent, sIdx++, pCell, szCell, 0);
H
Hongze Cheng 已提交
799 800 801 802

          // move to next new page
          iNew++;
          nNewCells = 0;
H
Hongze Cheng 已提交
803
          if (iNew < nNews) {
H
Hongze Cheng 已提交
804
            tdbBtreeInitPage(pNews[iNew], &iarg, 0);
H
Hongze Cheng 已提交
805
          }
H
Hongze Cheng 已提交
806 807
        }
      }
H
Hongze Cheng 已提交
808
    }
H
Hongze Cheng 已提交
809

H
Hongze Cheng 已提交
810
    if (childNotLeaf) {
811
      ASSERT(TDB_PAGE_TOTAL_CELLS(pNews[nNews - 1]) == infoNews[nNews - 1].cnt);
H
Hongze Cheng 已提交
812
      ((SIntHdr *)(pNews[nNews - 1]->pData))->pgno = rPgno;
H
Hongze Cheng 已提交
813

H
Hongze Cheng 已提交
814 815 816 817 818 819
      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 已提交
820
      }
H
Hongze Cheng 已提交
821 822 823
    }

    for (int i = 0; i < nOlds; i++) {
H
Hongze Cheng 已提交
824
      tdbPageDestroy(pOldsCopy[i], tdbDefaultFree, NULL);
H
Hongze Cheng 已提交
825 826 827
    }
  }

H
Hongze Cheng 已提交
828 829 830 831
  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);
832
    tdbPageCopy(pNews[0], pParent, 1);
833 834 835 836

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

H
Hongze Cheng 已提交
839 840
  for (int i = 0; i < 3; i++) {
    if (pDivCell[i]) {
H
Hongze Cheng 已提交
841
      tdbOsFree(pDivCell[i]);
H
Hongze Cheng 已提交
842 843
    }
  }
H
Hongze Cheng 已提交
844

M
Minglei Jin 已提交
845 846 847 848 849
  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 已提交
850 851
  }

H
Hongze Cheng 已提交
852
  return 0;
H
Hongze Cheng 已提交
853 854
}

H
Hongze Cheng 已提交
855
static int tdbBtreeBalance(SBTC *pBtc) {
H
Hongze Cheng 已提交
856
  int    iPage;
H
Hongze Cheng 已提交
857 858
  int    ret;
  int    nFree;
H
Hongze Cheng 已提交
859
  SPage *pParent;
H
Hongze Cheng 已提交
860
  SPage *pPage;
H
Hongze Cheng 已提交
861
  u8     flags;
H
Hongze Cheng 已提交
862 863
  u8     leaf;
  u8     root;
H
Hongze Cheng 已提交
864 865 866

  // Main loop to balance the BTree
  for (;;) {
H
Hongze Cheng 已提交
867 868
    iPage = pBtc->iPage;
    pPage = pBtc->pPage;
H
refact  
Hongze Cheng 已提交
869 870
    leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
    root = TDB_BTREE_PAGE_IS_ROOT(pPage);
H
Hongze Cheng 已提交
871
    nFree = TDB_PAGE_FREE_SIZE(pPage);
H
Hongze Cheng 已提交
872

H
Hongze Cheng 已提交
873 874
    // when the page is not overflow and not too empty, the balance work
    // is finished. Just break out the balance loop.
H
Hongze Cheng 已提交
875
    if (pPage->nOverflow == 0 && nFree < TDB_PAGE_USABLE_SIZE(pPage) * 2 / 3) {
H
Hongze Cheng 已提交
876 877 878 879
      break;
    }

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

H
Hongze Cheng 已提交
884
      ret = tdbBtreeBalanceDeeper(pBtc->pBt, pPage, &(pBtc->pgStack[1]), pBtc->pTxn);
H
Hongze Cheng 已提交
885 886 887 888
      if (ret < 0) {
        return -1;
      }

H
Hongze Cheng 已提交
889 890 891 892 893
      pBtc->idx = 0;
      pBtc->idxStack[0] = 0;
      pBtc->pgStack[0] = pBtc->pPage;
      pBtc->iPage = 1;
      pBtc->pPage = pBtc->pgStack[1];
H
Hongze Cheng 已提交
894
    } else {
H
Hongze Cheng 已提交
895
      // Generalized balance step
H
Hongze Cheng 已提交
896
      pParent = pBtc->pgStack[iPage - 1];
H
Hongze Cheng 已提交
897

H
Hongze Cheng 已提交
898
      ret = tdbBtreeBalanceNonRoot(pBtc->pBt, pParent, pBtc->idxStack[pBtc->iPage - 1], pBtc->pTxn);
H
Hongze Cheng 已提交
899 900 901 902
      if (ret < 0) {
        return -1;
      }

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

H
Hongze Cheng 已提交
905 906
      pBtc->iPage--;
      pBtc->pPage = pBtc->pgStack[pBtc->iPage];
H
Hongze Cheng 已提交
907 908 909 910 911
    }
  }

  return 0;
}
H
Hongze Cheng 已提交
912
// TDB_BTREE_BALANCE
H
Hongze Cheng 已提交
913

914
static int tdbFetchOvflPage(SPgno *pPgno, SPage **ppOfp, TXN *pTxn, SBTree *pBt) {
915 916 917 918 919 920
  int ret = 0;

  *pPgno = 0;
  SBtreeInitPageArg iArg;
  iArg.pBt = pBt;
  iArg.flags = TDB_FLAG_ADD(0, TDB_BTREE_OVFL);
921
  ret = tdbPagerFetchPage(pBt->pPager, pPgno, ppOfp, tdbBtreeInitPage, &iArg, pTxn);
922 923 924 925 926
  if (ret < 0) {
    return -1;
  }

  // mark dirty
927
  ret = tdbPagerWrite(pBt->pPager, *ppOfp);
928
  if (ret < 0) {
929
    tdbError("failed to write page since %s", terrstr());
930 931 932
    return -1;
  }

933 934
  tdbPCacheRelease(pBt->pPager->pCache, *ppOfp, pTxn);

935 936 937
  return ret;
}

938
static int tdbLoadOvflPage(SPgno *pPgno, SPage **ppOfp, TXN *pTxn, SBTree *pBt) {
939 940 941 942 943
  int ret = 0;

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

  return ret;
}

H
Hongze Cheng 已提交
952
// TDB_BTREE_CELL =====================
H
Hongze Cheng 已提交
953
static int tdbBtreeEncodePayload(SPage *pPage, SCell *pCell, int nHeader, const void *pKey, int kLen, const void *pVal,
954 955 956 957
                                 int vLen, int *szPayload, TXN *pTxn, SBTree *pBt) {
  int ret = 0;
  int nPayload = kLen + vLen;
  int maxLocal = pPage->maxLocal;
H
Hongze Cheng 已提交
958

959
  if (nPayload + nHeader <= maxLocal) {
H
Hongze Cheng 已提交
960 961
    // no overflow page is needed
    memcpy(pCell + nHeader, pKey, kLen);
H
Hongze Cheng 已提交
962
    if (pVal) {
H
Hongze Cheng 已提交
963
      memcpy(pCell + nHeader + kLen, pVal, vLen);
H
Hongze Cheng 已提交
964 965 966 967
    }

    *szPayload = nPayload;
    return 0;
968 969 970 971 972 973
  } 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 已提交
974

975
    // int ofpCap = tdbPageCapacity(pBt->pageSize, sizeof(SIntHdr));
976 977

    // fetch a new ofp and make it dirty
978
    SPgno  pgno = 0;
979
    SPage *ofp = NULL, *nextOfp = NULL;
980

981
    ret = tdbFetchOvflPage(&pgno, &ofp, pTxn, pBt);
982 983 984 985 986
    if (ret < 0) {
      return -1;
    }

    // local buffer for cell
M
Minglei Jin 已提交
987
    SCell *pBuf = tdbRealloc(NULL, pBt->pageSize);
988 989 990 991 992 993 994
    if (pBuf == NULL) {
      return -1;
    }

    int nLeft = nPayload;
    int bytes;
    int lastPage = 0;
995
    if (nLocal >= nHeader + kLen + sizeof(SPgno)) {
996 997 998 999
      // pack key to local
      memcpy(pCell + nHeader, pKey, kLen);
      nLeft -= kLen;
      // pack partial val to local if any space left
1000
      if (nLocal > nHeader + kLen + sizeof(SPgno)) {
1001
        ASSERT(pVal != NULL && vLen != 0);
1002 1003
        memcpy(pCell + nHeader + kLen, pVal, nLocal - nHeader - kLen - sizeof(SPgno));
        nLeft -= nLocal - nHeader - kLen - sizeof(SPgno);
1004 1005 1006 1007 1008 1009 1010
      }

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

      // pack left val data to ovpages
      do {
1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041
        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;
1042 1043 1044 1045 1046 1047
      } while (nLeft > 0);
    } else {
      int nLeftKey = kLen;
      // pack partial key and nextPgno
      memcpy(pCell + nHeader, pKey, nLocal - 4);
      nLeft -= nLocal - 4;
1048
      nLeftKey -= nLocal - 4;
1049 1050 1051 1052 1053 1054

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

      int lastKeyPageSpace = 0;
      // pack left key & val to ovpages
      do {
1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080
        // 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 已提交
1081
              tdbFree(pBuf);
1082 1083 1084 1085 1086 1087 1088
              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 已提交
1089
            tdbFree(pBuf);
1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103
            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;
1104 1105 1106
      } while (nLeftKey > 0);

      while (nLeft > 0) {
1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130
        // 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 已提交
1131 1132 1133 1134 1135
        if (ofp == NULL) {
          tdbFree(pBuf);
          return -1;
        }

1136 1137 1138 1139 1140 1141 1142 1143
        ret = tdbPageInsertCell(ofp, 0, pBuf, bytes + sizeof(pgno), 0);
        if (ret < 0) {
          tdbFree(pBuf);
          return -1;
        }

        ofp = nextOfp;
        nLeft -= bytes;
1144 1145 1146 1147 1148 1149
      }
    }

    // free local buffer
    tdbFree(pBuf);

1150
    *szPayload = nLocal - nHeader;
H
Hongze Cheng 已提交
1151 1152 1153 1154 1155
  }

  return 0;
}

H
Hongze Cheng 已提交
1156
static int tdbBtreeEncodeCell(SPage *pPage, const void *pKey, int kLen, const void *pVal, int vLen, SCell *pCell,
1157
                              int *szCell, TXN *pTxn, SBTree *pBt) {
H
Hongze Cheng 已提交
1158 1159 1160 1161
  u8  leaf;
  int nHeader;
  int nPayload;
  int ret;
H
Hongze Cheng 已提交
1162

1163 1164 1165
  ASSERT(pPage->kLen == TDB_VARIANT_LEN || pPage->kLen == kLen);
  ASSERT(pPage->vLen == TDB_VARIANT_LEN || pPage->vLen == vLen);
  ASSERT(pKey != NULL && kLen > 0);
H
Hongze Cheng 已提交
1166

H
Hongze Cheng 已提交
1167 1168
  nPayload = 0;
  nHeader = 0;
H
refact  
Hongze Cheng 已提交
1169
  leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
H
Hongze Cheng 已提交
1170

H
Hongze Cheng 已提交
1171
  // 1. Encode Header part
H
Hongze Cheng 已提交
1172 1173
  /* Encode SPgno if interior page */
  if (!leaf) {
1174
    ASSERT(pPage->vLen == sizeof(SPgno));
H
Hongze Cheng 已提交
1175 1176 1177 1178 1179

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

H
Hongze Cheng 已提交
1180
  /* Encode kLen if need */
H
Hongze Cheng 已提交
1181
  if (pPage->kLen == TDB_VARIANT_LEN) {
H
Hongze Cheng 已提交
1182
    nHeader += tdbPutVarInt(pCell + nHeader, kLen);
H
Hongze Cheng 已提交
1183 1184
  }

H
Hongze Cheng 已提交
1185
  /* Encode vLen if need */
H
Hongze Cheng 已提交
1186
  if (pPage->vLen == TDB_VARIANT_LEN) {
H
Hongze Cheng 已提交
1187
    nHeader += tdbPutVarInt(pCell + nHeader, vLen);
H
Hongze Cheng 已提交
1188 1189
  }

H
Hongze Cheng 已提交
1190
  // 2. Encode payload part
H
Hongze Cheng 已提交
1191 1192 1193
  if ((!leaf) || pPage->vLen == 0) {
    pVal = NULL;
    vLen = 0;
H
Hongze Cheng 已提交
1194
  }
H
Hongze Cheng 已提交
1195

1196
  ret = tdbBtreeEncodePayload(pPage, pCell, nHeader, pKey, kLen, pVal, vLen, &nPayload, pTxn, pBt);
H
Hongze Cheng 已提交
1197
  if (ret < 0) {
H
Hongze Cheng 已提交
1198
    // TODO
1199 1200
    tdbError("tdb/btree-encode-cell: encode payload failed with ret: %d.", ret);
    return -1;
H
Hongze Cheng 已提交
1201 1202
  }

H
Hongze Cheng 已提交
1203
  *szCell = nHeader + nPayload;
H
Hongze Cheng 已提交
1204 1205 1206
  return 0;
}

1207 1208
static int tdbBtreeDecodePayload(SPage *pPage, const SCell *pCell, int nHeader, SCellDecoder *pDecoder, TXN *pTxn,
                                 SBTree *pBt) {
1209
  int ret = 0;
H
Hongze Cheng 已提交
1210
  int nPayload;
1211 1212 1213 1214
  int maxLocal = pPage->maxLocal;

  int kLen = pDecoder->kLen;
  int vLen = pDecoder->vLen;
H
Hongze Cheng 已提交
1215 1216

  if (pDecoder->pVal) {
1217
    ASSERT(!TDB_BTREE_PAGE_IS_LEAF(pPage));
H
Hongze Cheng 已提交
1218
    nPayload = pDecoder->kLen;
H
Hongze Cheng 已提交
1219 1220
  } else {
    nPayload = pDecoder->kLen + pDecoder->vLen;
H
Hongze Cheng 已提交
1221 1222
  }

1223
  if (nHeader + nPayload <= maxLocal) {
H
Hongze Cheng 已提交
1224
    // no over flow case
1225
    pDecoder->pKey = (SCell *)pCell + nHeader;
H
Hongze Cheng 已提交
1226
    if (pDecoder->pVal == NULL && pDecoder->vLen > 0) {
1227
      pDecoder->pVal = (SCell *)pCell + nHeader + pDecoder->kLen;
H
Hongze Cheng 已提交
1228
    }
H
Hongze Cheng 已提交
1229
    return 0;
1230 1231 1232 1233 1234 1235 1236
  } 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;

1237 1238
    int    nLeft = nPayload;
    SPgno  pgno = 0;
1239 1240
    SPage *ofp;
    SCell *ofpCell;
1241 1242
    int    bytes;
    int    lastPage = 0;
1243

1244
    if (nLocal >= pDecoder->kLen + nHeader + sizeof(SPgno)) {
1245 1246
      pDecoder->pKey = (SCell *)pCell + nHeader;
      nLeft -= kLen;
1247
      if (nLocal > kLen + nHeader + sizeof(SPgno)) {
1248 1249 1250 1251 1252 1253
        // read partial val to local
        pDecoder->pVal = tdbRealloc(pDecoder->pVal, vLen);
        if (pDecoder->pVal == NULL) {
          return -1;
        }
        TDB_CELLDECODER_SET_FREE_VAL(pDecoder);
1254

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

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

1259
        nLeft -= nLocal - nHeader - kLen - sizeof(SPgno);
1260
      }
H
Hongze Cheng 已提交
1261

1262 1263 1264
      memcpy(&pgno, pCell + nHeader + nPayload - nLeft, sizeof(pgno));

      // unpack left val data from ovpages
1265 1266 1267 1268 1269
      while (pgno != 0) {
        ret = tdbLoadOvflPage(&pgno, &ofp, pTxn, pBt);
        if (ret < 0) {
          return -1;
        }
1270

1271
        ofpCell = tdbPageGetCell(ofp, 0);
1272

1273 1274 1275 1276 1277 1278
        if (nLeft <= ofp->maxLocal - sizeof(SPgno)) {
          bytes = nLeft;
          lastPage = 1;
        } else {
          bytes = ofp->maxLocal - sizeof(SPgno);
        }
1279

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

1283
        memcpy(&pgno, ofpCell + bytes, sizeof(pgno));
1284 1285

        tdbPCacheRelease(pBt->pPager->pCache, ofp, pTxn);
1286 1287 1288 1289 1290 1291
      }
    } else {
      int nLeftKey = kLen;
      // load partial key and nextPgno
      pDecoder->pKey = tdbRealloc(pDecoder->pKey, kLen);
      if (pDecoder->pKey == NULL) {
1292
        return -1;
1293 1294 1295 1296 1297
      }
      TDB_CELLDECODER_SET_FREE_KEY(pDecoder);

      memcpy(pDecoder->pKey, pCell + nHeader, nLocal - 4);
      nLeft -= nLocal - 4;
1298
      nLeftKey -= nLocal - 4;
1299 1300 1301 1302 1303 1304

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

      int lastKeyPageSpace = 0;
      // load left key & val to ovpages
      while (pgno != 0) {
1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344
        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));

1345 1346
        tdbPCacheRelease(pBt->pPager->pCache, ofp, pTxn);

1347 1348
        nLeftKey -= bytes;
        nLeft -= bytes;
1349 1350 1351
      }

      while (nLeft > 0) {
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 1379 1380 1381 1382 1383 1384
        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));

1385 1386
        tdbPCacheRelease(pBt->pPager->pCache, ofp, pTxn);

1387
        nLeft -= bytes;
1388 1389
      }
    }
H
Hongze Cheng 已提交
1390 1391
  }

H
Hongze Cheng 已提交
1392 1393 1394
  return 0;
}

1395
static int tdbBtreeDecodeCell(SPage *pPage, const SCell *pCell, SCellDecoder *pDecoder, TXN *pTxn, SBTree *pBt) {
H
Hongze Cheng 已提交
1396 1397 1398 1399 1400
  u8  leaf;
  int nHeader;
  int ret;

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

H
Hongze Cheng 已提交
1403
  // Clear the state of decoder
1404 1405 1406
  if (TDB_CELLDECODER_FREE_VAL(pDecoder)) {
    tdbFree(pDecoder->pVal);
  }
H
Hongze Cheng 已提交
1407 1408 1409 1410 1411
  pDecoder->kLen = -1;
  pDecoder->pKey = NULL;
  pDecoder->vLen = -1;
  pDecoder->pVal = NULL;
  pDecoder->pgno = 0;
1412
  TDB_CELLDECODER_SET_FREE_NIL(pDecoder);
H
Hongze Cheng 已提交
1413

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

H
Hongze Cheng 已提交
1416
  // 1. Decode header part
H
Hongze Cheng 已提交
1417
  if (!leaf) {
1418
    ASSERT(pPage->vLen == sizeof(SPgno));
H
Hongze Cheng 已提交
1419 1420 1421 1422 1423 1424

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

H
Hongze Cheng 已提交
1425 1426 1427 1428 1429 1430 1431
  if (pPage->kLen == TDB_VARIANT_LEN) {
    nHeader += tdbGetVarInt(pCell + nHeader, &(pDecoder->kLen));
  } else {
    pDecoder->kLen = pPage->kLen;
  }

  if (pPage->vLen == TDB_VARIANT_LEN) {
1432
    ASSERT(leaf);
H
Hongze Cheng 已提交
1433
    nHeader += tdbGetVarInt(pCell + nHeader, &(pDecoder->vLen));
H
Hongze Cheng 已提交
1434
  } else {
H
Hongze Cheng 已提交
1435 1436
    pDecoder->vLen = pPage->vLen;
  }
H
Hongze Cheng 已提交
1437

H
Hongze Cheng 已提交
1438
  // 2. Decode payload part
1439
  ret = tdbBtreeDecodePayload(pPage, pCell, nHeader, pDecoder, pTxn, pBt);
H
Hongze Cheng 已提交
1440 1441
  if (ret < 0) {
    return -1;
H
Hongze Cheng 已提交
1442 1443 1444 1445 1446
  }

  return 0;
}

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

H
refact  
Hongze Cheng 已提交
1451
  leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
H
Hongze Cheng 已提交
1452

H
refact  
Hongze Cheng 已提交
1453
  if (!leaf) {
1454
    nHeader += sizeof(SPgno);
H
Hongze Cheng 已提交
1455 1456 1457
  }

  if (pPage->kLen == TDB_VARIANT_LEN) {
1458
    nHeader += tdbGetVarInt(pCell + nHeader, &kLen);
H
Hongze Cheng 已提交
1459 1460 1461 1462
  } else {
    kLen = pPage->kLen;
  }

H
refact  
Hongze Cheng 已提交
1463
  if (pPage->vLen == TDB_VARIANT_LEN) {
1464
    ASSERT(leaf);
1465
    nHeader += tdbGetVarInt(pCell + nHeader, &vLen);
H
refact  
Hongze Cheng 已提交
1466 1467
  } else if (leaf) {
    vLen = pPage->vLen;
H
Hongze Cheng 已提交
1468 1469
  }

1470 1471
  int nPayload = kLen + vLen;
  if (nHeader + nPayload <= pPage->maxLocal) {
1472
    return nHeader + nPayload;
1473 1474
  } else {
    int maxLocal = pPage->maxLocal;
H
Hongze Cheng 已提交
1475

1476 1477 1478 1479
    // 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 已提交
1480

1481 1482
    // free ofp pages' cells
    if (dropOfp) {
1483
      int    ret = 0;
1484
      SPgno  pgno = *(SPgno *)(pCell + nLocal - sizeof(SPgno));
1485
      int    nLeft = nPayload - nLocal + sizeof(SPgno) + nHeader;
1486
      SPage *ofp;
1487
      int    bytes;
1488 1489

      while (pgno != 0) {
1490 1491 1492 1493
        ret = tdbLoadOvflPage(&pgno, &ofp, pTxn, pBt);
        if (ret < 0) {
          return -1;
        }
1494

1495
        SCell *ofpCell = tdbPageGetCell(ofp, 0);
1496

1497 1498 1499 1500 1501
        if (nLeft <= ofp->maxLocal - sizeof(SPgno)) {
          bytes = nLeft;
        } else {
          bytes = ofp->maxLocal - sizeof(SPgno);
        }
1502

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

1505
        tdbPagerReturnPage(pPage->pPager, ofp, pTxn);
1506

1507
        nLeft -= bytes;
1508 1509 1510
      }
    }

1511
    return nLocal;
H
refact  
Hongze Cheng 已提交
1512
  }
H
Hongze Cheng 已提交
1513
}
H
Hongze Cheng 已提交
1514
// TDB_BTREE_CELL
H
Hongze Cheng 已提交
1515

H
refact  
Hongze Cheng 已提交
1516
// TDB_BTREE_CURSOR =====================
H
Hongze Cheng 已提交
1517
int tdbBtcOpen(SBTC *pBtc, SBTree *pBt, TXN *pTxn) {
H
Hongze Cheng 已提交
1518 1519 1520 1521
  pBtc->pBt = pBt;
  pBtc->iPage = -1;
  pBtc->pPage = NULL;
  pBtc->idx = -1;
H
Hongze Cheng 已提交
1522
  memset(&pBtc->coder, 0, sizeof(SCellDecoder));
H
Hongze Cheng 已提交
1523 1524

  if (pTxn == NULL) {
1525 1526 1527 1528 1529 1530 1531 1532 1533 1534 1535 1536
    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 已提交
1537 1538
  } else {
    pBtc->pTxn = pTxn;
1539
    pBtc->freeTxn = 0;
H
Hongze Cheng 已提交
1540
  }
H
Hongze Cheng 已提交
1541 1542 1543 1544

  return 0;
}

H
Hongze Cheng 已提交
1545
int tdbBtcMoveToFirst(SBTC *pBtc) {
H
refact  
Hongze Cheng 已提交
1546 1547 1548
  int     ret;
  SBTree *pBt;
  SPager *pPager;
H
Hongze Cheng 已提交
1549 1550
  SCell  *pCell;
  SPgno   pgno;
H
refact  
Hongze Cheng 已提交
1551 1552 1553 1554 1555

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

  if (pBtc->iPage < 0) {
H
Hongze Cheng 已提交
1556
    // move a clean cursor
H
Hongze Cheng 已提交
1557
    ret = tdbPagerFetchPage(pPager, &pBt->root, &(pBtc->pPage), tdbBtreeInitPage,
H
Hongze Cheng 已提交
1558
                            &((SBtreeInitPageArg){.pBt = pBt, .flags = TDB_BTREE_ROOT | TDB_BTREE_LEAF}), pBtc->pTxn);
H
refact  
Hongze Cheng 已提交
1559
    if (ret < 0) {
1560
      tdbError("tdb/btc-move-tofirst: fetch page failed with ret: %d.", ret);
H
refact  
Hongze Cheng 已提交
1561 1562 1563
      return -1;
    }

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

H
Hongze Cheng 已提交
1566 1567 1568 1569
    pBtc->iPage = 0;
    if (TDB_PAGE_TOTAL_CELLS(pBtc->pPage) > 0) {
      pBtc->idx = 0;
    } else {
H
more  
Hongze Cheng 已提交
1570
      // no any data, point to an invalid position
1571
      ASSERT(TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage));
H
Hongze Cheng 已提交
1572
      pBtc->idx = -1;
H
refact  
Hongze Cheng 已提交
1573 1574
      return 0;
    }
H
Hongze Cheng 已提交
1575
  } else {
1576
    ASSERT(0);
H
Hongze Cheng 已提交
1577
#if 0
H
Hongze Cheng 已提交
1578 1579
    // move from a position
    int iPage = 0;
H
refact  
Hongze Cheng 已提交
1580

H
Hongze Cheng 已提交
1581
    for (; iPage < pBtc->iPage; iPage++) {
1582
      ASSERT(pBtc->idxStack[iPage] >= 0);
H
Hongze Cheng 已提交
1583 1584
      if (pBtc->idxStack[iPage]) break;
    }
H
refact  
Hongze Cheng 已提交
1585

H
Hongze Cheng 已提交
1586 1587
    // move upward
    for (;;) {
H
Hongze Cheng 已提交
1588
      if (pBtc->iPage == iPage) {
H
Hongze Cheng 已提交
1589
        pBtc->idx = 0;
H
refact  
Hongze Cheng 已提交
1590 1591
        break;
      }
H
Hongze Cheng 已提交
1592

H
Hongze Cheng 已提交
1593
      tdbBtcMoveUpward(pBtc);
H
Hongze Cheng 已提交
1594
    }
H
Hongze Cheng 已提交
1595
#endif
H
Hongze Cheng 已提交
1596 1597 1598 1599
  }

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

H
Hongze Cheng 已提交
1602
    ret = tdbBtcMoveDownward(pBtc);
H
Hongze Cheng 已提交
1603
    if (ret < 0) {
1604
      tdbError("tdb/btc-move-tofirst: btc move downward failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1605 1606 1607 1608 1609 1610
      return -1;
    }

    pBtc->idx = 0;
  }

H
Hongze Cheng 已提交
1611 1612 1613 1614
  return 0;
}

int tdbBtcMoveToLast(SBTC *pBtc) {
H
Hongze Cheng 已提交
1615
  int     ret;
H
Hongze Cheng 已提交
1616
  int     nCells;
H
Hongze Cheng 已提交
1617 1618 1619 1620 1621 1622 1623 1624 1625
  SBTree *pBt;
  SPager *pPager;
  SPgno   pgno;

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

  if (pBtc->iPage < 0) {
    // move a clean cursor
H
Hongze Cheng 已提交
1626
    ret = tdbPagerFetchPage(pPager, &pBt->root, &(pBtc->pPage), tdbBtreeInitPage,
H
Hongze Cheng 已提交
1627
                            &((SBtreeInitPageArg){.pBt = pBt, .flags = TDB_BTREE_ROOT | TDB_BTREE_LEAF}), pBtc->pTxn);
H
Hongze Cheng 已提交
1628
    if (ret < 0) {
1629
      tdbError("tdb/btc-move-tolast: fetch page failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1630 1631 1632
      return -1;
    }

H
Hongze Cheng 已提交
1633
    nCells = TDB_PAGE_TOTAL_CELLS(pBtc->pPage);
H
Hongze Cheng 已提交
1634
    pBtc->iPage = 0;
H
Hongze Cheng 已提交
1635 1636 1637 1638
    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
1639
      ASSERT(TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage));
H
Hongze Cheng 已提交
1640 1641 1642
      pBtc->idx = -1;
      return 0;
    }
H
Hongze Cheng 已提交
1643
  } else {
1644
    ASSERT(0);
H
Hongze Cheng 已提交
1645
#if 0
H
Hongze Cheng 已提交
1646 1647 1648 1649
    int iPage = 0;

    // downward search
    for (; iPage < pBtc->iPage; iPage++) {
1650
      ASSERT(!TDB_BTREE_PAGE_IS_LEAF(pBtc->pgStack[iPage]));
H
Hongze Cheng 已提交
1651 1652 1653 1654 1655 1656
      nCells = TDB_PAGE_TOTAL_CELLS(pBtc->pgStack[iPage]);
      if (pBtc->idxStack[iPage] != nCells) break;
    }

    // move upward
    for (;;) {
H
Hongze Cheng 已提交
1657
      if (pBtc->iPage == iPage) {
H
Hongze Cheng 已提交
1658 1659 1660 1661 1662
        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 已提交
1663
        break;
H
Hongze Cheng 已提交
1664 1665 1666 1667
      }

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

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

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

    nCells = TDB_PAGE_TOTAL_CELLS(pBtc->pPage);
H
refact  
Hongze Cheng 已提交
1682
    if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) {
H
Hongze Cheng 已提交
1683
      pBtc->idx = nCells - 1;
H
Hongze Cheng 已提交
1684
    } else {
H
Hongze Cheng 已提交
1685
      pBtc->idx = nCells;
H
Hongze Cheng 已提交
1686 1687 1688
    }
  }

H
Hongze Cheng 已提交
1689 1690 1691 1692
  return 0;
}

int tdbBtreeNext(SBTC *pBtc, void **ppKey, int *kLen, void **ppVal, int *vLen) {
H
Hongze Cheng 已提交
1693
  SCell       *pCell;
1694
  SCellDecoder cd = {0};
H
Hongze Cheng 已提交
1695 1696 1697
  void        *pKey, *pVal;
  int          ret;

H
Hongze Cheng 已提交
1698
  // current cursor points to an invalid position
H
Hongze Cheng 已提交
1699
  if (pBtc->idx < 0) {
H
Hongze Cheng 已提交
1700 1701 1702 1703 1704
    return -1;
  }

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

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

H
Hongze Cheng 已提交
1707
  pKey = tdbRealloc(*ppKey, cd.kLen);
H
Hongze Cheng 已提交
1708 1709 1710 1711 1712 1713 1714
  if (pKey == NULL) {
    return -1;
  }

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

  if (ppVal) {
1717 1718 1719 1720 1721 1722 1723 1724 1725 1726
    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 已提交
1727 1728 1729 1730 1731
    }

    *ppVal = pVal;
    *vLen = cd.vLen;
  }
H
Hongze Cheng 已提交
1732 1733

  ret = tdbBtcMoveToNext(pBtc);
H
Hongze Cheng 已提交
1734
  if (ret < 0) {
1735
    tdbError("tdb/btree-next: btc move to next failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1736 1737
    return -1;
  }
H
Hongze Cheng 已提交
1738 1739 1740 1741

  return 0;
}

1742 1743
int tdbBtreePrev(SBTC *pBtc, void **ppKey, int *kLen, void **ppVal, int *vLen) {
  SCell       *pCell;
M
Minglei Jin 已提交
1744
  SCellDecoder cd = {0};
1745 1746 1747 1748 1749 1750 1751 1752 1753 1754
  void        *pKey, *pVal;
  int          ret;

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

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

1755
  tdbBtreeDecodeCell(pBtc->pPage, pCell, &cd, pBtc->pTxn, pBtc->pBt);
1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778 1779 1780

  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) {
1781
    tdbError("tdb/btree-prev: btc move to prev failed with ret: %d.", ret);
1782 1783 1784 1785 1786 1787
    return -1;
  }

  return 0;
}

H
Hongze Cheng 已提交
1788
int tdbBtcMoveToNext(SBTC *pBtc) {
H
Hongze Cheng 已提交
1789
  int    nCells;
H
Hongze Cheng 已提交
1790
  int    ret;
H
Hongze Cheng 已提交
1791 1792
  SCell *pCell;

1793
  ASSERT(TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage));
H
Hongze Cheng 已提交
1794 1795 1796

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

H
Hongze Cheng 已提交
1797
  pBtc->idx++;
H
Hongze Cheng 已提交
1798 1799 1800 1801
  if (pBtc->idx < TDB_PAGE_TOTAL_CELLS(pBtc->pPage)) {
    return 0;
  }

H
Hongze Cheng 已提交
1802
  // move upward
H
Hongze Cheng 已提交
1803
  for (;;) {
H
Hongze Cheng 已提交
1804 1805 1806 1807 1808
    if (pBtc->iPage == 0) {
      pBtc->idx = -1;
      return 0;
    }

H
Hongze Cheng 已提交
1809 1810 1811
    tdbBtcMoveUpward(pBtc);
    pBtc->idx++;

1812
    ASSERT(!TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage));
H
Hongze Cheng 已提交
1813
    if (pBtc->idx <= TDB_PAGE_TOTAL_CELLS(pBtc->pPage)) {
H
Hongze Cheng 已提交
1814 1815
      break;
    }
H
Hongze Cheng 已提交
1816 1817
  }

H
Hongze Cheng 已提交
1818
  // move downward
H
Hongze Cheng 已提交
1819
  for (;;) {
H
Hongze Cheng 已提交
1820
    if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) break;
H
Hongze Cheng 已提交
1821

H
Hongze Cheng 已提交
1822 1823
    ret = tdbBtcMoveDownward(pBtc);
    if (ret < 0) {
1824
      tdbError("tdb/btc-move-tonext: btc move downward failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1825
      return -1;
H
Hongze Cheng 已提交
1826
    }
H
Hongze Cheng 已提交
1827 1828

    pBtc->idx = 0;
H
Hongze Cheng 已提交
1829 1830
  }

H
Hongze Cheng 已提交
1831 1832 1833
  return 0;
}

H
Hongze Cheng 已提交
1834 1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845 1846 1847 1848 1849 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870
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 已提交
1871 1872 1873 1874 1875
static int tdbBtcMoveDownward(SBTC *pBtc) {
  int    ret;
  SPgno  pgno;
  SCell *pCell;

1876 1877
  ASSERT(pBtc->idx >= 0);
  ASSERT(!TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage));
H
Hongze Cheng 已提交
1878 1879 1880 1881 1882 1883 1884

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

1886
  ASSERT(pgno);
H
Hongze Cheng 已提交
1887

H
Hongze Cheng 已提交
1888 1889 1890 1891 1892
  pBtc->pgStack[pBtc->iPage] = pBtc->pPage;
  pBtc->idxStack[pBtc->iPage] = pBtc->idx;
  pBtc->iPage++;
  pBtc->pPage = NULL;
  pBtc->idx = -1;
H
Hongze Cheng 已提交
1893

H
Hongze Cheng 已提交
1894 1895
  ret = tdbPagerFetchPage(pBtc->pBt->pPager, &pgno, &pBtc->pPage, tdbBtreeInitPage,
                          &((SBtreeInitPageArg){.pBt = pBtc->pBt, .flags = 0}), pBtc->pTxn);
H
Hongze Cheng 已提交
1896
  if (ret < 0) {
1897
    tdbError("tdb/btc-move-downward: fetch page failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1898
    return -1;
H
Hongze Cheng 已提交
1899 1900 1901 1902 1903 1904
  }

  return 0;
}

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

H
Hongze Cheng 已提交
1907
  tdbPagerReturnPage(pBtc->pBt->pPager, pBtc->pPage, pBtc->pTxn);
H
Hongze Cheng 已提交
1908 1909 1910 1911 1912

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

H
Hongze Cheng 已提交
1913
  return 0;
H
Hongze Cheng 已提交
1914
}
H
refact  
Hongze Cheng 已提交
1915

H
Hongze Cheng 已提交
1916 1917 1918 1919 1920 1921 1922 1923
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);
1924
  tdbBtreeDecodeCell(pBtc->pPage, pCell, &pBtc->coder, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
1925 1926 1927 1928 1929 1930 1931 1932

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

  if (ppVal) {
    *ppVal = (void *)pBtc->coder.pVal;
H
Hongze Cheng 已提交
1933
    *vLen = pBtc->coder.vLen;
H
Hongze Cheng 已提交
1934 1935 1936 1937 1938
  }

  return 0;
}

H
Hongze Cheng 已提交
1939
int tdbBtcDelete(SBTC *pBtc) {
H
Hongze Cheng 已提交
1940 1941 1942 1943 1944 1945 1946 1947 1948 1949 1950 1951
  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;

1952 1953 1954 1955
  if (idx < 0 || idx >= nCells) {
    tdbError("tdb/btc-delete: idx: %d out of range[%d, %d).", idx, 0, nCells);
    return -1;
  }
H
Hongze Cheng 已提交
1956 1957 1958 1959

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

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

H
Hongze Cheng 已提交
1966
  // update interior page or do balance
H
Hongze Cheng 已提交
1967
  if (idx == nCells - 1) {
H
Hongze Cheng 已提交
1968 1969 1970 1971 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981
    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) {
1982
            tdbError("failed to write page since %s", terrstr());
H
Hongze Cheng 已提交
1983 1984 1985 1986 1987
            return -1;
          }

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

1990
          ret = tdbPageUpdateCell(pPage, idx, pCell, szCell, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
1991 1992
          if (ret < 0) {
            tdbOsFree(pCell);
1993
            tdbError("tdb/btc-delete: page update cell failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1994 1995 1996 1997 1998 1999 2000 2001 2002
            return -1;
          }
          tdbOsFree(pCell);
          break;
        } else {
          pgno = TDB_PAGE_PGNO(pPage);
        }
      }
    } else {
H
Hongze Cheng 已提交
2003
      // delete the leaf page and do balance
2004
      ASSERT(TDB_PAGE_TOTAL_CELLS(pBtc->pPage) == 0);
H
Hongze Cheng 已提交
2005 2006 2007

      ret = tdbBtreeBalance(pBtc);
      if (ret < 0) {
2008
        tdbError("tdb/btc-delete: btree balance failed with ret: %d.", ret);
H
Hongze Cheng 已提交
2009 2010
        return -1;
      }
H
Hongze Cheng 已提交
2011
    }
H
Hongze Cheng 已提交
2012 2013 2014 2015 2016
  }

  return 0;
}

H
Hongze Cheng 已提交
2017 2018 2019 2020 2021 2022 2023 2024
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;

2025
  ASSERT(pBtc->idx >= 0);
H
Hongze Cheng 已提交
2026 2027 2028

  // alloc space
  szBuf = kLen + nData + 14;
2029
  pBuf = tdbRealloc(pBtc->pBt->pBuf, pBtc->pBt->pageSize > szBuf ? szBuf : pBtc->pBt->pageSize);
H
Hongze Cheng 已提交
2030
  if (pBuf == NULL) {
2031
    tdbError("tdb/btc-upsert: realloc pBuf failed.");
H
Hongze Cheng 已提交
2032 2033 2034 2035 2036 2037
    return -1;
  }
  pBtc->pBt->pBuf = pBuf;
  pCell = (SCell *)pBtc->pBt->pBuf;

  // encode cell
2038
  ret = tdbBtreeEncodeCell(pBtc->pPage, pKey, kLen, pData, nData, pCell, &szCell, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
2039
  if (ret < 0) {
2040
    tdbError("tdb/btc-upsert: btree encode cell failed with ret: %d.", ret);
H
Hongze Cheng 已提交
2041 2042 2043 2044 2045 2046
    return -1;
  }

  // mark dirty
  ret = tdbPagerWrite(pBtc->pBt->pPager, pBtc->pPage);
  if (ret < 0) {
2047
    tdbError("failed to write page since %s", terrstr());
H
Hongze Cheng 已提交
2048 2049 2050 2051 2052
    return -1;
  }

  // insert or update
  if (insert) {
2053
    ASSERT(pBtc->idx <= nCells);
H
Hongze Cheng 已提交
2054 2055 2056

    ret = tdbPageInsertCell(pBtc->pPage, pBtc->idx, pCell, szCell, 0);
  } else {
2057
    ASSERT(pBtc->idx < nCells);
H
Hongze Cheng 已提交
2058

2059
    ret = tdbPageUpdateCell(pBtc->pPage, pBtc->idx, pCell, szCell, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
2060 2061
  }
  if (ret < 0) {
2062
    tdbError("tdb/btc-upsert: page insert/update cell failed with ret: %d.", ret);
H
Hongze Cheng 已提交
2063 2064 2065 2066 2067 2068 2069
    return -1;
  }

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

H
Hongze Cheng 已提交
2075 2076 2077
  return 0;
}

H
Hongze Cheng 已提交
2078
int tdbBtcMoveTo(SBTC *pBtc, const void *pKey, int kLen, int *pCRst) {
H
Hongze Cheng 已提交
2079 2080 2081 2082 2083 2084 2085 2086
  int         ret;
  int         nCells;
  int         c;
  SCell      *pCell;
  SBTree     *pBt = pBtc->pBt;
  SPager     *pPager = pBt->pPager;
  const void *pTKey;
  int         tkLen;
H
Hongze Cheng 已提交
2087

2088
  tdbTrace("tdb moveto, pager:%p, ipage:%d", pPager, pBtc->iPage);
H
Hongze Cheng 已提交
2089
  if (pBtc->iPage < 0) {
H
Hongze Cheng 已提交
2090
    // move from a clear cursor
H
Hongze Cheng 已提交
2091 2092
    ret = tdbPagerFetchPage(pPager, &pBt->root, &(pBtc->pPage), tdbBtreeInitPage,
                            &((SBtreeInitPageArg){.pBt = pBt, .flags = TDB_BTREE_ROOT | TDB_BTREE_LEAF}), pBtc->pTxn);
H
Hongze Cheng 已提交
2093
    if (ret < 0) {
H
Hongze Cheng 已提交
2094
      // TODO
2095
      ASSERT(0);
H
Hongze Cheng 已提交
2096
      return 0;
H
Hongze Cheng 已提交
2097 2098 2099
    }

    pBtc->iPage = 0;
H
Hongze Cheng 已提交
2100 2101 2102 2103
    pBtc->idx = -1;
    // for empty tree, just return with an invalid position
    if (TDB_PAGE_TOTAL_CELLS(pBtc->pPage) == 0) return 0;
  } else {
2104
    ASSERT(0);
H
Hongze Cheng 已提交
2105
#if 0
H
Hongze Cheng 已提交
2106 2107 2108 2109 2110 2111 2112 2113 2114 2115
    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);

2116
      ASSERT(!TDB_BTREE_PAGE_IS_LEAF(pPage));
H
Hongze Cheng 已提交
2117 2118 2119 2120

      // check if key <= current position
      if (idx < nCells) {
        pCell = tdbPageGetCell(pPage, idx);
2121
        tdbBtreeDecodeCell(pPage, pCell, &cd);
H
Hongze Cheng 已提交
2122 2123 2124 2125 2126 2127 2128 2129
        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);
2130
        c = pBt->kcmpr(pKey, kLen, cd.pKey, cd.kLen, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
2131 2132 2133 2134 2135 2136 2137 2138 2139
        if (c <= 0) break;
      }
    }

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

H
Hongze Cheng 已提交
2143
  // search downward to the leaf
2144
  tdbTrace("tdb search downward, pager:%p, ipage:%d", pPager, pBtc->iPage);
H
Hongze Cheng 已提交
2145
  for (;;) {
H
Hongze Cheng 已提交
2146
    int    lidx, ridx;
H
Hongze Cheng 已提交
2147
    SPage *pPage;
H
Hongze Cheng 已提交
2148

H
Hongze Cheng 已提交
2149 2150 2151 2152
    pPage = pBtc->pPage;
    nCells = TDB_PAGE_TOTAL_CELLS(pPage);
    lidx = 0;
    ridx = nCells - 1;
H
Hongze Cheng 已提交
2153

2154
    ASSERT(nCells > 0);
H
Hongze Cheng 已提交
2155

H
Hongze Cheng 已提交
2156
    // compare first cell
H
Hongze Cheng 已提交
2157 2158 2159
    pBtc->idx = lidx;
    tdbBtcGet(pBtc, &pTKey, &tkLen, NULL, NULL);
    c = pBt->kcmpr(pKey, kLen, pTKey, tkLen);
H
Hongze Cheng 已提交
2160 2161 2162 2163 2164 2165 2166 2167
    if (c <= 0) {
      ridx = lidx - 1;
    } else {
      lidx = lidx + 1;
    }

    // compare last cell
    if (lidx <= ridx) {
H
Hongze Cheng 已提交
2168 2169 2170
      pBtc->idx = ridx;
      tdbBtcGet(pBtc, &pTKey, &tkLen, NULL, NULL);
      c = pBt->kcmpr(pKey, kLen, pTKey, tkLen);
H
Hongze Cheng 已提交
2171 2172 2173 2174 2175 2176 2177
      if (c >= 0) {
        lidx = ridx + 1;
      } else {
        ridx = ridx - 1;
      }
    }

H
Hongze Cheng 已提交
2178
    // binary search
2179
    tdbTrace("tdb binary search, pager:%p, ipage:%d", pPager, pBtc->iPage);
H
Hongze Cheng 已提交
2180 2181
    for (;;) {
      if (lidx > ridx) break;
H
Hongze Cheng 已提交
2182

H
Hongze Cheng 已提交
2183 2184 2185
      pBtc->idx = (lidx + ridx) >> 1;
      tdbBtcGet(pBtc, &pTKey, &tkLen, NULL, NULL);
      c = pBt->kcmpr(pKey, kLen, pTKey, tkLen);
H
Hongze Cheng 已提交
2186 2187
      if (c < 0) {
        // pKey < cd.pKey
H
Hongze Cheng 已提交
2188
        ridx = pBtc->idx - 1;
H
Hongze Cheng 已提交
2189 2190
      } else if (c > 0) {
        // pKey > cd.pKey
H
Hongze Cheng 已提交
2191
        lidx = pBtc->idx + 1;
H
Hongze Cheng 已提交
2192 2193 2194
      } else {
        // pKey == cd.pKey
        break;
H
Hongze Cheng 已提交
2195
      }
H
Hongze Cheng 已提交
2196
    }
H
Hongze Cheng 已提交
2197

H
Hongze Cheng 已提交
2198 2199 2200 2201 2202
    // keep search downward or break
    if (TDB_BTREE_PAGE_IS_LEAF(pPage)) {
      *pCRst = c;
      break;
    } else {
H
Hongze Cheng 已提交
2203 2204
      if (c > 0) {
        pBtc->idx += 1;
H
Hongze Cheng 已提交
2205
      }
H
Hongze Cheng 已提交
2206
      tdbBtcMoveDownward(pBtc);
H
Hongze Cheng 已提交
2207 2208 2209
    }
  }

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

H
Hongze Cheng 已提交
2212 2213 2214
  return 0;
}

H
refact  
Hongze Cheng 已提交
2215 2216 2217 2218
int tdbBtcClose(SBTC *pBtc) {
  if (pBtc->iPage < 0) return 0;

  for (;;) {
2219 2220 2221 2222
    if (NULL == pBtc->pPage) {
      tdbError("tdb/btc-close: null ptr pPage.");
      return -1;
    }
H
refact  
Hongze Cheng 已提交
2223

H
Hongze Cheng 已提交
2224
    tdbPagerReturnPage(pBtc->pBt->pPager, pBtc->pPage, pBtc->pTxn);
H
refact  
Hongze Cheng 已提交
2225 2226 2227 2228 2229 2230 2231 2232

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

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

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

2236 2237 2238
    tdbFree(pBtc->coder.pVal);
  }

2239 2240 2241 2242
  if (pBtc->freeTxn) {
    tdbTxnClose(pBtc->pTxn);
  }

H
refact  
Hongze Cheng 已提交
2243 2244
  return 0;
}
H
Hongze Cheng 已提交
2245 2246 2247 2248 2249 2250 2251 2252

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

H
refact  
Hongze Cheng 已提交
2255
// TDB_BTREE_DEBUG =====================
H
Hongze Cheng 已提交
2256 2257 2258 2259 2260 2261 2262 2263 2264 2265 2266 2267 2268 2269 2270 2271 2272 2273 2274
#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 已提交
2275 2276
  pBtPageInfo->root = TDB_BTREE_PAGE_IS_ROOT(pPage);
  pBtPageInfo->leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
H
Hongze Cheng 已提交
2277 2278 2279 2280 2281 2282 2283 2284 2285

  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 已提交
2286
#endif
2287
// TDB_BTREE_DEBUG