Svarog dfd8b3423d
Implement new mechanism for updating UTXO Diffs (#1671)
* Use selectedParent instead of selectedTip for non-selectedTip blocks in restoreSingleBlockStatus

* Cache the selectedParent for re-use in a resolveSingleBlockStatus chain

* Implement and use reverseUTXOSet

* Reverse blocks in correct order

* Support resolveBlockStatus without separate stagingAreas for usage of testConsensus

* Handle the case where the tip of the resolved block is not the next selectedTip

* Unify isResolveTip

* Some minor fixes and cleanup

* Add full finality window re-org test to stability-slow

* rename: useSeparateStagingAreasPerBlock -> useSeparateStagingAreaPerBlock

* Better logs in resolveSingleBlockStatus

* A few retouches to reverseUTXODiffs

* TEMPORARY COMMIT: EXTRAT ALL DIFFFROMS TO SEPARATE METHODS

* TEMPORARY COMMIT: REMOVE DIFFICULTY CHECKS IN DEVNET

* Don't pre-allocate in utxo-algebra, since the numbers are not known ahead-of-time

* Add some logs to reverseUTXODiffs

* Revert "TEMPORARY COMMIT: REMOVE DIFFICULTY CHECKS IN DEVNET"

This reverts commit c0af9dc6ade78a914c970e11bc63c34605565f57.

* Revert "TEMPORARY COMMIT: EXTRAT ALL DIFFFROMS TO SEPARATE METHODS"

This reverts commit 4fcca1b48c3a1183598833a355b9bfaf169edba1.

* Remove redundant paranthesis

* Revise some logs messages

* Rename:oneBlockBeforeCurrentUTXOSet -> lastResolvedBlockUTXOSet

* Don't break if the block was resolved as invalid

* rename unverifiedBlocks to recentlyVerifiedBlcks in reverseUTXODiffs

* Add errors.New to the panic, for a stack trace

* Reverse the UTXODiffs after the main block has been commited

* Use the correct value for previousUTXODiff

* Add test for ReverseUTXODiff

* Fix some names and comments

* Update TestReverseUTXODiffs to use consensus.Config

* Fix comments mentioning 'oneBlockBeforeTip'
2021-04-20 10:26:55 +03:00

113 lines
4.6 KiB
Go

package consensusstatemanager_test
import (
"sort"
"testing"
"github.com/kaspanet/kaspad/domain/consensus"
"github.com/kaspanet/kaspad/domain/consensus/model"
"github.com/kaspanet/kaspad/domain/consensus/model/externalapi"
"github.com/kaspanet/kaspad/domain/consensus/model/testapi"
"github.com/kaspanet/kaspad/domain/consensus/utils/consensushashing"
"github.com/kaspanet/kaspad/domain/consensus/utils/testutils"
)
func TestConsensusStateManager_pickVirtualParents(t *testing.T) {
testutils.ForAllNets(t, true, func(t *testing.T, consensusConfig *consensus.Config) {
stagingArea := model.NewStagingArea()
tc, teardown, err := consensus.NewFactory().NewTestConsensus(consensusConfig, "TestConsensusStateManager_pickVirtualParents")
if err != nil {
t.Fatalf("Error setting up tc: %+v", err)
}
defer teardown(false)
getSortedVirtualParents := func(tc testapi.TestConsensus) []*externalapi.DomainHash {
virtualRelations, err := tc.BlockRelationStore().BlockRelation(tc.DatabaseContext(), stagingArea, model.VirtualBlockHash)
if err != nil {
t.Fatalf("Failed getting virtual block virtualRelations: %v", err)
}
block, err := tc.BuildBlock(&externalapi.DomainCoinbaseData{ScriptPublicKey: &externalapi.ScriptPublicKey{Script: nil, Version: 0}}, nil)
if err != nil {
t.Fatalf("Consensus failed building a block: %v", err)
}
blockParents := block.Header.ParentHashes()
sort.Sort(testutils.NewTestGhostDAGSorter(stagingArea, virtualRelations.Parents, tc, t))
sort.Sort(testutils.NewTestGhostDAGSorter(stagingArea, blockParents, tc, t))
if !externalapi.HashesEqual(virtualRelations.Parents, blockParents) {
t.Fatalf("Block relations and BuildBlock return different parents for virtual, %s != %s", virtualRelations.Parents, blockParents)
}
return virtualRelations.Parents
}
// We build 2*consensusConfig.MaxBlockParents each one with blueWork higher than the other.
parents := make([]*externalapi.DomainHash, 0, consensusConfig.MaxBlockParents)
for i := 0; i < 2*int(consensusConfig.MaxBlockParents); i++ {
lastBlock := consensusConfig.GenesisHash
for j := 0; j <= i; j++ {
lastBlock, _, err = tc.AddBlock([]*externalapi.DomainHash{lastBlock}, nil, nil)
if err != nil {
t.Fatalf("Failed Adding block to tc: %+v", err)
}
}
parents = append(parents, lastBlock)
}
virtualParents := getSortedVirtualParents(tc)
sort.Sort(testutils.NewTestGhostDAGSorter(stagingArea, parents, tc, t))
// Make sure the first half of the blocks are with highest blueWork
// we use (max+1)/2 because the first "half" is rounded up, so `(dividend + (divisor - 1)) / divisor` = `(max + (2-1))/2` = `(max+1)/2`
for i := 0; i < int(consensusConfig.MaxBlockParents+1)/2; i++ {
if !virtualParents[i].Equal(parents[i]) {
t.Fatalf("Expected block at %d to be equal, instead found %s != %s", i, virtualParents[i], parents[i])
}
}
// Make sure the second half is the candidates with lowest blueWork
end := len(parents) - int(consensusConfig.MaxBlockParents)/2
for i := (consensusConfig.MaxBlockParents + 1) / 2; i < consensusConfig.MaxBlockParents; i++ {
if !virtualParents[i].Equal(parents[end]) {
t.Fatalf("Expected block at %d to be equal, instead found %s != %s", i, virtualParents[i], parents[end])
}
end++
}
if end != len(parents) {
t.Fatalf("Expected %d==%d", end, len(parents))
}
// Clear all tips.
var virtualSelectedParent *externalapi.DomainHash
for {
block, err := tc.BuildBlock(&externalapi.DomainCoinbaseData{ScriptPublicKey: &externalapi.ScriptPublicKey{Script: nil, Version: 0}, ExtraData: nil}, nil)
if err != nil {
t.Fatalf("Failed building a block: %v", err)
}
_, err = tc.ValidateAndInsertBlock(block)
if err != nil {
t.Fatalf("Failed Inserting block to tc: %v", err)
}
virtualSelectedParent = consensushashing.BlockHash(block)
if len(block.Header.ParentHashes()) == 1 {
break
}
}
// build exactly consensusConfig.MaxBlockParents
parents = make([]*externalapi.DomainHash, 0, consensusConfig.MaxBlockParents)
for i := 0; i < int(consensusConfig.MaxBlockParents); i++ {
block, _, err := tc.AddBlock([]*externalapi.DomainHash{virtualSelectedParent}, nil, nil)
if err != nil {
t.Fatalf("Failed Adding block to tc: %+v", err)
}
parents = append(parents, block)
}
sort.Sort(testutils.NewTestGhostDAGSorter(stagingArea, parents, tc, t))
virtualParents = getSortedVirtualParents(tc)
if !externalapi.HashesEqual(virtualParents, parents) {
t.Fatalf("Expected VirtualParents and parents to be equal, instead: %s != %s", virtualParents, parents)
}
})
}