secondary.go 17 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649
  1. package btree
  2. import (
  3. "TsDB2/DB/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. result := 0
  72. for i := 0; i < cnt; i++ {
  73. if sbtCmp(sbtIntKey(sbtEntry(n, i)), key) <= 0 {
  74. result = i
  75. }
  76. }
  77. return sbtChildPID(sbtEntry(n, result))
  78. }
  79. func sbtChildIdx(n *btNode, key []byte) int {
  80. cnt := int(n.info.Count)
  81. result := 0
  82. for i := 0; i < cnt; i++ {
  83. if sbtCmp(sbtEntry(n, i)[:int(n.info.EntryLen)-4], key) <= 0 {
  84. result = i
  85. }
  86. }
  87. return result
  88. }
  89. // ----- 鍙惰妭鐐规搷浣?-----
  90. func sbtInsEntry(n *btNode, entry []byte, pos int) {
  91. el := int(n.info.EntryLen)
  92. cnt := int(n.info.Count)
  93. for i := cnt; i > pos; i-- {
  94. copy(sbtEntry(n, i), sbtEntry(n, i-1))
  95. }
  96. copy(sbtEntry(n, pos), entry)
  97. n.info.Count++
  98. n.info.Hdr.UseSize += uint32(el)
  99. }
  100. func sbtRmEntry(n *btNode, pos int) {
  101. el := int(n.info.EntryLen)
  102. cnt := int(n.info.Count)
  103. for i := pos; i < cnt-1; i++ {
  104. copy(sbtEntry(n, i), sbtEntry(n, i+1))
  105. }
  106. n.info.Count--
  107. n.info.Hdr.UseSize -= uint32(el)
  108. }
  109. func sbtLeafFind(n *btNode, key []byte) (int, bool) {
  110. el := int(n.info.EntryLen)
  111. cnt := int(n.info.Count)
  112. for i := 0; i < cnt; i++ {
  113. if sbtCmp(sbtEntry(n, i)[:el-8], key) == 0 {
  114. return i, true
  115. }
  116. }
  117. return 0, false
  118. }
  119. func sbtLeafPos(n *btNode, key []byte) int {
  120. el := int(n.info.EntryLen)
  121. cnt := int(n.info.Count)
  122. for i := 0; i < cnt; i++ {
  123. if sbtCmp(sbtEntry(n, i)[:el-8], key) >= 0 {
  124. return i
  125. }
  126. }
  127. return cnt
  128. }
  129. // ======================== 鎼滅储 ========================
  130. func SBTSearch(rootPID uint32, key []byte, handle page.HandleDb) (uint64, bool) {
  131. if rootPID == 0 {
  132. return 0, false
  133. }
  134. cur := rootPID
  135. for {
  136. n := sbtLoad(handle, cur)
  137. if n == nil {
  138. return 0, false
  139. }
  140. if n.isLeaf() {
  141. pos, ok := sbtLeafFind(n, key)
  142. if !ok {
  143. return 0, false
  144. }
  145. return sbtPKID(sbtEntry(n, pos)), true
  146. }
  147. cur = sbtRoute(n, key)
  148. }
  149. }
  150. // ======================== 鑼冨洿鎵弿 ========================
  151. func SBTRangeScan(rootPID uint32, handle page.HandleDb,
  152. startKey, endKey []byte, startInc, endInc bool, reverse bool,
  153. callback func(row []byte) bool) error {
  154. if rootPID == 0 {
  155. return nil
  156. }
  157. if !reverse {
  158. cur := rootPID
  159. for {
  160. n := sbtLoad(handle, cur)
  161. if n == nil {
  162. return nil
  163. }
  164. if n.isLeaf() {
  165. break
  166. }
  167. cur = sbtRoute(n, startKey)
  168. }
  169. for cur != 0 {
  170. n := sbtLoad(handle, cur)
  171. if n == nil {
  172. break
  173. }
  174. el := int(n.info.EntryLen)
  175. for i := 0; i < int(n.info.Count); i++ {
  176. entry := sbtEntry(n, i)
  177. key := entry[:el-8]
  178. if endKey != nil {
  179. cmp := sbtCmp(key, endKey)
  180. if cmp > 0 || (cmp == 0 && !endInc) {
  181. return nil
  182. }
  183. }
  184. if startKey != nil {
  185. cmp := sbtCmp(key, startKey)
  186. if cmp < 0 || (cmp == 0 && !startInc) {
  187. continue
  188. }
  189. }
  190. pkID := entry[el-8:]
  191. if !callback(pkID) {
  192. return nil
  193. }
  194. }
  195. cur = n.info.Hdr.NextPage
  196. }
  197. } else {
  198. // 反向: 路由到 endKey 或最右叶, 沿 PrePage 遍历
  199. cur := rootPID
  200. if endKey != nil {
  201. for {
  202. n := sbtLoad(handle, cur)
  203. if n == nil {
  204. return nil
  205. }
  206. if n.isLeaf() {
  207. break
  208. }
  209. cur = sbtRoute(n, endKey)
  210. }
  211. } else {
  212. for {
  213. n := sbtLoad(handle, cur)
  214. if n == nil {
  215. return nil
  216. }
  217. if n.isLeaf() {
  218. break
  219. }
  220. cur = sbtChildPID(sbtEntry(n, int(n.info.Count)-1))
  221. }
  222. }
  223. for cur != 0 {
  224. n := sbtLoad(handle, cur)
  225. if n == nil {
  226. break
  227. }
  228. el := int(n.info.EntryLen)
  229. for i := int(n.info.Count) - 1; i >= 0; i-- {
  230. entry := sbtEntry(n, i)
  231. key := entry[:el-8]
  232. if startKey != nil {
  233. cmp := sbtCmp(key, startKey)
  234. if cmp < 0 || (cmp == 0 && !startInc) {
  235. return nil
  236. }
  237. }
  238. if endKey != nil {
  239. cmp := sbtCmp(key, endKey)
  240. if cmp > 0 || (cmp == 0 && !endInc) {
  241. continue
  242. }
  243. }
  244. pkID := entry[el-8:]
  245. if !callback(pkID) {
  246. return nil
  247. }
  248. }
  249. cur = n.info.Hdr.PrePage
  250. }
  251. }
  252. return nil
  253. }
  254. // ======================== 鎻掑叆 ========================
  255. func SBTInsert(rootPID uint32, entry []byte, handle page.HandleDb) (uint32, error) {
  256. el := len(entry)
  257. if rootPID == 0 {
  258. leaf := sbtNew(handle, true, el)
  259. sbtInsEntry(leaf, entry, 0)
  260. sbtSave(handle, leaf)
  261. return leaf.pageID(), nil
  262. }
  263. var path []btPathEntry
  264. cur := rootPID
  265. for {
  266. n := sbtLoad(handle, cur)
  267. if n == nil {
  268. return rootPID, errors.New("sbt load failed")
  269. }
  270. if n.isLeaf() {
  271. key := entry[:el-8]
  272. ip := sbtLeafPos(n, key)
  273. // 二级索引允许重复键, 插入到相同 key 的条目之后
  274. for ip < int(n.info.Count) && sbtCmp(sbtEntry(n, ip)[:el-8], key) == 0 {
  275. ip++
  276. }
  277. if int(n.info.Hdr.UseSize)+el <= btSplitThreshold() {
  278. sbtInsEntry(n, entry, ip)
  279. sbtSave(handle, n)
  280. return rootPID, nil
  281. }
  282. cnt := int(n.info.Count)
  283. total := cnt + 1
  284. all := make([]byte, total*el)
  285. if ip > 0 {
  286. copy(all, n.entries[:ip*el])
  287. }
  288. copy(all[ip*el:], entry)
  289. if cnt > ip {
  290. copy(all[(ip+1)*el:], n.entries[ip*el:cnt*el])
  291. }
  292. mid := total / 2
  293. rl := sbtNew(handle, true, el)
  294. rc := total - mid
  295. copy(rl.entries, all[mid*el:total*el])
  296. rl.info.Count = uint32(rc)
  297. rl.info.Hdr.UseSize = uint32(page.IndexHeadSize) + uint32(rc*el)
  298. rl.info.Hdr.NextPage = n.info.Hdr.NextPage
  299. rl.info.Hdr.PrePage = n.info.Hdr.PageID
  300. n.info.Hdr.NextPage = rl.info.Hdr.PageID
  301. copy(n.entries, all[:mid*el])
  302. n.info.Count = uint32(mid)
  303. n.info.Hdr.UseSize = uint32(page.IndexHeadSize) + uint32(mid*el)
  304. sbtSave(handle, n)
  305. sbtSave(handle, rl)
  306. if rl.info.Hdr.NextPage != 0 {
  307. nl := sbtLoad(handle, rl.info.Hdr.NextPage)
  308. if nl != nil {
  309. nl.info.Hdr.PrePage = rl.info.Hdr.PageID
  310. sbtSave(handle, nl)
  311. }
  312. }
  313. // 使用右子树最左叶的第一个 key 作为 promoKey
  314. pk := sbtLeftmostKey(handle, rl.info.Hdr.PageID, el)
  315. nr, err := sbtPromote(handle, rootPID, path, n.info.Hdr.PageID, pk, rl.info.Hdr.PageID, el)
  316. return nr, err
  317. }
  318. ci := sbtChildIdx(n, entry[:el-8])
  319. cpid := sbtChildPID(sbtEntry(n, ci))
  320. path = append(path, btPathEntry{nodePID: cur, childIdx: ci})
  321. cur = cpid
  322. }
  323. }
  324. func sbtLeftmostKey(handle page.HandleDb, nodePID uint32, el int) []byte {
  325. cur := nodePID
  326. for {
  327. n := sbtLoad(handle, cur)
  328. if n == nil {
  329. return nil
  330. }
  331. if n.isLeaf() {
  332. e := sbtEntry(n, 0)
  333. keyLen := el - 8
  334. result := make([]byte, el-4)
  335. copy(result, e[:keyLen])
  336. return result
  337. }
  338. cur = sbtChildPID(sbtEntry(n, 0))
  339. }
  340. }
  341. func sbtPromote(handle page.HandleDb, rootPID uint32, path []btPathEntry, leftPID uint32, promoKey []byte, rightPID uint32, el int) (uint32, error) {
  342. if len(path) == 0 {
  343. nr := sbtNew(handle, false, el)
  344. leftKey := sbtLeftmostKey(handle, leftPID, el)
  345. le := make([]byte, el)
  346. copy(le[:el-4], leftKey)
  347. sbtSetChildPID(le, leftPID)
  348. re := make([]byte, el)
  349. copy(re[:el-4], promoKey)
  350. sbtSetChildPID(re, rightPID)
  351. sbtInsEntry(nr, le, 0)
  352. sbtInsEntry(nr, re, 1)
  353. sbtSave(handle, nr)
  354. return nr.pageID(), nil
  355. }
  356. pi := len(path) - 1
  357. parent := sbtLoad(handle, path[pi].nodePID)
  358. if parent == nil {
  359. return rootPID, errors.New("sbt parent load failed")
  360. }
  361. ci := path[pi].childIdx
  362. cnt := int(parent.info.Count)
  363. pos := cnt
  364. for i := ci + 1; i < cnt; i++ {
  365. if sbtCmp(sbtIntKey(sbtEntry(parent, i)), promoKey) >= 0 {
  366. pos = i
  367. break
  368. }
  369. }
  370. for i := cnt; i > pos; i-- {
  371. copy(sbtEntry(parent, i), sbtEntry(parent, i-1))
  372. }
  373. ne := make([]byte, el)
  374. copy(ne[:el-4], promoKey)
  375. sbtSetChildPID(ne, rightPID)
  376. copy(sbtEntry(parent, pos), ne)
  377. parent.info.Count++
  378. parent.info.Hdr.UseSize += uint32(el)
  379. if int(parent.info.Hdr.UseSize)+el <= btSplitThreshold() {
  380. sbtSave(handle, parent)
  381. return rootPID, nil
  382. }
  383. cnt = int(parent.info.Count)
  384. mid := cnt / 2
  385. pk2 := make([]byte, el-4)
  386. copy(pk2, sbtIntKey(sbtEntry(parent, mid)))
  387. rn := sbtNew(handle, false, el)
  388. rc := cnt - mid - 1
  389. if rc > 0 {
  390. copy(rn.entries, parent.entries[(mid+1)*el:cnt*el])
  391. }
  392. rn.info.Count = uint32(rc)
  393. rn.info.Hdr.UseSize = uint32(page.IndexHeadSize) + uint32(rc*el)
  394. parent.info.Count = uint32(mid)
  395. parent.info.Hdr.UseSize = uint32(page.IndexHeadSize) + uint32(mid*el)
  396. sbtSave(handle, parent)
  397. sbtSave(handle, rn)
  398. return sbtPromote(handle, rootPID, path[:pi], parent.info.Hdr.PageID, pk2, rn.info.Hdr.PageID, el)
  399. }
  400. // ======================== 鍒犻櫎 ========================
  401. func SBTDelete(rootPID uint32, key []byte, handle page.HandleDb) (uint32, error) {
  402. if rootPID == 0 {
  403. return 0, page.ErrNotFound
  404. }
  405. return sbtDeleteRec(rootPID, key, nil, handle)
  406. }
  407. func sbtDeleteRec(nodePID uint32, key []byte, path []btPathEntry, handle page.HandleDb) (uint32, error) {
  408. node := sbtLoad(handle, nodePID)
  409. if node == nil {
  410. return nodePID, page.ErrNotFound
  411. }
  412. el := int(node.info.EntryLen)
  413. if node.isLeaf() {
  414. pos, ok := sbtLeafFind(node, key)
  415. if !ok {
  416. return nodePID, page.ErrNotFound
  417. }
  418. sbtRmEntry(node, pos)
  419. if node.info.Count == 0 && len(path) == 0 {
  420. sbtSave(handle, node)
  421. return nodePID, nil
  422. }
  423. sbtSave(handle, node)
  424. if len(path) > 0 && node.info.Count > 0 {
  425. sbtTryMerge(handle, path, node, el)
  426. }
  427. return nodePID, nil
  428. }
  429. ci := sbtChildIdx(node, key)
  430. childPID := sbtChildPID(sbtEntry(node, ci))
  431. newPath := make([]btPathEntry, len(path)+1)
  432. copy(newPath, path)
  433. newPath[len(path)] = btPathEntry{nodePID: nodePID, childIdx: ci}
  434. newChildPID, err := sbtDeleteRec(childPID, key, newPath, handle)
  435. if err != nil {
  436. return nodePID, err
  437. }
  438. if newChildPID != childPID {
  439. sbtSetChildPID(sbtEntry(node, ci), newChildPID)
  440. }
  441. if node.info.Count > 0 {
  442. ci2 := sbtChildIdx(node, key)
  443. if ci2 >= 0 && ci2 < int(node.info.Count) {
  444. cpID := sbtChildPID(sbtEntry(node, ci2))
  445. child := sbtLoad(handle, cpID)
  446. if child != nil && child.info.Count == 0 {
  447. sbtHandleUnderflow(node, ci2, el, handle)
  448. }
  449. }
  450. }
  451. if node.info.Count == 0 {
  452. return nodePID, nil
  453. }
  454. sbtSave(handle, node)
  455. return nodePID, nil
  456. }
  457. func sbtTryMerge(handle page.HandleDb, path []btPathEntry, node *btNode, el int) {
  458. if len(path) == 0 {
  459. return
  460. }
  461. pp := path[len(path)-1].nodePID
  462. parent := sbtLoad(handle, pp)
  463. if parent == nil {
  464. return
  465. }
  466. ci := -1
  467. for i := 0; i < int(parent.info.Count); i++ {
  468. if sbtChildPID(sbtEntry(parent, i)) == node.info.Hdr.PageID {
  469. ci = i
  470. break
  471. }
  472. }
  473. if ci < 0 {
  474. return
  475. }
  476. if ci > 0 {
  477. leftPID := sbtChildPID(sbtEntry(parent, ci-1))
  478. left := sbtLoad(handle, leftPID)
  479. if left != nil && left.isLeaf() {
  480. combined := uint32(page.IndexHeadSize) + (left.info.Count+node.info.Count)*uint32(el)
  481. threshold := uint32(btSplitThreshold())
  482. if combined <= threshold {
  483. rc := int(node.info.Count)
  484. copy(left.entries[int(left.info.Count)*el:], node.entries[:rc*el])
  485. left.info.Count += node.info.Count
  486. left.info.Hdr.UseSize += uint32(rc * el)
  487. left.info.Hdr.NextPage = node.info.Hdr.NextPage
  488. sbtSave(handle, left)
  489. if left.info.Hdr.NextPage != 0 {
  490. nl := sbtLoad(handle, left.info.Hdr.NextPage)
  491. if nl != nil {
  492. nl.info.Hdr.PrePage = leftPID
  493. sbtSave(handle, nl)
  494. }
  495. }
  496. sbtRmEntry(parent, ci)
  497. sbtSave(handle, parent)
  498. return
  499. }
  500. }
  501. }
  502. if ci < int(parent.info.Count)-1 {
  503. rightPID := sbtChildPID(sbtEntry(parent, ci+1))
  504. right := sbtLoad(handle, rightPID)
  505. if right != nil && right.isLeaf() {
  506. combined := uint32(page.IndexHeadSize) + (node.info.Count+right.info.Count)*uint32(el)
  507. threshold := uint32(btSplitThreshold())
  508. if combined <= threshold {
  509. rc := int(right.info.Count)
  510. copy(node.entries[int(node.info.Count)*el:], right.entries[:rc*el])
  511. node.info.Count += right.info.Count
  512. node.info.Hdr.UseSize += uint32(rc * el)
  513. node.info.Hdr.NextPage = right.info.Hdr.NextPage
  514. sbtSave(handle, node)
  515. if node.info.Hdr.NextPage != 0 {
  516. nl := sbtLoad(handle, node.info.Hdr.NextPage)
  517. if nl != nil {
  518. nl.info.Hdr.PrePage = node.info.Hdr.PageID
  519. sbtSave(handle, nl)
  520. }
  521. }
  522. sbtRmEntry(parent, ci+1)
  523. sbtSave(handle, parent)
  524. return
  525. }
  526. }
  527. }
  528. }
  529. func sbtHandleUnderflow(parent *btNode, childIdx int, el int, handle page.HandleDb) {
  530. childPID := sbtChildPID(sbtEntry(parent, childIdx))
  531. child := sbtLoad(handle, childPID)
  532. if child == nil {
  533. return
  534. }
  535. if childIdx > 0 {
  536. leftPID := sbtChildPID(sbtEntry(parent, childIdx-1))
  537. leftSib := sbtLoad(handle, leftPID)
  538. if leftSib != nil && int(leftSib.info.Count) > 1 {
  539. borrowed := make([]byte, el)
  540. copy(borrowed, sbtEntry(leftSib, int(leftSib.info.Count)-1))
  541. sbtRmEntry(leftSib, int(leftSib.info.Count)-1)
  542. if child.isLeaf() {
  543. sbtInsEntry(child, borrowed, 0)
  544. copy(sbtEntry(parent, childIdx)[:el-4], sbtLeafKey(sbtEntry(child, 0)))
  545. } else {
  546. sbtInsEntry(child, borrowed, 0)
  547. copy(sbtEntry(parent, childIdx)[:el-4], sbtIntKey(borrowed))
  548. }
  549. sbtSave(handle, leftSib)
  550. sbtSave(handle, child)
  551. sbtSave(handle, parent)
  552. return
  553. }
  554. }
  555. if childIdx < int(parent.info.Count)-1 {
  556. rightPID := sbtChildPID(sbtEntry(parent, childIdx+1))
  557. rightSib := sbtLoad(handle, rightPID)
  558. if rightSib != nil && int(rightSib.info.Count) > 1 {
  559. borrowed := make([]byte, el)
  560. copy(borrowed, sbtEntry(rightSib, 0))
  561. sbtRmEntry(rightSib, 0)
  562. if child.isLeaf() {
  563. sbtInsEntry(child, borrowed, int(child.info.Count))
  564. copy(sbtEntry(parent, childIdx)[:el-4], sbtLeafKey(sbtEntry(rightSib, 0)))
  565. } else {
  566. sbtInsEntry(child, borrowed, int(child.info.Count))
  567. copy(sbtEntry(parent, childIdx)[:el-4], sbtIntKey(borrowed))
  568. }
  569. sbtSave(handle, rightSib)
  570. sbtSave(handle, child)
  571. sbtSave(handle, parent)
  572. return
  573. }
  574. }
  575. if childIdx > 0 {
  576. sbtMergeChildren(handle, parent, childIdx-1, el)
  577. } else if childIdx < int(parent.info.Count)-1 {
  578. sbtMergeChildren(handle, parent, childIdx, el)
  579. }
  580. }
  581. func sbtMergeChildren(handle page.HandleDb, parent *btNode, sepIdx int, el int) {
  582. leftPID := sbtChildPID(sbtEntry(parent, sepIdx))
  583. rightPID := sbtChildPID(sbtEntry(parent, sepIdx+1))
  584. left := sbtLoad(handle, leftPID)
  585. right := sbtLoad(handle, rightPID)
  586. if left == nil || right == nil {
  587. return
  588. }
  589. if left.isLeaf() {
  590. rc := int(right.info.Count)
  591. copy(left.entries[int(left.info.Count)*el:], right.entries[:rc*el])
  592. left.info.Count += right.info.Count
  593. left.info.Hdr.UseSize += uint32(rc * el)
  594. left.info.Hdr.NextPage = right.info.Hdr.NextPage
  595. } else {
  596. sepEntry := make([]byte, el)
  597. copy(sepEntry, sbtEntry(parent, sepIdx))
  598. rc := int(right.info.Count)
  599. off := int(left.info.Count) * el
  600. copy(left.entries[off:], sepEntry)
  601. off += el
  602. copy(left.entries[off:], right.entries[:rc*el])
  603. left.info.Count += 1 + right.info.Count
  604. left.info.Hdr.UseSize += uint32((1 + rc) * el)
  605. }
  606. sbtSave(handle, left)
  607. if left.isLeaf() && left.info.Hdr.NextPage != 0 {
  608. nl := sbtLoad(handle, left.info.Hdr.NextPage)
  609. if nl != nil {
  610. nl.info.Hdr.PrePage = leftPID
  611. sbtSave(handle, nl)
  612. }
  613. }
  614. sbtRmEntry(parent, sepIdx+1)
  615. sbtSetChildPID(sbtEntry(parent, sepIdx), leftPID)
  616. sbtSave(handle, left)
  617. }