tdbBtree.c 50.8 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 33
  SPgno         root;
  int           keyLen;
  int           valLen;
  SPager       *pPager;
  tdb_cmpr_fn_t kcmpr;
  int           pageSize;
  int           maxLocal;
  int           minLocal;
  int           maxLeaf;
  int           minLeaf;
  void         *pBuf;
H
Hongze Cheng 已提交
34 35
};

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

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

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

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

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

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

H
Hongze Cheng 已提交
75
int tdbBtreeOpen(int keyLen, int valLen, SPager *pPager, tdb_cmpr_fn_t kcmpr, SBTree **ppBt) {
H
Hongze Cheng 已提交
76
  SBTree *pBt;
H
Hongze Cheng 已提交
77
  int     ret;
H
more  
Hongze Cheng 已提交
78

H
Hongze Cheng 已提交
79 80
  ASSERT(keyLen != 0);

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

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

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

H
Hongze Cheng 已提交
107 108 109
  // TODO: pBt->root
  ret = tdbBtreeOpenImpl(pBt);
  if (ret < 0) {
H
Hongze Cheng 已提交
110
    tdbOsFree(pBt);
H
Hongze Cheng 已提交
111 112 113
    return -1;
  }

H
Hongze Cheng 已提交
114
  *ppBt = pBt;
H
Hongze Cheng 已提交
115 116 117 118
  return 0;
}

int tdbBtreeClose(SBTree *pBt) {
H
Hongze Cheng 已提交
119
  if (pBt) {
H
Hongze Cheng 已提交
120
    tdbFree(pBt->pBuf);
H
Hongze Cheng 已提交
121 122
    tdbOsFree(pBt);
  }
H
Hongze Cheng 已提交
123 124 125
  return 0;
}

H
Hongze Cheng 已提交
126
int tdbBtreeInsert(SBTree *pBt, const void *pKey, int kLen, const void *pVal, int vLen, TXN *pTxn) {
H
Hongze Cheng 已提交
127 128 129 130 131 132 133 134 135
  SBTC   btc;
  SCell *pCell;
  void  *pBuf;
  int    szCell;
  int    szBuf;
  int    ret;
  int    idx;
  int    c;

H
Hongze Cheng 已提交
136
  tdbBtcOpen(&btc, pBt, pTxn);
H
Hongze Cheng 已提交
137

H
Hongze Cheng 已提交
138 139
  // move to the position to insert
  ret = tdbBtcMoveTo(&btc, pKey, kLen, &c);
H
Hongze Cheng 已提交
140
  if (ret < 0) {
H
Hongze Cheng 已提交
141 142
    tdbBtcClose(&btc);
    ASSERT(0);
H
Hongze Cheng 已提交
143 144 145
    return -1;
  }

H
Hongze Cheng 已提交
146
  if (btc.idx == -1) {
H
Hongze Cheng 已提交
147
    btc.idx = 0;
H
Hongze Cheng 已提交
148
  } else {
H
Hongze Cheng 已提交
149
    if (c > 0) {
H
Hongze Cheng 已提交
150 151 152
      btc.idx++;
    } else if (c == 0) {
      // dup key not allowed
H
Hongze Cheng 已提交
153
      ASSERT(0);
H
Hongze Cheng 已提交
154 155 156 157
      return -1;
    }
  }

H
Hongze Cheng 已提交
158 159
  ret = tdbBtcUpsert(&btc, pKey, kLen, pVal, vLen, 1);
  if (ret < 0) {
H
Hongze Cheng 已提交
160
    ASSERT(0);
H
Hongze Cheng 已提交
161
    tdbBtcClose(&btc);
H
Hongze Cheng 已提交
162 163
    return -1;
  }
H
Hongze Cheng 已提交
164

H
Hongze Cheng 已提交
165 166 167 168 169 170 171 172 173 174 175 176 177
  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);

  // move the cursor
  ret = tdbBtcMoveTo(&btc, pKey, kLen, &c);
H
Hongze Cheng 已提交
178
  if (ret < 0) {
H
Hongze Cheng 已提交
179 180
    tdbBtcClose(&btc);
    ASSERT(0);
H
more  
Hongze Cheng 已提交
181 182 183
    return -1;
  }

H
Hongze Cheng 已提交
184
  if (btc.idx < 0 || c != 0) {
H
more  
Hongze Cheng 已提交
185
    tdbBtcClose(&btc);
H
Hongze Cheng 已提交
186 187
    return -1;
  }
H
Hongze Cheng 已提交
188

H
Hongze Cheng 已提交
189 190
  // delete the key
  if (tdbBtcDelete(&btc) < 0) {
H
Hongze Cheng 已提交
191
    tdbBtcClose(&btc);
H
Hongze Cheng 已提交
192
    return -1;
H
Hongze Cheng 已提交
193 194
  }

H
Hongze Cheng 已提交
195
  tdbBtcClose(&btc);
H
more  
Hongze Cheng 已提交
196 197 198
  return 0;
}

H
Hongze Cheng 已提交
199
int tdbBtreeUpsert(SBTree *pBt, const void *pKey, int nKey, const void *pData, int nData, TXN *pTxn) {
H
Hongze Cheng 已提交
200 201 202 203 204 205 206
  SBTC btc;
  int  c;
  int  ret;

  tdbBtcOpen(&btc, pBt, pTxn);

  // move the cursor
H
Hongze Cheng 已提交
207
  ret = tdbBtcMoveTo(&btc, pKey, nKey, &c);
H
Hongze Cheng 已提交
208 209
  if (ret < 0) {
    ASSERT(0);
H
Hongze Cheng 已提交
210
    tdbBtcClose(&btc);
H
Hongze Cheng 已提交
211 212 213
    return -1;
  }

H
Hongze Cheng 已提交
214 215 216 217 218 219 220
  if (btc.idx == -1) {
    btc.idx = 0;
    c = 1;
  } else {
    if (c > 0) {
      btc.idx = btc.idx + 1;
    }
H
Hongze Cheng 已提交
221 222
  }

H
Hongze Cheng 已提交
223 224 225
  ret = tdbBtcUpsert(&btc, pKey, nKey, pData, nData, c);
  if (ret < 0) {
    ASSERT(0);
H
Hongze Cheng 已提交
226 227 228 229 230 231 232 233
    tdbBtcClose(&btc);
    return -1;
  }

  tdbBtcClose(&btc);
  return 0;
}

H
Hongze Cheng 已提交
234
int tdbBtreeGet(SBTree *pBt, const void *pKey, int kLen, void **ppVal, int *vLen) {
H
Hongze Cheng 已提交
235 236 237 238
  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 已提交
239
  SBTC         btc;
H
Hongze Cheng 已提交
240 241
  SCell       *pCell;
  int          cret;
H
Hongze Cheng 已提交
242
  int          ret;
H
Hongze Cheng 已提交
243 244
  void        *pTKey = NULL;
  void        *pTVal = NULL;
H
Hongze Cheng 已提交
245 246
  SCellDecoder cd;

H
Hongze Cheng 已提交
247
  tdbBtcOpen(&btc, pBt, NULL);
H
Hongze Cheng 已提交
248

H
Hongze Cheng 已提交
249 250 251 252 253
  ret = tdbBtcMoveTo(&btc, pKey, kLen, &cret);
  if (ret < 0) {
    tdbBtcClose(&btc);
    ASSERT(0);
  }
H
Hongze Cheng 已提交
254

H
Hongze Cheng 已提交
255
  if (btc.idx < 0 || cret) {
H
Hongze Cheng 已提交
256 257
    tdbBtcClose(&btc);
    return -1;
H
Hongze Cheng 已提交
258 259 260
  }

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

H
Hongze Cheng 已提交
263
  if (ppKey) {
H
Hongze Cheng 已提交
264
    pTKey = tdbRealloc(*ppKey, cd.kLen);
H
Hongze Cheng 已提交
265 266 267 268 269 270 271 272
    if (pTKey == NULL) {
      tdbBtcClose(&btc);
      ASSERT(0);
      return -1;
    }
    *ppKey = pTKey;
    *pkLen = cd.kLen;
    memcpy(*ppKey, cd.pKey, cd.kLen);
273 274
  }

H
Hongze Cheng 已提交
275
  if (ppVal) {
H
Hongze Cheng 已提交
276
    pTVal = tdbRealloc(*ppVal, cd.vLen);
H
Hongze Cheng 已提交
277 278 279 280 281 282 283 284
    if (pTVal == NULL) {
      tdbBtcClose(&btc);
      ASSERT(0);
      return -1;
    }
    *ppVal = pTVal;
    *vLen = cd.vLen;
    memcpy(*ppVal, cd.pVal, cd.vLen);
285
  }
H
Hongze Cheng 已提交
286

287 288 289 290 291 292 293 294
  if (TDB_CELLDECODER_FREE_KEY(&cd)) {
    tdbFree(cd.pKey);
  }

  if (TDB_CELLDECODER_FREE_VAL(&cd)) {
    tdbFree(cd.pVal);
  }

H
Hongze Cheng 已提交
295 296
  tdbBtcClose(&btc);

297 298 299
  return 0;
}

H
Hongze Cheng 已提交
300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317
static int tdbDefaultKeyCmprFn(const void *pKey1, int keyLen1, const void *pKey2, int keyLen2) {
  int mlen;
  int cret;

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

  mlen = keyLen1 < keyLen2 ? keyLen1 : keyLen2;
  cret = memcmp(pKey1, pKey2, mlen);
  if (cret == 0) {
    if (keyLen1 < keyLen2) {
      cret = -1;
    } else if (keyLen1 > keyLen2) {
      cret = 1;
    } else {
      cret = 0;
    }
  }
  return cret;
H
Hongze Cheng 已提交
318 319 320 321 322 323 324 325 326 327
}

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

  SPgno  pgno;
  SPage *pPage;
  int    ret;

  {
H
Hongze Cheng 已提交
328
    // 1. TODO: Search the main DB to check if the DB exists
H
Hongze Cheng 已提交
329 330
    ret = tdbPagerOpenDB(pBt->pPager, &pgno, true);
    ASSERT(ret == 0);
H
Hongze Cheng 已提交
331 332 333 334 335 336 337 338
  }

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

  // Try to create a new database
H
Hongze Cheng 已提交
339
  ret = tdbPagerAllocPage(pBt->pPager, &pgno);
H
Hongze Cheng 已提交
340
  if (ret < 0) {
H
Hongze Cheng 已提交
341
    ASSERT(0);
H
Hongze Cheng 已提交
342 343 344 345 346
    return -1;
  }

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

H
Hongze Cheng 已提交
348 349 350
  return 0;
}

H
Hongze Cheng 已提交
351
static int tdbBtreeInitPage(SPage *pPage, void *arg, int init) {
H
Hongze Cheng 已提交
352
  SBTree *pBt;
H
Hongze Cheng 已提交
353
  u8      flags;
H
Hongze Cheng 已提交
354
  u8      leaf;
H
Hongze Cheng 已提交
355

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

H
Hongze Cheng 已提交
358 359 360 361 362
  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 已提交
363

H
Hongze Cheng 已提交
364
    tdbPageInit(pPage, leaf ? sizeof(SLeafHdr) : sizeof(SIntHdr), tdbBtreeCellSize);
H
Hongze Cheng 已提交
365
  } else {
H
Hongze Cheng 已提交
366 367 368 369
    // zero page
    flags = ((SBtreeInitPageArg *)arg)->flags;
    leaf = flags & TDB_BTREE_LEAF;
    TDB_BTREE_ASSERT_FLAG(flags);
H
Hongze Cheng 已提交
370

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

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

H
Hongze Cheng 已提交
377 378 379 380 381 382
    } else {
      SIntHdr *pIntHdr = (SIntHdr *)(pPage->pData);
      pIntHdr->flags = flags;
      pIntHdr->pgno = 0;
    }
  }
H
Hongze Cheng 已提交
383

H
refact  
Hongze Cheng 已提交
384
  if (leaf) {
H
Hongze Cheng 已提交
385 386 387 388
    pPage->kLen = pBt->keyLen;
    pPage->vLen = pBt->valLen;
    pPage->maxLocal = pBt->maxLeaf;
    pPage->minLocal = pBt->minLeaf;
389 390 391 392 393
  } 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 已提交
394 395 396 397 398 399
  } else {
    pPage->kLen = pBt->keyLen;
    pPage->vLen = sizeof(SPgno);
    pPage->maxLocal = pBt->maxLocal;
    pPage->minLocal = pBt->minLocal;
  }
H
Hongze Cheng 已提交
400

H
Hongze Cheng 已提交
401
  return 0;
H
Hongze Cheng 已提交
402 403
}

H
Hongze Cheng 已提交
404
// TDB_BTREE_BALANCE =====================
H
Hongze Cheng 已提交
405
static int tdbBtreeBalanceDeeper(SBTree *pBt, SPage *pRoot, SPage **ppChild, TXN *pTxn) {
H
Hongze Cheng 已提交
406 407 408 409
  SPager           *pPager;
  SPage            *pChild;
  SPgno             pgnoChild;
  int               ret;
H
Hongze Cheng 已提交
410
  u8                flags;
H
Hongze Cheng 已提交
411
  SIntHdr          *pIntHdr;
H
Hongze Cheng 已提交
412
  SBtreeInitPageArg zArg;
H
Hongze Cheng 已提交
413
  u8                leaf;
H
Hongze Cheng 已提交
414 415

  pPager = pRoot->pPager;
H
Hongze Cheng 已提交
416
  flags = TDB_BTREE_PAGE_GET_FLAGS(pRoot);
H
refact  
Hongze Cheng 已提交
417
  leaf = TDB_BTREE_PAGE_IS_LEAF(pRoot);
H
Hongze Cheng 已提交
418

H
Hongze Cheng 已提交
419 420
  // allocate a new child page
  pgnoChild = 0;
H
Hongze Cheng 已提交
421
  zArg.flags = TDB_FLAG_REMOVE(flags, TDB_BTREE_ROOT);
H
Hongze Cheng 已提交
422
  zArg.pBt = pBt;
H
Hongze Cheng 已提交
423
  ret = tdbPagerFetchPage(pPager, &pgnoChild, &pChild, tdbBtreeInitPage, &zArg, pTxn);
H
Hongze Cheng 已提交
424 425 426 427
  if (ret < 0) {
    return -1;
  }

H
Hongze Cheng 已提交
428 429 430 431
  if (!leaf) {
    ((SIntHdr *)pChild->pData)->pgno = ((SIntHdr *)(pRoot->pData))->pgno;
  }

H
Hongze Cheng 已提交
432 433 434 435 436 437 438
  ret = tdbPagerWrite(pPager, pChild);
  if (ret < 0) {
    // TODO
    ASSERT(0);
    return 0;
  }

H
Hongze Cheng 已提交
439
  // Copy the root page content to the child page
H
Hongze Cheng 已提交
440
  tdbPageCopy(pRoot, pChild);
H
Hongze Cheng 已提交
441 442 443 444

  // Reinitialize the root page
  zArg.flags = TDB_BTREE_ROOT;
  zArg.pBt = pBt;
H
Hongze Cheng 已提交
445
  ret = tdbBtreeInitPage(pRoot, &zArg, 0);
H
Hongze Cheng 已提交
446 447 448 449
  if (ret < 0) {
    return -1;
  }

H
Hongze Cheng 已提交
450
  pIntHdr = (SIntHdr *)(pRoot->pData);
H
Hongze Cheng 已提交
451
  pIntHdr->pgno = pgnoChild;
H
Hongze Cheng 已提交
452

H
Hongze Cheng 已提交
453 454 455 456
  *ppChild = pChild;
  return 0;
}

H
Hongze Cheng 已提交
457
static int tdbBtreeBalanceNonRoot(SBTree *pBt, SPage *pParent, int idx, TXN *pTxn) {
H
Hongze Cheng 已提交
458 459 460
  int ret;

  int    nOlds;
H
Hongze Cheng 已提交
461
  SPage *pOlds[3] = {0};
H
Hongze Cheng 已提交
462 463
  SCell *pDivCell[3] = {0};
  int    szDivCell[3];
H
Hongze Cheng 已提交
464
  int    sIdx;
H
Hongze Cheng 已提交
465
  u8     childNotLeaf;
H
Hongze Cheng 已提交
466
  SPgno  rPgno;
H
Hongze Cheng 已提交
467

H
Hongze Cheng 已提交
468
  {  // Find 3 child pages at most to do balance
H
Hongze Cheng 已提交
469 470 471
    int    nCells = TDB_PAGE_TOTAL_CELLS(pParent);
    SCell *pCell;

H
Hongze Cheng 已提交
472 473 474 475 476 477 478 479 480 481 482 483 484 485
    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 已提交
486 487
    for (int i = 0; i < nOlds; i++) {
      ASSERT(sIdx + i <= nCells);
H
Hongze Cheng 已提交
488

H
Hongze Cheng 已提交
489
      SPgno pgno;
H
Hongze Cheng 已提交
490
      if (sIdx + i == nCells) {
H
refact  
Hongze Cheng 已提交
491
        ASSERT(!TDB_BTREE_PAGE_IS_LEAF(pParent));
H
Hongze Cheng 已提交
492 493
        pgno = ((SIntHdr *)(pParent->pData))->pgno;
      } else {
H
Hongze Cheng 已提交
494
        pCell = tdbPageGetCell(pParent, sIdx + i);
H
Hongze Cheng 已提交
495 496 497
        pgno = *(SPgno *)pCell;
      }

H
Hongze Cheng 已提交
498 499
      ret = tdbPagerFetchPage(pBt->pPager, &pgno, pOlds + i, tdbBtreeInitPage,
                              &((SBtreeInitPageArg){.pBt = pBt, .flags = 0}), pTxn);
H
Hongze Cheng 已提交
500 501 502 503
      if (ret < 0) {
        ASSERT(0);
        return -1;
      }
H
Hongze Cheng 已提交
504 505 506 507 508 509 510

      ret = tdbPagerWrite(pBt->pPager, pOlds[i]);
      if (ret < 0) {
        // TODO
        ASSERT(0);
        return -1;
      }
H
Hongze Cheng 已提交
511
    }
H
Hongze Cheng 已提交
512
    // copy the parent key out if child pages are not leaf page
H
refact  
Hongze Cheng 已提交
513
    childNotLeaf = !TDB_BTREE_PAGE_IS_LEAF(pOlds[0]);
H
Hongze Cheng 已提交
514
    if (childNotLeaf) {
H
Hongze Cheng 已提交
515 516 517
      for (int i = 0; i < nOlds; i++) {
        if (sIdx + i < TDB_PAGE_TOTAL_CELLS(pParent)) {
          pCell = tdbPageGetCell(pParent, sIdx + i);
518
          szDivCell[i] = tdbBtreeCellSize(pParent, pCell, 0, NULL, NULL);
H
Hongze Cheng 已提交
519
          pDivCell[i] = tdbOsMalloc(szDivCell[i]);
H
Hongze Cheng 已提交
520 521
          memcpy(pDivCell[i], pCell, szDivCell[i]);
        }
H
Hongze Cheng 已提交
522

H
Hongze Cheng 已提交
523 524 525
        if (i < nOlds - 1) {
          ((SPgno *)pDivCell[i])[0] = ((SIntHdr *)pOlds[i]->pData)->pgno;
          ((SIntHdr *)pOlds[i]->pData)->pgno = 0;
H
Hongze Cheng 已提交
526
          tdbPageInsertCell(pOlds[i], TDB_PAGE_TOTAL_CELLS(pOlds[i]), pDivCell[i], szDivCell[i], 1);
H
Hongze Cheng 已提交
527
        }
H
Hongze Cheng 已提交
528
      }
H
Hongze Cheng 已提交
529
      rPgno = ((SIntHdr *)pOlds[nOlds - 1]->pData)->pgno;
H
Hongze Cheng 已提交
530
    }
H
Hongze Cheng 已提交
531 532 533 534 535 536 537 538

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

H
Hongze Cheng 已提交
539
    // drop the cells on parent page
H
Hongze Cheng 已提交
540 541 542
    for (int i = 0; i < nOlds; i++) {
      nCells = TDB_PAGE_TOTAL_CELLS(pParent);
      if (sIdx < nCells) {
543
        tdbPageDropCell(pParent, sIdx, pTxn, pBt);
H
Hongze Cheng 已提交
544 545 546 547
      } else {
        ((SIntHdr *)pParent->pData)->pgno = 0;
      }
    }
H
Hongze Cheng 已提交
548 549
  }

H
Hongze Cheng 已提交
550
  int nNews = 0;
H
Hongze Cheng 已提交
551
  struct {
H
Hongze Cheng 已提交
552 553 554 555
    int cnt;
    int size;
    int iPage;
    int oIdx;
H
Hongze Cheng 已提交
556
  } infoNews[5] = {0};
H
Hongze Cheng 已提交
557 558 559

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

H
Hongze Cheng 已提交
560 561 562
    // first loop to find minimum number of pages needed
    for (int oPage = 0; oPage < nOlds; oPage++) {
      SPage *pPage = pOlds[oPage];
H
Hongze Cheng 已提交
563 564
      SCell *pCell;
      int    cellBytes;
H
Hongze Cheng 已提交
565
      int    oIdx;
H
Hongze Cheng 已提交
566

H
Hongze Cheng 已提交
567
      for (oIdx = 0; oIdx < TDB_PAGE_TOTAL_CELLS(pPage); oIdx++) {
H
Hongze Cheng 已提交
568
        pCell = tdbPageGetCell(pPage, oIdx);
H
Hongze Cheng 已提交
569 570
        cellBytes = TDB_BYTES_CELL_TAKEN(pPage, pCell);

H
Hongze Cheng 已提交
571 572
        if (infoNews[nNews].size + cellBytes > TDB_PAGE_USABLE_SIZE(pPage)) {
          // page is full, use a new page
H
Hongze Cheng 已提交
573
          nNews++;
H
Hongze Cheng 已提交
574

H
Hongze Cheng 已提交
575 576 577 578 579 580 581
          ASSERT(infoNews[nNews].size + cellBytes <= TDB_PAGE_USABLE_SIZE(pPage));

          if (childNotLeaf) {
            // for non-child page, this cell is used as the right-most child,
            // the divider cell to parent as well
            continue;
          }
H
Hongze Cheng 已提交
582
        }
H
Hongze Cheng 已提交
583 584
        infoNews[nNews].cnt++;
        infoNews[nNews].size += cellBytes;
H
Hongze Cheng 已提交
585
        infoNews[nNews].iPage = oPage;
H
Hongze Cheng 已提交
586
        infoNews[nNews].oIdx = oIdx;
H
Hongze Cheng 已提交
587 588 589
      }
    }

H
Hongze Cheng 已提交
590
    nNews++;
H
Hongze Cheng 已提交
591 592 593

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

H
Hongze Cheng 已提交
597
      // balance page (iNew) and (iNew-1)
H
Hongze Cheng 已提交
598
      for (;;) {
H
Hongze Cheng 已提交
599
        pCell = tdbPageGetCell(pOlds[infoNews[iNew - 1].iPage], infoNews[iNew - 1].oIdx);
H
Hongze Cheng 已提交
600

601
        szLCell = tdbBtreeCellSize(pOlds[infoNews[iNew - 1].iPage], pCell, 0, NULL, NULL);
H
Hongze Cheng 已提交
602 603
        if (!childNotLeaf) {
          szRCell = szLCell;
H
Hongze Cheng 已提交
604
        } else {
H
Hongze Cheng 已提交
605
          int    iPage = infoNews[iNew - 1].iPage;
H
Hongze Cheng 已提交
606
          int    oIdx = infoNews[iNew - 1].oIdx + 1;
H
Hongze Cheng 已提交
607
          SPage *pPage;
H
Hongze Cheng 已提交
608
          for (;;) {
H
Hongze Cheng 已提交
609
            pPage = pOlds[iPage];
H
Hongze Cheng 已提交
610 611 612 613
            if (oIdx < TDB_PAGE_TOTAL_CELLS(pPage)) {
              break;
            }

H
Hongze Cheng 已提交
614
            iPage++;
H
Hongze Cheng 已提交
615 616 617 618
            oIdx = 0;
          }

          pCell = tdbPageGetCell(pPage, oIdx);
619
          szRCell = tdbBtreeCellSize(pPage, pCell, 0, NULL, NULL);
H
Hongze Cheng 已提交
620 621 622 623 624 625 626 627
        }

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

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

H
Hongze Cheng 已提交
628
        // Move a cell right forward
H
Hongze Cheng 已提交
629 630
        infoNews[iNew - 1].cnt--;
        infoNews[iNew - 1].size -= szLCell;
H
Hongze Cheng 已提交
631
        infoNews[iNew - 1].oIdx--;
H
Hongze Cheng 已提交
632
        for (;;) {
H
Hongze Cheng 已提交
633
          if (infoNews[iNew - 1].oIdx >= 0) {
H
Hongze Cheng 已提交
634 635
            break;
          }
H
Hongze Cheng 已提交
636

H
Hongze Cheng 已提交
637 638
          infoNews[iNew - 1].iPage--;
          infoNews[iNew - 1].oIdx = TDB_PAGE_TOTAL_CELLS(pOlds[infoNews[iNew - 1].iPage]) - 1;
H
Hongze Cheng 已提交
639 640 641
        }

        infoNews[iNew].cnt++;
H
Hongze Cheng 已提交
642
        infoNews[iNew].size += szRCell;
H
Hongze Cheng 已提交
643
      }
H
Hongze Cheng 已提交
644
    }
H
Hongze Cheng 已提交
645 646
  }

H
Hongze Cheng 已提交
647 648 649 650 651 652 653 654 655 656 657 658 659
  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 已提交
660
        pgno = 0;
H
Hongze Cheng 已提交
661 662
        iarg.pBt = pBt;
        iarg.flags = flags;
H
Hongze Cheng 已提交
663
        ret = tdbPagerFetchPage(pBt->pPager, &pgno, pNews + iNew, tdbBtreeInitPage, &iarg, pTxn);
H
Hongze Cheng 已提交
664 665 666
        if (ret < 0) {
          ASSERT(0);
        }
H
Hongze Cheng 已提交
667 668 669 670 671 672 673

        ret = tdbPagerWrite(pBt->pPager, pNews[iNew]);
        if (ret < 0) {
          // TODO
          ASSERT(0);
          return -1;
        }
H
Hongze Cheng 已提交
674 675
      }
    }
H
Hongze Cheng 已提交
676 677

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

H
Hongze Cheng 已提交
680
  {  // Do the real cell distribution
H
Hongze Cheng 已提交
681
    SPage            *pOldsCopy[3] = {0};
H
Hongze Cheng 已提交
682 683 684 685
    SCell            *pCell;
    int               szCell;
    SBtreeInitPageArg iarg;
    int               iNew, nNewCells;
H
Hongze Cheng 已提交
686
    SCellDecoder      cd;
H
Hongze Cheng 已提交
687 688 689 690

    iarg.pBt = pBt;
    iarg.flags = TDB_BTREE_PAGE_GET_FLAGS(pOlds[0]);
    for (int i = 0; i < nOlds; i++) {
H
Hongze Cheng 已提交
691 692
      tdbPageCreate(pOlds[0]->pageSize, &pOldsCopy[i], tdbDefaultMalloc, NULL);
      tdbBtreeInitPage(pOldsCopy[i], &iarg, 0);
H
Hongze Cheng 已提交
693 694 695 696
      tdbPageCopy(pOlds[i], pOldsCopy[i]);
    }
    iNew = 0;
    nNewCells = 0;
H
Hongze Cheng 已提交
697
    tdbBtreeInitPage(pNews[iNew], &iarg, 0);
H
Hongze Cheng 已提交
698 699 700 701 702 703 704 705

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

        ASSERT(nNewCells <= infoNews[iNew].cnt);
H
Hongze Cheng 已提交
709
        ASSERT(iNew < nNews);
H
Hongze Cheng 已提交
710 711 712 713

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

H
Hongze Cheng 已提交
715 716 717 718 719 720 721
          // 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 {
722
              tdbBtreeDecodeCell(pPage, pCell, &cd, pTxn, pBt);
H
Hongze Cheng 已提交
723

H
Hongze Cheng 已提交
724
              // TODO: pCell here may be inserted as an overflow cell, handle it
H
Hongze Cheng 已提交
725
              SCell *pNewCell = tdbOsMalloc(cd.kLen + 9);
H
Hongze Cheng 已提交
726 727 728
              int    szNewCell;
              SPgno  pgno;
              pgno = TDB_PAGE_PGNO(pNews[iNew]);
729
              tdbBtreeEncodeCell(pParent, cd.pKey, cd.kLen, (void *)&pgno, sizeof(SPgno), pNewCell, &szNewCell, pTxn, pBt);
H
Hongze Cheng 已提交
730
              tdbPageInsertCell(pParent, sIdx++, pNewCell, szNewCell, 0);
H
Hongze Cheng 已提交
731
              tdbOsFree(pNewCell);
H
Hongze Cheng 已提交
732
            }
H
Hongze Cheng 已提交
733 734

            // move to next new page
H
Hongze Cheng 已提交
735
            iNew++;
H
Hongze Cheng 已提交
736 737
            nNewCells = 0;
            if (iNew < nNews) {
H
Hongze Cheng 已提交
738
              tdbBtreeInitPage(pNews[iNew], &iarg, 0);
H
Hongze Cheng 已提交
739
            }
H
Hongze Cheng 已提交
740 741 742
          }
        } else {
          ASSERT(childNotLeaf);
H
Hongze Cheng 已提交
743
          ASSERT(iNew < nNews - 1);
H
Hongze Cheng 已提交
744

H
Hongze Cheng 已提交
745 746 747 748
          // set current new page right-most child
          ((SIntHdr *)pNews[iNew]->pData)->pgno = ((SPgno *)pCell)[0];

          // insert to parent as divider cell
H
Hongze Cheng 已提交
749 750 751
          ASSERT(iNew < nNews - 1);
          ((SPgno *)pCell)[0] = TDB_PAGE_PGNO(pNews[iNew]);
          tdbPageInsertCell(pParent, sIdx++, pCell, szCell, 0);
H
Hongze Cheng 已提交
752 753 754 755

          // move to next new page
          iNew++;
          nNewCells = 0;
H
Hongze Cheng 已提交
756
          if (iNew < nNews) {
H
Hongze Cheng 已提交
757
            tdbBtreeInitPage(pNews[iNew], &iarg, 0);
H
Hongze Cheng 已提交
758
          }
H
Hongze Cheng 已提交
759 760
        }
      }
H
Hongze Cheng 已提交
761
    }
H
Hongze Cheng 已提交
762

H
Hongze Cheng 已提交
763 764 765
    if (childNotLeaf) {
      ASSERT(TDB_PAGE_TOTAL_CELLS(pNews[nNews - 1]) == infoNews[nNews - 1].cnt);
      ((SIntHdr *)(pNews[nNews - 1]->pData))->pgno = rPgno;
H
Hongze Cheng 已提交
766

H
Hongze Cheng 已提交
767 768 769 770 771 772
      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 已提交
773
      }
H
Hongze Cheng 已提交
774 775 776
    }

    for (int i = 0; i < nOlds; i++) {
H
Hongze Cheng 已提交
777
      tdbPageDestroy(pOldsCopy[i], tdbDefaultFree, NULL);
H
Hongze Cheng 已提交
778 779 780
    }
  }

H
Hongze Cheng 已提交
781 782 783 784 785 786 787
  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);
    tdbPageCopy(pNews[0], pParent);
  }

H
Hongze Cheng 已提交
788 789
  for (int i = 0; i < 3; i++) {
    if (pDivCell[i]) {
H
Hongze Cheng 已提交
790
      tdbOsFree(pDivCell[i]);
H
Hongze Cheng 已提交
791 792
    }
  }
H
Hongze Cheng 已提交
793

H
more  
Hongze Cheng 已提交
794 795 796
  // TODO: here is not corrent for drop case
  for (int i = 0; i < nNews; i++) {
    if (i < nOlds) {
H
Hongze Cheng 已提交
797
      tdbPagerReturnPage(pBt->pPager, pOlds[i], pTxn);
H
more  
Hongze Cheng 已提交
798
    } else {
H
Hongze Cheng 已提交
799
      tdbPagerReturnPage(pBt->pPager, pNews[i], pTxn);
H
more  
Hongze Cheng 已提交
800 801 802
    }
  }

H
Hongze Cheng 已提交
803
  return 0;
H
Hongze Cheng 已提交
804 805
}

H
Hongze Cheng 已提交
806
static int tdbBtreeBalance(SBTC *pBtc) {
H
Hongze Cheng 已提交
807
  int    iPage;
H
Hongze Cheng 已提交
808 809
  int    ret;
  int    nFree;
H
Hongze Cheng 已提交
810
  SPage *pParent;
H
Hongze Cheng 已提交
811
  SPage *pPage;
H
Hongze Cheng 已提交
812
  u8     flags;
H
Hongze Cheng 已提交
813 814
  u8     leaf;
  u8     root;
H
Hongze Cheng 已提交
815 816 817

  // Main loop to balance the BTree
  for (;;) {
H
Hongze Cheng 已提交
818 819
    iPage = pBtc->iPage;
    pPage = pBtc->pPage;
H
refact  
Hongze Cheng 已提交
820 821
    leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
    root = TDB_BTREE_PAGE_IS_ROOT(pPage);
H
Hongze Cheng 已提交
822
    nFree = TDB_PAGE_FREE_SIZE(pPage);
H
Hongze Cheng 已提交
823

H
Hongze Cheng 已提交
824 825
    // when the page is not overflow and not too empty, the balance work
    // is finished. Just break out the balance loop.
H
Hongze Cheng 已提交
826
    if (pPage->nOverflow == 0 && nFree < TDB_PAGE_USABLE_SIZE(pPage) * 2 / 3) {
H
Hongze Cheng 已提交
827 828 829 830
      break;
    }

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

H
Hongze Cheng 已提交
835
      ret = tdbBtreeBalanceDeeper(pBtc->pBt, pPage, &(pBtc->pgStack[1]), pBtc->pTxn);
H
Hongze Cheng 已提交
836 837 838 839
      if (ret < 0) {
        return -1;
      }

H
Hongze Cheng 已提交
840 841 842 843 844
      pBtc->idx = 0;
      pBtc->idxStack[0] = 0;
      pBtc->pgStack[0] = pBtc->pPage;
      pBtc->iPage = 1;
      pBtc->pPage = pBtc->pgStack[1];
H
Hongze Cheng 已提交
845
    } else {
H
Hongze Cheng 已提交
846
      // Generalized balance step
H
Hongze Cheng 已提交
847
      pParent = pBtc->pgStack[iPage - 1];
H
Hongze Cheng 已提交
848

H
Hongze Cheng 已提交
849
      ret = tdbBtreeBalanceNonRoot(pBtc->pBt, pParent, pBtc->idxStack[pBtc->iPage - 1], pBtc->pTxn);
H
Hongze Cheng 已提交
850 851 852 853
      if (ret < 0) {
        return -1;
      }

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

H
Hongze Cheng 已提交
856 857
      pBtc->iPage--;
      pBtc->pPage = pBtc->pgStack[pBtc->iPage];
H
Hongze Cheng 已提交
858 859 860 861 862
    }
  }

  return 0;
}
H
Hongze Cheng 已提交
863
// TDB_BTREE_BALANCE
H
Hongze Cheng 已提交
864

865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900
static int tdbFetchOvflPage(SPager *pPager, SPgno *pPgno, SPage **ppOfp, TXN *pTxn, SBTree *pBt) {
  int ret = 0;

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

  // mark dirty
  ret = tdbPagerWrite(pPager, *ppOfp);
  if (ret < 0) {
    ASSERT(0);
    return -1;
  }

  return ret;
}

static int tdbLoadOvflPage(SPager *pPager, SPgno *pPgno, SPage **ppOfp, TXN *pTxn, SBTree *pBt) {
  int ret = 0;

  SBtreeInitPageArg iArg;
  iArg.pBt = pBt;
  iArg.flags = TDB_FLAG_ADD(0, TDB_BTREE_OVFL);
  ret = tdbPagerFetchPage(pPager, pPgno, ppOfp, tdbBtreeInitPage, &iArg, pTxn);
  if (ret < 0) {
    return -1;
  }

  return ret;
}

H
Hongze Cheng 已提交
901
// TDB_BTREE_CELL =====================
H
Hongze Cheng 已提交
902
static int tdbBtreeEncodePayload(SPage *pPage, SCell *pCell, int nHeader, const void *pKey, int kLen, const void *pVal,
903 904 905 906
                                 int vLen, int *szPayload, TXN *pTxn, SBTree *pBt) {
  int ret = 0;
  int nPayload = kLen + vLen;
  int maxLocal = pPage->maxLocal;
H
Hongze Cheng 已提交
907

908
  if (nPayload + nHeader <= maxLocal) {
H
Hongze Cheng 已提交
909 910
    // no overflow page is needed
    memcpy(pCell + nHeader, pKey, kLen);
H
Hongze Cheng 已提交
911
    if (pVal) {
H
Hongze Cheng 已提交
912
      memcpy(pCell + nHeader + kLen, pVal, vLen);
H
Hongze Cheng 已提交
913 914 915 916
    }

    *szPayload = nPayload;
    return 0;
917 918 919 920 921 922
  } 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 已提交
923

924 925 926 927 928 929 930 931 932 933 934 935
    //int ofpCap = tdbPageCapacity(pBt->pageSize, sizeof(SIntHdr));

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

    ret = tdbFetchOvflPage(pPage->pPager, &pgno, &ofp, pTxn, pBt);
    if (ret < 0) {
      return -1;
    }

    // local buffer for cell
M
Minglei Jin 已提交
936
    SCell *pBuf = tdbRealloc(NULL, pBt->pageSize);
937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978
    if (pBuf == NULL) {
      return -1;
    }

    int nLeft = nPayload;
    int bytes;
    int lastPage = 0;
    if (nLocal >= kLen + 4) {
      // pack key to local
      memcpy(pCell + nHeader, pKey, kLen);
      nLeft -= kLen;
      // pack partial val to local if any space left
      if (nLocal > kLen + 4) {
	memcpy(pCell + nHeader + kLen, pVal, nLocal - kLen - sizeof(SPgno));
	nLeft -= nLocal - kLen - sizeof(SPgno);
      }

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

      // pack left val data to ovpages
      do {
	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(pPage->pPager, &pgno, &nextOfp, pTxn, pBt);
	  if (ret < 0) {
	    tdbFree(pBuf);
	    return -1;
	  }
	} else {
	  pgno = 0;
	}

M
Minglei Jin 已提交
979
	memcpy(pBuf, ((SCell *)pVal) + vLen - nLeft, bytes);
980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013
	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;
      } while (nLeft > 0);
    } else {
      int nLeftKey = kLen;
      // pack partial key and nextPgno
      memcpy(pCell + nHeader, pKey, nLocal - 4);
      nLeft -= nLocal - 4;
      nLeftKey -= nLocal -4;

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

      int lastKeyPageSpace = 0;
      // pack left key & val to ovpages
      do {
	// 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
M
Minglei Jin 已提交
1014
	memcpy(pBuf, ((SCell *)pKey) + kLen - nLeftKey, bytes);
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 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073

	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(pPage->pPager, &pgno, &nextOfp, pTxn, pBt);
	    if (ret < 0) {
	      return -1;
	    }
	  }
	} else {
	  // fetch next ofp, a new ofp and make it dirty
	  ret = tdbFetchOvflPage(pPage->pPager, &pgno, &nextOfp, pTxn, pBt);
	  if (ret < 0) {
	    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;
      } while (nLeftKey > 0);

      while (nLeft > 0) {
	// 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(pPage->pPager, &pgno, &nextOfp, pTxn, pBt);
	  if (ret < 0) {
	    tdbFree(pBuf);
	    return -1;
	  }
	} else {
	  pgno = 0;
	}

M
Minglei Jin 已提交
1074
	memcpy(pBuf, ((SCell *)pVal) + vLen - nLeft, bytes);
1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093
	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;
      }
    }

    // free local buffer
    tdbFree(pBuf);

    *szPayload = nLocal;

    // ASSERT(0);
H
Hongze Cheng 已提交
1094 1095 1096 1097 1098
  }

  return 0;
}

H
Hongze Cheng 已提交
1099
static int tdbBtreeEncodeCell(SPage *pPage, const void *pKey, int kLen, const void *pVal, int vLen, SCell *pCell,
1100
                              int *szCell, TXN *pTxn, SBTree *pBt) {
H
Hongze Cheng 已提交
1101 1102 1103 1104
  u8  leaf;
  int nHeader;
  int nPayload;
  int ret;
H
Hongze Cheng 已提交
1105 1106 1107

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

H
Hongze Cheng 已提交
1110 1111
  nPayload = 0;
  nHeader = 0;
H
refact  
Hongze Cheng 已提交
1112
  leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
H
Hongze Cheng 已提交
1113

H
Hongze Cheng 已提交
1114
  // 1. Encode Header part
H
Hongze Cheng 已提交
1115 1116 1117 1118 1119 1120 1121 1122
  /* Encode SPgno if interior page */
  if (!leaf) {
    ASSERT(pPage->vLen == sizeof(SPgno));

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

H
Hongze Cheng 已提交
1123
  /* Encode kLen if need */
H
Hongze Cheng 已提交
1124
  if (pPage->kLen == TDB_VARIANT_LEN) {
H
Hongze Cheng 已提交
1125
    nHeader += tdbPutVarInt(pCell + nHeader, kLen);
H
Hongze Cheng 已提交
1126 1127
  }

H
Hongze Cheng 已提交
1128
  /* Encode vLen if need */
H
Hongze Cheng 已提交
1129
  if (pPage->vLen == TDB_VARIANT_LEN) {
H
Hongze Cheng 已提交
1130
    nHeader += tdbPutVarInt(pCell + nHeader, vLen);
H
Hongze Cheng 已提交
1131 1132
  }

H
Hongze Cheng 已提交
1133
  // 2. Encode payload part
H
Hongze Cheng 已提交
1134 1135 1136
  if ((!leaf) || pPage->vLen == 0) {
    pVal = NULL;
    vLen = 0;
H
Hongze Cheng 已提交
1137
  }
H
Hongze Cheng 已提交
1138

1139
  ret = tdbBtreeEncodePayload(pPage, pCell, nHeader, pKey, kLen, pVal, vLen, &nPayload, pTxn, pBt);
H
Hongze Cheng 已提交
1140
  if (ret < 0) {
H
Hongze Cheng 已提交
1141 1142 1143
    // TODO
    ASSERT(0);
    return 0;
H
Hongze Cheng 已提交
1144 1145
  }

H
Hongze Cheng 已提交
1146
  *szCell = nHeader + nPayload;
H
Hongze Cheng 已提交
1147 1148 1149
  return 0;
}

1150 1151
static int tdbBtreeDecodePayload(SPage *pPage, const SCell *pCell, int nHeader, SCellDecoder *pDecoder, TXN *pTxn, SBTree *pBt) {
  int ret = 0;
H
Hongze Cheng 已提交
1152
  int nPayload;
1153 1154 1155 1156
  int maxLocal = pPage->maxLocal;

  int kLen = pDecoder->kLen;
  int vLen = pDecoder->vLen;
H
Hongze Cheng 已提交
1157 1158

  if (pDecoder->pVal) {
H
Hongze Cheng 已提交
1159
    ASSERT(!TDB_BTREE_PAGE_IS_LEAF(pPage));
H
Hongze Cheng 已提交
1160
    nPayload = pDecoder->kLen;
H
Hongze Cheng 已提交
1161 1162
  } else {
    nPayload = pDecoder->kLen + pDecoder->vLen;
H
Hongze Cheng 已提交
1163 1164
  }

1165
  if (nHeader + nPayload <= maxLocal) {
H
Hongze Cheng 已提交
1166
    // no over flow case
1167
    pDecoder->pKey = (SCell *)pCell + nHeader;
H
Hongze Cheng 已提交
1168
    if (pDecoder->pVal == NULL && pDecoder->vLen > 0) {
1169
      pDecoder->pVal = (SCell *)pCell + nHeader + pDecoder->kLen;
H
Hongze Cheng 已提交
1170
    }
H
Hongze Cheng 已提交
1171
    return 0;
1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200
  } 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;

    int nLeft = nPayload;
    SPgno pgno = 0;
    SPage *ofp;
    SCell *ofpCell;
    int bytes;
    int lastPage = 0;

    if (nLocal >= pDecoder->kLen + 4) {
      pDecoder->pKey = (SCell *)pCell + nHeader;
      nLeft -= kLen;
      if (nLocal > kLen + 4) {
	// 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, pCell + nHeader + kLen, nLocal - kLen - sizeof(SPgno));

	nLeft -= nLocal - kLen - sizeof(SPgno);
      }
H
Hongze Cheng 已提交
1201

1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323
      memcpy(&pgno, pCell + nHeader + nPayload - nLeft, sizeof(pgno));

      // unpack left val data from ovpages
      while (pgno != 0)  {
	ret = tdbLoadOvflPage(pPage->pPager, &pgno, &ofp, pTxn, pBt);
	if (ret < 0) {
	  return -1;
	}

	ofpCell = tdbPageGetCell(ofp, 0);

	if (nLeft <= ofp->maxLocal - sizeof(SPgno)) {
	  bytes = nLeft;
	  lastPage = 1;
	} else {
	  bytes = ofp->maxLocal - sizeof(SPgno);
	}

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

	memcpy(&pgno, ofpCell + bytes, sizeof(pgno));
      }
    } else {
      int nLeftKey = kLen;
      // load partial key and nextPgno
      pDecoder->pKey = tdbRealloc(pDecoder->pKey, kLen);
      if (pDecoder->pKey == NULL) {
	return -1;
      }
      TDB_CELLDECODER_SET_FREE_KEY(pDecoder);

      memcpy(pDecoder->pKey, pCell + nHeader, nLocal - 4);
      nLeft -= nLocal - 4;
      nLeftKey -= nLocal -4;

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

      int lastKeyPageSpace = 0;
      // load left key & val to ovpages
      while (pgno != 0) {
	ret = tdbLoadOvflPage(pPage->pPager, &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));

	nLeftKey -= bytes;
	nLeft -= bytes;
      }

      while (nLeft > 0) {
	ret = tdbLoadOvflPage(pPage->pPager, &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));

	nLeft -= bytes;
      }
    }
H
Hongze Cheng 已提交
1324 1325
  }

H
Hongze Cheng 已提交
1326 1327 1328
  return 0;
}

1329
static int tdbBtreeDecodeCell(SPage *pPage, const SCell *pCell, SCellDecoder *pDecoder, TXN *pTxn, SBTree *pBt) {
H
Hongze Cheng 已提交
1330 1331 1332 1333 1334
  u8  leaf;
  int nHeader;
  int ret;

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

H
Hongze Cheng 已提交
1337 1338 1339 1340 1341 1342
  // Clear the state of decoder
  pDecoder->kLen = -1;
  pDecoder->pKey = NULL;
  pDecoder->vLen = -1;
  pDecoder->pVal = NULL;
  pDecoder->pgno = 0;
1343
  TDB_CELLDECODER_SET_FREE_NIL(pDecoder);
H
Hongze Cheng 已提交
1344

H
Hongze Cheng 已提交
1345
  // 1. Decode header part
H
Hongze Cheng 已提交
1346 1347 1348 1349 1350 1351 1352 1353
  if (!leaf) {
    ASSERT(pPage->vLen == sizeof(SPgno));

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

H
Hongze Cheng 已提交
1354 1355 1356 1357 1358 1359 1360
  if (pPage->kLen == TDB_VARIANT_LEN) {
    nHeader += tdbGetVarInt(pCell + nHeader, &(pDecoder->kLen));
  } else {
    pDecoder->kLen = pPage->kLen;
  }

  if (pPage->vLen == TDB_VARIANT_LEN) {
H
Hongze Cheng 已提交
1361
    ASSERT(leaf);
H
Hongze Cheng 已提交
1362
    nHeader += tdbGetVarInt(pCell + nHeader, &(pDecoder->vLen));
H
Hongze Cheng 已提交
1363
  } else {
H
Hongze Cheng 已提交
1364 1365
    pDecoder->vLen = pPage->vLen;
  }
H
Hongze Cheng 已提交
1366

H
Hongze Cheng 已提交
1367
  // 2. Decode payload part
1368
  ret = tdbBtreeDecodePayload(pPage, pCell, nHeader, pDecoder, pTxn, pBt);
H
Hongze Cheng 已提交
1369 1370
  if (ret < 0) {
    return -1;
H
Hongze Cheng 已提交
1371 1372 1373 1374 1375
  }

  return 0;
}

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

H
refact  
Hongze Cheng 已提交
1380
  leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
H
Hongze Cheng 已提交
1381

H
refact  
Hongze Cheng 已提交
1382
  if (!leaf) {
1383
    nHeader += sizeof(SPgno);
H
Hongze Cheng 已提交
1384 1385 1386
  }

  if (pPage->kLen == TDB_VARIANT_LEN) {
1387
    nHeader += tdbGetVarInt(pCell + nHeader, &kLen);
H
Hongze Cheng 已提交
1388 1389 1390 1391
  } else {
    kLen = pPage->kLen;
  }

H
refact  
Hongze Cheng 已提交
1392 1393
  if (pPage->vLen == TDB_VARIANT_LEN) {
    ASSERT(leaf);
1394
    nHeader += tdbGetVarInt(pCell + nHeader, &vLen);
H
refact  
Hongze Cheng 已提交
1395 1396
  } else if (leaf) {
    vLen = pPage->vLen;
H
Hongze Cheng 已提交
1397 1398
  }

1399 1400 1401 1402 1403
  int nPayload = kLen + vLen;
  if (nHeader + nPayload <= pPage->maxLocal) {
    return nHeader + kLen + vLen;
  } else {
    int maxLocal = pPage->maxLocal;
H
Hongze Cheng 已提交
1404

1405 1406 1407 1408
    // 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 已提交
1409

1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440
    // free ofp pages' cells
    if (dropOfp) {
      int ret = 0;
      SPgno pgno = *(SPgno *) (pCell + nHeader + nLocal - sizeof(SPgno));
      int nLeft = nPayload - nLocal + sizeof(SPgno);
      SPage *ofp;
      int bytes;

      while (pgno != 0) {
	ret = tdbLoadOvflPage(pPage->pPager, &pgno, &ofp, pTxn, pBt);
	if (ret < 0) {
	  return -1;
	}

	SCell *ofpCell = tdbPageGetCell(ofp, 0);

	if (nLeft <= ofp->maxLocal - sizeof(SPgno)) {
	  bytes = nLeft;
	} else {
	  bytes = ofp->maxLocal - sizeof(SPgno);
	}

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

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

	nLeft -= bytes;
      }
    }

    return nHeader + nLocal;
H
refact  
Hongze Cheng 已提交
1441
  }
H
Hongze Cheng 已提交
1442
}
H
Hongze Cheng 已提交
1443
// TDB_BTREE_CELL
H
Hongze Cheng 已提交
1444

H
refact  
Hongze Cheng 已提交
1445
// TDB_BTREE_CURSOR =====================
H
Hongze Cheng 已提交
1446
int tdbBtcOpen(SBTC *pBtc, SBTree *pBt, TXN *pTxn) {
H
Hongze Cheng 已提交
1447 1448 1449 1450
  pBtc->pBt = pBt;
  pBtc->iPage = -1;
  pBtc->pPage = NULL;
  pBtc->idx = -1;
H
Hongze Cheng 已提交
1451
  memset(&pBtc->coder, 0, sizeof(SCellDecoder));
H
Hongze Cheng 已提交
1452 1453 1454 1455 1456 1457 1458

  if (pTxn == NULL) {
    pBtc->pTxn = &pBtc->txn;
    tdbTxnOpen(pBtc->pTxn, 0, tdbDefaultMalloc, tdbDefaultFree, NULL, 0);
  } else {
    pBtc->pTxn = pTxn;
  }
H
Hongze Cheng 已提交
1459 1460 1461 1462

  return 0;
}

H
Hongze Cheng 已提交
1463
int tdbBtcMoveToFirst(SBTC *pBtc) {
H
refact  
Hongze Cheng 已提交
1464 1465 1466
  int     ret;
  SBTree *pBt;
  SPager *pPager;
H
Hongze Cheng 已提交
1467 1468
  SCell  *pCell;
  SPgno   pgno;
H
refact  
Hongze Cheng 已提交
1469 1470 1471 1472 1473

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

  if (pBtc->iPage < 0) {
H
Hongze Cheng 已提交
1474
    // move a clean cursor
H
Hongze Cheng 已提交
1475
    ret = tdbPagerFetchPage(pPager, &pBt->root, &(pBtc->pPage), tdbBtreeInitPage,
H
Hongze Cheng 已提交
1476
                            &((SBtreeInitPageArg){.pBt = pBt, .flags = TDB_BTREE_ROOT | TDB_BTREE_LEAF}), pBtc->pTxn);
H
refact  
Hongze Cheng 已提交
1477 1478 1479 1480 1481
    if (ret < 0) {
      ASSERT(0);
      return -1;
    }

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

H
Hongze Cheng 已提交
1484 1485 1486 1487
    pBtc->iPage = 0;
    if (TDB_PAGE_TOTAL_CELLS(pBtc->pPage) > 0) {
      pBtc->idx = 0;
    } else {
H
more  
Hongze Cheng 已提交
1488
      // no any data, point to an invalid position
H
Hongze Cheng 已提交
1489 1490
      ASSERT(TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage));
      pBtc->idx = -1;
H
refact  
Hongze Cheng 已提交
1491 1492
      return 0;
    }
H
Hongze Cheng 已提交
1493
  } else {
H
Hongze Cheng 已提交
1494 1495
    ASSERT(0);
#if 0
H
Hongze Cheng 已提交
1496 1497
    // move from a position
    int iPage = 0;
H
refact  
Hongze Cheng 已提交
1498

H
Hongze Cheng 已提交
1499 1500 1501 1502
    for (; iPage < pBtc->iPage; iPage++) {
      ASSERT(pBtc->idxStack[iPage] >= 0);
      if (pBtc->idxStack[iPage]) break;
    }
H
refact  
Hongze Cheng 已提交
1503

H
Hongze Cheng 已提交
1504 1505
    // move upward
    for (;;) {
H
Hongze Cheng 已提交
1506
      if (pBtc->iPage == iPage) {
H
Hongze Cheng 已提交
1507
        pBtc->idx = 0;
H
refact  
Hongze Cheng 已提交
1508 1509
        break;
      }
H
Hongze Cheng 已提交
1510

H
Hongze Cheng 已提交
1511
      tdbBtcMoveUpward(pBtc);
H
Hongze Cheng 已提交
1512
    }
H
Hongze Cheng 已提交
1513
#endif
H
Hongze Cheng 已提交
1514 1515 1516 1517
  }

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

H
Hongze Cheng 已提交
1520
    ret = tdbBtcMoveDownward(pBtc);
H
Hongze Cheng 已提交
1521 1522 1523 1524 1525 1526 1527 1528
    if (ret < 0) {
      ASSERT(0);
      return -1;
    }

    pBtc->idx = 0;
  }

H
Hongze Cheng 已提交
1529 1530 1531 1532
  return 0;
}

int tdbBtcMoveToLast(SBTC *pBtc) {
H
Hongze Cheng 已提交
1533
  int     ret;
H
Hongze Cheng 已提交
1534
  int     nCells;
H
Hongze Cheng 已提交
1535 1536 1537 1538 1539 1540 1541 1542 1543
  SBTree *pBt;
  SPager *pPager;
  SPgno   pgno;

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

  if (pBtc->iPage < 0) {
    // move a clean cursor
H
Hongze Cheng 已提交
1544
    ret = tdbPagerFetchPage(pPager, &pBt->root, &(pBtc->pPage), tdbBtreeInitPage,
H
Hongze Cheng 已提交
1545
                            &((SBtreeInitPageArg){.pBt = pBt, .flags = TDB_BTREE_ROOT | TDB_BTREE_LEAF}), pBtc->pTxn);
H
Hongze Cheng 已提交
1546 1547 1548 1549 1550
    if (ret < 0) {
      ASSERT(0);
      return -1;
    }

H
Hongze Cheng 已提交
1551
    nCells = TDB_PAGE_TOTAL_CELLS(pBtc->pPage);
H
Hongze Cheng 已提交
1552
    pBtc->iPage = 0;
H
Hongze Cheng 已提交
1553 1554 1555 1556 1557 1558 1559 1560
    if (nCells > 0) {
      pBtc->idx = TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage) ? nCells - 1 : nCells;
    } else {
      // no data at all, point to an invalid position
      ASSERT(TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage));
      pBtc->idx = -1;
      return 0;
    }
H
Hongze Cheng 已提交
1561
  } else {
H
Hongze Cheng 已提交
1562 1563
    ASSERT(0);
#if 0
H
Hongze Cheng 已提交
1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574
    int iPage = 0;

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

    // move upward
    for (;;) {
H
Hongze Cheng 已提交
1575
      if (pBtc->iPage == iPage) {
H
Hongze Cheng 已提交
1576 1577 1578 1579 1580
        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 已提交
1581
        break;
H
Hongze Cheng 已提交
1582 1583 1584 1585
      }

      tdbBtcMoveUpward(pBtc);
    }
H
Hongze Cheng 已提交
1586
#endif
H
Hongze Cheng 已提交
1587 1588 1589 1590
  }

  // move downward
  for (;;) {
H
Hongze Cheng 已提交
1591 1592 1593 1594 1595 1596 1597 1598 1599
    if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) break;

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

    nCells = TDB_PAGE_TOTAL_CELLS(pBtc->pPage);
H
refact  
Hongze Cheng 已提交
1600
    if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) {
H
Hongze Cheng 已提交
1601
      pBtc->idx = nCells - 1;
H
Hongze Cheng 已提交
1602
    } else {
H
Hongze Cheng 已提交
1603
      pBtc->idx = nCells;
H
Hongze Cheng 已提交
1604 1605 1606
    }
  }

H
Hongze Cheng 已提交
1607 1608 1609 1610
  return 0;
}

int tdbBtreeNext(SBTC *pBtc, void **ppKey, int *kLen, void **ppVal, int *vLen) {
H
Hongze Cheng 已提交
1611 1612 1613 1614 1615
  SCell       *pCell;
  SCellDecoder cd;
  void        *pKey, *pVal;
  int          ret;

H
Hongze Cheng 已提交
1616
  // current cursor points to an invalid position
H
Hongze Cheng 已提交
1617
  if (pBtc->idx < 0) {
H
Hongze Cheng 已提交
1618 1619 1620 1621 1622
    return -1;
  }

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

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

H
Hongze Cheng 已提交
1625
  pKey = tdbRealloc(*ppKey, cd.kLen);
H
Hongze Cheng 已提交
1626 1627 1628 1629 1630 1631 1632
  if (pKey == NULL) {
    return -1;
  }

  *ppKey = pKey;
  *kLen = cd.kLen;
  memcpy(pKey, cd.pKey, cd.kLen);
C
Cary Xu 已提交
1633 1634 1635

  if (ppVal) {
    // TODO: vLen may be zero
H
Hongze Cheng 已提交
1636
    pVal = tdbRealloc(*ppVal, cd.vLen);
C
Cary Xu 已提交
1637
    if (pVal == NULL) {
H
Hongze Cheng 已提交
1638
      tdbFree(pKey);
C
Cary Xu 已提交
1639 1640 1641 1642 1643 1644 1645
      return -1;
    }

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

  ret = tdbBtcMoveToNext(pBtc);
H
Hongze Cheng 已提交
1648 1649 1650 1651
  if (ret < 0) {
    ASSERT(0);
    return -1;
  }
H
Hongze Cheng 已提交
1652 1653 1654 1655

  return 0;
}

1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668
int tdbBtreePrev(SBTC *pBtc, void **ppKey, int *kLen, void **ppVal, int *vLen) {
  SCell       *pCell;
  SCellDecoder cd;
  void        *pKey, *pVal;
  int          ret;

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

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

1669
  tdbBtreeDecodeCell(pBtc->pPage, pCell, &cd, pBtc->pTxn, pBtc->pBt);
1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688 1689 1690 1691 1692 1693 1694 1695 1696 1697 1698 1699 1700 1701

  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) {
    ASSERT(0);
    return -1;
  }

  return 0;
}

H
Hongze Cheng 已提交
1702
int tdbBtcMoveToNext(SBTC *pBtc) {
H
Hongze Cheng 已提交
1703
  int    nCells;
H
Hongze Cheng 已提交
1704
  int    ret;
H
Hongze Cheng 已提交
1705 1706
  SCell *pCell;

H
refact  
Hongze Cheng 已提交
1707
  ASSERT(TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage));
H
Hongze Cheng 已提交
1708 1709 1710

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

H
Hongze Cheng 已提交
1711
  pBtc->idx++;
H
Hongze Cheng 已提交
1712 1713 1714 1715
  if (pBtc->idx < TDB_PAGE_TOTAL_CELLS(pBtc->pPage)) {
    return 0;
  }

H
Hongze Cheng 已提交
1716
  // move upward
H
Hongze Cheng 已提交
1717
  for (;;) {
H
Hongze Cheng 已提交
1718 1719 1720 1721 1722
    if (pBtc->iPage == 0) {
      pBtc->idx = -1;
      return 0;
    }

H
Hongze Cheng 已提交
1723 1724 1725
    tdbBtcMoveUpward(pBtc);
    pBtc->idx++;

H
Hongze Cheng 已提交
1726 1727
    ASSERT(!TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage));
    if (pBtc->idx <= TDB_PAGE_TOTAL_CELLS(pBtc->pPage)) {
H
Hongze Cheng 已提交
1728 1729
      break;
    }
H
Hongze Cheng 已提交
1730 1731
  }

H
Hongze Cheng 已提交
1732
  // move downward
H
Hongze Cheng 已提交
1733
  for (;;) {
H
Hongze Cheng 已提交
1734
    if (TDB_BTREE_PAGE_IS_LEAF(pBtc->pPage)) break;
H
Hongze Cheng 已提交
1735

H
Hongze Cheng 已提交
1736 1737 1738 1739
    ret = tdbBtcMoveDownward(pBtc);
    if (ret < 0) {
      ASSERT(0);
      return -1;
H
Hongze Cheng 已提交
1740
    }
H
Hongze Cheng 已提交
1741 1742

    pBtc->idx = 0;
H
Hongze Cheng 已提交
1743 1744
  }

H
Hongze Cheng 已提交
1745 1746 1747
  return 0;
}

H
Hongze Cheng 已提交
1748 1749 1750 1751 1752 1753 1754 1755 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 1781 1782 1783 1784
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 已提交
1785 1786 1787 1788 1789 1790 1791 1792 1793 1794 1795 1796 1797 1798
static int tdbBtcMoveDownward(SBTC *pBtc) {
  int    ret;
  SPgno  pgno;
  SCell *pCell;

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

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

H
Hongze Cheng 已提交
1800 1801
  ASSERT(pgno);

H
Hongze Cheng 已提交
1802 1803 1804 1805 1806
  pBtc->pgStack[pBtc->iPage] = pBtc->pPage;
  pBtc->idxStack[pBtc->iPage] = pBtc->idx;
  pBtc->iPage++;
  pBtc->pPage = NULL;
  pBtc->idx = -1;
H
Hongze Cheng 已提交
1807

H
Hongze Cheng 已提交
1808 1809
  ret = tdbPagerFetchPage(pBtc->pBt->pPager, &pgno, &pBtc->pPage, tdbBtreeInitPage,
                          &((SBtreeInitPageArg){.pBt = pBtc->pBt, .flags = 0}), pBtc->pTxn);
H
Hongze Cheng 已提交
1810 1811
  if (ret < 0) {
    ASSERT(0);
H
Hongze Cheng 已提交
1812
    return -1;
H
Hongze Cheng 已提交
1813 1814 1815 1816 1817 1818
  }

  return 0;
}

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

H
Hongze Cheng 已提交
1821
  tdbPagerReturnPage(pBtc->pBt->pPager, pBtc->pPage, pBtc->pTxn);
H
Hongze Cheng 已提交
1822 1823 1824 1825 1826

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

H
Hongze Cheng 已提交
1827
  return 0;
H
Hongze Cheng 已提交
1828
}
H
refact  
Hongze Cheng 已提交
1829

H
Hongze Cheng 已提交
1830 1831 1832 1833 1834 1835 1836 1837
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);
1838
  tdbBtreeDecodeCell(pBtc->pPage, pCell, &pBtc->coder, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
1839 1840 1841 1842 1843 1844 1845 1846

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

  if (ppVal) {
    *ppVal = (void *)pBtc->coder.pVal;
H
Hongze Cheng 已提交
1847
    *vLen = pBtc->coder.vLen;
H
Hongze Cheng 已提交
1848 1849 1850 1851 1852
  }

  return 0;
}

H
Hongze Cheng 已提交
1853
int tdbBtcDelete(SBTC *pBtc) {
H
Hongze Cheng 已提交
1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871
  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;

  ASSERT(idx >= 0 && idx < nCells);

  // drop the cell on the leaf
  ret = tdbPagerWrite(pPager, pBtc->pPage);
  if (ret < 0) {
    ASSERT(0);
H
Hongze Cheng 已提交
1872 1873 1874
    return -1;
  }

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

H
Hongze Cheng 已提交
1877
  // update interior page or do balance
H
Hongze Cheng 已提交
1878
  if (idx == nCells - 1) {
H
Hongze Cheng 已提交
1879 1880 1881 1882 1883 1884 1885 1886 1887 1888 1889 1890 1891 1892 1893 1894 1895 1896 1897 1898
    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) {
            ASSERT(0);
            return -1;
          }

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

1901
          ret = tdbPageUpdateCell(pPage, idx, pCell, szCell, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
1902 1903 1904 1905 1906 1907 1908 1909 1910 1911 1912 1913
          if (ret < 0) {
            tdbOsFree(pCell);
            ASSERT(0);
            return -1;
          }
          tdbOsFree(pCell);
          break;
        } else {
          pgno = TDB_PAGE_PGNO(pPage);
        }
      }
    } else {
H
Hongze Cheng 已提交
1914
      // delete the leaf page and do balance
H
Hongze Cheng 已提交
1915
      ASSERT(TDB_PAGE_TOTAL_CELLS(pBtc->pPage) == 0);
H
Hongze Cheng 已提交
1916 1917 1918 1919 1920 1921

      ret = tdbBtreeBalance(pBtc);
      if (ret < 0) {
        ASSERT(0);
        return -1;
      }
H
Hongze Cheng 已提交
1922
    }
H
Hongze Cheng 已提交
1923 1924 1925 1926 1927
  }

  return 0;
}

H
Hongze Cheng 已提交
1928 1929 1930 1931 1932 1933 1934 1935 1936 1937 1938 1939
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;

  ASSERT(pBtc->idx >= 0);

  // alloc space
  szBuf = kLen + nData + 14;
1940
  pBuf =  tdbRealloc(pBtc->pBt->pBuf, pBtc->pBt->pageSize > szBuf ? szBuf : pBtc->pBt->pageSize);
H
Hongze Cheng 已提交
1941 1942 1943 1944 1945 1946 1947 1948
  if (pBuf == NULL) {
    ASSERT(0);
    return -1;
  }
  pBtc->pBt->pBuf = pBuf;
  pCell = (SCell *)pBtc->pBt->pBuf;

  // encode cell
1949
  ret = tdbBtreeEncodeCell(pBtc->pPage, pKey, kLen, pData, nData, pCell, &szCell, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
1950 1951 1952 1953 1954 1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969
  if (ret < 0) {
    ASSERT(0);
    return -1;
  }

  // mark dirty
  ret = tdbPagerWrite(pBtc->pBt->pPager, pBtc->pPage);
  if (ret < 0) {
    ASSERT(0);
    return -1;
  }

  // insert or update
  if (insert) {
    ASSERT(pBtc->idx <= nCells);

    ret = tdbPageInsertCell(pBtc->pPage, pBtc->idx, pCell, szCell, 0);
  } else {
    ASSERT(pBtc->idx < nCells);

1970
    ret = tdbPageUpdateCell(pBtc->pPage, pBtc->idx, pCell, szCell, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
1971 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985
  }
  if (ret < 0) {
    ASSERT(0);
    return -1;
  }

  // check balance
  if (pBtc->pPage->nOverflow > 0) {
    ret = tdbBtreeBalance(pBtc);
    if (ret < 0) {
      ASSERT(0);
      return -1;
    }
  }

H
Hongze Cheng 已提交
1986 1987 1988
  return 0;
}

H
Hongze Cheng 已提交
1989
int tdbBtcMoveTo(SBTC *pBtc, const void *pKey, int kLen, int *pCRst) {
H
Hongze Cheng 已提交
1990 1991 1992 1993 1994 1995 1996 1997
  int         ret;
  int         nCells;
  int         c;
  SCell      *pCell;
  SBTree     *pBt = pBtc->pBt;
  SPager     *pPager = pBt->pPager;
  const void *pTKey;
  int         tkLen;
H
Hongze Cheng 已提交
1998 1999

  if (pBtc->iPage < 0) {
H
Hongze Cheng 已提交
2000
    // move from a clear cursor
H
Hongze Cheng 已提交
2001 2002
    ret = tdbPagerFetchPage(pPager, &pBt->root, &(pBtc->pPage), tdbBtreeInitPage,
                            &((SBtreeInitPageArg){.pBt = pBt, .flags = TDB_BTREE_ROOT | TDB_BTREE_LEAF}), pBtc->pTxn);
H
Hongze Cheng 已提交
2003
    if (ret < 0) {
H
Hongze Cheng 已提交
2004
      // TODO
H
Hongze Cheng 已提交
2005
      ASSERT(0);
H
Hongze Cheng 已提交
2006
      return 0;
H
Hongze Cheng 已提交
2007 2008 2009
    }

    pBtc->iPage = 0;
H
Hongze Cheng 已提交
2010 2011 2012 2013
    pBtc->idx = -1;
    // for empty tree, just return with an invalid position
    if (TDB_PAGE_TOTAL_CELLS(pBtc->pPage) == 0) return 0;
  } else {
H
Hongze Cheng 已提交
2014 2015
    ASSERT(0);
#if 0
H
Hongze Cheng 已提交
2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 2026 2027 2028 2029 2030
    SPage *pPage;
    int    idx;
    int    iPage = 0;

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

      ASSERT(!TDB_BTREE_PAGE_IS_LEAF(pPage));

      // check if key <= current position
      if (idx < nCells) {
        pCell = tdbPageGetCell(pPage, idx);
2031
        tdbBtreeDecodeCell(pPage, pCell, &cd, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
2032 2033 2034 2035 2036 2037 2038 2039
        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);
2040
        c = pBt->kcmpr(pKey, kLen, cd.pKey, cd.kLen, pBtc->pTxn, pBtc->pBt);
H
Hongze Cheng 已提交
2041 2042 2043 2044 2045 2046 2047 2048 2049
        if (c <= 0) break;
      }
    }

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

H
Hongze Cheng 已提交
2053 2054
  // search downward to the leaf
  for (;;) {
H
Hongze Cheng 已提交
2055
    int    lidx, ridx;
H
Hongze Cheng 已提交
2056
    SPage *pPage;
H
Hongze Cheng 已提交
2057

H
Hongze Cheng 已提交
2058 2059 2060 2061
    pPage = pBtc->pPage;
    nCells = TDB_PAGE_TOTAL_CELLS(pPage);
    lidx = 0;
    ridx = nCells - 1;
H
Hongze Cheng 已提交
2062

H
Hongze Cheng 已提交
2063
    ASSERT(nCells > 0);
H
Hongze Cheng 已提交
2064

H
Hongze Cheng 已提交
2065
    // compare first cell
H
Hongze Cheng 已提交
2066 2067 2068
    pBtc->idx = lidx;
    tdbBtcGet(pBtc, &pTKey, &tkLen, NULL, NULL);
    c = pBt->kcmpr(pKey, kLen, pTKey, tkLen);
H
Hongze Cheng 已提交
2069 2070 2071 2072 2073 2074 2075 2076
    if (c <= 0) {
      ridx = lidx - 1;
    } else {
      lidx = lidx + 1;
    }

    // compare last cell
    if (lidx <= ridx) {
H
Hongze Cheng 已提交
2077 2078 2079
      pBtc->idx = ridx;
      tdbBtcGet(pBtc, &pTKey, &tkLen, NULL, NULL);
      c = pBt->kcmpr(pKey, kLen, pTKey, tkLen);
H
Hongze Cheng 已提交
2080 2081 2082 2083 2084 2085 2086
      if (c >= 0) {
        lidx = ridx + 1;
      } else {
        ridx = ridx - 1;
      }
    }

H
Hongze Cheng 已提交
2087 2088 2089
    // binary search
    for (;;) {
      if (lidx > ridx) break;
H
Hongze Cheng 已提交
2090

H
Hongze Cheng 已提交
2091 2092 2093
      pBtc->idx = (lidx + ridx) >> 1;
      tdbBtcGet(pBtc, &pTKey, &tkLen, NULL, NULL);
      c = pBt->kcmpr(pKey, kLen, pTKey, tkLen);
H
Hongze Cheng 已提交
2094 2095
      if (c < 0) {
        // pKey < cd.pKey
H
Hongze Cheng 已提交
2096
        ridx = pBtc->idx - 1;
H
Hongze Cheng 已提交
2097 2098
      } else if (c > 0) {
        // pKey > cd.pKey
H
Hongze Cheng 已提交
2099
        lidx = pBtc->idx + 1;
H
Hongze Cheng 已提交
2100 2101 2102
      } else {
        // pKey == cd.pKey
        break;
H
Hongze Cheng 已提交
2103
      }
H
Hongze Cheng 已提交
2104
    }
H
Hongze Cheng 已提交
2105

H
Hongze Cheng 已提交
2106 2107 2108 2109 2110
    // keep search downward or break
    if (TDB_BTREE_PAGE_IS_LEAF(pPage)) {
      *pCRst = c;
      break;
    } else {
H
Hongze Cheng 已提交
2111 2112
      if (c > 0) {
        pBtc->idx += 1;
H
Hongze Cheng 已提交
2113
      }
H
Hongze Cheng 已提交
2114
      tdbBtcMoveDownward(pBtc);
H
Hongze Cheng 已提交
2115 2116 2117 2118 2119 2120
    }
  }

  return 0;
}

H
refact  
Hongze Cheng 已提交
2121 2122 2123 2124 2125 2126
int tdbBtcClose(SBTC *pBtc) {
  if (pBtc->iPage < 0) return 0;

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

H
Hongze Cheng 已提交
2127
    tdbPagerReturnPage(pBtc->pBt->pPager, pBtc->pPage, pBtc->pTxn);
H
refact  
Hongze Cheng 已提交
2128 2129 2130 2131 2132 2133 2134 2135 2136 2137

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

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

  return 0;
}
H
Hongze Cheng 已提交
2138 2139 2140 2141 2142 2143 2144 2145

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

H
refact  
Hongze Cheng 已提交
2148
// TDB_BTREE_DEBUG =====================
H
Hongze Cheng 已提交
2149 2150 2151 2152 2153 2154 2155 2156 2157 2158 2159 2160 2161 2162 2163 2164 2165 2166 2167
#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 已提交
2168 2169
  pBtPageInfo->root = TDB_BTREE_PAGE_IS_ROOT(pPage);
  pBtPageInfo->leaf = TDB_BTREE_PAGE_IS_LEAF(pPage);
H
Hongze Cheng 已提交
2170 2171 2172 2173 2174 2175 2176 2177 2178

  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 已提交
2179
#endif
2180
// TDB_BTREE_DEBUG