Files
zeekay f5aaeb712e Hanzo Graph — the engine, on zapdb, ZAP-native
Derived from Dgraph (github.com/dgraph-io/dgraph) at commit 64804bd2, Apache-2.0.
See NOTICE.

WHAT THIS IS. The graph engine as a Go library: posting lists, the DQL parser,
the type and tokenizer system, the index and schema layers, and the wire types.
39,170 lines of the upstream's 166,337.

THE STORE is github.com/luxfi/zapdb, a Badger fork that kept the package name,
the subpackages (options, pb, y) and the API — Open, OpenManaged, DB, Options —
so the 74 import sites are aliased rather than rewritten.

THE CODEC is ZAP. zapdb serializes with ZAP, not protobuf: its pb package builds
the ZAP types by default and the protobuf ones only under `-tags grpc`, a path
that does not compile (table/builder.go calls pb.Marshal, which that tag
removes). One call site in posting needed converting; every other type here is
Hanzo's own protobuf and is untouched.

NO TRANSPORT. An embedded engine dials nothing, so nothing here imports
google.golang.org/grpc. Removed: 20 transport functions in x, the generated
service stubs for Raft, Zero and Worker (1,657 lines), and the JWT helper —
identity belongs to IAM. The core called none of them.

NOT KEPT: worker, conn, raftwal, the cluster commands, the GraphQL layer and the
test harnesses. `query`, the DQL execution engine, went with them because it
depends on worker; parsing DQL is available here, executing it is not.

The history of the upstream project lives at github.com/dgraph-io/dgraph. This
repository begins at the derivation because three quarters of that history
describes code this fork does not carry.
2026-08-20 21:26:27 -07:00

331 lines
6.9 KiB
Go

/*
* SPDX-FileCopyrightText: © 2017-2026 Istari Digital, Inc.
* SPDX-License-Identifier: Apache-2.0
*/
package algo
import (
"container/heap"
"sort"
"github.com/hanzoai/graph/codec"
"github.com/hanzoai/graph/protos/pb"
)
// ApplyFilterPacked applies the filter to a list of packed uids.
func ApplyFilterPacked(u *pb.UidPack, f func(uint64, int) bool) *pb.UidPack {
index := 0
decoder := codec.NewDecoder(u)
encoder := codec.Encoder{BlockSize: int(u.BlockSize)}
for ; decoder.Valid(); decoder.Next() {
for _, uid := range decoder.Uids() {
if f(uid, index) {
encoder.Add(uid)
}
index++
}
}
return encoder.Done()
}
// IntersectWithLinPacked performs the liner intersection between two compressed uid lists.
func IntersectWithLinPacked(u, v *pb.UidPack) *pb.UidPack {
if u == nil || v == nil {
return nil
}
uDec := codec.NewDecoder(u)
uuids := uDec.Uids()
vDec := codec.NewDecoder(v)
vuids := vDec.Uids()
uIdx, vIdx := 0, 0
result := codec.Encoder{BlockSize: int(u.BlockSize)}
for {
// Break if the end of a list has been reached.
if len(uuids) == 0 || len(vuids) == 0 {
break
}
// Load the next block of the encoded lists if necessary.
if uIdx == len(uuids) {
if uDec.Valid() {
uuids = uDec.Next()
uIdx = 0
} else {
break
}
}
if vIdx == len(vuids) {
if vDec.Valid() {
vuids = vDec.Next()
vIdx = 0
} else {
break
}
}
uLen := len(uuids)
vLen := len(vuids)
for uIdx < uLen && vIdx < vLen {
uid := uuids[uIdx]
vid := vuids[vIdx]
switch {
case uid > vid:
for vIdx = vIdx + 1; vIdx < vLen && vuids[vIdx] < uid; vIdx++ {
}
case uid == vid:
result.Add(uid)
vIdx++
uIdx++
default:
for uIdx = uIdx + 1; uIdx < uLen && uuids[uIdx] < vid; uIdx++ {
}
}
}
}
return result.Done()
}
// listInfoPacked stores the packed list in a format that allows lists to be sorted by size.
type listInfoPacked struct {
l *pb.UidPack
length int
}
// IntersectSortedPacked calculates the intersection of multiple lists and performs
// the intersections from the smallest to the largest list.
func IntersectSortedPacked(lists []*pb.UidPack) *pb.UidPack {
if len(lists) == 0 {
encoder := codec.Encoder{BlockSize: 10}
return encoder.Done()
}
ls := make([]listInfoPacked, 0, len(lists))
for _, list := range lists {
ls = append(ls, listInfoPacked{
l: list,
length: codec.ExactLen(list),
})
}
// Sort the lists based on length.
sort.Slice(ls, func(i, j int) bool {
return ls[i].length < ls[j].length
})
if len(ls) == 1 {
// Return a copy of the UidPack.
return codec.CopyUidPack(ls[0].l)
}
// TODO(martinmr): Add the rest of the algorithms.
out := IntersectWithLinPacked(ls[0].l, ls[1].l)
// Intersect from smallest to largest.
for i := 2; i < len(ls); i++ {
out := IntersectWithLinPacked(out, ls[i].l)
// Break if we reach size 0 as we can no longer
// add any element.
if codec.ExactLen(out) == 0 {
break
}
}
return out
}
// DifferencePacked performs the difference operation between two UidPack objects.
func DifferencePacked(u, v *pb.UidPack) *pb.UidPack {
if u == nil || v == nil {
// If v == nil, then it's empty so the value of u - v is just u.
// Return a copy of u.
if v == nil {
return codec.CopyUidPack(u)
}
return nil
}
result := codec.Encoder{BlockSize: int(u.BlockSize)}
uDec := codec.NewDecoder(u)
uuids := uDec.Uids()
vDec := codec.NewDecoder(v)
vuids := vDec.Uids()
uIdx, vIdx := 0, 0
for {
// Break if the end of a list has been reached.
if len(uuids) == 0 || len(vuids) == 0 {
break
}
// Load the next block of the encoded lists if necessary.
if uIdx == len(uuids) {
if uDec.Valid() {
uuids = uDec.Next()
uIdx = 0
} else {
break
}
}
if vIdx == len(vuids) {
if vDec.Valid() {
vuids = vDec.Next()
vIdx = 0
} else {
break
}
}
uLen := len(uuids)
vLen := len(vuids)
for uIdx < uLen && vIdx < vLen {
uid := uuids[uIdx]
vid := vuids[vIdx]
switch {
case uid < vid:
for uIdx < uLen && uuids[uIdx] < vid {
result.Add(uuids[uIdx])
uIdx++
}
case uid == vid:
uIdx++
vIdx++
default:
vIdx++
for {
if !(vIdx < vLen && vuids[vIdx] < uid) {
break
}
vIdx++
}
}
}
for uIdx < uLen && vIdx >= vLen {
result.Add(uuids[uIdx])
uIdx++
}
}
return result.Done()
}
// MergeSortedPacked merges already sorted UidPack objects into a single UidPack.
func MergeSortedPacked(lists []*pb.UidPack) *pb.UidPack {
if len(lists) == 0 {
return nil
}
h := &uint64Heap{}
heap.Init(h)
maxSz := 0
blockSize := 0
for i, l := range lists {
if l == nil {
continue
}
if blockSize == 0 {
blockSize = int(l.BlockSize)
}
decoder := codec.NewDecoder(lists[i])
block := decoder.Uids()
if len(block) == 0 {
continue
}
listLen := codec.ExactLen(lists[i])
if listLen > 0 {
heap.Push(h, elem{
val: block[0],
listIdx: i,
decoder: decoder,
blockIdx: 0,
blockUids: block,
})
if listLen > maxSz {
maxSz = listLen
}
}
}
// Our final result.
result := codec.Encoder{BlockSize: blockSize}
// emptyResult is used to keep track of whether the encoder contains data since the
// encoder storing the final result does not have an equivalent of len.
emptyResult := true
var last uint64 // Last element added to sorted / final result.
for h.Len() > 0 { // While heap is not empty.
me := &(*h)[0] // Peek at the top element in heap.
if emptyResult || me.val != last {
result.Add(me.val) // Add if unique.
last = me.val
emptyResult = false
}
// Reached the end of this list. Remove it from the heap.
lastBlock := me.decoder.BlockIdx() == len(me.decoder.Pack.GetBlocks())-1
if me.blockIdx == len(me.blockUids)-1 && lastBlock {
heap.Pop(h)
continue
}
// Increment counters.
me.blockIdx++
if me.blockIdx >= len(me.blockUids) {
// Reached the end of the current block. Decode the next block
// and reset the block counter.
me.blockUids = me.decoder.Next()
me.blockIdx = 0
}
// Update current value and re-heapify.
me.val = me.blockUids[me.blockIdx]
heap.Fix(h, 0) // Faster than Pop() followed by Push().
}
return result.Done()
}
// IndexOfPacked finds the index of the given uid in the UidPack. If it doesn't find it,
// it returns -1.
func IndexOfPacked(u *pb.UidPack, uid uint64) int {
if u == nil {
return -1
}
index := 0
decoder := codec.Decoder{Pack: u}
decoder.Seek(uid, codec.SeekStart)
// Need to re-unpack this block since Seek might make Uids return an array with missing
// elements in this block. We need them to make the correct calculation.
decoder.UnpackBlock()
uids := decoder.Uids()
if len(uids) == 0 {
return -1
}
searchFunc := func(i int) bool { return uids[i] >= uid }
uidx := sort.Search(len(uids), searchFunc)
if uids[uidx] != uid {
return -1
}
index += uidx
for i := range decoder.BlockIdx() {
index += int(u.Blocks[i].GetNumUids())
}
return index
}