2015-07-06 19:54:22 -05:00
|
|
|
// Copyright 2014 The go-ethereum Authors
|
2015-07-22 11:48:40 -05:00
|
|
|
// This file is part of the go-ethereum library.
|
2015-07-06 19:54:22 -05:00
|
|
|
//
|
2015-07-23 11:35:11 -05:00
|
|
|
// The go-ethereum library is free software: you can redistribute it and/or modify
|
2015-07-06 19:54:22 -05: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.
|
|
|
|
//
|
2015-07-22 11:48:40 -05:00
|
|
|
// The go-ethereum library is distributed in the hope that it will be useful,
|
2015-07-06 19:54:22 -05:00
|
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
2015-07-22 11:48:40 -05:00
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
2015-07-06 19:54:22 -05:00
|
|
|
// GNU Lesser General Public License for more details.
|
|
|
|
//
|
|
|
|
// You should have received a copy of the GNU Lesser General Public License
|
2015-07-22 11:48:40 -05:00
|
|
|
// along with the go-ethereum library. If not, see <http://www.gnu.org/licenses/>.
|
2015-07-06 19:54:22 -05:00
|
|
|
|
2015-07-06 22:08:16 -05:00
|
|
|
// Package trie implements Merkle Patricia Tries.
|
2014-10-31 08:45:03 -05:00
|
|
|
package trie
|
2014-02-14 16:56:09 -06:00
|
|
|
|
|
|
|
import (
|
2014-07-02 10:47:18 -05:00
|
|
|
"bytes"
|
2020-12-14 03:27:15 -06:00
|
|
|
"errors"
|
2014-02-14 16:56:09 -06:00
|
|
|
"fmt"
|
2014-08-04 03:38:18 -05:00
|
|
|
|
2015-03-16 05:27:38 -05:00
|
|
|
"github.com/ethereum/go-ethereum/common"
|
2018-02-05 10:40:32 -06:00
|
|
|
"github.com/ethereum/go-ethereum/crypto"
|
2017-02-22 06:10:07 -06:00
|
|
|
"github.com/ethereum/go-ethereum/log"
|
2014-02-14 16:56:09 -06:00
|
|
|
)
|
|
|
|
|
2015-07-05 18:19:48 -05:00
|
|
|
var (
|
2018-02-05 10:40:32 -06:00
|
|
|
// emptyRoot is the known root hash of an empty trie.
|
2015-07-05 18:19:48 -05:00
|
|
|
emptyRoot = common.HexToHash("56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421")
|
2018-02-05 10:40:32 -06:00
|
|
|
|
|
|
|
// emptyState is the known hash of an empty state trie entry.
|
|
|
|
emptyState = crypto.Keccak256Hash(nil)
|
2015-07-05 18:19:48 -05:00
|
|
|
)
|
2014-02-14 16:56:09 -06:00
|
|
|
|
2018-02-05 10:40:32 -06:00
|
|
|
// LeafCallback is a callback type invoked when a trie operation reaches a leaf
|
core, eth: faster snapshot generation (#22504)
* eth/protocols: persist received state segments
* core: initial implementation
* core/state/snapshot: add tests
* core, eth: updates
* eth/protocols/snapshot: count flat state size
* core/state: add metrics
* core/state/snapshot: skip unnecessary deletion
* core/state/snapshot: rename
* core/state/snapshot: use the global batch
* core/state/snapshot: add logs and fix wiping
* core/state/snapshot: fix
* core/state/snapshot: save generation progress even if the batch is empty
* core/state/snapshot: fixes
* core/state/snapshot: fix initial account range length
* core/state/snapshot: fix initial account range
* eth/protocols/snap: store flat states during the healing
* eth/protocols/snap: print logs
* core/state/snapshot: refactor (#4)
* core/state/snapshot: refactor
* core/state/snapshot: tiny fix and polish
Co-authored-by: rjl493456442 <garyrong0905@gmail.com>
* core, eth: fixes
* core, eth: fix healing writer
* core, trie, eth: fix paths
* eth/protocols/snap: fix encoding
* eth, core: add debug log
* core/state/generate: release iterator asap (#5)
core/state/snapshot: less copy
core/state/snapshot: revert split loop
core/state/snapshot: handle storage becoming empty, improve test robustness
core/state: test modified codehash
core/state/snapshot: polish
* core/state/snapshot: optimize stats counter
* core, eth: add metric
* core/state/snapshot: update comments
* core/state/snapshot: improve tests
* core/state/snapshot: replace secure trie with standard trie
* core/state/snapshot: wrap return as the struct
* core/state/snapshot: skip wiping correct states
* core/state/snapshot: updates
* core/state/snapshot: fixes
* core/state/snapshot: fix panic due to reference flaw in closure
* core/state/snapshot: fix errors in state generation logic + fix log output
* core/state/snapshot: remove an error case
* core/state/snapshot: fix condition-check for exhausted snap state
* core/state/snapshot: use stackTrie for small tries
* core/state/snapshot: don't resolve small storage tries in vain
* core/state/snapshot: properly clean up storage of deleted accounts
* core/state/snapshot: avoid RLP-encoding in some cases + minor nitpicks
* core/state/snapshot: fix error (+testcase)
* core/state/snapshot: clean up tests a bit
* core/state/snapshot: work in progress on better tests
* core/state/snapshot: polish code
* core/state/snapshot: fix trie iteration abortion trigger
* core/state/snapshot: fixes flaws
* core/state/snapshot: remove panic
* core/state/snapshot: fix abort
* core/state/snapshot: more tests (plus failing testcase)
* core/state/snapshot: more testcases + fix for failing test
* core/state/snapshot: testcase for malformed data
* core/state/snapshot: some test nitpicks
* core/state/snapshot: improvements to logging
* core/state/snapshot: testcase to demo error in abortion
* core/state/snapshot: fix abortion
* cmd/geth: make verify-state report the root
* trie: fix failing test
* core/state/snapshot: add timer metrics
* core/state/snapshot: fix metrics
* core/state/snapshot: udpate tests
* eth/protocols/snap: write snapshot account even if code or state is needed
* core/state/snapshot: fix diskmore check
* core/state/snapshot: review fixes
* core/state/snapshot: improve error message
* cmd/geth: rename 'error' to 'err' in logs
* core/state/snapshot: fix some review concerns
* core/state/snapshot, eth/protocols/snap: clear snapshot marker when starting/resuming snap sync
* core: add error log
* core/state/snapshot: use proper timers for metrics collection
* core/state/snapshot: address some review concerns
* eth/protocols/snap: improved log message
* eth/protocols/snap: fix heal logs to condense infos
* core/state/snapshot: wait for generator termination before restarting
* core/state/snapshot: revert timers to counters to track total time
Co-authored-by: Martin Holst Swende <martin@swende.se>
Co-authored-by: Péter Szilágyi <peterke@gmail.com>
2021-04-14 15:23:11 -05:00
|
|
|
// node.
|
|
|
|
//
|
2022-07-15 06:55:51 -05:00
|
|
|
// The keys is a path tuple identifying a particular trie node either in a single
|
|
|
|
// trie (account) or a layered trie (account -> storage). Each key in the tuple
|
core, eth: faster snapshot generation (#22504)
* eth/protocols: persist received state segments
* core: initial implementation
* core/state/snapshot: add tests
* core, eth: updates
* eth/protocols/snapshot: count flat state size
* core/state: add metrics
* core/state/snapshot: skip unnecessary deletion
* core/state/snapshot: rename
* core/state/snapshot: use the global batch
* core/state/snapshot: add logs and fix wiping
* core/state/snapshot: fix
* core/state/snapshot: save generation progress even if the batch is empty
* core/state/snapshot: fixes
* core/state/snapshot: fix initial account range length
* core/state/snapshot: fix initial account range
* eth/protocols/snap: store flat states during the healing
* eth/protocols/snap: print logs
* core/state/snapshot: refactor (#4)
* core/state/snapshot: refactor
* core/state/snapshot: tiny fix and polish
Co-authored-by: rjl493456442 <garyrong0905@gmail.com>
* core, eth: fixes
* core, eth: fix healing writer
* core, trie, eth: fix paths
* eth/protocols/snap: fix encoding
* eth, core: add debug log
* core/state/generate: release iterator asap (#5)
core/state/snapshot: less copy
core/state/snapshot: revert split loop
core/state/snapshot: handle storage becoming empty, improve test robustness
core/state: test modified codehash
core/state/snapshot: polish
* core/state/snapshot: optimize stats counter
* core, eth: add metric
* core/state/snapshot: update comments
* core/state/snapshot: improve tests
* core/state/snapshot: replace secure trie with standard trie
* core/state/snapshot: wrap return as the struct
* core/state/snapshot: skip wiping correct states
* core/state/snapshot: updates
* core/state/snapshot: fixes
* core/state/snapshot: fix panic due to reference flaw in closure
* core/state/snapshot: fix errors in state generation logic + fix log output
* core/state/snapshot: remove an error case
* core/state/snapshot: fix condition-check for exhausted snap state
* core/state/snapshot: use stackTrie for small tries
* core/state/snapshot: don't resolve small storage tries in vain
* core/state/snapshot: properly clean up storage of deleted accounts
* core/state/snapshot: avoid RLP-encoding in some cases + minor nitpicks
* core/state/snapshot: fix error (+testcase)
* core/state/snapshot: clean up tests a bit
* core/state/snapshot: work in progress on better tests
* core/state/snapshot: polish code
* core/state/snapshot: fix trie iteration abortion trigger
* core/state/snapshot: fixes flaws
* core/state/snapshot: remove panic
* core/state/snapshot: fix abort
* core/state/snapshot: more tests (plus failing testcase)
* core/state/snapshot: more testcases + fix for failing test
* core/state/snapshot: testcase for malformed data
* core/state/snapshot: some test nitpicks
* core/state/snapshot: improvements to logging
* core/state/snapshot: testcase to demo error in abortion
* core/state/snapshot: fix abortion
* cmd/geth: make verify-state report the root
* trie: fix failing test
* core/state/snapshot: add timer metrics
* core/state/snapshot: fix metrics
* core/state/snapshot: udpate tests
* eth/protocols/snap: write snapshot account even if code or state is needed
* core/state/snapshot: fix diskmore check
* core/state/snapshot: review fixes
* core/state/snapshot: improve error message
* cmd/geth: rename 'error' to 'err' in logs
* core/state/snapshot: fix some review concerns
* core/state/snapshot, eth/protocols/snap: clear snapshot marker when starting/resuming snap sync
* core: add error log
* core/state/snapshot: use proper timers for metrics collection
* core/state/snapshot: address some review concerns
* eth/protocols/snap: improved log message
* eth/protocols/snap: fix heal logs to condense infos
* core/state/snapshot: wait for generator termination before restarting
* core/state/snapshot: revert timers to counters to track total time
Co-authored-by: Martin Holst Swende <martin@swende.se>
Co-authored-by: Péter Szilágyi <peterke@gmail.com>
2021-04-14 15:23:11 -05:00
|
|
|
// is in the raw format(32 bytes).
|
|
|
|
//
|
2022-07-15 06:55:51 -05:00
|
|
|
// The path is a composite hexary path identifying the trie node. All the key
|
core, eth: faster snapshot generation (#22504)
* eth/protocols: persist received state segments
* core: initial implementation
* core/state/snapshot: add tests
* core, eth: updates
* eth/protocols/snapshot: count flat state size
* core/state: add metrics
* core/state/snapshot: skip unnecessary deletion
* core/state/snapshot: rename
* core/state/snapshot: use the global batch
* core/state/snapshot: add logs and fix wiping
* core/state/snapshot: fix
* core/state/snapshot: save generation progress even if the batch is empty
* core/state/snapshot: fixes
* core/state/snapshot: fix initial account range length
* core/state/snapshot: fix initial account range
* eth/protocols/snap: store flat states during the healing
* eth/protocols/snap: print logs
* core/state/snapshot: refactor (#4)
* core/state/snapshot: refactor
* core/state/snapshot: tiny fix and polish
Co-authored-by: rjl493456442 <garyrong0905@gmail.com>
* core, eth: fixes
* core, eth: fix healing writer
* core, trie, eth: fix paths
* eth/protocols/snap: fix encoding
* eth, core: add debug log
* core/state/generate: release iterator asap (#5)
core/state/snapshot: less copy
core/state/snapshot: revert split loop
core/state/snapshot: handle storage becoming empty, improve test robustness
core/state: test modified codehash
core/state/snapshot: polish
* core/state/snapshot: optimize stats counter
* core, eth: add metric
* core/state/snapshot: update comments
* core/state/snapshot: improve tests
* core/state/snapshot: replace secure trie with standard trie
* core/state/snapshot: wrap return as the struct
* core/state/snapshot: skip wiping correct states
* core/state/snapshot: updates
* core/state/snapshot: fixes
* core/state/snapshot: fix panic due to reference flaw in closure
* core/state/snapshot: fix errors in state generation logic + fix log output
* core/state/snapshot: remove an error case
* core/state/snapshot: fix condition-check for exhausted snap state
* core/state/snapshot: use stackTrie for small tries
* core/state/snapshot: don't resolve small storage tries in vain
* core/state/snapshot: properly clean up storage of deleted accounts
* core/state/snapshot: avoid RLP-encoding in some cases + minor nitpicks
* core/state/snapshot: fix error (+testcase)
* core/state/snapshot: clean up tests a bit
* core/state/snapshot: work in progress on better tests
* core/state/snapshot: polish code
* core/state/snapshot: fix trie iteration abortion trigger
* core/state/snapshot: fixes flaws
* core/state/snapshot: remove panic
* core/state/snapshot: fix abort
* core/state/snapshot: more tests (plus failing testcase)
* core/state/snapshot: more testcases + fix for failing test
* core/state/snapshot: testcase for malformed data
* core/state/snapshot: some test nitpicks
* core/state/snapshot: improvements to logging
* core/state/snapshot: testcase to demo error in abortion
* core/state/snapshot: fix abortion
* cmd/geth: make verify-state report the root
* trie: fix failing test
* core/state/snapshot: add timer metrics
* core/state/snapshot: fix metrics
* core/state/snapshot: udpate tests
* eth/protocols/snap: write snapshot account even if code or state is needed
* core/state/snapshot: fix diskmore check
* core/state/snapshot: review fixes
* core/state/snapshot: improve error message
* cmd/geth: rename 'error' to 'err' in logs
* core/state/snapshot: fix some review concerns
* core/state/snapshot, eth/protocols/snap: clear snapshot marker when starting/resuming snap sync
* core: add error log
* core/state/snapshot: use proper timers for metrics collection
* core/state/snapshot: address some review concerns
* eth/protocols/snap: improved log message
* eth/protocols/snap: fix heal logs to condense infos
* core/state/snapshot: wait for generator termination before restarting
* core/state/snapshot: revert timers to counters to track total time
Co-authored-by: Martin Holst Swende <martin@swende.se>
Co-authored-by: Péter Szilágyi <peterke@gmail.com>
2021-04-14 15:23:11 -05:00
|
|
|
// bytes are converted to the hexary nibbles and composited with the parent path
|
|
|
|
// if the trie node is in a layered trie.
|
|
|
|
//
|
|
|
|
// It's used by state sync and commit to allow handling external references
|
|
|
|
// between account and storage tries. And also it's used in the state healing
|
|
|
|
// for extracting the raw states(leaf nodes) with corresponding paths.
|
2022-07-15 06:55:51 -05:00
|
|
|
type LeafCallback func(keys [][]byte, path []byte, leaf []byte, parent common.Hash, parentPath []byte) error
|
2014-02-14 16:56:09 -06:00
|
|
|
|
2022-08-04 03:03:20 -05:00
|
|
|
// Trie is a Merkle Patricia Trie. Use New to create a trie that sits on
|
|
|
|
// top of a database. Whenever trie performs a commit operation, the generated
|
|
|
|
// nodes will be gathered and returned in a set. Once the trie is committed,
|
|
|
|
// it's not usable anymore. Callers have to re-create the trie with new root
|
|
|
|
// based on the updated trie database.
|
2015-07-05 18:19:48 -05:00
|
|
|
//
|
|
|
|
// Trie is not safe for concurrent use.
|
|
|
|
type Trie struct {
|
2022-06-06 10:14:55 -05:00
|
|
|
root node
|
|
|
|
owner common.Hash
|
2022-03-31 02:28:32 -05:00
|
|
|
|
|
|
|
// Keep track of the number leaves which have been inserted since the last
|
2020-02-04 06:02:38 -06:00
|
|
|
// hashing operation. This number will not directly map to the number of
|
2022-08-04 03:03:20 -05:00
|
|
|
// actually unhashed nodes.
|
2020-02-04 06:02:38 -06:00
|
|
|
unhashed int
|
2022-03-31 02:28:32 -05:00
|
|
|
|
cmd, core, eth, les, light: track deleted nodes (#25757)
* cmd, core, eth, les, light: track deleted nodes
* trie: add docs
* trie: address comments
* cmd, core, eth, les, light, trie: trie id
* trie: add tests
* trie, core: updates
* trie: fix imports
* trie: add utility print-method for nodeset
* trie: import err
* trie: fix go vet warnings
Co-authored-by: Martin Holst Swende <martin@swende.se>
2022-09-27 03:01:02 -05:00
|
|
|
// reader is the handler trie can retrieve nodes from.
|
|
|
|
reader *trieReader
|
2022-08-04 03:03:20 -05:00
|
|
|
|
|
|
|
// tracer is the tool to track the trie changes.
|
|
|
|
// It will be reset after each commit operation.
|
2022-03-31 02:28:32 -05:00
|
|
|
tracer *tracer
|
2016-10-14 11:04:33 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// newFlag returns the cache flag value for a newly created node.
|
|
|
|
func (t *Trie) newFlag() nodeFlag {
|
2019-03-14 08:25:12 -05:00
|
|
|
return nodeFlag{dirty: true}
|
2014-02-24 05:11:00 -06:00
|
|
|
}
|
|
|
|
|
2022-03-31 02:28:32 -05:00
|
|
|
// Copy returns a copy of Trie.
|
|
|
|
func (t *Trie) Copy() *Trie {
|
|
|
|
return &Trie{
|
|
|
|
root: t.root,
|
2022-06-06 10:14:55 -05:00
|
|
|
owner: t.owner,
|
2022-03-31 02:28:32 -05:00
|
|
|
unhashed: t.unhashed,
|
cmd, core, eth, les, light: track deleted nodes (#25757)
* cmd, core, eth, les, light: track deleted nodes
* trie: add docs
* trie: address comments
* cmd, core, eth, les, light, trie: trie id
* trie: add tests
* trie, core: updates
* trie: fix imports
* trie: add utility print-method for nodeset
* trie: import err
* trie: fix go vet warnings
Co-authored-by: Martin Holst Swende <martin@swende.se>
2022-09-27 03:01:02 -05:00
|
|
|
reader: t.reader,
|
2022-03-31 02:28:32 -05:00
|
|
|
tracer: t.tracer.copy(),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
cmd, core, eth, les, light: track deleted nodes (#25757)
* cmd, core, eth, les, light: track deleted nodes
* trie: add docs
* trie: address comments
* cmd, core, eth, les, light, trie: trie id
* trie: add tests
* trie, core: updates
* trie: fix imports
* trie: add utility print-method for nodeset
* trie: import err
* trie: fix go vet warnings
Co-authored-by: Martin Holst Swende <martin@swende.se>
2022-09-27 03:01:02 -05:00
|
|
|
// New creates the trie instance with provided trie id and the read-only
|
|
|
|
// database. The state specified by trie id must be available, otherwise
|
|
|
|
// an error will be returned. The trie root specified by trie id can be
|
|
|
|
// zero hash or the sha3 hash of an empty string, then trie is initially
|
|
|
|
// empty, otherwise, the root node must be present in database or returns
|
|
|
|
// a MissingNodeError if not.
|
|
|
|
func New(id *ID, db NodeReader) (*Trie, error) {
|
|
|
|
reader, err := newTrieReader(id.StateRoot, id.Owner, db)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
2018-02-05 10:40:32 -06:00
|
|
|
trie := &Trie{
|
cmd, core, eth, les, light: track deleted nodes (#25757)
* cmd, core, eth, les, light: track deleted nodes
* trie: add docs
* trie: address comments
* cmd, core, eth, les, light, trie: trie id
* trie: add tests
* trie, core: updates
* trie: fix imports
* trie: add utility print-method for nodeset
* trie: import err
* trie: fix go vet warnings
Co-authored-by: Martin Holst Swende <martin@swende.se>
2022-09-27 03:01:02 -05:00
|
|
|
owner: id.Owner,
|
|
|
|
reader: reader,
|
2022-03-31 02:28:32 -05:00
|
|
|
//tracer: newTracer(),
|
2018-02-05 10:40:32 -06:00
|
|
|
}
|
cmd, core, eth, les, light: track deleted nodes (#25757)
* cmd, core, eth, les, light: track deleted nodes
* trie: add docs
* trie: address comments
* cmd, core, eth, les, light, trie: trie id
* trie: add tests
* trie, core: updates
* trie: fix imports
* trie: add utility print-method for nodeset
* trie: import err
* trie: fix go vet warnings
Co-authored-by: Martin Holst Swende <martin@swende.se>
2022-09-27 03:01:02 -05:00
|
|
|
if id.Root != (common.Hash{}) && id.Root != emptyRoot {
|
|
|
|
rootnode, err := trie.resolveAndTrack(id.Root[:], nil)
|
2016-10-17 14:31:27 -05:00
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
2015-07-05 18:19:48 -05:00
|
|
|
}
|
2016-10-17 14:31:27 -05:00
|
|
|
trie.root = rootnode
|
2014-02-14 16:56:09 -06:00
|
|
|
}
|
2015-07-05 18:19:48 -05:00
|
|
|
return trie, nil
|
2014-02-14 16:56:09 -06:00
|
|
|
}
|
|
|
|
|
2022-08-04 03:03:20 -05:00
|
|
|
// NewEmpty is a shortcut to create empty tree. It's mostly used in tests.
|
|
|
|
func NewEmpty(db *Database) *Trie {
|
cmd, core, eth, les, light: track deleted nodes (#25757)
* cmd, core, eth, les, light: track deleted nodes
* trie: add docs
* trie: address comments
* cmd, core, eth, les, light, trie: trie id
* trie: add tests
* trie, core: updates
* trie: fix imports
* trie: add utility print-method for nodeset
* trie: import err
* trie: fix go vet warnings
Co-authored-by: Martin Holst Swende <martin@swende.se>
2022-09-27 03:01:02 -05:00
|
|
|
tr, _ := New(TrieID(common.Hash{}), db)
|
2022-08-04 03:03:20 -05:00
|
|
|
return tr
|
|
|
|
}
|
|
|
|
|
2017-04-13 07:41:24 -05:00
|
|
|
// NodeIterator returns an iterator that returns nodes of the trie. Iteration starts at
|
|
|
|
// the key after the given start key.
|
|
|
|
func (t *Trie) NodeIterator(start []byte) NodeIterator {
|
|
|
|
return newNodeIterator(t, start)
|
2014-04-29 05:36:27 -05:00
|
|
|
}
|
|
|
|
|
2015-07-05 18:19:48 -05:00
|
|
|
// Get returns the value for key stored in the trie.
|
|
|
|
// The value bytes must not be modified by the caller.
|
|
|
|
func (t *Trie) Get(key []byte) []byte {
|
2015-11-25 11:28:21 -06:00
|
|
|
res, err := t.TryGet(key)
|
2017-02-22 06:10:07 -06:00
|
|
|
if err != nil {
|
2022-09-01 01:41:10 -05:00
|
|
|
log.Error("Unhandled trie error in Trie.Get", "err", err)
|
2015-11-25 11:28:21 -06:00
|
|
|
}
|
|
|
|
return res
|
|
|
|
}
|
|
|
|
|
|
|
|
// TryGet returns the value for key stored in the trie.
|
|
|
|
// The value bytes must not be modified by the caller.
|
|
|
|
// If a node was not found in the database, a MissingNodeError is returned.
|
|
|
|
func (t *Trie) TryGet(key []byte) ([]byte, error) {
|
2020-08-28 02:50:37 -05:00
|
|
|
value, newroot, didResolve, err := t.tryGet(t.root, keybytesToHex(key), 0)
|
2016-09-25 13:49:02 -05:00
|
|
|
if err == nil && didResolve {
|
|
|
|
t.root = newroot
|
|
|
|
}
|
|
|
|
return value, err
|
|
|
|
}
|
|
|
|
|
|
|
|
func (t *Trie) tryGet(origNode node, key []byte, pos int) (value []byte, newnode node, didResolve bool, err error) {
|
|
|
|
switch n := (origNode).(type) {
|
|
|
|
case nil:
|
|
|
|
return nil, nil, false, nil
|
|
|
|
case valueNode:
|
|
|
|
return n, n, false, nil
|
2016-10-14 11:04:33 -05:00
|
|
|
case *shortNode:
|
2016-09-25 13:49:02 -05:00
|
|
|
if len(key)-pos < len(n.Key) || !bytes.Equal(n.Key, key[pos:pos+len(n.Key)]) {
|
|
|
|
// key not found in trie
|
|
|
|
return nil, n, false, nil
|
|
|
|
}
|
|
|
|
value, newnode, didResolve, err = t.tryGet(n.Val, key, pos+len(n.Key))
|
|
|
|
if err == nil && didResolve {
|
2016-10-14 11:04:33 -05:00
|
|
|
n = n.copy()
|
2016-09-25 13:49:02 -05:00
|
|
|
n.Val = newnode
|
|
|
|
}
|
2016-10-14 11:04:33 -05:00
|
|
|
return value, n, didResolve, err
|
|
|
|
case *fullNode:
|
|
|
|
value, newnode, didResolve, err = t.tryGet(n.Children[key[pos]], key, pos+1)
|
2016-09-25 13:49:02 -05:00
|
|
|
if err == nil && didResolve {
|
2016-10-14 11:04:33 -05:00
|
|
|
n = n.copy()
|
2016-09-25 13:49:02 -05:00
|
|
|
n.Children[key[pos]] = newnode
|
|
|
|
}
|
2016-10-14 11:04:33 -05:00
|
|
|
return value, n, didResolve, err
|
2016-09-25 13:49:02 -05:00
|
|
|
case hashNode:
|
cmd, core, eth, les, light: track deleted nodes (#25757)
* cmd, core, eth, les, light: track deleted nodes
* trie: add docs
* trie: address comments
* cmd, core, eth, les, light, trie: trie id
* trie: add tests
* trie, core: updates
* trie: fix imports
* trie: add utility print-method for nodeset
* trie: import err
* trie: fix go vet warnings
Co-authored-by: Martin Holst Swende <martin@swende.se>
2022-09-27 03:01:02 -05:00
|
|
|
child, err := t.resolveAndTrack(n, key[:pos])
|
2016-09-25 13:49:02 -05:00
|
|
|
if err != nil {
|
|
|
|
return nil, n, true, err
|
2015-07-05 18:19:48 -05:00
|
|
|
}
|
2016-09-25 13:49:02 -05:00
|
|
|
value, newnode, _, err := t.tryGet(child, key, pos)
|
|
|
|
return value, newnode, true, err
|
|
|
|
default:
|
|
|
|
panic(fmt.Sprintf("%T: invalid node: %v", origNode, origNode))
|
2014-10-29 08:20:42 -05:00
|
|
|
}
|
2014-02-14 16:56:09 -06:00
|
|
|
}
|
|
|
|
|
2020-08-28 02:50:37 -05:00
|
|
|
// TryGetNode attempts to retrieve a trie node by compact-encoded path. It is not
|
|
|
|
// possible to use keybyte-encoding as the path might contain odd nibbles.
|
|
|
|
func (t *Trie) TryGetNode(path []byte) ([]byte, int, error) {
|
|
|
|
item, newroot, resolved, err := t.tryGetNode(t.root, compactToHex(path), 0)
|
|
|
|
if err != nil {
|
|
|
|
return nil, resolved, err
|
|
|
|
}
|
|
|
|
if resolved > 0 {
|
|
|
|
t.root = newroot
|
|
|
|
}
|
|
|
|
if item == nil {
|
|
|
|
return nil, resolved, nil
|
|
|
|
}
|
2020-12-14 03:27:15 -06:00
|
|
|
return item, resolved, err
|
2020-08-28 02:50:37 -05:00
|
|
|
}
|
|
|
|
|
2020-12-14 03:27:15 -06:00
|
|
|
func (t *Trie) tryGetNode(origNode node, path []byte, pos int) (item []byte, newnode node, resolved int, err error) {
|
2021-09-29 08:19:40 -05:00
|
|
|
// If non-existent path requested, abort
|
|
|
|
if origNode == nil {
|
|
|
|
return nil, nil, 0, nil
|
|
|
|
}
|
2020-08-28 02:50:37 -05:00
|
|
|
// If we reached the requested path, return the current node
|
|
|
|
if pos >= len(path) {
|
2020-12-14 03:27:15 -06:00
|
|
|
// Although we most probably have the original node expanded, encoding
|
|
|
|
// that into consensus form can be nasty (needs to cascade down) and
|
|
|
|
// time consuming. Instead, just pull the hash up from disk directly.
|
|
|
|
var hash hashNode
|
|
|
|
if node, ok := origNode.(hashNode); ok {
|
|
|
|
hash = node
|
|
|
|
} else {
|
|
|
|
hash, _ = origNode.cache()
|
|
|
|
}
|
|
|
|
if hash == nil {
|
|
|
|
return nil, origNode, 0, errors.New("non-consensus node")
|
2020-08-28 02:50:37 -05:00
|
|
|
}
|
cmd, core, eth, les, light: track deleted nodes (#25757)
* cmd, core, eth, les, light: track deleted nodes
* trie: add docs
* trie: address comments
* cmd, core, eth, les, light, trie: trie id
* trie: add tests
* trie, core: updates
* trie: fix imports
* trie: add utility print-method for nodeset
* trie: import err
* trie: fix go vet warnings
Co-authored-by: Martin Holst Swende <martin@swende.se>
2022-09-27 03:01:02 -05:00
|
|
|
blob, err := t.reader.nodeBlob(path, common.BytesToHash(hash))
|
2020-12-14 03:27:15 -06:00
|
|
|
return blob, origNode, 1, err
|
2020-08-28 02:50:37 -05:00
|
|
|
}
|
|
|
|
// Path still needs to be traversed, descend into children
|
|
|
|
switch n := (origNode).(type) {
|
|
|
|
case valueNode:
|
|
|
|
// Path prematurely ended, abort
|
|
|
|
return nil, nil, 0, nil
|
|
|
|
|
|
|
|
case *shortNode:
|
|
|
|
if len(path)-pos < len(n.Key) || !bytes.Equal(n.Key, path[pos:pos+len(n.Key)]) {
|
|
|
|
// Path branches off from short node
|
|
|
|
return nil, n, 0, nil
|
|
|
|
}
|
|
|
|
item, newnode, resolved, err = t.tryGetNode(n.Val, path, pos+len(n.Key))
|
|
|
|
if err == nil && resolved > 0 {
|
|
|
|
n = n.copy()
|
|
|
|
n.Val = newnode
|
|
|
|
}
|
|
|
|
return item, n, resolved, err
|
|
|
|
|
|
|
|
case *fullNode:
|
|
|
|
item, newnode, resolved, err = t.tryGetNode(n.Children[path[pos]], path, pos+1)
|
|
|
|
if err == nil && resolved > 0 {
|
|
|
|
n = n.copy()
|
|
|
|
n.Children[path[pos]] = newnode
|
|
|
|
}
|
|
|
|
return item, n, resolved, err
|
|
|
|
|
|
|
|
case hashNode:
|
cmd, core, eth, les, light: track deleted nodes (#25757)
* cmd, core, eth, les, light: track deleted nodes
* trie: add docs
* trie: address comments
* cmd, core, eth, les, light, trie: trie id
* trie: add tests
* trie, core: updates
* trie: fix imports
* trie: add utility print-method for nodeset
* trie: import err
* trie: fix go vet warnings
Co-authored-by: Martin Holst Swende <martin@swende.se>
2022-09-27 03:01:02 -05:00
|
|
|
child, err := t.resolveAndTrack(n, path[:pos])
|
2020-08-28 02:50:37 -05:00
|
|
|
if err != nil {
|
|
|
|
return nil, n, 1, err
|
|
|
|
}
|
|
|
|
item, newnode, resolved, err := t.tryGetNode(child, path, pos)
|
|
|
|
return item, newnode, resolved + 1, err
|
|
|
|
|
|
|
|
default:
|
|
|
|
panic(fmt.Sprintf("%T: invalid node: %v", origNode, origNode))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-07-05 18:19:48 -05:00
|
|
|
// Update associates key with value in the trie. Subsequent calls to
|
|
|
|
// Get will return value. If value has length zero, any existing value
|
|
|
|
// is deleted from the trie and calls to Get will return nil.
|
|
|
|
//
|
|
|
|
// The value bytes must not be modified by the caller while they are
|
|
|
|
// stored in the trie.
|
|
|
|
func (t *Trie) Update(key, value []byte) {
|
2017-02-22 06:10:07 -06:00
|
|
|
if err := t.TryUpdate(key, value); err != nil {
|
2022-09-01 01:41:10 -05:00
|
|
|
log.Error("Unhandled trie error in Trie.Update", "err", err)
|
2015-11-25 11:28:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// TryUpdate associates key with value in the trie. Subsequent calls to
|
|
|
|
// Get will return value. If value has length zero, any existing value
|
|
|
|
// is deleted from the trie and calls to Get will return nil.
|
|
|
|
//
|
|
|
|
// The value bytes must not be modified by the caller while they are
|
|
|
|
// stored in the trie.
|
|
|
|
//
|
|
|
|
// If a node was not found in the database, a MissingNodeError is returned.
|
|
|
|
func (t *Trie) TryUpdate(key, value []byte) error {
|
2022-08-04 09:13:18 -05:00
|
|
|
return t.tryUpdate(key, value)
|
|
|
|
}
|
|
|
|
|
|
|
|
// tryUpdate expects an RLP-encoded value and performs the core function
|
|
|
|
// for TryUpdate and TryUpdateAccount.
|
|
|
|
func (t *Trie) tryUpdate(key, value []byte) error {
|
2020-02-04 06:02:38 -06:00
|
|
|
t.unhashed++
|
2017-04-18 06:25:07 -05:00
|
|
|
k := keybytesToHex(key)
|
2015-01-08 04:47:04 -06:00
|
|
|
if len(value) != 0 {
|
2016-05-19 05:24:14 -05:00
|
|
|
_, n, err := t.insert(t.root, nil, k, valueNode(value))
|
2015-11-25 11:28:21 -06:00
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
t.root = n
|
2014-11-18 05:03:09 -06:00
|
|
|
} else {
|
2016-05-19 05:24:14 -05:00
|
|
|
_, n, err := t.delete(t.root, nil, k)
|
2015-11-25 11:28:21 -06:00
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
t.root = n
|
2014-11-18 05:03:09 -06:00
|
|
|
}
|
2015-11-25 11:28:21 -06:00
|
|
|
return nil
|
2014-07-02 06:40:02 -05:00
|
|
|
}
|
|
|
|
|
2016-05-19 05:24:14 -05:00
|
|
|
func (t *Trie) insert(n node, prefix, key []byte, value node) (bool, node, error) {
|
2015-01-08 04:47:04 -06:00
|
|
|
if len(key) == 0 {
|
2016-05-19 05:24:14 -05:00
|
|
|
if v, ok := n.(valueNode); ok {
|
|
|
|
return !bytes.Equal(v, value.(valueNode)), value, nil
|
|
|
|
}
|
|
|
|
return true, value, nil
|
2014-02-14 16:56:09 -06:00
|
|
|
}
|
2015-07-05 18:19:48 -05:00
|
|
|
switch n := n.(type) {
|
2016-10-14 11:04:33 -05:00
|
|
|
case *shortNode:
|
2015-07-05 18:19:48 -05:00
|
|
|
matchlen := prefixLen(key, n.Key)
|
|
|
|
// If the whole key matches, keep this short node as is
|
|
|
|
// and only update the value.
|
|
|
|
if matchlen == len(n.Key) {
|
2016-05-19 05:24:14 -05:00
|
|
|
dirty, nn, err := t.insert(n.Val, append(prefix, key[:matchlen]...), key[matchlen:], value)
|
2016-10-14 11:04:33 -05:00
|
|
|
if !dirty || err != nil {
|
|
|
|
return false, n, err
|
2016-05-19 05:24:14 -05:00
|
|
|
}
|
2016-10-14 11:04:33 -05:00
|
|
|
return true, &shortNode{n.Key, nn, t.newFlag()}, nil
|
2015-01-08 04:47:04 -06:00
|
|
|
}
|
2015-07-05 18:19:48 -05:00
|
|
|
// Otherwise branch out at the index where they differ.
|
2016-10-14 11:04:33 -05:00
|
|
|
branch := &fullNode{flags: t.newFlag()}
|
2015-11-25 11:28:21 -06:00
|
|
|
var err error
|
2016-05-19 05:24:14 -05:00
|
|
|
_, branch.Children[n.Key[matchlen]], err = t.insert(nil, append(prefix, n.Key[:matchlen+1]...), n.Key[matchlen+1:], n.Val)
|
2015-11-25 11:28:21 -06:00
|
|
|
if err != nil {
|
2016-05-19 05:24:14 -05:00
|
|
|
return false, nil, err
|
2015-11-25 11:28:21 -06:00
|
|
|
}
|
2016-05-19 05:24:14 -05:00
|
|
|
_, branch.Children[key[matchlen]], err = t.insert(nil, append(prefix, key[:matchlen+1]...), key[matchlen+1:], value)
|
2015-11-25 11:28:21 -06:00
|
|
|
if err != nil {
|
2016-05-19 05:24:14 -05:00
|
|
|
return false, nil, err
|
2015-11-25 11:28:21 -06:00
|
|
|
}
|
2015-07-05 18:19:48 -05:00
|
|
|
// Replace this shortNode with the branch if it occurs at index 0.
|
|
|
|
if matchlen == 0 {
|
2016-05-19 05:24:14 -05:00
|
|
|
return true, branch, nil
|
2014-02-14 16:56:09 -06:00
|
|
|
}
|
2022-03-31 02:28:32 -05:00
|
|
|
// New branch node is created as a child of the original short node.
|
|
|
|
// Track the newly inserted node in the tracer. The node identifier
|
|
|
|
// passed is the path from the root node.
|
|
|
|
t.tracer.onInsert(append(prefix, key[:matchlen]...))
|
|
|
|
|
|
|
|
// Replace it with a short node leading up to the branch.
|
2016-10-14 11:04:33 -05:00
|
|
|
return true, &shortNode{key[:matchlen], branch, t.newFlag()}, nil
|
2014-02-14 16:56:09 -06:00
|
|
|
|
2016-10-14 11:04:33 -05:00
|
|
|
case *fullNode:
|
2016-05-19 05:24:14 -05:00
|
|
|
dirty, nn, err := t.insert(n.Children[key[0]], append(prefix, key[0]), key[1:], value)
|
2016-10-14 11:04:33 -05:00
|
|
|
if !dirty || err != nil {
|
|
|
|
return false, n, err
|
2015-11-25 11:28:21 -06:00
|
|
|
}
|
2016-10-14 11:04:33 -05:00
|
|
|
n = n.copy()
|
2016-10-17 09:13:50 -05:00
|
|
|
n.flags = t.newFlag()
|
|
|
|
n.Children[key[0]] = nn
|
2016-05-19 05:24:14 -05:00
|
|
|
return true, n, nil
|
2014-02-14 16:56:09 -06:00
|
|
|
|
2015-07-05 18:19:48 -05:00
|
|
|
case nil:
|
2022-03-31 02:28:32 -05:00
|
|
|
// New short node is created and track it in the tracer. The node identifier
|
|
|
|
// passed is the path from the root node. Note the valueNode won't be tracked
|
|
|
|
// since it's always embedded in its parent.
|
|
|
|
t.tracer.onInsert(prefix)
|
|
|
|
|
2016-10-14 11:04:33 -05:00
|
|
|
return true, &shortNode{key, value, t.newFlag()}, nil
|
2014-02-14 16:56:09 -06:00
|
|
|
|
2015-07-05 18:19:48 -05:00
|
|
|
case hashNode:
|
|
|
|
// We've hit a part of the trie that isn't loaded yet. Load
|
|
|
|
// the node and insert into it. This leaves all child nodes on
|
|
|
|
// the path to the value in the trie.
|
cmd, core, eth, les, light: track deleted nodes (#25757)
* cmd, core, eth, les, light: track deleted nodes
* trie: add docs
* trie: address comments
* cmd, core, eth, les, light, trie: trie id
* trie: add tests
* trie, core: updates
* trie: fix imports
* trie: add utility print-method for nodeset
* trie: import err
* trie: fix go vet warnings
Co-authored-by: Martin Holst Swende <martin@swende.se>
2022-09-27 03:01:02 -05:00
|
|
|
rn, err := t.resolveAndTrack(n, prefix)
|
2015-11-25 11:28:21 -06:00
|
|
|
if err != nil {
|
2016-05-19 05:24:14 -05:00
|
|
|
return false, nil, err
|
|
|
|
}
|
|
|
|
dirty, nn, err := t.insert(rn, prefix, key, value)
|
2016-10-14 11:04:33 -05:00
|
|
|
if !dirty || err != nil {
|
|
|
|
return false, rn, err
|
2016-05-19 05:24:14 -05:00
|
|
|
}
|
|
|
|
return true, nn, nil
|
2014-02-14 16:56:09 -06:00
|
|
|
|
2015-01-08 04:47:04 -06:00
|
|
|
default:
|
2015-07-05 18:19:48 -05:00
|
|
|
panic(fmt.Sprintf("%T: invalid node: %v", n, n))
|
2014-02-14 16:56:09 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-07-05 18:19:48 -05:00
|
|
|
// Delete removes any existing value for key from the trie.
|
|
|
|
func (t *Trie) Delete(key []byte) {
|
2017-02-22 06:10:07 -06:00
|
|
|
if err := t.TryDelete(key); err != nil {
|
2022-09-01 01:41:10 -05:00
|
|
|
log.Error("Unhandled trie error in Trie.Delete", "err", err)
|
2015-11-25 11:28:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// TryDelete removes any existing value for key from the trie.
|
|
|
|
// If a node was not found in the database, a MissingNodeError is returned.
|
|
|
|
func (t *Trie) TryDelete(key []byte) error {
|
2020-02-04 06:02:38 -06:00
|
|
|
t.unhashed++
|
2017-04-18 06:25:07 -05:00
|
|
|
k := keybytesToHex(key)
|
2016-05-19 05:24:14 -05:00
|
|
|
_, n, err := t.delete(t.root, nil, k)
|
2015-11-25 11:28:21 -06:00
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
t.root = n
|
|
|
|
return nil
|
2014-02-14 16:56:09 -06:00
|
|
|
}
|
|
|
|
|
2015-07-05 18:19:48 -05:00
|
|
|
// delete returns the new root of the trie with key deleted.
|
|
|
|
// It reduces the trie to minimal form by simplifying
|
|
|
|
// nodes on the way up after deleting recursively.
|
2016-05-19 05:24:14 -05:00
|
|
|
func (t *Trie) delete(n node, prefix, key []byte) (bool, node, error) {
|
2015-07-05 18:19:48 -05:00
|
|
|
switch n := n.(type) {
|
2016-10-14 11:04:33 -05:00
|
|
|
case *shortNode:
|
2015-07-05 18:19:48 -05:00
|
|
|
matchlen := prefixLen(key, n.Key)
|
|
|
|
if matchlen < len(n.Key) {
|
2016-05-19 05:24:14 -05:00
|
|
|
return false, n, nil // don't replace n on mismatch
|
2015-07-05 18:19:48 -05:00
|
|
|
}
|
|
|
|
if matchlen == len(key) {
|
2022-03-31 02:28:32 -05:00
|
|
|
// The matched short node is deleted entirely and track
|
|
|
|
// it in the deletion set. The same the valueNode doesn't
|
|
|
|
// need to be tracked at all since it's always embedded.
|
|
|
|
t.tracer.onDelete(prefix)
|
|
|
|
|
2016-05-19 05:24:14 -05:00
|
|
|
return true, nil, nil // remove n entirely for whole matches
|
2015-07-05 18:19:48 -05:00
|
|
|
}
|
|
|
|
// The key is longer than n.Key. Remove the remaining suffix
|
|
|
|
// from the subtrie. Child can never be nil here since the
|
|
|
|
// subtrie must contain at least two other values with keys
|
|
|
|
// longer than n.Key.
|
2016-05-19 05:24:14 -05:00
|
|
|
dirty, child, err := t.delete(n.Val, append(prefix, key[:len(n.Key)]...), key[len(n.Key):])
|
2016-10-14 11:04:33 -05:00
|
|
|
if !dirty || err != nil {
|
|
|
|
return false, n, err
|
2015-11-25 11:28:21 -06:00
|
|
|
}
|
2015-07-05 18:19:48 -05:00
|
|
|
switch child := child.(type) {
|
2016-10-14 11:04:33 -05:00
|
|
|
case *shortNode:
|
2022-03-31 02:28:32 -05:00
|
|
|
// The child shortNode is merged into its parent, track
|
|
|
|
// is deleted as well.
|
|
|
|
t.tracer.onDelete(append(prefix, n.Key...))
|
|
|
|
|
2015-07-05 18:19:48 -05:00
|
|
|
// Deleting from the subtrie reduced it to another
|
|
|
|
// short node. Merge the nodes to avoid creating a
|
|
|
|
// shortNode{..., shortNode{...}}. Use concat (which
|
|
|
|
// always creates a new slice) instead of append to
|
|
|
|
// avoid modifying n.Key since it might be shared with
|
|
|
|
// other nodes.
|
2016-10-14 11:04:33 -05:00
|
|
|
return true, &shortNode{concat(n.Key, child.Key...), child.Val, t.newFlag()}, nil
|
2015-07-05 18:19:48 -05:00
|
|
|
default:
|
2016-10-14 11:04:33 -05:00
|
|
|
return true, &shortNode{n.Key, child, t.newFlag()}, nil
|
2014-02-20 07:40:00 -06:00
|
|
|
}
|
|
|
|
|
2016-10-14 11:04:33 -05:00
|
|
|
case *fullNode:
|
2016-05-19 05:24:14 -05:00
|
|
|
dirty, nn, err := t.delete(n.Children[key[0]], append(prefix, key[0]), key[1:])
|
2016-10-14 11:04:33 -05:00
|
|
|
if !dirty || err != nil {
|
|
|
|
return false, n, err
|
2016-05-19 05:24:14 -05:00
|
|
|
}
|
2016-10-14 11:04:33 -05:00
|
|
|
n = n.copy()
|
2016-10-17 09:13:50 -05:00
|
|
|
n.flags = t.newFlag()
|
|
|
|
n.Children[key[0]] = nn
|
2016-05-19 05:24:14 -05:00
|
|
|
|
2021-06-20 08:59:00 -05:00
|
|
|
// Because n is a full node, it must've contained at least two children
|
|
|
|
// before the delete operation. If the new child value is non-nil, n still
|
|
|
|
// has at least two children after the deletion, and cannot be reduced to
|
|
|
|
// a short node.
|
|
|
|
if nn != nil {
|
|
|
|
return true, n, nil
|
|
|
|
}
|
|
|
|
// Reduction:
|
2015-07-05 18:19:48 -05:00
|
|
|
// Check how many non-nil entries are left after deleting and
|
|
|
|
// reduce the full node to a short node if only one entry is
|
|
|
|
// left. Since n must've contained at least two children
|
|
|
|
// before deletion (otherwise it would not be a full node) n
|
|
|
|
// can never be reduced to nil.
|
|
|
|
//
|
|
|
|
// When the loop is done, pos contains the index of the single
|
|
|
|
// value that is left in n or -2 if n contains at least two
|
|
|
|
// values.
|
2015-01-08 04:47:04 -06:00
|
|
|
pos := -1
|
2018-08-07 05:56:40 -05:00
|
|
|
for i, cld := range &n.Children {
|
2015-07-05 18:19:48 -05:00
|
|
|
if cld != nil {
|
2015-01-08 04:47:04 -06:00
|
|
|
if pos == -1 {
|
|
|
|
pos = i
|
2014-02-20 07:40:00 -06:00
|
|
|
} else {
|
2015-01-08 04:47:04 -06:00
|
|
|
pos = -2
|
2015-07-05 18:19:48 -05:00
|
|
|
break
|
2014-02-20 07:40:00 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2015-07-05 18:19:48 -05:00
|
|
|
if pos >= 0 {
|
|
|
|
if pos != 16 {
|
|
|
|
// If the remaining entry is a short node, it replaces
|
|
|
|
// n and its key gets the missing nibble tacked to the
|
|
|
|
// front. This avoids creating an invalid
|
|
|
|
// shortNode{..., shortNode{...}}. Since the entry
|
|
|
|
// might not be loaded yet, resolve it just for this
|
|
|
|
// check.
|
2022-08-04 03:03:20 -05:00
|
|
|
cnode, err := t.resolve(n.Children[pos], append(prefix, byte(pos)))
|
2015-11-25 11:28:21 -06:00
|
|
|
if err != nil {
|
2016-05-19 05:24:14 -05:00
|
|
|
return false, nil, err
|
2015-11-25 11:28:21 -06:00
|
|
|
}
|
2016-10-14 11:04:33 -05:00
|
|
|
if cnode, ok := cnode.(*shortNode); ok {
|
2022-03-31 02:28:32 -05:00
|
|
|
// Replace the entire full node with the short node.
|
|
|
|
// Mark the original short node as deleted since the
|
|
|
|
// value is embedded into the parent now.
|
|
|
|
t.tracer.onDelete(append(prefix, byte(pos)))
|
|
|
|
|
2015-07-05 18:19:48 -05:00
|
|
|
k := append([]byte{byte(pos)}, cnode.Key...)
|
2016-10-14 11:04:33 -05:00
|
|
|
return true, &shortNode{k, cnode.Val, t.newFlag()}, nil
|
2015-07-05 18:19:48 -05:00
|
|
|
}
|
2015-01-08 04:47:04 -06:00
|
|
|
}
|
2015-07-05 18:19:48 -05:00
|
|
|
// Otherwise, n is replaced by a one-nibble short node
|
|
|
|
// containing the child.
|
2016-10-14 11:04:33 -05:00
|
|
|
return true, &shortNode{[]byte{byte(pos)}, n.Children[pos], t.newFlag()}, nil
|
2014-02-20 07:40:00 -06:00
|
|
|
}
|
2015-07-05 18:19:48 -05:00
|
|
|
// n still contains at least two values and cannot be reduced.
|
2016-05-19 05:24:14 -05:00
|
|
|
return true, n, nil
|
2014-02-20 07:40:00 -06:00
|
|
|
|
2016-09-29 09:51:32 -05:00
|
|
|
case valueNode:
|
|
|
|
return true, nil, nil
|
|
|
|
|
2015-01-08 04:47:04 -06:00
|
|
|
case nil:
|
2016-05-19 05:24:14 -05:00
|
|
|
return false, nil, nil
|
2015-07-05 18:19:48 -05:00
|
|
|
|
|
|
|
case hashNode:
|
|
|
|
// We've hit a part of the trie that isn't loaded yet. Load
|
|
|
|
// the node and delete from it. This leaves all child nodes on
|
|
|
|
// the path to the value in the trie.
|
cmd, core, eth, les, light: track deleted nodes (#25757)
* cmd, core, eth, les, light: track deleted nodes
* trie: add docs
* trie: address comments
* cmd, core, eth, les, light, trie: trie id
* trie: add tests
* trie, core: updates
* trie: fix imports
* trie: add utility print-method for nodeset
* trie: import err
* trie: fix go vet warnings
Co-authored-by: Martin Holst Swende <martin@swende.se>
2022-09-27 03:01:02 -05:00
|
|
|
rn, err := t.resolveAndTrack(n, prefix)
|
2015-11-25 11:28:21 -06:00
|
|
|
if err != nil {
|
2016-05-19 05:24:14 -05:00
|
|
|
return false, nil, err
|
2015-11-25 11:28:21 -06:00
|
|
|
}
|
2016-05-19 05:24:14 -05:00
|
|
|
dirty, nn, err := t.delete(rn, prefix, key)
|
2016-10-14 11:04:33 -05:00
|
|
|
if !dirty || err != nil {
|
|
|
|
return false, rn, err
|
2016-05-19 05:24:14 -05:00
|
|
|
}
|
|
|
|
return true, nn, nil
|
2015-07-05 18:19:48 -05:00
|
|
|
|
2015-01-08 04:47:04 -06:00
|
|
|
default:
|
2015-07-05 18:19:48 -05:00
|
|
|
panic(fmt.Sprintf("%T: invalid node: %v (%v)", n, n, key))
|
2014-02-20 07:40:00 -06:00
|
|
|
}
|
2014-02-24 05:11:00 -06:00
|
|
|
}
|
|
|
|
|
2015-07-05 18:19:48 -05:00
|
|
|
func concat(s1 []byte, s2 ...byte) []byte {
|
|
|
|
r := make([]byte, len(s1)+len(s2))
|
|
|
|
copy(r, s1)
|
|
|
|
copy(r[len(s1):], s2)
|
|
|
|
return r
|
|
|
|
}
|
|
|
|
|
2017-06-20 11:26:09 -05:00
|
|
|
func (t *Trie) resolve(n node, prefix []byte) (node, error) {
|
2015-07-05 18:19:48 -05:00
|
|
|
if n, ok := n.(hashNode); ok {
|
cmd, core, eth, les, light: track deleted nodes (#25757)
* cmd, core, eth, les, light: track deleted nodes
* trie: add docs
* trie: address comments
* cmd, core, eth, les, light, trie: trie id
* trie: add tests
* trie, core: updates
* trie: fix imports
* trie: add utility print-method for nodeset
* trie: import err
* trie: fix go vet warnings
Co-authored-by: Martin Holst Swende <martin@swende.se>
2022-09-27 03:01:02 -05:00
|
|
|
return t.resolveAndTrack(n, prefix)
|
2015-07-05 18:19:48 -05:00
|
|
|
}
|
2015-11-25 11:28:21 -06:00
|
|
|
return n, nil
|
2015-07-05 18:19:48 -05:00
|
|
|
}
|
|
|
|
|
cmd, core, eth, les, light: track deleted nodes (#25757)
* cmd, core, eth, les, light: track deleted nodes
* trie: add docs
* trie: address comments
* cmd, core, eth, les, light, trie: trie id
* trie: add tests
* trie, core: updates
* trie: fix imports
* trie: add utility print-method for nodeset
* trie: import err
* trie: fix go vet warnings
Co-authored-by: Martin Holst Swende <martin@swende.se>
2022-09-27 03:01:02 -05:00
|
|
|
// resolveAndTrack loads node from the underlying store with the given node hash
|
|
|
|
// and path prefix and also tracks the loaded node blob in tracer treated as the
|
|
|
|
// node's original value. The rlp-encoded blob is preferred to be loaded from
|
|
|
|
// database because it's easy to decode node while complex to encode node to blob.
|
|
|
|
func (t *Trie) resolveAndTrack(n hashNode, prefix []byte) (node, error) {
|
|
|
|
blob, err := t.reader.nodeBlob(prefix, common.BytesToHash(n))
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
2022-02-15 02:07:27 -06:00
|
|
|
}
|
cmd, core, eth, les, light: track deleted nodes (#25757)
* cmd, core, eth, les, light: track deleted nodes
* trie: add docs
* trie: address comments
* cmd, core, eth, les, light, trie: trie id
* trie: add tests
* trie, core: updates
* trie: fix imports
* trie: add utility print-method for nodeset
* trie: import err
* trie: fix go vet warnings
Co-authored-by: Martin Holst Swende <martin@swende.se>
2022-09-27 03:01:02 -05:00
|
|
|
t.tracer.onRead(prefix, blob)
|
|
|
|
return mustDecodeNode(n, blob), nil
|
2022-02-15 02:07:27 -06:00
|
|
|
}
|
|
|
|
|
2015-07-05 18:19:48 -05:00
|
|
|
// Hash returns the root hash of the trie. It does not write to the
|
|
|
|
// database and can be used even if the trie doesn't have one.
|
|
|
|
func (t *Trie) Hash() common.Hash {
|
2020-12-14 03:27:15 -06:00
|
|
|
hash, cached, _ := t.hashRoot()
|
2016-05-19 05:24:14 -05:00
|
|
|
t.root = cached
|
|
|
|
return common.BytesToHash(hash.(hashNode))
|
2014-02-24 05:11:00 -06:00
|
|
|
}
|
|
|
|
|
2022-09-08 05:36:07 -05:00
|
|
|
// Commit collects all dirty nodes in the trie and replaces them with the
|
|
|
|
// corresponding node hash. All collected nodes (including dirty leaves if
|
2022-08-04 03:03:20 -05:00
|
|
|
// collectLeaf is true) will be encapsulated into a nodeset for return.
|
2022-09-08 05:36:07 -05:00
|
|
|
// The returned nodeset can be nil if the trie is clean (nothing to commit).
|
2022-08-04 03:03:20 -05:00
|
|
|
// Once the trie is committed, it's not usable anymore. A new trie must
|
|
|
|
// be created with new root and updated trie database for following usage
|
|
|
|
func (t *Trie) Commit(collectLeaf bool) (common.Hash, *NodeSet, error) {
|
2022-03-31 02:28:32 -05:00
|
|
|
defer t.tracer.reset()
|
|
|
|
|
2020-02-03 09:28:30 -06:00
|
|
|
if t.root == nil {
|
2022-08-04 03:03:20 -05:00
|
|
|
return emptyRoot, nil, nil
|
2020-02-03 09:28:30 -06:00
|
|
|
}
|
2020-09-30 06:45:56 -05:00
|
|
|
// Derive the hash for all dirty nodes first. We hold the assumption
|
|
|
|
// in the following procedure that all nodes are hashed.
|
2020-02-03 09:28:30 -06:00
|
|
|
rootHash := t.Hash()
|
2020-09-30 06:45:56 -05:00
|
|
|
|
2022-08-04 03:03:20 -05:00
|
|
|
// Do a quick check if we really need to commit. This can happen e.g.
|
|
|
|
// if we load a trie for reading storage values, but don't write to it.
|
2022-06-06 10:14:55 -05:00
|
|
|
if hashedNode, dirty := t.root.cache(); !dirty {
|
|
|
|
// Replace the root node with the origin hash in order to
|
|
|
|
// ensure all resolved nodes are dropped after the commit.
|
|
|
|
t.root = hashedNode
|
2022-08-04 03:03:20 -05:00
|
|
|
return rootHash, nil, nil
|
2020-02-03 09:28:30 -06:00
|
|
|
}
|
cmd, core, eth, les, light: track deleted nodes (#25757)
* cmd, core, eth, les, light: track deleted nodes
* trie: add docs
* trie: address comments
* cmd, core, eth, les, light, trie: trie id
* trie: add tests
* trie, core: updates
* trie: fix imports
* trie: add utility print-method for nodeset
* trie: import err
* trie: fix go vet warnings
Co-authored-by: Martin Holst Swende <martin@swende.se>
2022-09-27 03:01:02 -05:00
|
|
|
h := newCommitter(t.owner, t.tracer, collectLeaf)
|
2022-08-04 03:03:20 -05:00
|
|
|
newRoot, nodes, err := h.Commit(t.root)
|
2015-07-05 18:19:48 -05:00
|
|
|
if err != nil {
|
2022-08-04 03:03:20 -05:00
|
|
|
return common.Hash{}, nil, err
|
2015-07-05 18:19:48 -05:00
|
|
|
}
|
2020-02-03 09:28:30 -06:00
|
|
|
t.root = newRoot
|
2022-08-04 03:03:20 -05:00
|
|
|
return rootHash, nodes, nil
|
2015-07-05 18:19:48 -05:00
|
|
|
}
|
2014-05-26 18:08:51 -05:00
|
|
|
|
2020-02-03 09:28:30 -06:00
|
|
|
// hashRoot calculates the root hash of the given trie
|
2020-12-14 03:27:15 -06:00
|
|
|
func (t *Trie) hashRoot() (node, node, error) {
|
2015-07-05 18:19:48 -05:00
|
|
|
if t.root == nil {
|
2016-05-19 05:24:14 -05:00
|
|
|
return hashNode(emptyRoot.Bytes()), nil, nil
|
2015-07-05 18:19:48 -05:00
|
|
|
}
|
2020-02-04 06:02:38 -06:00
|
|
|
// If the number of changes is below 100, we let one thread handle it
|
|
|
|
h := newHasher(t.unhashed >= 100)
|
2018-01-15 07:32:14 -06:00
|
|
|
defer returnHasherToPool(h)
|
2020-02-03 09:28:30 -06:00
|
|
|
hashed, cached := h.hash(t.root, true)
|
2020-02-04 06:02:38 -06:00
|
|
|
t.unhashed = 0
|
2020-02-03 09:28:30 -06:00
|
|
|
return hashed, cached, nil
|
2014-05-26 18:08:51 -05:00
|
|
|
}
|
2020-08-21 07:10:40 -05:00
|
|
|
|
|
|
|
// Reset drops the referenced root node and cleans all internal state.
|
|
|
|
func (t *Trie) Reset() {
|
|
|
|
t.root = nil
|
2022-06-06 10:14:55 -05:00
|
|
|
t.owner = common.Hash{}
|
2020-08-21 07:10:40 -05:00
|
|
|
t.unhashed = 0
|
2022-03-31 02:28:32 -05:00
|
|
|
t.tracer.reset()
|
2020-08-21 07:10:40 -05:00
|
|
|
}
|