state_test.go 7.49 KB
Newer Older
1
// Copyright 2014 The go-ethereum Authors
2
// This file is part of the go-ethereum library.
3
//
4
// The go-ethereum library is free software: you can redistribute it and/or modify
5 6 7 8
// 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.
//
9
// The go-ethereum library is distributed in the hope that it will be useful,
10
// but WITHOUT ANY WARRANTY; without even the implied warranty of
11
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 13 14
// GNU Lesser General Public License for more details.
//
// You should have received a copy of the GNU Lesser General Public License
15
// along with the go-ethereum library. If not, see <http://www.gnu.org/licenses/>.
16

obscuren's avatar
obscuren committed
17
package state
18 19

import (
20
	"bytes"
Felix Lange's avatar
Felix Lange committed
21
	"math/big"
22
	"testing"
Felix Lange's avatar
Felix Lange committed
23

obscuren's avatar
obscuren committed
24
	"github.com/ethereum/go-ethereum/common"
25
	"github.com/ethereum/go-ethereum/crypto"
obscuren's avatar
obscuren committed
26
	"github.com/ethereum/go-ethereum/ethdb"
27
	checker "gopkg.in/check.v1"
28 29
)

30
type StateSuite struct {
31
	db    *ethdb.MemDatabase
obscuren's avatar
obscuren committed
32
	state *StateDB
33
}
34

35
var _ = checker.Suite(&StateSuite{})
36

obscuren's avatar
obscuren committed
37
var toAddr = common.BytesToAddress
38

39
func (s *StateSuite) TestDump(c *checker.C) {
Felix Lange's avatar
Felix Lange committed
40
	// generate a few entries
obscuren's avatar
obscuren committed
41
	obj1 := s.state.GetOrNewStateObject(toAddr([]byte{0x01}))
Felix Lange's avatar
Felix Lange committed
42
	obj1.AddBalance(big.NewInt(22))
obscuren's avatar
obscuren committed
43
	obj2 := s.state.GetOrNewStateObject(toAddr([]byte{0x01, 0x02}))
44
	obj2.SetCode(crypto.Keccak256Hash([]byte{3, 3, 3, 3, 3, 3, 3}), []byte{3, 3, 3, 3, 3, 3, 3})
obscuren's avatar
obscuren committed
45
	obj3 := s.state.GetOrNewStateObject(toAddr([]byte{0x02}))
Felix Lange's avatar
Felix Lange committed
46 47 48
	obj3.SetBalance(big.NewInt(44))

	// write some of them to the trie
49 50
	s.state.updateStateObject(obj1)
	s.state.updateStateObject(obj2)
51
	s.state.Commit(false)
Felix Lange's avatar
Felix Lange committed
52 53 54 55

	// check that dump contains the state objects that are in trie
	got := string(s.state.Dump())
	want := `{
Felix Lange's avatar
Felix Lange committed
56
    "root": "71edff0130dd2385947095001c73d9e28d862fc286fca2b922ca6f6f3cddfdd2",
Felix Lange's avatar
Felix Lange committed
57
    "accounts": {
Felix Lange's avatar
Felix Lange committed
58
        "0000000000000000000000000000000000000001": {
Felix Lange's avatar
Felix Lange committed
59 60 61 62
            "balance": "22",
            "nonce": 0,
            "root": "56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
            "codeHash": "c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470",
Felix Lange's avatar
Felix Lange committed
63
            "code": "",
Felix Lange's avatar
Felix Lange committed
64 65
            "storage": {}
        },
Felix Lange's avatar
Felix Lange committed
66 67 68 69 70 71 72 73 74
        "0000000000000000000000000000000000000002": {
            "balance": "44",
            "nonce": 0,
            "root": "56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
            "codeHash": "c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470",
            "code": "",
            "storage": {}
        },
        "0000000000000000000000000000000000000102": {
Felix Lange's avatar
Felix Lange committed
75 76 77 78
            "balance": "0",
            "nonce": 0,
            "root": "56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
            "codeHash": "87874902497a5bb968da31a2998d8f22e949d1ef6214bcdedd8bae24cca4b9e3",
Felix Lange's avatar
Felix Lange committed
79
            "code": "03030303030303",
Felix Lange's avatar
Felix Lange committed
80 81 82 83 84 85 86
            "storage": {}
        }
    }
}`
	if got != want {
		c.Errorf("dump mismatch:\ngot: %s\nwant: %s\n", got, want)
	}
87
}
88

89
func (s *StateSuite) SetUpTest(c *checker.C) {
90
	s.db = ethdb.NewMemDatabase()
91
	s.state, _ = New(common.Hash{}, NewDatabase(s.db))
92
}
93

94
func (s *StateSuite) TestNull(c *checker.C) {
obscuren's avatar
obscuren committed
95
	address := common.HexToAddress("0x823140710bf13990e4500136726d8b55")
96
	s.state.CreateAccount(address)
97
	//value := common.FromHex("0x823140710bf13990e4500136726d8b55")
98
	var value common.Hash
99
	s.state.SetState(address, common.Hash{}, value)
100
	s.state.Commit(false)
101
	value = s.state.GetState(address, common.Hash{})
102
	if value != (common.Hash{}) {
103
		c.Errorf("expected empty hash. got %x", value)
104
	}
105 106
}

107
func (s *StateSuite) TestSnapshot(c *checker.C) {
obscuren's avatar
obscuren committed
108
	stateobjaddr := toAddr([]byte("aa"))
109 110 111
	var storageaddr common.Hash
	data1 := common.BytesToHash([]byte{42})
	data2 := common.BytesToHash([]byte{43})
112

Leif Jurvetson's avatar
Leif Jurvetson committed
113
	// set initial state object value
114
	s.state.SetState(stateobjaddr, storageaddr, data1)
115
	// get snapshot of current state
116
	snapshot := s.state.Snapshot()
117 118

	// set new state object value
119
	s.state.SetState(stateobjaddr, storageaddr, data2)
120
	// restore snapshot
121
	s.state.RevertToSnapshot(snapshot)
122 123

	// get state storage value
124
	res := s.state.GetState(stateobjaddr, storageaddr)
125 126

	c.Assert(data1, checker.DeepEquals, res)
127
}
128

129 130
func (s *StateSuite) TestSnapshotEmpty(c *checker.C) {
	s.state.RevertToSnapshot(s.state.Snapshot())
131 132
}

133 134 135
// use testing instead of checker because checker does not support
// printing/logging in tests (-check.vv does not work)
func TestSnapshot2(t *testing.T) {
136
	state, _ := New(common.Hash{}, NewDatabase(ethdb.NewMemDatabase()))
137 138 139 140 141 142 143 144 145 146 147 148

	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
149
	so0 := state.getStateObject(stateobjaddr0)
150 151
	so0.SetBalance(big.NewInt(42))
	so0.SetNonce(43)
152
	so0.SetCode(crypto.Keccak256Hash([]byte{'c', 'a', 'f', 'e'}), []byte{'c', 'a', 'f', 'e'})
153
	so0.suicided = false
154
	so0.deleted = false
155
	state.setStateObject(so0)
156

157
	root, _ := state.Commit(false)
158
	state.Reset(root)
159 160

	// and one with deleted == true
161
	so1 := state.getStateObject(stateobjaddr1)
162 163
	so1.SetBalance(big.NewInt(52))
	so1.SetNonce(53)
164
	so1.SetCode(crypto.Keccak256Hash([]byte{'c', 'a', 'f', 'e', '2'}), []byte{'c', 'a', 'f', 'e', '2'})
165
	so1.suicided = true
166
	so1.deleted = true
167
	state.setStateObject(so1)
168

169
	so1 = state.getStateObject(stateobjaddr1)
170 171 172 173
	if so1 != nil {
		t.Fatalf("deleted object not nil when getting")
	}

174 175
	snapshot := state.Snapshot()
	state.RevertToSnapshot(snapshot)
176

177
	so0Restored := state.getStateObject(stateobjaddr0)
178
	// Update lazily-loaded values before comparing.
179 180
	so0Restored.GetState(state.db, storageaddr)
	so0Restored.Code(state.db)
181
	// non-deleted is equal (restored)
182
	compareStateObjects(so0Restored, so0, t)
183

184
	// deleted should be nil, both before and after restore of state copy
185
	so1Restored := state.getStateObject(stateobjaddr1)
186
	if so1Restored != nil {
187
		t.Fatalf("deleted object not nil after restoring snapshot: %+v", so1Restored)
188 189 190
	}
}

191
func compareStateObjects(so0, so1 *stateObject, t *testing.T) {
192
	if so0.Address() != so1.Address() {
193
		t.Fatalf("Address mismatch: have %v, want %v", so0.address, so1.address)
194
	}
195 196 197 198 199
	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())
200
	}
201 202
	if so0.data.Root != so1.data.Root {
		t.Errorf("Root mismatch: have %x, want %x", so0.data.Root[:], so1.data.Root[:])
203
	}
204 205
	if !bytes.Equal(so0.CodeHash(), so1.CodeHash()) {
		t.Fatalf("CodeHash mismatch: have %v, want %v", so0.CodeHash(), so1.CodeHash())
206 207
	}
	if !bytes.Equal(so0.code, so1.code) {
208
		t.Fatalf("Code mismatch: have %v, want %v", so0.code, so1.code)
209 210
	}

211 212
	if len(so1.cachedStorage) != len(so0.cachedStorage) {
		t.Errorf("Storage size mismatch: have %d, want %d", len(so1.cachedStorage), len(so0.cachedStorage))
213
	}
214 215 216
	for k, v := range so1.cachedStorage {
		if so0.cachedStorage[k] != v {
			t.Errorf("Storage key %x mismatch: have %v, want %v", k, so0.cachedStorage[k], v)
217 218
		}
	}
219 220
	for k, v := range so0.cachedStorage {
		if so1.cachedStorage[k] != v {
221
			t.Errorf("Storage key %x mismatch: have %v, want none.", k, v)
222 223 224
		}
	}

225 226
	if so0.suicided != so1.suicided {
		t.Fatalf("suicided mismatch: have %v, want %v", so0.suicided, so1.suicided)
227 228
	}
	if so0.deleted != so1.deleted {
229
		t.Fatalf("Deleted mismatch: have %v, want %v", so0.deleted, so1.deleted)
230 231
	}
}