| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864 |
- package btree
- import (
- "TsDB2/DB/core/page"
- "encoding/binary"
- "errors"
- "unsafe"
- )
- // ======================== 浜岀骇 B+ 鏍戠储寮曟搷浣?========================
- // 鍙惰妭鐐? [key(keyLen) + PKID(8B)] entryLen = keyLen + 8
- // 鍐呰妭鐐? [key(keyLen) + childPID(4B)] entryLen = keyLen + 4
- // 鍒嗚: 缁熶竴 50/50 (涓嶅仛椤哄簭浼樺寲, 浜岀骇绱㈠紩閿彲鑳介潪鑷)
- // 鍚堝苟: InnoDB 椋庢牸 鈥?鍒犻櫎鍚庢鏌ュ綋鍓嶉〉+鍏勫紵椤佃兘鍚︽斁杩涗竴椤?
- // ----- 鑺傜偣 I/O -----
- func sbtNew(handle page.HandleDb, isLeaf bool, entryLen int) *btNode {
- pid := handle.NewPage()
- buf := make([]byte, page.IndexPageSize)
- info := (*page.IndexHead)(unsafe.Pointer(&buf[0]))
- info.Hdr.Type = page.IndexDataIndex
- info.Hdr.PageID = pid
- info.Hdr.UseSize = uint32(page.IndexHeadSize)
- info.IndexType = page.IndexTypeBTree
- info.EntryLen = uint16(entryLen)
- info.Count = 0
- if isLeaf {
- info.IsLeaf = 1
- }
- return &btNode{buf: buf, info: info, entries: buf[page.IndexHeadSize:]}
- }
- func sbtLoad(handle page.HandleDb, pid uint32) *btNode {
- if pid == 0 {
- return nil
- }
- buf := make([]byte, page.IndexPageSize)
- if err := handle.ReadPage(pid, buf); err != nil {
- return nil
- }
- info := (*page.IndexHead)(unsafe.Pointer(&buf[0]))
- return &btNode{buf: buf, info: info, entries: buf[page.IndexHeadSize:]}
- }
- func sbtSave(handle page.HandleDb, n *btNode) {
- _ = handle.SavePage(n.info.Hdr.PageID, n.buf)
- }
- // ----- 鏉$洰鎿嶄綔 -----
- func sbtEntry(n *btNode, i int) []byte {
- el := int(n.info.EntryLen)
- return n.entries[i*el : (i+1)*el]
- }
- func sbtLeafKey(e []byte) []byte { return e[:len(e)-8] }
- func sbtPKID(e []byte) uint64 { return binary.BigEndian.Uint64(e[len(e)-8:]) }
- func sbtIntKey(e []byte) []byte { return e[:len(e)-4] }
- func sbtChildPID(e []byte) uint32 { return binary.BigEndian.Uint32(e[len(e)-4:]) }
- func sbtSetChildPID(e []byte, pid uint32) { binary.BigEndian.PutUint32(e[len(e)-4:], pid) }
- func sbtCmp(a, b []byte) int {
- ml := len(a)
- if len(b) < ml {
- ml = len(b)
- }
- for i := 0; i < ml; i++ {
- if a[i] < b[i] {
- return -1
- }
- if a[i] > b[i] {
- return 1
- }
- }
- return 0
- }
- // ----- 鍐呰妭鐐硅矾鐢?-----
- func sbtRoute(n *btNode, key []byte) uint32 {
- cnt := int(n.info.Count)
- // 二分查找: 找最后一个 entry.key <= key 的位置
- left, right := 0, cnt-1
- result := 0
- for left <= right {
- mid := (left + right) / 2
- if sbtCmp(sbtIntKey(sbtEntry(n, mid)), key) <= 0 {
- result = mid
- left = mid + 1 // 继续向右找
- } else {
- right = mid - 1
- }
- }
- return sbtChildPID(sbtEntry(n, result))
- }
- func sbtChildIdx(n *btNode, key []byte) int {
- cnt := int(n.info.Count)
- el := int(n.info.EntryLen)
- // 二分查找: 找最后一个 entry.key <= key 的位置
- left, right := 0, cnt-1
- result := 0
- for left <= right {
- mid := (left + right) / 2
- if sbtCmp(sbtEntry(n, mid)[:el-4], key) <= 0 {
- result = mid
- left = mid + 1 // 继续向右找
- } else {
- right = mid - 1
- }
- }
- return result
- }
- // ----- 鍙惰妭鐐规搷浣?-----
- func sbtInsEntry(n *btNode, entry []byte, pos int) {
- el := int(n.info.EntryLen)
- cnt := int(n.info.Count)
- for i := cnt; i > pos; i-- {
- copy(sbtEntry(n, i), sbtEntry(n, i-1))
- }
- copy(sbtEntry(n, pos), entry)
- n.info.Count++
- n.info.Hdr.UseSize += uint32(el)
- }
- func sbtRmEntry(n *btNode, pos int) {
- el := int(n.info.EntryLen)
- cnt := int(n.info.Count)
- for i := pos; i < cnt-1; i++ {
- copy(sbtEntry(n, i), sbtEntry(n, i+1))
- }
- n.info.Count--
- n.info.Hdr.UseSize -= uint32(el)
- }
- func sbtLeafFind(n *btNode, key []byte) (int, bool) {
- el := int(n.info.EntryLen)
- cnt := int(n.info.Count)
- if cnt == 0 {
- return 0, false
- }
- left, right := 0, cnt-1
- for left <= right {
- mid := (left + right) / 2
- cmp := sbtCmp(sbtEntry(n, mid)[:el-8], key)
- if cmp == 0 {
- return mid, true
- } else if cmp < 0 {
- left = mid + 1
- } else {
- right = mid - 1
- }
- }
- return left, false
- }
- func sbtLeafPos(n *btNode, key []byte) int {
- pos, _ := sbtLeafFind(n, key)
- return pos
- }
- // ======================== 按 key+pkID 精确删除 ========================
- // SBTDeleteWithPKID 删除指定 key + pkID 的条目(处理重复 key 场景)
- func SBTDeleteWithPKID(rootPID uint32, key []byte, pkID uint64, handle page.HandleDb) (uint32, error) {
- if rootPID == 0 {
- return 0, page.ErrNotFound
- }
- cur := rootPID
- for {
- n := sbtLoad(handle, cur)
- if n == nil {
- return rootPID, page.ErrNotFound
- }
- if n.isLeaf() {
- el := int(n.info.EntryLen)
- cnt := int(n.info.Count)
- pos, found := sbtLeafFind(n, key)
- if !found {
- return rootPID, page.ErrNotFound
- }
- // 遍历所有相同 key 的条目,找到匹配的 pkID
- deleted := false
- for i := pos; i < cnt; i++ {
- entry := sbtEntry(n, i)
- if sbtCmp(entry[:el-8], key) != 0 {
- break // 超出相同 key 范围
- }
- if sbtPKID(entry) == pkID {
- // 找到匹配项,删除它
- for j := i; j < cnt-1; j++ {
- copy(sbtEntry(n, j), sbtEntry(n, j+1))
- }
- n.info.Count--
- n.info.Hdr.UseSize -= uint32(el)
- sbtSave(handle, n)
- deleted = true
- break
- }
- }
- if !deleted {
- return rootPID, page.ErrNotFound
- }
- return rootPID, nil
- }
- cur = sbtRoute(n, key)
- }
- }
- // ======================== 查找所有相同 key 的 pkID ========================
- // SBTSearchAll 查找相同 key 下的所有 pkID
- func SBTSearchAll(rootPID uint32, key []byte, handle page.HandleDb) ([]uint64, bool) {
- if rootPID == 0 {
- return nil, false
- }
- var result []uint64
- cur := rootPID
- for {
- n := sbtLoad(handle, cur)
- if n == nil {
- return nil, false
- }
- if n.isLeaf() {
- el := int(n.info.EntryLen)
- cnt := int(n.info.Count)
- pos, found := sbtLeafFind(n, key)
- if !found {
- return nil, false
- }
- // 收集所有相同 key 的 pkID
- for i := pos; i < cnt; i++ {
- entry := sbtEntry(n, i)
- if sbtCmp(entry[:el-8], key) != 0 {
- break
- }
- result = append(result, sbtPKID(entry))
- }
- if len(result) == 0 {
- return nil, false
- }
- return result, true
- }
- cur = sbtRoute(n, key)
- }
- }
- // ======================== 搜索 ========================
- func SBTSearch(rootPID uint32, key []byte, handle page.HandleDb) (uint64, bool) {
- if rootPID == 0 {
- return 0, false
- }
- cur := rootPID
- for {
- n := sbtLoad(handle, cur)
- if n == nil {
- return 0, false
- }
- if n.isLeaf() {
- pos, ok := sbtLeafFind(n, key)
- if !ok {
- return 0, false
- }
- return sbtPKID(sbtEntry(n, pos)), true
- }
- cur = sbtRoute(n, key)
- }
- }
- // ======================== 鑼冨洿鎵弿 ========================
- func SBTRangeScan(rootPID uint32, handle page.HandleDb,
- startKey, endKey []byte, startInc, endInc bool, reverse bool,
- callback func(row []byte) bool) error {
- if rootPID == 0 {
- return nil
- }
- if !reverse {
- cur := rootPID
- for {
- n := sbtLoad(handle, cur)
- if n == nil {
- return nil
- }
- if n.isLeaf() {
- break
- }
- if startKey == nil {
- // startKey 为空时, 显式路由到最左叶 (跟随第一个子节点)
- cur = sbtChildPID(sbtEntry(n, 0))
- } else {
- cur = sbtRoute(n, startKey)
- }
- }
- for cur != 0 {
- n := sbtLoad(handle, cur)
- if n == nil {
- break
- }
- el := int(n.info.EntryLen)
- for i := 0; i < int(n.info.Count); i++ {
- entry := sbtEntry(n, i)
- key := entry[:el-8]
- if endKey != nil {
- cmp := sbtCmp(key, endKey)
- if cmp > 0 || (cmp == 0 && !endInc) {
- return nil
- }
- }
- if startKey != nil {
- cmp := sbtCmp(key, startKey)
- if cmp < 0 || (cmp == 0 && !startInc) {
- continue
- }
- }
- pkID := entry[el-8:]
- if !callback(pkID) {
- return nil
- }
- }
- cur = n.info.Hdr.NextPage
- }
- } else {
- // 反向: 路由到 endKey 或最右叶, 沿 PrePage 遍历
- cur := rootPID
- if endKey != nil {
- for {
- n := sbtLoad(handle, cur)
- if n == nil {
- return nil
- }
- if n.isLeaf() {
- break
- }
- cur = sbtRoute(n, endKey)
- }
- } else {
- for {
- n := sbtLoad(handle, cur)
- if n == nil {
- return nil
- }
- if n.isLeaf() {
- break
- }
- cur = sbtChildPID(sbtEntry(n, int(n.info.Count)-1))
- }
- }
- for cur != 0 {
- n := sbtLoad(handle, cur)
- if n == nil {
- break
- }
- el := int(n.info.EntryLen)
- for i := int(n.info.Count) - 1; i >= 0; i-- {
- entry := sbtEntry(n, i)
- key := entry[:el-8]
- if startKey != nil {
- cmp := sbtCmp(key, startKey)
- if cmp < 0 || (cmp == 0 && !startInc) {
- return nil
- }
- }
- if endKey != nil {
- cmp := sbtCmp(key, endKey)
- if cmp > 0 || (cmp == 0 && !endInc) {
- continue
- }
- }
- pkID := entry[el-8:]
- if !callback(pkID) {
- return nil
- }
- }
- cur = n.info.Hdr.PrePage
- }
- }
- return nil
- }
- // ======================== 鎻掑叆 ========================
- func SBTInsert(rootPID uint32, entry []byte, handle page.HandleDb) (uint32, error) {
- el := len(entry)
- if rootPID == 0 {
- leaf := sbtNew(handle, true, el)
- sbtInsEntry(leaf, entry, 0)
- sbtSave(handle, leaf)
- return leaf.pageID(), nil
- }
- var path []btPathEntry
- cur := rootPID
- for {
- n := sbtLoad(handle, cur)
- if n == nil {
- return rootPID, errors.New("sbt load failed")
- }
- if n.isLeaf() {
- key := entry[:el-8]
- ip := sbtLeafPos(n, key)
- // 二级索引允许重复键, 插入到相同 key 的条目之后
- for ip < int(n.info.Count) && sbtCmp(sbtEntry(n, ip)[:el-8], key) == 0 {
- ip++
- }
- if int(n.info.Hdr.UseSize)+el <= btSplitThreshold() {
- sbtInsEntry(n, entry, ip)
- sbtSave(handle, n)
- return rootPID, nil
- }
- cnt := int(n.info.Count)
- total := cnt + 1
- all := make([]byte, total*el)
- if ip > 0 {
- copy(all, n.entries[:ip*el])
- }
- copy(all[ip*el:], entry)
- if cnt > ip {
- copy(all[(ip+1)*el:], n.entries[ip*el:cnt*el])
- }
- mid := total / 2
- rl := sbtNew(handle, true, el)
- rc := total - mid
- copy(rl.entries, all[mid*el:total*el])
- rl.info.Count = uint32(rc)
- rl.info.Hdr.UseSize = uint32(page.IndexHeadSize) + uint32(rc*el)
- rl.info.Hdr.NextPage = n.info.Hdr.NextPage
- rl.info.Hdr.PrePage = n.info.Hdr.PageID
- n.info.Hdr.NextPage = rl.info.Hdr.PageID
- copy(n.entries, all[:mid*el])
- n.info.Count = uint32(mid)
- n.info.Hdr.UseSize = uint32(page.IndexHeadSize) + uint32(mid*el)
- sbtSave(handle, n)
- sbtSave(handle, rl)
- if rl.info.Hdr.NextPage != 0 {
- nl := sbtLoad(handle, rl.info.Hdr.NextPage)
- if nl != nil {
- nl.info.Hdr.PrePage = rl.info.Hdr.PageID
- sbtSave(handle, nl)
- }
- }
- // 使用右子树最左叶的第一个 key 作为 promoKey
- pk := sbtLeftmostKey(handle, rl.info.Hdr.PageID, el)
- nr, err := sbtPromote(handle, rootPID, path, n.info.Hdr.PageID, pk, rl.info.Hdr.PageID, el)
- return nr, err
- }
- ci := sbtChildIdx(n, entry[:el-8])
- cpid := sbtChildPID(sbtEntry(n, ci))
- path = append(path, btPathEntry{nodePID: cur, childIdx: ci})
- cur = cpid
- }
- }
- func sbtLeftmostKey(handle page.HandleDb, nodePID uint32, el int) []byte {
- cur := nodePID
- for {
- n := sbtLoad(handle, cur)
- if n == nil {
- return nil
- }
- if n.isLeaf() {
- e := sbtEntry(n, 0)
- keyLen := el - 8
- result := make([]byte, el-4)
- copy(result, e[:keyLen])
- return result
- }
- cur = sbtChildPID(sbtEntry(n, 0))
- }
- }
- func sbtPromote(handle page.HandleDb, rootPID uint32, path []btPathEntry, leftPID uint32, promoKey []byte, rightPID uint32, el int) (uint32, error) {
- if len(path) == 0 {
- nr := sbtNew(handle, false, el)
- leftKey := sbtLeftmostKey(handle, leftPID, el)
- le := make([]byte, el)
- copy(le[:el-4], leftKey)
- sbtSetChildPID(le, leftPID)
- re := make([]byte, el)
- copy(re[:el-4], promoKey)
- sbtSetChildPID(re, rightPID)
- sbtInsEntry(nr, le, 0)
- sbtInsEntry(nr, re, 1)
- sbtSave(handle, nr)
- return nr.pageID(), nil
- }
- pi := len(path) - 1
- parent := sbtLoad(handle, path[pi].nodePID)
- if parent == nil {
- return rootPID, errors.New("sbt parent load failed")
- }
- ci := path[pi].childIdx
- cnt := int(parent.info.Count)
- pos := cnt
- for i := ci + 1; i < cnt; i++ {
- if sbtCmp(sbtIntKey(sbtEntry(parent, i)), promoKey) >= 0 {
- pos = i
- break
- }
- }
- for i := cnt; i > pos; i-- {
- copy(sbtEntry(parent, i), sbtEntry(parent, i-1))
- }
- ne := make([]byte, el)
- copy(ne[:el-4], promoKey)
- sbtSetChildPID(ne, rightPID)
- copy(sbtEntry(parent, pos), ne)
- parent.info.Count++
- parent.info.Hdr.UseSize += uint32(el)
- if int(parent.info.Hdr.UseSize)+el <= btSplitThreshold() {
- sbtSave(handle, parent)
- return rootPID, nil
- }
- cnt = int(parent.info.Count)
- mid := cnt / 2
- pk2 := make([]byte, el-4)
- copy(pk2, sbtIntKey(sbtEntry(parent, mid)))
- rn := sbtNew(handle, false, el)
- rc := cnt - mid - 1
- if rc > 0 {
- copy(rn.entries, parent.entries[(mid+1)*el:cnt*el])
- }
- rn.info.Count = uint32(rc)
- rn.info.Hdr.UseSize = uint32(page.IndexHeadSize) + uint32(rc*el)
- parent.info.Count = uint32(mid)
- parent.info.Hdr.UseSize = uint32(page.IndexHeadSize) + uint32(mid*el)
- sbtSave(handle, parent)
- sbtSave(handle, rn)
- return sbtPromote(handle, rootPID, path[:pi], parent.info.Hdr.PageID, pk2, rn.info.Hdr.PageID, el)
- }
- // ======================== 鍒犻櫎 ========================
- func SBTDelete(rootPID uint32, key []byte, handle page.HandleDb) (uint32, error) {
- if rootPID == 0 {
- return 0, page.ErrNotFound
- }
- return sbtDeleteRec(rootPID, key, nil, handle)
- }
- func sbtDeleteRec(nodePID uint32, key []byte, path []btPathEntry, handle page.HandleDb) (uint32, error) {
- node := sbtLoad(handle, nodePID)
- if node == nil {
- return nodePID, page.ErrNotFound
- }
- el := int(node.info.EntryLen)
- if node.isLeaf() {
- pos, ok := sbtLeafFind(node, key)
- if !ok {
- return nodePID, page.ErrNotFound
- }
- sbtRmEntry(node, pos)
- if node.info.Count == 0 && len(path) == 0 {
- sbtSave(handle, node)
- return nodePID, nil
- }
- sbtSave(handle, node)
- if len(path) > 0 && node.info.Count > 0 {
- sbtTryMerge(handle, path, node, el)
- }
- return nodePID, nil
- }
- ci := sbtChildIdx(node, key)
- childPID := sbtChildPID(sbtEntry(node, ci))
- newPath := make([]btPathEntry, len(path)+1)
- copy(newPath, path)
- newPath[len(path)] = btPathEntry{nodePID: nodePID, childIdx: ci}
- newChildPID, err := sbtDeleteRec(childPID, key, newPath, handle)
- if err != nil {
- return nodePID, err
- }
- if newChildPID != childPID {
- sbtSetChildPID(sbtEntry(node, ci), newChildPID)
- }
- if node.info.Count > 0 {
- // 检查实际删除发生的子节点 ci 是否需要 underflow 处理
- if ci >= 0 && ci < int(node.info.Count) {
- cpID := sbtChildPID(sbtEntry(node, ci))
- child := sbtLoad(handle, cpID)
- if child != nil && child.info.Count == 0 {
- sbtHandleUnderflow(node, ci, el, handle)
- }
- }
- }
- if node.info.Count == 0 {
- return nodePID, nil
- }
- sbtSave(handle, node)
- return nodePID, nil
- }
- func sbtTryMerge(handle page.HandleDb, path []btPathEntry, node *btNode, el int) {
- if len(path) == 0 {
- return
- }
- pp := path[len(path)-1].nodePID
- parent := sbtLoad(handle, pp)
- if parent == nil {
- return
- }
- ci := -1
- for i := 0; i < int(parent.info.Count); i++ {
- if sbtChildPID(sbtEntry(parent, i)) == node.info.Hdr.PageID {
- ci = i
- break
- }
- }
- if ci < 0 {
- return
- }
- if ci > 0 {
- leftPID := sbtChildPID(sbtEntry(parent, ci-1))
- left := sbtLoad(handle, leftPID)
- if left != nil && left.isLeaf() {
- combined := uint32(page.IndexHeadSize) + (left.info.Count+node.info.Count)*uint32(el)
- threshold := uint32(btSplitThreshold())
- if combined <= threshold {
- rc := int(node.info.Count)
- copy(left.entries[int(left.info.Count)*el:], node.entries[:rc*el])
- left.info.Count += node.info.Count
- left.info.Hdr.UseSize += uint32(rc * el)
- left.info.Hdr.NextPage = node.info.Hdr.NextPage
- sbtSave(handle, left)
- if left.info.Hdr.NextPage != 0 {
- nl := sbtLoad(handle, left.info.Hdr.NextPage)
- if nl != nil {
- nl.info.Hdr.PrePage = leftPID
- sbtSave(handle, nl)
- }
- }
- sbtRmEntry(parent, ci)
- sbtSave(handle, parent)
- return
- }
- }
- }
- if ci < int(parent.info.Count)-1 {
- rightPID := sbtChildPID(sbtEntry(parent, ci+1))
- right := sbtLoad(handle, rightPID)
- if right != nil && right.isLeaf() {
- combined := uint32(page.IndexHeadSize) + (node.info.Count+right.info.Count)*uint32(el)
- threshold := uint32(btSplitThreshold())
- if combined <= threshold {
- rc := int(right.info.Count)
- copy(node.entries[int(node.info.Count)*el:], right.entries[:rc*el])
- node.info.Count += right.info.Count
- node.info.Hdr.UseSize += uint32(rc * el)
- node.info.Hdr.NextPage = right.info.Hdr.NextPage
- sbtSave(handle, node)
- if node.info.Hdr.NextPage != 0 {
- nl := sbtLoad(handle, node.info.Hdr.NextPage)
- if nl != nil {
- nl.info.Hdr.PrePage = node.info.Hdr.PageID
- sbtSave(handle, nl)
- }
- }
- sbtRmEntry(parent, ci+1)
- sbtSave(handle, parent)
- return
- }
- }
- }
- }
- func sbtHandleUnderflow(parent *btNode, childIdx int, el int, handle page.HandleDb) {
- childPID := sbtChildPID(sbtEntry(parent, childIdx))
- child := sbtLoad(handle, childPID)
- if child == nil {
- return
- }
- if childIdx > 0 {
- leftPID := sbtChildPID(sbtEntry(parent, childIdx-1))
- leftSib := sbtLoad(handle, leftPID)
- if leftSib != nil && int(leftSib.info.Count) > 1 {
- borrowed := make([]byte, el)
- copy(borrowed, sbtEntry(leftSib, int(leftSib.info.Count)-1))
- sbtRmEntry(leftSib, int(leftSib.info.Count)-1)
- if child.isLeaf() {
- sbtInsEntry(child, borrowed, 0)
- copy(sbtEntry(parent, childIdx)[:el-4], sbtLeafKey(sbtEntry(child, 0)))
- // 左兄弟失去末条后首条可能变化, 更新其父条目
- copy(sbtEntry(parent, childIdx-1)[:el-4], sbtLeafKey(sbtEntry(leftSib, 0)))
- } else {
- sbtInsEntry(child, borrowed, 0)
- copy(sbtEntry(parent, childIdx)[:el-4], sbtIntKey(borrowed))
- // 左兄弟失去末条后首条可能变化, 更新其父条目
- copy(sbtEntry(parent, childIdx-1)[:el-4], sbtIntKey(sbtEntry(leftSib, 0)))
- }
- sbtSave(handle, leftSib)
- sbtSave(handle, child)
- sbtSave(handle, parent)
- return
- }
- }
- if childIdx < int(parent.info.Count)-1 {
- rightPID := sbtChildPID(sbtEntry(parent, childIdx+1))
- rightSib := sbtLoad(handle, rightPID)
- if rightSib != nil && int(rightSib.info.Count) > 1 {
- borrowed := make([]byte, el)
- copy(borrowed, sbtEntry(rightSib, 0))
- sbtRmEntry(rightSib, 0)
- if child.isLeaf() {
- sbtInsEntry(child, borrowed, int(child.info.Count))
- copy(sbtEntry(parent, childIdx)[:el-4], sbtLeafKey(sbtEntry(rightSib, 0)))
- // 右兄弟失去首条后最小键变化, 更新其父条目
- copy(sbtEntry(parent, childIdx+1)[:el-4], sbtLeafKey(sbtEntry(rightSib, 0)))
- } else {
- sbtInsEntry(child, borrowed, int(child.info.Count))
- copy(sbtEntry(parent, childIdx)[:el-4], sbtIntKey(borrowed))
- // 右兄弟失去首条后最小键变化, 更新其父条目
- copy(sbtEntry(parent, childIdx+1)[:el-4], sbtIntKey(sbtEntry(rightSib, 0)))
- }
- sbtSave(handle, rightSib)
- sbtSave(handle, child)
- sbtSave(handle, parent)
- return
- }
- }
- if childIdx > 0 {
- sbtMergeChildren(handle, parent, childIdx-1, el)
- } else if childIdx < int(parent.info.Count)-1 {
- sbtMergeChildren(handle, parent, childIdx, el)
- }
- }
- func sbtMergeChildren(handle page.HandleDb, parent *btNode, sepIdx int, el int) {
- leftPID := sbtChildPID(sbtEntry(parent, sepIdx))
- rightPID := sbtChildPID(sbtEntry(parent, sepIdx+1))
- left := sbtLoad(handle, leftPID)
- right := sbtLoad(handle, rightPID)
- if left == nil || right == nil {
- return
- }
- if left.isLeaf() {
- rc := int(right.info.Count)
- copy(left.entries[int(left.info.Count)*el:], right.entries[:rc*el])
- left.info.Count += right.info.Count
- left.info.Hdr.UseSize += uint32(rc * el)
- left.info.Hdr.NextPage = right.info.Hdr.NextPage
- } else {
- sepEntry := make([]byte, el)
- copy(sepEntry, sbtEntry(parent, sepIdx))
- rc := int(right.info.Count)
- off := int(left.info.Count) * el
- copy(left.entries[off:], sepEntry)
- off += el
- copy(left.entries[off:], right.entries[:rc*el])
- left.info.Count += 1 + right.info.Count
- left.info.Hdr.UseSize += uint32((1 + rc) * el)
- }
- sbtSave(handle, left)
- if left.isLeaf() && left.info.Hdr.NextPage != 0 {
- nl := sbtLoad(handle, left.info.Hdr.NextPage)
- if nl != nil {
- nl.info.Hdr.PrePage = leftPID
- sbtSave(handle, nl)
- }
- }
- sbtRmEntry(parent, sepIdx+1)
- sbtSetChildPID(sbtEntry(parent, sepIdx), leftPID)
- sbtSave(handle, left)
- }
- // SBTBuildFromSorted 从已排序的条目批量构建二级 B+ 树 (自底向上)
- // entries: 每个条目 = [key(keyLen) + pkID(8B)], 已按 key 升序排列
- // 返回新树根 pageID
- //
- // 内存优化: 避免逐行 B+ 树搜索 (每次 sbtLoad 16KB), 改为顺序创建所有节点
- func SBTBuildFromSorted(entries [][]byte, handle page.HandleDb) uint32 {
- if len(entries) == 0 {
- return 0
- }
- el := len(entries[0]) // entry len: keyLen + 8
- keyLen := el - 8
- maxPerLeaf := maxLeafEntries(el)
- type childInfo struct {
- pid uint32
- firstKey []byte // 该子树第一个 key (keyLen 字节)
- }
- var children []childInfo
- var prevLeafPID uint32
- // 构建叶节点 (带链表链接)
- for i := 0; i < len(entries); {
- end := i + maxPerLeaf
- if end > len(entries) {
- end = len(entries)
- }
- leaf := sbtNew(handle, true, el)
- for j := i; j < end; j++ {
- dst := sbtEntry(leaf, int(leaf.info.Count))
- copy(dst, entries[j])
- leaf.info.Count++
- leaf.info.Hdr.UseSize += uint32(el)
- }
- leaf.info.Hdr.PrePage = prevLeafPID
- sbtSave(handle, leaf)
- if prevLeafPID != 0 {
- prevLeaf := sbtLoad(handle, prevLeafPID)
- if prevLeaf != nil {
- prevLeaf.info.Hdr.NextPage = leaf.pageID()
- sbtSave(handle, prevLeaf)
- }
- }
- prevLeafPID = leaf.pageID()
- fk := make([]byte, keyLen)
- copy(fk, entries[i][:keyLen])
- children = append(children, childInfo{pid: leaf.pageID(), firstKey: fk})
- i = end
- }
- if len(children) == 1 {
- return children[0].pid
- }
- // 自底向上构建内部节点
- // 路由约定 (sbtRoute): 找最后一个 entry.key <= searchKey
- // 内部节点条目: entry[i] = (nextChildFirstKey, child[i].pid)
- // 即 entry[i].key = child[i+1] 的第一个 key (最后一项用自身 key)
- intEl := el
- maxPerInt := maxLeafEntries(intEl)
- for len(children) > 1 {
- var parents []childInfo
- for i := 0; i < len(children); {
- end := i + maxPerInt
- if end > len(children) {
- end = len(children)
- }
- node := sbtNew(handle, false, intEl)
- for j := i; j < end; j++ {
- e := make([]byte, intEl)
- // 分隔键 = 下一个 child 的第一个 key (最后一项用自身)
- var sepKey []byte
- if j+1 < end {
- sepKey = children[j+1].firstKey
- } else {
- sepKey = children[j].firstKey
- }
- copy(e[:keyLen], sepKey)
- sbtSetChildPID(e, children[j].pid)
- dst := sbtEntry(node, int(node.info.Count))
- copy(dst, e)
- node.info.Count++
- node.info.Hdr.UseSize += uint32(intEl)
- }
- sbtSave(handle, node)
- parents = append(parents, childInfo{
- pid: node.pageID(),
- firstKey: children[i].firstKey,
- })
- i = end
- }
- children = parents
- }
- return children[0].pid
- }
|