secondary.go 23 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864
  1. package btree
  2. import (
  3. "TsDB2/DB/core/page"
  4. "encoding/binary"
  5. "errors"
  6. "unsafe"
  7. )
  8. // ======================== 浜岀骇 B+ 鏍戠储寮曟搷浣?========================
  9. // 鍙惰妭鐐? [key(keyLen) + PKID(8B)] entryLen = keyLen + 8
  10. // 鍐呰妭鐐? [key(keyLen) + childPID(4B)] entryLen = keyLen + 4
  11. // 鍒嗚: 缁熶竴 50/50 (涓嶅仛椤哄簭浼樺寲, 浜岀骇绱㈠紩閿彲鑳介潪鑷)
  12. // 鍚堝苟: InnoDB 椋庢牸 鈥?鍒犻櫎鍚庢鏌ュ綋鍓嶉〉+鍏勫紵椤佃兘鍚︽斁杩涗竴椤?
  13. // ----- 鑺傜偣 I/O -----
  14. func sbtNew(handle page.HandleDb, isLeaf bool, entryLen int) *btNode {
  15. pid := handle.NewPage()
  16. buf := make([]byte, page.IndexPageSize)
  17. info := (*page.IndexHead)(unsafe.Pointer(&buf[0]))
  18. info.Hdr.Type = page.IndexDataIndex
  19. info.Hdr.PageID = pid
  20. info.Hdr.UseSize = uint32(page.IndexHeadSize)
  21. info.IndexType = page.IndexTypeBTree
  22. info.EntryLen = uint16(entryLen)
  23. info.Count = 0
  24. if isLeaf {
  25. info.IsLeaf = 1
  26. }
  27. return &btNode{buf: buf, info: info, entries: buf[page.IndexHeadSize:]}
  28. }
  29. func sbtLoad(handle page.HandleDb, pid uint32) *btNode {
  30. if pid == 0 {
  31. return nil
  32. }
  33. buf := make([]byte, page.IndexPageSize)
  34. if err := handle.ReadPage(pid, buf); err != nil {
  35. return nil
  36. }
  37. info := (*page.IndexHead)(unsafe.Pointer(&buf[0]))
  38. return &btNode{buf: buf, info: info, entries: buf[page.IndexHeadSize:]}
  39. }
  40. func sbtSave(handle page.HandleDb, n *btNode) {
  41. _ = handle.SavePage(n.info.Hdr.PageID, n.buf)
  42. }
  43. // ----- 鏉$洰鎿嶄綔 -----
  44. func sbtEntry(n *btNode, i int) []byte {
  45. el := int(n.info.EntryLen)
  46. return n.entries[i*el : (i+1)*el]
  47. }
  48. func sbtLeafKey(e []byte) []byte { return e[:len(e)-8] }
  49. func sbtPKID(e []byte) uint64 { return binary.BigEndian.Uint64(e[len(e)-8:]) }
  50. func sbtIntKey(e []byte) []byte { return e[:len(e)-4] }
  51. func sbtChildPID(e []byte) uint32 { return binary.BigEndian.Uint32(e[len(e)-4:]) }
  52. func sbtSetChildPID(e []byte, pid uint32) { binary.BigEndian.PutUint32(e[len(e)-4:], pid) }
  53. func sbtCmp(a, b []byte) int {
  54. ml := len(a)
  55. if len(b) < ml {
  56. ml = len(b)
  57. }
  58. for i := 0; i < ml; i++ {
  59. if a[i] < b[i] {
  60. return -1
  61. }
  62. if a[i] > b[i] {
  63. return 1
  64. }
  65. }
  66. return 0
  67. }
  68. // ----- 鍐呰妭鐐硅矾鐢?-----
  69. func sbtRoute(n *btNode, key []byte) uint32 {
  70. cnt := int(n.info.Count)
  71. // 二分查找: 找最后一个 entry.key <= key 的位置
  72. left, right := 0, cnt-1
  73. result := 0
  74. for left <= right {
  75. mid := (left + right) / 2
  76. if sbtCmp(sbtIntKey(sbtEntry(n, mid)), key) <= 0 {
  77. result = mid
  78. left = mid + 1 // 继续向右找
  79. } else {
  80. right = mid - 1
  81. }
  82. }
  83. return sbtChildPID(sbtEntry(n, result))
  84. }
  85. func sbtChildIdx(n *btNode, key []byte) int {
  86. cnt := int(n.info.Count)
  87. el := int(n.info.EntryLen)
  88. // 二分查找: 找最后一个 entry.key <= key 的位置
  89. left, right := 0, cnt-1
  90. result := 0
  91. for left <= right {
  92. mid := (left + right) / 2
  93. if sbtCmp(sbtEntry(n, mid)[:el-4], key) <= 0 {
  94. result = mid
  95. left = mid + 1 // 继续向右找
  96. } else {
  97. right = mid - 1
  98. }
  99. }
  100. return result
  101. }
  102. // ----- 鍙惰妭鐐规搷浣?-----
  103. func sbtInsEntry(n *btNode, entry []byte, pos int) {
  104. el := int(n.info.EntryLen)
  105. cnt := int(n.info.Count)
  106. for i := cnt; i > pos; i-- {
  107. copy(sbtEntry(n, i), sbtEntry(n, i-1))
  108. }
  109. copy(sbtEntry(n, pos), entry)
  110. n.info.Count++
  111. n.info.Hdr.UseSize += uint32(el)
  112. }
  113. func sbtRmEntry(n *btNode, pos int) {
  114. el := int(n.info.EntryLen)
  115. cnt := int(n.info.Count)
  116. for i := pos; i < cnt-1; i++ {
  117. copy(sbtEntry(n, i), sbtEntry(n, i+1))
  118. }
  119. n.info.Count--
  120. n.info.Hdr.UseSize -= uint32(el)
  121. }
  122. func sbtLeafFind(n *btNode, key []byte) (int, bool) {
  123. el := int(n.info.EntryLen)
  124. cnt := int(n.info.Count)
  125. if cnt == 0 {
  126. return 0, false
  127. }
  128. left, right := 0, cnt-1
  129. for left <= right {
  130. mid := (left + right) / 2
  131. cmp := sbtCmp(sbtEntry(n, mid)[:el-8], key)
  132. if cmp == 0 {
  133. return mid, true
  134. } else if cmp < 0 {
  135. left = mid + 1
  136. } else {
  137. right = mid - 1
  138. }
  139. }
  140. return left, false
  141. }
  142. func sbtLeafPos(n *btNode, key []byte) int {
  143. pos, _ := sbtLeafFind(n, key)
  144. return pos
  145. }
  146. // ======================== 按 key+pkID 精确删除 ========================
  147. // SBTDeleteWithPKID 删除指定 key + pkID 的条目(处理重复 key 场景)
  148. func SBTDeleteWithPKID(rootPID uint32, key []byte, pkID uint64, handle page.HandleDb) (uint32, error) {
  149. if rootPID == 0 {
  150. return 0, page.ErrNotFound
  151. }
  152. cur := rootPID
  153. for {
  154. n := sbtLoad(handle, cur)
  155. if n == nil {
  156. return rootPID, page.ErrNotFound
  157. }
  158. if n.isLeaf() {
  159. el := int(n.info.EntryLen)
  160. cnt := int(n.info.Count)
  161. pos, found := sbtLeafFind(n, key)
  162. if !found {
  163. return rootPID, page.ErrNotFound
  164. }
  165. // 遍历所有相同 key 的条目,找到匹配的 pkID
  166. deleted := false
  167. for i := pos; i < cnt; i++ {
  168. entry := sbtEntry(n, i)
  169. if sbtCmp(entry[:el-8], key) != 0 {
  170. break // 超出相同 key 范围
  171. }
  172. if sbtPKID(entry) == pkID {
  173. // 找到匹配项,删除它
  174. for j := i; j < cnt-1; j++ {
  175. copy(sbtEntry(n, j), sbtEntry(n, j+1))
  176. }
  177. n.info.Count--
  178. n.info.Hdr.UseSize -= uint32(el)
  179. sbtSave(handle, n)
  180. deleted = true
  181. break
  182. }
  183. }
  184. if !deleted {
  185. return rootPID, page.ErrNotFound
  186. }
  187. return rootPID, nil
  188. }
  189. cur = sbtRoute(n, key)
  190. }
  191. }
  192. // ======================== 查找所有相同 key 的 pkID ========================
  193. // SBTSearchAll 查找相同 key 下的所有 pkID
  194. func SBTSearchAll(rootPID uint32, key []byte, handle page.HandleDb) ([]uint64, bool) {
  195. if rootPID == 0 {
  196. return nil, false
  197. }
  198. var result []uint64
  199. cur := rootPID
  200. for {
  201. n := sbtLoad(handle, cur)
  202. if n == nil {
  203. return nil, false
  204. }
  205. if n.isLeaf() {
  206. el := int(n.info.EntryLen)
  207. cnt := int(n.info.Count)
  208. pos, found := sbtLeafFind(n, key)
  209. if !found {
  210. return nil, false
  211. }
  212. // 收集所有相同 key 的 pkID
  213. for i := pos; i < cnt; i++ {
  214. entry := sbtEntry(n, i)
  215. if sbtCmp(entry[:el-8], key) != 0 {
  216. break
  217. }
  218. result = append(result, sbtPKID(entry))
  219. }
  220. if len(result) == 0 {
  221. return nil, false
  222. }
  223. return result, true
  224. }
  225. cur = sbtRoute(n, key)
  226. }
  227. }
  228. // ======================== 搜索 ========================
  229. func SBTSearch(rootPID uint32, key []byte, handle page.HandleDb) (uint64, bool) {
  230. if rootPID == 0 {
  231. return 0, false
  232. }
  233. cur := rootPID
  234. for {
  235. n := sbtLoad(handle, cur)
  236. if n == nil {
  237. return 0, false
  238. }
  239. if n.isLeaf() {
  240. pos, ok := sbtLeafFind(n, key)
  241. if !ok {
  242. return 0, false
  243. }
  244. return sbtPKID(sbtEntry(n, pos)), true
  245. }
  246. cur = sbtRoute(n, key)
  247. }
  248. }
  249. // ======================== 鑼冨洿鎵弿 ========================
  250. func SBTRangeScan(rootPID uint32, handle page.HandleDb,
  251. startKey, endKey []byte, startInc, endInc bool, reverse bool,
  252. callback func(row []byte) bool) error {
  253. if rootPID == 0 {
  254. return nil
  255. }
  256. if !reverse {
  257. cur := rootPID
  258. for {
  259. n := sbtLoad(handle, cur)
  260. if n == nil {
  261. return nil
  262. }
  263. if n.isLeaf() {
  264. break
  265. }
  266. if startKey == nil {
  267. // startKey 为空时, 显式路由到最左叶 (跟随第一个子节点)
  268. cur = sbtChildPID(sbtEntry(n, 0))
  269. } else {
  270. cur = sbtRoute(n, startKey)
  271. }
  272. }
  273. for cur != 0 {
  274. n := sbtLoad(handle, cur)
  275. if n == nil {
  276. break
  277. }
  278. el := int(n.info.EntryLen)
  279. for i := 0; i < int(n.info.Count); i++ {
  280. entry := sbtEntry(n, i)
  281. key := entry[:el-8]
  282. if endKey != nil {
  283. cmp := sbtCmp(key, endKey)
  284. if cmp > 0 || (cmp == 0 && !endInc) {
  285. return nil
  286. }
  287. }
  288. if startKey != nil {
  289. cmp := sbtCmp(key, startKey)
  290. if cmp < 0 || (cmp == 0 && !startInc) {
  291. continue
  292. }
  293. }
  294. pkID := entry[el-8:]
  295. if !callback(pkID) {
  296. return nil
  297. }
  298. }
  299. cur = n.info.Hdr.NextPage
  300. }
  301. } else {
  302. // 反向: 路由到 endKey 或最右叶, 沿 PrePage 遍历
  303. cur := rootPID
  304. if endKey != nil {
  305. for {
  306. n := sbtLoad(handle, cur)
  307. if n == nil {
  308. return nil
  309. }
  310. if n.isLeaf() {
  311. break
  312. }
  313. cur = sbtRoute(n, endKey)
  314. }
  315. } else {
  316. for {
  317. n := sbtLoad(handle, cur)
  318. if n == nil {
  319. return nil
  320. }
  321. if n.isLeaf() {
  322. break
  323. }
  324. cur = sbtChildPID(sbtEntry(n, int(n.info.Count)-1))
  325. }
  326. }
  327. for cur != 0 {
  328. n := sbtLoad(handle, cur)
  329. if n == nil {
  330. break
  331. }
  332. el := int(n.info.EntryLen)
  333. for i := int(n.info.Count) - 1; i >= 0; i-- {
  334. entry := sbtEntry(n, i)
  335. key := entry[:el-8]
  336. if startKey != nil {
  337. cmp := sbtCmp(key, startKey)
  338. if cmp < 0 || (cmp == 0 && !startInc) {
  339. return nil
  340. }
  341. }
  342. if endKey != nil {
  343. cmp := sbtCmp(key, endKey)
  344. if cmp > 0 || (cmp == 0 && !endInc) {
  345. continue
  346. }
  347. }
  348. pkID := entry[el-8:]
  349. if !callback(pkID) {
  350. return nil
  351. }
  352. }
  353. cur = n.info.Hdr.PrePage
  354. }
  355. }
  356. return nil
  357. }
  358. // ======================== 鎻掑叆 ========================
  359. func SBTInsert(rootPID uint32, entry []byte, handle page.HandleDb) (uint32, error) {
  360. el := len(entry)
  361. if rootPID == 0 {
  362. leaf := sbtNew(handle, true, el)
  363. sbtInsEntry(leaf, entry, 0)
  364. sbtSave(handle, leaf)
  365. return leaf.pageID(), nil
  366. }
  367. var path []btPathEntry
  368. cur := rootPID
  369. for {
  370. n := sbtLoad(handle, cur)
  371. if n == nil {
  372. return rootPID, errors.New("sbt load failed")
  373. }
  374. if n.isLeaf() {
  375. key := entry[:el-8]
  376. ip := sbtLeafPos(n, key)
  377. // 二级索引允许重复键, 插入到相同 key 的条目之后
  378. for ip < int(n.info.Count) && sbtCmp(sbtEntry(n, ip)[:el-8], key) == 0 {
  379. ip++
  380. }
  381. if int(n.info.Hdr.UseSize)+el <= btSplitThreshold() {
  382. sbtInsEntry(n, entry, ip)
  383. sbtSave(handle, n)
  384. return rootPID, nil
  385. }
  386. cnt := int(n.info.Count)
  387. total := cnt + 1
  388. all := make([]byte, total*el)
  389. if ip > 0 {
  390. copy(all, n.entries[:ip*el])
  391. }
  392. copy(all[ip*el:], entry)
  393. if cnt > ip {
  394. copy(all[(ip+1)*el:], n.entries[ip*el:cnt*el])
  395. }
  396. mid := total / 2
  397. rl := sbtNew(handle, true, el)
  398. rc := total - mid
  399. copy(rl.entries, all[mid*el:total*el])
  400. rl.info.Count = uint32(rc)
  401. rl.info.Hdr.UseSize = uint32(page.IndexHeadSize) + uint32(rc*el)
  402. rl.info.Hdr.NextPage = n.info.Hdr.NextPage
  403. rl.info.Hdr.PrePage = n.info.Hdr.PageID
  404. n.info.Hdr.NextPage = rl.info.Hdr.PageID
  405. copy(n.entries, all[:mid*el])
  406. n.info.Count = uint32(mid)
  407. n.info.Hdr.UseSize = uint32(page.IndexHeadSize) + uint32(mid*el)
  408. sbtSave(handle, n)
  409. sbtSave(handle, rl)
  410. if rl.info.Hdr.NextPage != 0 {
  411. nl := sbtLoad(handle, rl.info.Hdr.NextPage)
  412. if nl != nil {
  413. nl.info.Hdr.PrePage = rl.info.Hdr.PageID
  414. sbtSave(handle, nl)
  415. }
  416. }
  417. // 使用右子树最左叶的第一个 key 作为 promoKey
  418. pk := sbtLeftmostKey(handle, rl.info.Hdr.PageID, el)
  419. nr, err := sbtPromote(handle, rootPID, path, n.info.Hdr.PageID, pk, rl.info.Hdr.PageID, el)
  420. return nr, err
  421. }
  422. ci := sbtChildIdx(n, entry[:el-8])
  423. cpid := sbtChildPID(sbtEntry(n, ci))
  424. path = append(path, btPathEntry{nodePID: cur, childIdx: ci})
  425. cur = cpid
  426. }
  427. }
  428. func sbtLeftmostKey(handle page.HandleDb, nodePID uint32, el int) []byte {
  429. cur := nodePID
  430. for {
  431. n := sbtLoad(handle, cur)
  432. if n == nil {
  433. return nil
  434. }
  435. if n.isLeaf() {
  436. e := sbtEntry(n, 0)
  437. keyLen := el - 8
  438. result := make([]byte, el-4)
  439. copy(result, e[:keyLen])
  440. return result
  441. }
  442. cur = sbtChildPID(sbtEntry(n, 0))
  443. }
  444. }
  445. func sbtPromote(handle page.HandleDb, rootPID uint32, path []btPathEntry, leftPID uint32, promoKey []byte, rightPID uint32, el int) (uint32, error) {
  446. if len(path) == 0 {
  447. nr := sbtNew(handle, false, el)
  448. leftKey := sbtLeftmostKey(handle, leftPID, el)
  449. le := make([]byte, el)
  450. copy(le[:el-4], leftKey)
  451. sbtSetChildPID(le, leftPID)
  452. re := make([]byte, el)
  453. copy(re[:el-4], promoKey)
  454. sbtSetChildPID(re, rightPID)
  455. sbtInsEntry(nr, le, 0)
  456. sbtInsEntry(nr, re, 1)
  457. sbtSave(handle, nr)
  458. return nr.pageID(), nil
  459. }
  460. pi := len(path) - 1
  461. parent := sbtLoad(handle, path[pi].nodePID)
  462. if parent == nil {
  463. return rootPID, errors.New("sbt parent load failed")
  464. }
  465. ci := path[pi].childIdx
  466. cnt := int(parent.info.Count)
  467. pos := cnt
  468. for i := ci + 1; i < cnt; i++ {
  469. if sbtCmp(sbtIntKey(sbtEntry(parent, i)), promoKey) >= 0 {
  470. pos = i
  471. break
  472. }
  473. }
  474. for i := cnt; i > pos; i-- {
  475. copy(sbtEntry(parent, i), sbtEntry(parent, i-1))
  476. }
  477. ne := make([]byte, el)
  478. copy(ne[:el-4], promoKey)
  479. sbtSetChildPID(ne, rightPID)
  480. copy(sbtEntry(parent, pos), ne)
  481. parent.info.Count++
  482. parent.info.Hdr.UseSize += uint32(el)
  483. if int(parent.info.Hdr.UseSize)+el <= btSplitThreshold() {
  484. sbtSave(handle, parent)
  485. return rootPID, nil
  486. }
  487. cnt = int(parent.info.Count)
  488. mid := cnt / 2
  489. pk2 := make([]byte, el-4)
  490. copy(pk2, sbtIntKey(sbtEntry(parent, mid)))
  491. rn := sbtNew(handle, false, el)
  492. rc := cnt - mid - 1
  493. if rc > 0 {
  494. copy(rn.entries, parent.entries[(mid+1)*el:cnt*el])
  495. }
  496. rn.info.Count = uint32(rc)
  497. rn.info.Hdr.UseSize = uint32(page.IndexHeadSize) + uint32(rc*el)
  498. parent.info.Count = uint32(mid)
  499. parent.info.Hdr.UseSize = uint32(page.IndexHeadSize) + uint32(mid*el)
  500. sbtSave(handle, parent)
  501. sbtSave(handle, rn)
  502. return sbtPromote(handle, rootPID, path[:pi], parent.info.Hdr.PageID, pk2, rn.info.Hdr.PageID, el)
  503. }
  504. // ======================== 鍒犻櫎 ========================
  505. func SBTDelete(rootPID uint32, key []byte, handle page.HandleDb) (uint32, error) {
  506. if rootPID == 0 {
  507. return 0, page.ErrNotFound
  508. }
  509. return sbtDeleteRec(rootPID, key, nil, handle)
  510. }
  511. func sbtDeleteRec(nodePID uint32, key []byte, path []btPathEntry, handle page.HandleDb) (uint32, error) {
  512. node := sbtLoad(handle, nodePID)
  513. if node == nil {
  514. return nodePID, page.ErrNotFound
  515. }
  516. el := int(node.info.EntryLen)
  517. if node.isLeaf() {
  518. pos, ok := sbtLeafFind(node, key)
  519. if !ok {
  520. return nodePID, page.ErrNotFound
  521. }
  522. sbtRmEntry(node, pos)
  523. if node.info.Count == 0 && len(path) == 0 {
  524. sbtSave(handle, node)
  525. return nodePID, nil
  526. }
  527. sbtSave(handle, node)
  528. if len(path) > 0 && node.info.Count > 0 {
  529. sbtTryMerge(handle, path, node, el)
  530. }
  531. return nodePID, nil
  532. }
  533. ci := sbtChildIdx(node, key)
  534. childPID := sbtChildPID(sbtEntry(node, ci))
  535. newPath := make([]btPathEntry, len(path)+1)
  536. copy(newPath, path)
  537. newPath[len(path)] = btPathEntry{nodePID: nodePID, childIdx: ci}
  538. newChildPID, err := sbtDeleteRec(childPID, key, newPath, handle)
  539. if err != nil {
  540. return nodePID, err
  541. }
  542. if newChildPID != childPID {
  543. sbtSetChildPID(sbtEntry(node, ci), newChildPID)
  544. }
  545. if node.info.Count > 0 {
  546. // 检查实际删除发生的子节点 ci 是否需要 underflow 处理
  547. if ci >= 0 && ci < int(node.info.Count) {
  548. cpID := sbtChildPID(sbtEntry(node, ci))
  549. child := sbtLoad(handle, cpID)
  550. if child != nil && child.info.Count == 0 {
  551. sbtHandleUnderflow(node, ci, el, handle)
  552. }
  553. }
  554. }
  555. if node.info.Count == 0 {
  556. return nodePID, nil
  557. }
  558. sbtSave(handle, node)
  559. return nodePID, nil
  560. }
  561. func sbtTryMerge(handle page.HandleDb, path []btPathEntry, node *btNode, el int) {
  562. if len(path) == 0 {
  563. return
  564. }
  565. pp := path[len(path)-1].nodePID
  566. parent := sbtLoad(handle, pp)
  567. if parent == nil {
  568. return
  569. }
  570. ci := -1
  571. for i := 0; i < int(parent.info.Count); i++ {
  572. if sbtChildPID(sbtEntry(parent, i)) == node.info.Hdr.PageID {
  573. ci = i
  574. break
  575. }
  576. }
  577. if ci < 0 {
  578. return
  579. }
  580. if ci > 0 {
  581. leftPID := sbtChildPID(sbtEntry(parent, ci-1))
  582. left := sbtLoad(handle, leftPID)
  583. if left != nil && left.isLeaf() {
  584. combined := uint32(page.IndexHeadSize) + (left.info.Count+node.info.Count)*uint32(el)
  585. threshold := uint32(btSplitThreshold())
  586. if combined <= threshold {
  587. rc := int(node.info.Count)
  588. copy(left.entries[int(left.info.Count)*el:], node.entries[:rc*el])
  589. left.info.Count += node.info.Count
  590. left.info.Hdr.UseSize += uint32(rc * el)
  591. left.info.Hdr.NextPage = node.info.Hdr.NextPage
  592. sbtSave(handle, left)
  593. if left.info.Hdr.NextPage != 0 {
  594. nl := sbtLoad(handle, left.info.Hdr.NextPage)
  595. if nl != nil {
  596. nl.info.Hdr.PrePage = leftPID
  597. sbtSave(handle, nl)
  598. }
  599. }
  600. sbtRmEntry(parent, ci)
  601. sbtSave(handle, parent)
  602. return
  603. }
  604. }
  605. }
  606. if ci < int(parent.info.Count)-1 {
  607. rightPID := sbtChildPID(sbtEntry(parent, ci+1))
  608. right := sbtLoad(handle, rightPID)
  609. if right != nil && right.isLeaf() {
  610. combined := uint32(page.IndexHeadSize) + (node.info.Count+right.info.Count)*uint32(el)
  611. threshold := uint32(btSplitThreshold())
  612. if combined <= threshold {
  613. rc := int(right.info.Count)
  614. copy(node.entries[int(node.info.Count)*el:], right.entries[:rc*el])
  615. node.info.Count += right.info.Count
  616. node.info.Hdr.UseSize += uint32(rc * el)
  617. node.info.Hdr.NextPage = right.info.Hdr.NextPage
  618. sbtSave(handle, node)
  619. if node.info.Hdr.NextPage != 0 {
  620. nl := sbtLoad(handle, node.info.Hdr.NextPage)
  621. if nl != nil {
  622. nl.info.Hdr.PrePage = node.info.Hdr.PageID
  623. sbtSave(handle, nl)
  624. }
  625. }
  626. sbtRmEntry(parent, ci+1)
  627. sbtSave(handle, parent)
  628. return
  629. }
  630. }
  631. }
  632. }
  633. func sbtHandleUnderflow(parent *btNode, childIdx int, el int, handle page.HandleDb) {
  634. childPID := sbtChildPID(sbtEntry(parent, childIdx))
  635. child := sbtLoad(handle, childPID)
  636. if child == nil {
  637. return
  638. }
  639. if childIdx > 0 {
  640. leftPID := sbtChildPID(sbtEntry(parent, childIdx-1))
  641. leftSib := sbtLoad(handle, leftPID)
  642. if leftSib != nil && int(leftSib.info.Count) > 1 {
  643. borrowed := make([]byte, el)
  644. copy(borrowed, sbtEntry(leftSib, int(leftSib.info.Count)-1))
  645. sbtRmEntry(leftSib, int(leftSib.info.Count)-1)
  646. if child.isLeaf() {
  647. sbtInsEntry(child, borrowed, 0)
  648. copy(sbtEntry(parent, childIdx)[:el-4], sbtLeafKey(sbtEntry(child, 0)))
  649. // 左兄弟失去末条后首条可能变化, 更新其父条目
  650. copy(sbtEntry(parent, childIdx-1)[:el-4], sbtLeafKey(sbtEntry(leftSib, 0)))
  651. } else {
  652. sbtInsEntry(child, borrowed, 0)
  653. copy(sbtEntry(parent, childIdx)[:el-4], sbtIntKey(borrowed))
  654. // 左兄弟失去末条后首条可能变化, 更新其父条目
  655. copy(sbtEntry(parent, childIdx-1)[:el-4], sbtIntKey(sbtEntry(leftSib, 0)))
  656. }
  657. sbtSave(handle, leftSib)
  658. sbtSave(handle, child)
  659. sbtSave(handle, parent)
  660. return
  661. }
  662. }
  663. if childIdx < int(parent.info.Count)-1 {
  664. rightPID := sbtChildPID(sbtEntry(parent, childIdx+1))
  665. rightSib := sbtLoad(handle, rightPID)
  666. if rightSib != nil && int(rightSib.info.Count) > 1 {
  667. borrowed := make([]byte, el)
  668. copy(borrowed, sbtEntry(rightSib, 0))
  669. sbtRmEntry(rightSib, 0)
  670. if child.isLeaf() {
  671. sbtInsEntry(child, borrowed, int(child.info.Count))
  672. copy(sbtEntry(parent, childIdx)[:el-4], sbtLeafKey(sbtEntry(rightSib, 0)))
  673. // 右兄弟失去首条后最小键变化, 更新其父条目
  674. copy(sbtEntry(parent, childIdx+1)[:el-4], sbtLeafKey(sbtEntry(rightSib, 0)))
  675. } else {
  676. sbtInsEntry(child, borrowed, int(child.info.Count))
  677. copy(sbtEntry(parent, childIdx)[:el-4], sbtIntKey(borrowed))
  678. // 右兄弟失去首条后最小键变化, 更新其父条目
  679. copy(sbtEntry(parent, childIdx+1)[:el-4], sbtIntKey(sbtEntry(rightSib, 0)))
  680. }
  681. sbtSave(handle, rightSib)
  682. sbtSave(handle, child)
  683. sbtSave(handle, parent)
  684. return
  685. }
  686. }
  687. if childIdx > 0 {
  688. sbtMergeChildren(handle, parent, childIdx-1, el)
  689. } else if childIdx < int(parent.info.Count)-1 {
  690. sbtMergeChildren(handle, parent, childIdx, el)
  691. }
  692. }
  693. func sbtMergeChildren(handle page.HandleDb, parent *btNode, sepIdx int, el int) {
  694. leftPID := sbtChildPID(sbtEntry(parent, sepIdx))
  695. rightPID := sbtChildPID(sbtEntry(parent, sepIdx+1))
  696. left := sbtLoad(handle, leftPID)
  697. right := sbtLoad(handle, rightPID)
  698. if left == nil || right == nil {
  699. return
  700. }
  701. if left.isLeaf() {
  702. rc := int(right.info.Count)
  703. copy(left.entries[int(left.info.Count)*el:], right.entries[:rc*el])
  704. left.info.Count += right.info.Count
  705. left.info.Hdr.UseSize += uint32(rc * el)
  706. left.info.Hdr.NextPage = right.info.Hdr.NextPage
  707. } else {
  708. sepEntry := make([]byte, el)
  709. copy(sepEntry, sbtEntry(parent, sepIdx))
  710. rc := int(right.info.Count)
  711. off := int(left.info.Count) * el
  712. copy(left.entries[off:], sepEntry)
  713. off += el
  714. copy(left.entries[off:], right.entries[:rc*el])
  715. left.info.Count += 1 + right.info.Count
  716. left.info.Hdr.UseSize += uint32((1 + rc) * el)
  717. }
  718. sbtSave(handle, left)
  719. if left.isLeaf() && left.info.Hdr.NextPage != 0 {
  720. nl := sbtLoad(handle, left.info.Hdr.NextPage)
  721. if nl != nil {
  722. nl.info.Hdr.PrePage = leftPID
  723. sbtSave(handle, nl)
  724. }
  725. }
  726. sbtRmEntry(parent, sepIdx+1)
  727. sbtSetChildPID(sbtEntry(parent, sepIdx), leftPID)
  728. sbtSave(handle, left)
  729. }
  730. // SBTBuildFromSorted 从已排序的条目批量构建二级 B+ 树 (自底向上)
  731. // entries: 每个条目 = [key(keyLen) + pkID(8B)], 已按 key 升序排列
  732. // 返回新树根 pageID
  733. //
  734. // 内存优化: 避免逐行 B+ 树搜索 (每次 sbtLoad 16KB), 改为顺序创建所有节点
  735. func SBTBuildFromSorted(entries [][]byte, handle page.HandleDb) uint32 {
  736. if len(entries) == 0 {
  737. return 0
  738. }
  739. el := len(entries[0]) // entry len: keyLen + 8
  740. keyLen := el - 8
  741. maxPerLeaf := maxLeafEntries(el)
  742. type childInfo struct {
  743. pid uint32
  744. firstKey []byte // 该子树第一个 key (keyLen 字节)
  745. }
  746. var children []childInfo
  747. var prevLeafPID uint32
  748. // 构建叶节点 (带链表链接)
  749. for i := 0; i < len(entries); {
  750. end := i + maxPerLeaf
  751. if end > len(entries) {
  752. end = len(entries)
  753. }
  754. leaf := sbtNew(handle, true, el)
  755. for j := i; j < end; j++ {
  756. dst := sbtEntry(leaf, int(leaf.info.Count))
  757. copy(dst, entries[j])
  758. leaf.info.Count++
  759. leaf.info.Hdr.UseSize += uint32(el)
  760. }
  761. leaf.info.Hdr.PrePage = prevLeafPID
  762. sbtSave(handle, leaf)
  763. if prevLeafPID != 0 {
  764. prevLeaf := sbtLoad(handle, prevLeafPID)
  765. if prevLeaf != nil {
  766. prevLeaf.info.Hdr.NextPage = leaf.pageID()
  767. sbtSave(handle, prevLeaf)
  768. }
  769. }
  770. prevLeafPID = leaf.pageID()
  771. fk := make([]byte, keyLen)
  772. copy(fk, entries[i][:keyLen])
  773. children = append(children, childInfo{pid: leaf.pageID(), firstKey: fk})
  774. i = end
  775. }
  776. if len(children) == 1 {
  777. return children[0].pid
  778. }
  779. // 自底向上构建内部节点
  780. // 路由约定 (sbtRoute): 找最后一个 entry.key <= searchKey
  781. // 内部节点条目: entry[i] = (nextChildFirstKey, child[i].pid)
  782. // 即 entry[i].key = child[i+1] 的第一个 key (最后一项用自身 key)
  783. intEl := el
  784. maxPerInt := maxLeafEntries(intEl)
  785. for len(children) > 1 {
  786. var parents []childInfo
  787. for i := 0; i < len(children); {
  788. end := i + maxPerInt
  789. if end > len(children) {
  790. end = len(children)
  791. }
  792. node := sbtNew(handle, false, intEl)
  793. for j := i; j < end; j++ {
  794. e := make([]byte, intEl)
  795. // 分隔键 = 下一个 child 的第一个 key (最后一项用自身)
  796. var sepKey []byte
  797. if j+1 < end {
  798. sepKey = children[j+1].firstKey
  799. } else {
  800. sepKey = children[j].firstKey
  801. }
  802. copy(e[:keyLen], sepKey)
  803. sbtSetChildPID(e, children[j].pid)
  804. dst := sbtEntry(node, int(node.info.Count))
  805. copy(dst, e)
  806. node.info.Count++
  807. node.info.Hdr.UseSize += uint32(intEl)
  808. }
  809. sbtSave(handle, node)
  810. parents = append(parents, childInfo{
  811. pid: node.pageID(),
  812. firstKey: children[i].firstKey,
  813. })
  814. i = end
  815. }
  816. children = parents
  817. }
  818. return children[0].pid
  819. }