mirror of
https://github.com/MetaCubeX/mihomo.git
synced 2024-12-26 12:15:44 +08:00
179 lines
4.4 KiB
Go
179 lines
4.4 KiB
Go
|
package trie
|
||
|
|
||
|
// Package succinct provides several succinct data types.
|
||
|
// Modify from https://github.com/openacid/succinct/blob/d4684c35d123f7528b14e03c24327231723db704/sskv.go
|
||
|
|
||
|
import (
|
||
|
"sort"
|
||
|
"strings"
|
||
|
|
||
|
"github.com/Dreamacro/clash/common/utils"
|
||
|
"github.com/openacid/low/bitmap"
|
||
|
)
|
||
|
|
||
|
const (
|
||
|
complexWildcardByte = byte('+')
|
||
|
wildcardByte = byte('*')
|
||
|
domainStepByte = byte('.')
|
||
|
)
|
||
|
|
||
|
type DomainSet struct {
|
||
|
leaves, labelBitmap []uint64
|
||
|
labels []byte
|
||
|
ranks, selects []int32
|
||
|
}
|
||
|
|
||
|
// NewDomainSet creates a new *DomainSet struct, from a slice of sorted strings.
|
||
|
func NewDomainSet(keys []string) *DomainSet {
|
||
|
domainTrie := New[struct{}]()
|
||
|
for _, domain := range keys {
|
||
|
domainTrie.Insert(domain, struct{}{})
|
||
|
}
|
||
|
reserveDomains := make([]string, 0, len(keys))
|
||
|
domainTrie.Foreach(func(domain string, data struct{}) {
|
||
|
reserveDomains = append(reserveDomains, utils.Reverse(domain))
|
||
|
})
|
||
|
// ensure that the same prefix is continuous
|
||
|
// and according to the ascending sequence of length
|
||
|
sort.Strings(reserveDomains)
|
||
|
keys = reserveDomains
|
||
|
if len(keys) == 0 {
|
||
|
return nil
|
||
|
}
|
||
|
ss := &DomainSet{}
|
||
|
lIdx := 0
|
||
|
|
||
|
type qElt struct{ s, e, col int }
|
||
|
queue := []qElt{{0, len(keys), 0}}
|
||
|
for i := 0; i < len(queue); i++ {
|
||
|
elt := queue[i]
|
||
|
if elt.col == len(keys[elt.s]) {
|
||
|
elt.s++
|
||
|
// a leaf node
|
||
|
setBit(&ss.leaves, i, 1)
|
||
|
}
|
||
|
|
||
|
for j := elt.s; j < elt.e; {
|
||
|
|
||
|
frm := j
|
||
|
|
||
|
for ; j < elt.e && keys[j][elt.col] == keys[frm][elt.col]; j++ {
|
||
|
}
|
||
|
queue = append(queue, qElt{frm, j, elt.col + 1})
|
||
|
ss.labels = append(ss.labels, keys[frm][elt.col])
|
||
|
setBit(&ss.labelBitmap, lIdx, 0)
|
||
|
lIdx++
|
||
|
}
|
||
|
setBit(&ss.labelBitmap, lIdx, 1)
|
||
|
lIdx++
|
||
|
}
|
||
|
|
||
|
ss.init()
|
||
|
return ss
|
||
|
}
|
||
|
|
||
|
// Has query for a key and return whether it presents in the DomainSet.
|
||
|
func (ss *DomainSet) Has(key string) bool {
|
||
|
if ss == nil {
|
||
|
return false
|
||
|
}
|
||
|
key = utils.Reverse(key)
|
||
|
key = strings.ToLower(key)
|
||
|
// no more labels in this node
|
||
|
// skip character matching
|
||
|
// go to next level
|
||
|
nodeId, bmIdx := 0, 0
|
||
|
type wildcardCursor struct {
|
||
|
bmIdx, index int
|
||
|
}
|
||
|
stack := make([]wildcardCursor, 0)
|
||
|
for i := 0; i < len(key); i++ {
|
||
|
RESTART:
|
||
|
c := key[i]
|
||
|
for ; ; bmIdx++ {
|
||
|
if getBit(ss.labelBitmap, bmIdx) != 0 {
|
||
|
if len(stack) > 0 {
|
||
|
cursor := stack[len(stack)-1]
|
||
|
stack = stack[0 : len(stack)-1]
|
||
|
// back wildcard and find next node
|
||
|
nextNodeId := countZeros(ss.labelBitmap, ss.ranks, cursor.bmIdx+1)
|
||
|
nextBmIdx := selectIthOne(ss.labelBitmap, ss.ranks, ss.selects, nextNodeId-1) + 1
|
||
|
j := cursor.index
|
||
|
for ; j < len(key) && key[j] != domainStepByte; j++ {
|
||
|
}
|
||
|
if j == len(key) {
|
||
|
if getBit(ss.leaves, nextNodeId) != 0 {
|
||
|
return true
|
||
|
}else {
|
||
|
goto RESTART
|
||
|
}
|
||
|
}
|
||
|
for ; ; nextBmIdx++ {
|
||
|
if ss.labels[nextBmIdx-nextNodeId] == domainStepByte {
|
||
|
bmIdx = nextBmIdx
|
||
|
nodeId = nextNodeId
|
||
|
i = j
|
||
|
goto RESTART
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
return false
|
||
|
}
|
||
|
// handle wildcard for domain
|
||
|
if ss.labels[bmIdx-nodeId] == complexWildcardByte {
|
||
|
return true
|
||
|
} else if ss.labels[bmIdx-nodeId] == wildcardByte {
|
||
|
cursor := wildcardCursor{}
|
||
|
cursor.bmIdx = bmIdx
|
||
|
cursor.index = i
|
||
|
stack = append(stack, cursor)
|
||
|
} else if ss.labels[bmIdx-nodeId] == c {
|
||
|
break
|
||
|
}
|
||
|
}
|
||
|
nodeId = countZeros(ss.labelBitmap, ss.ranks, bmIdx+1)
|
||
|
bmIdx = selectIthOne(ss.labelBitmap, ss.ranks, ss.selects, nodeId-1) + 1
|
||
|
}
|
||
|
|
||
|
return getBit(ss.leaves, nodeId) != 0
|
||
|
|
||
|
}
|
||
|
|
||
|
func setBit(bm *[]uint64, i int, v int) {
|
||
|
for i>>6 >= len(*bm) {
|
||
|
*bm = append(*bm, 0)
|
||
|
}
|
||
|
(*bm)[i>>6] |= uint64(v) << uint(i&63)
|
||
|
}
|
||
|
|
||
|
func getBit(bm []uint64, i int) uint64 {
|
||
|
return bm[i>>6] & (1 << uint(i&63))
|
||
|
}
|
||
|
|
||
|
// init builds pre-calculated cache to speed up rank() and select()
|
||
|
func (ss *DomainSet) init() {
|
||
|
ss.selects, ss.ranks = bitmap.IndexSelect32R64(ss.labelBitmap)
|
||
|
}
|
||
|
|
||
|
// countZeros counts the number of "0" in a bitmap before the i-th bit(excluding
|
||
|
// the i-th bit) on behalf of rank index.
|
||
|
// E.g.:
|
||
|
//
|
||
|
// countZeros("010010", 4) == 3
|
||
|
// // 012345
|
||
|
func countZeros(bm []uint64, ranks []int32, i int) int {
|
||
|
a, _ := bitmap.Rank64(bm, ranks, int32(i))
|
||
|
return i - int(a)
|
||
|
}
|
||
|
|
||
|
// selectIthOne returns the index of the i-th "1" in a bitmap, on behalf of rank
|
||
|
// and select indexes.
|
||
|
// E.g.:
|
||
|
//
|
||
|
// selectIthOne("010010", 1) == 4
|
||
|
// // 012345
|
||
|
func selectIthOne(bm []uint64, ranks, selects []int32, i int) int {
|
||
|
a, _ := bitmap.Select32R64(bm, selects, ranks, int32(i))
|
||
|
return int(a)
|
||
|
}
|