2020-11-08 23:55:22 +01:00
|
|
|
// Copyright 2020 Joshua J Baker. All rights reserved.
|
|
|
|
// Use of this source code is governed by an MIT-style
|
|
|
|
// license that can be found in the LICENSE file.
|
2020-02-12 19:19:23 +01:00
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
package btree
|
2020-02-12 19:19:23 +01:00
|
|
|
|
2021-04-02 02:45:15 +02:00
|
|
|
import "sync"
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
const maxItems = 255
|
|
|
|
const minItems = maxItems * 40 / 100
|
2020-02-12 19:19:23 +01:00
|
|
|
|
2021-04-02 02:45:15 +02:00
|
|
|
type cow struct {
|
|
|
|
_ int // it cannot be an empty struct
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
|
2021-04-02 02:45:15 +02:00
|
|
|
type node struct {
|
|
|
|
cow *cow
|
2020-11-08 23:55:22 +01:00
|
|
|
leaf bool
|
|
|
|
numItems int16
|
|
|
|
items [maxItems]interface{}
|
2021-04-02 02:45:15 +02:00
|
|
|
children *[maxItems + 1]*node
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
// BTree is an ordered set items
|
|
|
|
type BTree struct {
|
2021-04-02 02:45:15 +02:00
|
|
|
mu *sync.RWMutex
|
|
|
|
cow *cow
|
2020-11-08 23:55:22 +01:00
|
|
|
root *node
|
|
|
|
length int
|
|
|
|
less func(a, b interface{}) bool
|
|
|
|
lnode *node
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
|
2021-04-02 02:45:15 +02:00
|
|
|
func (tr *BTree) newNode(leaf bool) *node {
|
2020-11-08 23:55:22 +01:00
|
|
|
n := &node{leaf: leaf}
|
|
|
|
if !leaf {
|
|
|
|
n.children = new([maxItems + 1]*node)
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2021-04-02 02:45:15 +02:00
|
|
|
n.cow = tr.cow
|
2020-02-12 19:19:23 +01:00
|
|
|
return n
|
|
|
|
}
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
// PathHint is a utility type used with the *Hint() functions. Hints provide
|
|
|
|
// faster operations for clustered keys.
|
|
|
|
type PathHint struct {
|
|
|
|
path [8]uint8
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
// New returns a new BTree
|
|
|
|
func New(less func(a, b interface{}) bool) *BTree {
|
|
|
|
if less == nil {
|
|
|
|
panic("nil less")
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
tr := new(BTree)
|
2021-04-02 02:45:15 +02:00
|
|
|
tr.mu = new(sync.RWMutex)
|
2020-11-08 23:55:22 +01:00
|
|
|
tr.less = less
|
|
|
|
return tr
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
// Less is a convenience function that performs a comparison of two items
|
|
|
|
// using the same "less" function provided to New.
|
|
|
|
func (tr *BTree) Less(a, b interface{}) bool {
|
|
|
|
return tr.less(a, b)
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
func (n *node) find(key interface{}, less func(a, b interface{}) bool,
|
|
|
|
hint *PathHint, depth int,
|
|
|
|
) (index int16, found bool) {
|
|
|
|
low := int16(0)
|
|
|
|
high := n.numItems - 1
|
|
|
|
if hint != nil && depth < 8 {
|
|
|
|
index = int16(hint.path[depth])
|
|
|
|
if index > n.numItems-1 {
|
|
|
|
index = n.numItems - 1
|
|
|
|
}
|
|
|
|
if less(key, n.items[index]) {
|
|
|
|
high = index - 1
|
|
|
|
} else if less(n.items[index], key) {
|
|
|
|
low = index + 1
|
|
|
|
} else {
|
|
|
|
found = true
|
|
|
|
goto done
|
|
|
|
}
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
for low <= high {
|
|
|
|
mid := low + ((high+1)-low)/2
|
|
|
|
if !less(key, n.items[mid]) {
|
|
|
|
low = mid + 1
|
|
|
|
} else {
|
|
|
|
high = mid - 1
|
|
|
|
}
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2021-04-02 02:45:15 +02:00
|
|
|
if low > 0 && !less(n.items[low-1], key) {
|
2020-11-08 23:55:22 +01:00
|
|
|
index = low - 1
|
|
|
|
found = true
|
2020-02-12 19:19:23 +01:00
|
|
|
} else {
|
2020-11-08 23:55:22 +01:00
|
|
|
index = low
|
|
|
|
found = false
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
done:
|
|
|
|
if hint != nil && depth < 8 {
|
|
|
|
if n.leaf && found {
|
|
|
|
hint.path[depth] = byte(index + 1)
|
|
|
|
} else {
|
|
|
|
hint.path[depth] = byte(index)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return index, found
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
// SetHint sets or replace a value for a key using a path hint
|
|
|
|
func (tr *BTree) SetHint(item interface{}, hint *PathHint) (prev interface{}) {
|
|
|
|
if item == nil {
|
|
|
|
panic("nil item")
|
|
|
|
}
|
2021-04-02 02:45:15 +02:00
|
|
|
tr.mu.Lock()
|
|
|
|
prev = tr.setHint(item, hint)
|
|
|
|
tr.mu.Unlock()
|
|
|
|
return prev
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tr *BTree) setHint(item interface{}, hint *PathHint) (prev interface{}) {
|
2020-11-08 23:55:22 +01:00
|
|
|
if tr.root == nil {
|
2021-04-02 02:45:15 +02:00
|
|
|
tr.root = tr.newNode(true)
|
2020-11-08 23:55:22 +01:00
|
|
|
tr.root.items[0] = item
|
|
|
|
tr.root.numItems = 1
|
|
|
|
tr.length = 1
|
|
|
|
return
|
|
|
|
}
|
2021-04-02 02:45:15 +02:00
|
|
|
prev = tr.nodeSet(&tr.root, item, tr.less, hint, 0)
|
2020-11-08 23:55:22 +01:00
|
|
|
if prev != nil {
|
|
|
|
return prev
|
|
|
|
}
|
|
|
|
tr.lnode = nil
|
|
|
|
if tr.root.numItems == maxItems {
|
2021-04-02 02:45:15 +02:00
|
|
|
n := tr.cowLoad(&tr.root)
|
|
|
|
right, median := tr.nodeSplit(n)
|
|
|
|
tr.root = tr.newNode(false)
|
2020-11-08 23:55:22 +01:00
|
|
|
tr.root.children[0] = n
|
|
|
|
tr.root.items[0] = median
|
|
|
|
tr.root.children[1] = right
|
|
|
|
tr.root.numItems = 1
|
|
|
|
}
|
|
|
|
tr.length++
|
|
|
|
return prev
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
// Set or replace a value for a key
|
|
|
|
func (tr *BTree) Set(item interface{}) (prev interface{}) {
|
|
|
|
return tr.SetHint(item, nil)
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
|
2021-04-02 02:45:15 +02:00
|
|
|
func (tr *BTree) nodeSplit(n *node) (right *node, median interface{}) {
|
|
|
|
right = tr.newNode(n.leaf)
|
2020-11-08 23:55:22 +01:00
|
|
|
median = n.items[maxItems/2]
|
|
|
|
copy(right.items[:maxItems/2], n.items[maxItems/2+1:])
|
|
|
|
if !n.leaf {
|
|
|
|
copy(right.children[:maxItems/2+1], n.children[maxItems/2+1:])
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
right.numItems = maxItems / 2
|
|
|
|
if !n.leaf {
|
|
|
|
for i := maxItems/2 + 1; i < maxItems+1; i++ {
|
|
|
|
n.children[i] = nil
|
|
|
|
}
|
|
|
|
}
|
|
|
|
for i := maxItems / 2; i < maxItems; i++ {
|
|
|
|
n.items[i] = nil
|
|
|
|
}
|
|
|
|
n.numItems = maxItems / 2
|
|
|
|
return right, median
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
|
2021-04-02 02:45:15 +02:00
|
|
|
//go:noinline
|
|
|
|
func (tr *BTree) copy(n *node) *node {
|
|
|
|
n2 := *n
|
|
|
|
n2.cow = tr.cow
|
|
|
|
copy(n2.items[:], n.items[:])
|
|
|
|
if n.children != nil {
|
|
|
|
n2.children = new([maxItems + 1]*node)
|
|
|
|
copy(n2.children[:], n.children[:])
|
|
|
|
}
|
|
|
|
return &n2
|
|
|
|
}
|
|
|
|
|
|
|
|
// cowLoad loaded the provide node and, if needed, performs a copy-on-write.
|
|
|
|
func (tr *BTree) cowLoad(cn **node) *node {
|
|
|
|
if (*cn).cow != tr.cow {
|
|
|
|
*cn = tr.copy(*cn)
|
|
|
|
}
|
|
|
|
return *cn
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tr *BTree) nodeSet(cn **node, item interface{},
|
|
|
|
less func(a, b interface{}) bool, hint *PathHint, depth int,
|
2020-11-08 23:55:22 +01:00
|
|
|
) (prev interface{}) {
|
2021-04-02 02:45:15 +02:00
|
|
|
n := tr.cowLoad(cn)
|
2020-11-08 23:55:22 +01:00
|
|
|
i, found := n.find(item, less, hint, depth)
|
2020-02-12 19:19:23 +01:00
|
|
|
if found {
|
2020-11-08 23:55:22 +01:00
|
|
|
prev = n.items[i]
|
2020-02-12 19:19:23 +01:00
|
|
|
n.items[i] = item
|
2020-11-08 23:55:22 +01:00
|
|
|
return prev
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
if n.leaf {
|
|
|
|
copy(n.items[i+1:n.numItems+1], n.items[i:n.numItems])
|
|
|
|
n.items[i] = item
|
|
|
|
n.numItems++
|
2020-02-12 19:19:23 +01:00
|
|
|
return nil
|
|
|
|
}
|
2021-04-02 02:45:15 +02:00
|
|
|
prev = tr.nodeSet(&n.children[i], item, less, hint, depth+1)
|
2020-11-08 23:55:22 +01:00
|
|
|
if prev != nil {
|
|
|
|
return prev
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
if n.children[i].numItems == maxItems {
|
2021-04-02 02:45:15 +02:00
|
|
|
right, median := tr.nodeSplit(n.children[i])
|
2020-11-08 23:55:22 +01:00
|
|
|
copy(n.children[i+1:], n.children[i:])
|
|
|
|
copy(n.items[i+1:], n.items[i:])
|
|
|
|
n.items[i] = median
|
|
|
|
n.children[i+1] = right
|
|
|
|
n.numItems++
|
|
|
|
}
|
|
|
|
return prev
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
func (n *node) scan(iter func(item interface{}) bool) bool {
|
|
|
|
if n.leaf {
|
|
|
|
for i := int16(0); i < n.numItems; i++ {
|
|
|
|
if !iter(n.items[i]) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return true
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
for i := int16(0); i < n.numItems; i++ {
|
|
|
|
if !n.children[i].scan(iter) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
if !iter(n.items[i]) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return n.children[n.numItems].scan(iter)
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
// Get a value for key
|
|
|
|
func (tr *BTree) Get(key interface{}) interface{} {
|
|
|
|
return tr.GetHint(key, nil)
|
|
|
|
}
|
|
|
|
|
|
|
|
// GetHint gets a value for key using a path hint
|
|
|
|
func (tr *BTree) GetHint(key interface{}, hint *PathHint) interface{} {
|
2021-04-02 02:45:15 +02:00
|
|
|
tr.mu.RLock()
|
|
|
|
defer tr.mu.RUnlock()
|
2020-11-08 23:55:22 +01:00
|
|
|
if tr.root == nil || key == nil {
|
2020-02-12 19:19:23 +01:00
|
|
|
return nil
|
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
depth := 0
|
|
|
|
n := tr.root
|
|
|
|
for {
|
|
|
|
i, found := n.find(key, tr.less, hint, depth)
|
|
|
|
if found {
|
|
|
|
return n.items[i]
|
|
|
|
}
|
|
|
|
if n.leaf {
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
n = n.children[i]
|
|
|
|
depth++
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
// Len returns the number of items in the tree
|
|
|
|
func (tr *BTree) Len() int {
|
|
|
|
return tr.length
|
|
|
|
}
|
|
|
|
|
|
|
|
// Delete a value for a key
|
|
|
|
func (tr *BTree) Delete(key interface{}) interface{} {
|
|
|
|
return tr.DeleteHint(key, nil)
|
|
|
|
}
|
|
|
|
|
|
|
|
// DeleteHint deletes a value for a key using a path hint
|
|
|
|
func (tr *BTree) DeleteHint(key interface{}, hint *PathHint) interface{} {
|
2021-04-02 02:45:15 +02:00
|
|
|
tr.mu.Lock()
|
|
|
|
prev := tr.deleteHint(key, hint)
|
|
|
|
tr.mu.Unlock()
|
|
|
|
return prev
|
|
|
|
}
|
|
|
|
|
|
|
|
func (tr *BTree) deleteHint(key interface{}, hint *PathHint) interface{} {
|
2020-11-08 23:55:22 +01:00
|
|
|
if tr.root == nil || key == nil {
|
2020-02-12 19:19:23 +01:00
|
|
|
return nil
|
|
|
|
}
|
2021-04-02 02:45:15 +02:00
|
|
|
prev := tr.delete(&tr.root, false, key, tr.less, hint, 0)
|
2020-11-08 23:55:22 +01:00
|
|
|
if prev == nil {
|
2020-02-12 19:19:23 +01:00
|
|
|
return nil
|
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
tr.lnode = nil
|
|
|
|
if tr.root.numItems == 0 && !tr.root.leaf {
|
|
|
|
tr.root = tr.root.children[0]
|
|
|
|
}
|
|
|
|
tr.length--
|
|
|
|
if tr.length == 0 {
|
|
|
|
tr.root = nil
|
|
|
|
}
|
|
|
|
return prev
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
|
2021-04-02 02:45:15 +02:00
|
|
|
func (tr *BTree) delete(cn **node, max bool, key interface{},
|
2020-11-08 23:55:22 +01:00
|
|
|
less func(a, b interface{}) bool, hint *PathHint, depth int,
|
|
|
|
) interface{} {
|
2021-04-02 02:45:15 +02:00
|
|
|
n := tr.cowLoad(cn)
|
2020-11-08 23:55:22 +01:00
|
|
|
var i int16
|
2020-02-12 19:19:23 +01:00
|
|
|
var found bool
|
2020-11-08 23:55:22 +01:00
|
|
|
if max {
|
|
|
|
i, found = n.numItems-1, true
|
|
|
|
} else {
|
|
|
|
i, found = n.find(key, less, hint, depth)
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
if n.leaf {
|
|
|
|
if found {
|
|
|
|
prev := n.items[i]
|
|
|
|
// found the items at the leaf, remove it and return.
|
|
|
|
copy(n.items[i:], n.items[i+1:n.numItems])
|
|
|
|
n.items[n.numItems-1] = nil
|
|
|
|
n.numItems--
|
|
|
|
return prev
|
|
|
|
}
|
|
|
|
return nil
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
|
|
|
|
var prev interface{}
|
2020-02-12 19:19:23 +01:00
|
|
|
if found {
|
2020-11-08 23:55:22 +01:00
|
|
|
if max {
|
|
|
|
i++
|
2021-04-02 02:45:15 +02:00
|
|
|
prev = tr.delete(&n.children[i], true, "", less, nil, 0)
|
2020-11-08 23:55:22 +01:00
|
|
|
} else {
|
|
|
|
prev = n.items[i]
|
2021-04-02 02:45:15 +02:00
|
|
|
maxItem := tr.delete(&n.children[i], true, "", less, nil, 0)
|
2020-11-08 23:55:22 +01:00
|
|
|
n.items[i] = maxItem
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
} else {
|
2021-04-02 02:45:15 +02:00
|
|
|
prev = tr.delete(&n.children[i], max, key, less, hint, depth+1)
|
2020-11-08 23:55:22 +01:00
|
|
|
}
|
|
|
|
if prev == nil {
|
|
|
|
return nil
|
|
|
|
}
|
2021-04-02 02:45:15 +02:00
|
|
|
if n.children[i].numItems >= minItems {
|
|
|
|
return prev
|
|
|
|
}
|
|
|
|
|
|
|
|
// merge / rebalance nodes
|
|
|
|
if i == n.numItems {
|
|
|
|
i--
|
|
|
|
}
|
|
|
|
n.children[i] = tr.cowLoad(&n.children[i])
|
|
|
|
n.children[i+1] = tr.cowLoad(&n.children[i+1])
|
|
|
|
if n.children[i].numItems+n.children[i+1].numItems+1 < maxItems {
|
|
|
|
// merge left + item + right
|
|
|
|
n.children[i].items[n.children[i].numItems] = n.items[i]
|
|
|
|
copy(n.children[i].items[n.children[i].numItems+1:],
|
|
|
|
n.children[i+1].items[:n.children[i+1].numItems])
|
|
|
|
if !n.children[0].leaf {
|
|
|
|
copy(n.children[i].children[n.children[i].numItems+1:],
|
|
|
|
n.children[i+1].children[:n.children[i+1].numItems+1])
|
|
|
|
}
|
|
|
|
n.children[i].numItems += n.children[i+1].numItems + 1
|
|
|
|
copy(n.items[i:], n.items[i+1:n.numItems])
|
|
|
|
copy(n.children[i+1:], n.children[i+2:n.numItems+1])
|
|
|
|
n.items[n.numItems] = nil
|
|
|
|
n.children[n.numItems+1] = nil
|
|
|
|
n.numItems--
|
|
|
|
} else if n.children[i].numItems > n.children[i+1].numItems {
|
|
|
|
// move left -> right
|
|
|
|
copy(n.children[i+1].items[1:],
|
|
|
|
n.children[i+1].items[:n.children[i+1].numItems])
|
|
|
|
if !n.children[0].leaf {
|
|
|
|
copy(n.children[i+1].children[1:],
|
|
|
|
n.children[i+1].children[:n.children[i+1].numItems+1])
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2021-04-02 02:45:15 +02:00
|
|
|
n.children[i+1].items[0] = n.items[i]
|
|
|
|
if !n.children[0].leaf {
|
|
|
|
n.children[i+1].children[0] =
|
|
|
|
n.children[i].children[n.children[i].numItems]
|
|
|
|
}
|
|
|
|
n.children[i+1].numItems++
|
|
|
|
n.items[i] = n.children[i].items[n.children[i].numItems-1]
|
|
|
|
n.children[i].items[n.children[i].numItems-1] = nil
|
|
|
|
if !n.children[0].leaf {
|
|
|
|
n.children[i].children[n.children[i].numItems] = nil
|
|
|
|
}
|
|
|
|
n.children[i].numItems--
|
|
|
|
} else {
|
|
|
|
// move right -> left
|
|
|
|
n.children[i].items[n.children[i].numItems] = n.items[i]
|
|
|
|
if !n.children[0].leaf {
|
|
|
|
n.children[i].children[n.children[i].numItems+1] =
|
|
|
|
n.children[i+1].children[0]
|
|
|
|
}
|
|
|
|
n.children[i].numItems++
|
|
|
|
n.items[i] = n.children[i+1].items[0]
|
|
|
|
copy(n.children[i+1].items[:],
|
|
|
|
n.children[i+1].items[1:n.children[i+1].numItems])
|
|
|
|
if !n.children[0].leaf {
|
|
|
|
copy(n.children[i+1].children[:],
|
|
|
|
n.children[i+1].children[1:n.children[i+1].numItems+1])
|
|
|
|
}
|
|
|
|
n.children[i+1].numItems--
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
return prev
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
// Ascend the tree within the range [pivot, last]
|
|
|
|
// Pass nil for pivot to scan all item in ascending order
|
|
|
|
// Return false to stop iterating
|
|
|
|
func (tr *BTree) Ascend(pivot interface{}, iter func(item interface{}) bool) {
|
2021-04-02 02:45:15 +02:00
|
|
|
tr.mu.RLock()
|
|
|
|
defer tr.mu.RUnlock()
|
2020-11-08 23:55:22 +01:00
|
|
|
if tr.root == nil {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
if pivot == nil {
|
|
|
|
tr.root.scan(iter)
|
|
|
|
} else if tr.root != nil {
|
|
|
|
tr.root.ascend(pivot, tr.less, nil, 0, iter)
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
func (n *node) ascend(pivot interface{}, less func(a, b interface{}) bool,
|
|
|
|
hint *PathHint, depth int, iter func(item interface{}) bool,
|
|
|
|
) bool {
|
|
|
|
i, found := n.find(pivot, less, hint, depth)
|
|
|
|
if !found {
|
|
|
|
if !n.leaf {
|
|
|
|
if !n.children[i].ascend(pivot, less, hint, depth+1, iter) {
|
|
|
|
return false
|
|
|
|
}
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
for ; i < n.numItems; i++ {
|
|
|
|
if !iter(n.items[i]) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
if !n.leaf {
|
|
|
|
if !n.children[i+1].scan(iter) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
}
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
return true
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
func (n *node) reverse(iter func(item interface{}) bool) bool {
|
|
|
|
if n.leaf {
|
|
|
|
for i := n.numItems - 1; i >= 0; i-- {
|
|
|
|
if !iter(n.items[i]) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return true
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
if !n.children[n.numItems].reverse(iter) {
|
|
|
|
return false
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
for i := n.numItems - 1; i >= 0; i-- {
|
|
|
|
if !iter(n.items[i]) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
if !n.children[i].reverse(iter) {
|
|
|
|
return false
|
|
|
|
}
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
return true
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
// Descend the tree within the range [pivot, first]
|
|
|
|
// Pass nil for pivot to scan all item in descending order
|
|
|
|
// Return false to stop iterating
|
|
|
|
func (tr *BTree) Descend(pivot interface{}, iter func(item interface{}) bool) {
|
2021-04-02 02:45:15 +02:00
|
|
|
tr.mu.RLock()
|
|
|
|
defer tr.mu.RUnlock()
|
2020-11-08 23:55:22 +01:00
|
|
|
if tr.root == nil {
|
2020-02-12 19:19:23 +01:00
|
|
|
return
|
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
if pivot == nil {
|
|
|
|
tr.root.reverse(iter)
|
|
|
|
} else if tr.root != nil {
|
|
|
|
tr.root.descend(pivot, tr.less, nil, 0, iter)
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
func (n *node) descend(pivot interface{}, less func(a, b interface{}) bool,
|
|
|
|
hint *PathHint, depth int, iter func(item interface{}) bool,
|
|
|
|
) bool {
|
|
|
|
i, found := n.find(pivot, less, hint, depth)
|
|
|
|
if !found {
|
|
|
|
if !n.leaf {
|
|
|
|
if !n.children[i].descend(pivot, less, hint, depth+1, iter) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
i--
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
for ; i >= 0; i-- {
|
|
|
|
if !iter(n.items[i]) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
if !n.leaf {
|
|
|
|
if !n.children[i].reverse(iter) {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
}
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
return true
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
// Load is for bulk loading pre-sorted items
|
|
|
|
func (tr *BTree) Load(item interface{}) interface{} {
|
|
|
|
if item == nil {
|
|
|
|
panic("nil item")
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2021-04-02 02:45:15 +02:00
|
|
|
tr.mu.Lock()
|
|
|
|
defer tr.mu.Unlock()
|
|
|
|
|
|
|
|
// Load does not need a cowGrid because the Copy operation sets the
|
|
|
|
// lnode to nil.
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
if tr.lnode != nil && tr.lnode.numItems < maxItems-2 {
|
|
|
|
if tr.less(tr.lnode.items[tr.lnode.numItems-1], item) {
|
|
|
|
tr.lnode.items[tr.lnode.numItems] = item
|
|
|
|
tr.lnode.numItems++
|
|
|
|
tr.length++
|
|
|
|
return nil
|
|
|
|
}
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2021-04-02 02:45:15 +02:00
|
|
|
prev := tr.setHint(item, nil)
|
2020-11-08 23:55:22 +01:00
|
|
|
if prev != nil {
|
|
|
|
return prev
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
n := tr.root
|
|
|
|
for {
|
|
|
|
if n.leaf {
|
|
|
|
tr.lnode = n
|
|
|
|
break
|
|
|
|
}
|
|
|
|
n = n.children[n.numItems]
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
return nil
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
// Min returns the minimum item in tree.
|
|
|
|
// Returns nil if the tree has no items.
|
|
|
|
func (tr *BTree) Min() interface{} {
|
2021-04-02 02:45:15 +02:00
|
|
|
tr.mu.RLock()
|
|
|
|
defer tr.mu.RUnlock()
|
2020-11-08 23:55:22 +01:00
|
|
|
if tr.root == nil {
|
2020-02-12 19:19:23 +01:00
|
|
|
return nil
|
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
n := tr.root
|
|
|
|
for {
|
|
|
|
if n.leaf {
|
|
|
|
return n.items[0]
|
|
|
|
}
|
2020-02-12 19:19:23 +01:00
|
|
|
n = n.children[0]
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
// Max returns the maximum item in tree.
|
|
|
|
// Returns nil if the tree has no items.
|
|
|
|
func (tr *BTree) Max() interface{} {
|
2021-04-02 02:45:15 +02:00
|
|
|
tr.mu.RLock()
|
|
|
|
defer tr.mu.RUnlock()
|
2020-11-08 23:55:22 +01:00
|
|
|
if tr.root == nil {
|
2020-02-12 19:19:23 +01:00
|
|
|
return nil
|
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
n := tr.root
|
|
|
|
for {
|
|
|
|
if n.leaf {
|
|
|
|
return n.items[n.numItems-1]
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
n = n.children[n.numItems]
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
// PopMin removes the minimum item in tree and returns it.
|
|
|
|
// Returns nil if the tree has no items.
|
|
|
|
func (tr *BTree) PopMin() interface{} {
|
2021-04-02 02:45:15 +02:00
|
|
|
tr.mu.Lock()
|
|
|
|
defer tr.mu.Unlock()
|
2020-11-08 23:55:22 +01:00
|
|
|
if tr.root == nil {
|
2020-02-12 19:19:23 +01:00
|
|
|
return nil
|
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
tr.lnode = nil
|
2021-04-02 02:45:15 +02:00
|
|
|
n := tr.cowLoad(&tr.root)
|
2020-11-08 23:55:22 +01:00
|
|
|
for {
|
|
|
|
if n.leaf {
|
|
|
|
item := n.items[0]
|
|
|
|
if n.numItems == minItems {
|
2021-04-02 02:45:15 +02:00
|
|
|
return tr.deleteHint(item, nil)
|
2020-11-08 23:55:22 +01:00
|
|
|
}
|
|
|
|
copy(n.items[:], n.items[1:])
|
|
|
|
n.items[n.numItems-1] = nil
|
|
|
|
n.numItems--
|
|
|
|
tr.length--
|
2021-04-02 02:45:15 +02:00
|
|
|
if tr.length == 0 {
|
|
|
|
tr.root = nil
|
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
return item
|
|
|
|
}
|
2021-04-02 02:45:15 +02:00
|
|
|
n = tr.cowLoad(&n.children[0])
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-11-08 23:55:22 +01:00
|
|
|
// PopMax removes the minimum item in tree and returns it.
|
|
|
|
// Returns nil if the tree has no items.
|
|
|
|
func (tr *BTree) PopMax() interface{} {
|
2021-04-02 02:45:15 +02:00
|
|
|
tr.mu.Lock()
|
|
|
|
defer tr.mu.Unlock()
|
2020-11-08 23:55:22 +01:00
|
|
|
if tr.root == nil {
|
2020-02-12 19:19:23 +01:00
|
|
|
return nil
|
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
tr.lnode = nil
|
2021-04-02 02:45:15 +02:00
|
|
|
n := tr.cowLoad(&tr.root)
|
2020-11-08 23:55:22 +01:00
|
|
|
for {
|
|
|
|
if n.leaf {
|
|
|
|
item := n.items[n.numItems-1]
|
|
|
|
if n.numItems == minItems {
|
2021-04-02 02:45:15 +02:00
|
|
|
return tr.deleteHint(item, nil)
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
n.items[n.numItems-1] = nil
|
|
|
|
n.numItems--
|
|
|
|
tr.length--
|
2021-04-02 02:45:15 +02:00
|
|
|
if tr.length == 0 {
|
|
|
|
tr.root = nil
|
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
return item
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2021-04-02 02:45:15 +02:00
|
|
|
n = tr.cowLoad(&n.children[n.numItems])
|
2020-11-08 23:55:22 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Height returns the height of the tree.
|
|
|
|
// Returns zero if tree has no items.
|
|
|
|
func (tr *BTree) Height() int {
|
2021-04-02 02:45:15 +02:00
|
|
|
tr.mu.RLock()
|
|
|
|
defer tr.mu.RUnlock()
|
2020-11-08 23:55:22 +01:00
|
|
|
var height int
|
|
|
|
if tr.root != nil {
|
|
|
|
n := tr.root
|
|
|
|
for {
|
|
|
|
height++
|
|
|
|
if n.leaf {
|
|
|
|
break
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
n = n.children[n.numItems]
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
|
|
|
}
|
2020-11-08 23:55:22 +01:00
|
|
|
return height
|
|
|
|
}
|
|
|
|
|
|
|
|
// Walk iterates over all items in tree, in order.
|
|
|
|
// The items param will contain one or more items.
|
|
|
|
func (tr *BTree) Walk(iter func(item []interface{})) {
|
2021-04-02 02:45:15 +02:00
|
|
|
tr.mu.RLock()
|
|
|
|
defer tr.mu.RUnlock()
|
2020-11-08 23:55:22 +01:00
|
|
|
if tr.root != nil {
|
|
|
|
tr.root.walk(iter)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func (n *node) walk(iter func(item []interface{})) {
|
|
|
|
if n.leaf {
|
|
|
|
iter(n.items[:n.numItems])
|
|
|
|
} else {
|
|
|
|
for i := int16(0); i < n.numItems; i++ {
|
|
|
|
n.children[i].walk(iter)
|
|
|
|
iter(n.items[i : i+1])
|
|
|
|
}
|
|
|
|
n.children[n.numItems].walk(iter)
|
|
|
|
}
|
2020-02-12 19:19:23 +01:00
|
|
|
}
|
2021-04-02 02:45:15 +02:00
|
|
|
|
|
|
|
// Copy the tree. This operation is very fast because it only performs a
|
|
|
|
// shadowed copy.
|
|
|
|
func (tr *BTree) Copy() *BTree {
|
|
|
|
tr.mu.Lock()
|
|
|
|
tr.lnode = nil
|
|
|
|
tr.cow = new(cow)
|
|
|
|
tr2 := *tr
|
|
|
|
tr2.mu = new(sync.RWMutex)
|
|
|
|
tr2.cow = new(cow)
|
|
|
|
tr.mu.Unlock()
|
|
|
|
return &tr2
|
|
|
|
}
|