mirror of
https://gitlab.com/pulsechaincom/prysm-pulse.git
synced 2025-01-07 02:02:18 +00:00
155d60dd60
* Remove forkchoice debug endpoint * change protos Co-authored-by: terencechain <terence@prysmaticlabs.com>
125 lines
3.5 KiB
Go
125 lines
3.5 KiB
Go
package doublylinkedtree
|
|
|
|
import (
|
|
"bytes"
|
|
"context"
|
|
|
|
"github.com/pkg/errors"
|
|
"github.com/prysmaticlabs/prysm/config/params"
|
|
types "github.com/prysmaticlabs/prysm/consensus-types/primitives"
|
|
)
|
|
|
|
// depth returns the length of the path to the root of Fork Choice
|
|
func (n *Node) depth() uint64 {
|
|
ret := uint64(0)
|
|
for node := n.parent; node != nil; node = node.parent {
|
|
ret += 1
|
|
}
|
|
return ret
|
|
}
|
|
|
|
// applyWeightChanges recomputes the weight of the node passed as an argument and all of its descendants,
|
|
// using the current balance stored in each node. This function requires a lock
|
|
// in Store.nodesLock
|
|
func (n *Node) applyWeightChanges(ctx context.Context) error {
|
|
// Recursively calling the children to sum their weights.
|
|
childrenWeight := uint64(0)
|
|
for _, child := range n.children {
|
|
if ctx.Err() != nil {
|
|
return ctx.Err()
|
|
}
|
|
if err := child.applyWeightChanges(ctx); err != nil {
|
|
return err
|
|
}
|
|
childrenWeight += child.weight
|
|
}
|
|
if n.root == params.BeaconConfig().ZeroHash {
|
|
return nil
|
|
}
|
|
n.weight = n.balance + childrenWeight
|
|
return nil
|
|
}
|
|
|
|
// updateBestDescendant updates the best descendant of this node and its children.
|
|
func (n *Node) updateBestDescendant(ctx context.Context, justifiedEpoch, finalizedEpoch types.Epoch) error {
|
|
if ctx.Err() != nil {
|
|
return ctx.Err()
|
|
}
|
|
if len(n.children) == 0 {
|
|
n.bestDescendant = nil
|
|
return nil
|
|
}
|
|
|
|
var bestChild *Node
|
|
bestWeight := uint64(0)
|
|
hasViableDescendant := false
|
|
for _, child := range n.children {
|
|
if child == nil {
|
|
return errors.Wrap(ErrNilNode, "could not update best descendant")
|
|
}
|
|
if err := child.updateBestDescendant(ctx, justifiedEpoch, finalizedEpoch); err != nil {
|
|
return err
|
|
}
|
|
childLeadsToViableHead := child.leadsToViableHead(justifiedEpoch, finalizedEpoch)
|
|
if childLeadsToViableHead && !hasViableDescendant {
|
|
// The child leads to a viable head, but the current
|
|
// parent's best child doesn't.
|
|
bestWeight = child.weight
|
|
bestChild = child
|
|
hasViableDescendant = true
|
|
} else if childLeadsToViableHead {
|
|
// If both are viable, compare their weights.
|
|
if child.weight == bestWeight {
|
|
// Tie-breaker of equal weights by root.
|
|
if bytes.Compare(child.root[:], bestChild.root[:]) > 0 {
|
|
bestChild = child
|
|
}
|
|
} else if child.weight > bestWeight {
|
|
bestChild = child
|
|
bestWeight = child.weight
|
|
}
|
|
}
|
|
}
|
|
if hasViableDescendant {
|
|
if bestChild.bestDescendant == nil {
|
|
n.bestDescendant = bestChild
|
|
} else {
|
|
n.bestDescendant = bestChild.bestDescendant
|
|
}
|
|
} else {
|
|
n.bestDescendant = nil
|
|
}
|
|
return nil
|
|
}
|
|
|
|
// viableForHead returns true if the node is viable to head.
|
|
// Any node with different finalized or justified epoch than
|
|
// the ones in fork choice store should not be viable to head.
|
|
func (n *Node) viableForHead(justifiedEpoch, finalizedEpoch types.Epoch) bool {
|
|
justified := justifiedEpoch == n.justifiedEpoch || justifiedEpoch == 0
|
|
finalized := finalizedEpoch == n.finalizedEpoch || finalizedEpoch == 0
|
|
|
|
return justified && finalized
|
|
}
|
|
|
|
func (n *Node) leadsToViableHead(justifiedEpoch, finalizedEpoch types.Epoch) bool {
|
|
if n.bestDescendant == nil {
|
|
return n.viableForHead(justifiedEpoch, finalizedEpoch)
|
|
}
|
|
return n.bestDescendant.viableForHead(justifiedEpoch, finalizedEpoch)
|
|
}
|
|
|
|
// setNodeAndParentValidated sets the current node and all the ancestors as validated (i.e. non-optimistic).
|
|
func (n *Node) setNodeAndParentValidated(ctx context.Context) error {
|
|
if ctx.Err() != nil {
|
|
return ctx.Err()
|
|
}
|
|
|
|
if !n.optimistic || n.parent == nil {
|
|
return nil
|
|
}
|
|
|
|
n.optimistic = false
|
|
return n.parent.setNodeAndParentValidated(ctx)
|
|
}
|