Skip to content
Snippets Groups Projects
state.go 8.6 KiB
Newer Older
// Copyright 2017 Monax Industries Limited
//
// 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.

Silas Davis's avatar
Silas Davis committed
package execution
Silas Davis's avatar
Silas Davis committed
	"sync"
	acm "github.com/hyperledger/burrow/account"
	"github.com/hyperledger/burrow/account/state"
Silas Davis's avatar
Silas Davis committed
	"github.com/hyperledger/burrow/binary"
	"github.com/hyperledger/burrow/crypto"
	"github.com/hyperledger/burrow/execution/names"
Silas Davis's avatar
Silas Davis committed
	"github.com/hyperledger/burrow/genesis"
Silas Davis's avatar
Silas Davis committed
	"github.com/hyperledger/burrow/logging"
	"github.com/hyperledger/burrow/permission"
	ptypes "github.com/hyperledger/burrow/permission/types"
	"github.com/tendermint/iavl"
Silas Davis's avatar
Silas Davis committed
	dbm "github.com/tendermint/tmlibs/db"
const (
	defaultCacheCapacity = 1024
	// Version by state hash
	versionPrefix = "v/"
Silas Davis's avatar
Silas Davis committed

	// Prefix of keys in state tree
	accountsPrefix = "a/"
	storagePrefix  = "s/"
	nameRegPrefix  = "n/"
)
var (
	accountsStart, accountsEnd []byte = prefixKeyRange(accountsPrefix)
	storageStart, storageEnd   []byte = prefixKeyRange(storagePrefix)
	nameRegStart, nameRegEnd   []byte = prefixKeyRange(nameRegPrefix)
)
Silas Davis's avatar
Silas Davis committed

// Implements account and blockchain state
var _ state.AccountUpdater = &State{}
var _ state.Iterable = &State{}
var _ state.Writer = &State{}
Silas Davis's avatar
Silas Davis committed

type State struct {
	sync.RWMutex
	// TODO:
	tree   *iavl.VersionedTree
Silas Davis's avatar
Silas Davis committed
	logger *logging.Logger
func NewState(db dbm.DB) *State {
		tree: iavl.NewVersionedTree(db, defaultCacheCapacity),
	}
}

// Make genesis state from GenesisDoc and save to DB
func MakeGenesisState(db dbm.DB, genesisDoc *genesis.GenesisDoc) (*State, error) {
	if len(genesisDoc.Validators) == 0 {
		return nil, fmt.Errorf("the genesis file has no validators")
Silas Davis's avatar
Silas Davis committed
	}

	state := NewState(db)
Silas Davis's avatar
Silas Davis committed
		// NOTE: [ben] change GenesisTime to requirement on v0.17
		// GenesisTime needs to be deterministic across the chain
		// and should be required in the genesis file;
		// the requirement is not yet enforced when lacking set
		// time to 11/18/2016 @ 4:09am (UTC)
		genesisDoc.GenesisTime = time.Unix(1479442162, 0)
Silas Davis's avatar
Silas Davis committed
	}

	// Make accounts state tree
	for _, genAcc := range genesisDoc.Accounts {
Silas Davis's avatar
Silas Davis committed
		perm := genAcc.Permissions
		acc := &acm.ConcreteAccount{
			Address:     genAcc.Address,
			Balance:     genAcc.Amount,
			Permissions: perm,
		}
		err := state.UpdateAccount(acc.Account())
Silas Davis's avatar
Silas Davis committed
	}

	// global permissions are saved as the 0 address
	// so they are included in the accounts tree
	globalPerms := permission.DefaultAccountPermissions
	globalPerms = genesisDoc.GlobalPermissions
Silas Davis's avatar
Silas Davis committed
	// XXX: make sure the set bits are all true
	// Without it the HasPermission() functions will fail
	globalPerms.Base.SetBit = ptypes.AllPermFlags

	permsAcc := &acm.ConcreteAccount{
		Address:     acm.GlobalPermissionsAddress,
Silas Davis's avatar
Silas Davis committed
		Balance:     1337,
		Permissions: globalPerms,
	}
	err := state.UpdateAccount(permsAcc.Account())
Silas Davis's avatar
Silas Davis committed

	// IAVLTrees must be persisted before copy operations.
	err = state.Save()
	if err != nil {
		return nil, err
	}
	return state, nil
Silas Davis's avatar
Silas Davis committed

// Tries to load the execution state from DB, returns nil with no error if no state found
func LoadState(db dbm.DB) (*State, error) {
	s := NewState(db)
	_, err := s.tree.Load()
		return nil, fmt.Errorf("could not load versioned state tree")
	return s, nil
Silas Davis's avatar
Silas Davis committed
	s.Lock()
	defer s.Unlock()
	_, _, err := s.tree.SaveVersion()
	if err != nil {
		return err
	}
	return nil
}

// Computes the state hash, also computed on save where it is returned
func (s *State) Hash() []byte {
Silas Davis's avatar
Silas Davis committed
	s.RLock()
	defer s.RUnlock()
	return s.tree.Hash()
}

// Returns nil if account does not exist with given address.
func (s *State) GetAccount(address crypto.Address) (acm.Account, error) {
Silas Davis's avatar
Silas Davis committed
	s.RLock()
	defer s.RUnlock()
	_, accBytes := s.tree.Get(prefixedKey(accountsPrefix, address.Bytes()))
Silas Davis's avatar
Silas Davis committed
		return nil, nil
Silas Davis's avatar
Silas Davis committed
	return acm.Decode(accBytes)
Silas Davis's avatar
Silas Davis committed
func (s *State) UpdateAccount(account acm.Account) error {
	s.Lock()
	defer s.Unlock()
	if account == nil {
		return fmt.Errorf("UpdateAccount passed nil account in execution.State")
	}
	// TODO: find a way to implement something equivalent to this so we can set the account StorageRoot
	//storageRoot := s.tree.SubTreeHash(prefixedKey(storagePrefix, account.Address().Bytes()))
	// Alternatively just abandon and
	accountWithStorageRoot := acm.AsMutableAccount(account).SetStorageRoot(nil)
	encodedAccount, err := accountWithStorageRoot.Encode()
	s.tree.Set(prefixedKey(accountsPrefix, account.Address().Bytes()), encodedAccount)
Silas Davis's avatar
Silas Davis committed
	return nil
func (s *State) RemoveAccount(address crypto.Address) error {
Silas Davis's avatar
Silas Davis committed
	s.Lock()
	defer s.Unlock()
	s.tree.Remove(prefixedKey(accountsPrefix, address.Bytes()))
Silas Davis's avatar
Silas Davis committed
	return nil
Silas Davis's avatar
Silas Davis committed
func (s *State) IterateAccounts(consumer func(acm.Account) (stop bool)) (stopped bool, err error) {
	s.RLock()
	defer s.RUnlock()
	stopped = s.tree.IterateRange(accountsStart, accountsEnd, true, func(key, value []byte) bool {
Silas Davis's avatar
Silas Davis committed
		var account acm.Account
		account, err = acm.Decode(value)
		if err != nil {
			return true
		}
		return consumer(account)
	})
	return
func (s *State) GetStorage(address crypto.Address, key binary.Word256) (binary.Word256, error) {
Silas Davis's avatar
Silas Davis committed
	s.RLock()
	defer s.RUnlock()
	_, value := s.tree.Get(prefixedKey(storagePrefix, address.Bytes(), key.Bytes()))
Silas Davis's avatar
Silas Davis committed
	return binary.LeftPadWord256(value), nil
}

func (s *State) SetStorage(address crypto.Address, key, value binary.Word256) error {
Silas Davis's avatar
Silas Davis committed
	s.Lock()
	defer s.Unlock()
	if value == binary.Zero256 {
		s.tree.Remove(key.Bytes())
	} else {
		s.tree.Set(prefixedKey(storagePrefix, address.Bytes(), key.Bytes()), value.Bytes())
	}
Silas Davis's avatar
Silas Davis committed
	return nil
}

func (s *State) IterateStorage(address crypto.Address,
Silas Davis's avatar
Silas Davis committed
	consumer func(key, value binary.Word256) (stop bool)) (stopped bool, err error) {
	s.RLock()
	defer s.RUnlock()
Silas Davis's avatar
Silas Davis committed

	stopped = s.tree.IterateRange(storageStart, storageEnd, true, func(key []byte, value []byte) (stop bool) {
Silas Davis's avatar
Silas Davis committed
		// Note: no left padding should occur unless there is a bug and non-words have been writte to this storage tree
		if len(key) != binary.Word256Length {
			err = fmt.Errorf("key '%X' stored for account %s is not a %v-byte word",
				key, address, binary.Word256Length)
			return true
		}
		if len(value) != binary.Word256Length {
			err = fmt.Errorf("value '%X' stored for account %s is not a %v-byte word",
				key, address, binary.Word256Length)
			return true
		}
		return consumer(binary.LeftPadWord256(key), binary.LeftPadWord256(value))
	})
	return
}

// State.storage
//-------------------------------------
// State.nameReg

var _ names.Iterable = &State{}
Silas Davis's avatar
Silas Davis committed

func (s *State) GetNameEntry(name string) (*names.Entry, error) {
	_, entryBytes := s.tree.Get(prefixedKey(nameRegPrefix, []byte(name)))
	if entryBytes == nil {
	return names.DecodeEntry(entryBytes)
func (s *State) IterateNameEntries(consumer func(*names.Entry) (stop bool)) (stopped bool, err error) {
	return s.tree.IterateRange(nameRegStart, nameRegEnd, true, func(key []byte, value []byte) (stop bool) {
		var entry *names.Entry
		entry, err = names.DecodeEntry(value)
		if err != nil {
			return true
		}
		return consumer(entry)
	}), err
Silas Davis's avatar
Silas Davis committed
}

func (s *State) UpdateNameEntry(entry *names.Entry) error {
	bs, err := entry.Encode()
	s.tree.Set(prefixedKey(nameRegPrefix, []byte(entry.Name)), bs)
func (s *State) RemoveNameEntry(name string) error {
	s.tree.Remove(prefixedKey(nameRegPrefix, []byte(name)))
// Creates a copy of the database to the supplied db
func (s *State) Copy(db dbm.DB) *State {
	state := NewState(db)
	s.tree.Iterate(func(key []byte, value []byte) bool {
		state.tree.Set(key, value)
		return false
	})
	return state
}

func prefixedKey(prefix string, suffices ...[]byte) []byte {
	key := []byte(prefix)
	for _, suffix := range suffices {
		key = append(key, suffix...)
	}
	return key
}

// Returns the start key equal to the bytes of prefix and the end key which lexicographically above any key beginning
// with prefix
func prefixKeyRange(prefix string) (start, end []byte) {
	start = []byte(prefix)
	for i := len(start) - 1; i >= 0; i-- {
		c := start[i]
		if c < 0xff {
			end = make([]byte, i+1)
			copy(end, start)
			end[i]++
			return
		}
	}
	return
}