tdbBtree.c 59.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) {
M
Minglei Jin 已提交
1174 1175 1176 1177
    if (pPage->vLen != sizeof(SPgno)) {
      tdbError("tdb/btree-encode-cell: invalid cell.");
      return -1;
    }
H
Hongze Cheng 已提交
1178 1179 1180 1181 1182

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

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

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

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

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

H
Hongze Cheng 已提交
1206
  *szCell = nHeader + nPayload;
H
Hongze Cheng 已提交
1207 1208 1209
  return 0;
}

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

  int kLen = pDecoder->kLen;
  int vLen = pDecoder->vLen;
H
Hongze Cheng 已提交
1218 1219

  if (pDecoder->pVal) {
M
Minglei Jin 已提交
1220 1221 1222 1223
    if (TDB_BTREE_PAGE_IS_LEAF(pPage)) {
      tdbError("tdb/btree-decode-payload: leaf page with non-null pVal.");
      return -1;
    }
H
Hongze Cheng 已提交
1224
    nPayload = pDecoder->kLen;
H
Hongze Cheng 已提交
1225 1226
  } else {
    nPayload = pDecoder->kLen + pDecoder->vLen;
H
Hongze Cheng 已提交
1227 1228
  }

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

1243 1244
    int    nLeft = nPayload;
    SPgno  pgno = 0;
1245 1246
    SPage *ofp;
    SCell *ofpCell;
1247 1248
    int    bytes;
    int    lastPage = 0;
1249

1250
    if (nLocal >= pDecoder->kLen + nHeader + sizeof(SPgno)) {
1251 1252
      pDecoder->pKey = (SCell *)pCell + nHeader;
      nLeft -= kLen;
1253
      if (nLocal > kLen + nHeader + sizeof(SPgno)) {
1254 1255 1256 1257 1258 1259
        // read partial val to local
        pDecoder->pVal = tdbRealloc(pDecoder->pVal, vLen);
        if (pDecoder->pVal == NULL) {
          return -1;
        }
        TDB_CELLDECODER_SET_FREE_VAL(pDecoder);
1260

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

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

1265
        nLeft -= nLocal - nHeader - kLen - sizeof(SPgno);
1266
      }
H
Hongze Cheng 已提交
1267

1268 1269 1270
      memcpy(&pgno, pCell + nHeader + nPayload - nLeft, sizeof(pgno));

      // unpack left val data from ovpages
1271 1272 1273 1274 1275
      while (pgno != 0) {
        ret = tdbLoadOvflPage(&pgno, &ofp, pTxn, pBt);
        if (ret < 0) {
          return -1;
        }
1276

1277
        ofpCell = tdbPageGetCell(ofp, 0);
1278

1279 1280 1281 1282 1283 1284
        if (nLeft <= ofp->maxLocal - sizeof(SPgno)) {
          bytes = nLeft;
          lastPage = 1;
        } else {
          bytes = ofp->maxLocal - sizeof(SPgno);
        }
1285

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

1289
        memcpy(&pgno, ofpCell + bytes, sizeof(pgno));
1290 1291

        tdbPCacheRelease(pBt->pPager->pCache, ofp, pTxn);
1292 1293 1294 1295 1296 1297
      }
    } else {
      int nLeftKey = kLen;
      // load partial key and nextPgno
      pDecoder->pKey = tdbRealloc(pDecoder->pKey, kLen);
      if (pDecoder->pKey == NULL) {
1298
        return -1;
1299 1300 1301 1302 1303
      }
      TDB_CELLDECODER_SET_FREE_KEY(pDecoder);

      memcpy(pDecoder->pKey, pCell + nHeader, nLocal - 4);
      nLeft -= nLocal - 4;
1304
      nLeftKey -= nLocal - 4;
1305 1306 1307 1308 1309 1310

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

      int lastKeyPageSpace = 0;
      // load left key & val to ovpages
      while (pgno != 0) {
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 1345 1346 1347 1348 1349 1350
        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));

1351 1352
        tdbPCacheRelease(pBt->pPager->pCache, ofp, pTxn);

1353 1354
        nLeftKey -= bytes;
        nLeft -= bytes;
1355 1356 1357
      }

      while (nLeft > 0) {
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 1385 1386 1387 1388 1389 1390
        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));

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

1393
        nLeft -= bytes;
1394 1395
      }
    }
H
Hongze Cheng 已提交
1396 1397
  }

H
Hongze Cheng 已提交
1398 1399 1400
  return 0;
}

1401
static int tdbBtreeDecodeCell(SPage *pPage, const SCell *pCell, SCellDecoder *pDecoder, TXN *pTxn, SBTree *pBt) {
H
Hongze Cheng 已提交
1402 1403 1404 1405 1406
  u8  leaf;
  int nHeader;
  int ret;

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

H
Hongze Cheng 已提交
1409
  // Clear the state of decoder
1410 1411 1412
  if (TDB_CELLDECODER_FREE_VAL(pDecoder)) {
    tdbFree(pDecoder->pVal);
  }
H
Hongze Cheng 已提交
1413 1414 1415 1416 1417
  pDecoder->kLen = -1;
  pDecoder->pKey = NULL;
  pDecoder->vLen = -1;
  pDecoder->pVal = NULL;
  pDecoder->pgno = 0;
1418
  TDB_CELLDECODER_SET_FREE_NIL(pDecoder);
H
Hongze Cheng 已提交
1419

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

H
Hongze Cheng 已提交
1422
  // 1. Decode header part
H
Hongze Cheng 已提交
1423
  if (!leaf) {
M
Minglei Jin 已提交
1424 1425 1426 1427
    if (pPage->vLen != sizeof(SPgno)) {
      tdbError("tdb/btree-decode-cell: invalid cell.");
      return -1;
    }
H
Hongze Cheng 已提交
1428 1429 1430 1431 1432 1433

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

H
Hongze Cheng 已提交
1434 1435 1436 1437 1438 1439 1440
  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 已提交
1441 1442 1443 1444
    if (!leaf) {
      tdbError("tdb/btree-decode-cell: not a leaf page.");
      return -1;
    }
H
Hongze Cheng 已提交
1445
    nHeader += tdbGetVarInt(pCell + nHeader, &(pDecoder->vLen));
H
Hongze Cheng 已提交
1446
  } else {
H
Hongze Cheng 已提交
1447 1448
    pDecoder->vLen = pPage->vLen;
  }
H
Hongze Cheng 已提交
1449

H
Hongze Cheng 已提交
1450
  // 2. Decode payload part
1451
  ret = tdbBtreeDecodePayload(pPage, pCell, nHeader, pDecoder, pTxn, pBt);
H
Hongze Cheng 已提交
1452 1453
  if (ret < 0) {
    return -1;
H
Hongze Cheng 已提交
1454 1455 1456 1457 1458
  }

  return 0;
}

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

H
refact  
Hongze Cheng 已提交
1463
  leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
H
Hongze Cheng 已提交
1464

H
refact  
Hongze Cheng 已提交
1465
  if (!leaf) {
1466
    nHeader += sizeof(SPgno);
H
Hongze Cheng 已提交
1467 1468 1469
  }

  if (pPage->kLen == TDB_VARIANT_LEN) {
1470
    nHeader += tdbGetVarInt(pCell + nHeader, &kLen);
H
Hongze Cheng 已提交
1471 1472 1473 1474
  } else {
    kLen = pPage->kLen;
  }

H
refact  
Hongze Cheng 已提交
1475
  if (pPage->vLen == TDB_VARIANT_LEN) {
M
Minglei Jin 已提交
1476 1477 1478 1479
    if (!leaf) {
      tdbError("tdb/btree-cell-size: not a leaf page.");
      return -1;
    }
1480
    nHeader += tdbGetVarInt(pCell + nHeader, &vLen);
H
refact  
Hongze Cheng 已提交
1481 1482
  } else if (leaf) {
    vLen = pPage->vLen;
H
Hongze Cheng 已提交
1483 1484
  }

1485 1486
  int nPayload = kLen + vLen;
  if (nHeader + nPayload <= pPage->maxLocal) {
1487
    return nHeader + nPayload;
1488 1489
  } else {
    int maxLocal = pPage->maxLocal;
H
Hongze Cheng 已提交
1490

1491 1492 1493 1494
    // 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 已提交
1495

1496 1497
    // free ofp pages' cells
    if (dropOfp) {
1498
      int    ret = 0;
1499
      SPgno  pgno = *(SPgno *)(pCell + nLocal - sizeof(SPgno));
1500
      int    nLeft = nPayload - nLocal + sizeof(SPgno) + nHeader;
1501
      SPage *ofp;
1502
      int    bytes;
1503 1504

      while (pgno != 0) {
1505 1506 1507 1508
        ret = tdbLoadOvflPage(&pgno, &ofp, pTxn, pBt);
        if (ret < 0) {
          return -1;
        }
1509

1510
        SCell *ofpCell = tdbPageGetCell(ofp, 0);
1511

1512 1513 1514 1515 1516
        if (nLeft <= ofp->maxLocal - sizeof(SPgno)) {
          bytes = nLeft;
        } else {
          bytes = ofp->maxLocal - sizeof(SPgno);
        }
1517

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

1520
        tdbPagerReturnPage(pPage->pPager, ofp, pTxn);
1521

1522
        nLeft -= bytes;
1523 1524 1525
      }
    }

1526
    return nLocal;
H
refact  
Hongze Cheng 已提交
1527
  }
H
Hongze Cheng 已提交
1528
}
H
Hongze Cheng 已提交
1529
// TDB_BTREE_CELL
H
Hongze Cheng 已提交
1530

H
refact  
Hongze Cheng 已提交
1531
// TDB_BTREE_CURSOR =====================
H
Hongze Cheng 已提交
1532
int tdbBtcOpen(SBTC *pBtc, SBTree *pBt, TXN *pTxn) {
H
Hongze Cheng 已提交
1533 1534 1535 1536
  pBtc->pBt = pBt;
  pBtc->iPage = -1;
  pBtc->pPage = NULL;
  pBtc->idx = -1;
H
Hongze Cheng 已提交
1537
  memset(&pBtc->coder, 0, sizeof(SCellDecoder));
H
Hongze Cheng 已提交
1538 1539

  if (pTxn == NULL) {
1540 1541 1542 1543 1544 1545 1546 1547 1548 1549 1550 1551
    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 已提交
1552 1553
  } else {
    pBtc->pTxn = pTxn;
1554
    pBtc->freeTxn = 0;
H
Hongze Cheng 已提交
1555
  }
H
Hongze Cheng 已提交
1556 1557 1558 1559

  return 0;
}

H
Hongze Cheng 已提交
1560
int tdbBtcMoveToFirst(SBTC *pBtc) {
H
refact  
Hongze Cheng 已提交
1561 1562 1563
  int     ret;
  SBTree *pBt;
  SPager *pPager;
H
Hongze Cheng 已提交
1564 1565
  SCell  *pCell;
  SPgno   pgno;
H
refact  
Hongze Cheng 已提交
1566 1567 1568 1569 1570

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

  if (pBtc->iPage < 0) {
H
Hongze Cheng 已提交
1571
    // move a clean cursor
H
Hongze Cheng 已提交
1572
    ret = tdbPagerFetchPage(pPager, &pBt->root, &(pBtc->pPage), tdbBtreeInitPage,
H
Hongze Cheng 已提交
1573
                            &((SBtreeInitPageArg){.pBt = pBt, .flags = TDB_BTREE_ROOT | TDB_BTREE_LEAF}), pBtc->pTxn);
H
refact  
Hongze Cheng 已提交
1574
    if (ret < 0) {
1575
      tdbError("tdb/btc-move-tofirst: fetch page failed with ret: %d.", ret);
H
refact  
Hongze Cheng 已提交
1576 1577 1578
      return -1;
    }

M
Minglei Jin 已提交
1579 1580 1581 1582
    if (!TDB_BTREE_PAGE_IS_ROOT(pBtc->pPage)) {
      tdbError("tdb/btc-move-tofirst: not a root page");
      return -1;
    }
H
refact  
Hongze Cheng 已提交
1583

H
Hongze Cheng 已提交
1584 1585 1586 1587
    pBtc->iPage = 0;
    if (TDB_PAGE_TOTAL_CELLS(pBtc->pPage) > 0) {
      pBtc->idx = 0;
    } else {
H
more  
Hongze Cheng 已提交
1588
      // no any data, point to an invalid position
M
Minglei Jin 已提交
1589 1590 1591 1592 1593
      if (!TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) {
        tdbError("tdb/btc-move-to-first: not a leaf page.");
        return -1;
      }

H
Hongze Cheng 已提交
1594
      pBtc->idx = -1;
H
refact  
Hongze Cheng 已提交
1595 1596
      return 0;
    }
H
Hongze Cheng 已提交
1597
  } else {
M
Minglei Jin 已提交
1598 1599 1600
    // TODO
    tdbError("tdb/btc-move-to-first: move from a dirty cursor.");
    return -1;
H
Hongze Cheng 已提交
1601
#if 0
H
Hongze Cheng 已提交
1602 1603
    // move from a position
    int iPage = 0;
H
refact  
Hongze Cheng 已提交
1604

H
Hongze Cheng 已提交
1605
    for (; iPage < pBtc->iPage; iPage++) {
M
Minglei Jin 已提交
1606 1607 1608 1609 1610
      if (pBtc->idxStack[iPage] < 0) {
        tdbError("tdb/btc-move-to-first: invalid idx: %d.", pBtc->idxStack[iPage]);
        return -1;
      }

H
Hongze Cheng 已提交
1611 1612
      if (pBtc->idxStack[iPage]) break;
    }
H
refact  
Hongze Cheng 已提交
1613

H
Hongze Cheng 已提交
1614 1615
    // move upward
    for (;;) {
H
Hongze Cheng 已提交
1616
      if (pBtc->iPage == iPage) {
H
Hongze Cheng 已提交
1617
        pBtc->idx = 0;
H
refact  
Hongze Cheng 已提交
1618 1619
        break;
      }
H
Hongze Cheng 已提交
1620

H
Hongze Cheng 已提交
1621
      tdbBtcMoveUpward(pBtc);
H
Hongze Cheng 已提交
1622
    }
H
Hongze Cheng 已提交
1623
#endif
H
Hongze Cheng 已提交
1624 1625 1626 1627
  }

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

H
Hongze Cheng 已提交
1630
    ret = tdbBtcMoveDownward(pBtc);
H
Hongze Cheng 已提交
1631
    if (ret < 0) {
1632
      tdbError("tdb/btc-move-tofirst: btc move downward failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1633 1634 1635 1636 1637 1638
      return -1;
    }

    pBtc->idx = 0;
  }

H
Hongze Cheng 已提交
1639 1640 1641 1642
  return 0;
}

int tdbBtcMoveToLast(SBTC *pBtc) {
H
Hongze Cheng 已提交
1643
  int     ret;
H
Hongze Cheng 已提交
1644
  int     nCells;
H
Hongze Cheng 已提交
1645 1646 1647 1648 1649 1650 1651 1652 1653
  SBTree *pBt;
  SPager *pPager;
  SPgno   pgno;

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

  if (pBtc->iPage < 0) {
    // move a clean cursor
H
Hongze Cheng 已提交
1654
    ret = tdbPagerFetchPage(pPager, &pBt->root, &(pBtc->pPage), tdbBtreeInitPage,
H
Hongze Cheng 已提交
1655
                            &((SBtreeInitPageArg){.pBt = pBt, .flags = TDB_BTREE_ROOT | TDB_BTREE_LEAF}), pBtc->pTxn);
H
Hongze Cheng 已提交
1656
    if (ret < 0) {
1657
      tdbError("tdb/btc-move-tolast: fetch page failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1658 1659 1660
      return -1;
    }

H
Hongze Cheng 已提交
1661
    nCells = TDB_PAGE_TOTAL_CELLS(pBtc->pPage);
H
Hongze Cheng 已提交
1662
    pBtc->iPage = 0;
H
Hongze Cheng 已提交
1663 1664 1665 1666
    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 已提交
1667 1668 1669 1670 1671
      if (!TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) {
        tdbError("tdb/btc-move-to-last: not a leaf page.");
        return -1;
      }

H
Hongze Cheng 已提交
1672 1673 1674
      pBtc->idx = -1;
      return 0;
    }
H
Hongze Cheng 已提交
1675
  } else {
M
Minglei Jin 已提交
1676 1677 1678
    // TODO
    tdbError("tdb/btc-move-to-last: move from a dirty cursor.");
    return -1;
H
Hongze Cheng 已提交
1679
#if 0
H
Hongze Cheng 已提交
1680 1681 1682 1683
    int iPage = 0;

    // downward search
    for (; iPage < pBtc->iPage; iPage++) {
M
Minglei Jin 已提交
1684 1685 1686 1687 1688
      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 已提交
1689 1690 1691 1692 1693 1694
      nCells = TDB_PAGE_TOTAL_CELLS(pBtc->pgStack[iPage]);
      if (pBtc->idxStack[iPage] != nCells) break;
    }

    // move upward
    for (;;) {
H
Hongze Cheng 已提交
1695
      if (pBtc->iPage == iPage) {
H
Hongze Cheng 已提交
1696 1697 1698 1699 1700
        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 已提交
1701
        break;
H
Hongze Cheng 已提交
1702 1703 1704 1705
      }

      tdbBtcMoveUpward(pBtc);
    }
H
Hongze Cheng 已提交
1706
#endif
H
Hongze Cheng 已提交
1707 1708 1709 1710
  }

  // move downward
  for (;;) {
H
Hongze Cheng 已提交
1711 1712 1713 1714
    if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) break;

    ret = tdbBtcMoveDownward(pBtc);
    if (ret < 0) {
1715
      tdbError("tdb/btc-move-tolast: btc move downward failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1716 1717 1718 1719
      return -1;
    }

    nCells = TDB_PAGE_TOTAL_CELLS(pBtc->pPage);
H
refact  
Hongze Cheng 已提交
1720
    if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) {
H
Hongze Cheng 已提交
1721
      pBtc->idx = nCells - 1;
H
Hongze Cheng 已提交
1722
    } else {
H
Hongze Cheng 已提交
1723
      pBtc->idx = nCells;
H
Hongze Cheng 已提交
1724 1725 1726
    }
  }

H
Hongze Cheng 已提交
1727 1728 1729 1730
  return 0;
}

int tdbBtreeNext(SBTC *pBtc, void **ppKey, int *kLen, void **ppVal, int *vLen) {
H
Hongze Cheng 已提交
1731
  SCell       *pCell;
1732
  SCellDecoder cd = {0};
H
Hongze Cheng 已提交
1733 1734 1735
  void        *pKey, *pVal;
  int          ret;

H
Hongze Cheng 已提交
1736
  // current cursor points to an invalid position
H
Hongze Cheng 已提交
1737
  if (pBtc->idx < 0) {
H
Hongze Cheng 已提交
1738 1739 1740 1741 1742
    return -1;
  }

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

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

H
Hongze Cheng 已提交
1745
  pKey = tdbRealloc(*ppKey, cd.kLen);
H
Hongze Cheng 已提交
1746 1747 1748 1749 1750 1751 1752
  if (pKey == NULL) {
    return -1;
  }

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

  if (ppVal) {
1755 1756 1757 1758 1759 1760 1761 1762 1763 1764
    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 已提交
1765 1766 1767 1768 1769
    }

    *ppVal = pVal;
    *vLen = cd.vLen;
  }
H
Hongze Cheng 已提交
1770 1771

  ret = tdbBtcMoveToNext(pBtc);
H
Hongze Cheng 已提交
1772
  if (ret < 0) {
1773
    tdbError("tdb/btree-next: btc move to next failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1774 1775
    return -1;
  }
H
Hongze Cheng 已提交
1776 1777 1778 1779

  return 0;
}

1780 1781
int tdbBtreePrev(SBTC *pBtc, void **ppKey, int *kLen, void **ppVal, int *vLen) {
  SCell       *pCell;
M
Minglei Jin 已提交
1782
  SCellDecoder cd = {0};
1783 1784 1785 1786 1787 1788 1789 1790 1791 1792
  void        *pKey, *pVal;
  int          ret;

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

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

1793
  tdbBtreeDecodeCell(pBtc->pPage, pCell, &cd, pBtc->pTxn, pBtc->pBt);
1794 1795 1796 1797 1798 1799 1800 1801 1802 1803 1804 1805 1806 1807 1808 1809 1810 1811 1812 1813 1814 1815 1816 1817 1818

  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) {
1819
    tdbError("tdb/btree-prev: btc move to prev failed with ret: %d.", ret);
1820 1821 1822 1823 1824 1825
    return -1;
  }

  return 0;
}

H
Hongze Cheng 已提交
1826
int tdbBtcMoveToNext(SBTC *pBtc) {
H
Hongze Cheng 已提交
1827
  int    nCells;
H
Hongze Cheng 已提交
1828
  int    ret;
H
Hongze Cheng 已提交
1829 1830
  SCell *pCell;

M
Minglei Jin 已提交
1831 1832 1833 1834
  if (!TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) {
    tdbError("tdb/btc-move-to-next: not a leaf page.");
    return -1;
  }
H
Hongze Cheng 已提交
1835 1836 1837

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

H
Hongze Cheng 已提交
1838
  pBtc->idx++;
H
Hongze Cheng 已提交
1839 1840 1841 1842
  if (pBtc->idx < TDB_PAGE_TOTAL_CELLS(pBtc->pPage)) {
    return 0;
  }

H
Hongze Cheng 已提交
1843
  // move upward
H
Hongze Cheng 已提交
1844
  for (;;) {
H
Hongze Cheng 已提交
1845 1846 1847 1848 1849
    if (pBtc->iPage == 0) {
      pBtc->idx = -1;
      return 0;
    }

H
Hongze Cheng 已提交
1850 1851 1852
    tdbBtcMoveUpward(pBtc);
    pBtc->idx++;

M
Minglei Jin 已提交
1853 1854 1855 1856
    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 已提交
1857
    if (pBtc->idx <= TDB_PAGE_TOTAL_CELLS(pBtc->pPage)) {
H
Hongze Cheng 已提交
1858 1859
      break;
    }
H
Hongze Cheng 已提交
1860 1861
  }

H
Hongze Cheng 已提交
1862
  // move downward
H
Hongze Cheng 已提交
1863
  for (;;) {
H
Hongze Cheng 已提交
1864
    if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) break;
H
Hongze Cheng 已提交
1865

H
Hongze Cheng 已提交
1866 1867
    ret = tdbBtcMoveDownward(pBtc);
    if (ret < 0) {
1868
      tdbError("tdb/btc-move-tonext: btc move downward failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1869
      return -1;
H
Hongze Cheng 已提交
1870
    }
H
Hongze Cheng 已提交
1871 1872

    pBtc->idx = 0;
H
Hongze Cheng 已提交
1873 1874
  }

H
Hongze Cheng 已提交
1875 1876 1877
  return 0;
}

H
Hongze Cheng 已提交
1878 1879 1880 1881 1882 1883 1884 1885 1886 1887 1888 1889 1890 1891 1892 1893 1894 1895 1896 1897 1898 1899 1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911 1912 1913 1914
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 已提交
1915 1916 1917 1918 1919
static int tdbBtcMoveDownward(SBTC *pBtc) {
  int    ret;
  SPgno  pgno;
  SCell *pCell;

M
Minglei Jin 已提交
1920 1921 1922 1923 1924 1925 1926 1927 1928
  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 已提交
1929 1930 1931 1932 1933 1934 1935

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

M
Minglei Jin 已提交
1937 1938 1939 1940
  if (!pgno) {
    tdbError("tdb/btc-move-downward: invalid pgno.");
    return -1;
  }
H
Hongze Cheng 已提交
1941

H
Hongze Cheng 已提交
1942 1943 1944 1945 1946
  pBtc->pgStack[pBtc->iPage] = pBtc->pPage;
  pBtc->idxStack[pBtc->iPage] = pBtc->idx;
  pBtc->iPage++;
  pBtc->pPage = NULL;
  pBtc->idx = -1;
H
Hongze Cheng 已提交
1947

H
Hongze Cheng 已提交
1948 1949
  ret = tdbPagerFetchPage(pBtc->pBt->pPager, &pgno, &pBtc->pPage, tdbBtreeInitPage,
                          &((SBtreeInitPageArg){.pBt = pBtc->pBt, .flags = 0}), pBtc->pTxn);
H
Hongze Cheng 已提交
1950
  if (ret < 0) {
1951
    tdbError("tdb/btc-move-downward: fetch page failed with ret: %d.", ret);
H
Hongze Cheng 已提交
1952
    return -1;
H
Hongze Cheng 已提交
1953 1954 1955 1956 1957 1958
  }

  return 0;
}

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

H
Hongze Cheng 已提交
1961
  tdbPagerReturnPage(pBtc->pBt->pPager, pBtc->pPage, pBtc->pTxn);
H
Hongze Cheng 已提交
1962 1963 1964 1965 1966

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

H
Hongze Cheng 已提交
1967
  return 0;
H
Hongze Cheng 已提交
1968
}
H
refact  
Hongze Cheng 已提交
1969

H
Hongze Cheng 已提交
1970 1971 1972 1973 1974 1975 1976 1977
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);
1978
  tdbBtreeDecodeCell(pBtc->pPage, pCell, &pBtc->coder, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
1979 1980 1981 1982 1983 1984 1985 1986

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

  if (ppVal) {
    *ppVal = (void *)pBtc->coder.pVal;
H
Hongze Cheng 已提交
1987
    *vLen = pBtc->coder.vLen;
H
Hongze Cheng 已提交
1988 1989 1990 1991 1992
  }

  return 0;
}

H
Hongze Cheng 已提交
1993
int tdbBtcDelete(SBTC *pBtc) {
H
Hongze Cheng 已提交
1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005
  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;

2006 2007 2008 2009
  if (idx < 0 || idx >= nCells) {
    tdbError("tdb/btc-delete: idx: %d out of range[%d, %d).", idx, 0, nCells);
    return -1;
  }
H
Hongze Cheng 已提交
2010 2011 2012 2013

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

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

H
Hongze Cheng 已提交
2020
  // update interior page or do balance
H
Hongze Cheng 已提交
2021
  if (idx == nCells - 1) {
H
Hongze Cheng 已提交
2022 2023 2024 2025 2026 2027 2028 2029 2030 2031 2032 2033 2034 2035
    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) {
2036
            tdbError("failed to write page since %s", terrstr());
H
Hongze Cheng 已提交
2037 2038 2039 2040 2041
            return -1;
          }

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

2044
          ret = tdbPageUpdateCell(pPage, idx, pCell, szCell, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
2045 2046
          if (ret < 0) {
            tdbOsFree(pCell);
2047
            tdbError("tdb/btc-delete: page update cell failed with ret: %d.", ret);
H
Hongze Cheng 已提交
2048 2049 2050 2051 2052 2053 2054 2055 2056
            return -1;
          }
          tdbOsFree(pCell);
          break;
        } else {
          pgno = TDB_PAGE_PGNO(pPage);
        }
      }
    } else {
H
Hongze Cheng 已提交
2057
      // delete the leaf page and do balance
M
Minglei Jin 已提交
2058 2059 2060 2061
      if (TDB_PAGE_TOTAL_CELLS(pBtc->pPage) != 0) {
        tdbError("tdb/btc-delete: page to be deleted should be empty.");
        return -1;
      }
H
Hongze Cheng 已提交
2062 2063 2064

      ret = tdbBtreeBalance(pBtc);
      if (ret < 0) {
2065
        tdbError("tdb/btc-delete: btree balance failed with ret: %d.", ret);
H
Hongze Cheng 已提交
2066 2067
        return -1;
      }
H
Hongze Cheng 已提交
2068
    }
H
Hongze Cheng 已提交
2069 2070 2071 2072 2073
  }

  return 0;
}

H
Hongze Cheng 已提交
2074 2075 2076 2077 2078 2079 2080 2081
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 已提交
2082 2083 2084 2085
  if (pBtc->idx < 0) {
    tdbError("tdb/btc-upsert: invalid idx: %d.", pBtc->idx);
    return -1;
  }
H
Hongze Cheng 已提交
2086 2087 2088

  // alloc space
  szBuf = kLen + nData + 14;
2089
  pBuf = tdbRealloc(pBtc->pBt->pBuf, pBtc->pBt->pageSize > szBuf ? szBuf : pBtc->pBt->pageSize);
H
Hongze Cheng 已提交
2090
  if (pBuf == NULL) {
2091
    tdbError("tdb/btc-upsert: realloc pBuf failed.");
H
Hongze Cheng 已提交
2092 2093 2094 2095 2096 2097
    return -1;
  }
  pBtc->pBt->pBuf = pBuf;
  pCell = (SCell *)pBtc->pBt->pBuf;

  // encode cell
2098
  ret = tdbBtreeEncodeCell(pBtc->pPage, pKey, kLen, pData, nData, pCell, &szCell, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
2099
  if (ret < 0) {
2100
    tdbError("tdb/btc-upsert: btree encode cell failed with ret: %d.", ret);
H
Hongze Cheng 已提交
2101 2102 2103 2104 2105 2106
    return -1;
  }

  // mark dirty
  ret = tdbPagerWrite(pBtc->pBt->pPager, pBtc->pPage);
  if (ret < 0) {
2107
    tdbError("failed to write page since %s", terrstr());
H
Hongze Cheng 已提交
2108 2109 2110 2111 2112
    return -1;
  }

  // insert or update
  if (insert) {
M
Minglei Jin 已提交
2113 2114 2115 2116
    if (pBtc->idx > nCells) {
      tdbError("tdb/btc-upsert: invalid idx: %d, nCells: %d.", pBtc->idx, nCells);
      return -1;
    }
H
Hongze Cheng 已提交
2117 2118 2119

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

2125
    ret = tdbPageUpdateCell(pBtc->pPage, pBtc->idx, pCell, szCell, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
2126 2127
  }
  if (ret < 0) {
2128
    tdbError("tdb/btc-upsert: page insert/update cell failed with ret: %d.", ret);
H
Hongze Cheng 已提交
2129 2130 2131 2132 2133 2134 2135
    return -1;
  }

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

H
Hongze Cheng 已提交
2141 2142 2143
  return 0;
}

H
Hongze Cheng 已提交
2144
int tdbBtcMoveTo(SBTC *pBtc, const void *pKey, int kLen, int *pCRst) {
H
Hongze Cheng 已提交
2145 2146 2147 2148 2149 2150 2151 2152
  int         ret;
  int         nCells;
  int         c;
  SCell      *pCell;
  SBTree     *pBt = pBtc->pBt;
  SPager     *pPager = pBt->pPager;
  const void *pTKey;
  int         tkLen;
H
Hongze Cheng 已提交
2153

2154
  tdbTrace("tdb moveto, pager:%p, ipage:%d", pPager, pBtc->iPage);
H
Hongze Cheng 已提交
2155
  if (pBtc->iPage < 0) {
H
Hongze Cheng 已提交
2156
    // move from a clear cursor
H
Hongze Cheng 已提交
2157 2158
    ret = tdbPagerFetchPage(pPager, &pBt->root, &(pBtc->pPage), tdbBtreeInitPage,
                            &((SBtreeInitPageArg){.pBt = pBt, .flags = TDB_BTREE_ROOT | TDB_BTREE_LEAF}), pBtc->pTxn);
H
Hongze Cheng 已提交
2159
    if (ret < 0) {
H
Hongze Cheng 已提交
2160
      // TODO
M
Minglei Jin 已提交
2161 2162
      tdbError("tdb/btc-move-to: fetch page failed with ret: %d.", ret);
      return -1;
H
Hongze Cheng 已提交
2163 2164 2165
    }

    pBtc->iPage = 0;
H
Hongze Cheng 已提交
2166 2167 2168 2169
    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 已提交
2170 2171 2172
    // TODO
    tdbError("tdb/btc-move-to: move from a dirty cursor.");
    return -1;
H
Hongze Cheng 已提交
2173
#if 0
H
Hongze Cheng 已提交
2174 2175 2176 2177 2178 2179 2180 2181 2182 2183
    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 已提交
2184 2185 2186 2187
      if (TDB_BTREE_PAGE_IS_LEAF(pPage)) {
        tdbError("tdb/btc-move-to: leaf page in cursor stack.");
        return -1;
      }
H
Hongze Cheng 已提交
2188 2189 2190 2191

      // check if key <= current position
      if (idx < nCells) {
        pCell = tdbPageGetCell(pPage, idx);
2192
        tdbBtreeDecodeCell(pPage, pCell, &cd);
H
Hongze Cheng 已提交
2193 2194 2195 2196 2197 2198 2199 2200
        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);
2201
        c = pBt->kcmpr(pKey, kLen, cd.pKey, cd.kLen, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
2202 2203 2204 2205 2206 2207 2208 2209 2210
        if (c <= 0) break;
      }
    }

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

H
Hongze Cheng 已提交
2214
  // search downward to the leaf
2215
  tdbTrace("tdb search downward, pager:%p, ipage:%d", pPager, pBtc->iPage);
H
Hongze Cheng 已提交
2216
  for (;;) {
H
Hongze Cheng 已提交
2217
    int    lidx, ridx;
H
Hongze Cheng 已提交
2218
    SPage *pPage;
H
Hongze Cheng 已提交
2219

H
Hongze Cheng 已提交
2220 2221 2222 2223
    pPage = pBtc->pPage;
    nCells = TDB_PAGE_TOTAL_CELLS(pPage);
    lidx = 0;
    ridx = nCells - 1;
H
Hongze Cheng 已提交
2224

2225
    ASSERT(nCells > 0);
H
Hongze Cheng 已提交
2226

H
Hongze Cheng 已提交
2227
    // compare first cell
H
Hongze Cheng 已提交
2228 2229 2230
    pBtc->idx = lidx;
    tdbBtcGet(pBtc, &pTKey, &tkLen, NULL, NULL);
    c = pBt->kcmpr(pKey, kLen, pTKey, tkLen);
H
Hongze Cheng 已提交
2231 2232 2233 2234 2235 2236 2237 2238
    if (c <= 0) {
      ridx = lidx - 1;
    } else {
      lidx = lidx + 1;
    }

    // compare last cell
    if (lidx <= ridx) {
H
Hongze Cheng 已提交
2239 2240 2241
      pBtc->idx = ridx;
      tdbBtcGet(pBtc, &pTKey, &tkLen, NULL, NULL);
      c = pBt->kcmpr(pKey, kLen, pTKey, tkLen);
H
Hongze Cheng 已提交
2242 2243 2244 2245 2246 2247 2248
      if (c >= 0) {
        lidx = ridx + 1;
      } else {
        ridx = ridx - 1;
      }
    }

H
Hongze Cheng 已提交
2249
    // binary search
2250
    tdbTrace("tdb binary search, pager:%p, ipage:%d", pPager, pBtc->iPage);
H
Hongze Cheng 已提交
2251 2252
    for (;;) {
      if (lidx > ridx) break;
H
Hongze Cheng 已提交
2253

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

H
Hongze Cheng 已提交
2269 2270 2271 2272 2273
    // keep search downward or break
    if (TDB_BTREE_PAGE_IS_LEAF(pPage)) {
      *pCRst = c;
      break;
    } else {
H
Hongze Cheng 已提交
2274 2275
      if (c > 0) {
        pBtc->idx += 1;
H
Hongze Cheng 已提交
2276
      }
H
Hongze Cheng 已提交
2277
      tdbBtcMoveDownward(pBtc);
H
Hongze Cheng 已提交
2278 2279 2280
    }
  }

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

H
Hongze Cheng 已提交
2283 2284 2285
  return 0;
}

H
refact  
Hongze Cheng 已提交
2286 2287 2288 2289
int tdbBtcClose(SBTC *pBtc) {
  if (pBtc->iPage < 0) return 0;

  for (;;) {
2290 2291 2292 2293
    if (NULL == pBtc->pPage) {
      tdbError("tdb/btc-close: null ptr pPage.");
      return -1;
    }
H
refact  
Hongze Cheng 已提交
2294

H
Hongze Cheng 已提交
2295
    tdbPagerReturnPage(pBtc->pBt->pPager, pBtc->pPage, pBtc->pTxn);
H
refact  
Hongze Cheng 已提交
2296 2297 2298 2299 2300 2301 2302 2303

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

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

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

2307 2308 2309
    tdbFree(pBtc->coder.pVal);
  }

2310 2311 2312 2313
  if (pBtc->freeTxn) {
    tdbTxnClose(pBtc->pTxn);
  }

H
refact  
Hongze Cheng 已提交
2314 2315
  return 0;
}
H
Hongze Cheng 已提交
2316 2317 2318 2319 2320 2321 2322 2323

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

H
refact  
Hongze Cheng 已提交
2326
// TDB_BTREE_DEBUG =====================
H
Hongze Cheng 已提交
2327 2328 2329 2330 2331 2332 2333 2334 2335 2336 2337 2338 2339 2340 2341 2342 2343 2344 2345
#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 已提交
2346 2347
  pBtPageInfo->root = TDB_BTREE_PAGE_IS_ROOT(pPage);
  pBtPageInfo->leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
H
Hongze Cheng 已提交
2348 2349 2350 2351 2352 2353 2354 2355 2356

  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 已提交
2357
#endif
2358
// TDB_BTREE_DEBUG