2023-10-13 09:43:27 +00:00
|
|
|
package mdb
|
|
|
|
|
|
|
|
import (
|
|
|
|
"unsafe"
|
|
|
|
|
|
|
|
"github.com/google/btree"
|
|
|
|
)
|
|
|
|
|
|
|
|
func NewIndex[T any](
|
|
|
|
c *Collection[T],
|
|
|
|
name string,
|
|
|
|
compare func(lhs, rhs *T) int,
|
2023-11-17 10:06:56 +00:00
|
|
|
) *Index[T] {
|
2023-10-13 09:43:27 +00:00
|
|
|
return c.addIndex(indexConfig[T]{
|
|
|
|
Name: name,
|
|
|
|
Unique: false,
|
|
|
|
Compare: compare,
|
|
|
|
Include: nil,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
|
|
|
func NewPartialIndex[T any](
|
|
|
|
c *Collection[T],
|
|
|
|
name string,
|
|
|
|
compare func(lhs, rhs *T) int,
|
|
|
|
include func(*T) bool,
|
2023-11-17 10:06:56 +00:00
|
|
|
) *Index[T] {
|
2023-10-13 09:43:27 +00:00
|
|
|
return c.addIndex(indexConfig[T]{
|
|
|
|
Name: name,
|
|
|
|
Unique: false,
|
|
|
|
Compare: compare,
|
|
|
|
Include: include,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
|
|
|
func NewUniqueIndex[T any](
|
|
|
|
c *Collection[T],
|
|
|
|
name string,
|
|
|
|
compare func(lhs, rhs *T) int,
|
2023-11-17 10:06:56 +00:00
|
|
|
) *Index[T] {
|
2023-10-13 09:43:27 +00:00
|
|
|
return c.addIndex(indexConfig[T]{
|
|
|
|
Name: name,
|
|
|
|
Unique: true,
|
|
|
|
Compare: compare,
|
|
|
|
Include: nil,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
|
|
|
func NewUniquePartialIndex[T any](
|
|
|
|
c *Collection[T],
|
|
|
|
name string,
|
|
|
|
compare func(lhs, rhs *T) int,
|
|
|
|
include func(*T) bool,
|
2023-11-17 10:06:56 +00:00
|
|
|
) *Index[T] {
|
2023-10-13 09:43:27 +00:00
|
|
|
return c.addIndex(indexConfig[T]{
|
|
|
|
Name: name,
|
|
|
|
Unique: true,
|
|
|
|
Compare: compare,
|
|
|
|
Include: include,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
|
|
|
// ----------------------------------------------------------------------------
|
|
|
|
|
|
|
|
type Index[T any] struct {
|
2023-11-21 16:41:55 +00:00
|
|
|
db *Database
|
2023-10-13 09:43:27 +00:00
|
|
|
name string
|
|
|
|
collectionID uint64
|
|
|
|
indexID uint64
|
|
|
|
include func(*T) bool
|
|
|
|
copy func(*T) *T
|
|
|
|
}
|
|
|
|
|
2023-11-21 16:41:55 +00:00
|
|
|
func (i *Index[T]) ensureSnapshot(tx *Snapshot) *Snapshot {
|
|
|
|
if tx == nil {
|
|
|
|
tx = i.db.Snapshot()
|
2023-10-13 09:43:27 +00:00
|
|
|
}
|
2023-11-21 16:41:55 +00:00
|
|
|
return tx
|
|
|
|
}
|
|
|
|
|
|
|
|
func (i *Index[T]) Get(tx *Snapshot, in *T) *T {
|
|
|
|
tx = i.ensureSnapshot(tx)
|
|
|
|
if tPtr, ok := i.get(tx, in); ok {
|
|
|
|
return i.copy(tPtr)
|
|
|
|
}
|
|
|
|
return nil
|
2023-10-13 09:43:27 +00:00
|
|
|
}
|
|
|
|
|
2023-11-17 10:06:56 +00:00
|
|
|
func (i *Index[T]) get(tx *Snapshot, in *T) (*T, bool) {
|
2023-10-13 09:43:27 +00:00
|
|
|
return i.btree(tx).Get(in)
|
|
|
|
}
|
|
|
|
|
2023-11-17 10:06:56 +00:00
|
|
|
func (i *Index[T]) Has(tx *Snapshot, in *T) bool {
|
2023-11-21 16:41:55 +00:00
|
|
|
tx = i.ensureSnapshot(tx)
|
2023-10-13 09:43:27 +00:00
|
|
|
return i.btree(tx).Has(in)
|
|
|
|
}
|
|
|
|
|
2023-11-21 16:41:55 +00:00
|
|
|
func (i *Index[T]) Min(tx *Snapshot) *T {
|
|
|
|
tx = i.ensureSnapshot(tx)
|
|
|
|
if tPtr, ok := i.btree(tx).Min(); ok {
|
|
|
|
return i.copy(tPtr)
|
2023-10-13 09:43:27 +00:00
|
|
|
}
|
2023-11-21 16:41:55 +00:00
|
|
|
return nil
|
2023-10-13 09:43:27 +00:00
|
|
|
}
|
|
|
|
|
2023-11-21 16:41:55 +00:00
|
|
|
func (i *Index[T]) Max(tx *Snapshot) *T {
|
|
|
|
tx = i.ensureSnapshot(tx)
|
|
|
|
if tPtr, ok := i.btree(tx).Max(); ok {
|
|
|
|
return i.copy(tPtr)
|
2023-10-13 09:43:27 +00:00
|
|
|
}
|
2023-11-21 16:41:55 +00:00
|
|
|
return nil
|
2023-10-13 09:43:27 +00:00
|
|
|
}
|
|
|
|
|
2023-11-17 10:06:56 +00:00
|
|
|
func (i *Index[T]) Ascend(tx *Snapshot, each func(*T) bool) {
|
2023-11-21 16:41:55 +00:00
|
|
|
tx = i.ensureSnapshot(tx)
|
2023-10-13 09:43:27 +00:00
|
|
|
i.btreeForIter(tx).Ascend(func(t *T) bool {
|
|
|
|
return each(i.copy(t))
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
2023-11-17 10:06:56 +00:00
|
|
|
func (i *Index[T]) AscendAfter(tx *Snapshot, after *T, each func(*T) bool) {
|
2023-11-21 16:41:55 +00:00
|
|
|
tx = i.ensureSnapshot(tx)
|
2023-10-13 09:43:27 +00:00
|
|
|
i.btreeForIter(tx).AscendGreaterOrEqual(after, func(t *T) bool {
|
|
|
|
return each(i.copy(t))
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
2023-11-17 10:06:56 +00:00
|
|
|
func (i *Index[T]) Descend(tx *Snapshot, each func(*T) bool) {
|
2023-11-21 16:41:55 +00:00
|
|
|
tx = i.ensureSnapshot(tx)
|
2023-10-13 09:43:27 +00:00
|
|
|
i.btreeForIter(tx).Descend(func(t *T) bool {
|
|
|
|
return each(i.copy(t))
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
2023-11-17 10:06:56 +00:00
|
|
|
func (i *Index[T]) DescendAfter(tx *Snapshot, after *T, each func(*T) bool) {
|
2023-11-21 16:41:55 +00:00
|
|
|
tx = i.ensureSnapshot(tx)
|
2023-10-13 09:43:27 +00:00
|
|
|
i.btreeForIter(tx).DescendLessOrEqual(after, func(t *T) bool {
|
|
|
|
return each(i.copy(t))
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
2023-11-21 17:35:37 +00:00
|
|
|
func (i *Index[T]) Count(tx *Snapshot) int {
|
|
|
|
tx = i.ensureSnapshot(tx)
|
|
|
|
return i.btree(tx).Len()
|
|
|
|
}
|
|
|
|
|
2023-10-13 09:43:27 +00:00
|
|
|
// ----------------------------------------------------------------------------
|
|
|
|
|
2023-11-17 10:06:56 +00:00
|
|
|
func (i *Index[T]) insertConflict(tx *Snapshot, item *T) bool {
|
2023-10-13 09:43:27 +00:00
|
|
|
return i.btree(tx).Has(item)
|
|
|
|
}
|
|
|
|
|
2023-11-17 10:06:56 +00:00
|
|
|
func (i *Index[T]) updateConflict(tx *Snapshot, item *T) bool {
|
2023-10-13 09:43:27 +00:00
|
|
|
current, ok := i.btree(tx).Get(item)
|
|
|
|
return ok && i.getID(current) != i.getID(item)
|
|
|
|
}
|
|
|
|
|
|
|
|
// This should only be called after insertConflict. Additionally, the caller
|
|
|
|
// should ensure that the index has been properly cloned for write before
|
|
|
|
// writing.
|
2023-11-17 10:06:56 +00:00
|
|
|
func (i *Index[T]) insert(tx *Snapshot, item *T) {
|
2023-10-13 09:43:27 +00:00
|
|
|
if i.include != nil && !i.include(item) {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
i.btree(tx).ReplaceOrInsert(item)
|
|
|
|
}
|
|
|
|
|
2023-11-17 10:06:56 +00:00
|
|
|
func (i *Index[T]) update(tx *Snapshot, old, new *T) {
|
2023-10-13 09:43:27 +00:00
|
|
|
bt := i.btree(tx)
|
|
|
|
bt.Delete(old)
|
|
|
|
|
|
|
|
// The insert call will also check the include function if available.
|
|
|
|
i.insert(tx, new)
|
|
|
|
}
|
|
|
|
|
2023-11-17 10:06:56 +00:00
|
|
|
func (i *Index[T]) delete(tx *Snapshot, item *T) {
|
2023-10-13 09:43:27 +00:00
|
|
|
i.btree(tx).Delete(item)
|
|
|
|
}
|
|
|
|
|
|
|
|
// ----------------------------------------------------------------------------
|
|
|
|
|
2023-11-17 10:06:56 +00:00
|
|
|
func (i *Index[T]) getState(tx *Snapshot) indexState[T] {
|
2023-10-13 09:43:27 +00:00
|
|
|
return tx.collections[i.collectionID].(*collectionState[T]).Indices[i.indexID]
|
|
|
|
}
|
|
|
|
|
|
|
|
// Get the current btree for get/has/update/delete, etc.
|
2023-11-17 10:06:56 +00:00
|
|
|
func (i *Index[T]) btree(tx *Snapshot) *btree.BTreeG[*T] {
|
2023-10-13 09:43:27 +00:00
|
|
|
return i.getState(tx).BTree
|
|
|
|
}
|
|
|
|
|
2023-11-17 10:06:56 +00:00
|
|
|
func (i *Index[T]) btreeForIter(tx *Snapshot) *btree.BTreeG[*T] {
|
2023-10-13 09:43:27 +00:00
|
|
|
cState := tx.collections[i.collectionID].(*collectionState[T])
|
|
|
|
bt := cState.Indices[i.indexID].BTree
|
|
|
|
|
|
|
|
// If snapshot and index are writable, return a clone.
|
|
|
|
if tx.writable() && cState.Version == tx.version {
|
|
|
|
bt = bt.Clone()
|
|
|
|
}
|
|
|
|
|
|
|
|
return bt
|
|
|
|
}
|
|
|
|
|
2023-11-17 10:06:56 +00:00
|
|
|
func (i *Index[T]) getID(t *T) uint64 {
|
2023-10-13 09:43:27 +00:00
|
|
|
return *((*uint64)(unsafe.Pointer(t)))
|
|
|
|
}
|