mirror of
https://github.com/ethereum/go-ethereum.git
synced 2026-07-22 12:46:44 +00:00
trie: polish committer
This commit is contained in:
parent
2a7466d38c
commit
4bc5c5c374
1 changed files with 26 additions and 52 deletions
|
|
@ -87,33 +87,9 @@ func (c *committer) commit(path []byte, n node, parallel bool) node {
|
||||||
|
|
||||||
// commitChildren commits the children of the given fullnode
|
// commitChildren commits the children of the given fullnode
|
||||||
func (c *committer) commitChildren(path []byte, n *fullNode, parallel bool) {
|
func (c *committer) commitChildren(path []byte, n *fullNode, parallel bool) {
|
||||||
if !parallel {
|
|
||||||
// Sequential path: process children one by one
|
|
||||||
for i := 0; i < 16; i++ {
|
|
||||||
child := n.Children[i]
|
|
||||||
if child == nil {
|
|
||||||
continue
|
|
||||||
}
|
|
||||||
// If it's the hashed child, save the hash value directly.
|
|
||||||
// Note: it's impossible that the child in range [0, 15]
|
|
||||||
// is a valueNode. Values are only stored in Children[16]
|
|
||||||
// (the 17th slot) when a key terminates at a branch node.
|
|
||||||
// Children[0-15] are structural slots for hex digit routing.
|
|
||||||
if _, ok := child.(hashNode); ok {
|
|
||||||
continue
|
|
||||||
}
|
|
||||||
// Commit the child recursively and store the "hashed" value.
|
|
||||||
// Note the returned node can be some embedded nodes, so it's
|
|
||||||
// possible the type is not hashNode.
|
|
||||||
n.Children[i] = c.commit(append(path, byte(i)), child, false)
|
|
||||||
}
|
|
||||||
return
|
|
||||||
}
|
|
||||||
|
|
||||||
// Parallel path: collect all child NodeSets first, then merge without lock contention
|
|
||||||
var (
|
var (
|
||||||
wg sync.WaitGroup
|
wg sync.WaitGroup
|
||||||
nodeset = make([]*trienode.NodeSet, 16)
|
subsets = make([]*trienode.NodeSet, 16)
|
||||||
)
|
)
|
||||||
for i := 0; i < 16; i++ {
|
for i := 0; i < 16; i++ {
|
||||||
child := n.Children[i]
|
child := n.Children[i]
|
||||||
|
|
@ -122,38 +98,36 @@ func (c *committer) commitChildren(path []byte, n *fullNode, parallel bool) {
|
||||||
}
|
}
|
||||||
// If it's the hashed child, save the hash value directly.
|
// If it's the hashed child, save the hash value directly.
|
||||||
// Note: it's impossible that the child in range [0, 15]
|
// Note: it's impossible that the child in range [0, 15]
|
||||||
// is a valueNode. Values are only stored in Children[16]
|
// is a valueNode.
|
||||||
// (the 17th slot) when a key terminates at a branch node.
|
|
||||||
// Children[0-15] are structural slots for hex digit routing.
|
|
||||||
if _, ok := child.(hashNode); ok {
|
if _, ok := child.(hashNode); ok {
|
||||||
continue
|
continue
|
||||||
}
|
}
|
||||||
|
// Commit the child recursively and store the "hashed" value.
|
||||||
|
// Note the returned node can be some embedded nodes, so it's
|
||||||
|
// possible the type is not hashNode.
|
||||||
|
if !parallel {
|
||||||
|
n.Children[i] = c.commit(append(path, byte(i)), child, false)
|
||||||
|
} else {
|
||||||
|
wg.Add(1)
|
||||||
|
go func(index int) {
|
||||||
|
defer wg.Done()
|
||||||
|
|
||||||
wg.Add(1)
|
subset := trienode.NewNodeSet(c.nodes.Owner)
|
||||||
go func(index int, child node) {
|
subCom := newCommitter(subset, c.tracer, c.collectLeaf)
|
||||||
defer wg.Done()
|
n.Children[index] = subCom.commit(append(path, byte(index)), child, false)
|
||||||
|
subsets[index] = subset
|
||||||
p := append(path, byte(index))
|
}(i)
|
||||||
childSet := trienode.NewNodeSet(c.nodes.Owner)
|
}
|
||||||
childCommitter := newCommitter(childSet, c.tracer, c.collectLeaf)
|
}
|
||||||
n.Children[index] = childCommitter.commit(p, child, false)
|
if parallel {
|
||||||
|
wg.Wait()
|
||||||
// Store the nodeset at the child's index. No mutex needed since
|
|
||||||
// each goroutine writes to a unique index.
|
for _, set := range subsets {
|
||||||
nodeset[index] = childSet
|
if set == nil {
|
||||||
}(i, child)
|
continue
|
||||||
}
|
}
|
||||||
|
c.nodes.MergeDisjoint(set)
|
||||||
// Wait for all goroutines to complete
|
|
||||||
wg.Wait()
|
|
||||||
|
|
||||||
// Now merge all results sequentially without any lock contention
|
|
||||||
// This is safe because all goroutines have completed
|
|
||||||
for _, set := range nodeset {
|
|
||||||
if set == nil {
|
|
||||||
continue
|
|
||||||
}
|
}
|
||||||
c.nodes.MergeDisjoint(set)
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue