123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159 |
- package bloom
- import (
- "errors"
- "strconv"
- "git.i2edu.net/i2/go-zero/core/hash"
- "git.i2edu.net/i2/go-zero/core/stores/redis"
- )
- const (
- // for detailed error rate table, see http://pages.cs.wisc.edu/~cao/papers/summary-cache/node8.html
- // maps as k in the error rate table
- maps = 14
- setScript = `
- for _, offset in ipairs(ARGV) do
- redis.call("setbit", KEYS[1], offset, 1)
- end
- `
- testScript = `
- for _, offset in ipairs(ARGV) do
- if tonumber(redis.call("getbit", KEYS[1], offset)) == 0 then
- return false
- end
- end
- return true
- `
- )
- // ErrTooLargeOffset indicates the offset is too large in bitset.
- var ErrTooLargeOffset = errors.New("too large offset")
- type (
- // A Filter is a bloom filter.
- Filter struct {
- bits uint
- bitSet bitSetProvider
- }
- bitSetProvider interface {
- check([]uint) (bool, error)
- set([]uint) error
- }
- )
- // New create a Filter, store is the backed redis, key is the key for the bloom filter,
- // bits is how many bits will be used, maps is how many hashes for each addition.
- // best practices:
- // elements - means how many actual elements
- // when maps = 14, formula: 0.7*(bits/maps), bits = 20*elements, the error rate is 0.000067 < 1e-4
- // for detailed error rate table, see http://pages.cs.wisc.edu/~cao/papers/summary-cache/node8.html
- func New(store *redis.Redis, key string, bits uint) *Filter {
- return &Filter{
- bits: bits,
- bitSet: newRedisBitSet(store, key, bits),
- }
- }
- // Add adds data into f.
- func (f *Filter) Add(data []byte) error {
- locations := f.getLocations(data)
- return f.bitSet.set(locations)
- }
- // Exists checks if data is in f.
- func (f *Filter) Exists(data []byte) (bool, error) {
- locations := f.getLocations(data)
- isSet, err := f.bitSet.check(locations)
- if err != nil {
- return false, err
- }
- if !isSet {
- return false, nil
- }
- return true, nil
- }
- func (f *Filter) getLocations(data []byte) []uint {
- locations := make([]uint, maps)
- for i := uint(0); i < maps; i++ {
- hashValue := hash.Hash(append(data, byte(i)))
- locations[i] = uint(hashValue % uint64(f.bits))
- }
- return locations
- }
- type redisBitSet struct {
- store *redis.Redis
- key string
- bits uint
- }
- func newRedisBitSet(store *redis.Redis, key string, bits uint) *redisBitSet {
- return &redisBitSet{
- store: store,
- key: key,
- bits: bits,
- }
- }
- func (r *redisBitSet) buildOffsetArgs(offsets []uint) ([]string, error) {
- var args []string
- for _, offset := range offsets {
- if offset >= r.bits {
- return nil, ErrTooLargeOffset
- }
- args = append(args, strconv.FormatUint(uint64(offset), 10))
- }
- return args, nil
- }
- func (r *redisBitSet) check(offsets []uint) (bool, error) {
- args, err := r.buildOffsetArgs(offsets)
- if err != nil {
- return false, err
- }
- resp, err := r.store.Eval(testScript, []string{r.key}, args)
- if err == redis.Nil {
- return false, nil
- } else if err != nil {
- return false, err
- }
- exists, ok := resp.(int64)
- if !ok {
- return false, nil
- }
- return exists == 1, nil
- }
- func (r *redisBitSet) del() error {
- _, err := r.store.Del(r.key)
- return err
- }
- func (r *redisBitSet) expire(seconds int) error {
- return r.store.Expire(r.key, seconds)
- }
- func (r *redisBitSet) set(offsets []uint) error {
- args, err := r.buildOffsetArgs(offsets)
- if err != nil {
- return err
- }
- _, err = r.store.Eval(setScript, []string{r.key}, args)
- if err == redis.Nil {
- return nil
- }
- return err
- }
|