mirror of
https://gitlab.com/pulsechaincom/prysm-pulse.git
synced 2025-01-10 19:51:20 +00:00
2536195be0
* Change forkchoice API doubly-linked-tree changes * protoarray changes * blockchain tests * rebase and fix conflicts * More blockchain fixes * blockchain test fixes * doubly linked tree changes again * protoarray changes v2 * blockchain packages v2 * Radek's review * Fix on batch processing * Terence's review * fill in at start * Revert "fill in at start" This reverts commit 8c11db063a02a59df8e0ac6d0af0c8923921dc76. * wrap error message * fill in before mutating the state * wrap nil node errors * handle unknown optimistic status on init sync * rename insert function * prune on batches only after forkchoice insertion Co-authored-by: terencechain <terence@prysmaticlabs.com>
257 lines
11 KiB
Go
257 lines
11 KiB
Go
package doublylinkedtree
|
|
|
|
import (
|
|
"context"
|
|
"testing"
|
|
|
|
"github.com/prysmaticlabs/prysm/config/params"
|
|
types "github.com/prysmaticlabs/prysm/consensus-types/primitives"
|
|
"github.com/prysmaticlabs/prysm/testing/assert"
|
|
"github.com/prysmaticlabs/prysm/testing/require"
|
|
)
|
|
|
|
func TestNode_ApplyWeightChanges_PositiveChange(t *testing.T) {
|
|
f := setup(0, 0)
|
|
ctx := context.Background()
|
|
state, blkRoot, err := prepareForkchoiceState(ctx, 1, indexToHash(1), params.BeaconConfig().ZeroHash, params.BeaconConfig().ZeroHash, 0, 0)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
state, blkRoot, err = prepareForkchoiceState(ctx, 2, indexToHash(2), indexToHash(1), params.BeaconConfig().ZeroHash, 0, 0)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
state, blkRoot, err = prepareForkchoiceState(ctx, 3, indexToHash(3), indexToHash(2), params.BeaconConfig().ZeroHash, 0, 0)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
|
|
// The updated balances of each node is 100
|
|
s := f.store
|
|
|
|
s.nodesLock.Lock()
|
|
defer s.nodesLock.Unlock()
|
|
s.nodeByRoot[indexToHash(1)].balance = 100
|
|
s.nodeByRoot[indexToHash(2)].balance = 100
|
|
s.nodeByRoot[indexToHash(3)].balance = 100
|
|
|
|
assert.NoError(t, s.treeRootNode.applyWeightChanges(ctx))
|
|
|
|
assert.Equal(t, uint64(300), s.nodeByRoot[indexToHash(1)].weight)
|
|
assert.Equal(t, uint64(200), s.nodeByRoot[indexToHash(2)].weight)
|
|
assert.Equal(t, uint64(100), s.nodeByRoot[indexToHash(3)].weight)
|
|
}
|
|
|
|
func TestNode_ApplyWeightChanges_NegativeChange(t *testing.T) {
|
|
f := setup(0, 0)
|
|
ctx := context.Background()
|
|
state, blkRoot, err := prepareForkchoiceState(ctx, 1, indexToHash(1), params.BeaconConfig().ZeroHash, params.BeaconConfig().ZeroHash, 0, 0)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
state, blkRoot, err = prepareForkchoiceState(ctx, 2, indexToHash(2), indexToHash(1), params.BeaconConfig().ZeroHash, 0, 0)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
state, blkRoot, err = prepareForkchoiceState(ctx, 3, indexToHash(3), indexToHash(2), params.BeaconConfig().ZeroHash, 0, 0)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
|
|
// The updated balances of each node is 100
|
|
s := f.store
|
|
s.nodesLock.Lock()
|
|
defer s.nodesLock.Unlock()
|
|
s.nodeByRoot[indexToHash(1)].weight = 400
|
|
s.nodeByRoot[indexToHash(2)].weight = 400
|
|
s.nodeByRoot[indexToHash(3)].weight = 400
|
|
|
|
s.nodeByRoot[indexToHash(1)].balance = 100
|
|
s.nodeByRoot[indexToHash(2)].balance = 100
|
|
s.nodeByRoot[indexToHash(3)].balance = 100
|
|
|
|
assert.NoError(t, s.treeRootNode.applyWeightChanges(ctx))
|
|
|
|
assert.Equal(t, uint64(300), s.nodeByRoot[indexToHash(1)].weight)
|
|
assert.Equal(t, uint64(200), s.nodeByRoot[indexToHash(2)].weight)
|
|
assert.Equal(t, uint64(100), s.nodeByRoot[indexToHash(3)].weight)
|
|
}
|
|
|
|
func TestNode_UpdateBestDescendant_NonViableChild(t *testing.T) {
|
|
f := setup(1, 1)
|
|
ctx := context.Background()
|
|
// Input child is not viable.
|
|
state, blkRoot, err := prepareForkchoiceState(ctx, 1, indexToHash(1), params.BeaconConfig().ZeroHash, params.BeaconConfig().ZeroHash, 2, 3)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
|
|
// Verify parent's best child and best descendant are `none`.
|
|
s := f.store
|
|
assert.Equal(t, 1, len(s.treeRootNode.children))
|
|
nilBestDescendant := s.treeRootNode.bestDescendant == nil
|
|
assert.Equal(t, true, nilBestDescendant)
|
|
}
|
|
|
|
func TestNode_UpdateBestDescendant_ViableChild(t *testing.T) {
|
|
f := setup(1, 1)
|
|
ctx := context.Background()
|
|
// Input child is best descendant
|
|
state, blkRoot, err := prepareForkchoiceState(ctx, 1, indexToHash(1), params.BeaconConfig().ZeroHash, params.BeaconConfig().ZeroHash, 1, 1)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
|
|
s := f.store
|
|
assert.Equal(t, 1, len(s.treeRootNode.children))
|
|
assert.Equal(t, s.treeRootNode.children[0], s.treeRootNode.bestDescendant)
|
|
}
|
|
|
|
func TestNode_UpdateBestDescendant_HigherWeightChild(t *testing.T) {
|
|
f := setup(1, 1)
|
|
ctx := context.Background()
|
|
// Input child is best descendant
|
|
state, blkRoot, err := prepareForkchoiceState(ctx, 1, indexToHash(1), params.BeaconConfig().ZeroHash, params.BeaconConfig().ZeroHash, 1, 1)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
state, blkRoot, err = prepareForkchoiceState(ctx, 2, indexToHash(2), params.BeaconConfig().ZeroHash, params.BeaconConfig().ZeroHash, 1, 1)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
|
|
s := f.store
|
|
s.nodeByRoot[indexToHash(1)].weight = 100
|
|
s.nodeByRoot[indexToHash(2)].weight = 200
|
|
assert.NoError(t, s.treeRootNode.updateBestDescendant(ctx, 1, 1))
|
|
|
|
assert.Equal(t, 2, len(s.treeRootNode.children))
|
|
assert.Equal(t, s.treeRootNode.children[1], s.treeRootNode.bestDescendant)
|
|
}
|
|
|
|
func TestNode_UpdateBestDescendant_LowerWeightChild(t *testing.T) {
|
|
f := setup(1, 1)
|
|
ctx := context.Background()
|
|
// Input child is best descendant
|
|
state, blkRoot, err := prepareForkchoiceState(ctx, 1, indexToHash(1), params.BeaconConfig().ZeroHash, params.BeaconConfig().ZeroHash, 1, 1)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
state, blkRoot, err = prepareForkchoiceState(ctx, 2, indexToHash(2), params.BeaconConfig().ZeroHash, params.BeaconConfig().ZeroHash, 1, 1)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
|
|
s := f.store
|
|
s.nodeByRoot[indexToHash(1)].weight = 200
|
|
s.nodeByRoot[indexToHash(2)].weight = 100
|
|
assert.NoError(t, s.treeRootNode.updateBestDescendant(ctx, 1, 1))
|
|
|
|
assert.Equal(t, 2, len(s.treeRootNode.children))
|
|
assert.Equal(t, s.treeRootNode.children[0], s.treeRootNode.bestDescendant)
|
|
}
|
|
|
|
func TestNode_TestDepth(t *testing.T) {
|
|
f := setup(1, 1)
|
|
ctx := context.Background()
|
|
// Input child is best descendant
|
|
state, blkRoot, err := prepareForkchoiceState(ctx, 1, indexToHash(1), params.BeaconConfig().ZeroHash, params.BeaconConfig().ZeroHash, 1, 1)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
state, blkRoot, err = prepareForkchoiceState(ctx, 2, indexToHash(2), indexToHash(1), params.BeaconConfig().ZeroHash, 1, 1)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
state, blkRoot, err = prepareForkchoiceState(ctx, 3, indexToHash(3), params.BeaconConfig().ZeroHash, params.BeaconConfig().ZeroHash, 1, 1)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
|
|
s := f.store
|
|
require.Equal(t, s.nodeByRoot[indexToHash(2)].depth(), uint64(2))
|
|
require.Equal(t, s.nodeByRoot[indexToHash(3)].depth(), uint64(1))
|
|
}
|
|
|
|
func TestNode_ViableForHead(t *testing.T) {
|
|
tests := []struct {
|
|
n *Node
|
|
justifiedEpoch types.Epoch
|
|
finalizedEpoch types.Epoch
|
|
want bool
|
|
}{
|
|
{&Node{}, 0, 0, true},
|
|
{&Node{}, 1, 0, false},
|
|
{&Node{}, 0, 1, false},
|
|
{&Node{finalizedEpoch: 1, justifiedEpoch: 1}, 1, 1, true},
|
|
{&Node{finalizedEpoch: 1, justifiedEpoch: 1}, 2, 2, false},
|
|
{&Node{finalizedEpoch: 3, justifiedEpoch: 4}, 4, 3, true},
|
|
}
|
|
for _, tc := range tests {
|
|
got := tc.n.viableForHead(tc.justifiedEpoch, tc.finalizedEpoch)
|
|
assert.Equal(t, tc.want, got)
|
|
}
|
|
}
|
|
|
|
func TestNode_LeadsToViableHead(t *testing.T) {
|
|
f := setup(4, 3)
|
|
ctx := context.Background()
|
|
state, blkRoot, err := prepareForkchoiceState(ctx, 1, indexToHash(1), params.BeaconConfig().ZeroHash, params.BeaconConfig().ZeroHash, 1, 1)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
state, blkRoot, err = prepareForkchoiceState(ctx, 2, indexToHash(2), params.BeaconConfig().ZeroHash, params.BeaconConfig().ZeroHash, 1, 1)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
state, blkRoot, err = prepareForkchoiceState(ctx, 3, indexToHash(3), indexToHash(1), params.BeaconConfig().ZeroHash, 1, 1)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
state, blkRoot, err = prepareForkchoiceState(ctx, 4, indexToHash(4), indexToHash(2), params.BeaconConfig().ZeroHash, 1, 1)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
state, blkRoot, err = prepareForkchoiceState(ctx, 5, indexToHash(5), indexToHash(3), params.BeaconConfig().ZeroHash, 4, 3)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
|
|
require.Equal(t, true, f.store.treeRootNode.leadsToViableHead(4, 3))
|
|
require.Equal(t, true, f.store.nodeByRoot[indexToHash(5)].leadsToViableHead(4, 3))
|
|
require.Equal(t, false, f.store.nodeByRoot[indexToHash(2)].leadsToViableHead(4, 3))
|
|
require.Equal(t, false, f.store.nodeByRoot[indexToHash(4)].leadsToViableHead(4, 3))
|
|
}
|
|
|
|
func TestNode_SetFullyValidated(t *testing.T) {
|
|
f := setup(1, 1)
|
|
ctx := context.Background()
|
|
// insert blocks in the fork pattern (optimistic status in parenthesis)
|
|
//
|
|
// 0 (false) -- 1 (false) -- 2 (false) -- 3 (true) -- 4 (true)
|
|
// \
|
|
// -- 5 (true)
|
|
//
|
|
state, blkRoot, err := prepareForkchoiceState(ctx, 1, indexToHash(1), params.BeaconConfig().ZeroHash, params.BeaconConfig().ZeroHash, 1, 1)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
require.NoError(t, f.SetOptimisticToValid(ctx, params.BeaconConfig().ZeroHash))
|
|
state, blkRoot, err = prepareForkchoiceState(ctx, 2, indexToHash(2), indexToHash(1), params.BeaconConfig().ZeroHash, 1, 1)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
require.NoError(t, f.SetOptimisticToValid(ctx, indexToHash(1)))
|
|
state, blkRoot, err = prepareForkchoiceState(ctx, 3, indexToHash(3), indexToHash(2), params.BeaconConfig().ZeroHash, 1, 1)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
state, blkRoot, err = prepareForkchoiceState(ctx, 4, indexToHash(4), indexToHash(3), params.BeaconConfig().ZeroHash, 1, 1)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
state, blkRoot, err = prepareForkchoiceState(ctx, 5, indexToHash(5), indexToHash(1), params.BeaconConfig().ZeroHash, 1, 1)
|
|
require.NoError(t, err)
|
|
require.NoError(t, f.InsertNode(ctx, state, blkRoot))
|
|
|
|
opt, err := f.IsOptimistic(indexToHash(5))
|
|
require.NoError(t, err)
|
|
require.Equal(t, true, opt)
|
|
|
|
opt, err = f.IsOptimistic(indexToHash(4))
|
|
require.NoError(t, err)
|
|
require.Equal(t, true, opt)
|
|
|
|
require.NoError(t, f.store.nodeByRoot[indexToHash(4)].setNodeAndParentValidated(ctx))
|
|
|
|
// block 5 should still be optimistic
|
|
opt, err = f.IsOptimistic(indexToHash(5))
|
|
require.NoError(t, err)
|
|
require.Equal(t, true, opt)
|
|
|
|
// block 4 and 3 should now be valid
|
|
opt, err = f.IsOptimistic(indexToHash(4))
|
|
require.NoError(t, err)
|
|
require.Equal(t, false, opt)
|
|
|
|
opt, err = f.IsOptimistic(indexToHash(3))
|
|
require.NoError(t, err)
|
|
require.Equal(t, false, opt)
|
|
}
|