You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
261 lines
5.8 KiB
261 lines
5.8 KiB
package merkle
|
|
|
|
import (
|
|
"bytes"
|
|
"fmt"
|
|
|
|
. "github.com/tendermint/tendermint/binary"
|
|
. "github.com/tendermint/tendermint/common"
|
|
"github.com/tendermint/tendermint/db"
|
|
|
|
"runtime"
|
|
"testing"
|
|
)
|
|
|
|
func init() {
|
|
// TODO: seed rand?
|
|
}
|
|
|
|
func randstr(length int) string {
|
|
return RandStr(length)
|
|
}
|
|
|
|
// Convenience for a new node
|
|
func N(l, r interface{}) *IAVLNode {
|
|
var left, right *IAVLNode
|
|
if _, ok := l.(*IAVLNode); ok {
|
|
left = l.(*IAVLNode)
|
|
} else {
|
|
left = NewIAVLNode(l, "")
|
|
}
|
|
if _, ok := r.(*IAVLNode); ok {
|
|
right = r.(*IAVLNode)
|
|
} else {
|
|
right = NewIAVLNode(r, "")
|
|
}
|
|
|
|
n := &IAVLNode{
|
|
key: right.lmd(nil).key,
|
|
value: "",
|
|
leftNode: left,
|
|
rightNode: right,
|
|
}
|
|
n.calcHeightAndSize(nil)
|
|
return n
|
|
}
|
|
|
|
// Setup a deep node
|
|
func T(n *IAVLNode) *IAVLTree {
|
|
t := NewIAVLTree(BasicCodec, BasicCodec, 0, nil)
|
|
n.hashWithCount(t)
|
|
t.root = n
|
|
return t
|
|
}
|
|
|
|
// Convenience for simple printing of keys & tree structure
|
|
func P(n *IAVLNode) string {
|
|
if n.height == 0 {
|
|
return fmt.Sprintf("%v", n.key)
|
|
} else {
|
|
return fmt.Sprintf("(%v %v)", P(n.leftNode), P(n.rightNode))
|
|
}
|
|
}
|
|
|
|
func TestUnit(t *testing.T) {
|
|
|
|
expectHash := func(tree *IAVLTree, hashCount uint64) {
|
|
// ensure number of new hash calculations is as expected.
|
|
hash, count := tree.HashWithCount()
|
|
if count != hashCount {
|
|
t.Fatalf("Expected %v new hashes, got %v", hashCount, count)
|
|
}
|
|
// nuke hashes and reconstruct hash, ensure it's the same.
|
|
tree.root.traverse(tree, func(node *IAVLNode) bool {
|
|
node.hash = nil
|
|
return false
|
|
})
|
|
// ensure that the new hash after nuking is the same as the old.
|
|
newHash, _ := tree.HashWithCount()
|
|
if bytes.Compare(hash, newHash) != 0 {
|
|
t.Fatalf("Expected hash %v but got %v after nuking", hash, newHash)
|
|
}
|
|
}
|
|
|
|
expectSet := func(tree *IAVLTree, i int, repr string, hashCount uint64) {
|
|
origNode := tree.root
|
|
updated := tree.Set(i, "")
|
|
// ensure node was added & structure is as expected.
|
|
if updated == true || P(tree.root) != repr {
|
|
t.Fatalf("Adding %v to %v:\nExpected %v\nUnexpectedly got %v updated:%v",
|
|
i, P(origNode), repr, P(tree.root), updated)
|
|
}
|
|
// ensure hash calculation requirements
|
|
expectHash(tree, hashCount)
|
|
tree.root = origNode
|
|
}
|
|
|
|
expectRemove := func(tree *IAVLTree, i int, repr string, hashCount uint64) {
|
|
origNode := tree.root
|
|
value, removed := tree.Remove(i)
|
|
// ensure node was added & structure is as expected.
|
|
if value != "" || !removed || P(tree.root) != repr {
|
|
t.Fatalf("Removing %v from %v:\nExpected %v\nUnexpectedly got %v value:%v removed:%v",
|
|
i, P(origNode), repr, P(tree.root), value, removed)
|
|
}
|
|
// ensure hash calculation requirements
|
|
expectHash(tree, hashCount)
|
|
tree.root = origNode
|
|
}
|
|
|
|
//////// Test Set cases:
|
|
|
|
// Case 1:
|
|
t1 := T(N(4, 20))
|
|
|
|
expectSet(t1, 8, "((4 8) 20)", 3)
|
|
expectSet(t1, 25, "(4 (20 25))", 3)
|
|
|
|
t2 := T(N(4, N(20, 25)))
|
|
|
|
expectSet(t2, 8, "((4 8) (20 25))", 3)
|
|
expectSet(t2, 30, "((4 20) (25 30))", 4)
|
|
|
|
t3 := T(N(N(1, 2), 6))
|
|
|
|
expectSet(t3, 4, "((1 2) (4 6))", 4)
|
|
expectSet(t3, 8, "((1 2) (6 8))", 3)
|
|
|
|
t4 := T(N(N(1, 2), N(N(5, 6), N(7, 9))))
|
|
|
|
expectSet(t4, 8, "(((1 2) (5 6)) ((7 8) 9))", 5)
|
|
expectSet(t4, 10, "(((1 2) (5 6)) (7 (9 10)))", 5)
|
|
|
|
//////// Test Remove cases:
|
|
|
|
t10 := T(N(N(1, 2), 3))
|
|
|
|
expectRemove(t10, 2, "(1 3)", 1)
|
|
expectRemove(t10, 3, "(1 2)", 0)
|
|
|
|
t11 := T(N(N(N(1, 2), 3), N(4, 5)))
|
|
|
|
expectRemove(t11, 4, "((1 2) (3 5))", 2)
|
|
expectRemove(t11, 3, "((1 2) (4 5))", 1)
|
|
|
|
}
|
|
|
|
func TestIntegration(t *testing.T) {
|
|
|
|
type record struct {
|
|
key string
|
|
value string
|
|
}
|
|
|
|
records := make([]*record, 400)
|
|
var tree *IAVLTree = NewIAVLTree(BasicCodec, BasicCodec, 0, nil)
|
|
|
|
randomRecord := func() *record {
|
|
return &record{randstr(20), randstr(20)}
|
|
}
|
|
|
|
for i := range records {
|
|
r := randomRecord()
|
|
records[i] = r
|
|
//t.Log("New record", r)
|
|
//PrintIAVLNode(tree.root)
|
|
updated := tree.Set(r.key, "")
|
|
if updated {
|
|
t.Error("should have not been updated")
|
|
}
|
|
updated = tree.Set(r.key, r.value)
|
|
if !updated {
|
|
t.Error("should have been updated")
|
|
}
|
|
if tree.Size() != uint64(i+1) {
|
|
t.Error("size was wrong", tree.Size(), i+1)
|
|
}
|
|
}
|
|
|
|
for _, r := range records {
|
|
if has := tree.Has(r.key); !has {
|
|
t.Error("Missing key", r.key)
|
|
}
|
|
if has := tree.Has(randstr(12)); has {
|
|
t.Error("Table has extra key")
|
|
}
|
|
if _, val := tree.Get(r.key); val.(string) != r.value {
|
|
t.Error("wrong value")
|
|
}
|
|
}
|
|
|
|
for i, x := range records {
|
|
if val, removed := tree.Remove(x.key); !removed {
|
|
t.Error("Wasn't removed")
|
|
} else if val != x.value {
|
|
t.Error("Wrong value")
|
|
}
|
|
for _, r := range records[i+1:] {
|
|
if has := tree.Has(r.key); !has {
|
|
t.Error("Missing key", r.key)
|
|
}
|
|
if has := tree.Has(randstr(12)); has {
|
|
t.Error("Table has extra key")
|
|
}
|
|
_, val := tree.Get(r.key)
|
|
if val != r.value {
|
|
t.Error("wrong value")
|
|
}
|
|
}
|
|
if tree.Size() != uint64(len(records)-(i+1)) {
|
|
t.Error("size was wrong", tree.Size(), (len(records) - (i + 1)))
|
|
}
|
|
}
|
|
}
|
|
|
|
func TestPersistence(t *testing.T) {
|
|
db := db.NewMemDB()
|
|
|
|
// Create some random key value pairs
|
|
records := make(map[string]string)
|
|
for i := 0; i < 10000; i++ {
|
|
records[randstr(20)] = randstr(20)
|
|
}
|
|
|
|
// Construct some tree and save it
|
|
t1 := NewIAVLTree(BasicCodec, BasicCodec, 0, db)
|
|
for key, value := range records {
|
|
t1.Set(key, value)
|
|
}
|
|
t1.Save()
|
|
|
|
hash, _ := t1.HashWithCount()
|
|
|
|
// Load a tree
|
|
t2 := LoadIAVLTreeFromHash(BasicCodec, BasicCodec, 0, db, hash)
|
|
for key, value := range records {
|
|
_, t2value := t2.Get(key)
|
|
if t2value != value {
|
|
t.Fatalf("Invalid value. Expected %v, got %v", value, t2value)
|
|
}
|
|
}
|
|
}
|
|
|
|
func BenchmarkImmutableAvlTree(b *testing.B) {
|
|
b.StopTimer()
|
|
|
|
t := NewIAVLTree(BasicCodec, BasicCodec, 0, nil)
|
|
for i := 0; i < 1000000; i++ {
|
|
t.Set(RandUInt64(), "")
|
|
}
|
|
|
|
fmt.Println("ok, starting")
|
|
|
|
runtime.GC()
|
|
|
|
b.StartTimer()
|
|
for i := 0; i < b.N; i++ {
|
|
ri := RandUInt64()
|
|
t.Set(ri, "")
|
|
t.Remove(ri)
|
|
}
|
|
}
|