aboutsummaryrefslogtreecommitdiffstats
path: root/ethstate/state_object.go
diff options
context:
space:
mode:
authorobscuren <geffobscura@gmail.com>2014-07-22 17:54:48 +0800
committerobscuren <geffobscura@gmail.com>2014-07-22 17:54:48 +0800
commit1e8b54abfb7129fcdf4812ad01b6a7cd61e4f65d (patch)
tree6ad93d5117d8194ee700e3347b59d0602cd4c40c /ethstate/state_object.go
parent20ee1ae65e57ef7d60404277162c84c572c6bb10 (diff)
downloadgo-tangerine-1e8b54abfb7129fcdf4812ad01b6a7cd61e4f65d.tar
go-tangerine-1e8b54abfb7129fcdf4812ad01b6a7cd61e4f65d.tar.gz
go-tangerine-1e8b54abfb7129fcdf4812ad01b6a7cd61e4f65d.tar.bz2
go-tangerine-1e8b54abfb7129fcdf4812ad01b6a7cd61e4f65d.tar.lz
go-tangerine-1e8b54abfb7129fcdf4812ad01b6a7cd61e4f65d.tar.xz
go-tangerine-1e8b54abfb7129fcdf4812ad01b6a7cd61e4f65d.tar.zst
go-tangerine-1e8b54abfb7129fcdf4812ad01b6a7cd61e4f65d.zip
Refactored state, state object and vm
* The State and StateObject have been moved to their own package * The VM is moved to it's own package
Diffstat (limited to 'ethstate/state_object.go')
-rw-r--r--ethstate/state_object.go339
1 files changed, 339 insertions, 0 deletions
diff --git a/ethstate/state_object.go b/ethstate/state_object.go
new file mode 100644
index 000000000..d8513f37d
--- /dev/null
+++ b/ethstate/state_object.go
@@ -0,0 +1,339 @@
+package ethstate
+
+import (
+ "fmt"
+ "github.com/ethereum/eth-go/ethcrypto"
+ "github.com/ethereum/eth-go/ethtrie"
+ "github.com/ethereum/eth-go/ethutil"
+ "math/big"
+)
+
+type Code []byte
+
+func (self Code) String() string {
+ return "" //strings.Join(Disassemble(self), " ")
+}
+
+type Storage map[string]*ethutil.Value
+
+func (self Storage) Copy() Storage {
+ cpy := make(Storage)
+ for key, value := range self {
+ // XXX Do we need a 'value' copy or is this sufficient?
+ cpy[key] = value
+ }
+
+ return cpy
+}
+
+type StateObject struct {
+ // Address of the object
+ address []byte
+ // Shared attributes
+ Amount *big.Int
+ CodeHash []byte
+ Nonce uint64
+ // Contract related attributes
+ state *State
+ Code Code
+ initCode Code
+
+ storage Storage
+
+ // Total gas pool is the total amount of gas currently
+ // left if this object is the coinbase. Gas is directly
+ // purchased of the coinbase.
+ gasPool *big.Int
+
+ // Mark for deletion
+ // When an object is marked for deletion it will be delete from the trie
+ // during the "update" phase of the state transition
+ remove bool
+}
+
+func (self *StateObject) Reset() {
+ self.storage = make(Storage)
+ self.state.Reset()
+}
+
+/*
+// Converts an transaction in to a state object
+func MakeContract(tx *Transaction, state *State) *StateObject {
+ // Create contract if there's no recipient
+ if tx.IsContract() {
+ addr := tx.CreationAddress()
+
+ contract := state.NewStateObject(addr)
+ contract.initCode = tx.Data
+ contract.state = NewState(ethtrie.NewTrie(ethutil.Config.Db, ""))
+
+ return contract
+ }
+
+ return nil
+}
+*/
+
+func NewStateObject(addr []byte) *StateObject {
+ // This to ensure that it has 20 bytes (and not 0 bytes), thus left or right pad doesn't matter.
+ address := ethutil.Address(addr)
+
+ object := &StateObject{address: address, Amount: new(big.Int), gasPool: new(big.Int)}
+ object.state = NewState(ethtrie.NewTrie(ethutil.Config.Db, ""))
+ object.storage = make(Storage)
+ object.gasPool = new(big.Int)
+
+ return object
+}
+
+func NewContract(address []byte, Amount *big.Int, root []byte) *StateObject {
+ contract := NewStateObject(address)
+ contract.Amount = Amount
+ contract.state = NewState(ethtrie.NewTrie(ethutil.Config.Db, string(root)))
+
+ return contract
+}
+
+func NewStateObjectFromBytes(address, data []byte) *StateObject {
+ object := &StateObject{address: address}
+ object.RlpDecode(data)
+
+ return object
+}
+
+func (self *StateObject) MarkForDeletion() {
+ self.remove = true
+ statelogger.DebugDetailf("%x: #%d %v (deletion)\n", self.Address(), self.Nonce, self.Amount)
+}
+
+func (c *StateObject) GetAddr(addr []byte) *ethutil.Value {
+ return ethutil.NewValueFromBytes([]byte(c.state.trie.Get(string(addr))))
+}
+
+func (c *StateObject) SetAddr(addr []byte, value interface{}) {
+ c.state.trie.Update(string(addr), string(ethutil.NewValue(value).Encode()))
+}
+
+func (self *StateObject) GetStorage(key *big.Int) *ethutil.Value {
+ return self.getStorage(key.Bytes())
+}
+func (self *StateObject) SetStorage(key *big.Int, value *ethutil.Value) {
+ self.setStorage(key.Bytes(), value)
+}
+
+func (self *StateObject) getStorage(k []byte) *ethutil.Value {
+ key := ethutil.LeftPadBytes(k, 32)
+
+ value := self.storage[string(key)]
+ if value == nil {
+ value = self.GetAddr(key)
+
+ if !value.IsNil() {
+ self.storage[string(key)] = value
+ }
+ }
+
+ return value
+
+ //return self.GetAddr(key)
+}
+
+func (self *StateObject) setStorage(k []byte, value *ethutil.Value) {
+ key := ethutil.LeftPadBytes(k, 32)
+ self.storage[string(key)] = value.Copy()
+}
+
+// Iterate over each storage address and yield callback
+func (self *StateObject) EachStorage(cb ethtrie.EachCallback) {
+ // First loop over the uncommit/cached values in storage
+ for key, value := range self.storage {
+ // XXX Most iterators Fns as it stands require encoded values
+ encoded := ethutil.NewValue(value.Encode())
+ cb(key, encoded)
+ }
+
+ it := self.state.trie.NewIterator()
+ it.Each(func(key string, value *ethutil.Value) {
+ // If it's cached don't call the callback.
+ if self.storage[key] == nil {
+ cb(key, value)
+ }
+ })
+}
+
+func (self *StateObject) Sync() {
+ for key, value := range self.storage {
+ if value.Len() == 0 { // value.BigInt().Cmp(ethutil.Big0) == 0 {
+ //data := self.getStorage([]byte(key))
+ //fmt.Printf("deleting %x %x 0x%x\n", self.Address(), []byte(key), data)
+ self.state.trie.Delete(string(key))
+ continue
+ }
+
+ self.SetAddr([]byte(key), value)
+ }
+
+ valid, t2 := ethtrie.ParanoiaCheck(self.state.trie)
+ if !valid {
+ statelogger.Infof("Warn: PARANOIA: Different state storage root during copy %x vs %x\n", self.state.trie.Root, t2.Root)
+
+ self.state.trie = t2
+ }
+}
+
+func (c *StateObject) GetInstr(pc *big.Int) *ethutil.Value {
+ if int64(len(c.Code)-1) < pc.Int64() {
+ return ethutil.NewValue(0)
+ }
+
+ return ethutil.NewValueFromBytes([]byte{c.Code[pc.Int64()]})
+}
+
+func (c *StateObject) AddAmount(amount *big.Int) {
+ c.SetAmount(new(big.Int).Add(c.Amount, amount))
+
+ statelogger.Debugf("%x: #%d %v (+ %v)\n", c.Address(), c.Nonce, c.Amount, amount)
+}
+
+func (c *StateObject) SubAmount(amount *big.Int) {
+ c.SetAmount(new(big.Int).Sub(c.Amount, amount))
+
+ statelogger.Debugf("%x: #%d %v (- %v)\n", c.Address(), c.Nonce, c.Amount, amount)
+}
+
+func (c *StateObject) SetAmount(amount *big.Int) {
+ c.Amount = amount
+}
+
+//
+// Gas setters and getters
+//
+
+// Return the gas back to the origin. Used by the Virtual machine or Closures
+func (c *StateObject) ReturnGas(gas, price *big.Int) {}
+func (c *StateObject) ConvertGas(gas, price *big.Int) error {
+ total := new(big.Int).Mul(gas, price)
+ if total.Cmp(c.Amount) > 0 {
+ return fmt.Errorf("insufficient amount: %v, %v", c.Amount, total)
+ }
+
+ c.SubAmount(total)
+
+ return nil
+}
+
+func (self *StateObject) SetGasPool(gasLimit *big.Int) {
+ self.gasPool = new(big.Int).Set(gasLimit)
+
+ statelogger.DebugDetailf("%x: fuel (+ %v)", self.Address(), self.gasPool)
+}
+
+func (self *StateObject) BuyGas(gas, price *big.Int) error {
+ if self.gasPool.Cmp(gas) < 0 {
+ return GasLimitError(self.gasPool, gas)
+ }
+
+ rGas := new(big.Int).Set(gas)
+ rGas.Mul(rGas, price)
+
+ self.AddAmount(rGas)
+
+ return nil
+}
+
+func (self *StateObject) RefundGas(gas, price *big.Int) {
+ self.gasPool.Add(self.gasPool, gas)
+
+ rGas := new(big.Int).Set(gas)
+ rGas.Mul(rGas, price)
+
+ self.Amount.Sub(self.Amount, rGas)
+}
+
+func (self *StateObject) Copy() *StateObject {
+ stateObject := NewStateObject(self.Address())
+ stateObject.Amount.Set(self.Amount)
+ stateObject.CodeHash = ethutil.CopyBytes(self.CodeHash)
+ stateObject.Nonce = self.Nonce
+ if self.state != nil {
+ stateObject.state = self.state.Copy()
+ }
+ stateObject.Code = ethutil.CopyBytes(self.Code)
+ stateObject.initCode = ethutil.CopyBytes(self.initCode)
+ stateObject.storage = self.storage.Copy()
+ stateObject.gasPool.Set(self.gasPool)
+
+ return stateObject
+}
+
+func (self *StateObject) Set(stateObject *StateObject) {
+ *self = *stateObject
+}
+
+//
+// Attribute accessors
+//
+
+func (c *StateObject) State() *State {
+ return c.state
+}
+
+func (c *StateObject) N() *big.Int {
+ return big.NewInt(int64(c.Nonce))
+}
+
+// Returns the address of the contract/account
+func (c *StateObject) Address() []byte {
+ return c.address
+}
+
+// Returns the initialization Code
+func (c *StateObject) Init() Code {
+ return c.initCode
+}
+
+// Debug stuff
+func (self *StateObject) CreateOutputForDiff() {
+ fmt.Printf("%x %x %x %x\n", self.Address(), self.state.Root(), self.Amount.Bytes(), self.Nonce)
+ self.EachStorage(func(addr string, value *ethutil.Value) {
+ fmt.Printf("%x %x\n", addr, value.Bytes())
+ })
+}
+
+//
+// Encoding
+//
+
+// State object encoding methods
+func (c *StateObject) RlpEncode() []byte {
+ var root interface{}
+ if c.state != nil {
+ root = c.state.trie.Root
+ } else {
+ root = ""
+ }
+
+ return ethutil.Encode([]interface{}{c.Nonce, c.Amount, root, ethcrypto.Sha3Bin(c.Code)})
+}
+
+func (c *StateObject) RlpDecode(data []byte) {
+ decoder := ethutil.NewValueFromBytes(data)
+
+ c.Nonce = decoder.Get(0).Uint()
+ c.Amount = decoder.Get(1).BigInt()
+ c.state = NewState(ethtrie.NewTrie(ethutil.Config.Db, decoder.Get(2).Interface()))
+ c.storage = make(map[string]*ethutil.Value)
+ c.gasPool = new(big.Int)
+
+ c.CodeHash = decoder.Get(3).Bytes()
+
+ c.Code, _ = ethutil.Config.Db.Get(c.CodeHash)
+}
+
+// Storage change object. Used by the manifest for notifying changes to
+// the sub channels.
+type StorageState struct {
+ StateAddress []byte
+ Address []byte
+ Value *big.Int
+}