mirror of
https://github.com/ethereum/go-ethereum.git
synced 2026-07-25 22:26:42 +00:00
Merge 8e4687e957 into e859f36967
This commit is contained in:
commit
18dae15381
43 changed files with 4335 additions and 331 deletions
9
Godeps/Godeps.json
generated
9
Godeps/Godeps.json
generated
|
|
@ -80,6 +80,11 @@
|
|||
"ImportPath": "github.com/jackpal/go-nat-pmp",
|
||||
"Rev": "46523a463303c6ede3ddfe45bde1c7ed52ebaacd"
|
||||
},
|
||||
{
|
||||
"ImportPath": "github.com/jbrukh/bayesian",
|
||||
"Comment": "1.0-29-ga65fd1e",
|
||||
"Rev": "a65fd1effddb7bd71c6bb6ca1876e045a7aeac6e"
|
||||
},
|
||||
{
|
||||
"ImportPath": "github.com/mattn/go-colorable",
|
||||
"Rev": "9fdad7c47650b7d2e1da50644c1f4ba7f172f252"
|
||||
|
|
@ -198,6 +203,10 @@
|
|||
"ImportPath": "github.com/syndtr/goleveldb/leveldb/util",
|
||||
"Rev": "ab8b5dcf1042e818ab68e770d465112a899b668e"
|
||||
},
|
||||
{
|
||||
"ImportPath": "github.com/tylertreat/BoomFilters",
|
||||
"Rev": "ae0b9585d4b87b2fe0b49ee09270abae7aaad179"
|
||||
},
|
||||
{
|
||||
"ImportPath": "golang.org/x/crypto/pbkdf2",
|
||||
"Rev": "351dc6a5bf92a5f2ae22fadeee08eb6a45aa2d93"
|
||||
|
|
|
|||
28
Godeps/_workspace/src/github.com/jbrukh/bayesian/LICENSE
generated
vendored
Normal file
28
Godeps/_workspace/src/github.com/jbrukh/bayesian/LICENSE
generated
vendored
Normal file
|
|
@ -0,0 +1,28 @@
|
|||
Copyright (c) 2011. Jake Brukhman <jbrukh@gmail.com>
|
||||
|
||||
Redistribution and use in source and binary forms, with or without
|
||||
modification, are permitted provided that the following conditions
|
||||
are met:
|
||||
|
||||
1. Redistributions of source code must retain the above
|
||||
copyright notice, this list of conditions and the
|
||||
following disclaimer.
|
||||
2. Redistributions in binary form must reproduce the above
|
||||
copyright notice, this list of conditions and the following
|
||||
disclaimer in the documentation and/or other materials
|
||||
provided with the distribution.
|
||||
3. The name of the author may not be used to endorse or
|
||||
promote products derived from this software without
|
||||
specific prior written permission.
|
||||
|
||||
THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
|
||||
IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
|
||||
WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
||||
ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
|
||||
DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
||||
DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE
|
||||
GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
|
||||
INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER
|
||||
IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE
|
||||
OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE,
|
||||
EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
||||
73
Godeps/_workspace/src/github.com/jbrukh/bayesian/README.md
generated
vendored
Normal file
73
Godeps/_workspace/src/github.com/jbrukh/bayesian/README.md
generated
vendored
Normal file
|
|
@ -0,0 +1,73 @@
|
|||
## Naive Bayesian Classification
|
||||
|
||||
Perform naive Bayesian classification into an arbitrary number of classes on sets of strings.
|
||||
|
||||
Copyright (c) 2011. Jake Brukhman. (jbrukh@gmail.com).
|
||||
All rights reserved. See the LICENSE file for BSD-style
|
||||
license.
|
||||
|
||||
------------
|
||||
|
||||
### Background
|
||||
|
||||
See code comments for a refresher on naive Bayesian classifiers.
|
||||
|
||||
------------
|
||||
|
||||
### Installation
|
||||
|
||||
Using the go command:
|
||||
```shell
|
||||
go get github.com/jbrukh/bayesian
|
||||
go install !$
|
||||
```
|
||||
------------
|
||||
|
||||
### Documentation
|
||||
|
||||
See the GoPkgDoc documentation [here](https://godoc.org/github.com/jbrukh/bayesian).
|
||||
|
||||
------------
|
||||
|
||||
### Features
|
||||
|
||||
- Conditional probability and "log-likelihood"-like scoring.
|
||||
- Underflow detection.
|
||||
- Simple persistence of classifiers.
|
||||
- Statistics.
|
||||
|
||||
------------
|
||||
### Example
|
||||
|
||||
To use the classifier, first you must create some classes
|
||||
and train it:
|
||||
```go
|
||||
import . "bayesian"
|
||||
|
||||
const (
|
||||
Good Class = "Good"
|
||||
Bad Class = "Bad"
|
||||
)
|
||||
|
||||
classifier := NewClassifier(Good, Bad)
|
||||
goodStuff := []string{"tall", "rich", "handsome"}
|
||||
badStuff := []string{"poor", "smelly", "ugly"}
|
||||
classifier.Learn(goodStuff, Good)
|
||||
classifier.Learn(badStuff, Bad)
|
||||
```
|
||||
Then you can ascertain the scores of each class and
|
||||
the most likely class your data belongs to:
|
||||
```go
|
||||
scores, likely, _ := classifier.LogScores(
|
||||
[]string{"tall", "girl"}
|
||||
)
|
||||
```
|
||||
Magnitude of the score indicates likelihood. Alternatively (but
|
||||
with some risk of float underflow), you can obtain actual probabilities:
|
||||
|
||||
```go
|
||||
probs, likely, _ := classifier.ProbScores(
|
||||
[]string{"tall", "girl"}
|
||||
)
|
||||
```
|
||||
Use wisely.
|
||||
484
Godeps/_workspace/src/github.com/jbrukh/bayesian/bayesian.go
generated
vendored
Normal file
484
Godeps/_workspace/src/github.com/jbrukh/bayesian/bayesian.go
generated
vendored
Normal file
|
|
@ -0,0 +1,484 @@
|
|||
/*
|
||||
A Naive Bayesian Classifier
|
||||
Jake Brukhman <jbrukh@gmail.com>
|
||||
|
||||
BAYESIAN CLASSIFICATION REFRESHER: suppose you have a set
|
||||
of classes (e.g. categories) C := {C_1, ..., C_n}, and a
|
||||
document D consisting of words D := {W_1, ..., W_k}.
|
||||
We wish to ascertain the probability that the document
|
||||
belongs to some class C_j given some set of training data
|
||||
associating documents and classes.
|
||||
|
||||
By Bayes' Theorem, we have that
|
||||
|
||||
P(C_j|D) = P(D|C_j)*P(C_j)/P(D).
|
||||
|
||||
The LHS is the probability that the document belongs to class
|
||||
C_j given the document itself (by which is meant, in practice,
|
||||
the word frequencies occurring in this document), and our program
|
||||
will calculate this probability for each j and spit out the
|
||||
most likely class for this document.
|
||||
|
||||
P(C_j) is referred to as the "prior" probability, or the
|
||||
probability that a document belongs to C_j in general, without
|
||||
seeing the document first. P(D|C_j) is the probability of seeing
|
||||
such a document, given that it belongs to C_j. Here, by assuming
|
||||
that words appear independently in documents (this being the
|
||||
"naive" assumption), we can estimate
|
||||
|
||||
P(D|C_j) ~= P(W_1|C_j)*...*P(W_k|C_j)
|
||||
|
||||
where P(W_i|C_j) is the probability of seeing the given word
|
||||
in a document of the given class. Finally, P(D) can be seen as
|
||||
merely a scaling factor and is not strictly relevant to
|
||||
classificiation, unless you want to normalize the resulting
|
||||
scores and actually see probabilities. In this case, note that
|
||||
|
||||
P(D) = SUM_j(P(D|C_j)*P(C_j))
|
||||
|
||||
One practical issue with performing these calculations is the
|
||||
possibility of float64 underflow when calculating P(D|C_j), as
|
||||
individual word probabilities can be arbitrarily small, and
|
||||
a document can have an arbitrarily large number of them. A
|
||||
typical method for dealing with this case is to transform the
|
||||
probability to the log domain and perform additions instead
|
||||
of multiplications:
|
||||
|
||||
log P(C_j|D) ~ log(P(C_j)) + SUM_i(log P(W_i|C_j))
|
||||
|
||||
where i = 1, ..., k. Note that by doing this, we are discarding
|
||||
the scaling factor P(D) and our scores are no longer
|
||||
probabilities; however, the monotonic relationship of the
|
||||
scores is preserved by the log function.
|
||||
*/
|
||||
package bayesian
|
||||
|
||||
import (
|
||||
"encoding/gob"
|
||||
"errors"
|
||||
"io"
|
||||
"math"
|
||||
"os"
|
||||
"path/filepath"
|
||||
)
|
||||
|
||||
// defaultProb is the tiny non-zero probability that a word
|
||||
// we have not seen before appears in the class.
|
||||
const defaultProb = 0.00000000001
|
||||
|
||||
// ErrUnderflow is returned when an underflow is detected.
|
||||
var ErrUnderflow = errors.New("possible underflow detected")
|
||||
|
||||
// Class defines a class that the classifier will filter:
|
||||
// C = {C_1, ..., C_n}. You should define your classes as a
|
||||
// set of constants, for example as follows:
|
||||
//
|
||||
// const (
|
||||
// Good Class = "Good"
|
||||
// Bad Class = "Bad
|
||||
// )
|
||||
//
|
||||
// Class values should be unique.
|
||||
type Class string
|
||||
|
||||
// Classifier implements the Naive Bayesian Classifier.
|
||||
type Classifier struct {
|
||||
Classes []Class
|
||||
learned int // docs learned
|
||||
seen int // docs seen
|
||||
datas map[Class]*classData
|
||||
}
|
||||
|
||||
// serializableClassifier represents a container for
|
||||
// Classifier objects whose fields are modifiable by
|
||||
// reflection and are therefore writeable by gob.
|
||||
type serializableClassifier struct {
|
||||
Classes []Class
|
||||
Learned int
|
||||
Seen int
|
||||
Datas map[Class]*classData
|
||||
}
|
||||
|
||||
// classData holds the frequency data for words in a
|
||||
// particular class. In the future, we may replace this
|
||||
// structure with a trie-like structure for more
|
||||
// efficient storage.
|
||||
type classData struct {
|
||||
Freqs map[string]int
|
||||
Total int
|
||||
}
|
||||
|
||||
// newClassData creates a new empty classData node.
|
||||
func newClassData() *classData {
|
||||
return &classData{
|
||||
Freqs: make(map[string]int),
|
||||
}
|
||||
}
|
||||
|
||||
// getWordProb returns P(W|C_j) -- the probability of seeing
|
||||
// a particular word W in a document of this class.
|
||||
func (d *classData) getWordProb(word string) float64 {
|
||||
value, ok := d.Freqs[word]
|
||||
if !ok {
|
||||
return defaultProb
|
||||
}
|
||||
return float64(value) / float64(d.Total)
|
||||
}
|
||||
|
||||
// getWordsProb returns P(D|C_j) -- the probability of seeing
|
||||
// this set of words in a document of this class.
|
||||
//
|
||||
// Note that words should not be empty, and this method of
|
||||
// calulation is prone to underflow if there are many words
|
||||
// and their individual probabilties are small.
|
||||
func (d *classData) getWordsProb(words []string) (prob float64) {
|
||||
prob = 1
|
||||
for _, word := range words {
|
||||
prob *= d.getWordProb(word)
|
||||
}
|
||||
return
|
||||
}
|
||||
|
||||
// NewClassifier returns a new classifier. The classes provided
|
||||
// should be at least 2 in number and unique, or this method will
|
||||
// panic.
|
||||
func NewClassifier(classes ...Class) (c *Classifier) {
|
||||
n := len(classes)
|
||||
|
||||
// check size
|
||||
if n < 2 {
|
||||
panic("provide at least two classes")
|
||||
}
|
||||
|
||||
// check uniqueness
|
||||
check := make(map[Class]bool, n)
|
||||
for _, class := range classes {
|
||||
check[class] = true
|
||||
}
|
||||
if len(check) != n {
|
||||
panic("classes must be unique")
|
||||
}
|
||||
// create the classifier
|
||||
c = &Classifier{
|
||||
Classes: classes,
|
||||
datas: make(map[Class]*classData, n),
|
||||
}
|
||||
for _, class := range classes {
|
||||
c.datas[class] = newClassData()
|
||||
}
|
||||
return
|
||||
}
|
||||
|
||||
// NewClassifierFromFile loads an existing classifier from
|
||||
// file. The classifier was previously saved with a call
|
||||
// to c.WriteToFile(string).
|
||||
func NewClassifierFromFile(name string) (c *Classifier, err error) {
|
||||
file, err := os.Open(name)
|
||||
if err != nil {
|
||||
return nil, err
|
||||
}
|
||||
return NewClassifierFromReader(file)
|
||||
}
|
||||
|
||||
// NewClassifierFromReader actually does the deserializing of a Gob encoded classifier.
|
||||
func NewClassifierFromReader(r io.Reader) (c *Classifier, err error) {
|
||||
dec := gob.NewDecoder(r)
|
||||
w := new(serializableClassifier)
|
||||
err = dec.Decode(w)
|
||||
|
||||
return &Classifier{w.Classes, w.Learned, w.Seen, w.Datas}, err
|
||||
}
|
||||
|
||||
// getPriors returns the prior probabilities for the
|
||||
// classes provided -- P(C_j).
|
||||
//
|
||||
// TODO: There is a way to smooth priors, currently
|
||||
// not implemented here.
|
||||
func (c *Classifier) getPriors() (priors []float64) {
|
||||
n := len(c.Classes)
|
||||
priors = make([]float64, n, n)
|
||||
sum := 0
|
||||
for index, class := range c.Classes {
|
||||
total := c.datas[class].Total
|
||||
priors[index] = float64(total)
|
||||
sum += total
|
||||
}
|
||||
if sum != 0 {
|
||||
for i := 0; i < n; i++ {
|
||||
priors[i] /= float64(sum)
|
||||
}
|
||||
}
|
||||
return
|
||||
}
|
||||
|
||||
// Learned returns the number of documents ever learned
|
||||
// in the lifetime of this classifier.
|
||||
func (c *Classifier) Learned() int {
|
||||
return c.learned
|
||||
}
|
||||
|
||||
// Seen returns the number of documents ever classified
|
||||
// in the lifetime of this classifier.
|
||||
func (c *Classifier) Seen() int {
|
||||
return c.seen
|
||||
}
|
||||
|
||||
// WordCount returns the number of words counted for
|
||||
// each class in the lifetime of the classifier.
|
||||
func (c *Classifier) WordCount() (result []int) {
|
||||
result = make([]int, len(c.Classes))
|
||||
for inx, class := range c.Classes {
|
||||
data := c.datas[class]
|
||||
result[inx] = data.Total
|
||||
}
|
||||
return
|
||||
}
|
||||
|
||||
// Observe should be used when word-frequencies have been already been learned
|
||||
// externally (e.g., hadoop)
|
||||
func (c *Classifier) Observe(word string, count int, which Class) {
|
||||
data := c.datas[which]
|
||||
data.Freqs[word] += count
|
||||
data.Total += count
|
||||
}
|
||||
|
||||
// Learn will accept new training documents for
|
||||
// supervised learning.
|
||||
func (c *Classifier) Learn(document []string, which Class) {
|
||||
data := c.datas[which]
|
||||
for _, word := range document {
|
||||
data.Freqs[word]++
|
||||
data.Total++
|
||||
}
|
||||
c.learned++
|
||||
}
|
||||
|
||||
// LogScores produces "log-likelihood"-like scores that can
|
||||
// be used to classify documents into classes.
|
||||
//
|
||||
// The value of the score is proportional to the likelihood,
|
||||
// as determined by the classifier, that the given document
|
||||
// belongs to the given class. This is true even when scores
|
||||
// returned are negative, which they will be (since we are
|
||||
// taking logs of probabilities).
|
||||
//
|
||||
// The index j of the score corresponds to the class given
|
||||
// by c.Classes[j].
|
||||
//
|
||||
// Additionally returned are "inx" and "strict" values. The
|
||||
// inx corresponds to the maximum score in the array. If more
|
||||
// than one of the scores holds the maximum values, then
|
||||
// strict is false.
|
||||
//
|
||||
// Unlike c.Probabilities(), this function is not prone to
|
||||
// floating point underflow and is relatively safe to use.
|
||||
func (c *Classifier) LogScores(document []string) (scores []float64, inx int, strict bool) {
|
||||
n := len(c.Classes)
|
||||
scores = make([]float64, n, n)
|
||||
priors := c.getPriors()
|
||||
|
||||
// calculate the score for each class
|
||||
for index, class := range c.Classes {
|
||||
data := c.datas[class]
|
||||
// c is the sum of the logarithms
|
||||
// as outlined in the refresher
|
||||
score := math.Log(priors[index])
|
||||
for _, word := range document {
|
||||
score += math.Log(data.getWordProb(word))
|
||||
}
|
||||
scores[index] = score
|
||||
}
|
||||
inx, strict = findMax(scores)
|
||||
c.seen++
|
||||
return scores, inx, strict
|
||||
}
|
||||
|
||||
// ProbScores works the same as LogScores, but delivers
|
||||
// actual probabilities as discussed above. Note that float64
|
||||
// underflow is possible if the word list contains too
|
||||
// many words that have probabilities very close to 0.
|
||||
//
|
||||
// Notes on underflow: underflow is going to occur when you're
|
||||
// trying to assess large numbers of words that you have
|
||||
// never seen before. Depending on the application, this
|
||||
// may or may not be a concern. Consider using SafeProbScores()
|
||||
// instead.
|
||||
func (c *Classifier) ProbScores(doc []string) (scores []float64, inx int, strict bool) {
|
||||
n := len(c.Classes)
|
||||
scores = make([]float64, n, n)
|
||||
priors := c.getPriors()
|
||||
sum := float64(0)
|
||||
// calculate the score for each class
|
||||
for index, class := range c.Classes {
|
||||
data := c.datas[class]
|
||||
// c is the sum of the logarithms
|
||||
// as outlined in the refresher
|
||||
score := priors[index]
|
||||
for _, word := range doc {
|
||||
score *= data.getWordProb(word)
|
||||
}
|
||||
scores[index] = score
|
||||
sum += score
|
||||
}
|
||||
for i := 0; i < n; i++ {
|
||||
scores[i] /= sum
|
||||
}
|
||||
inx, strict = findMax(scores)
|
||||
c.seen++
|
||||
return scores, inx, strict
|
||||
}
|
||||
|
||||
// SafeProbScores works the same as ProbScores, but is
|
||||
// able to detect underflow in those cases where underflow
|
||||
// results in the reverse classification. If an underflow is detected,
|
||||
// this method returns an ErrUnderflow, allowing the user to deal with it as
|
||||
// necessary. Note that underflow, under certain rare circumstances,
|
||||
// may still result in incorrect probabilities being returned,
|
||||
// but this method guarantees that all error-less invokations
|
||||
// are properly classified.
|
||||
//
|
||||
// Underflow detection is more costly because it also
|
||||
// has to make additional log score calculations.
|
||||
func (c *Classifier) SafeProbScores(doc []string) (scores []float64, inx int, strict bool, err error) {
|
||||
n := len(c.Classes)
|
||||
scores = make([]float64, n, n)
|
||||
logScores := make([]float64, n, n)
|
||||
priors := c.getPriors()
|
||||
sum := float64(0)
|
||||
// calculate the score for each class
|
||||
for index, class := range c.Classes {
|
||||
data := c.datas[class]
|
||||
// c is the sum of the logarithms
|
||||
// as outlined in the refresher
|
||||
score := priors[index]
|
||||
logScore := math.Log(priors[index])
|
||||
for _, word := range doc {
|
||||
p := data.getWordProb(word)
|
||||
score *= p
|
||||
logScore += math.Log(p)
|
||||
}
|
||||
scores[index] = score
|
||||
logScores[index] = logScore
|
||||
sum += score
|
||||
}
|
||||
for i := 0; i < n; i++ {
|
||||
scores[i] /= sum
|
||||
}
|
||||
inx, strict = findMax(scores)
|
||||
logInx, logStrict := findMax(logScores)
|
||||
|
||||
// detect underflow -- the size
|
||||
// relation between scores and logScores
|
||||
// must be preserved or something is wrong
|
||||
if inx != logInx || strict != logStrict {
|
||||
err = ErrUnderflow
|
||||
}
|
||||
c.seen++
|
||||
return scores, inx, strict, err
|
||||
}
|
||||
|
||||
// WordFrequencies returns a matrix of word frequencies that currently
|
||||
// exist in the classifier for each class state for the given input
|
||||
// words. In other words, if you obtain the frequencies
|
||||
//
|
||||
// freqs := c.WordFrequencies(/* [j]string */)
|
||||
//
|
||||
// then the expression freq[i][j] represents the frequency of the j-th
|
||||
// word within the i-th class.
|
||||
func (c *Classifier) WordFrequencies(words []string) (freqMatrix [][]float64) {
|
||||
n, l := len(c.Classes), len(words)
|
||||
freqMatrix = make([][]float64, n)
|
||||
for i, _ := range freqMatrix {
|
||||
arr := make([]float64, l)
|
||||
data := c.datas[c.Classes[i]]
|
||||
for j, _ := range arr {
|
||||
arr[j] = data.getWordProb(words[j])
|
||||
}
|
||||
freqMatrix[i] = arr
|
||||
}
|
||||
return
|
||||
}
|
||||
|
||||
// WordsByClass returns a map of words and their probability of
|
||||
// appearing in the given class.
|
||||
func (c *Classifier) WordsByClass(class Class) (freqMap map[string]float64) {
|
||||
freqMap = make(map[string]float64)
|
||||
for word, cnt := range c.datas[class].Freqs {
|
||||
freqMap[word] = float64(cnt) / float64(c.datas[class].Total)
|
||||
}
|
||||
|
||||
return freqMap
|
||||
}
|
||||
|
||||
// Serialize this classifier to a file.
|
||||
func (c *Classifier) WriteToFile(name string) (err error) {
|
||||
file, err := os.OpenFile(name, os.O_WRONLY|os.O_CREATE, 0644)
|
||||
if err != nil {
|
||||
return err
|
||||
}
|
||||
return c.WriteTo(file)
|
||||
}
|
||||
|
||||
// WriteClassesToFile writes all classes to files.
|
||||
func (c *Classifier) WriteClassesToFile(rootPath string) (err error) {
|
||||
for name, _ := range c.datas {
|
||||
c.WriteClassToFile(name, rootPath)
|
||||
}
|
||||
return
|
||||
}
|
||||
|
||||
func (c *Classifier) WriteClassToFile(name Class, rootPath string) (err error) {
|
||||
data := c.datas[name]
|
||||
fileName := filepath.Join(rootPath, string(name))
|
||||
file, err := os.OpenFile(fileName, os.O_WRONLY|os.O_CREATE, 0644)
|
||||
if err != nil {
|
||||
return err
|
||||
}
|
||||
enc := gob.NewEncoder(file)
|
||||
err = enc.Encode(data)
|
||||
return
|
||||
}
|
||||
|
||||
// Serialize this classifier to GOB and write to Writer.
|
||||
func (c *Classifier) WriteTo(w io.Writer) (err error) {
|
||||
enc := gob.NewEncoder(w)
|
||||
err = enc.Encode(&serializableClassifier{c.Classes, c.learned, c.seen, c.datas})
|
||||
return
|
||||
}
|
||||
|
||||
// ReadClassFromFile loads existing class data from a
|
||||
// file.
|
||||
func (c *Classifier) ReadClassFromFile(class Class, location string) (err error) {
|
||||
fileName := filepath.Join(location, string(class))
|
||||
file, err := os.Open(fileName)
|
||||
|
||||
if err != nil {
|
||||
return err
|
||||
}
|
||||
|
||||
dec := gob.NewDecoder(file)
|
||||
w := new(classData)
|
||||
err = dec.Decode(w)
|
||||
|
||||
c.learned++
|
||||
c.datas[class] = w
|
||||
return
|
||||
}
|
||||
|
||||
// findMax finds the maximum of a set of scores; if the
|
||||
// maximum is strict -- that is, it is the single unique
|
||||
// maximum from the set -- then strict has return value
|
||||
// true. Otherwise it is false.
|
||||
func findMax(scores []float64) (inx int, strict bool) {
|
||||
inx = 0
|
||||
strict = true
|
||||
for i := 1; i < len(scores); i++ {
|
||||
if scores[inx] < scores[i] {
|
||||
inx = i
|
||||
strict = true
|
||||
} else if scores[inx] == scores[i] {
|
||||
strict = false
|
||||
}
|
||||
}
|
||||
return
|
||||
}
|
||||
3
Godeps/_workspace/src/github.com/jbrukh/bayesian/todo.txt
generated
vendored
Normal file
3
Godeps/_workspace/src/github.com/jbrukh/bayesian/todo.txt
generated
vendored
Normal file
|
|
@ -0,0 +1,3 @@
|
|||
- revisit underflow detection
|
||||
- add optional smoothing for frequencies
|
||||
- test with drone.io
|
||||
24
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/.gitignore
generated
vendored
Normal file
24
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/.gitignore
generated
vendored
Normal file
|
|
@ -0,0 +1,24 @@
|
|||
# Compiled Object files, Static and Dynamic libs (Shared Objects)
|
||||
*.o
|
||||
*.a
|
||||
*.so
|
||||
|
||||
# Folders
|
||||
_obj
|
||||
_test
|
||||
|
||||
# Architecture specific extensions/prefixes
|
||||
*.[568vq]
|
||||
[568vq].out
|
||||
|
||||
*.cgo1.go
|
||||
*.cgo2.c
|
||||
_cgo_defun.c
|
||||
_cgo_gotypes.go
|
||||
_cgo_export.*
|
||||
|
||||
_testmain.go
|
||||
|
||||
*.exe
|
||||
*.test
|
||||
*.prof
|
||||
12
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/.travis.yml
generated
vendored
Normal file
12
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/.travis.yml
generated
vendored
Normal file
|
|
@ -0,0 +1,12 @@
|
|||
language: go
|
||||
|
||||
go:
|
||||
- 1.3
|
||||
- 1.4
|
||||
- tip
|
||||
|
||||
before_install: go get golang.org/x/tools/cmd/cover
|
||||
script: go test -cover ./...
|
||||
|
||||
notifications:
|
||||
email: false
|
||||
202
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/LICENSE
generated
vendored
Normal file
202
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/LICENSE
generated
vendored
Normal file
|
|
@ -0,0 +1,202 @@
|
|||
Apache License
|
||||
Version 2.0, January 2004
|
||||
http://www.apache.org/licenses/
|
||||
|
||||
TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
|
||||
|
||||
1. Definitions.
|
||||
|
||||
"License" shall mean the terms and conditions for use, reproduction,
|
||||
and distribution as defined by Sections 1 through 9 of this document.
|
||||
|
||||
"Licensor" shall mean the copyright owner or entity authorized by
|
||||
the copyright owner that is granting the License.
|
||||
|
||||
"Legal Entity" shall mean the union of the acting entity and all
|
||||
other entities that control, are controlled by, or are under common
|
||||
control with that entity. For the purposes of this definition,
|
||||
"control" means (i) the power, direct or indirect, to cause the
|
||||
direction or management of such entity, whether by contract or
|
||||
otherwise, or (ii) ownership of fifty percent (50%) or more of the
|
||||
outstanding shares, or (iii) beneficial ownership of such entity.
|
||||
|
||||
"You" (or "Your") shall mean an individual or Legal Entity
|
||||
exercising permissions granted by this License.
|
||||
|
||||
"Source" form shall mean the preferred form for making modifications,
|
||||
including but not limited to software source code, documentation
|
||||
source, and configuration files.
|
||||
|
||||
"Object" form shall mean any form resulting from mechanical
|
||||
transformation or translation of a Source form, including but
|
||||
not limited to compiled object code, generated documentation,
|
||||
and conversions to other media types.
|
||||
|
||||
"Work" shall mean the work of authorship, whether in Source or
|
||||
Object form, made available under the License, as indicated by a
|
||||
copyright notice that is included in or attached to the work
|
||||
(an example is provided in the Appendix below).
|
||||
|
||||
"Derivative Works" shall mean any work, whether in Source or Object
|
||||
form, that is based on (or derived from) the Work and for which the
|
||||
editorial revisions, annotations, elaborations, or other modifications
|
||||
represent, as a whole, an original work of authorship. For the purposes
|
||||
of this License, Derivative Works shall not include works that remain
|
||||
separable from, or merely link (or bind by name) to the interfaces of,
|
||||
the Work and Derivative Works thereof.
|
||||
|
||||
"Contribution" shall mean any work of authorship, including
|
||||
the original version of the Work and any modifications or additions
|
||||
to that Work or Derivative Works thereof, that is intentionally
|
||||
submitted to Licensor for inclusion in the Work by the copyright owner
|
||||
or by an individual or Legal Entity authorized to submit on behalf of
|
||||
the copyright owner. For the purposes of this definition, "submitted"
|
||||
means any form of electronic, verbal, or written communication sent
|
||||
to the Licensor or its representatives, including but not limited to
|
||||
communication on electronic mailing lists, source code control systems,
|
||||
and issue tracking systems that are managed by, or on behalf of, the
|
||||
Licensor for the purpose of discussing and improving the Work, but
|
||||
excluding communication that is conspicuously marked or otherwise
|
||||
designated in writing by the copyright owner as "Not a Contribution."
|
||||
|
||||
"Contributor" shall mean Licensor and any individual or Legal Entity
|
||||
on behalf of whom a Contribution has been received by Licensor and
|
||||
subsequently incorporated within the Work.
|
||||
|
||||
2. Grant of Copyright License. Subject to the terms and conditions of
|
||||
this License, each Contributor hereby grants to You a perpetual,
|
||||
worldwide, non-exclusive, no-charge, royalty-free, irrevocable
|
||||
copyright license to reproduce, prepare Derivative Works of,
|
||||
publicly display, publicly perform, sublicense, and distribute the
|
||||
Work and such Derivative Works in Source or Object form.
|
||||
|
||||
3. Grant of Patent License. Subject to the terms and conditions of
|
||||
this License, each Contributor hereby grants to You a perpetual,
|
||||
worldwide, non-exclusive, no-charge, royalty-free, irrevocable
|
||||
(except as stated in this section) patent license to make, have made,
|
||||
use, offer to sell, sell, import, and otherwise transfer the Work,
|
||||
where such license applies only to those patent claims licensable
|
||||
by such Contributor that are necessarily infringed by their
|
||||
Contribution(s) alone or by combination of their Contribution(s)
|
||||
with the Work to which such Contribution(s) was submitted. If You
|
||||
institute patent litigation against any entity (including a
|
||||
cross-claim or counterclaim in a lawsuit) alleging that the Work
|
||||
or a Contribution incorporated within the Work constitutes direct
|
||||
or contributory patent infringement, then any patent licenses
|
||||
granted to You under this License for that Work shall terminate
|
||||
as of the date such litigation is filed.
|
||||
|
||||
4. Redistribution. You may reproduce and distribute copies of the
|
||||
Work or Derivative Works thereof in any medium, with or without
|
||||
modifications, and in Source or Object form, provided that You
|
||||
meet the following conditions:
|
||||
|
||||
(a) You must give any other recipients of the Work or
|
||||
Derivative Works a copy of this License; and
|
||||
|
||||
(b) You must cause any modified files to carry prominent notices
|
||||
stating that You changed the files; and
|
||||
|
||||
(c) You must retain, in the Source form of any Derivative Works
|
||||
that You distribute, all copyright, patent, trademark, and
|
||||
attribution notices from the Source form of the Work,
|
||||
excluding those notices that do not pertain to any part of
|
||||
the Derivative Works; and
|
||||
|
||||
(d) If the Work includes a "NOTICE" text file as part of its
|
||||
distribution, then any Derivative Works that You distribute must
|
||||
include a readable copy of the attribution notices contained
|
||||
within such NOTICE file, excluding those notices that do not
|
||||
pertain to any part of the Derivative Works, in at least one
|
||||
of the following places: within a NOTICE text file distributed
|
||||
as part of the Derivative Works; within the Source form or
|
||||
documentation, if provided along with the Derivative Works; or,
|
||||
within a display generated by the Derivative Works, if and
|
||||
wherever such third-party notices normally appear. The contents
|
||||
of the NOTICE file are for informational purposes only and
|
||||
do not modify the License. You may add Your own attribution
|
||||
notices within Derivative Works that You distribute, alongside
|
||||
or as an addendum to the NOTICE text from the Work, provided
|
||||
that such additional attribution notices cannot be construed
|
||||
as modifying the License.
|
||||
|
||||
You may add Your own copyright statement to Your modifications and
|
||||
may provide additional or different license terms and conditions
|
||||
for use, reproduction, or distribution of Your modifications, or
|
||||
for any such Derivative Works as a whole, provided Your use,
|
||||
reproduction, and distribution of the Work otherwise complies with
|
||||
the conditions stated in this License.
|
||||
|
||||
5. Submission of Contributions. Unless You explicitly state otherwise,
|
||||
any Contribution intentionally submitted for inclusion in the Work
|
||||
by You to the Licensor shall be under the terms and conditions of
|
||||
this License, without any additional terms or conditions.
|
||||
Notwithstanding the above, nothing herein shall supersede or modify
|
||||
the terms of any separate license agreement you may have executed
|
||||
with Licensor regarding such Contributions.
|
||||
|
||||
6. Trademarks. This License does not grant permission to use the trade
|
||||
names, trademarks, service marks, or product names of the Licensor,
|
||||
except as required for reasonable and customary use in describing the
|
||||
origin of the Work and reproducing the content of the NOTICE file.
|
||||
|
||||
7. Disclaimer of Warranty. Unless required by applicable law or
|
||||
agreed to in writing, Licensor provides the Work (and each
|
||||
Contributor provides its Contributions) on an "AS IS" BASIS,
|
||||
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
|
||||
implied, including, without limitation, any warranties or conditions
|
||||
of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
|
||||
PARTICULAR PURPOSE. You are solely responsible for determining the
|
||||
appropriateness of using or redistributing the Work and assume any
|
||||
risks associated with Your exercise of permissions under this License.
|
||||
|
||||
8. Limitation of Liability. In no event and under no legal theory,
|
||||
whether in tort (including negligence), contract, or otherwise,
|
||||
unless required by applicable law (such as deliberate and grossly
|
||||
negligent acts) or agreed to in writing, shall any Contributor be
|
||||
liable to You for damages, including any direct, indirect, special,
|
||||
incidental, or consequential damages of any character arising as a
|
||||
result of this License or out of the use or inability to use the
|
||||
Work (including but not limited to damages for loss of goodwill,
|
||||
work stoppage, computer failure or malfunction, or any and all
|
||||
other commercial damages or losses), even if such Contributor
|
||||
has been advised of the possibility of such damages.
|
||||
|
||||
9. Accepting Warranty or Additional Liability. While redistributing
|
||||
the Work or Derivative Works thereof, You may choose to offer,
|
||||
and charge a fee for, acceptance of support, warranty, indemnity,
|
||||
or other liability obligations and/or rights consistent with this
|
||||
License. However, in accepting such obligations, You may act only
|
||||
on Your own behalf and on Your sole responsibility, not on behalf
|
||||
of any other Contributor, and only if You agree to indemnify,
|
||||
defend, and hold each Contributor harmless for any liability
|
||||
incurred by, or claims asserted against, such Contributor by reason
|
||||
of your accepting any such warranty or additional liability.
|
||||
|
||||
END OF TERMS AND CONDITIONS
|
||||
|
||||
APPENDIX: How to apply the Apache License to your work.
|
||||
|
||||
To apply the Apache License to your work, attach the following
|
||||
boilerplate notice, with the fields enclosed by brackets "{}"
|
||||
replaced with your own identifying information. (Don't include
|
||||
the brackets!) The text should be enclosed in the appropriate
|
||||
comment syntax for the file format. We also recommend that a
|
||||
file or class name and description of purpose be included on the
|
||||
same "printed page" as the copyright notice for easier
|
||||
identification within third-party archives.
|
||||
|
||||
Copyright {yyyy} {name of copyright owner}
|
||||
|
||||
Licensed under the Apache License, Version 2.0 (the "License");
|
||||
you may not use this file except in compliance with the License.
|
||||
You may obtain a copy of the License at
|
||||
|
||||
http://www.apache.org/licenses/LICENSE-2.0
|
||||
|
||||
Unless required by applicable law or agreed to in writing, software
|
||||
distributed under the License is distributed on an "AS IS" BASIS,
|
||||
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||
See the License for the specific language governing permissions and
|
||||
limitations under the License.
|
||||
|
||||
429
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/README.md
generated
vendored
Normal file
429
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/README.md
generated
vendored
Normal file
|
|
@ -0,0 +1,429 @@
|
|||
# Boom Filters
|
||||
[](https://travis-ci.org/tylertreat/BoomFilters) [](https://godoc.org/github.com/tylertreat/BoomFilters)
|
||||
|
||||
**Boom Filters** are probabilistic data structures for [processing continuous, unbounded streams](http://www.bravenewgeek.com/stream-processing-and-probabilistic-methods/). This includes **Stable Bloom Filters**, **Scalable Bloom Filters**, **Counting Bloom Filters**, **Inverse Bloom Filters**, **Cuckoo Filters**, several variants of **traditional Bloom filters**, **HyperLogLog**, **Count-Min Sketch**, and **MinHash**.
|
||||
|
||||
Classic Bloom filters generally require a priori knowledge of the data set in order to allocate an appropriately sized bit array. This works well for offline processing, but online processing typically involves unbounded data streams. With enough data, a traditional Bloom filter "fills up", after which it has a false-positive probability of 1.
|
||||
|
||||
Boom Filters are useful for situations where the size of the data set isn't known ahead of time. For example, a Stable Bloom Filter can be used to deduplicate events from an unbounded event stream with a specified upper bound on false positives and minimal false negatives. Alternatively, an Inverse Bloom Filter is ideal for deduplicating a stream where duplicate events are relatively close together. This results in no false positives and, depending on how close together duplicates are, a small probability of false negatives. Scalable Bloom Filters place a tight upper bound on false positives while avoiding false negatives but require allocating memory proportional to the size of the data set. Counting Bloom Filters and Cuckoo Filters are useful for cases which require adding and removing elements to and from a set.
|
||||
|
||||
For large or unbounded data sets, calculating the exact cardinality is impractical. HyperLogLog uses a fraction of the memory while providing an accurate approximation. Similarly, Count-Min Sketch provides an efficient way to estimate event frequency for data streams, while Top-K tracks the top-k most frequent elements.
|
||||
|
||||
MinHash is a probabilistic algorithm to approximate the similarity between two sets. This can be used to cluster or compare documents by splitting the corpus into a bag of words.
|
||||
|
||||
## Installation
|
||||
|
||||
```
|
||||
$ go get github.com/tylertreat/BoomFilters
|
||||
```
|
||||
|
||||
## Stable Bloom Filter
|
||||
|
||||
This is an implementation of Stable Bloom Filters as described by Deng and Rafiei in [Approximately Detecting Duplicates for Streaming Data using Stable Bloom Filters](http://webdocs.cs.ualberta.ca/~drafiei/papers/DupDet06Sigmod.pdf).
|
||||
|
||||
A Stable Bloom Filter (SBF) continuously evicts stale information so that it has room for more recent elements. Like traditional Bloom filters, an SBF has a non-zero probability of false positives, which is controlled by several parameters. Unlike the classic Bloom filter, an SBF has a tight upper bound on the rate of false positives while introducing a non-zero rate of false negatives. The false-positive rate of a classic Bloom filter eventually reaches 1, after which all queries result in a false positive. The stable-point property of an SBF means the false-positive rate asymptotically approaches a configurable fixed constant. A classic Bloom filter is actually a special case of SBF where the eviction rate is zero and the cell size is one, so this provides support for them as well (in addition to bitset-based Bloom filters).
|
||||
|
||||
Stable Bloom Filters are useful for cases where the size of the data set isn't known a priori and memory is bounded. For example, an SBF can be used to deduplicate events from an unbounded event stream with a specified upper bound on false positives and minimal false negatives.
|
||||
|
||||
### Usage
|
||||
|
||||
```go
|
||||
package main
|
||||
|
||||
import (
|
||||
"fmt"
|
||||
"github.com/tylertreat/BoomFilters"
|
||||
)
|
||||
|
||||
func main() {
|
||||
sbf := boom.NewDefaultStableBloomFilter(10000, 0.01)
|
||||
fmt.Println("stable point", sbf.StablePoint())
|
||||
|
||||
sbf.Add([]byte(`a`))
|
||||
if sbf.Test([]byte(`a`)) {
|
||||
fmt.Println("contains a")
|
||||
}
|
||||
|
||||
if !sbf.TestAndAdd([]byte(`b`)) {
|
||||
fmt.Println("doesn't contain b")
|
||||
}
|
||||
|
||||
if sbf.Test([]byte(`b`)) {
|
||||
fmt.Println("now it contains b!")
|
||||
}
|
||||
|
||||
// Restore to initial state.
|
||||
sbf.Reset()
|
||||
}
|
||||
```
|
||||
|
||||
## Scalable Bloom Filter
|
||||
|
||||
This is an implementation of a Scalable Bloom Filter as described by Almeida, Baquero, Preguica, and Hutchison in [Scalable Bloom Filters](http://gsd.di.uminho.pt/members/cbm/ps/dbloom.pdf).
|
||||
|
||||
A Scalable Bloom Filter (SBF) dynamically adapts to the size of the data set while enforcing a tight upper bound on the rate of false positives and a false-negative probability of zero. This works by adding Bloom filters with geometrically decreasing false-positive rates as filters become full. A tightening ratio, r, controls the filter growth. The compounded probability over the whole series converges to a target value, even accounting for an infinite series.
|
||||
|
||||
Scalable Bloom Filters are useful for cases where the size of the data set isn't known a priori and memory constraints aren't of particular concern. For situations where memory is bounded, consider using Inverse or Stable Bloom Filters.
|
||||
|
||||
The core parts of this implementation were originally written by Jian Zhen as discussed in [Benchmarking Bloom Filters and Hash Functions in Go](http://zhen.org/blog/benchmarking-bloom-filters-and-hash-functions-in-go/).
|
||||
|
||||
### Usage
|
||||
|
||||
```go
|
||||
package main
|
||||
|
||||
import (
|
||||
"fmt"
|
||||
"github.com/tylertreat/BoomFilters"
|
||||
)
|
||||
|
||||
func main() {
|
||||
sbf := boom.NewDefaultScalableBloomFilter(0.01)
|
||||
|
||||
sbf.Add([]byte(`a`))
|
||||
if sbf.Test([]byte(`a`)) {
|
||||
fmt.Println("contains a")
|
||||
}
|
||||
|
||||
if !sbf.TestAndAdd([]byte(`b`)) {
|
||||
fmt.Println("doesn't contain b")
|
||||
}
|
||||
|
||||
if sbf.Test([]byte(`b`)) {
|
||||
fmt.Println("now it contains b!")
|
||||
}
|
||||
|
||||
// Restore to initial state.
|
||||
sbf.Reset()
|
||||
}
|
||||
```
|
||||
|
||||
## Inverse Bloom Filter
|
||||
|
||||
An Inverse Bloom Filter, or "the opposite of a Bloom filter", is a concurrent, probabilistic data structure used to test whether an item has been observed or not. This implementation, [originally described and written by Jeff Hodges](http://www.somethingsimilar.com/2012/05/21/the-opposite-of-a-bloom-filter/), replaces the use of MD5 hashing with a non-cryptographic FNV-1 function.
|
||||
|
||||
The Inverse Bloom Filter may report a false negative but can never report a false positive. That is, it may report that an item has not been seen when it actually has, but it will never report an item as seen which it hasn't come across. This behaves in a similar manner to a fixed-size hashmap which does not handle conflicts.
|
||||
|
||||
This structure is particularly well-suited to streams in which duplicates are relatively close together. It uses a CAS-style approach, which makes it thread-safe.
|
||||
|
||||
### Usage
|
||||
|
||||
```go
|
||||
package main
|
||||
|
||||
import (
|
||||
"fmt"
|
||||
"github.com/tylertreat/BoomFilters"
|
||||
)
|
||||
|
||||
func main() {
|
||||
ibf := boom.NewInverseBloomFilter(10000)
|
||||
|
||||
ibf.Add([]byte(`a`))
|
||||
if ibf.Test([]byte(`a`)) {
|
||||
fmt.Println("contains a")
|
||||
}
|
||||
|
||||
if !ibf.TestAndAdd([]byte(`b`)) {
|
||||
fmt.Println("doesn't contain b")
|
||||
}
|
||||
|
||||
if ibf.Test([]byte(`b`)) {
|
||||
fmt.Println("now it contains b!")
|
||||
}
|
||||
}
|
||||
```
|
||||
|
||||
## Counting Bloom Filter
|
||||
|
||||
This is an implementation of a Counting Bloom Filter as described by Fan, Cao, Almeida, and Broder in [Summary Cache: A Scalable Wide-Area Web Cache Sharing Protocol](http://pages.cs.wisc.edu/~jussara/papers/00ton.pdf).
|
||||
|
||||
A Counting Bloom Filter (CBF) provides a way to remove elements by using an array of n-bit buckets. When an element is added, the respective buckets are incremented. To remove an element, the respective buckets are decremented. A query checks that each of the respective buckets are non-zero. Because CBFs allow elements to be removed, they introduce a non-zero probability of false negatives in addition to the possibility of false positives.
|
||||
|
||||
Counting Bloom Filters are useful for cases where elements are both added and removed from the data set. Since they use n-bit buckets, CBFs use roughly n-times more memory than traditional Bloom filters.
|
||||
|
||||
See Deletable Bloom Filter for an alternative which avoids false negatives.
|
||||
|
||||
### Usage
|
||||
|
||||
```go
|
||||
package main
|
||||
|
||||
import (
|
||||
"fmt"
|
||||
"github.com/tylertreat/BoomFilters"
|
||||
)
|
||||
|
||||
func main() {
|
||||
bf := boom.NewDefaultCountingBloomFilter(1000, 0.01)
|
||||
|
||||
bf.Add([]byte(`a`))
|
||||
if bf.Test([]byte(`a`)) {
|
||||
fmt.Println("contains a")
|
||||
}
|
||||
|
||||
if !bf.TestAndAdd([]byte(`b`)) {
|
||||
fmt.Println("doesn't contain b")
|
||||
}
|
||||
|
||||
if bf.TestAndRemove([]byte(`b`)) {
|
||||
fmt.Println("removed b")
|
||||
}
|
||||
|
||||
// Restore to initial state.
|
||||
bf.Reset()
|
||||
}
|
||||
```
|
||||
|
||||
## Cuckoo Filter
|
||||
|
||||
This is an implementation of a Cuckoo Filter as described by Andersen, Kaminsky, and Mitzenmacher in [Cuckoo Filter: Practically Better Than Bloom](http://www.pdl.cmu.edu/PDL-FTP/FS/cuckoo-conext2014.pdf). The Cuckoo Filter is similar to the Counting Bloom Filter in that it supports adding and removing elements, but it does so in a way that doesn't significantly degrade space and performance.
|
||||
|
||||
It works by using a cuckoo hashing scheme for inserting items. Instead of storing the elements themselves, it stores their fingerprints which also allows for item removal without false negatives (if you don't attempt to remove an item not contained in the filter).
|
||||
|
||||
For applications that store many items and target moderately low false-positive rates, cuckoo filters have lower space overhead than space-optimized Bloom filters.
|
||||
|
||||
### Usage
|
||||
|
||||
```go
|
||||
package main
|
||||
|
||||
import (
|
||||
"fmt"
|
||||
"github.com/tylertreat/BoomFilters"
|
||||
)
|
||||
|
||||
func main() {
|
||||
cf := boom.NewCuckooFilter(1000, 0.01)
|
||||
|
||||
cf.Add([]byte(`a`))
|
||||
if cf.Test([]byte(`a`)) {
|
||||
fmt.Println("contains a")
|
||||
}
|
||||
|
||||
if contains, _ := cf.TestAndAdd([]byte(`b`)); !contains {
|
||||
fmt.Println("doesn't contain b")
|
||||
}
|
||||
|
||||
if cf.TestAndRemove([]byte(`b`)) {
|
||||
fmt.Println("removed b")
|
||||
}
|
||||
|
||||
// Restore to initial state.
|
||||
cf.Reset()
|
||||
}
|
||||
```
|
||||
|
||||
## Classic Bloom Filter
|
||||
|
||||
A classic Bloom filter is a special case of a Stable Bloom Filter whose eviction rate is zero and cell size is one. We call this special case an Unstable Bloom Filter. Because cells require more memory overhead, this package also provides two bitset-based Bloom filter variations. The first variation is the traditional implementation consisting of a single bit array. The second implementation is a partitioned approach which uniformly distributes the probability of false positives across all elements.
|
||||
|
||||
Bloom filters have a limited capacity, depending on the configured size. Once all bits are set, the probability of a false positive is 1. However, traditional Bloom filters cannot return a false negative.
|
||||
|
||||
A Bloom filter is ideal for cases where the data set is known a priori because the false-positive rate can be configured by the size and number of hash functions.
|
||||
|
||||
### Usage
|
||||
|
||||
```go
|
||||
package main
|
||||
|
||||
import (
|
||||
"fmt"
|
||||
"github.com/tylertreat/BoomFilters"
|
||||
)
|
||||
|
||||
func main() {
|
||||
// We could also use boom.NewUnstableBloomFilter or boom.NewPartitionedBloomFilter.
|
||||
bf := boom.NewBloomFilter(1000, 0.01)
|
||||
|
||||
bf.Add([]byte(`a`))
|
||||
if bf.Test([]byte(`a`)) {
|
||||
fmt.Println("contains a")
|
||||
}
|
||||
|
||||
if !bf.TestAndAdd([]byte(`b`)) {
|
||||
fmt.Println("doesn't contain b")
|
||||
}
|
||||
|
||||
if bf.Test([]byte(`b`)) {
|
||||
fmt.Println("now it contains b!")
|
||||
}
|
||||
|
||||
// Restore to initial state.
|
||||
bf.Reset()
|
||||
}
|
||||
```
|
||||
|
||||
## Count-Min Sketch
|
||||
|
||||
This is an implementation of a Count-Min Sketch as described by Cormode and Muthukrishnan in [An Improved Data Stream Summary: The Count-Min Sketch and its Applications](http://dimacs.rutgers.edu/~graham/pubs/papers/cm-full.pdf).
|
||||
|
||||
A Count-Min Sketch (CMS) is a probabilistic data structure which approximates the frequency of events in a data stream. Unlike a hash map, a CMS uses sub-linear space at the expense of a configurable error factor. Similar to Counting Bloom filters, items are hashed to a series of buckets, which increment a counter. The frequency of an item is estimated by taking the minimum of each of the item's respective counter values.
|
||||
|
||||
Count-Min Sketches are useful for counting the frequency of events in massive data sets or unbounded streams online. In these situations, storing the entire data set or allocating counters for every event in memory is impractical. It may be possible for offline processing, but real-time processing requires fast, space-efficient solutions like the CMS. For approximating set cardinality, refer to the HyperLogLog.
|
||||
|
||||
### Usage
|
||||
|
||||
```go
|
||||
package main
|
||||
|
||||
import (
|
||||
"fmt"
|
||||
"github.com/tylertreat/BoomFilters"
|
||||
)
|
||||
|
||||
func main() {
|
||||
cms := boom.NewCountMinSketch(0.001, 0.99)
|
||||
|
||||
cms.Add([]byte(`alice`)).Add([]byte(`bob`)).Add([]byte(`bob`)).Add([]byte(`frank`))
|
||||
fmt.Println("frequency of alice", cms.Count([]byte(`alice`)))
|
||||
fmt.Println("frequency of bob", cms.Count([]byte(`bob`)))
|
||||
fmt.Println("frequency of frank", cms.Count([]byte(`frank`)))
|
||||
|
||||
|
||||
// Serialization example
|
||||
buf := new(bytes.Buffer)
|
||||
n, err := cms.WriteDataTo(buf)
|
||||
if err != nil {
|
||||
fmt.Println(err, n)
|
||||
}
|
||||
|
||||
// Restore to initial state.
|
||||
cms.Reset()
|
||||
|
||||
newCMS := boom.NewCountMinSketch(0.001, 0.99)
|
||||
n, err = newCMS.ReadDataFrom(buf)
|
||||
if err != nil {
|
||||
fmt.Println(err, n)
|
||||
}
|
||||
|
||||
fmt.Println("frequency of frank", newCMS.Count([]byte(`frank`)))
|
||||
|
||||
|
||||
}
|
||||
```
|
||||
|
||||
## Top-K
|
||||
|
||||
Top-K uses a Count-Min Sketch and min-heap to track the top-k most frequent elements in a stream.
|
||||
|
||||
### Usage
|
||||
|
||||
```go
|
||||
package main
|
||||
|
||||
import (
|
||||
"fmt"
|
||||
"github.com/tylertreat/BoomFilters"
|
||||
)
|
||||
|
||||
func main() {
|
||||
topk := NewTopK(0.001, 0.99, 5)
|
||||
|
||||
topk.Add([]byte(`bob`)).Add([]byte(`bob`)).Add([]byte(`bob`))
|
||||
topk.Add([]byte(`tyler`)).Add([]byte(`tyler`)).Add([]byte(`tyler`)).Add([]byte(`tyler`))
|
||||
topk.Add([]byte(`fred`))
|
||||
topk.Add([]byte(`alice`)).Add([]byte(`alice`)).Add([]byte(`alice`)).Add([]byte(`alice`))
|
||||
topk.Add([]byte(`james`))
|
||||
topk.Add([]byte(`fred`))
|
||||
topk.Add([]byte(`sara`)).Add([]byte(`sara`))
|
||||
topk.Add([]byte(`bill`))
|
||||
|
||||
for i, element := range topk.Elements() {
|
||||
fmt.Println(i, string(element.Data), element.Freq)
|
||||
}
|
||||
|
||||
// Restore to initial state.
|
||||
topk.Reset()
|
||||
}
|
||||
```
|
||||
|
||||
## HyperLogLog
|
||||
|
||||
This is an implementation of HyperLogLog as described by Flajolet, Fusy, Gandouet, and Meunier in [HyperLogLog: the analysis of a near-optimal cardinality estimation algorithm](http://algo.inria.fr/flajolet/Publications/FlFuGaMe07.pdf).
|
||||
|
||||
HyperLogLog is a probabilistic algorithm which approximates the number of distinct elements in a multiset. It works by hashing values and calculating the maximum number of leading zeros in the binary representation of each hash. If the maximum number of leading zeros is n, the estimated number of distinct elements in the set is 2^n. To minimize variance, the multiset is split into a configurable number of registers, the maximum number of leading zeros is calculated in the numbers in each register, and a harmonic mean is used to combine the estimates.
|
||||
|
||||
For large or unbounded data sets, calculating the exact cardinality is impractical. HyperLogLog uses a fraction of the memory while providing an accurate approximation.
|
||||
|
||||
This implementation was [originally written by Eric Lesh](https://github.com/eclesh/hyperloglog). Some small changes and additions have been made, including a way to construct a HyperLogLog optimized for a particular relative accuracy and adding FNV hashing. For counting element frequency, refer to the Count-Min Sketch.
|
||||
|
||||
### Usage
|
||||
|
||||
```go
|
||||
package main
|
||||
|
||||
import (
|
||||
"fmt"
|
||||
"github.com/tylertreat/BoomFilters"
|
||||
)
|
||||
|
||||
func main() {
|
||||
hll, err := boom.NewDefaultHyperLogLog(0.1)
|
||||
if err != nil {
|
||||
panic(err)
|
||||
}
|
||||
|
||||
hll.Add([]byte(`alice`)).Add([]byte(`bob`)).Add([]byte(`bob`)).Add([]byte(`frank`))
|
||||
fmt.Println("count", hll.Count())
|
||||
|
||||
// Serialization example
|
||||
buf := new(bytes.Buffer)
|
||||
_, err := hll.WriteDataTo(buf)
|
||||
if err != nil {
|
||||
fmt.Println(err)
|
||||
}
|
||||
|
||||
// Restore to initial state.
|
||||
hll.Reset()
|
||||
|
||||
newHll, err := boom.NewDefaultHyperLogLog(0.1)
|
||||
if err != nil {
|
||||
fmt.Println(err)
|
||||
}
|
||||
|
||||
_, err := newHll.ReadDataFrom(buf)
|
||||
if err != nil {
|
||||
fmt.Println(err)
|
||||
}
|
||||
fmt.Println("count", newHll.Count())
|
||||
|
||||
}
|
||||
```
|
||||
|
||||
## MinHash
|
||||
|
||||
This is a variation of the technique for estimating similarity between two sets as presented by Broder in [On the resemblance and containment of documents](http://gatekeeper.dec.com/ftp/pub/dec/SRC/publications/broder/positano-final-wpnums.pdf).
|
||||
|
||||
MinHash is a probabilistic algorithm which can be used to cluster or compare documents by splitting the corpus into a bag of words. MinHash returns the approximated similarity ratio of the two bags. The similarity is less accurate for very small bags of words.
|
||||
|
||||
### Usage
|
||||
|
||||
```go
|
||||
package main
|
||||
|
||||
import (
|
||||
"fmt"
|
||||
"github.com/tylertreat/BoomFilters"
|
||||
)
|
||||
|
||||
func main() {
|
||||
bag1 := []string{"bill", "alice", "frank", "bob", "sara", "tyler", "james"}
|
||||
bag2 := []string{"bill", "alice", "frank", "bob", "sara"}
|
||||
|
||||
fmt.Println("similarity", boom.MinHash(bag1, bag2))
|
||||
}
|
||||
```
|
||||
|
||||
## References
|
||||
|
||||
- [Approximately Detecting Duplicates for Streaming Data using Stable Bloom Filters](http://webdocs.cs.ualberta.ca/~drafiei/papers/DupDet06Sigmod.pdf)
|
||||
- [Scalable Bloom Filters](http://gsd.di.uminho.pt/members/cbm/ps/dbloom.pdf)
|
||||
- [The Opposite of a Bloom Filter](http://www.somethingsimilar.com/2012/05/21/the-opposite-of-a-bloom-filter/)
|
||||
- [Benchmarking Bloom Filters and Hash Functions in Go](http://zhen.org/blog/benchmarking-bloom-filters-and-hash-functions-in-go/)
|
||||
- [Summary Cache: A Scalable Wide-Area Web Cache Sharing Protocol](http://pages.cs.wisc.edu/~jussara/papers/00ton.pdf)
|
||||
- [An Improved Data Stream Summary: The Count-Min Sketch and its Applications](http://dimacs.rutgers.edu/~graham/pubs/papers/cm-full.pdf)
|
||||
- [HyperLogLog: the analysis of a near-optimal cardinality estimation algorithm](http://algo.inria.fr/flajolet/Publications/FlFuGaMe07.pdf)
|
||||
- [Package hyperloglog](https://github.com/eclesh/hyperloglog)
|
||||
- [On the resemblance and containment of documents](http://gatekeeper.dec.com/ftp/pub/dec/SRC/publications/broder/positano-final-wpnums.pdf)
|
||||
- [Cuckoo Filter: Practically Better Than Bloom](http://www.pdl.cmu.edu/PDL-FTP/FS/cuckoo-conext2014.pdf)
|
||||
83
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/boom.go
generated
vendored
Normal file
83
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/boom.go
generated
vendored
Normal file
|
|
@ -0,0 +1,83 @@
|
|||
/*
|
||||
Package boom implements probabilistic data structures for processing
|
||||
continuous, unbounded data streams. This includes Stable Bloom Filters,
|
||||
Scalable Bloom Filters, Counting Bloom Filters, Inverse Bloom Filters, several
|
||||
variants of traditional Bloom filters, HyperLogLog, Count-Min Sketch, and
|
||||
MinHash.
|
||||
|
||||
Classic Bloom filters generally require a priori knowledge of the data set
|
||||
in order to allocate an appropriately sized bit array. This works well for
|
||||
offline processing, but online processing typically involves unbounded data
|
||||
streams. With enough data, a traditional Bloom filter "fills up", after
|
||||
which it has a false-positive probability of 1.
|
||||
|
||||
Boom Filters are useful for situations where the size of the data set isn't
|
||||
known ahead of time. For example, a Stable Bloom Filter can be used to
|
||||
deduplicate events from an unbounded event stream with a specified upper
|
||||
bound on false positives and minimal false negatives. Alternatively, an
|
||||
Inverse Bloom Filter is ideal for deduplicating a stream where duplicate
|
||||
events are relatively close together. This results in no false positives
|
||||
and, depending on how close together duplicates are, a small probability of
|
||||
false negatives. Scalable Bloom Filters place a tight upper bound on false
|
||||
positives while avoiding false negatives but require allocating memory
|
||||
proportional to the size of the data set. Counting Bloom Filters and Cuckoo
|
||||
Filters are useful for cases which require adding and removing elements to and
|
||||
from a set.
|
||||
|
||||
For large or unbounded data sets, calculating the exact cardinality is
|
||||
impractical. HyperLogLog uses a fraction of the memory while providing an
|
||||
accurate approximation. Similarly, Count-Min Sketch provides an efficient way
|
||||
to estimate event frequency for data streams. TopK tracks the top-k most
|
||||
frequent elements.
|
||||
|
||||
MinHash is a probabilistic algorithm to approximate the similarity between two
|
||||
sets. This can be used to cluster or compare documents by splitting the corpus
|
||||
into a bag of words.
|
||||
*/
|
||||
package boom
|
||||
|
||||
import (
|
||||
"encoding/binary"
|
||||
"hash"
|
||||
"math"
|
||||
)
|
||||
|
||||
const fillRatio = 0.5
|
||||
|
||||
// Filter is a probabilistic data structure which is used to test the
|
||||
// membership of an element in a set.
|
||||
type Filter interface {
|
||||
// Test will test for membership of the data and returns true if it is a
|
||||
// member, false if not.
|
||||
Test([]byte) bool
|
||||
|
||||
// Add will add the data to the Bloom filter. It returns the filter to
|
||||
// allow for chaining.
|
||||
Add([]byte) Filter
|
||||
|
||||
// TestAndAdd is equivalent to calling Test followed by Add. It returns
|
||||
// true if the data is a member, false if not.
|
||||
TestAndAdd([]byte) bool
|
||||
}
|
||||
|
||||
// OptimalM calculates the optimal Bloom filter size, m, based on the number of
|
||||
// items and the desired rate of false positives.
|
||||
func OptimalM(n uint, fpRate float64) uint {
|
||||
return uint(math.Ceil(float64(n) / ((math.Log(fillRatio) *
|
||||
math.Log(1-fillRatio)) / math.Abs(math.Log(fpRate)))))
|
||||
}
|
||||
|
||||
// OptimalK calculates the optimal number of hash functions to use for a Bloom
|
||||
// filter based on the desired rate of false positives.
|
||||
func OptimalK(fpRate float64) uint {
|
||||
return uint(math.Ceil(math.Log2(1 / fpRate)))
|
||||
}
|
||||
|
||||
// hashKernel returns the upper and lower base hash values from which the k
|
||||
// hashes are derived.
|
||||
func hashKernel(data []byte, hash hash.Hash64) (uint32, uint32) {
|
||||
hash.Write(data)
|
||||
sum := hash.Sum(nil)
|
||||
hash.Reset()
|
||||
return binary.BigEndian.Uint32(sum[4:8]), binary.BigEndian.Uint32(sum[0:4])
|
||||
}
|
||||
182
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/buckets.go
generated
vendored
Normal file
182
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/buckets.go
generated
vendored
Normal file
|
|
@ -0,0 +1,182 @@
|
|||
package boom
|
||||
|
||||
import (
|
||||
"bytes"
|
||||
"encoding/binary"
|
||||
"io"
|
||||
)
|
||||
|
||||
// Buckets is a fast, space-efficient array of buckets where each bucket can
|
||||
// store up to a configured maximum value.
|
||||
type Buckets struct {
|
||||
data []byte
|
||||
bucketSize uint8
|
||||
max uint8
|
||||
count uint
|
||||
}
|
||||
|
||||
// NewBuckets creates a new Buckets with the provided number of buckets where
|
||||
// each bucket is the specified number of bits.
|
||||
func NewBuckets(count uint, bucketSize uint8) *Buckets {
|
||||
return &Buckets{
|
||||
count: count,
|
||||
data: make([]byte, (count*uint(bucketSize)+7)/8),
|
||||
bucketSize: bucketSize,
|
||||
max: (1 << bucketSize) - 1,
|
||||
}
|
||||
}
|
||||
|
||||
// MaxBucketValue returns the maximum value that can be stored in a bucket.
|
||||
func (b *Buckets) MaxBucketValue() uint8 {
|
||||
return b.max
|
||||
}
|
||||
|
||||
// Count returns the number of buckets.
|
||||
func (b *Buckets) Count() uint {
|
||||
return b.count
|
||||
}
|
||||
|
||||
// Increment will increment the value in the specified bucket by the provided
|
||||
// delta. A bucket can be decremented by providing a negative delta. The value
|
||||
// is clamped to zero and the maximum bucket value. Returns itself to allow for
|
||||
// chaining.
|
||||
func (b *Buckets) Increment(bucket uint, delta int32) *Buckets {
|
||||
val := int32(b.getBits(bucket*uint(b.bucketSize), uint(b.bucketSize))) + delta
|
||||
if val > int32(b.max) {
|
||||
val = int32(b.max)
|
||||
} else if val < 0 {
|
||||
val = 0
|
||||
}
|
||||
|
||||
b.setBits(uint32(bucket)*uint32(b.bucketSize), uint32(b.bucketSize), uint32(val))
|
||||
return b
|
||||
}
|
||||
|
||||
// Set will set the bucket value. The value is clamped to zero and the maximum
|
||||
// bucket value. Returns itself to allow for chaining.
|
||||
func (b *Buckets) Set(bucket uint, value uint8) *Buckets {
|
||||
if value > b.max {
|
||||
value = b.max
|
||||
}
|
||||
|
||||
b.setBits(uint32(bucket)*uint32(b.bucketSize), uint32(b.bucketSize), uint32(value))
|
||||
return b
|
||||
}
|
||||
|
||||
// Get returns the value in the specified bucket.
|
||||
func (b *Buckets) Get(bucket uint) uint32 {
|
||||
return b.getBits(bucket*uint(b.bucketSize), uint(b.bucketSize))
|
||||
}
|
||||
|
||||
// Reset restores the Buckets to the original state. Returns itself to allow
|
||||
// for chaining.
|
||||
func (b *Buckets) Reset() *Buckets {
|
||||
b.data = make([]byte, (b.count*uint(b.bucketSize)+7)/8)
|
||||
return b
|
||||
}
|
||||
|
||||
// getBits returns the bits at the specified offset and length.
|
||||
func (b *Buckets) getBits(offset, length uint) uint32 {
|
||||
byteIndex := offset / 8
|
||||
byteOffset := offset % 8
|
||||
if byteOffset+length > 8 {
|
||||
rem := 8 - byteOffset
|
||||
return b.getBits(offset, rem) | (b.getBits(offset+rem, length-rem) << rem)
|
||||
}
|
||||
bitMask := uint32((1 << length) - 1)
|
||||
return (uint32(b.data[byteIndex]) & (bitMask << byteOffset)) >> byteOffset
|
||||
}
|
||||
|
||||
// setBits sets bits at the specified offset and length.
|
||||
func (b *Buckets) setBits(offset, length, bits uint32) {
|
||||
byteIndex := offset / 8
|
||||
byteOffset := offset % 8
|
||||
if byteOffset+length > 8 {
|
||||
rem := 8 - byteOffset
|
||||
b.setBits(offset, rem, bits)
|
||||
b.setBits(offset+rem, length-rem, bits>>rem)
|
||||
return
|
||||
}
|
||||
bitMask := uint32((1 << length) - 1)
|
||||
b.data[byteIndex] = byte(uint32(b.data[byteIndex]) & ^(bitMask << byteOffset))
|
||||
b.data[byteIndex] = byte(uint32(b.data[byteIndex]) | ((bits & bitMask) << byteOffset))
|
||||
}
|
||||
|
||||
// WriteTo writes a binary representation of Buckets to an i/o stream.
|
||||
// It returns the number of bytes written.
|
||||
func (b *Buckets) WriteTo(stream io.Writer) (int64, error) {
|
||||
err := binary.Write(stream, binary.BigEndian, b.bucketSize)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Write(stream, binary.BigEndian, b.max)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Write(stream, binary.BigEndian, uint64(b.count))
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Write(stream, binary.BigEndian, uint64(len(b.data)))
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Write(stream, binary.BigEndian, b.data)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
return int64(len(b.data) + 2*binary.Size(uint8(0)) + 2*binary.Size(uint64(0))), err
|
||||
}
|
||||
|
||||
// ReadFrom reads a binary representation of Buckets (such as might
|
||||
// have been written by WriteTo()) from an i/o stream. It returns the number
|
||||
// of bytes read.
|
||||
func (b *Buckets) ReadFrom(stream io.Reader) (int64, error) {
|
||||
var bucketSize, max uint8
|
||||
var count, len uint64
|
||||
err := binary.Read(stream, binary.BigEndian, &bucketSize)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Read(stream, binary.BigEndian, &max)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Read(stream, binary.BigEndian, &count)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Read(stream, binary.BigEndian, &len)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
data := make([]byte, len)
|
||||
err = binary.Read(stream, binary.BigEndian, &data)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
b.bucketSize = bucketSize
|
||||
b.max = max
|
||||
b.count = uint(count)
|
||||
b.data = data
|
||||
return int64(int(len) + 2*binary.Size(uint8(0)) + 2*binary.Size(uint64(0))), nil
|
||||
}
|
||||
|
||||
// GobEncode implements gob.GobEncoder interface.
|
||||
func (b *Buckets) GobEncode() ([]byte, error) {
|
||||
var buf bytes.Buffer
|
||||
_, err := b.WriteTo(&buf)
|
||||
if err != nil {
|
||||
return nil, err
|
||||
}
|
||||
|
||||
return buf.Bytes(), nil
|
||||
}
|
||||
|
||||
// GobDecode implements gob.GobDecoder interface.
|
||||
func (b *Buckets) GobDecode(data []byte) error {
|
||||
buf := bytes.NewBuffer(data)
|
||||
_, err := b.ReadFrom(buf)
|
||||
|
||||
return err
|
||||
}
|
||||
121
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/classic.go
generated
vendored
Normal file
121
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/classic.go
generated
vendored
Normal file
|
|
@ -0,0 +1,121 @@
|
|||
package boom
|
||||
|
||||
import (
|
||||
"hash"
|
||||
"hash/fnv"
|
||||
"math"
|
||||
)
|
||||
|
||||
// BloomFilter implements a classic Bloom filter. A Bloom filter has a non-zero
|
||||
// probability of false positives and a zero probability of false negatives.
|
||||
type BloomFilter struct {
|
||||
buckets *Buckets // filter data
|
||||
hash hash.Hash64 // hash function (kernel for all k functions)
|
||||
m uint // filter size
|
||||
k uint // number of hash functions
|
||||
count uint // number of items added
|
||||
}
|
||||
|
||||
// NewBloomFilter creates a new Bloom filter optimized to store n items with a
|
||||
// specified target false-positive rate.
|
||||
func NewBloomFilter(n uint, fpRate float64) *BloomFilter {
|
||||
m := OptimalM(n, fpRate)
|
||||
return &BloomFilter{
|
||||
buckets: NewBuckets(m, 1),
|
||||
hash: fnv.New64(),
|
||||
m: m,
|
||||
k: OptimalK(fpRate),
|
||||
}
|
||||
}
|
||||
|
||||
// Capacity returns the Bloom filter capacity, m.
|
||||
func (b *BloomFilter) Capacity() uint {
|
||||
return b.m
|
||||
}
|
||||
|
||||
// K returns the number of hash functions.
|
||||
func (b *BloomFilter) K() uint {
|
||||
return b.k
|
||||
}
|
||||
|
||||
// Count returns the number of items added to the filter.
|
||||
func (b *BloomFilter) Count() uint {
|
||||
return b.count
|
||||
}
|
||||
|
||||
// EstimatedFillRatio returns the current estimated ratio of set bits.
|
||||
func (b *BloomFilter) EstimatedFillRatio() float64 {
|
||||
return 1 - math.Exp((-float64(b.count)*float64(b.k))/float64(b.m))
|
||||
}
|
||||
|
||||
// FillRatio returns the ratio of set bits.
|
||||
func (b *BloomFilter) FillRatio() float64 {
|
||||
sum := uint32(0)
|
||||
for i := uint(0); i < b.buckets.Count(); i++ {
|
||||
sum += b.buckets.Get(i)
|
||||
}
|
||||
return float64(sum) / float64(b.m)
|
||||
}
|
||||
|
||||
// Test will test for membership of the data and returns true if it is a
|
||||
// member, false if not. This is a probabilistic test, meaning there is a
|
||||
// non-zero probability of false positives but a zero probability of false
|
||||
// negatives.
|
||||
func (b *BloomFilter) Test(data []byte) bool {
|
||||
lower, upper := hashKernel(data, b.hash)
|
||||
|
||||
// If any of the K bits are not set, then it's not a member.
|
||||
for i := uint(0); i < b.k; i++ {
|
||||
if b.buckets.Get((uint(lower)+uint(upper)*i)%b.m) == 0 {
|
||||
return false
|
||||
}
|
||||
}
|
||||
|
||||
return true
|
||||
}
|
||||
|
||||
// Add will add the data to the Bloom filter. It returns the filter to allow
|
||||
// for chaining.
|
||||
func (b *BloomFilter) Add(data []byte) Filter {
|
||||
lower, upper := hashKernel(data, b.hash)
|
||||
|
||||
// Set the K bits.
|
||||
for i := uint(0); i < b.k; i++ {
|
||||
b.buckets.Set((uint(lower)+uint(upper)*i)%b.m, 1)
|
||||
}
|
||||
|
||||
b.count++
|
||||
return b
|
||||
}
|
||||
|
||||
// TestAndAdd is equivalent to calling Test followed by Add. It returns true if
|
||||
// the data is a member, false if not.
|
||||
func (b *BloomFilter) TestAndAdd(data []byte) bool {
|
||||
lower, upper := hashKernel(data, b.hash)
|
||||
member := true
|
||||
|
||||
// If any of the K bits are not set, then it's not a member.
|
||||
for i := uint(0); i < b.k; i++ {
|
||||
idx := (uint(lower) + uint(upper)*i) % b.m
|
||||
if b.buckets.Get(idx) == 0 {
|
||||
member = false
|
||||
}
|
||||
b.buckets.Set(idx, 1)
|
||||
}
|
||||
|
||||
b.count++
|
||||
return member
|
||||
}
|
||||
|
||||
// Reset restores the Bloom filter to its original state. It returns the filter
|
||||
// to allow for chaining.
|
||||
func (b *BloomFilter) Reset() *BloomFilter {
|
||||
b.buckets.Reset()
|
||||
return b
|
||||
}
|
||||
|
||||
// SetHash sets the hashing function used in the filter.
|
||||
// For the effect on false positive rates see: https://github.com/tylertreat/BoomFilters/pull/1
|
||||
func (b *BloomFilter) SetHash(h hash.Hash64) {
|
||||
b.hash = h
|
||||
}
|
||||
158
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/counting.go
generated
vendored
Normal file
158
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/counting.go
generated
vendored
Normal file
|
|
@ -0,0 +1,158 @@
|
|||
package boom
|
||||
|
||||
import (
|
||||
"hash"
|
||||
"hash/fnv"
|
||||
)
|
||||
|
||||
// CountingBloomFilter implements a Counting Bloom Filter as described by Fan,
|
||||
// Cao, Almeida, and Broder in Summary Cache: A Scalable Wide-Area Web Cache
|
||||
// Sharing Protocol:
|
||||
//
|
||||
// http://pages.cs.wisc.edu/~jussara/papers/00ton.pdf
|
||||
//
|
||||
// A Counting Bloom Filter (CBF) provides a way to remove elements by using an
|
||||
// array of n-bit buckets. When an element is added, the respective buckets are
|
||||
// incremented. To remove an element, the respective buckets are decremented. A
|
||||
// query checks that each of the respective buckets are non-zero. Because CBFs
|
||||
// allow elements to be removed, they introduce a non-zero probability of false
|
||||
// negatives in addition to the possibility of false positives.
|
||||
//
|
||||
// Counting Bloom Filters are useful for cases where elements are both added
|
||||
// and removed from the data set. Since they use n-bit buckets, CBFs use
|
||||
// roughly n-times more memory than traditional Bloom filters.
|
||||
type CountingBloomFilter struct {
|
||||
buckets *Buckets // filter data
|
||||
hash hash.Hash64 // hash function (kernel for all k functions)
|
||||
m uint // number of buckets
|
||||
k uint // number of hash functions
|
||||
count uint // number of items in the filter
|
||||
indexBuffer []uint // buffer used to cache indices
|
||||
}
|
||||
|
||||
// NewCountingBloomFilter creates a new Counting Bloom Filter optimized to
|
||||
// store n items with a specified target false-positive rate and bucket size.
|
||||
// If you don't know how many bits to use for buckets, use
|
||||
// NewDefaultCountingBloomFilter for a sensible default.
|
||||
func NewCountingBloomFilter(n uint, b uint8, fpRate float64) *CountingBloomFilter {
|
||||
var (
|
||||
m = OptimalM(n, fpRate)
|
||||
k = OptimalK(fpRate)
|
||||
)
|
||||
return &CountingBloomFilter{
|
||||
buckets: NewBuckets(m, b),
|
||||
hash: fnv.New64(),
|
||||
m: m,
|
||||
k: k,
|
||||
indexBuffer: make([]uint, k),
|
||||
}
|
||||
}
|
||||
|
||||
// NewDefaultCountingBloomFilter creates a new Counting Bloom Filter optimized
|
||||
// to store n items with a specified target false-positive rate. Buckets are
|
||||
// allocated four bits.
|
||||
func NewDefaultCountingBloomFilter(n uint, fpRate float64) *CountingBloomFilter {
|
||||
return NewCountingBloomFilter(n, 4, fpRate)
|
||||
}
|
||||
|
||||
// Capacity returns the Bloom filter capacity, m.
|
||||
func (c *CountingBloomFilter) Capacity() uint {
|
||||
return c.m
|
||||
}
|
||||
|
||||
// K returns the number of hash functions.
|
||||
func (c *CountingBloomFilter) K() uint {
|
||||
return c.k
|
||||
}
|
||||
|
||||
// Count returns the number of items in the filter.
|
||||
func (c *CountingBloomFilter) Count() uint {
|
||||
return c.count
|
||||
}
|
||||
|
||||
// Test will test for membership of the data and returns true if it is a
|
||||
// member, false if not. This is a probabilistic test, meaning there is a
|
||||
// non-zero probability of false positives and false negatives.
|
||||
func (c *CountingBloomFilter) Test(data []byte) bool {
|
||||
lower, upper := hashKernel(data, c.hash)
|
||||
|
||||
// If any of the K bits are not set, then it's not a member.
|
||||
for i := uint(0); i < c.k; i++ {
|
||||
if c.buckets.Get((uint(lower)+uint(upper)*i)%c.m) == 0 {
|
||||
return false
|
||||
}
|
||||
}
|
||||
|
||||
return true
|
||||
}
|
||||
|
||||
// Add will add the data to the Bloom filter. It returns the filter to allow
|
||||
// for chaining.
|
||||
func (c *CountingBloomFilter) Add(data []byte) Filter {
|
||||
lower, upper := hashKernel(data, c.hash)
|
||||
|
||||
// Set the K bits.
|
||||
for i := uint(0); i < c.k; i++ {
|
||||
c.buckets.Increment((uint(lower)+uint(upper)*i)%c.m, 1)
|
||||
}
|
||||
|
||||
c.count++
|
||||
return c
|
||||
}
|
||||
|
||||
// TestAndAdd is equivalent to calling Test followed by Add. It returns true if
|
||||
// the data is a member, false if not.
|
||||
func (c *CountingBloomFilter) TestAndAdd(data []byte) bool {
|
||||
lower, upper := hashKernel(data, c.hash)
|
||||
member := true
|
||||
|
||||
// If any of the K bits are not set, then it's not a member.
|
||||
for i := uint(0); i < c.k; i++ {
|
||||
idx := (uint(lower) + uint(upper)*i) % c.m
|
||||
if c.buckets.Get(idx) == 0 {
|
||||
member = false
|
||||
}
|
||||
c.buckets.Increment(idx, 1)
|
||||
}
|
||||
|
||||
c.count++
|
||||
return member
|
||||
}
|
||||
|
||||
// TestAndRemove will test for membership of the data and remove it from the
|
||||
// filter if it exists. Returns true if the data was a member, false if not.
|
||||
func (c *CountingBloomFilter) TestAndRemove(data []byte) bool {
|
||||
lower, upper := hashKernel(data, c.hash)
|
||||
member := true
|
||||
|
||||
// Set the K bits.
|
||||
for i := uint(0); i < c.k; i++ {
|
||||
c.indexBuffer[i] = (uint(lower) + uint(upper)*i) % c.m
|
||||
if c.buckets.Get(c.indexBuffer[i]) == 0 {
|
||||
member = false
|
||||
}
|
||||
}
|
||||
|
||||
if member {
|
||||
for _, idx := range c.indexBuffer {
|
||||
c.buckets.Increment(idx, -1)
|
||||
}
|
||||
c.count--
|
||||
}
|
||||
|
||||
return member
|
||||
}
|
||||
|
||||
// Reset restores the Bloom filter to its original state. It returns the filter
|
||||
// to allow for chaining.
|
||||
func (c *CountingBloomFilter) Reset() *CountingBloomFilter {
|
||||
c.buckets.Reset()
|
||||
c.count = 0
|
||||
return c
|
||||
}
|
||||
|
||||
// SetHash sets the hashing function used in the filter.
|
||||
// For the effect on false positive rates see: https://github.com/tylertreat/BoomFilters/pull/1
|
||||
func (c *CountingBloomFilter) SetHash(h hash.Hash64) {
|
||||
c.hash = h
|
||||
}
|
||||
217
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/countmin.go
generated
vendored
Normal file
217
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/countmin.go
generated
vendored
Normal file
|
|
@ -0,0 +1,217 @@
|
|||
package boom
|
||||
|
||||
import (
|
||||
"bytes"
|
||||
"encoding/binary"
|
||||
"errors"
|
||||
"fmt"
|
||||
"hash"
|
||||
"hash/fnv"
|
||||
"io"
|
||||
"math"
|
||||
)
|
||||
|
||||
// CountMinSketch implements a Count-Min Sketch as described by Cormode and
|
||||
// Muthukrishnan in An Improved Data Stream Summary: The Count-Min Sketch and
|
||||
// its Applications:
|
||||
//
|
||||
// http://dimacs.rutgers.edu/~graham/pubs/papers/cm-full.pdf
|
||||
//
|
||||
// A Count-Min Sketch (CMS) is a probabilistic data structure which
|
||||
// approximates the frequency of events in a data stream. Unlike a hash map, a
|
||||
// CMS uses sub-linear space at the expense of a configurable error factor.
|
||||
// Similar to Counting Bloom filters, items are hashed to a series of buckets,
|
||||
// which increment a counter. The frequency of an item is estimated by taking
|
||||
// the minimum of each of the item's respective counter values.
|
||||
//
|
||||
// Count-Min Sketches are useful for counting the frequency of events in
|
||||
// massive data sets or unbounded streams online. In these situations, storing
|
||||
// the entire data set or allocating counters for every event in memory is
|
||||
// impractical. It may be possible for offline processing, but real-time
|
||||
// processing requires fast, space-efficient solutions like the CMS. For
|
||||
// approximating set cardinality, refer to the HyperLogLog.
|
||||
type CountMinSketch struct {
|
||||
matrix [][]uint64 // count matrix
|
||||
width uint // matrix width
|
||||
depth uint // matrix depth
|
||||
count uint64 // number of items added
|
||||
epsilon float64 // relative-accuracy factor
|
||||
delta float64 // relative-accuracy probability
|
||||
hash hash.Hash64 // hash function (kernel for all depth functions)
|
||||
}
|
||||
|
||||
// NewCountMinSketch creates a new Count-Min Sketch whose relative accuracy is
|
||||
// within a factor of epsilon with probability delta. Both of these parameters
|
||||
// affect the space and time complexity.
|
||||
func NewCountMinSketch(epsilon, delta float64) *CountMinSketch {
|
||||
var (
|
||||
width = uint(math.Ceil(math.E / epsilon))
|
||||
depth = uint(math.Ceil(math.Log(1 / delta)))
|
||||
matrix = make([][]uint64, depth)
|
||||
)
|
||||
|
||||
for i := uint(0); i < depth; i++ {
|
||||
matrix[i] = make([]uint64, width)
|
||||
}
|
||||
|
||||
return &CountMinSketch{
|
||||
matrix: matrix,
|
||||
width: width,
|
||||
depth: depth,
|
||||
epsilon: epsilon,
|
||||
delta: delta,
|
||||
hash: fnv.New64(),
|
||||
}
|
||||
}
|
||||
|
||||
// Epsilon returns the relative-accuracy factor, epsilon.
|
||||
func (c *CountMinSketch) Epsilon() float64 {
|
||||
return c.epsilon
|
||||
}
|
||||
|
||||
// Delta returns the relative-accuracy probability, delta.
|
||||
func (c *CountMinSketch) Delta() float64 {
|
||||
return c.delta
|
||||
}
|
||||
|
||||
// TotalCount returns the number of items added to the sketch.
|
||||
func (c *CountMinSketch) TotalCount() uint64 {
|
||||
return c.count
|
||||
}
|
||||
|
||||
// Add will add the data to the set. Returns the CountMinSketch to allow for
|
||||
// chaining.
|
||||
func (c *CountMinSketch) Add(data []byte) *CountMinSketch {
|
||||
lower, upper := hashKernel(data, c.hash)
|
||||
|
||||
// Increment count in each row.
|
||||
for i := uint(0); i < c.depth; i++ {
|
||||
c.matrix[i][(uint(lower)+uint(upper)*i)%c.width]++
|
||||
}
|
||||
|
||||
c.count++
|
||||
return c
|
||||
}
|
||||
|
||||
// Count returns the approximate count for the specified item, correct within
|
||||
// epsilon * total count with a probability of delta.
|
||||
func (c *CountMinSketch) Count(data []byte) uint64 {
|
||||
var (
|
||||
lower, upper = hashKernel(data, c.hash)
|
||||
count = uint64(math.MaxUint64)
|
||||
)
|
||||
|
||||
for i := uint(0); i < c.depth; i++ {
|
||||
count = uint64(math.Min(float64(count),
|
||||
float64(c.matrix[i][(uint(lower)+uint(upper)*i)%c.width])))
|
||||
}
|
||||
|
||||
return count
|
||||
}
|
||||
|
||||
// Merge combines this CountMinSketch with another. Returns an error if the
|
||||
// matrix width and depth are not equal.
|
||||
func (c *CountMinSketch) Merge(other *CountMinSketch) error {
|
||||
if c.depth != other.depth {
|
||||
return errors.New("matrix depth must match")
|
||||
}
|
||||
|
||||
if c.width != other.width {
|
||||
return errors.New("matrix width must match")
|
||||
}
|
||||
|
||||
for i := uint(0); i < c.depth; i++ {
|
||||
for j := uint(0); j < c.width; j++ {
|
||||
c.matrix[i][j] += other.matrix[i][j]
|
||||
}
|
||||
}
|
||||
|
||||
c.count += other.count
|
||||
return nil
|
||||
}
|
||||
|
||||
// Reset restores the CountMinSketch to its original state. It returns itself
|
||||
// to allow for chaining.
|
||||
func (c *CountMinSketch) Reset() *CountMinSketch {
|
||||
matrix := make([][]uint64, c.depth)
|
||||
for i := uint(0); i < c.depth; i++ {
|
||||
matrix[i] = make([]uint64, c.width)
|
||||
}
|
||||
|
||||
c.matrix = matrix
|
||||
c.count = 0
|
||||
return c
|
||||
}
|
||||
|
||||
// SetHash sets the hashing function used.
|
||||
func (c *CountMinSketch) SetHash(h hash.Hash64) {
|
||||
c.hash = h
|
||||
}
|
||||
|
||||
// WriteDataTo writes a binary representation of the CMS data to
|
||||
// an io stream. It returns the number of bytes written and error
|
||||
func (c *CountMinSketch) WriteDataTo(stream io.Writer) (int, error) {
|
||||
buf := new(bytes.Buffer)
|
||||
// serialize epsilon and delta as cms configuration check
|
||||
err := binary.Write(buf, binary.LittleEndian, c.epsilon)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Write(buf, binary.LittleEndian, c.delta)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Write(buf, binary.LittleEndian, c.count)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
// encode matrix
|
||||
for i := range c.matrix {
|
||||
err = binary.Write(buf, binary.LittleEndian, c.matrix[i])
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
}
|
||||
|
||||
return stream.Write(buf.Bytes())
|
||||
}
|
||||
|
||||
// ReadDataFrom reads a binary representation of the CMS data written
|
||||
// by WriteDataTo() from io stream. It returns the number of bytes read
|
||||
// and error
|
||||
// If serialized CMS configuration is different it returns error with expected params
|
||||
func (c *CountMinSketch) ReadDataFrom(stream io.Reader) (int, error) {
|
||||
var (
|
||||
count uint64
|
||||
epsilon, delta float64
|
||||
)
|
||||
|
||||
err := binary.Read(stream, binary.LittleEndian, &epsilon)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Read(stream, binary.LittleEndian, &delta)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
|
||||
// check if serialized and target cms configurations are same
|
||||
if c.epsilon != epsilon || c.delta != delta {
|
||||
return 0, fmt.Errorf("expected cms values for epsilon %f and delta %f", epsilon, delta)
|
||||
}
|
||||
|
||||
err = binary.Read(stream, binary.LittleEndian, &count)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
|
||||
for i := uint(0); i < uint(c.depth); i++ {
|
||||
err = binary.Read(stream, binary.LittleEndian, c.matrix[i])
|
||||
}
|
||||
// count size of matrix and count
|
||||
size := int(c.depth*c.width)*binary.Size(uint64(0)) + binary.Size(count) + 2*binary.Size(float64(0))
|
||||
|
||||
c.count = count
|
||||
|
||||
return size, err
|
||||
}
|
||||
269
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/cuckoo.go
generated
vendored
Normal file
269
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/cuckoo.go
generated
vendored
Normal file
|
|
@ -0,0 +1,269 @@
|
|||
package boom
|
||||
|
||||
import (
|
||||
"bytes"
|
||||
"encoding/binary"
|
||||
"errors"
|
||||
"hash"
|
||||
"hash/fnv"
|
||||
"math"
|
||||
"math/rand"
|
||||
)
|
||||
|
||||
// maxNumKicks is the maximum number of relocations to attempt when inserting
|
||||
// an element before considering the filter full.
|
||||
const maxNumKicks = 500
|
||||
|
||||
// bucket consists of a set of []byte entries.
|
||||
type bucket [][]byte
|
||||
|
||||
// contains indicates if the given fingerprint is contained in one of the
|
||||
// bucket's entries.
|
||||
func (b bucket) contains(f []byte) bool {
|
||||
return b.indexOf(f) != -1
|
||||
}
|
||||
|
||||
// indexOf returns the entry index of the given fingerprint or -1 if it's not
|
||||
// in the bucket.
|
||||
func (b bucket) indexOf(f []byte) int {
|
||||
for i, fingerprint := range b {
|
||||
if bytes.Equal(f, fingerprint) {
|
||||
return i
|
||||
}
|
||||
}
|
||||
return -1
|
||||
}
|
||||
|
||||
// getEmptyEntry returns the index of the next available entry in the bucket or
|
||||
// an error if it's full.
|
||||
func (b bucket) getEmptyEntry() (int, error) {
|
||||
for i, fingerprint := range b {
|
||||
if fingerprint == nil {
|
||||
return i, nil
|
||||
}
|
||||
}
|
||||
return -1, errors.New("full")
|
||||
}
|
||||
|
||||
// CuckooFilter implements a Cuckoo Bloom filter as described by Andersen,
|
||||
// Kaminsky, and Mitzenmacher in Cuckoo Filter: Practically Better Than Bloom:
|
||||
//
|
||||
// http://www.pdl.cmu.edu/PDL-FTP/FS/cuckoo-conext2014.pdf
|
||||
//
|
||||
// A Cuckoo Filter is a Bloom filter variation which provides support for
|
||||
// removing elements without significantly degrading space and performance. It
|
||||
// works by using a cuckoo hashing scheme for inserting items. Instead of
|
||||
// storing the elements themselves, it stores their fingerprints which also
|
||||
// allows for item removal without false negatives (if you don't attempt to
|
||||
// remove an item not contained in the filter).
|
||||
//
|
||||
// For applications that store many items and target moderately low
|
||||
// false-positive rates, cuckoo filters have lower space overhead than
|
||||
// space-optimized Bloom filters.
|
||||
type CuckooFilter struct {
|
||||
buckets []bucket
|
||||
hash hash.Hash32 // hash function (used for fingerprint and hash)
|
||||
m uint // number of buckets
|
||||
b uint // number of entries per bucket
|
||||
f uint // length of fingerprints (in bytes)
|
||||
count uint // number of items in the filter
|
||||
n uint // filter capacity
|
||||
}
|
||||
|
||||
// NewCuckooFilter creates a new Cuckoo Bloom filter optimized to store n items
|
||||
// with a specified target false-positive rate.
|
||||
func NewCuckooFilter(n uint, fpRate float64) *CuckooFilter {
|
||||
var (
|
||||
b = uint(4)
|
||||
f = calculateF(b, fpRate)
|
||||
m = power2(n / uint(f) * 8)
|
||||
buckets = make([]bucket, m)
|
||||
)
|
||||
|
||||
for i := uint(0); i < m; i++ {
|
||||
buckets[i] = make(bucket, b)
|
||||
}
|
||||
|
||||
return &CuckooFilter{
|
||||
buckets: buckets,
|
||||
hash: fnv.New32(),
|
||||
m: m,
|
||||
b: b,
|
||||
f: uint(f),
|
||||
n: n,
|
||||
}
|
||||
}
|
||||
|
||||
// Buckets returns the number of buckets.
|
||||
func (c *CuckooFilter) Buckets() uint {
|
||||
return c.m
|
||||
}
|
||||
|
||||
// Capacity returns the number of items the filter can store.
|
||||
func (c *CuckooFilter) Capacity() uint {
|
||||
return c.n
|
||||
}
|
||||
|
||||
// Count returns the number of items in the filter.
|
||||
func (c *CuckooFilter) Count() uint {
|
||||
return c.count
|
||||
}
|
||||
|
||||
// Test will test for membership of the data and returns true if it is a
|
||||
// member, false if not. This is a probabilistic test, meaning there is a
|
||||
// non-zero probability of false positives.
|
||||
func (c *CuckooFilter) Test(data []byte) bool {
|
||||
i1, i2, f := c.components(data)
|
||||
|
||||
// If either bucket contains f, it's a member.
|
||||
return c.buckets[i1%c.m].contains(f) || c.buckets[i2%c.m].contains(f)
|
||||
}
|
||||
|
||||
// Add will add the data to the Cuckoo Filter. It returns an error if the
|
||||
// filter is full. If the filter is full, an item is removed to make room for
|
||||
// the new item. This introduces a possibility for false negatives. To avoid
|
||||
// this, use Count and Capacity to check if the filter is full before adding an
|
||||
// item.
|
||||
func (c *CuckooFilter) Add(data []byte) error {
|
||||
return c.add(c.components(data))
|
||||
}
|
||||
|
||||
// TestAndAdd is equivalent to calling Test followed by Add. It returns true if
|
||||
// the data is a member, false if not. An error is returned if the filter is
|
||||
// full. If the filter is full, an item is removed to make room for the new
|
||||
// item. This introduces a possibility for false negatives. To avoid this, use
|
||||
// Count and Capacity to check if the filter is full before adding an item.
|
||||
func (c *CuckooFilter) TestAndAdd(data []byte) (bool, error) {
|
||||
i1, i2, f := c.components(data)
|
||||
|
||||
// If either bucket contains f, it's a member.
|
||||
if c.buckets[i1%c.m].contains(f) || c.buckets[i2%c.m].contains(f) {
|
||||
return true, nil
|
||||
}
|
||||
|
||||
return false, c.add(i1, i2, f)
|
||||
}
|
||||
|
||||
// TestAndRemove will test for membership of the data and remove it from the
|
||||
// filter if it exists. Returns true if the data was a member, false if not.
|
||||
func (c *CuckooFilter) TestAndRemove(data []byte) bool {
|
||||
i1, i2, f := c.components(data)
|
||||
|
||||
// Try to remove from bucket[i1].
|
||||
b1 := c.buckets[i1%c.m]
|
||||
if idx := b1.indexOf(f); idx != -1 {
|
||||
b1[idx] = nil
|
||||
c.count--
|
||||
return true
|
||||
}
|
||||
|
||||
// Try to remove from bucket[i2].
|
||||
b2 := c.buckets[i2%c.m]
|
||||
if idx := b2.indexOf(f); idx != -1 {
|
||||
b2[idx] = nil
|
||||
c.count--
|
||||
return true
|
||||
}
|
||||
|
||||
return false
|
||||
}
|
||||
|
||||
// Reset restores the Bloom filter to its original state. It returns the filter
|
||||
// to allow for chaining.
|
||||
func (c *CuckooFilter) Reset() *CuckooFilter {
|
||||
buckets := make([]bucket, c.m)
|
||||
for i := uint(0); i < c.m; i++ {
|
||||
buckets[i] = make(bucket, c.b)
|
||||
}
|
||||
c.buckets = buckets
|
||||
c.count = 0
|
||||
return c
|
||||
}
|
||||
|
||||
// add will insert the fingerprint into the filter returning an error if the
|
||||
// filter is full.
|
||||
func (c *CuckooFilter) add(i1, i2 uint, f []byte) error {
|
||||
// Try to insert into bucket[i1].
|
||||
b1 := c.buckets[i1%c.m]
|
||||
if idx, err := b1.getEmptyEntry(); err == nil {
|
||||
b1[idx] = f
|
||||
c.count++
|
||||
return nil
|
||||
}
|
||||
|
||||
// Try to insert into bucket[i2].
|
||||
b2 := c.buckets[i2%c.m]
|
||||
if idx, err := b2.getEmptyEntry(); err == nil {
|
||||
b2[idx] = f
|
||||
c.count++
|
||||
return nil
|
||||
}
|
||||
|
||||
// Must relocate existing items.
|
||||
i := i1
|
||||
for n := 0; n < maxNumKicks; n++ {
|
||||
bucketIdx := i % c.m
|
||||
entryIdx := rand.Intn(int(c.b))
|
||||
f, c.buckets[bucketIdx][entryIdx] = c.buckets[bucketIdx][entryIdx], f
|
||||
i = i ^ uint(binary.BigEndian.Uint32(c.computeHash(f)))
|
||||
b := c.buckets[i%c.m]
|
||||
if idx, err := b.getEmptyEntry(); err == nil {
|
||||
b[idx] = f
|
||||
c.count++
|
||||
return nil
|
||||
}
|
||||
}
|
||||
|
||||
return errors.New("full")
|
||||
}
|
||||
|
||||
// components returns the two hash values used to index into the buckets and
|
||||
// the fingerprint for the given element.
|
||||
func (c *CuckooFilter) components(data []byte) (uint, uint, []byte) {
|
||||
var (
|
||||
hash = c.computeHash(data)
|
||||
f = hash[0:c.f]
|
||||
i1 = uint(binary.BigEndian.Uint32(hash))
|
||||
i2 = i1 ^ uint(binary.BigEndian.Uint32(c.computeHash(f)))
|
||||
)
|
||||
|
||||
return i1, i2, f
|
||||
}
|
||||
|
||||
// computeHash returns a 32-bit hash value for the given data.
|
||||
func (c *CuckooFilter) computeHash(data []byte) []byte {
|
||||
c.hash.Write(data)
|
||||
hash := c.hash.Sum(nil)
|
||||
c.hash.Reset()
|
||||
return hash
|
||||
}
|
||||
|
||||
// SetHash sets the hashing function used in the filter.
|
||||
// For the effect on false positive rates see: https://github.com/tylertreat/BoomFilters/pull/1
|
||||
func (c *CuckooFilter) SetHash(h hash.Hash32) {
|
||||
c.hash = h
|
||||
}
|
||||
|
||||
// calculateF returns the optimal fingerprint length in bytes for the given
|
||||
// bucket size and false-positive rate epsilon.
|
||||
func calculateF(b uint, epsilon float64) uint {
|
||||
f := uint(math.Ceil(math.Log(2 * float64(b) / epsilon)))
|
||||
f = f / 8
|
||||
if f <= 0 {
|
||||
f = 1
|
||||
}
|
||||
return f
|
||||
}
|
||||
|
||||
// power2 calculates the next power of two for the given value.
|
||||
func power2(x uint) uint {
|
||||
x--
|
||||
x |= x >> 1
|
||||
x |= x >> 2
|
||||
x |= x >> 4
|
||||
x |= x >> 8
|
||||
x |= x >> 16
|
||||
x |= x >> 32
|
||||
x++
|
||||
return x
|
||||
}
|
||||
168
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/deletable.go
generated
vendored
Normal file
168
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/deletable.go
generated
vendored
Normal file
|
|
@ -0,0 +1,168 @@
|
|||
package boom
|
||||
|
||||
import (
|
||||
"hash"
|
||||
"hash/fnv"
|
||||
)
|
||||
|
||||
// DeletableBloomFilter implements a Deletable Bloom Filter as described by
|
||||
// Rothenberg, Macapuna, Verdi, Magalhaes in The Deletable Bloom filter - A new
|
||||
// member of the Bloom family:
|
||||
//
|
||||
// http://arxiv.org/pdf/1005.0352.pdf
|
||||
//
|
||||
// A Deletable Bloom Filter compactly stores information on collisions when
|
||||
// inserting elements. This information is used to determine if elements are
|
||||
// deletable. This design enables false-negative-free deletions at a fraction
|
||||
// of the cost in memory consumption.
|
||||
//
|
||||
// Deletable Bloom Filters are useful for cases which require removing elements
|
||||
// but cannot allow false negatives. This means they can be safely swapped in
|
||||
// place of traditional Bloom filters.
|
||||
type DeletableBloomFilter struct {
|
||||
buckets *Buckets // filter data
|
||||
collisions *Buckets // filter collision data
|
||||
hash hash.Hash64 // hash function (kernel for all k functions)
|
||||
m uint // filter size
|
||||
regionSize uint // number of bits in a region
|
||||
k uint // number of hash functions
|
||||
count uint // number of items added
|
||||
indexBuffer []uint // buffer used to cache indices
|
||||
}
|
||||
|
||||
// NewDeletableBloomFilter creates a new DeletableBloomFilter optimized to
|
||||
// store n items with a specified target false-positive rate. The r value
|
||||
// determines the number of bits to use to store collision information. This
|
||||
// controls the deletability of an element. Refer to the paper for selecting an
|
||||
// optimal value.
|
||||
func NewDeletableBloomFilter(n, r uint, fpRate float64) *DeletableBloomFilter {
|
||||
var (
|
||||
m = OptimalM(n, fpRate)
|
||||
k = OptimalK(fpRate)
|
||||
)
|
||||
return &DeletableBloomFilter{
|
||||
buckets: NewBuckets(m-r, 1),
|
||||
collisions: NewBuckets(r, 1),
|
||||
hash: fnv.New64(),
|
||||
m: m - r,
|
||||
regionSize: (m - r) / r,
|
||||
k: k,
|
||||
indexBuffer: make([]uint, k),
|
||||
}
|
||||
}
|
||||
|
||||
// Capacity returns the Bloom filter capacity, m.
|
||||
func (d *DeletableBloomFilter) Capacity() uint {
|
||||
return d.m
|
||||
}
|
||||
|
||||
// K returns the number of hash functions.
|
||||
func (d *DeletableBloomFilter) K() uint {
|
||||
return d.k
|
||||
}
|
||||
|
||||
// Count returns the number of items added to the filter.
|
||||
func (d *DeletableBloomFilter) Count() uint {
|
||||
return d.count
|
||||
}
|
||||
|
||||
// Test will test for membership of the data and returns true if it is a
|
||||
// member, false if not. This is a probabilistic test, meaning there is a
|
||||
// non-zero probability of false positives but a zero probability of false
|
||||
// negatives.
|
||||
func (d *DeletableBloomFilter) Test(data []byte) bool {
|
||||
lower, upper := hashKernel(data, d.hash)
|
||||
|
||||
// If any of the K bits are not set, then it's not a member.
|
||||
for i := uint(0); i < d.k; i++ {
|
||||
if d.buckets.Get((uint(lower)+uint(upper)*i)%d.m) == 0 {
|
||||
return false
|
||||
}
|
||||
}
|
||||
|
||||
return true
|
||||
}
|
||||
|
||||
// Add will add the data to the Bloom filter. It returns the filter to allow
|
||||
// for chaining.
|
||||
func (d *DeletableBloomFilter) Add(data []byte) Filter {
|
||||
lower, upper := hashKernel(data, d.hash)
|
||||
|
||||
// Set the K bits.
|
||||
for i := uint(0); i < d.k; i++ {
|
||||
idx := (uint(lower) + uint(upper)*i) % d.m
|
||||
if d.buckets.Get(idx) != 0 {
|
||||
// Collision, set corresponding region bit.
|
||||
d.collisions.Set(idx/d.regionSize, 1)
|
||||
} else {
|
||||
d.buckets.Set(idx, 1)
|
||||
}
|
||||
}
|
||||
|
||||
d.count++
|
||||
return d
|
||||
}
|
||||
|
||||
// TestAndAdd is equivalent to calling Test followed by Add. It returns true if
|
||||
// the data is a member, false if not.
|
||||
func (d *DeletableBloomFilter) TestAndAdd(data []byte) bool {
|
||||
lower, upper := hashKernel(data, d.hash)
|
||||
member := true
|
||||
|
||||
// If any of the K bits are not set, then it's not a member.
|
||||
for i := uint(0); i < d.k; i++ {
|
||||
idx := (uint(lower) + uint(upper)*i) % d.m
|
||||
if d.buckets.Get(idx) == 0 {
|
||||
member = false
|
||||
} else {
|
||||
// Collision, set corresponding region bit.
|
||||
d.collisions.Set(idx/d.regionSize, 1)
|
||||
}
|
||||
d.buckets.Set(idx, 1)
|
||||
}
|
||||
|
||||
d.count++
|
||||
return member
|
||||
}
|
||||
|
||||
// TestAndRemove will test for membership of the data and remove it from the
|
||||
// filter if it exists. Returns true if the data was a member, false if not.
|
||||
func (d *DeletableBloomFilter) TestAndRemove(data []byte) bool {
|
||||
lower, upper := hashKernel(data, d.hash)
|
||||
member := true
|
||||
|
||||
// Set the K bits.
|
||||
for i := uint(0); i < d.k; i++ {
|
||||
d.indexBuffer[i] = (uint(lower) + uint(upper)*i) % d.m
|
||||
if d.buckets.Get(d.indexBuffer[i]) == 0 {
|
||||
member = false
|
||||
}
|
||||
}
|
||||
|
||||
if member {
|
||||
for _, idx := range d.indexBuffer {
|
||||
if d.collisions.Get(idx/d.regionSize) == 0 {
|
||||
// Clear only bits located in collision-free zones.
|
||||
d.buckets.Set(idx, 0)
|
||||
}
|
||||
}
|
||||
d.count--
|
||||
}
|
||||
|
||||
return member
|
||||
}
|
||||
|
||||
// Reset restores the Bloom filter to its original state. It returns the filter
|
||||
// to allow for chaining.
|
||||
func (d *DeletableBloomFilter) Reset() *DeletableBloomFilter {
|
||||
d.buckets.Reset()
|
||||
d.collisions.Reset()
|
||||
d.count = 0
|
||||
return d
|
||||
}
|
||||
|
||||
// SetHash sets the hashing function used in the filter.
|
||||
// For the effect on false positive rates see: https://github.com/tylertreat/BoomFilters/pull/1
|
||||
func (d *DeletableBloomFilter) SetHash(h hash.Hash64) {
|
||||
d.hash = h
|
||||
}
|
||||
253
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/hyperloglog.go
generated
vendored
Normal file
253
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/hyperloglog.go
generated
vendored
Normal file
|
|
@ -0,0 +1,253 @@
|
|||
/*
|
||||
Original work Copyright 2013 Eric Lesh
|
||||
Modified work Copyright 2015 Tyler Treat
|
||||
|
||||
Permission is hereby granted, free of charge, to any person obtaining
|
||||
a copy of this software and associated documentation files (the
|
||||
"Software"), to deal in the Software without restriction, including
|
||||
without limitation the rights to use, copy, modify, merge, publish,
|
||||
distribute, sublicense, and/or sell copies of the Software, and to
|
||||
permit persons to whom the Software is furnished to do so, subject to
|
||||
the following conditions:
|
||||
|
||||
The above copyright notice and this permission notice shall be
|
||||
included in all copies or substantial portions of the Software.
|
||||
*/
|
||||
|
||||
package boom
|
||||
|
||||
import (
|
||||
"bytes"
|
||||
"encoding/binary"
|
||||
"errors"
|
||||
"fmt"
|
||||
"hash"
|
||||
"hash/fnv"
|
||||
"io"
|
||||
"math"
|
||||
)
|
||||
|
||||
var exp32 = math.Pow(2, 32)
|
||||
|
||||
// HyperLogLog implements the HyperLogLog cardinality estimation algorithm as
|
||||
// described by Flajolet, Fusy, Gandouet, and Meunier in HyperLogLog: the
|
||||
// analysis of a near-optimal cardinality estimation algorithm:
|
||||
//
|
||||
// http://algo.inria.fr/flajolet/Publications/FlFuGaMe07.pdf
|
||||
//
|
||||
// HyperLogLog is a probabilistic algorithm which approximates the number of
|
||||
// distinct elements in a multiset. It works by hashing values and calculating
|
||||
// the maximum number of leading zeros in the binary representation of each
|
||||
// hash. If the maximum number of leading zeros is n, the estimated number of
|
||||
// distinct elements in the set is 2^n. To minimize variance, the multiset is
|
||||
// split into a configurable number of registers, the maximum number of leading
|
||||
// zeros is calculated in the numbers in each register, and a harmonic mean is
|
||||
// used to combine the estimates.
|
||||
//
|
||||
// For large or unbounded data sets, calculating the exact cardinality is
|
||||
// impractical. HyperLogLog uses a fraction of the memory while providing an
|
||||
// accurate approximation. For counting element frequency, refer to the
|
||||
// Count-Min Sketch.
|
||||
type HyperLogLog struct {
|
||||
registers []uint8 // counter registers
|
||||
m uint // number of registers
|
||||
b uint32 // number of bits to calculate register
|
||||
alpha float64 // bias-correction constant
|
||||
hash hash.Hash32 // hash function
|
||||
}
|
||||
|
||||
// NewHyperLogLog creates a new HyperLogLog with m registers. Returns an error
|
||||
// if m isn't a power of two.
|
||||
func NewHyperLogLog(m uint) (*HyperLogLog, error) {
|
||||
if (m & (m - 1)) != 0 {
|
||||
return nil, errors.New("m must be a power of two")
|
||||
}
|
||||
|
||||
return &HyperLogLog{
|
||||
registers: make([]uint8, m),
|
||||
m: m,
|
||||
b: uint32(math.Ceil(math.Log2(float64(m)))),
|
||||
alpha: calculateAlpha(m),
|
||||
hash: fnv.New32(),
|
||||
}, nil
|
||||
}
|
||||
|
||||
// NewDefaultHyperLogLog creates a new HyperLogLog optimized for the specified
|
||||
// standard error. Returns an error if the number of registers can't be
|
||||
// calculated for the provided accuracy.
|
||||
func NewDefaultHyperLogLog(e float64) (*HyperLogLog, error) {
|
||||
m := math.Pow(1.04/e, 2)
|
||||
return NewHyperLogLog(uint(math.Pow(2, math.Ceil(math.Log2(m)))))
|
||||
}
|
||||
|
||||
// Add will add the data to the set. Returns the HyperLogLog to allow for
|
||||
// chaining.
|
||||
func (h *HyperLogLog) Add(data []byte) *HyperLogLog {
|
||||
var (
|
||||
hash = h.calculateHash(data)
|
||||
k = 32 - h.b
|
||||
r = calculateRho(hash<<h.b, k)
|
||||
j = hash >> uint(k)
|
||||
)
|
||||
|
||||
if r > h.registers[j] {
|
||||
h.registers[j] = r
|
||||
}
|
||||
|
||||
return h
|
||||
}
|
||||
|
||||
// Count returns the approximated cardinality of the set.
|
||||
func (h *HyperLogLog) Count() uint64 {
|
||||
sum := 0.0
|
||||
m := float64(h.m)
|
||||
for _, val := range h.registers {
|
||||
sum += 1.0 / math.Pow(2.0, float64(val))
|
||||
}
|
||||
estimate := h.alpha * m * m / sum
|
||||
if estimate <= 5.0/2.0*m {
|
||||
// Small range correction
|
||||
v := 0
|
||||
for _, r := range h.registers {
|
||||
if r == 0 {
|
||||
v++
|
||||
}
|
||||
}
|
||||
if v > 0 {
|
||||
estimate = m * math.Log(m/float64(v))
|
||||
}
|
||||
} else if estimate > 1.0/30.0*exp32 {
|
||||
// Large range correction
|
||||
estimate = -exp32 * math.Log(1-estimate/exp32)
|
||||
}
|
||||
return uint64(estimate)
|
||||
}
|
||||
|
||||
// Merge combines this HyperLogLog with another. Returns an error if the number
|
||||
// of registers in the two HyperLogLogs are not equal.
|
||||
func (h *HyperLogLog) Merge(other *HyperLogLog) error {
|
||||
if h.m != other.m {
|
||||
return errors.New("number of registers must match")
|
||||
}
|
||||
|
||||
for j, r := range other.registers {
|
||||
if r > h.registers[j] {
|
||||
h.registers[j] = r
|
||||
}
|
||||
}
|
||||
|
||||
return nil
|
||||
}
|
||||
|
||||
// Reset restores the HyperLogLog to its original state. It returns itself to
|
||||
// allow for chaining.
|
||||
func (h *HyperLogLog) Reset() *HyperLogLog {
|
||||
h.registers = make([]uint8, h.m)
|
||||
return h
|
||||
}
|
||||
|
||||
// calculateHash calculates the 32-bit hash value for the provided data.
|
||||
func (h *HyperLogLog) calculateHash(data []byte) uint32 {
|
||||
h.hash.Write(data)
|
||||
sum := h.hash.Sum32()
|
||||
h.hash.Reset()
|
||||
return sum
|
||||
}
|
||||
|
||||
// SetHash sets the hashing function used.
|
||||
func (h *HyperLogLog) SetHash(ha hash.Hash32) {
|
||||
h.hash = ha
|
||||
}
|
||||
|
||||
// calculateAlpha calculates the bias-correction constant alpha based on the
|
||||
// number of registers, m.
|
||||
func calculateAlpha(m uint) (result float64) {
|
||||
switch m {
|
||||
case 16:
|
||||
result = 0.673
|
||||
case 32:
|
||||
result = 0.697
|
||||
case 64:
|
||||
result = 0.709
|
||||
default:
|
||||
result = 0.7213 / (1.0 + 1.079/float64(m))
|
||||
}
|
||||
return result
|
||||
}
|
||||
|
||||
// calculateRho calculates the position of the leftmost 1-bit.
|
||||
func calculateRho(val, max uint32) uint8 {
|
||||
r := uint32(1)
|
||||
for val&0x80000000 == 0 && r <= max {
|
||||
r++
|
||||
val <<= 1
|
||||
}
|
||||
return uint8(r)
|
||||
}
|
||||
|
||||
// WriteDataTo writes a binary representation of the Hll data to
|
||||
// an io stream. It returns the number of bytes written and error
|
||||
func (h *HyperLogLog) WriteDataTo(stream io.Writer) (n int, err error) {
|
||||
buf := new(bytes.Buffer)
|
||||
// write register number first
|
||||
err = binary.Write(buf, binary.LittleEndian, uint64(h.m))
|
||||
if err != nil {
|
||||
return
|
||||
}
|
||||
|
||||
err = binary.Write(buf, binary.LittleEndian, h.b)
|
||||
if err != nil {
|
||||
return
|
||||
}
|
||||
|
||||
err = binary.Write(buf, binary.LittleEndian, h.alpha)
|
||||
if err != nil {
|
||||
return
|
||||
}
|
||||
|
||||
err = binary.Write(buf, binary.LittleEndian, h.registers)
|
||||
if err != nil {
|
||||
return
|
||||
}
|
||||
|
||||
n, err = stream.Write(buf.Bytes())
|
||||
return
|
||||
}
|
||||
|
||||
// ReadDataFrom reads a binary representation of the Hll data written
|
||||
// by WriteDataTo() from io stream. It returns the number of bytes read
|
||||
// and error.
|
||||
// If serialized Hll configuration is different it returns error with expected params
|
||||
func (h *HyperLogLog) ReadDataFrom(stream io.Reader) (int, error) {
|
||||
var m uint64
|
||||
// read register number first
|
||||
err := binary.Read(stream, binary.LittleEndian, &m)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
// check if register number is appropriate
|
||||
// hll register number should be same with serialized hll
|
||||
if uint64(h.m) != m {
|
||||
return 0, fmt.Errorf("expected hll register number %d", m)
|
||||
}
|
||||
// set other values
|
||||
err = binary.Read(stream, binary.LittleEndian, &h.b)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
|
||||
err = binary.Read(stream, binary.LittleEndian, &h.alpha)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
|
||||
err = binary.Read(stream, binary.LittleEndian, h.registers)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
|
||||
// count size of data in registers + m, b, alpha
|
||||
size := int(h.m)*binary.Size(uint8(0)) + binary.Size(uint64(0)) + binary.Size(uint32(0)) + binary.Size(float64(0))
|
||||
|
||||
return size, err
|
||||
}
|
||||
140
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/inverse.go
generated
vendored
Normal file
140
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/inverse.go
generated
vendored
Normal file
|
|
@ -0,0 +1,140 @@
|
|||
/*
|
||||
Original work Copyright (c) 2012 Jeff Hodges. All rights reserved.
|
||||
Modified work Copyright (c) 2015 Tyler Treat. All rights reserved.
|
||||
|
||||
Redistribution and use in source and binary forms, with or without
|
||||
modification, are permitted provided that the following conditions are
|
||||
met:
|
||||
|
||||
* Redistributions of source code must retain the above copyright
|
||||
notice, this list of conditions and the following disclaimer.
|
||||
* Redistributions in binary form must reproduce the above
|
||||
copyright notice, this list of conditions and the following disclaimer
|
||||
in the documentation and/or other materials provided with the
|
||||
distribution.
|
||||
* Neither the name of Jeff Hodges nor the names of this project's
|
||||
contributors may be used to endorse or promote products derived from
|
||||
this software without specific prior written permission.
|
||||
|
||||
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
||||
"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
||||
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
|
||||
A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
|
||||
OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
||||
SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
|
||||
LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
||||
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
||||
THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
||||
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
||||
OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
||||
*/
|
||||
|
||||
package boom
|
||||
|
||||
import (
|
||||
"bytes"
|
||||
"hash"
|
||||
"hash/fnv"
|
||||
"sync"
|
||||
"sync/atomic"
|
||||
"unsafe"
|
||||
)
|
||||
|
||||
// InverseBloomFilter is a concurrent "inverse" Bloom filter, which is
|
||||
// effectively the opposite of a classic Bloom filter. This was originally
|
||||
// described and written by Jeff Hodges:
|
||||
//
|
||||
// http://www.somethingsimilar.com/2012/05/21/the-opposite-of-a-bloom-filter/
|
||||
//
|
||||
// The InverseBloomFilter may report a false negative but can never report a
|
||||
// false positive. That is, it may report that an item has not been seen when
|
||||
// it actually has, but it will never report an item as seen which it hasn't
|
||||
// come across. This behaves in a similar manner to a fixed-size hashmap which
|
||||
// does not handle conflicts.
|
||||
//
|
||||
// An example use case is deduplicating events while processing a stream of
|
||||
// data. Ideally, duplicate events are relatively close together.
|
||||
type InverseBloomFilter struct {
|
||||
array []*[]byte
|
||||
hashPool *sync.Pool
|
||||
capacity uint
|
||||
}
|
||||
|
||||
// NewInverseBloomFilter creates and returns a new InverseBloomFilter with the
|
||||
// specified capacity.
|
||||
func NewInverseBloomFilter(capacity uint) *InverseBloomFilter {
|
||||
return &InverseBloomFilter{
|
||||
array: make([]*[]byte, capacity),
|
||||
hashPool: &sync.Pool{New: func() interface{} { return fnv.New32() }},
|
||||
capacity: capacity,
|
||||
}
|
||||
}
|
||||
|
||||
// Test will test for membership of the data and returns true if it is a
|
||||
// member, false if not. This is a probabilistic test, meaning there is a
|
||||
// non-zero probability of false negatives but a zero probability of false
|
||||
// positives. That is, it may return false even though the data was added, but
|
||||
// it will never return true for data that hasn't been added.
|
||||
func (i *InverseBloomFilter) Test(data []byte) bool {
|
||||
index := i.index(data)
|
||||
indexPtr := (*unsafe.Pointer)(unsafe.Pointer(&i.array[index]))
|
||||
val := (*[]byte)(atomic.LoadPointer(indexPtr))
|
||||
if val == nil {
|
||||
return false
|
||||
}
|
||||
return bytes.Equal(*val, data)
|
||||
}
|
||||
|
||||
// Add will add the data to the filter. It returns the filter to allow for
|
||||
// chaining.
|
||||
func (i *InverseBloomFilter) Add(data []byte) Filter {
|
||||
index := i.index(data)
|
||||
i.getAndSet(index, data)
|
||||
return i
|
||||
}
|
||||
|
||||
// TestAndAdd is equivalent to calling Test followed by Add atomically. It
|
||||
// returns true if the data is a member, false if not.
|
||||
func (i *InverseBloomFilter) TestAndAdd(data []byte) bool {
|
||||
oldID := i.getAndSet(i.index(data), data)
|
||||
return bytes.Equal(oldID, data)
|
||||
}
|
||||
|
||||
// Capacity returns the filter capacity.
|
||||
func (i *InverseBloomFilter) Capacity() uint {
|
||||
return i.capacity
|
||||
}
|
||||
|
||||
// getAndSet returns the data that was in the slice at the given index after
|
||||
// putting the new data in the slice at that index, atomically.
|
||||
func (i *InverseBloomFilter) getAndSet(index uint32, data []byte) []byte {
|
||||
indexPtr := (*unsafe.Pointer)(unsafe.Pointer(&i.array[index]))
|
||||
keyUnsafe := unsafe.Pointer(&data)
|
||||
var oldKey []byte
|
||||
for {
|
||||
oldKeyUnsafe := atomic.LoadPointer(indexPtr)
|
||||
if atomic.CompareAndSwapPointer(indexPtr, oldKeyUnsafe, keyUnsafe) {
|
||||
oldKeyPtr := (*[]byte)(oldKeyUnsafe)
|
||||
if oldKeyPtr != nil {
|
||||
oldKey = *oldKeyPtr
|
||||
}
|
||||
break
|
||||
}
|
||||
}
|
||||
return oldKey
|
||||
}
|
||||
|
||||
// index returns the array index for the given data.
|
||||
func (i *InverseBloomFilter) index(data []byte) uint32 {
|
||||
hash := i.hashPool.Get().(hash.Hash32)
|
||||
hash.Write(data)
|
||||
index := hash.Sum32() % uint32(i.capacity)
|
||||
hash.Reset()
|
||||
i.hashPool.Put(hash)
|
||||
return index
|
||||
}
|
||||
|
||||
// SetHashFactory sets the hashing function factory used in the filter.
|
||||
func (i *InverseBloomFilter) SetHashFactory(h func() hash.Hash32) {
|
||||
i.hashPool = &sync.Pool{New: func() interface{} { return h() }}
|
||||
}
|
||||
104
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/minhash.go
generated
vendored
Normal file
104
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/minhash.go
generated
vendored
Normal file
|
|
@ -0,0 +1,104 @@
|
|||
package boom
|
||||
|
||||
import (
|
||||
"math"
|
||||
"math/rand"
|
||||
)
|
||||
|
||||
// MinHash is a variation of the technique for estimating similarity between
|
||||
// two sets as presented by Broder in On the resemblance and containment of
|
||||
// documents:
|
||||
//
|
||||
// http://gatekeeper.dec.com/ftp/pub/dec/SRC/publications/broder/positano-final-wpnums.pdf
|
||||
//
|
||||
// This can be used to cluster or compare documents by splitting the corpus
|
||||
// into a bag of words. MinHash returns the approximated similarity ratio of
|
||||
// the two bags. The similarity is less accurate for very small bags of words.
|
||||
func MinHash(bag1, bag2 []string) float32 {
|
||||
k := len(bag1) + len(bag2)
|
||||
hashes := make([]int, k)
|
||||
for i := 0; i < k; i++ {
|
||||
a := uint(rand.Int())
|
||||
b := uint(rand.Int())
|
||||
c := uint(rand.Int())
|
||||
x := computeHash(a*b*c, a, b, c)
|
||||
hashes[i] = int(x)
|
||||
}
|
||||
|
||||
bitMap := bitMap(bag1, bag2)
|
||||
minHashValues := hashBuckets(2, k)
|
||||
minHash(bag1, 0, minHashValues, bitMap, k, hashes)
|
||||
minHash(bag2, 1, minHashValues, bitMap, k, hashes)
|
||||
return similarity(minHashValues, k)
|
||||
}
|
||||
|
||||
func minHash(bag []string, bagIndex int, minHashValues [][]int,
|
||||
bitArray map[string][]bool, k int, hashes []int) {
|
||||
index := 0
|
||||
for element := range bitArray {
|
||||
for i := 0; i < k; i++ {
|
||||
if contains(bag, element) {
|
||||
hindex := hashes[index]
|
||||
if hindex < minHashValues[bagIndex][index] {
|
||||
minHashValues[bagIndex][index] = hindex
|
||||
}
|
||||
}
|
||||
}
|
||||
index++
|
||||
}
|
||||
}
|
||||
|
||||
func contains(bag []string, element string) bool {
|
||||
for _, e := range bag {
|
||||
if e == element {
|
||||
return true
|
||||
}
|
||||
}
|
||||
return false
|
||||
}
|
||||
|
||||
func bitMap(bag1, bag2 []string) map[string][]bool {
|
||||
bitArray := map[string][]bool{}
|
||||
for _, element := range bag1 {
|
||||
bitArray[element] = []bool{true, false}
|
||||
}
|
||||
|
||||
for _, element := range bag2 {
|
||||
if _, ok := bitArray[element]; ok {
|
||||
bitArray[element] = []bool{true, true}
|
||||
} else if _, ok := bitArray[element]; !ok {
|
||||
bitArray[element] = []bool{false, true}
|
||||
}
|
||||
}
|
||||
|
||||
return bitArray
|
||||
}
|
||||
|
||||
func hashBuckets(numSets, k int) [][]int {
|
||||
minHashValues := make([][]int, numSets)
|
||||
for i := 0; i < numSets; i++ {
|
||||
minHashValues[i] = make([]int, k)
|
||||
}
|
||||
|
||||
for i := 0; i < numSets; i++ {
|
||||
for j := 0; j < k; j++ {
|
||||
minHashValues[i][j] = math.MaxInt32
|
||||
}
|
||||
}
|
||||
return minHashValues
|
||||
}
|
||||
|
||||
func computeHash(x, a, b, u uint) uint {
|
||||
return (a*x + b) >> (32 - u)
|
||||
}
|
||||
|
||||
func similarity(minHashValues [][]int, k int) float32 {
|
||||
identicalMinHashes := 0
|
||||
for i := 0; i < k; i++ {
|
||||
if minHashValues[0][i] == minHashValues[1][i] {
|
||||
identicalMinHashes++
|
||||
}
|
||||
}
|
||||
|
||||
return (1.0 * float32(identicalMinHashes)) / float32(k)
|
||||
}
|
||||
263
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/partitioned.go
generated
vendored
Normal file
263
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/partitioned.go
generated
vendored
Normal file
|
|
@ -0,0 +1,263 @@
|
|||
/*
|
||||
Original work Copyright (c) 2013 zhenjl
|
||||
Modified work Copyright (c) 2015 Tyler Treat
|
||||
|
||||
Permission is hereby granted, free of charge, to any person obtaining a copy of
|
||||
this software and associated documentation files (the "Software"), to deal in
|
||||
the Software without restriction, including without limitation the rights to
|
||||
use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies
|
||||
of the Software, and to permit persons to whom the Software is furnished to do
|
||||
so, subject to the following conditions:
|
||||
|
||||
The above copyright notice and this permission notice shall be included in all
|
||||
copies or substantial portions of the Software.
|
||||
*/
|
||||
|
||||
package boom
|
||||
|
||||
import (
|
||||
"bytes"
|
||||
"encoding/binary"
|
||||
"hash"
|
||||
"hash/fnv"
|
||||
"io"
|
||||
"math"
|
||||
)
|
||||
|
||||
// PartitionedBloomFilter implements a variation of a classic Bloom filter as
|
||||
// described by Almeida, Baquero, Preguica, and Hutchison in Scalable Bloom
|
||||
// Filters:
|
||||
//
|
||||
// http://gsd.di.uminho.pt/members/cbm/ps/dbloom.pdf
|
||||
//
|
||||
// This filter works by partitioning the M-sized bit array into k slices of
|
||||
// size m = M/k bits. Each hash function produces an index over m for its
|
||||
// respective slice. Thus, each element is described by exactly k bits, meaning
|
||||
// the distribution of false positives is uniform across all elements.
|
||||
type PartitionedBloomFilter struct {
|
||||
partitions []*Buckets // partitioned filter data
|
||||
hash hash.Hash64 // hash function (kernel for all k functions)
|
||||
m uint // filter size (divided into k partitions)
|
||||
k uint // number of hash functions (and partitions)
|
||||
s uint // partition size (m / k)
|
||||
count uint // number of items added
|
||||
}
|
||||
|
||||
// NewPartitionedBloomFilter creates a new partitioned Bloom filter optimized
|
||||
// to store n items with a specified target false-positive rate.
|
||||
func NewPartitionedBloomFilter(n uint, fpRate float64) *PartitionedBloomFilter {
|
||||
var (
|
||||
m = OptimalM(n, fpRate)
|
||||
k = OptimalK(fpRate)
|
||||
partitions = make([]*Buckets, k)
|
||||
s = uint(math.Ceil(float64(m) / float64(k)))
|
||||
)
|
||||
|
||||
for i := uint(0); i < k; i++ {
|
||||
partitions[i] = NewBuckets(s, 1)
|
||||
}
|
||||
|
||||
return &PartitionedBloomFilter{
|
||||
partitions: partitions,
|
||||
hash: fnv.New64(),
|
||||
m: m,
|
||||
k: k,
|
||||
s: s,
|
||||
}
|
||||
}
|
||||
|
||||
// Capacity returns the Bloom filter capacity, m.
|
||||
func (p *PartitionedBloomFilter) Capacity() uint {
|
||||
return p.m
|
||||
}
|
||||
|
||||
// K returns the number of hash functions.
|
||||
func (p *PartitionedBloomFilter) K() uint {
|
||||
return p.k
|
||||
}
|
||||
|
||||
// Count returns the number of items added to the filter.
|
||||
func (p *PartitionedBloomFilter) Count() uint {
|
||||
return p.count
|
||||
}
|
||||
|
||||
// EstimatedFillRatio returns the current estimated ratio of set bits.
|
||||
func (p *PartitionedBloomFilter) EstimatedFillRatio() float64 {
|
||||
return 1 - math.Exp(-float64(p.count)/float64(p.s))
|
||||
}
|
||||
|
||||
// FillRatio returns the average ratio of set bits across all partitions.
|
||||
func (p *PartitionedBloomFilter) FillRatio() float64 {
|
||||
t := float64(0)
|
||||
for i := uint(0); i < p.k; i++ {
|
||||
sum := uint32(0)
|
||||
for j := uint(0); j < p.partitions[i].Count(); j++ {
|
||||
sum += p.partitions[i].Get(j)
|
||||
}
|
||||
t += (float64(sum) / float64(p.s))
|
||||
}
|
||||
return t / float64(p.k)
|
||||
}
|
||||
|
||||
// Test will test for membership of the data and returns true if it is a
|
||||
// member, false if not. This is a probabilistic test, meaning there is a
|
||||
// non-zero probability of false positives but a zero probability of false
|
||||
// negatives. Due to the way the filter is partitioned, the probability of
|
||||
// false positives is uniformly distributed across all elements.
|
||||
func (p *PartitionedBloomFilter) Test(data []byte) bool {
|
||||
lower, upper := hashKernel(data, p.hash)
|
||||
|
||||
// If any of the K partition bits are not set, then it's not a member.
|
||||
for i := uint(0); i < p.k; i++ {
|
||||
if p.partitions[i].Get((uint(lower)+uint(upper)*i)%p.s) == 0 {
|
||||
return false
|
||||
}
|
||||
}
|
||||
|
||||
return true
|
||||
}
|
||||
|
||||
// Add will add the data to the Bloom filter. It returns the filter to allow
|
||||
// for chaining.
|
||||
func (p *PartitionedBloomFilter) Add(data []byte) Filter {
|
||||
lower, upper := hashKernel(data, p.hash)
|
||||
|
||||
// Set the K partition bits.
|
||||
for i := uint(0); i < p.k; i++ {
|
||||
p.partitions[i].Set((uint(lower)+uint(upper)*i)%p.s, 1)
|
||||
}
|
||||
|
||||
p.count++
|
||||
return p
|
||||
}
|
||||
|
||||
// TestAndAdd is equivalent to calling Test followed by Add. It returns true if
|
||||
// the data is a member, false if not.
|
||||
func (p *PartitionedBloomFilter) TestAndAdd(data []byte) bool {
|
||||
lower, upper := hashKernel(data, p.hash)
|
||||
member := true
|
||||
|
||||
// If any of the K partition bits are not set, then it's not a member.
|
||||
for i := uint(0); i < p.k; i++ {
|
||||
idx := (uint(lower) + uint(upper)*i) % p.s
|
||||
if p.partitions[i].Get(idx) == 0 {
|
||||
member = false
|
||||
}
|
||||
p.partitions[i].Set(idx, 1)
|
||||
}
|
||||
|
||||
p.count++
|
||||
return member
|
||||
}
|
||||
|
||||
// Reset restores the Bloom filter to its original state. It returns the filter
|
||||
// to allow for chaining.
|
||||
func (p *PartitionedBloomFilter) Reset() *PartitionedBloomFilter {
|
||||
for _, partition := range p.partitions {
|
||||
partition.Reset()
|
||||
}
|
||||
return p
|
||||
}
|
||||
|
||||
// SetHash sets the hashing function used in the filter.
|
||||
// For the effect on false positive rates see: https://github.com/tylertreat/BoomFilters/pull/1
|
||||
func (p *PartitionedBloomFilter) SetHash(h hash.Hash64) {
|
||||
p.hash = h
|
||||
}
|
||||
|
||||
// WriteTo writes a binary representation of the PartitionedBloomFilter to an i/o stream.
|
||||
// It returns the number of bytes written.
|
||||
func (p *PartitionedBloomFilter) WriteTo(stream io.Writer) (int64, error) {
|
||||
err := binary.Write(stream, binary.BigEndian, uint64(p.m))
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Write(stream, binary.BigEndian, uint64(p.k))
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Write(stream, binary.BigEndian, uint64(p.s))
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Write(stream, binary.BigEndian, uint64(p.count))
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Write(stream, binary.BigEndian, uint64(len(p.partitions)))
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
var numBytes int64
|
||||
for _, partition := range p.partitions {
|
||||
num, err := partition.WriteTo(stream)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
numBytes += num
|
||||
}
|
||||
return numBytes + int64(5*binary.Size(uint64(0))), err
|
||||
}
|
||||
|
||||
// ReadFrom reads a binary representation of PartitionedBloomFilter (such as might
|
||||
// have been written by WriteTo()) from an i/o stream. It returns the number
|
||||
// of bytes read.
|
||||
func (p *PartitionedBloomFilter) ReadFrom(stream io.Reader) (int64, error) {
|
||||
var m, k, s, count, len uint64
|
||||
err := binary.Read(stream, binary.BigEndian, &m)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Read(stream, binary.BigEndian, &k)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Read(stream, binary.BigEndian, &s)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Read(stream, binary.BigEndian, &count)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Read(stream, binary.BigEndian, &len)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
var numBytes int64
|
||||
partitions := make([]*Buckets, len)
|
||||
for i, _ := range partitions {
|
||||
buckets := &Buckets{}
|
||||
num, err := buckets.ReadFrom(stream)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
numBytes += num
|
||||
partitions[i] = buckets
|
||||
}
|
||||
p.m = uint(m)
|
||||
p.k = uint(k)
|
||||
p.s = uint(s)
|
||||
p.count = uint(count)
|
||||
p.partitions = partitions
|
||||
return numBytes + int64(5*binary.Size(uint64(0))), nil
|
||||
}
|
||||
|
||||
// GobEncode implements gob.GobEncoder interface.
|
||||
func (p *PartitionedBloomFilter) GobEncode() ([]byte, error) {
|
||||
var buf bytes.Buffer
|
||||
_, err := p.WriteTo(&buf)
|
||||
if err != nil {
|
||||
return nil, err
|
||||
}
|
||||
|
||||
return buf.Bytes(), nil
|
||||
}
|
||||
|
||||
// GobDecode implements gob.GobDecoder interface.
|
||||
func (p *PartitionedBloomFilter) GobDecode(data []byte) error {
|
||||
buf := bytes.NewBuffer(data)
|
||||
_, err := p.ReadFrom(buf)
|
||||
|
||||
return err
|
||||
}
|
||||
259
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/scalable.go
generated
vendored
Normal file
259
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/scalable.go
generated
vendored
Normal file
|
|
@ -0,0 +1,259 @@
|
|||
/*
|
||||
Original work Copyright (c) 2013 zhenjl
|
||||
Modified work Copyright (c) 2015 Tyler Treat
|
||||
|
||||
Permission is hereby granted, free of charge, to any person obtaining a copy of
|
||||
this software and associated documentation files (the "Software"), to deal in
|
||||
the Software without restriction, including without limitation the rights to
|
||||
use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies
|
||||
of the Software, and to permit persons to whom the Software is furnished to do
|
||||
so, subject to the following conditions:
|
||||
|
||||
The above copyright notice and this permission notice shall be included in all
|
||||
copies or substantial portions of the Software.
|
||||
*/
|
||||
|
||||
package boom
|
||||
|
||||
import (
|
||||
"bytes"
|
||||
"encoding/binary"
|
||||
"hash"
|
||||
"io"
|
||||
"math"
|
||||
)
|
||||
|
||||
// ScalableBloomFilter implements a Scalable Bloom Filter as described by
|
||||
// Almeida, Baquero, Preguica, and Hutchison in Scalable Bloom Filters:
|
||||
//
|
||||
// http://gsd.di.uminho.pt/members/cbm/ps/dbloom.pdf
|
||||
//
|
||||
// A Scalable Bloom Filter dynamically adapts to the number of elements in the
|
||||
// data set while enforcing a tight upper bound on the false-positive rate.
|
||||
// This works by adding Bloom filters with geometrically decreasing
|
||||
// false-positive rates as filters become full. The tightening ratio, r,
|
||||
// controls the filter growth. The compounded probability over the whole series
|
||||
// converges to a target value, even accounting for an infinite series.
|
||||
//
|
||||
// Scalable Bloom Filters are useful for cases where the size of the data set
|
||||
// isn't known a priori and memory constraints aren't of particular concern.
|
||||
// For situations where memory is bounded, consider using Inverse or Stable
|
||||
// Bloom Filters.
|
||||
type ScalableBloomFilter struct {
|
||||
filters []*PartitionedBloomFilter // filters with geometrically decreasing error rates
|
||||
r float64 // tightening ratio
|
||||
fp float64 // target false-positive rate
|
||||
p float64 // partition fill ratio
|
||||
hint uint // filter size hint
|
||||
}
|
||||
|
||||
// NewScalableBloomFilter creates a new Scalable Bloom Filter with the
|
||||
// specified target false-positive rate and tightening ratio. Use
|
||||
// NewDefaultScalableBloomFilter if you don't want to calculate these
|
||||
// parameters.
|
||||
func NewScalableBloomFilter(hint uint, fpRate, r float64) *ScalableBloomFilter {
|
||||
s := &ScalableBloomFilter{
|
||||
filters: make([]*PartitionedBloomFilter, 0, 1),
|
||||
r: r,
|
||||
fp: fpRate,
|
||||
p: fillRatio,
|
||||
hint: hint,
|
||||
}
|
||||
|
||||
s.addFilter()
|
||||
return s
|
||||
}
|
||||
|
||||
// NewDefaultScalableBloomFilter creates a new Scalable Bloom Filter with the
|
||||
// specified target false-positive rate and an optimal tightening ratio.
|
||||
func NewDefaultScalableBloomFilter(fpRate float64) *ScalableBloomFilter {
|
||||
return NewScalableBloomFilter(10000, fpRate, 0.8)
|
||||
}
|
||||
|
||||
// Capacity returns the current Scalable Bloom Filter capacity, which is the
|
||||
// sum of the capacities for the contained series of Bloom filters.
|
||||
func (s *ScalableBloomFilter) Capacity() uint {
|
||||
capacity := uint(0)
|
||||
for _, bf := range s.filters {
|
||||
capacity += bf.Capacity()
|
||||
}
|
||||
return capacity
|
||||
}
|
||||
|
||||
// K returns the number of hash functions used in each Bloom filter.
|
||||
func (s *ScalableBloomFilter) K() uint {
|
||||
// K is the same across every filter.
|
||||
return s.filters[0].K()
|
||||
}
|
||||
|
||||
// FillRatio returns the average ratio of set bits across every filter.
|
||||
func (s *ScalableBloomFilter) FillRatio() float64 {
|
||||
sum := 0.0
|
||||
for _, filter := range s.filters {
|
||||
sum += filter.FillRatio()
|
||||
}
|
||||
return sum / float64(len(s.filters))
|
||||
}
|
||||
|
||||
// Test will test for membership of the data and returns true if it is a
|
||||
// member, false if not. This is a probabilistic test, meaning there is a
|
||||
// non-zero probability of false positives but a zero probability of false
|
||||
// negatives.
|
||||
func (s *ScalableBloomFilter) Test(data []byte) bool {
|
||||
// Querying is made by testing for the presence in each filter.
|
||||
for _, bf := range s.filters {
|
||||
if bf.Test(data) {
|
||||
return true
|
||||
}
|
||||
}
|
||||
|
||||
return false
|
||||
}
|
||||
|
||||
// Add will add the data to the Bloom filter. It returns the filter to allow
|
||||
// for chaining.
|
||||
func (s *ScalableBloomFilter) Add(data []byte) Filter {
|
||||
idx := len(s.filters) - 1
|
||||
|
||||
// If the last filter has reached its fill ratio, add a new one.
|
||||
if s.filters[idx].EstimatedFillRatio() >= s.p {
|
||||
s.addFilter()
|
||||
idx++
|
||||
}
|
||||
|
||||
s.filters[idx].Add(data)
|
||||
return s
|
||||
}
|
||||
|
||||
// TestAndAdd is equivalent to calling Test followed by Add. It returns true if
|
||||
// the data is a member, false if not.
|
||||
func (s *ScalableBloomFilter) TestAndAdd(data []byte) bool {
|
||||
member := s.Test(data)
|
||||
s.Add(data)
|
||||
return member
|
||||
}
|
||||
|
||||
// Reset restores the Bloom filter to its original state. It returns the filter
|
||||
// to allow for chaining.
|
||||
func (s *ScalableBloomFilter) Reset() *ScalableBloomFilter {
|
||||
s.filters = make([]*PartitionedBloomFilter, 0, 1)
|
||||
s.addFilter()
|
||||
return s
|
||||
}
|
||||
|
||||
// addFilter adds a new Bloom filter with a restricted false-positive rate to
|
||||
// the Scalable Bloom Filter
|
||||
func (s *ScalableBloomFilter) addFilter() {
|
||||
fpRate := s.fp * math.Pow(s.r, float64(len(s.filters)))
|
||||
p := NewPartitionedBloomFilter(s.hint, fpRate)
|
||||
if len(s.filters) > 0 {
|
||||
p.SetHash(s.filters[0].hash)
|
||||
}
|
||||
s.filters = append(s.filters, p)
|
||||
}
|
||||
|
||||
// SetHash sets the hashing function used in the filter.
|
||||
// For the effect on false positive rates see: https://github.com/tylertreat/BoomFilters/pull/1
|
||||
func (s *ScalableBloomFilter) SetHash(h hash.Hash64) {
|
||||
for _, bf := range s.filters {
|
||||
bf.SetHash(h)
|
||||
}
|
||||
}
|
||||
|
||||
// WriteTo writes a binary representation of the ScalableBloomFilter to an i/o stream.
|
||||
// It returns the number of bytes written.
|
||||
func (s *ScalableBloomFilter) WriteTo(stream io.Writer) (int64, error) {
|
||||
err := binary.Write(stream, binary.BigEndian, s.r)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Write(stream, binary.BigEndian, s.fp)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Write(stream, binary.BigEndian, s.p)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Write(stream, binary.BigEndian, uint64(s.hint))
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Write(stream, binary.BigEndian, uint64(len(s.filters)))
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
var numBytes int64
|
||||
for _, filter := range s.filters {
|
||||
num, err := filter.WriteTo(stream)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
numBytes += num
|
||||
}
|
||||
return numBytes + int64(5*binary.Size(uint64(0))), err
|
||||
}
|
||||
|
||||
// ReadFrom reads a binary representation of ScalableBloomFilter (such as might
|
||||
// have been written by WriteTo()) from an i/o stream. It returns the number
|
||||
// of bytes read.
|
||||
func (s *ScalableBloomFilter) ReadFrom(stream io.Reader) (int64, error) {
|
||||
var r, fp, p float64
|
||||
var hint, len uint64
|
||||
err := binary.Read(stream, binary.BigEndian, &r)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Read(stream, binary.BigEndian, &fp)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Read(stream, binary.BigEndian, &p)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Read(stream, binary.BigEndian, &hint)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
err = binary.Read(stream, binary.BigEndian, &len)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
var numBytes int64
|
||||
filters := make([]*PartitionedBloomFilter, len)
|
||||
for i, _ := range filters {
|
||||
filter := NewPartitionedBloomFilter(0, fp)
|
||||
num, err := filter.ReadFrom(stream)
|
||||
if err != nil {
|
||||
return 0, err
|
||||
}
|
||||
numBytes += num
|
||||
filters[i] = filter
|
||||
}
|
||||
s.r = r
|
||||
s.fp = fp
|
||||
s.p = p
|
||||
s.hint = uint(hint)
|
||||
s.filters = filters
|
||||
return numBytes + int64(5*binary.Size(uint64(0))), nil
|
||||
}
|
||||
|
||||
// GobEncode implements gob.GobEncoder interface.
|
||||
func (s *ScalableBloomFilter) GobEncode() ([]byte, error) {
|
||||
var buf bytes.Buffer
|
||||
_, err := s.WriteTo(&buf)
|
||||
if err != nil {
|
||||
return nil, err
|
||||
}
|
||||
|
||||
return buf.Bytes(), nil
|
||||
}
|
||||
|
||||
// GobDecode implements gob.GobDecoder interface.
|
||||
func (s *ScalableBloomFilter) GobDecode(data []byte) error {
|
||||
buf := bytes.NewBuffer(data)
|
||||
_, err := s.ReadFrom(buf)
|
||||
|
||||
return err
|
||||
}
|
||||
227
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/stable.go
generated
vendored
Normal file
227
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/stable.go
generated
vendored
Normal file
|
|
@ -0,0 +1,227 @@
|
|||
package boom
|
||||
|
||||
import (
|
||||
"hash"
|
||||
"hash/fnv"
|
||||
"math"
|
||||
"math/rand"
|
||||
)
|
||||
|
||||
// StableBloomFilter implements a Stable Bloom Filter as described by Deng and
|
||||
// Rafiei in Approximately Detecting Duplicates for Streaming Data using Stable
|
||||
// Bloom Filters:
|
||||
//
|
||||
// http://webdocs.cs.ualberta.ca/~drafiei/papers/DupDet06Sigmod.pdf
|
||||
//
|
||||
// A Stable Bloom Filter (SBF) continuously evicts stale information so that it
|
||||
// has room for more recent elements. Like traditional Bloom filters, an SBF
|
||||
// has a non-zero probability of false positives, which is controlled by
|
||||
// several parameters. Unlike the classic Bloom filter, an SBF has a tight
|
||||
// upper bound on the rate of false positives while introducing a non-zero rate
|
||||
// of false negatives. The false-positive rate of a classic Bloom filter
|
||||
// eventually reaches 1, after which all queries result in a false positive.
|
||||
// The stable-point property of an SBF means the false-positive rate
|
||||
// asymptotically approaches a configurable fixed constant. A classic Bloom
|
||||
// filter is actually a special case of SBF where the eviction rate is zero, so
|
||||
// this package provides support for them as well.
|
||||
//
|
||||
// Stable Bloom Filters are useful for cases where the size of the data set
|
||||
// isn't known a priori, which is a requirement for traditional Bloom filters,
|
||||
// and memory is bounded. For example, an SBF can be used to deduplicate
|
||||
// events from an unbounded event stream with a specified upper bound on false
|
||||
// positives and minimal false negatives.
|
||||
type StableBloomFilter struct {
|
||||
cells *Buckets // filter data
|
||||
hash hash.Hash64 // hash function (kernel for all k functions)
|
||||
m uint // number of cells
|
||||
p uint // number of cells to decrement
|
||||
k uint // number of hash functions
|
||||
max uint8 // cell max value
|
||||
indexBuffer []uint // buffer used to cache indices
|
||||
}
|
||||
|
||||
// NewStableBloomFilter creates a new Stable Bloom Filter with m cells and d
|
||||
// bits allocated per cell optimized for the target false-positive rate. Use
|
||||
// NewDefaultStableFilter if you don't want to calculate d.
|
||||
func NewStableBloomFilter(m uint, d uint8, fpRate float64) *StableBloomFilter {
|
||||
k := OptimalK(fpRate) / 2
|
||||
if k > m {
|
||||
k = m
|
||||
} else if k <= 0 {
|
||||
k = 1
|
||||
}
|
||||
|
||||
cells := NewBuckets(m, d)
|
||||
|
||||
return &StableBloomFilter{
|
||||
hash: fnv.New64(),
|
||||
m: m,
|
||||
k: k,
|
||||
p: optimalStableP(m, k, d, fpRate),
|
||||
max: cells.MaxBucketValue(),
|
||||
cells: cells,
|
||||
indexBuffer: make([]uint, k),
|
||||
}
|
||||
}
|
||||
|
||||
// NewDefaultStableBloomFilter creates a new Stable Bloom Filter with m 1-bit
|
||||
// cells and which is optimized for cases where there is no prior knowledge of
|
||||
// the input data stream while maintaining an upper bound using the provided
|
||||
// rate of false positives.
|
||||
func NewDefaultStableBloomFilter(m uint, fpRate float64) *StableBloomFilter {
|
||||
return NewStableBloomFilter(m, 1, fpRate)
|
||||
}
|
||||
|
||||
// NewUnstableBloomFilter creates a new special case of Stable Bloom Filter
|
||||
// which is a traditional Bloom filter with m bits and an optimal number of
|
||||
// hash functions for the target false-positive rate. Unlike the stable
|
||||
// variant, data is not evicted and a cell contains a maximum of 1 hash value.
|
||||
func NewUnstableBloomFilter(m uint, fpRate float64) *StableBloomFilter {
|
||||
var (
|
||||
cells = NewBuckets(m, 1)
|
||||
k = OptimalK(fpRate)
|
||||
)
|
||||
|
||||
return &StableBloomFilter{
|
||||
hash: fnv.New64(),
|
||||
m: m,
|
||||
k: k,
|
||||
p: 0,
|
||||
max: cells.MaxBucketValue(),
|
||||
cells: cells,
|
||||
indexBuffer: make([]uint, k),
|
||||
}
|
||||
}
|
||||
|
||||
// Cells returns the number of cells in the Stable Bloom Filter.
|
||||
func (s *StableBloomFilter) Cells() uint {
|
||||
return s.m
|
||||
}
|
||||
|
||||
// K returns the number of hash functions.
|
||||
func (s *StableBloomFilter) K() uint {
|
||||
return s.k
|
||||
}
|
||||
|
||||
// P returns the number of cells decremented on every add.
|
||||
func (s *StableBloomFilter) P() uint {
|
||||
return s.p
|
||||
}
|
||||
|
||||
// StablePoint returns the limit of the expected fraction of zeros in the
|
||||
// Stable Bloom Filter when the number of iterations goes to infinity. When
|
||||
// this limit is reached, the Stable Bloom Filter is considered stable.
|
||||
func (s *StableBloomFilter) StablePoint() float64 {
|
||||
var (
|
||||
subDenom = float64(s.p) * (1/float64(s.k) - 1/float64(s.m))
|
||||
denom = 1 + 1/subDenom
|
||||
base = 1 / denom
|
||||
)
|
||||
|
||||
return math.Pow(base, float64(s.max))
|
||||
}
|
||||
|
||||
// FalsePositiveRate returns the upper bound on false positives when the filter
|
||||
// has become stable.
|
||||
func (s *StableBloomFilter) FalsePositiveRate() float64 {
|
||||
return math.Pow(1-s.StablePoint(), float64(s.k))
|
||||
}
|
||||
|
||||
// Test will test for membership of the data and returns true if it is a
|
||||
// member, false if not. This is a probabilistic test, meaning there is a
|
||||
// non-zero probability of false positives and false negatives.
|
||||
func (s *StableBloomFilter) Test(data []byte) bool {
|
||||
lower, upper := hashKernel(data, s.hash)
|
||||
|
||||
// If any of the K cells are 0, then it's not a member.
|
||||
for i := uint(0); i < s.k; i++ {
|
||||
if s.cells.Get((uint(lower)+uint(upper)*i)%s.m) == 0 {
|
||||
return false
|
||||
}
|
||||
}
|
||||
|
||||
return true
|
||||
}
|
||||
|
||||
// Add will add the data to the Stable Bloom Filter. It returns the filter to
|
||||
// allow for chaining.
|
||||
func (s *StableBloomFilter) Add(data []byte) Filter {
|
||||
// Randomly decrement p cells to make room for new elements.
|
||||
s.decrement()
|
||||
|
||||
lower, upper := hashKernel(data, s.hash)
|
||||
|
||||
// Set the K cells to max.
|
||||
for i := uint(0); i < s.k; i++ {
|
||||
s.cells.Set((uint(lower)+uint(upper)*i)%s.m, s.max)
|
||||
}
|
||||
|
||||
return s
|
||||
}
|
||||
|
||||
// TestAndAdd is equivalent to calling Test followed by Add. It returns true if
|
||||
// the data is a member, false if not.
|
||||
func (s *StableBloomFilter) TestAndAdd(data []byte) bool {
|
||||
lower, upper := hashKernel(data, s.hash)
|
||||
member := true
|
||||
|
||||
// If any of the K cells are 0, then it's not a member.
|
||||
for i := uint(0); i < s.k; i++ {
|
||||
s.indexBuffer[i] = (uint(lower) + uint(upper)*i) % s.m
|
||||
if s.cells.Get(s.indexBuffer[i]) == 0 {
|
||||
member = false
|
||||
}
|
||||
}
|
||||
|
||||
// Randomly decrement p cells to make room for new elements.
|
||||
s.decrement()
|
||||
|
||||
// Set the K cells to max.
|
||||
for _, idx := range s.indexBuffer {
|
||||
s.cells.Set(idx, s.max)
|
||||
}
|
||||
|
||||
return member
|
||||
}
|
||||
|
||||
// Reset restores the Stable Bloom Filter to its original state. It returns the
|
||||
// filter to allow for chaining.
|
||||
func (s *StableBloomFilter) Reset() *StableBloomFilter {
|
||||
s.cells.Reset()
|
||||
return s
|
||||
}
|
||||
|
||||
// decrement will decrement a random cell and (p-1) adjacent cells by 1. This
|
||||
// is faster than generating p random numbers. Although the processes of
|
||||
// picking the p cells are not independent, each cell has a probability of p/m
|
||||
// for being picked at each iteration, which means the properties still hold.
|
||||
func (s *StableBloomFilter) decrement() {
|
||||
r := rand.Intn(int(s.m))
|
||||
for i := uint(0); i < s.p; i++ {
|
||||
idx := (r + int(i)) % int(s.m)
|
||||
s.cells.Increment(uint(idx), -1)
|
||||
}
|
||||
}
|
||||
|
||||
// SetHash sets the hashing function used in the filter.
|
||||
// For the effect on false positive rates see: https://github.com/tylertreat/BoomFilters/pull/1
|
||||
func (s *StableBloomFilter) SetHash(h hash.Hash64) {
|
||||
s.hash = h
|
||||
}
|
||||
|
||||
// optimalStableP returns the optimal number of cells to decrement, p, per
|
||||
// iteration for the provided parameters of an SBF.
|
||||
func optimalStableP(m, k uint, d uint8, fpRate float64) uint {
|
||||
var (
|
||||
max = math.Pow(2, float64(d)) - 1
|
||||
subDenom = math.Pow(1-math.Pow(fpRate, 1/float64(k)), 1/max)
|
||||
denom = (1/subDenom - 1) * (1/float64(k) - 1/float64(m))
|
||||
)
|
||||
|
||||
p := uint(1 / denom)
|
||||
if p <= 0 {
|
||||
p = 1
|
||||
}
|
||||
|
||||
return p
|
||||
}
|
||||
125
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/topk.go
generated
vendored
Normal file
125
Godeps/_workspace/src/github.com/tylertreat/BoomFilters/topk.go
generated
vendored
Normal file
|
|
@ -0,0 +1,125 @@
|
|||
package boom
|
||||
|
||||
import (
|
||||
"bytes"
|
||||
"container/heap"
|
||||
)
|
||||
|
||||
type Element struct {
|
||||
Data []byte
|
||||
Freq uint64
|
||||
}
|
||||
|
||||
// An elementHeap is a min-heap of elements.
|
||||
type elementHeap []*Element
|
||||
|
||||
func (e elementHeap) Len() int { return len(e) }
|
||||
func (e elementHeap) Less(i, j int) bool { return e[i].Freq < e[j].Freq }
|
||||
func (e elementHeap) Swap(i, j int) { e[i], e[j] = e[j], e[i] }
|
||||
|
||||
func (e *elementHeap) Push(x interface{}) {
|
||||
*e = append(*e, x.(*Element))
|
||||
}
|
||||
|
||||
func (e *elementHeap) Pop() interface{} {
|
||||
old := *e
|
||||
n := len(old)
|
||||
x := old[n-1]
|
||||
*e = old[0 : n-1]
|
||||
return x
|
||||
}
|
||||
|
||||
// TopK uses a Count-Min Sketch to calculate the top-K frequent elements in a
|
||||
// stream.
|
||||
type TopK struct {
|
||||
cms *CountMinSketch
|
||||
k uint
|
||||
n uint
|
||||
elements *elementHeap
|
||||
}
|
||||
|
||||
// NewTopK creates a new TopK backed by a Count-Min sketch whose relative
|
||||
// accuracy is within a factor of epsilon with probability delta. It tracks the
|
||||
// k-most frequent elements.
|
||||
func NewTopK(epsilon, delta float64, k uint) *TopK {
|
||||
elements := make(elementHeap, 0, k)
|
||||
heap.Init(&elements)
|
||||
return &TopK{
|
||||
cms: NewCountMinSketch(epsilon, delta),
|
||||
k: k,
|
||||
elements: &elements,
|
||||
}
|
||||
}
|
||||
|
||||
// Add will add the data to the Count-Min Sketch and update the top-k heap if
|
||||
// applicable. Returns the TopK to allow for chaining.
|
||||
func (t *TopK) Add(data []byte) *TopK {
|
||||
t.cms.Add(data)
|
||||
t.n++
|
||||
|
||||
freq := t.cms.Count(data)
|
||||
if t.isTop(freq) {
|
||||
t.insert(data, freq)
|
||||
}
|
||||
|
||||
return t
|
||||
}
|
||||
|
||||
// Elements returns the top-k elements from lowest to highest frequency.
|
||||
func (t *TopK) Elements() []*Element {
|
||||
if t.elements.Len() == 0 {
|
||||
return make([]*Element, 0)
|
||||
}
|
||||
|
||||
elements := make(elementHeap, t.elements.Len())
|
||||
copy(elements, *t.elements)
|
||||
heap.Init(&elements)
|
||||
topK := make([]*Element, 0, t.k)
|
||||
|
||||
for elements.Len() > 0 {
|
||||
topK = append(topK, heap.Pop(&elements).(*Element))
|
||||
}
|
||||
|
||||
return topK
|
||||
}
|
||||
|
||||
// Reset restores the TopK to its original state. It returns itself to allow
|
||||
// for chaining.
|
||||
func (t *TopK) Reset() *TopK {
|
||||
t.cms.Reset()
|
||||
elements := make(elementHeap, 0, t.k)
|
||||
heap.Init(&elements)
|
||||
t.elements = &elements
|
||||
t.n = 0
|
||||
return t
|
||||
}
|
||||
|
||||
// isTop indicates if the given frequency falls within the top-k heap.
|
||||
func (t *TopK) isTop(freq uint64) bool {
|
||||
if t.elements.Len() < int(t.k) {
|
||||
return true
|
||||
}
|
||||
|
||||
return freq >= (*t.elements)[0].Freq
|
||||
}
|
||||
|
||||
// insert adds the data to the top-k heap. If the data is already an element,
|
||||
// the frequency is updated. If the heap already has k elements, the element
|
||||
// with the minimum frequency is removed.
|
||||
func (t *TopK) insert(data []byte, freq uint64) {
|
||||
for _, element := range *t.elements {
|
||||
if bytes.Compare(data, element.Data) == 0 {
|
||||
// Element already in top-k.
|
||||
element.Freq = freq
|
||||
return
|
||||
}
|
||||
}
|
||||
|
||||
if t.elements.Len() == int(t.k) {
|
||||
// Remove minimum-frequency element.
|
||||
heap.Pop(t.elements)
|
||||
}
|
||||
|
||||
// Add element to top-k.
|
||||
heap.Push(t.elements, &Element{Data: data, Freq: freq})
|
||||
}
|
||||
|
|
@ -135,12 +135,9 @@ func (b *SimulatedBackend) StorageAt(ctx context.Context, contract common.Addres
|
|||
return nil, errBlockNumberUnsupported
|
||||
}
|
||||
statedb, _ := b.blockchain.State()
|
||||
if obj := statedb.GetStateObject(contract); obj != nil {
|
||||
val := obj.GetState(key)
|
||||
val := statedb.GetState(contract, key)
|
||||
return val[:], nil
|
||||
}
|
||||
return nil, nil
|
||||
}
|
||||
|
||||
// TransactionReceipt returns the receipt of a transaction.
|
||||
func (b *SimulatedBackend) TransactionReceipt(ctx context.Context, txHash common.Hash) (*types.Receipt, error) {
|
||||
|
|
|
|||
|
|
@ -93,6 +93,7 @@ type BlockChain struct {
|
|||
currentBlock *types.Block // Current head of the block chain
|
||||
currentFastBlock *types.Block // Current head of the fast-sync chain (may be above the block chain!)
|
||||
|
||||
stateCache *state.StateDB // State database to reuse between imports (contains state cache)
|
||||
bodyCache *lru.Cache // Cache for the most recent block bodies
|
||||
bodyRLPCache *lru.Cache // Cache for the most recent block bodies in RLP encoded format
|
||||
blockCache *lru.Cache // Cache for the most recent entire blocks
|
||||
|
|
@ -196,7 +197,15 @@ func (self *BlockChain) loadLastState() error {
|
|||
self.currentFastBlock = block
|
||||
}
|
||||
}
|
||||
// Issue a status log and return
|
||||
// Initialize a statedb cache to ensure singleton account bloom filter generation
|
||||
statedb, err := state.New(self.currentBlock.Root(), self.chainDb)
|
||||
if err != nil {
|
||||
return err
|
||||
}
|
||||
self.stateCache = statedb
|
||||
self.stateCache.GetAccount(common.Address{})
|
||||
|
||||
// Issue a status log for the user
|
||||
headerTd := self.GetTd(currentHeader.Hash(), currentHeader.Number.Uint64())
|
||||
blockTd := self.GetTd(self.currentBlock.Hash(), self.currentBlock.NumberU64())
|
||||
fastTd := self.GetTd(self.currentFastBlock.Hash(), self.currentFastBlock.NumberU64())
|
||||
|
|
@ -826,7 +835,6 @@ func (self *BlockChain) InsertChain(chain types.Blocks) (int, error) {
|
|||
tstart = time.Now()
|
||||
|
||||
nonceChecked = make([]bool, len(chain))
|
||||
statedb *state.StateDB
|
||||
)
|
||||
|
||||
// Start the parallel nonce verifier.
|
||||
|
|
@ -893,29 +901,30 @@ func (self *BlockChain) InsertChain(chain types.Blocks) (int, error) {
|
|||
|
||||
// Create a new statedb using the parent block and report an
|
||||
// error if it fails.
|
||||
if statedb == nil {
|
||||
statedb, err = state.New(self.GetBlock(block.ParentHash(), block.NumberU64()-1).Root(), self.chainDb)
|
||||
} else {
|
||||
err = statedb.Reset(chain[i-1].Root())
|
||||
switch {
|
||||
case i == 0:
|
||||
err = self.stateCache.Reset(self.GetBlock(block.ParentHash(), block.NumberU64()-1).Root())
|
||||
default:
|
||||
err = self.stateCache.Reset(chain[i-1].Root())
|
||||
}
|
||||
if err != nil {
|
||||
reportBlock(block, err)
|
||||
return i, err
|
||||
}
|
||||
// Process block using the parent state as reference point.
|
||||
receipts, logs, usedGas, err := self.processor.Process(block, statedb, self.config.VmConfig)
|
||||
receipts, logs, usedGas, err := self.processor.Process(block, self.stateCache, self.config.VmConfig)
|
||||
if err != nil {
|
||||
reportBlock(block, err)
|
||||
return i, err
|
||||
}
|
||||
// Validate the state using the default validator
|
||||
err = self.Validator().ValidateState(block, self.GetBlock(block.ParentHash(), block.NumberU64()-1), statedb, receipts, usedGas)
|
||||
err = self.Validator().ValidateState(block, self.GetBlock(block.ParentHash(), block.NumberU64()-1), self.stateCache, receipts, usedGas)
|
||||
if err != nil {
|
||||
reportBlock(block, err)
|
||||
return i, err
|
||||
}
|
||||
// Write state changes to database
|
||||
_, err = statedb.Commit()
|
||||
_, err = self.stateCache.Commit()
|
||||
if err != nil {
|
||||
return i, err
|
||||
}
|
||||
|
|
|
|||
|
|
@ -79,7 +79,7 @@ func ExampleGenerateChain() {
|
|||
evmux := &event.TypeMux{}
|
||||
blockchain, _ := NewBlockChain(db, MakeChainConfig(), FakePow{}, evmux)
|
||||
if i, err := blockchain.InsertChain(chain); err != nil {
|
||||
fmt.Printf("insert error (block %d): %v\n", i, err)
|
||||
fmt.Printf("insert error (block %d): %v\n", chain[i].NumberU64(), err)
|
||||
return
|
||||
}
|
||||
|
||||
|
|
|
|||
|
|
@ -21,9 +21,10 @@ import (
|
|||
"fmt"
|
||||
|
||||
"github.com/ethereum/go-ethereum/common"
|
||||
"github.com/ethereum/go-ethereum/rlp"
|
||||
)
|
||||
|
||||
type Account struct {
|
||||
type DumpAccount struct {
|
||||
Balance string `json:"balance"`
|
||||
Nonce uint64 `json:"nonce"`
|
||||
Root string `json:"root"`
|
||||
|
|
@ -32,40 +33,42 @@ type Account struct {
|
|||
Storage map[string]string `json:"storage"`
|
||||
}
|
||||
|
||||
type World struct {
|
||||
type Dump struct {
|
||||
Root string `json:"root"`
|
||||
Accounts map[string]Account `json:"accounts"`
|
||||
Accounts map[string]DumpAccount `json:"accounts"`
|
||||
}
|
||||
|
||||
func (self *StateDB) RawDump() World {
|
||||
world := World{
|
||||
func (self *StateDB) RawDump() Dump {
|
||||
dump := Dump{
|
||||
Root: common.Bytes2Hex(self.trie.Root()),
|
||||
Accounts: make(map[string]Account),
|
||||
Accounts: make(map[string]DumpAccount),
|
||||
}
|
||||
|
||||
it := self.trie.Iterator()
|
||||
for it.Next() {
|
||||
addr := self.trie.GetKey(it.Key)
|
||||
stateObject, err := DecodeObject(common.BytesToAddress(addr), self.db, it.Value)
|
||||
if err != nil {
|
||||
var data Account
|
||||
if err := rlp.DecodeBytes(it.Value, &data); err != nil {
|
||||
panic(err)
|
||||
}
|
||||
|
||||
account := Account{
|
||||
Balance: stateObject.balance.String(),
|
||||
Nonce: stateObject.nonce,
|
||||
Root: common.Bytes2Hex(stateObject.Root()),
|
||||
CodeHash: common.Bytes2Hex(stateObject.codeHash),
|
||||
Code: common.Bytes2Hex(stateObject.Code()),
|
||||
obj := NewObject(common.BytesToAddress(addr), data, nil)
|
||||
account := DumpAccount{
|
||||
Balance: data.Balance.String(),
|
||||
Nonce: data.Nonce,
|
||||
Root: common.Bytes2Hex(data.Root[:]),
|
||||
CodeHash: common.Bytes2Hex(data.CodeHash),
|
||||
Code: common.Bytes2Hex(obj.Code(self.db)),
|
||||
Storage: make(map[string]string),
|
||||
}
|
||||
storageIt := stateObject.trie.Iterator()
|
||||
obj.initTrie(self.db)
|
||||
storageIt := obj.trie.Iterator()
|
||||
for storageIt.Next() {
|
||||
account.Storage[common.Bytes2Hex(self.trie.GetKey(storageIt.Key))] = common.Bytes2Hex(storageIt.Value)
|
||||
}
|
||||
world.Accounts[common.Bytes2Hex(addr)] = account
|
||||
dump.Accounts[common.Bytes2Hex(addr)] = account
|
||||
}
|
||||
return world
|
||||
return dump
|
||||
}
|
||||
|
||||
func (self *StateDB) Dump() []byte {
|
||||
|
|
@ -76,12 +79,3 @@ func (self *StateDB) Dump() []byte {
|
|||
|
||||
return json
|
||||
}
|
||||
|
||||
// Debug stuff
|
||||
func (self *StateObject) CreateOutputForDiff() {
|
||||
fmt.Printf("%x %x %x %x\n", self.Address(), self.Root(), self.balance.Bytes(), self.nonce)
|
||||
it := self.trie.Iterator()
|
||||
for it.Next() {
|
||||
fmt.Printf("%x %x\n", it.Key, it.Value)
|
||||
}
|
||||
}
|
||||
|
|
|
|||
|
|
@ -50,6 +50,9 @@ func TestNodeIteratorCoverage(t *testing.T) {
|
|||
if bytes.HasPrefix(key, []byte("secure-key-")) {
|
||||
continue
|
||||
}
|
||||
if bytes.Equal(key, []byte("accounts-bloom")) {
|
||||
continue
|
||||
}
|
||||
if _, ok := hashes[common.BytesToHash(key)]; !ok {
|
||||
t.Errorf("state entry not reported %x", key)
|
||||
}
|
||||
|
|
|
|||
|
|
@ -33,14 +33,14 @@ type ManagedState struct {
|
|||
|
||||
mu sync.RWMutex
|
||||
|
||||
accounts map[string]*account
|
||||
accounts map[common.Address]*account
|
||||
}
|
||||
|
||||
// ManagedState returns a new managed state with the statedb as it's backing layer
|
||||
func ManageState(statedb *StateDB) *ManagedState {
|
||||
return &ManagedState{
|
||||
StateDB: statedb.Copy(),
|
||||
accounts: make(map[string]*account),
|
||||
accounts: make(map[common.Address]*account),
|
||||
}
|
||||
}
|
||||
|
||||
|
|
@ -103,7 +103,7 @@ func (ms *ManagedState) SetNonce(addr common.Address, nonce uint64) {
|
|||
so := ms.GetOrNewStateObject(addr)
|
||||
so.SetNonce(nonce)
|
||||
|
||||
ms.accounts[addr.Str()] = newAccount(so)
|
||||
ms.accounts[addr] = newAccount(so)
|
||||
}
|
||||
|
||||
// HasAccount returns whether the given address is managed or not
|
||||
|
|
@ -114,29 +114,28 @@ func (ms *ManagedState) HasAccount(addr common.Address) bool {
|
|||
}
|
||||
|
||||
func (ms *ManagedState) hasAccount(addr common.Address) bool {
|
||||
_, ok := ms.accounts[addr.Str()]
|
||||
_, ok := ms.accounts[addr]
|
||||
return ok
|
||||
}
|
||||
|
||||
// populate the managed state
|
||||
func (ms *ManagedState) getAccount(addr common.Address) *account {
|
||||
straddr := addr.Str()
|
||||
if account, ok := ms.accounts[straddr]; !ok {
|
||||
if account, ok := ms.accounts[addr]; !ok {
|
||||
so := ms.GetOrNewStateObject(addr)
|
||||
ms.accounts[straddr] = newAccount(so)
|
||||
ms.accounts[addr] = newAccount(so)
|
||||
} else {
|
||||
// Always make sure the state account nonce isn't actually higher
|
||||
// than the tracked one.
|
||||
so := ms.StateDB.GetStateObject(addr)
|
||||
if so != nil && uint64(len(account.nonces))+account.nstart < so.nonce {
|
||||
ms.accounts[straddr] = newAccount(so)
|
||||
if so != nil && uint64(len(account.nonces))+account.nstart < so.Nonce() {
|
||||
ms.accounts[addr] = newAccount(so)
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
return ms.accounts[straddr]
|
||||
return ms.accounts[addr]
|
||||
}
|
||||
|
||||
func newAccount(so *StateObject) *account {
|
||||
return &account{so, so.nonce, nil}
|
||||
return &account{so, so.Nonce(), nil}
|
||||
}
|
||||
|
|
|
|||
|
|
@ -29,11 +29,12 @@ func create() (*ManagedState, *account) {
|
|||
db, _ := ethdb.NewMemDatabase()
|
||||
statedb, _ := New(common.Hash{}, db)
|
||||
ms := ManageState(statedb)
|
||||
so := &StateObject{address: addr, nonce: 100}
|
||||
ms.StateDB.stateObjects[addr.Str()] = so
|
||||
ms.accounts[addr.Str()] = newAccount(so)
|
||||
so := &StateObject{address: addr}
|
||||
so.SetNonce(100)
|
||||
ms.StateDB.stateObjects[addr] = so
|
||||
ms.accounts[addr] = newAccount(so)
|
||||
|
||||
return ms, ms.accounts[addr.Str()]
|
||||
return ms, ms.accounts[addr]
|
||||
}
|
||||
|
||||
func TestNewNonce(t *testing.T) {
|
||||
|
|
@ -92,7 +93,7 @@ func TestRemoteNonceChange(t *testing.T) {
|
|||
account.nonces = append(account.nonces, nn...)
|
||||
nonce := ms.NewNonce(addr)
|
||||
|
||||
ms.StateDB.stateObjects[addr.Str()].nonce = 200
|
||||
ms.StateDB.stateObjects[addr].data.Nonce = 200
|
||||
nonce = ms.NewNonce(addr)
|
||||
if nonce != 200 {
|
||||
t.Error("expected nonce after remote update to be", 201, "got", nonce)
|
||||
|
|
@ -100,7 +101,7 @@ func TestRemoteNonceChange(t *testing.T) {
|
|||
ms.NewNonce(addr)
|
||||
ms.NewNonce(addr)
|
||||
ms.NewNonce(addr)
|
||||
ms.StateDB.stateObjects[addr.Str()].nonce = 200
|
||||
ms.StateDB.stateObjects[addr].data.Nonce = 200
|
||||
nonce = ms.NewNonce(addr)
|
||||
if nonce != 204 {
|
||||
t.Error("expected nonce after remote update to be", 201, "got", nonce)
|
||||
|
|
|
|||
|
|
@ -57,108 +57,162 @@ func (self Storage) Copy() Storage {
|
|||
return cpy
|
||||
}
|
||||
|
||||
// StateObject represents an Ethereum account which is being modified.
|
||||
//
|
||||
// The usage pattern is as follows:
|
||||
// First you need to obtain a state object.
|
||||
// Account values can be accessed and modified through the object.
|
||||
// Finally, call CommitTrie to write the modified storage trie into a database.
|
||||
type StateObject struct {
|
||||
db trie.Database // State database for storing state changes
|
||||
trie *trie.SecureTrie
|
||||
address common.Address // Ethereum address of this account
|
||||
data Account
|
||||
|
||||
// Address belonging to this account
|
||||
address common.Address
|
||||
// The balance of the account
|
||||
balance *big.Int
|
||||
// The nonce of the account
|
||||
nonce uint64
|
||||
// The code hash if code is present (i.e. a contract)
|
||||
codeHash []byte
|
||||
// The code for this account
|
||||
code Code
|
||||
// Cached storage (flushed when updated)
|
||||
storage Storage
|
||||
// DB error.
|
||||
// State objects are used by the consensus core and VM which are
|
||||
// unable to deal with database-level errors. Any error that occurs
|
||||
// during a database read is memoized here and will eventually be returned
|
||||
// by StateDB.Commit.
|
||||
dbErr error
|
||||
|
||||
// Mark for deletion
|
||||
// Write caches.
|
||||
trie *trie.SecureTrie // storage trie, which becomes non-nil on first access
|
||||
code Code // contract bytecode, which gets set when code is loaded
|
||||
storage Storage // Cached storage (flushed when updated)
|
||||
|
||||
// Cache flags.
|
||||
// When an object is marked for deletion it will be delete from the trie
|
||||
// during the "update" phase of the state transition
|
||||
dirtyCode bool // true if the code was updated
|
||||
remove bool
|
||||
deleted bool
|
||||
dirty bool
|
||||
onDirty func(addr common.Address) // Callback method to mark a state object newly dirty
|
||||
}
|
||||
|
||||
func NewStateObject(address common.Address, db trie.Database) *StateObject {
|
||||
object := &StateObject{
|
||||
db: db,
|
||||
address: address,
|
||||
balance: new(big.Int),
|
||||
dirty: true,
|
||||
codeHash: emptyCodeHash,
|
||||
storage: make(Storage),
|
||||
// Account is the Ethereum consensus representation of accounts.
|
||||
// These objects are stored in the main account trie.
|
||||
type Account struct {
|
||||
Nonce uint64
|
||||
Balance *big.Int
|
||||
Root common.Hash // merkle root of the storage trie
|
||||
CodeHash []byte
|
||||
|
||||
codeSize *int
|
||||
}
|
||||
|
||||
// NewObject creates a state object.
|
||||
func NewObject(address common.Address, data Account, onDirty func(addr common.Address)) *StateObject {
|
||||
if data.Balance == nil {
|
||||
data.Balance = new(big.Int)
|
||||
}
|
||||
if data.CodeHash == nil {
|
||||
data.CodeHash = emptyCodeHash
|
||||
}
|
||||
return &StateObject{address: address, data: data, storage: make(Storage), onDirty: onDirty}
|
||||
}
|
||||
|
||||
// EncodeRLP implements rlp.Encoder.
|
||||
func (c *StateObject) EncodeRLP(w io.Writer) error {
|
||||
return rlp.Encode(w, c.data)
|
||||
}
|
||||
|
||||
// setError remembers the first non-nil error it is called with.
|
||||
func (self *StateObject) setError(err error) {
|
||||
if self.dbErr == nil {
|
||||
self.dbErr = err
|
||||
}
|
||||
object.trie, _ = trie.NewSecure(common.Hash{}, db)
|
||||
return object
|
||||
}
|
||||
|
||||
func (self *StateObject) MarkForDeletion() {
|
||||
self.remove = true
|
||||
self.dirty = true
|
||||
|
||||
if self.onDirty != nil {
|
||||
self.onDirty(self.Address())
|
||||
self.onDirty = nil
|
||||
}
|
||||
if glog.V(logger.Core) {
|
||||
glog.Infof("%x: #%d %v X\n", self.Address(), self.nonce, self.balance)
|
||||
glog.Infof("%x: #%d %v X\n", self.Address(), self.Nonce(), self.Balance())
|
||||
}
|
||||
}
|
||||
|
||||
func (c *StateObject) getAddr(addr common.Hash) common.Hash {
|
||||
var ret []byte
|
||||
rlp.DecodeBytes(c.trie.Get(addr[:]), &ret)
|
||||
return common.BytesToHash(ret)
|
||||
}
|
||||
|
||||
func (c *StateObject) setAddr(addr, value common.Hash) {
|
||||
v, err := rlp.EncodeToBytes(bytes.TrimLeft(value[:], "\x00"))
|
||||
func (c *StateObject) initTrie(db trie.Database) {
|
||||
if c.trie == nil {
|
||||
var err error
|
||||
c.trie, err = trie.NewSecure(c.data.Root, db)
|
||||
if err != nil {
|
||||
// if RLPing failed we better panic and not fail silently. This would be considered a consensus issue
|
||||
panic(err)
|
||||
c.trie, _ = trie.NewSecure(common.Hash{}, db)
|
||||
c.setError(fmt.Errorf("can't create storage trie: %v", err))
|
||||
}
|
||||
}
|
||||
c.trie.Update(addr[:], v)
|
||||
}
|
||||
|
||||
func (self *StateObject) Storage() Storage {
|
||||
return self.storage
|
||||
}
|
||||
|
||||
func (self *StateObject) GetState(key common.Hash) common.Hash {
|
||||
// GetState returns a value in account storage.
|
||||
func (self *StateObject) GetState(db trie.Database, key common.Hash) common.Hash {
|
||||
value, exists := self.storage[key]
|
||||
if !exists {
|
||||
value = self.getAddr(key)
|
||||
if exists {
|
||||
return value
|
||||
}
|
||||
// Load from DB in case it is missing.
|
||||
self.initTrie(db)
|
||||
var ret []byte
|
||||
rlp.DecodeBytes(self.trie.Get(key[:]), &ret)
|
||||
value = common.BytesToHash(ret)
|
||||
if (value != common.Hash{}) {
|
||||
self.storage[key] = value
|
||||
}
|
||||
}
|
||||
|
||||
return value
|
||||
}
|
||||
|
||||
// SetState updates a value in account storage.
|
||||
func (self *StateObject) SetState(key, value common.Hash) {
|
||||
self.storage[key] = value
|
||||
self.dirty = true
|
||||
if self.onDirty != nil {
|
||||
self.onDirty(self.Address())
|
||||
self.onDirty = nil
|
||||
}
|
||||
}
|
||||
|
||||
// Update updates the current cached storage to the trie
|
||||
func (self *StateObject) Update() {
|
||||
// updateTrie writes cached storage modifications into the object's storage trie.
|
||||
func (self *StateObject) updateTrie(db trie.Database) {
|
||||
self.initTrie(db)
|
||||
for key, value := range self.storage {
|
||||
if (value == common.Hash{}) {
|
||||
self.trie.Delete(key[:])
|
||||
continue
|
||||
}
|
||||
self.setAddr(key, value)
|
||||
// Encoding []byte cannot fail, ok to ignore the error.
|
||||
v, _ := rlp.EncodeToBytes(bytes.TrimLeft(value[:], "\x00"))
|
||||
self.trie.Update(key[:], v)
|
||||
}
|
||||
}
|
||||
|
||||
// UpdateRoot sets the trie root to the current root hash of
|
||||
func (self *StateObject) UpdateRoot(db trie.Database) {
|
||||
self.updateTrie(db)
|
||||
self.data.Root = self.trie.Hash()
|
||||
}
|
||||
|
||||
// CommitTrie the storage trie of the object to dwb.
|
||||
// This updates the trie root.
|
||||
func (self *StateObject) CommitTrie(db trie.Database, dbw trie.DatabaseWriter) error {
|
||||
self.updateTrie(db)
|
||||
if self.dbErr != nil {
|
||||
fmt.Println("dbErr:", self.dbErr)
|
||||
return self.dbErr
|
||||
}
|
||||
root, err := self.trie.CommitTo(dbw)
|
||||
if err == nil {
|
||||
self.data.Root = root
|
||||
}
|
||||
return err
|
||||
}
|
||||
|
||||
func (c *StateObject) AddBalance(amount *big.Int) {
|
||||
if amount.Cmp(common.Big0) == 0 {
|
||||
return
|
||||
}
|
||||
c.SetBalance(new(big.Int).Add(c.balance, amount))
|
||||
c.SetBalance(new(big.Int).Add(c.Balance(), amount))
|
||||
|
||||
if glog.V(logger.Core) {
|
||||
glog.Infof("%x: #%d %v (+ %v)\n", c.Address(), c.nonce, c.balance, amount)
|
||||
glog.Infof("%x: #%d %v (+ %v)\n", c.Address(), c.Nonce(), c.Balance(), amount)
|
||||
}
|
||||
}
|
||||
|
||||
|
|
@ -166,37 +220,32 @@ func (c *StateObject) SubBalance(amount *big.Int) {
|
|||
if amount.Cmp(common.Big0) == 0 {
|
||||
return
|
||||
}
|
||||
c.SetBalance(new(big.Int).Sub(c.balance, amount))
|
||||
c.SetBalance(new(big.Int).Sub(c.Balance(), amount))
|
||||
|
||||
if glog.V(logger.Core) {
|
||||
glog.Infof("%x: #%d %v (- %v)\n", c.Address(), c.nonce, c.balance, amount)
|
||||
glog.Infof("%x: #%d %v (- %v)\n", c.Address(), c.Nonce(), c.Balance(), amount)
|
||||
}
|
||||
}
|
||||
|
||||
func (c *StateObject) SetBalance(amount *big.Int) {
|
||||
c.balance = amount
|
||||
c.dirty = true
|
||||
func (self *StateObject) SetBalance(amount *big.Int) {
|
||||
self.data.Balance = amount
|
||||
if self.onDirty != nil {
|
||||
self.onDirty(self.Address())
|
||||
self.onDirty = nil
|
||||
}
|
||||
|
||||
func (c *StateObject) St() Storage {
|
||||
return c.storage
|
||||
}
|
||||
|
||||
// Return the gas back to the origin. Used by the Virtual machine or Closures
|
||||
func (c *StateObject) ReturnGas(gas, price *big.Int) {}
|
||||
|
||||
func (self *StateObject) Copy() *StateObject {
|
||||
stateObject := NewStateObject(self.Address(), self.db)
|
||||
stateObject.balance.Set(self.balance)
|
||||
stateObject.codeHash = common.CopyBytes(self.codeHash)
|
||||
stateObject.nonce = self.nonce
|
||||
func (self *StateObject) Copy(db trie.Database, onDirty func(addr common.Address)) *StateObject {
|
||||
stateObject := NewObject(self.address, self.data, onDirty)
|
||||
stateObject.trie = self.trie
|
||||
stateObject.code = self.code
|
||||
stateObject.storage = self.storage.Copy()
|
||||
stateObject.remove = self.remove
|
||||
stateObject.dirty = self.dirty
|
||||
stateObject.dirtyCode = self.dirtyCode
|
||||
stateObject.deleted = self.deleted
|
||||
|
||||
return stateObject
|
||||
}
|
||||
|
||||
|
|
@ -204,40 +253,66 @@ func (self *StateObject) Copy() *StateObject {
|
|||
// Attribute accessors
|
||||
//
|
||||
|
||||
func (self *StateObject) Balance() *big.Int {
|
||||
return self.balance
|
||||
}
|
||||
|
||||
// Returns the address of the contract/account
|
||||
func (c *StateObject) Address() common.Address {
|
||||
return c.address
|
||||
}
|
||||
|
||||
func (self *StateObject) Trie() *trie.SecureTrie {
|
||||
return self.trie
|
||||
}
|
||||
|
||||
func (self *StateObject) Root() []byte {
|
||||
return self.trie.Root()
|
||||
}
|
||||
|
||||
func (self *StateObject) Code() []byte {
|
||||
// Code returns the contract code associated with this object, if any.
|
||||
func (self *StateObject) Code(db trie.Database) []byte {
|
||||
if self.code != nil {
|
||||
return self.code
|
||||
}
|
||||
if bytes.Equal(self.CodeHash(), emptyCodeHash) {
|
||||
return nil
|
||||
}
|
||||
code, err := db.Get(self.CodeHash())
|
||||
if err != nil {
|
||||
self.setError(fmt.Errorf("can't load code hash %x: %v", self.CodeHash(), err))
|
||||
}
|
||||
self.code = code
|
||||
return code
|
||||
}
|
||||
|
||||
// CodeSize returns the size of the contract code associated with this object.
|
||||
func (self *StateObject) CodeSize(db trie.Database) int {
|
||||
if self.data.codeSize == nil {
|
||||
self.data.codeSize = new(int)
|
||||
*self.data.codeSize = len(self.Code(db))
|
||||
}
|
||||
return *self.data.codeSize
|
||||
}
|
||||
|
||||
func (self *StateObject) SetCode(code []byte) {
|
||||
self.code = code
|
||||
self.codeHash = crypto.Keccak256(code)
|
||||
self.dirty = true
|
||||
self.data.CodeHash = crypto.Keccak256(code)
|
||||
self.data.codeSize = new(int)
|
||||
*self.data.codeSize = len(code)
|
||||
self.dirtyCode = true
|
||||
if self.onDirty != nil {
|
||||
self.onDirty(self.Address())
|
||||
self.onDirty = nil
|
||||
}
|
||||
}
|
||||
|
||||
func (self *StateObject) SetNonce(nonce uint64) {
|
||||
self.nonce = nonce
|
||||
self.dirty = true
|
||||
self.data.Nonce = nonce
|
||||
if self.onDirty != nil {
|
||||
self.onDirty(self.Address())
|
||||
self.onDirty = nil
|
||||
}
|
||||
}
|
||||
|
||||
func (self *StateObject) CodeHash() []byte {
|
||||
return self.data.CodeHash
|
||||
}
|
||||
|
||||
func (self *StateObject) Balance() *big.Int {
|
||||
return self.data.Balance
|
||||
}
|
||||
|
||||
func (self *StateObject) Nonce() uint64 {
|
||||
return self.nonce
|
||||
return self.data.Nonce
|
||||
}
|
||||
|
||||
// Never called, but must be present to allow StateObject to be used
|
||||
|
|
@ -262,39 +337,3 @@ func (self *StateObject) ForEachStorage(cb func(key, value common.Hash) bool) {
|
|||
}
|
||||
}
|
||||
}
|
||||
|
||||
type extStateObject struct {
|
||||
Nonce uint64
|
||||
Balance *big.Int
|
||||
Root common.Hash
|
||||
CodeHash []byte
|
||||
}
|
||||
|
||||
// EncodeRLP implements rlp.Encoder.
|
||||
func (c *StateObject) EncodeRLP(w io.Writer) error {
|
||||
return rlp.Encode(w, []interface{}{c.nonce, c.balance, c.Root(), c.codeHash})
|
||||
}
|
||||
|
||||
// DecodeObject decodes an RLP-encoded state object.
|
||||
func DecodeObject(address common.Address, db trie.Database, data []byte) (*StateObject, error) {
|
||||
var (
|
||||
obj = &StateObject{address: address, db: db, storage: make(Storage)}
|
||||
ext extStateObject
|
||||
err error
|
||||
)
|
||||
if err = rlp.DecodeBytes(data, &ext); err != nil {
|
||||
return nil, err
|
||||
}
|
||||
if obj.trie, err = trie.NewSecure(ext.Root, db); err != nil {
|
||||
return nil, err
|
||||
}
|
||||
if !bytes.Equal(ext.CodeHash, emptyCodeHash) {
|
||||
if obj.code, err = db.Get(ext.CodeHash); err != nil {
|
||||
return nil, fmt.Errorf("can't get code for hash %x: %v", ext.CodeHash, err)
|
||||
}
|
||||
}
|
||||
obj.nonce = ext.Nonce
|
||||
obj.balance = ext.Balance
|
||||
obj.codeHash = ext.CodeHash
|
||||
return obj, nil
|
||||
}
|
||||
|
|
|
|||
|
|
@ -146,23 +146,23 @@ func TestSnapshot2(t *testing.T) {
|
|||
|
||||
// db, trie are already non-empty values
|
||||
so0 := state.GetStateObject(stateobjaddr0)
|
||||
so0.balance = big.NewInt(42)
|
||||
so0.nonce = 43
|
||||
so0.SetBalance(big.NewInt(42))
|
||||
so0.SetNonce(43)
|
||||
so0.SetCode([]byte{'c', 'a', 'f', 'e'})
|
||||
so0.remove = false
|
||||
so0.deleted = false
|
||||
so0.dirty = true
|
||||
state.SetStateObject(so0)
|
||||
state.Commit()
|
||||
|
||||
root, _ := state.Commit()
|
||||
state.Reset(root)
|
||||
|
||||
// and one with deleted == true
|
||||
so1 := state.GetStateObject(stateobjaddr1)
|
||||
so1.balance = big.NewInt(52)
|
||||
so1.nonce = 53
|
||||
so1.SetBalance(big.NewInt(52))
|
||||
so1.SetNonce(53)
|
||||
so1.SetCode([]byte{'c', 'a', 'f', 'e', '2'})
|
||||
so1.remove = true
|
||||
so1.deleted = true
|
||||
so1.dirty = true
|
||||
state.SetStateObject(so1)
|
||||
|
||||
so1 = state.GetStateObject(stateobjaddr1)
|
||||
|
|
@ -174,41 +174,50 @@ func TestSnapshot2(t *testing.T) {
|
|||
state.Set(snapshot)
|
||||
|
||||
so0Restored := state.GetStateObject(stateobjaddr0)
|
||||
so0Restored.GetState(storageaddr)
|
||||
so1Restored := state.GetStateObject(stateobjaddr1)
|
||||
// Update lazily-loaded values before comparing.
|
||||
so0Restored.GetState(db, storageaddr)
|
||||
so0Restored.Code(db)
|
||||
// non-deleted is equal (restored)
|
||||
compareStateObjects(so0Restored, so0, t)
|
||||
|
||||
// deleted should be nil, both before and after restore of state copy
|
||||
so1Restored := state.GetStateObject(stateobjaddr1)
|
||||
if so1Restored != nil {
|
||||
t.Fatalf("deleted object not nil after restoring snapshot")
|
||||
t.Fatalf("deleted object not nil after restoring snapshot: %+v", so1Restored)
|
||||
}
|
||||
}
|
||||
|
||||
func compareStateObjects(so0, so1 *StateObject, t *testing.T) {
|
||||
if so0.address != so1.address {
|
||||
if so0.Address() != so1.Address() {
|
||||
t.Fatalf("Address mismatch: have %v, want %v", so0.address, so1.address)
|
||||
}
|
||||
if so0.balance.Cmp(so1.balance) != 0 {
|
||||
t.Fatalf("Balance mismatch: have %v, want %v", so0.balance, so1.balance)
|
||||
if so0.Balance().Cmp(so1.Balance()) != 0 {
|
||||
t.Fatalf("Balance mismatch: have %v, want %v", so0.Balance(), so1.Balance())
|
||||
}
|
||||
if so0.nonce != so1.nonce {
|
||||
t.Fatalf("Nonce mismatch: have %v, want %v", so0.nonce, so1.nonce)
|
||||
if so0.Nonce() != so1.Nonce() {
|
||||
t.Fatalf("Nonce mismatch: have %v, want %v", so0.Nonce(), so1.Nonce())
|
||||
}
|
||||
if !bytes.Equal(so0.codeHash, so1.codeHash) {
|
||||
t.Fatalf("CodeHash mismatch: have %v, want %v", so0.codeHash, so1.codeHash)
|
||||
if so0.data.Root != so1.data.Root {
|
||||
t.Errorf("Root mismatch: have %x, want %x", so0.data.Root[:], so1.data.Root[:])
|
||||
}
|
||||
if !bytes.Equal(so0.CodeHash(), so1.CodeHash()) {
|
||||
t.Fatalf("CodeHash mismatch: have %v, want %v", so0.CodeHash(), so1.CodeHash())
|
||||
}
|
||||
if !bytes.Equal(so0.code, so1.code) {
|
||||
t.Fatalf("Code mismatch: have %v, want %v", so0.code, so1.code)
|
||||
}
|
||||
|
||||
if len(so1.storage) != len(so0.storage) {
|
||||
t.Errorf("Storage size mismatch: have %d, want %d", len(so1.storage), len(so0.storage))
|
||||
}
|
||||
for k, v := range so1.storage {
|
||||
if so0.storage[k] != v {
|
||||
t.Fatalf("Storage key %s mismatch: have %v, want %v", k, so0.storage[k], v)
|
||||
t.Errorf("Storage key %x mismatch: have %v, want %v", k, so0.storage[k], v)
|
||||
}
|
||||
}
|
||||
for k, v := range so0.storage {
|
||||
if so1.storage[k] != v {
|
||||
t.Fatalf("Storage key %s mismatch: have %v, want none.", k, v)
|
||||
t.Errorf("Storage key %x mismatch: have %v, want none.", k, v)
|
||||
}
|
||||
}
|
||||
|
||||
|
|
@ -218,7 +227,4 @@ func compareStateObjects(so0, so1 *StateObject, t *testing.T) {
|
|||
if so0.deleted != so1.deleted {
|
||||
t.Fatalf("Deleted mismatch: have %v, want %v", so0.deleted, so1.deleted)
|
||||
}
|
||||
if so0.dirty != so1.dirty {
|
||||
t.Fatalf("Dirty mismatch: have %v, want %v", so0.dirty, so1.dirty)
|
||||
}
|
||||
}
|
||||
|
|
|
|||
|
|
@ -18,8 +18,10 @@
|
|||
package state
|
||||
|
||||
import (
|
||||
"bytes"
|
||||
"fmt"
|
||||
"math/big"
|
||||
"time"
|
||||
|
||||
"github.com/ethereum/go-ethereum/common"
|
||||
"github.com/ethereum/go-ethereum/core/vm"
|
||||
|
|
@ -28,6 +30,7 @@ import (
|
|||
"github.com/ethereum/go-ethereum/logger/glog"
|
||||
"github.com/ethereum/go-ethereum/rlp"
|
||||
"github.com/ethereum/go-ethereum/trie"
|
||||
boom "github.com/tylertreat/BoomFilters"
|
||||
)
|
||||
|
||||
// The starting nonce determines the default nonce when new accounts are being
|
||||
|
|
@ -43,8 +46,19 @@ type StateDB struct {
|
|||
db ethdb.Database
|
||||
trie *trie.SecureTrie
|
||||
|
||||
stateObjects map[string]*StateObject
|
||||
// This map caches canon state accounts.
|
||||
all map[common.Address]Account
|
||||
|
||||
// This filter is used to quickly check if an account exists,
|
||||
// avoiding expensive database lookups.
|
||||
accountBloom *boom.ScalableBloomFilter
|
||||
accountBloomDirty bool
|
||||
|
||||
// This map holds 'live' objects, which will get modified while processing a state transition.
|
||||
stateObjects map[common.Address]*StateObject
|
||||
stateObjectsDirty map[common.Address]struct{}
|
||||
|
||||
// The refund counter, also used by state transitioning.
|
||||
refund *big.Int
|
||||
|
||||
thash, bhash common.Hash
|
||||
|
|
@ -62,7 +76,9 @@ func New(root common.Hash, db ethdb.Database) (*StateDB, error) {
|
|||
return &StateDB{
|
||||
db: db,
|
||||
trie: tr,
|
||||
stateObjects: make(map[string]*StateObject),
|
||||
all: make(map[common.Address]Account),
|
||||
stateObjects: make(map[common.Address]*StateObject),
|
||||
stateObjectsDirty: make(map[common.Address]struct{}),
|
||||
refund: new(big.Int),
|
||||
logs: make(map[common.Hash]vm.Logs),
|
||||
}, nil
|
||||
|
|
@ -74,16 +90,22 @@ func (self *StateDB) Reset(root common.Hash) error {
|
|||
var (
|
||||
err error
|
||||
tr = self.trie
|
||||
all = self.all
|
||||
)
|
||||
if self.trie.Hash() != root {
|
||||
// The root has changed, invalidate canon state.
|
||||
if tr, err = trie.NewSecure(root, self.db); err != nil {
|
||||
return err
|
||||
}
|
||||
all = make(map[common.Address]Account)
|
||||
}
|
||||
*self = StateDB{
|
||||
db: self.db,
|
||||
trie: tr,
|
||||
stateObjects: make(map[string]*StateObject),
|
||||
all: all,
|
||||
accountBloom: self.accountBloom,
|
||||
stateObjects: make(map[common.Address]*StateObject),
|
||||
stateObjectsDirty: make(map[common.Address]struct{}),
|
||||
refund: new(big.Int),
|
||||
logs: make(map[common.Hash]vm.Logs),
|
||||
}
|
||||
|
|
@ -137,7 +159,7 @@ func (self *StateDB) GetAccount(addr common.Address) vm.Account {
|
|||
func (self *StateDB) GetBalance(addr common.Address) *big.Int {
|
||||
stateObject := self.GetStateObject(addr)
|
||||
if stateObject != nil {
|
||||
return stateObject.balance
|
||||
return stateObject.Balance()
|
||||
}
|
||||
|
||||
return common.Big0
|
||||
|
|
@ -146,7 +168,7 @@ func (self *StateDB) GetBalance(addr common.Address) *big.Int {
|
|||
func (self *StateDB) GetNonce(addr common.Address) uint64 {
|
||||
stateObject := self.GetStateObject(addr)
|
||||
if stateObject != nil {
|
||||
return stateObject.nonce
|
||||
return stateObject.Nonce()
|
||||
}
|
||||
|
||||
return StartingNonce
|
||||
|
|
@ -155,18 +177,24 @@ func (self *StateDB) GetNonce(addr common.Address) uint64 {
|
|||
func (self *StateDB) GetCode(addr common.Address) []byte {
|
||||
stateObject := self.GetStateObject(addr)
|
||||
if stateObject != nil {
|
||||
return stateObject.code
|
||||
return stateObject.Code(self.db)
|
||||
}
|
||||
return nil
|
||||
}
|
||||
|
||||
return nil
|
||||
func (self *StateDB) GetCodeSize(addr common.Address) int {
|
||||
stateObject := self.GetStateObject(addr)
|
||||
if stateObject != nil {
|
||||
return stateObject.CodeSize(self.db)
|
||||
}
|
||||
return 0
|
||||
}
|
||||
|
||||
func (self *StateDB) GetState(a common.Address, b common.Hash) common.Hash {
|
||||
stateObject := self.GetStateObject(a)
|
||||
if stateObject != nil {
|
||||
return stateObject.GetState(b)
|
||||
return stateObject.GetState(self.db, b)
|
||||
}
|
||||
|
||||
return common.Hash{}
|
||||
}
|
||||
|
||||
|
|
@ -214,8 +242,7 @@ func (self *StateDB) Delete(addr common.Address) bool {
|
|||
stateObject := self.GetStateObject(addr)
|
||||
if stateObject != nil {
|
||||
stateObject.MarkForDeletion()
|
||||
stateObject.balance = new(big.Int)
|
||||
|
||||
stateObject.data.Balance = new(big.Int)
|
||||
return true
|
||||
}
|
||||
|
||||
|
|
@ -242,35 +269,49 @@ func (self *StateDB) DeleteStateObject(stateObject *StateObject) {
|
|||
|
||||
addr := stateObject.Address()
|
||||
self.trie.Delete(addr[:])
|
||||
//delete(self.stateObjects, addr.Str())
|
||||
}
|
||||
|
||||
// Retrieve a state object given my the address. Nil if not found
|
||||
// Retrieve a state object given my the address. Returns nil if not found.
|
||||
func (self *StateDB) GetStateObject(addr common.Address) (stateObject *StateObject) {
|
||||
stateObject = self.stateObjects[addr.Str()]
|
||||
if stateObject != nil {
|
||||
if stateObject.deleted {
|
||||
stateObject = nil
|
||||
}
|
||||
|
||||
return stateObject
|
||||
}
|
||||
|
||||
data := self.trie.Get(addr[:])
|
||||
if len(data) == 0 {
|
||||
// Prefer 'live' objects.
|
||||
if obj := self.stateObjects[addr]; obj != nil {
|
||||
if obj.deleted {
|
||||
return nil
|
||||
}
|
||||
stateObject, err := DecodeObject(addr, self.db, data)
|
||||
if err != nil {
|
||||
return obj
|
||||
}
|
||||
// Use cached account data from the canon state if possible.
|
||||
if data, ok := self.all[addr]; ok {
|
||||
obj := NewObject(addr, data, self.MarkStateObjectDirty)
|
||||
self.SetStateObject(obj)
|
||||
return obj
|
||||
}
|
||||
// Avoid surely non-existing accounts
|
||||
if !self.getAccountBloom().Test(self.trie.HashKey(addr[:])) {
|
||||
return nil
|
||||
}
|
||||
// Load the object from the database.
|
||||
enc := self.trie.Get(addr[:])
|
||||
if len(enc) == 0 {
|
||||
return nil
|
||||
}
|
||||
var data Account
|
||||
if err := rlp.DecodeBytes(enc, &data); err != nil {
|
||||
glog.Errorf("can't decode object at %x: %v", addr[:], err)
|
||||
return nil
|
||||
}
|
||||
self.SetStateObject(stateObject)
|
||||
return stateObject
|
||||
// Update the all cache. Content in DB always corresponds
|
||||
// to the current head state so this is ok to do here.
|
||||
// The object we just loaded has no storage trie and code yet.
|
||||
self.all[addr] = data
|
||||
// Insert into the live set.
|
||||
obj := NewObject(addr, data, self.MarkStateObjectDirty)
|
||||
self.SetStateObject(obj)
|
||||
return obj
|
||||
}
|
||||
|
||||
func (self *StateDB) SetStateObject(object *StateObject) {
|
||||
self.stateObjects[object.Address().Str()] = object
|
||||
self.stateObjects[object.Address()] = object
|
||||
}
|
||||
|
||||
// Retrieve a state object or create a new state object if nil
|
||||
|
|
@ -288,15 +329,22 @@ func (self *StateDB) newStateObject(addr common.Address) *StateObject {
|
|||
if glog.V(logger.Core) {
|
||||
glog.Infof("(+) %x\n", addr)
|
||||
}
|
||||
|
||||
stateObject := NewStateObject(addr, self.db)
|
||||
stateObject.SetNonce(StartingNonce)
|
||||
self.stateObjects[addr.Str()] = stateObject
|
||||
|
||||
return stateObject
|
||||
obj := NewObject(addr, Account{}, self.MarkStateObjectDirty)
|
||||
obj.SetNonce(StartingNonce) // sets the object to dirty
|
||||
self.stateObjects[addr] = obj
|
||||
if !self.getAccountBloom().TestAndAdd(self.trie.HashKey(addr[:])) {
|
||||
self.accountBloomDirty = true
|
||||
}
|
||||
return obj
|
||||
}
|
||||
|
||||
// Creates creates a new state object and takes ownership. This is different from "NewStateObject"
|
||||
// MarkStateObjectDirty adds the specified object to the dirty map to avoid costly
|
||||
// state object cache iteration to find a handful of modified ones.
|
||||
func (self *StateDB) MarkStateObjectDirty(addr common.Address) {
|
||||
self.stateObjectsDirty[addr] = struct{}{}
|
||||
}
|
||||
|
||||
// Creates creates a new state object and takes ownership.
|
||||
func (self *StateDB) CreateStateObject(addr common.Address) *StateObject {
|
||||
// Get previous (if any)
|
||||
so := self.GetStateObject(addr)
|
||||
|
|
@ -305,9 +353,8 @@ func (self *StateDB) CreateStateObject(addr common.Address) *StateObject {
|
|||
|
||||
// If it existed set the balance to the new account
|
||||
if so != nil {
|
||||
newSo.balance = so.balance
|
||||
newSo.data.Balance = so.data.Balance
|
||||
}
|
||||
|
||||
return newSo
|
||||
}
|
||||
|
||||
|
|
@ -320,29 +367,38 @@ func (self *StateDB) CreateAccount(addr common.Address) vm.Account {
|
|||
//
|
||||
|
||||
func (self *StateDB) Copy() *StateDB {
|
||||
// ignore error - we assume state-to-be-copied always exists
|
||||
state, _ := New(common.Hash{}, self.db)
|
||||
state.trie = self.trie
|
||||
for k, stateObject := range self.stateObjects {
|
||||
if stateObject.dirty {
|
||||
state.stateObjects[k] = stateObject.Copy()
|
||||
// Copy all the basic fields, initialize the memory ones
|
||||
state := &StateDB{
|
||||
db: self.db,
|
||||
trie: self.trie,
|
||||
all: self.all,
|
||||
accountBloom: self.accountBloom,
|
||||
accountBloomDirty: self.accountBloomDirty,
|
||||
stateObjects: make(map[common.Address]*StateObject, len(self.stateObjectsDirty)),
|
||||
stateObjectsDirty: make(map[common.Address]struct{}, len(self.stateObjectsDirty)),
|
||||
refund: new(big.Int).Set(self.refund),
|
||||
logs: make(map[common.Hash]vm.Logs, len(self.logs)),
|
||||
logSize: self.logSize,
|
||||
}
|
||||
// Copy the dirty states and logs
|
||||
for addr, _ := range self.stateObjectsDirty {
|
||||
state.stateObjects[addr] = self.stateObjects[addr].Copy(self.db, state.MarkStateObjectDirty)
|
||||
state.stateObjectsDirty[addr] = struct{}{}
|
||||
}
|
||||
|
||||
state.refund.Set(self.refund)
|
||||
|
||||
for hash, logs := range self.logs {
|
||||
state.logs[hash] = make(vm.Logs, len(logs))
|
||||
copy(state.logs[hash], logs)
|
||||
}
|
||||
state.logSize = self.logSize
|
||||
|
||||
return state
|
||||
}
|
||||
|
||||
func (self *StateDB) Set(state *StateDB) {
|
||||
self.trie = state.trie
|
||||
self.stateObjects = state.stateObjects
|
||||
self.stateObjectsDirty = state.stateObjectsDirty
|
||||
self.all = state.all
|
||||
self.accountBloom = state.accountBloom
|
||||
self.accountBloomDirty = state.accountBloomDirty
|
||||
|
||||
self.refund = state.refund
|
||||
self.logs = state.logs
|
||||
|
|
@ -358,16 +414,15 @@ func (self *StateDB) GetRefund() *big.Int {
|
|||
// goes into transaction receipts.
|
||||
func (s *StateDB) IntermediateRoot() common.Hash {
|
||||
s.refund = new(big.Int)
|
||||
for _, stateObject := range s.stateObjects {
|
||||
if stateObject.dirty {
|
||||
for addr, _ := range s.stateObjectsDirty {
|
||||
stateObject := s.stateObjects[addr]
|
||||
if stateObject.remove {
|
||||
s.DeleteStateObject(stateObject)
|
||||
} else {
|
||||
stateObject.Update()
|
||||
stateObject.UpdateRoot(s.db)
|
||||
s.UpdateStateObject(stateObject)
|
||||
}
|
||||
}
|
||||
}
|
||||
return s.trie.Hash()
|
||||
}
|
||||
|
||||
|
|
@ -380,15 +435,15 @@ func (s *StateDB) DeleteSuicides() {
|
|||
// Reset refund so that any used-gas calculations can use
|
||||
// this method.
|
||||
s.refund = new(big.Int)
|
||||
for _, stateObject := range s.stateObjects {
|
||||
if stateObject.dirty {
|
||||
for addr, _ := range s.stateObjectsDirty {
|
||||
stateObject := s.stateObjects[addr]
|
||||
|
||||
// If the object has been removed by a suicide
|
||||
// flag the object as deleted.
|
||||
if stateObject.remove {
|
||||
stateObject.deleted = true
|
||||
}
|
||||
stateObject.dirty = false
|
||||
}
|
||||
delete(s.stateObjectsDirty, addr)
|
||||
}
|
||||
}
|
||||
|
||||
|
|
@ -407,46 +462,105 @@ func (s *StateDB) CommitBatch() (root common.Hash, batch ethdb.Batch) {
|
|||
return root, batch
|
||||
}
|
||||
|
||||
func (s *StateDB) commit(db trie.DatabaseWriter) (common.Hash, error) {
|
||||
func (s *StateDB) commit(dbw trie.DatabaseWriter) (root common.Hash, err error) {
|
||||
s.refund = new(big.Int)
|
||||
defer func() {
|
||||
if err != nil {
|
||||
// Committing failed, any updates to the canon state are invalid.
|
||||
s.all = make(map[common.Address]Account)
|
||||
}
|
||||
}()
|
||||
|
||||
for _, stateObject := range s.stateObjects {
|
||||
// Commit objects to the trie.
|
||||
for addr, stateObject := range s.stateObjects {
|
||||
if stateObject.remove {
|
||||
// If the object has been removed, don't bother syncing it
|
||||
// and just mark it for deletion in the trie.
|
||||
s.DeleteStateObject(stateObject)
|
||||
} else {
|
||||
delete(s.all, addr)
|
||||
} else if _, ok := s.stateObjectsDirty[addr]; ok {
|
||||
// Write any contract code associated with the state object
|
||||
if len(stateObject.code) > 0 {
|
||||
if err := db.Put(stateObject.codeHash, stateObject.code); err != nil {
|
||||
if stateObject.code != nil && stateObject.dirtyCode {
|
||||
if err := dbw.Put(stateObject.CodeHash(), stateObject.code); err != nil {
|
||||
return common.Hash{}, err
|
||||
}
|
||||
stateObject.dirtyCode = false
|
||||
}
|
||||
// Write any storage changes in the state object to its trie.
|
||||
stateObject.Update()
|
||||
|
||||
// Commit the trie of the object to the batch.
|
||||
// This updates the trie root internally, so
|
||||
// getting the root hash of the storage trie
|
||||
// through UpdateStateObject is fast.
|
||||
if _, err := stateObject.trie.CommitTo(db); err != nil {
|
||||
// Write any storage changes in the state object to its storage trie.
|
||||
if err := stateObject.CommitTrie(s.db, dbw); err != nil {
|
||||
return common.Hash{}, err
|
||||
}
|
||||
// Update the object in the account trie.
|
||||
// Update the object in the main account trie.
|
||||
s.UpdateStateObject(stateObject)
|
||||
s.all[addr] = stateObject.data
|
||||
}
|
||||
stateObject.dirty = false
|
||||
delete(s.stateObjectsDirty, addr)
|
||||
}
|
||||
return s.trie.CommitTo(db)
|
||||
// Write account bloom and trie changes
|
||||
if s.accountBloomDirty {
|
||||
if err := s.writeAccountsBloom(dbw); err != nil {
|
||||
return common.Hash{}, err
|
||||
}
|
||||
s.accountBloomDirty = false
|
||||
}
|
||||
return s.trie.CommitTo(dbw)
|
||||
}
|
||||
|
||||
func (self *StateDB) Refunds() *big.Int {
|
||||
return self.refund
|
||||
}
|
||||
|
||||
// Debug stuff
|
||||
func (self *StateDB) CreateOutputForDiff() {
|
||||
for _, stateObject := range self.stateObjects {
|
||||
stateObject.CreateOutputForDiff()
|
||||
var accountBloomKey = []byte("accounts-bloom")
|
||||
|
||||
// getAccountBloom returns the account existential bloom filter, lazy loading it
|
||||
// from disk if needed.
|
||||
func (self *StateDB) getAccountBloom() *boom.ScalableBloomFilter {
|
||||
// Short circuit lookup if already loaded from the database
|
||||
if self.accountBloom != nil {
|
||||
return self.accountBloom
|
||||
}
|
||||
// If the filter's not yet cached, load it from the database
|
||||
bloom, _ := self.db.Get(accountBloomKey)
|
||||
if len(bloom) > 0 {
|
||||
filter := new(boom.ScalableBloomFilter)
|
||||
if _, err := filter.ReadFrom(bytes.NewReader(bloom)); err != nil {
|
||||
return nil
|
||||
}
|
||||
self.accountBloom = filter
|
||||
return self.accountBloom
|
||||
}
|
||||
// If the database does not yet contain a bloom filter, generate a new one
|
||||
glog.V(logger.Info).Infof("generating account bloom, please wait...")
|
||||
|
||||
filter := boom.NewDefaultScalableBloomFilter(0.01)
|
||||
start, pref := time.Now(), byte(0x00)
|
||||
|
||||
it := self.trie.Iterator()
|
||||
for it.Next() {
|
||||
if pref != it.Key[0] {
|
||||
pref = it.Key[0]
|
||||
glog.V(logger.Info).Infof("generating account bloom, at %.2f%%, please wait...", float64(pref)/2.56)
|
||||
}
|
||||
filter.Add(it.Key)
|
||||
}
|
||||
glog.V(logger.Info).Infof("account bloom generated in %v", time.Since(start))
|
||||
|
||||
self.accountBloom = filter
|
||||
if err := self.writeAccountsBloom(self.db); err != nil {
|
||||
glog.V(logger.Error).Infof("failed to write initial account bloom filter: %v", err)
|
||||
return nil
|
||||
}
|
||||
return self.accountBloom
|
||||
}
|
||||
|
||||
// writeAccountsBloom serializes the account bloom filter used for existence checks.
|
||||
func (self *StateDB) writeAccountsBloom(db trie.DatabaseWriter) error {
|
||||
if self.accountBloom == nil {
|
||||
return nil
|
||||
}
|
||||
buffer := new(bytes.Buffer)
|
||||
if _, err := self.accountBloom.WriteTo(buffer); err != nil {
|
||||
return err
|
||||
}
|
||||
return db.Put(accountBloomKey, buffer.Bytes())
|
||||
}
|
||||
|
|
|
|||
|
|
@ -17,6 +17,7 @@
|
|||
package state
|
||||
|
||||
import (
|
||||
"bytes"
|
||||
"math/big"
|
||||
"testing"
|
||||
|
||||
|
|
@ -47,6 +48,9 @@ func TestUpdateLeaks(t *testing.T) {
|
|||
// Ensure that no data was leaked into the database
|
||||
for _, key := range db.Keys() {
|
||||
value, _ := db.Get(key)
|
||||
if bytes.Equal(key, []byte("accounts-bloom")) {
|
||||
continue // This is written on first read
|
||||
}
|
||||
t.Errorf("State leaked into database: %x -> %x", key, value)
|
||||
}
|
||||
}
|
||||
|
|
|
|||
|
|
@ -94,6 +94,7 @@ type Database interface {
|
|||
GetNonce(common.Address) uint64
|
||||
SetNonce(common.Address, uint64)
|
||||
|
||||
GetCodeSize(common.Address) int
|
||||
GetCode(common.Address) []byte
|
||||
SetCode(common.Address, []byte)
|
||||
|
||||
|
|
|
|||
|
|
@ -363,7 +363,7 @@ func opCalldataCopy(instr instruction, pc *uint64, env Environment, contract *Co
|
|||
|
||||
func opExtCodeSize(instr instruction, pc *uint64, env Environment, contract *Contract, memory *Memory, stack *Stack) {
|
||||
addr := common.BigToAddress(stack.pop())
|
||||
l := big.NewInt(int64(len(env.Db().GetCode(addr))))
|
||||
l := big.NewInt(int64(env.Db().GetCodeSize(addr)))
|
||||
stack.push(l)
|
||||
}
|
||||
|
||||
|
|
|
|||
|
|
@ -288,14 +288,14 @@ func NewPublicDebugAPI(eth *Ethereum) *PublicDebugAPI {
|
|||
}
|
||||
|
||||
// DumpBlock retrieves the entire state of the database at a given block.
|
||||
func (api *PublicDebugAPI) DumpBlock(number uint64) (state.World, error) {
|
||||
func (api *PublicDebugAPI) DumpBlock(number uint64) (state.Dump, error) {
|
||||
block := api.eth.BlockChain().GetBlockByNumber(number)
|
||||
if block == nil {
|
||||
return state.World{}, fmt.Errorf("block #%d not found", number)
|
||||
return state.Dump{}, fmt.Errorf("block #%d not found", number)
|
||||
}
|
||||
stateDb, err := state.New(block.Root(), api.eth.ChainDb())
|
||||
if err != nil {
|
||||
return state.World{}, err
|
||||
return state.Dump{}, err
|
||||
}
|
||||
return stateDb.RawDump(), nil
|
||||
}
|
||||
|
|
|
|||
|
|
@ -1280,8 +1280,8 @@ func (api *PrivateDebugAPI) ChaindbProperty(property string) (string, error) {
|
|||
}
|
||||
|
||||
// SetHead rewinds the head of the blockchain to a previous block.
|
||||
func (api *PrivateDebugAPI) SetHead(number uint64) {
|
||||
api.b.SetHead(number)
|
||||
func (api *PrivateDebugAPI) SetHead(number rpc.HexNumber) {
|
||||
api.b.SetHead(uint64(number.Int64()))
|
||||
}
|
||||
|
||||
// PublicNetAPI offers network related RPC methods
|
||||
|
|
|
|||
|
|
@ -62,7 +62,7 @@ func makeTestState() (common.Hash, ethdb.Database) {
|
|||
}
|
||||
so.AddBalance(big.NewInt(int64(i)))
|
||||
so.SetCode([]byte{i, i, i})
|
||||
so.Update()
|
||||
so.UpdateRoot(sdb)
|
||||
st.UpdateStateObject(so)
|
||||
}
|
||||
root, _ := st.Commit()
|
||||
|
|
|
|||
|
|
@ -97,7 +97,7 @@ func benchStateTest(ruleSet RuleSet, test VmTest, env map[string]string, b *test
|
|||
db, _ := ethdb.NewMemDatabase()
|
||||
statedb, _ := state.New(common.Hash{}, db)
|
||||
for addr, account := range test.Pre {
|
||||
obj := StateObjectFromAccount(db, addr, account)
|
||||
obj := StateObjectFromAccount(db, addr, account, statedb.MarkStateObjectDirty)
|
||||
statedb.SetStateObject(obj)
|
||||
for a, v := range account.Storage {
|
||||
obj.SetState(common.HexToHash(a), common.HexToHash(v))
|
||||
|
|
@ -136,7 +136,7 @@ func runStateTest(ruleSet RuleSet, test VmTest) error {
|
|||
db, _ := ethdb.NewMemDatabase()
|
||||
statedb, _ := state.New(common.Hash{}, db)
|
||||
for addr, account := range test.Pre {
|
||||
obj := StateObjectFromAccount(db, addr, account)
|
||||
obj := StateObjectFromAccount(db, addr, account, statedb.MarkStateObjectDirty)
|
||||
statedb.SetStateObject(obj)
|
||||
for a, v := range account.Storage {
|
||||
obj.SetState(common.HexToHash(a), common.HexToHash(v))
|
||||
|
|
@ -187,7 +187,7 @@ func runStateTest(ruleSet RuleSet, test VmTest) error {
|
|||
}
|
||||
|
||||
for addr, value := range account.Storage {
|
||||
v := obj.GetState(common.HexToHash(addr))
|
||||
v := statedb.GetState(obj.Address(), common.HexToHash(addr))
|
||||
vexp := common.HexToHash(value)
|
||||
|
||||
if v != vexp {
|
||||
|
|
|
|||
|
|
@ -103,16 +103,17 @@ func (self Log) Topics() [][]byte {
|
|||
return t
|
||||
}
|
||||
|
||||
func StateObjectFromAccount(db ethdb.Database, addr string, account Account) *state.StateObject {
|
||||
obj := state.NewStateObject(common.HexToAddress(addr), db)
|
||||
obj.SetBalance(common.Big(account.Balance))
|
||||
|
||||
func StateObjectFromAccount(db ethdb.Database, addr string, account Account, onDirty func(common.Address)) *state.StateObject {
|
||||
if common.IsHex(account.Code) {
|
||||
account.Code = account.Code[2:]
|
||||
}
|
||||
obj.SetCode(common.Hex2Bytes(account.Code))
|
||||
obj.SetNonce(common.Big(account.Nonce).Uint64())
|
||||
|
||||
code := common.Hex2Bytes(account.Code)
|
||||
obj := state.NewObject(common.HexToAddress(addr), state.Account{
|
||||
Balance: common.Big(account.Balance),
|
||||
CodeHash: crypto.Keccak256(code),
|
||||
Nonce: common.Big(account.Nonce).Uint64(),
|
||||
}, onDirty)
|
||||
obj.SetCode(code)
|
||||
return obj
|
||||
}
|
||||
|
||||
|
|
|
|||
|
|
@ -103,7 +103,7 @@ func benchVmTest(test VmTest, env map[string]string, b *testing.B) {
|
|||
db, _ := ethdb.NewMemDatabase()
|
||||
statedb, _ := state.New(common.Hash{}, db)
|
||||
for addr, account := range test.Pre {
|
||||
obj := StateObjectFromAccount(db, addr, account)
|
||||
obj := StateObjectFromAccount(db, addr, account, statedb.MarkStateObjectDirty)
|
||||
statedb.SetStateObject(obj)
|
||||
for a, v := range account.Storage {
|
||||
obj.SetState(common.HexToHash(a), common.HexToHash(v))
|
||||
|
|
@ -154,7 +154,7 @@ func runVmTest(test VmTest) error {
|
|||
db, _ := ethdb.NewMemDatabase()
|
||||
statedb, _ := state.New(common.Hash{}, db)
|
||||
for addr, account := range test.Pre {
|
||||
obj := StateObjectFromAccount(db, addr, account)
|
||||
obj := StateObjectFromAccount(db, addr, account, statedb.MarkStateObjectDirty)
|
||||
statedb.SetStateObject(obj)
|
||||
for a, v := range account.Storage {
|
||||
obj.SetState(common.HexToHash(a), common.HexToHash(v))
|
||||
|
|
@ -205,11 +205,9 @@ func runVmTest(test VmTest) error {
|
|||
if obj == nil {
|
||||
continue
|
||||
}
|
||||
|
||||
for addr, value := range account.Storage {
|
||||
v := obj.GetState(common.HexToHash(addr))
|
||||
v := statedb.GetState(obj.Address(), common.HexToHash(addr))
|
||||
vexp := common.HexToHash(value)
|
||||
|
||||
if v != vexp {
|
||||
return fmt.Errorf("(%x: %s) storage failed. Expected %x, got %x (%v %v)\n", obj.Address().Bytes()[0:4], addr, vexp, v, vexp.Big(), v.Big())
|
||||
}
|
||||
|
|
|
|||
|
|
@ -46,7 +46,7 @@ type SecureTrie struct {
|
|||
secKeyCache map[string][]byte
|
||||
}
|
||||
|
||||
// NewSecure creates a trie with an existing root node from db.
|
||||
// NewSecure creFGetates a trie with an existing root node from db.
|
||||
//
|
||||
// If root is the zero hash or the sha3 hash of an empty string, the
|
||||
// trie is initially empty. Otherwise, New will panic if db is nil
|
||||
|
|
@ -138,6 +138,11 @@ func (t *SecureTrie) GetKey(shaKey []byte) []byte {
|
|||
return key
|
||||
}
|
||||
|
||||
// HashKey returns the sha3 image of a key.
|
||||
func (t *SecureTrie) HashKey(key []byte) []byte {
|
||||
return common.CopyBytes(t.hashKey(key))
|
||||
}
|
||||
|
||||
// Commit writes all nodes and the secure hash pre-images to the trie's database.
|
||||
// Nodes are stored with their sha3 hash as the key.
|
||||
//
|
||||
|
|
|
|||
Loading…
Reference in a new issue