primary.go 23 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971
  1. package btree
  2. import (
  3. "TsDB2/DB/index/datapage"
  4. "TsDB2/DB/page"
  5. "encoding/binary"
  6. "errors"
  7. "unsafe"
  8. )
  9. // btNode B+ 鏍戣妭鐐?(raw bytes + page.IndexHead 鎸囬拡, 鏃?IndexPage 瀵硅薄)
  10. type btNode struct {
  11. buf []byte // 瀹屾暣椤电紦鍐插尯
  12. info *page.IndexHead // 鎸囧悜 buf 澶撮儴鐨?page.IndexHead 鎸囬拡
  13. entries []byte // buf[page.IndexHeadSize:] 鏉$洰鍖哄煙
  14. }
  15. func (n *btNode) isLeaf() bool { return n.info.IsLeaf == 1 }
  16. func (n *btNode) pageID() uint32 { return n.info.Hdr.PageID }
  17. // btPathEntry 璁板綍 B+ 鏍?descent 璺緞
  18. type btPathEntry struct {
  19. nodePID uint32
  20. childIdx int
  21. }
  22. // btSplitThreshold 璁$畻鍒嗚闃堝€?
  23. func btSplitThreshold() int {
  24. ff := page.BTreeFillFactor
  25. if ff < 50 {
  26. ff = 50
  27. }
  28. if ff > 100 {
  29. ff = 100
  30. }
  31. return int(page.IndexPageSize) * ff / 100
  32. }
  33. // ======================== 鑺傜偣 I/O ========================
  34. func btLoad(handle page.HandleDb, pid uint32) *btNode {
  35. if pid == 0 {
  36. return nil
  37. }
  38. buf := make([]byte, page.IndexPageSize)
  39. if err := handle.ReadPage(pid, buf); err != nil {
  40. return nil
  41. }
  42. info := (*page.IndexHead)(unsafe.Pointer(&buf[0]))
  43. return &btNode{buf: buf, info: info, entries: buf[page.IndexHeadSize:]}
  44. }
  45. func btSave(handle page.HandleDb, n *btNode) {
  46. _ = handle.SavePage(n.info.Hdr.PageID, n.buf)
  47. }
  48. func btNew(handle page.HandleDb, isLeaf bool) *btNode {
  49. pid := handle.NewPage()
  50. buf := make([]byte, page.IndexPageSize)
  51. info := (*page.IndexHead)(unsafe.Pointer(&buf[0]))
  52. info.Hdr.Type = page.IndexDataIndex
  53. info.Hdr.PageID = pid
  54. info.Hdr.UseSize = uint32(page.IndexHeadSize)
  55. info.IndexType = page.IndexTypePrimary
  56. info.EntryLen = 12
  57. info.Count = 0
  58. if isLeaf {
  59. info.IsLeaf = 1
  60. }
  61. return &btNode{buf: buf, info: info, entries: buf[page.IndexHeadSize:]}
  62. }
  63. // ======================== 鏉$洰鎿嶄綔 ========================
  64. func btEntry(n *btNode, i int) []byte {
  65. el := int(n.info.EntryLen)
  66. return n.entries[i*el : (i+1)*el]
  67. }
  68. func btKey(e []byte) []byte { return e[:len(e)-4] }
  69. func btPID(e []byte) uint32 { return binary.BigEndian.Uint32(e[len(e)-4:]) }
  70. func btSetPID(e []byte, p uint32) { binary.BigEndian.PutUint32(e[len(e)-4:], p) }
  71. func btCmp(a, b []byte) int {
  72. ml := len(a)
  73. if len(b) < ml {
  74. ml = len(b)
  75. }
  76. for i := 0; i < ml; i++ {
  77. if a[i] < b[i] {
  78. return -1
  79. }
  80. if a[i] > b[i] {
  81. return 1
  82. }
  83. }
  84. if len(a) < len(b) {
  85. return -1
  86. }
  87. if len(a) > len(b) {
  88. return 1
  89. }
  90. return 0
  91. }
  92. func btRoute(n *btNode, key []byte) uint32 {
  93. cnt := int(n.info.Count)
  94. for i := 0; i < cnt; i++ {
  95. if btCmp(btKey(btEntry(n, i)), key) > 0 {
  96. return btPID(btEntry(n, i))
  97. }
  98. }
  99. return btPID(btEntry(n, cnt-1))
  100. }
  101. func btChildIdx(n *btNode, key []byte) int {
  102. el := int(n.info.EntryLen)
  103. cnt := int(n.info.Count)
  104. for i := 0; i < cnt; i++ {
  105. if btCmp(btEntry(n, i)[:el-4], key) > 0 {
  106. return i
  107. }
  108. }
  109. return cnt - 1
  110. }
  111. func btInsEntry(n *btNode, entry []byte, pos int) {
  112. el := int(n.info.EntryLen)
  113. cnt := int(n.info.Count)
  114. for i := cnt; i > pos; i-- {
  115. copy(btEntry(n, i), btEntry(n, i-1))
  116. }
  117. copy(btEntry(n, pos), entry)
  118. n.info.Count++
  119. n.info.Hdr.UseSize += uint32(el)
  120. }
  121. func btRmEntry(n *btNode, pos int) {
  122. el := int(n.info.EntryLen)
  123. cnt := int(n.info.Count)
  124. for i := pos; i < cnt-1; i++ {
  125. copy(btEntry(n, i), btEntry(n, i+1))
  126. }
  127. n.info.Count--
  128. n.info.Hdr.UseSize -= uint32(el)
  129. }
  130. func btLeafFind(n *btNode, key []byte) (int, bool) {
  131. el := int(n.info.EntryLen)
  132. cnt := int(n.info.Count)
  133. for i := 0; i < cnt; i++ {
  134. if btCmp(btEntry(n, i)[:el-4], key) == 0 {
  135. return i, true
  136. }
  137. }
  138. return 0, false
  139. }
  140. func btLeafPos(n *btNode, key []byte) int {
  141. el := int(n.info.EntryLen)
  142. cnt := int(n.info.Count)
  143. for i := 0; i < cnt; i++ {
  144. if btCmp(btEntry(n, i)[:el-4], key) >= 0 {
  145. return i
  146. }
  147. }
  148. return cnt
  149. }
  150. // btLeftmostKey 获取子树最左叶的第一个 key(用于 promoKey)
  151. func btLeftmostKey(handle page.HandleDb, nodePID uint32) []byte {
  152. cur := nodePID
  153. for {
  154. n := btLoad(handle, cur)
  155. if n == nil {
  156. return nil
  157. }
  158. if n.isLeaf() {
  159. if n.info.Count == 0 {
  160. return nil
  161. }
  162. e := btEntry(n, 0)
  163. key := make([]byte, 8) // 主键固定8字节
  164. copy(key, btKey(e))
  165. return key
  166. }
  167. // 非叶节点,继续向左下遍历
  168. cur = btPID(btEntry(n, 0))
  169. }
  170. }
  171. // ======================== B+ 鏍戞悳绱?========================
  172. func BTreePKSearch(rootPID uint32, key []byte, handle page.HandleDb) (uint32, bool) {
  173. if rootPID == 0 {
  174. return 0, false
  175. }
  176. cur := rootPID
  177. for {
  178. n := btLoad(handle, cur)
  179. if n == nil {
  180. return 0, false
  181. }
  182. if n.isLeaf() {
  183. pos, ok := btLeafFind(n, key)
  184. if !ok {
  185. return 0, false
  186. }
  187. return btPID(btEntry(n, pos)), true
  188. }
  189. cur = btRoute(n, key)
  190. }
  191. }
  192. // ======================== B+ 鏍戝彾瀛愯妭鐐瑰畾浣?========================
  193. // BTreeFindLeftmostLeaf 浠庢牴鑺傜偣璺敱鍒版渶宸﹀彾鑺傜偣锛岃繑鍥炲彾鑺傜偣 pageID
  194. func BTreeFindLeftmostLeaf(rootPID uint32, handle page.HandleDb) uint32 {
  195. cur := rootPID
  196. for {
  197. n := btLoad(handle, cur)
  198. if n == nil {
  199. return 0
  200. }
  201. if n.isLeaf() {
  202. return n.info.Hdr.PageID
  203. }
  204. cur = btPID(btEntry(n, 0))
  205. }
  206. }
  207. // BTreeFindRightmostLeaf 浠庢牴鑺傜偣璺敱鍒版渶鍙冲彾鑺傜偣锛岃繑鍥炲彾鑺傜偣 pageID
  208. func BTreeFindRightmostLeaf(rootPID uint32, handle page.HandleDb) uint32 {
  209. cur := rootPID
  210. for {
  211. n := btLoad(handle, cur)
  212. if n == nil {
  213. return 0
  214. }
  215. if n.isLeaf() {
  216. return n.info.Hdr.PageID
  217. }
  218. cur = btPID(btEntry(n, int(n.info.Count)-1))
  219. }
  220. }
  221. // ======================== B+ 鏍戣寖鍥存壂鎻?========================
  222. // BTreePKRangeScan 涓婚敭 B+ 鏍戣寖鍥存壂鎻?
  223. func BTreePKRangeScan(rootPID uint32, handle page.HandleDb,
  224. startKey, endKey []byte, startInc, endInc bool, reverse bool,
  225. callback func(row []byte) bool) error {
  226. if rootPID == 0 {
  227. return nil
  228. }
  229. if !reverse {
  230. // 正向: 路由到 startKey 所在叶, 沿 NextPage 遍历
  231. cur := rootPID
  232. for {
  233. n := btLoad(handle, cur)
  234. if n == nil {
  235. return nil
  236. }
  237. if n.isLeaf() {
  238. break
  239. }
  240. cur = btRoute(n, startKey)
  241. }
  242. for cur != 0 {
  243. n := btLoad(handle, cur)
  244. if n == nil {
  245. break
  246. }
  247. for i := 0; i < int(n.info.Count); i++ {
  248. entry := btEntry(n, i)
  249. key := btKey(entry)
  250. if endKey != nil {
  251. cmp := btCmp(key, endKey)
  252. if cmp > 0 || (cmp == 0 && !endInc) {
  253. return nil
  254. }
  255. }
  256. if startKey != nil {
  257. cmp := btCmp(key, startKey)
  258. if cmp < 0 || (cmp == 0 && !startInc) {
  259. continue
  260. }
  261. }
  262. dpID := btPID(entry)
  263. dp, err := datapage.Load(handle, dpID)
  264. if err != nil {
  265. continue
  266. }
  267. // 每个 B+ 树条目精确匹配一行 (FindRowByIndexKey 按索引键过滤)
  268. if row, ok := dp.FindRowByIndexKey(key, 8); ok {
  269. if !callback(row) {
  270. return nil
  271. }
  272. }
  273. }
  274. cur = n.info.Hdr.NextPage
  275. }
  276. } else {
  277. // 反向: 路由到 endKey 所在叶(或最右叶), 沿 PrePage 遍历
  278. cur := rootPID
  279. if endKey != nil {
  280. for {
  281. n := btLoad(handle, cur)
  282. if n == nil {
  283. return nil
  284. }
  285. if n.isLeaf() {
  286. break
  287. }
  288. cur = btRoute(n, endKey)
  289. }
  290. } else {
  291. cur = BTreeFindRightmostLeaf(rootPID, handle)
  292. }
  293. for cur != 0 {
  294. n := btLoad(handle, cur)
  295. if n == nil {
  296. break
  297. }
  298. for i := int(n.info.Count) - 1; i >= 0; i-- {
  299. entry := btEntry(n, i)
  300. key := btKey(entry)
  301. if startKey != nil {
  302. cmp := btCmp(key, startKey)
  303. if cmp < 0 || (cmp == 0 && !startInc) {
  304. return nil
  305. }
  306. }
  307. if endKey != nil {
  308. cmp := btCmp(key, endKey)
  309. if cmp > 0 || (cmp == 0 && !endInc) {
  310. continue
  311. }
  312. }
  313. dpID := btPID(entry)
  314. dp, err := datapage.Load(handle, dpID)
  315. if err != nil {
  316. continue
  317. }
  318. if row, ok := dp.FindRowByIndexKey(key, 8); ok {
  319. if !callback(row) {
  320. return nil
  321. }
  322. }
  323. }
  324. cur = n.info.Hdr.PrePage
  325. }
  326. }
  327. return nil
  328. }
  329. // ======================== B+ 鏍戞彃鍏?========================
  330. func BTreePKInsert(rootPID uint32, key []byte, dpID uint32, handle page.HandleDb) (uint32, uint32, bool, error) {
  331. if rootPID == 0 {
  332. leaf := btNew(handle, true)
  333. e := make([]byte, 12)
  334. copy(e[:8], key)
  335. btSetPID(e, dpID)
  336. btInsEntry(leaf, e, 0)
  337. btSave(handle, leaf)
  338. return leaf.pageID(), 0, false, nil
  339. }
  340. var path []btPathEntry
  341. cur := rootPID
  342. for {
  343. n := btLoad(handle, cur)
  344. if n == nil {
  345. return rootPID, 0, false, errors.New("load failed")
  346. }
  347. if n.isLeaf() {
  348. pos, found := btLeafFind(n, key)
  349. if found {
  350. return rootPID, btPID(btEntry(n, pos)), true, nil
  351. }
  352. ne := make([]byte, 12)
  353. copy(ne[:8], key)
  354. btSetPID(ne, dpID)
  355. ip := btLeafPos(n, key)
  356. if int(n.info.Hdr.UseSize)+12 <= btSplitThreshold() {
  357. btInsEntry(n, ne, ip)
  358. btSave(handle, n)
  359. return rootPID, 0, false, nil
  360. }
  361. cnt := int(n.info.Count)
  362. total := cnt + 1
  363. all := make([]byte, total*12)
  364. if ip > 0 {
  365. copy(all, n.entries[:ip*12])
  366. }
  367. copy(all[ip*12:], ne)
  368. if cnt > ip {
  369. copy(all[(ip+1)*12:], n.entries[ip*12:cnt*12])
  370. }
  371. mid := total / 2
  372. rl := btNew(handle, true)
  373. rc := total - mid
  374. copy(rl.entries, all[mid*12:total*12])
  375. rl.info.Count = uint32(rc)
  376. rl.info.Hdr.UseSize = uint32(page.IndexHeadSize) + uint32(rc*12)
  377. rl.info.Hdr.NextPage = n.info.Hdr.NextPage
  378. rl.info.Hdr.PrePage = n.info.Hdr.PageID
  379. n.info.Hdr.NextPage = rl.info.Hdr.PageID
  380. copy(n.entries, all[:mid*12])
  381. n.info.Count = uint32(mid)
  382. n.info.Hdr.UseSize = uint32(page.IndexHeadSize) + uint32(mid*12)
  383. btSave(handle, n)
  384. btSave(handle, rl)
  385. if rl.info.Hdr.NextPage != 0 {
  386. nl := btLoad(handle, rl.info.Hdr.NextPage)
  387. if nl != nil {
  388. nl.info.Hdr.PrePage = rl.info.Hdr.PageID
  389. btSave(handle, nl)
  390. }
  391. }
  392. // 使用右子树最左叶的第一个 key 作为 promoKey
  393. pk := btLeftmostKey(handle, rl.info.Hdr.PageID)
  394. nr, err := btPromote(handle, rootPID, path, n.info.Hdr.PageID, pk, rl.info.Hdr.PageID)
  395. return nr, 0, false, err
  396. }
  397. ci := btChildIdx(n, key)
  398. cpid := btPID(btEntry(n, ci))
  399. path = append(path, btPathEntry{nodePID: cur, childIdx: ci})
  400. cur = cpid
  401. }
  402. }
  403. func btPromote(handle page.HandleDb, rootPID uint32, path []btPathEntry, leftPID uint32, promoKey []byte, rightPID uint32) (uint32, error) {
  404. if len(path) == 0 {
  405. nr := btNew(handle, false)
  406. le := make([]byte, 12)
  407. copy(le[:8], promoKey)
  408. btSetPID(le, leftPID)
  409. re := make([]byte, 12)
  410. copy(re[:8], promoKey)
  411. btSetPID(re, rightPID)
  412. btInsEntry(nr, le, 0)
  413. btInsEntry(nr, re, 1)
  414. btSave(handle, nr)
  415. return nr.pageID(), nil
  416. }
  417. pi := len(path) - 1
  418. parent := btLoad(handle, path[pi].nodePID)
  419. if parent == nil {
  420. return rootPID, errors.New("parent load failed")
  421. }
  422. ci := path[pi].childIdx
  423. ok := make([]byte, 8)
  424. copy(ok, btKey(btEntry(parent, ci)))
  425. copy(btEntry(parent, ci), promoKey)
  426. btSetPID(btEntry(parent, ci), leftPID)
  427. cnt := int(parent.info.Count)
  428. pos := cnt
  429. for i := ci + 1; i < cnt; i++ {
  430. if btCmp(ok, btKey(btEntry(parent, i))) <= 0 {
  431. pos = i
  432. break
  433. }
  434. }
  435. el := int(parent.info.EntryLen)
  436. for i := cnt; i > pos; i-- {
  437. copy(btEntry(parent, i), btEntry(parent, i-1))
  438. }
  439. ne := make([]byte, el)
  440. copy(ne[:8], ok)
  441. btSetPID(ne, rightPID)
  442. copy(btEntry(parent, pos), ne)
  443. for i := ci + 1; i < pos; i++ {
  444. copy(btEntry(parent, i)[:8], promoKey)
  445. }
  446. parent.info.Count++
  447. parent.info.Hdr.UseSize += uint32(el)
  448. if int(parent.info.Hdr.UseSize)+el <= btSplitThreshold() {
  449. btSave(handle, parent)
  450. return rootPID, nil
  451. }
  452. cnt = int(parent.info.Count)
  453. mid := cnt / 2
  454. rn := btNew(handle, false)
  455. rc := cnt - mid
  456. copy(rn.entries, parent.entries[mid*el:cnt*el])
  457. rn.info.Count = uint32(rc)
  458. rn.info.Hdr.UseSize = uint32(page.IndexHeadSize) + uint32(rc*el)
  459. parent.info.Count = uint32(mid)
  460. parent.info.Hdr.UseSize = uint32(page.IndexHeadSize) + uint32(mid*el)
  461. btSave(handle, parent)
  462. btSave(handle, rn)
  463. pk2 := make([]byte, 8)
  464. copy(pk2, rn.entries[:8])
  465. return btPromote(handle, rootPID, path[:pi], parent.info.Hdr.PageID, pk2, rn.info.Hdr.PageID)
  466. }
  467. // ======================== B+ 鏍戝垹闄?(閫掑綊 + 鍚堝苟/鍊熶綅) ========================
  468. func BTreePKDelete(rootPID uint32, key []byte, handle page.HandleDb) (uint32, uint32, error) {
  469. if rootPID == 0 {
  470. return 0, 0, page.ErrNotFound
  471. }
  472. delDP, err := btDeleteRec(rootPID, key, nil, handle)
  473. if err != nil {
  474. return rootPID, delDP, err
  475. }
  476. n := btLoad(handle, rootPID)
  477. if n != nil && n.info.Count == 0 {
  478. if !n.isLeaf() && n.info.Count == 0 {
  479. return rootPID, delDP, nil
  480. }
  481. }
  482. return rootPID, delDP, nil
  483. }
  484. func btDeleteRec(nodePID uint32, key []byte, path []btPathEntry, handle page.HandleDb) (uint32, error) {
  485. node := btLoad(handle, nodePID)
  486. if node == nil {
  487. return nodePID, page.ErrNotFound
  488. }
  489. el := int(node.info.EntryLen)
  490. if node.isLeaf() {
  491. pos, ok := btLeafFind(node, key)
  492. if !ok {
  493. return nodePID, page.ErrNotFound
  494. }
  495. delDP := btPID(btEntry(node, pos))
  496. btRmEntry(node, pos)
  497. if node.info.Count == 0 && len(path) == 0 {
  498. btSave(handle, node)
  499. return delDP, nil
  500. }
  501. btSave(handle, node)
  502. if len(path) > 0 && node.info.Count > 0 {
  503. btTryMerge(handle, path, node, el)
  504. }
  505. return delDP, nil
  506. }
  507. ci := btChildIdx(node, key)
  508. childPID := btPID(btEntry(node, ci))
  509. newPath := make([]btPathEntry, len(path)+1)
  510. copy(newPath, path)
  511. newPath[len(path)] = btPathEntry{nodePID: nodePID, childIdx: ci}
  512. delDP, err := btDeleteRec(childPID, key, newPath, handle)
  513. if err != nil {
  514. return delDP, err
  515. }
  516. node = btLoad(handle, nodePID)
  517. if node == nil {
  518. return delDP, errors.New("reload node failed")
  519. }
  520. if node.info.Count > 0 {
  521. ci2 := btChildIdx(node, key)
  522. if ci2 >= 0 && ci2 < int(node.info.Count) {
  523. cpID := btPID(btEntry(node, ci2))
  524. child := btLoad(handle, cpID)
  525. if child != nil && child.info.Count == 0 {
  526. btHandleUnderflow(node, ci2, el, handle)
  527. }
  528. }
  529. }
  530. if node.info.Count == 0 {
  531. return delDP, nil
  532. }
  533. btSave(handle, node)
  534. return delDP, nil
  535. }
  536. func btTryMerge(handle page.HandleDb, path []btPathEntry, node *btNode, el int) {
  537. if len(path) == 0 {
  538. return
  539. }
  540. pp := path[len(path)-1].nodePID
  541. parent := btLoad(handle, pp)
  542. if parent == nil {
  543. return
  544. }
  545. ci := -1
  546. for i := 0; i < int(parent.info.Count); i++ {
  547. if btPID(btEntry(parent, i)) == node.info.Hdr.PageID {
  548. ci = i
  549. break
  550. }
  551. }
  552. if ci < 0 {
  553. return
  554. }
  555. if ci > 0 {
  556. leftPID := btPID(btEntry(parent, ci-1))
  557. left := btLoad(handle, leftPID)
  558. if left != nil && left.isLeaf() {
  559. combined := uint32(page.IndexHeadSize) + (left.info.Count+node.info.Count)*uint32(el)
  560. threshold := uint32(btSplitThreshold())
  561. if combined <= threshold {
  562. rc := int(node.info.Count)
  563. copy(left.entries[int(left.info.Count)*el:], node.entries[:rc*el])
  564. left.info.Count += node.info.Count
  565. left.info.Hdr.UseSize += uint32(rc * el)
  566. left.info.Hdr.NextPage = node.info.Hdr.NextPage
  567. btSave(handle, left)
  568. if left.info.Hdr.NextPage != 0 {
  569. nl := btLoad(handle, left.info.Hdr.NextPage)
  570. if nl != nil {
  571. nl.info.Hdr.PrePage = leftPID
  572. btSave(handle, nl)
  573. }
  574. }
  575. btRmEntry(parent, ci)
  576. btSave(handle, parent)
  577. return
  578. }
  579. }
  580. }
  581. if ci < int(parent.info.Count)-1 {
  582. rightPID := btPID(btEntry(parent, ci+1))
  583. right := btLoad(handle, rightPID)
  584. if right != nil && right.isLeaf() {
  585. combined := uint32(page.IndexHeadSize) + (node.info.Count+right.info.Count)*uint32(el)
  586. threshold := uint32(btSplitThreshold())
  587. if combined <= threshold {
  588. rc := int(right.info.Count)
  589. copy(node.entries[int(node.info.Count)*el:], right.entries[:rc*el])
  590. node.info.Count += right.info.Count
  591. node.info.Hdr.UseSize += uint32(rc * el)
  592. node.info.Hdr.NextPage = right.info.Hdr.NextPage
  593. btSave(handle, node)
  594. if node.info.Hdr.NextPage != 0 {
  595. nl := btLoad(handle, node.info.Hdr.NextPage)
  596. if nl != nil {
  597. nl.info.Hdr.PrePage = node.info.Hdr.PageID
  598. btSave(handle, nl)
  599. }
  600. }
  601. btRmEntry(parent, ci+1)
  602. btSave(handle, parent)
  603. return
  604. }
  605. }
  606. }
  607. }
  608. func btHandleUnderflow(parent *btNode, childIdx int, el int, handle page.HandleDb) {
  609. childPID := btPID(btEntry(parent, childIdx))
  610. child := btLoad(handle, childPID)
  611. if child == nil {
  612. return
  613. }
  614. if childIdx > 0 {
  615. leftPID := btPID(btEntry(parent, childIdx-1))
  616. leftSib := btLoad(handle, leftPID)
  617. if leftSib != nil && int(leftSib.info.Count) > 1 {
  618. borrowed := make([]byte, el)
  619. copy(borrowed, btEntry(leftSib, int(leftSib.info.Count)-1))
  620. btRmEntry(leftSib, int(leftSib.info.Count)-1)
  621. btInsEntry(child, borrowed, 0)
  622. copy(btEntry(parent, childIdx)[:8], btKey(btEntry(child, 0)))
  623. btSave(handle, leftSib)
  624. btSave(handle, child)
  625. btSave(handle, parent)
  626. return
  627. }
  628. }
  629. if childIdx < int(parent.info.Count)-1 {
  630. rightPID := btPID(btEntry(parent, childIdx+1))
  631. rightSib := btLoad(handle, rightPID)
  632. if rightSib != nil && int(rightSib.info.Count) > 1 {
  633. borrowed := make([]byte, el)
  634. copy(borrowed, btEntry(rightSib, 0))
  635. btRmEntry(rightSib, 0)
  636. btInsEntry(child, borrowed, int(child.info.Count))
  637. copy(btEntry(parent, childIdx)[:8], btKey(btEntry(rightSib, 0)))
  638. btSave(handle, rightSib)
  639. btSave(handle, child)
  640. btSave(handle, parent)
  641. return
  642. }
  643. }
  644. if childIdx > 0 {
  645. btMergeChildren(handle, parent, childIdx-1, el)
  646. } else if childIdx < int(parent.info.Count)-1 {
  647. btMergeChildren(handle, parent, childIdx, el)
  648. }
  649. }
  650. func btMergeChildren(handle page.HandleDb, parent *btNode, sepIdx int, el int) {
  651. leftPID := btPID(btEntry(parent, sepIdx))
  652. rightPID := btPID(btEntry(parent, sepIdx+1))
  653. left := btLoad(handle, leftPID)
  654. right := btLoad(handle, rightPID)
  655. if left == nil || right == nil {
  656. return
  657. }
  658. if left.isLeaf() {
  659. rc := int(right.info.Count)
  660. copy(left.entries[int(left.info.Count)*el:], right.entries[:rc*el])
  661. left.info.Count += right.info.Count
  662. left.info.Hdr.UseSize += uint32(rc * el)
  663. left.info.Hdr.NextPage = right.info.Hdr.NextPage
  664. } else {
  665. sepEntry := make([]byte, el)
  666. copy(sepEntry, btEntry(parent, sepIdx))
  667. rc := int(right.info.Count)
  668. off := int(left.info.Count) * el
  669. copy(left.entries[off:], sepEntry)
  670. off += el
  671. copy(left.entries[off:], right.entries[:rc*el])
  672. left.info.Count += 1 + right.info.Count
  673. left.info.Hdr.UseSize += uint32((1 + rc) * el)
  674. }
  675. btSave(handle, left)
  676. if left.isLeaf() && left.info.Hdr.NextPage != 0 {
  677. nl := btLoad(handle, left.info.Hdr.NextPage)
  678. if nl != nil {
  679. nl.info.Hdr.PrePage = leftPID
  680. btSave(handle, nl)
  681. }
  682. }
  683. btRmEntry(parent, sepIdx+1)
  684. btSetPID(btEntry(parent, sepIdx), leftPID)
  685. btSave(handle, parent)
  686. }
  687. // ======================== DataPage 鎿嶄綔 ========================
  688. // FindSpaceInLeaf 鍦ㄥ彾鑺傜偣涓壘鍒版湁绌洪棿鐨?DataPage
  689. func FindSpaceInLeaf(handle page.HandleDb, rootPID uint32, rowSize uint32, key []byte) (uint32, bool) {
  690. cur := rootPID
  691. for {
  692. n := btLoad(handle, cur)
  693. if n == nil {
  694. return 0, false
  695. }
  696. if n.isLeaf() {
  697. pos := btLeafPos(n, key)
  698. if pos >= int(n.info.Count) {
  699. pos = int(n.info.Count) - 1
  700. }
  701. if pos < 0 {
  702. return 0, false
  703. }
  704. dpID := btPID(btEntry(n, pos))
  705. dp, err := datapage.Load(handle, dpID)
  706. if err == nil && !dp.IsFull(rowSize) {
  707. return dpID, true
  708. }
  709. if n.info.Hdr.PrePage != 0 {
  710. prevN := btLoad(handle, n.info.Hdr.PrePage)
  711. if prevN != nil && prevN.isLeaf() && prevN.info.Count > 0 {
  712. prevDPID := btPID(btEntry(prevN, int(prevN.info.Count)-1))
  713. prevDP, err := datapage.Load(handle, prevDPID)
  714. if err == nil && !prevDP.IsFull(rowSize) {
  715. return prevDPID, true
  716. }
  717. }
  718. }
  719. if n.info.Hdr.NextPage != 0 {
  720. nextN := btLoad(handle, n.info.Hdr.NextPage)
  721. if nextN != nil && nextN.isLeaf() && nextN.info.Count > 0 {
  722. nextDPID := btPID(btEntry(nextN, 0))
  723. nextDP, err := datapage.Load(handle, nextDPID)
  724. if err == nil && !nextDP.IsFull(rowSize) {
  725. return nextDPID, true
  726. }
  727. }
  728. }
  729. return 0, false
  730. }
  731. cur = btRoute(n, key)
  732. }
  733. }
  734. // GetDataPageIDs 返回所有 DataPage ID (去重, 用于全表扫描)
  735. func GetDataPageIDs(handle page.HandleDb, rootPID uint32) []uint32 {
  736. if rootPID == 0 {
  737. return nil
  738. }
  739. var dpIDs []uint32
  740. seen := make(map[uint32]bool)
  741. cur := rootPID
  742. for {
  743. n := btLoad(handle, cur)
  744. if n == nil {
  745. break
  746. }
  747. if n.isLeaf() {
  748. break
  749. }
  750. cur = btPID(btEntry(n, 0))
  751. }
  752. for cur != 0 {
  753. n := btLoad(handle, cur)
  754. if n == nil {
  755. break
  756. }
  757. for i := 0; i < int(n.info.Count); i++ {
  758. dpID := btPID(btEntry(n, i))
  759. if !seen[dpID] {
  760. seen[dpID] = true
  761. dpIDs = append(dpIDs, dpID)
  762. }
  763. }
  764. cur = n.info.Hdr.NextPage
  765. }
  766. return dpIDs
  767. }
  768. // ScanAllLeavesForPK 扫描所有叶子查找 pkID(LE)
  769. func ScanAllLeavesForPK(rootPID uint32, handle page.HandleDb, pkKeyBE []byte) ([]byte, bool) {
  770. if rootPID == 0 {
  771. return nil, false
  772. }
  773. cur := rootPID
  774. for {
  775. n := btLoad(handle, cur)
  776. if n == nil {
  777. return nil, false
  778. }
  779. if n.isLeaf() {
  780. break
  781. }
  782. cur = btPID(btEntry(n, 0))
  783. }
  784. for cur != 0 {
  785. n := btLoad(handle, cur)
  786. if n == nil {
  787. break
  788. }
  789. for i := 0; i < int(n.info.Count); i++ {
  790. dpID := btPID(btEntry(n, i))
  791. dp, err := datapage.Load(handle, dpID)
  792. if err == nil {
  793. if rowData, ok := dp.FindRowByPK(pkKeyBE); ok {
  794. return rowData, true
  795. }
  796. }
  797. }
  798. cur = n.info.Hdr.NextPage
  799. }
  800. return nil, false
  801. }
  802. // ScanAndDelete 扫描所有叶子按 indexKey 删除
  803. func ScanAndDelete(rootPID uint32, handle page.HandleDb, indexKey, pkKeyBE []byte) error {
  804. if rootPID == 0 {
  805. return page.ErrNotFound
  806. }
  807. cur := rootPID
  808. for {
  809. n := btLoad(handle, cur)
  810. if n == nil {
  811. return page.ErrNotFound
  812. }
  813. if n.isLeaf() {
  814. break
  815. }
  816. cur = btPID(btEntry(n, 0))
  817. }
  818. for cur != 0 {
  819. n := btLoad(handle, cur)
  820. if n == nil {
  821. break
  822. }
  823. for i := 0; i < int(n.info.Count); i++ {
  824. dpID := btPID(btEntry(n, i))
  825. dp, err := datapage.Load(handle, dpID)
  826. if err == nil {
  827. deleted := false
  828. if dp.DeleteByIndexKey(indexKey, 8) {
  829. deleted = true
  830. } else if dp.DeleteByPK(pkKeyBE) {
  831. deleted = true
  832. }
  833. if deleted {
  834. if dp.AllDeleted() {
  835. newRoot, _, err := BTreePKDelete(rootPID, indexKey, handle)
  836. if err != nil {
  837. return err
  838. }
  839. _ = newRoot
  840. } else {
  841. dp.Save()
  842. }
  843. return nil
  844. }
  845. }
  846. }
  847. cur = n.info.Hdr.NextPage
  848. }
  849. return page.ErrNotFound
  850. }
  851. // ScanAndDeleteByPK 扫描所有叶子按 pkID 删除
  852. func ScanAndDeleteByPK(rootPID uint32, handle page.HandleDb, pkKeyBE []byte) error {
  853. if rootPID == 0 {
  854. return page.ErrNotFound
  855. }
  856. cur := rootPID
  857. for {
  858. n := btLoad(handle, cur)
  859. if n == nil {
  860. return page.ErrNotFound
  861. }
  862. if n.isLeaf() {
  863. break
  864. }
  865. cur = btPID(btEntry(n, 0))
  866. }
  867. for cur != 0 {
  868. n := btLoad(handle, cur)
  869. if n == nil {
  870. break
  871. }
  872. for i := 0; i < int(n.info.Count); i++ {
  873. dpID := btPID(btEntry(n, i))
  874. dp, err := datapage.Load(handle, dpID)
  875. if err == nil {
  876. if dp.DeleteByPK(pkKeyBE) {
  877. if dp.AllDeleted() {
  878. newRoot, _, err := BTreePKDelete(rootPID, pkKeyBE, handle)
  879. if err != nil {
  880. return err
  881. }
  882. _ = newRoot
  883. } else {
  884. dp.Save()
  885. }
  886. return nil
  887. }
  888. }
  889. }
  890. cur = n.info.Hdr.NextPage
  891. }
  892. return page.ErrNotFound
  893. }
  894. // ScanAndUpdate 扫描所有叶子按 pkID 更新
  895. func ScanAndUpdate(rootPID uint32, handle page.HandleDb, pkKeyBE, storeRowData []byte) error {
  896. if rootPID == 0 {
  897. return page.ErrNotFound
  898. }
  899. cur := rootPID
  900. for {
  901. n := btLoad(handle, cur)
  902. if n == nil {
  903. return page.ErrNotFound
  904. }
  905. if n.isLeaf() {
  906. break
  907. }
  908. cur = btPID(btEntry(n, 0))
  909. }
  910. for cur != 0 {
  911. n := btLoad(handle, cur)
  912. if n == nil {
  913. break
  914. }
  915. for i := 0; i < int(n.info.Count); i++ {
  916. dpID := btPID(btEntry(n, i))
  917. dp, err := datapage.Load(handle, dpID)
  918. if err == nil {
  919. if err := dp.UpdateByPK(pkKeyBE, storeRowData); err == nil {
  920. dp.Save()
  921. return nil
  922. }
  923. }
  924. }
  925. cur = n.info.Hdr.NextPage
  926. }
  927. return page.ErrNotFound
  928. }