erigon-pulse/core/state/state_test.go

368 lines
12 KiB
Go
Raw Normal View History

2015-07-07 00:54:22 +00:00
// Copyright 2014 The go-ethereum Authors
// This file is part of the go-ethereum library.
2015-07-07 00:54:22 +00:00
//
// The go-ethereum library is free software: you can redistribute it and/or modify
2015-07-07 00:54:22 +00:00
// it under the terms of the GNU Lesser General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// The go-ethereum library is distributed in the hope that it will be useful,
2015-07-07 00:54:22 +00:00
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
2015-07-07 00:54:22 +00:00
// GNU Lesser General Public License for more details.
//
// You should have received a copy of the GNU Lesser General Public License
// along with the go-ethereum library. If not, see <http://www.gnu.org/licenses/>.
2015-07-07 00:54:22 +00:00
2014-10-31 13:43:14 +00:00
package state
import (
"bytes"
2015-02-20 10:37:33 +00:00
"math/big"
2015-03-19 09:57:02 +00:00
"testing"
2015-02-20 10:37:33 +00:00
"context"
"github.com/ledgerwatch/turbo-geth/common"
"github.com/ledgerwatch/turbo-geth/core/types/accounts"
"github.com/ledgerwatch/turbo-geth/crypto"
"github.com/ledgerwatch/turbo-geth/ethdb"
checker "gopkg.in/check.v1"
)
type StateSuite struct {
db ethdb.Database
state *IntraBlockState
tds *TrieDbState
}
var _ = checker.Suite(&StateSuite{})
2015-03-16 16:09:08 +00:00
var toAddr = common.BytesToAddress
func (s *StateSuite) TestDump(c *checker.C) {
2015-02-20 10:37:33 +00:00
// generate a few entries
2015-03-16 16:09:08 +00:00
obj1 := s.state.GetOrNewStateObject(toAddr([]byte{0x01}))
2015-02-20 10:37:33 +00:00
obj1.AddBalance(big.NewInt(22))
2015-03-16 16:09:08 +00:00
obj2 := s.state.GetOrNewStateObject(toAddr([]byte{0x01, 0x02}))
obj2.SetCode(crypto.Keccak256Hash([]byte{3, 3, 3, 3, 3, 3, 3}), []byte{3, 3, 3, 3, 3, 3, 3})
2015-03-16 16:09:08 +00:00
obj3 := s.state.GetOrNewStateObject(toAddr([]byte{0x02}))
2015-02-20 10:37:33 +00:00
obj3.SetBalance(big.NewInt(44))
// write some of them to the trie
ctx := context.TODO()
err := s.tds.TrieStateWriter().UpdateAccountData(ctx, obj1.address, &obj1.data, new(accounts.Account))
c.Check(err, checker.IsNil)
err = s.tds.TrieStateWriter().UpdateAccountData(ctx, obj2.address, &obj2.data, new(accounts.Account))
c.Check(err, checker.IsNil)
err = s.state.FinalizeTx(ctx, s.tds.TrieStateWriter())
c.Check(err, checker.IsNil)
_, err = s.tds.ComputeTrieRoots()
c.Check(err, checker.IsNil)
s.tds.SetBlockNr(1)
err = s.state.CommitBlock(ctx, s.tds.DbStateWriter())
c.Check(err, checker.IsNil)
2015-02-20 10:37:33 +00:00
// check that dump contains the state objects that are in trie
got := string(NewDumper(s.db, 1).DefaultDump())
2015-02-20 10:37:33 +00:00
want := `{
"root": "71edff0130dd2385947095001c73d9e28d862fc286fca2b922ca6f6f3cddfdd2",
2015-02-20 10:37:33 +00:00
"accounts": {
"0x0000000000000000000000000000000000000001": {
2015-02-20 10:37:33 +00:00
"balance": "22",
"nonce": 0,
"root": "56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
"codeHash": "c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470"
2015-02-20 10:37:33 +00:00
},
"0x0000000000000000000000000000000000000002": {
"balance": "44",
"nonce": 0,
"root": "56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
"codeHash": "c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470"
},
"0x0000000000000000000000000000000000000102": {
2015-02-20 10:37:33 +00:00
"balance": "0",
"nonce": 0,
"root": "56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
"codeHash": "87874902497a5bb968da31a2998d8f22e949d1ef6214bcdedd8bae24cca4b9e3",
"code": "03030303030303"
2015-02-20 10:37:33 +00:00
}
}
}`
if got != want {
c.Errorf("dump mismatch:\ngot: %s\nwant: %s\n", got, want)
}
}
func (s *StateSuite) SetUpTest(c *checker.C) {
s.db = ethdb.NewMemDatabase()
s.tds = NewTrieDbState(common.Hash{}, s.db, 0)
s.state = New(s.tds)
s.tds.StartNewBuffer()
}
func (s *StateSuite) TestNull(c *checker.C) {
2015-03-21 13:47:50 +00:00
address := common.HexToAddress("0x823140710bf13990e4500136726d8b55")
s.state.CreateAccount(address, true)
2015-03-19 09:57:02 +00:00
//value := common.FromHex("0x823140710bf13990e4500136726d8b55")
2015-06-17 10:53:22 +00:00
var value common.Hash
s.state.SetState(address, common.Hash{}, value)
ctx := context.TODO()
err := s.state.FinalizeTx(ctx, s.tds.TrieStateWriter())
c.Check(err, checker.IsNil)
s.tds.SetBlockNr(1)
err = s.state.CommitBlock(ctx, s.tds.DbStateWriter())
c.Check(err, checker.IsNil)
if value := s.state.GetCommittedState(address, common.Hash{}); value != (common.Hash{}) {
c.Errorf("expected empty hash. got %x", value)
2015-06-17 10:53:22 +00:00
}
2015-03-19 09:57:02 +00:00
}
func (s *StateSuite) TestSnapshot(c *checker.C) {
2015-03-16 16:09:08 +00:00
stateobjaddr := toAddr([]byte("aa"))
2015-06-17 10:53:22 +00:00
var storageaddr common.Hash
data1 := common.BytesToHash([]byte{42})
data2 := common.BytesToHash([]byte{43})
// snapshot the genesis state
genesis := s.state.Snapshot()
2016-03-15 18:08:18 +00:00
// set initial state object value
2015-06-17 10:53:22 +00:00
s.state.SetState(stateobjaddr, storageaddr, data1)
snapshot := s.state.Snapshot()
// set a new state object value, revert it and ensure correct content
2015-06-17 10:53:22 +00:00
s.state.SetState(stateobjaddr, storageaddr, data2)
s.state.RevertToSnapshot(snapshot)
c.Assert(s.state.GetState(stateobjaddr, storageaddr), checker.DeepEquals, data1)
c.Assert(s.state.GetCommittedState(stateobjaddr, storageaddr), checker.DeepEquals, common.Hash{})
// revert up to the genesis state and ensure correct content
s.state.RevertToSnapshot(genesis)
c.Assert(s.state.GetState(stateobjaddr, storageaddr), checker.DeepEquals, common.Hash{})
c.Assert(s.state.GetCommittedState(stateobjaddr, storageaddr), checker.DeepEquals, common.Hash{})
}
func (s *StateSuite) TestSnapshotEmpty(c *checker.C) {
s.state.RevertToSnapshot(s.state.Snapshot())
}
// use testing instead of checker because checker does not support
// printing/logging in tests (-check.vv does not work)
func TestSnapshot2(t *testing.T) {
db := ethdb.NewMemDatabase()
ctx := context.TODO()
tds := NewTrieDbState(common.Hash{}, db, 0)
state := New(tds)
tds.StartNewBuffer()
stateobjaddr0 := toAddr([]byte("so0"))
stateobjaddr1 := toAddr([]byte("so1"))
var storageaddr common.Hash
data0 := common.BytesToHash([]byte{17})
data1 := common.BytesToHash([]byte{18})
state.SetState(stateobjaddr0, storageaddr, data0)
state.SetState(stateobjaddr1, storageaddr, data1)
// db, trie are already non-empty values
so0 := state.getStateObject(stateobjaddr0)
so0.SetBalance(big.NewInt(42))
so0.SetNonce(43)
so0.SetCode(crypto.Keccak256Hash([]byte{'c', 'a', 'f', 'e'}), []byte{'c', 'a', 'f', 'e'})
so0.suicided = false
so0.deleted = false
state.setStateObject(so0)
err := state.FinalizeTx(ctx, tds.TrieStateWriter())
if err != nil {
t.Fatal("error while finalizing transaction", err)
}
_, err = tds.ComputeTrieRoots()
if err != nil {
t.Fatal("error while computing trie roots", err)
}
tds.SetBlockNr(1)
err = state.CommitBlock(ctx, tds.DbStateWriter())
if err != nil {
t.Fatal("error while committing state", err)
}
// and one with deleted == true
so1 := state.getStateObject(stateobjaddr1)
so1.SetBalance(big.NewInt(52))
so1.SetNonce(53)
so1.SetCode(crypto.Keccak256Hash([]byte{'c', 'a', 'f', 'e', '2'}), []byte{'c', 'a', 'f', 'e', '2'})
so1.suicided = true
so1.deleted = true
state.setStateObject(so1)
so1 = state.getStateObject(stateobjaddr1)
if so1 != nil {
t.Fatalf("deleted object not nil when getting")
}
snapshot := state.Snapshot()
state.RevertToSnapshot(snapshot)
so0Restored := state.getStateObject(stateobjaddr0)
// Update lazily-loaded values before comparing.
so0Restored.GetState(storageaddr)
so0Restored.Code()
// 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: %+v", so1Restored)
}
}
func compareStateObjects(so0, so1 *stateObject, t *testing.T) {
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.Nonce() != so1.Nonce() {
t.Fatalf("Nonce mismatch: have %v, want %v", so0.Nonce(), so1.Nonce())
}
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.dirtyStorage) != len(so0.dirtyStorage) {
t.Errorf("Dirty storage size mismatch: have %d, want %d", len(so1.dirtyStorage), len(so0.dirtyStorage))
}
for k, v := range so1.dirtyStorage {
if so0.dirtyStorage[k] != v {
t.Errorf("Dirty storage key %x mismatch: have %v, want %v", k, so0.dirtyStorage[k], v)
}
}
for k, v := range so0.dirtyStorage {
if so1.dirtyStorage[k] != v {
t.Errorf("Dirty storage key %x mismatch: have %v, want none.", k, v)
}
}
if len(so1.originStorage) != len(so0.originStorage) {
t.Errorf("Origin storage size mismatch: have %d, want %d", len(so1.originStorage), len(so0.originStorage))
}
for k, v := range so1.originStorage {
if so0.originStorage[k] != v {
t.Errorf("Origin storage key %x mismatch: have %v, want %v", k, so0.originStorage[k], v)
}
}
for k, v := range so0.originStorage {
if so1.originStorage[k] != v {
t.Errorf("Origin storage key %x mismatch: have %v, want none.", k, v)
}
}
}
func TestDump(t *testing.T) {
db := ethdb.NewMemDatabase()
tds := NewTrieDbState(common.Hash{}, db, 0)
state := New(tds)
tds.StartNewBuffer()
// generate a few entries
obj1 := state.GetOrNewStateObject(toAddr([]byte{0x01}))
obj1.AddBalance(big.NewInt(22))
obj2 := state.GetOrNewStateObject(toAddr([]byte{0x01, 0x02}))
obj2.SetCode(crypto.Keccak256Hash([]byte{3, 3, 3, 3, 3, 3, 3}), []byte{3, 3, 3, 3, 3, 3, 3})
obj2.setIncarnation(1)
obj3 := state.GetOrNewStateObject(toAddr([]byte{0x02}))
obj3.SetBalance(big.NewInt(44))
// write some of them to the trie
ctx := context.TODO()
err := tds.TrieStateWriter().UpdateAccountData(ctx, obj1.address, &obj1.data, new(accounts.Account))
if err != nil {
t.Fatal(err)
}
err = tds.TrieStateWriter().UpdateAccountData(ctx, obj2.address, &obj2.data, new(accounts.Account))
if err != nil {
t.Fatal(err)
}
err = state.FinalizeTx(ctx, tds.TrieStateWriter())
if err != nil {
t.Fatal(err)
}
t.Log("last root", tds.LastRoot().String())
_, err = tds.ComputeTrieRoots()
t.Log("last root", tds.LastRoot().String())
if err != nil {
t.Fatal(err)
}
tds.SetBlockNr(1)
blockWriter := tds.DbStateWriter()
err = state.CommitBlock(ctx, blockWriter)
if err != nil {
t.Fatal(err)
}
err = blockWriter.WriteChangeSets()
if err != nil {
t.Fatal(err)
}
err = blockWriter.WriteHistory()
if err != nil {
t.Fatal(err)
}
// check that dump contains the state objects that are in trie
got := string(NewDumper(db, 2).DefaultDump())
want := `{
"root": "0000000000000000000000000000000000000000000000000000000000000000",
"accounts": {
"0x0000000000000000000000000000000000000001": {
"balance": "22",
"nonce": 0,
"root": "0000000000000000000000000000000000000000000000000000000000000000",
"codeHash": "c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470"
},
"0x0000000000000000000000000000000000000002": {
"balance": "44",
"nonce": 0,
"root": "0000000000000000000000000000000000000000000000000000000000000000",
"codeHash": "c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470"
},
"0x0000000000000000000000000000000000000102": {
"balance": "0",
"nonce": 0,
"root": "0000000000000000000000000000000000000000000000000000000000000000",
"codeHash": "87874902497a5bb968da31a2998d8f22e949d1ef6214bcdedd8bae24cca4b9e3",
"code": "03030303030303"
}
}
}`
if got != want {
t.Fatalf("dump mismatch:\ngot: %s\nwant: %s\n", got, want)
}
}