|
|
|
|
@@ -2996,7 +2996,7 @@ CBlockIndex* Chainstate::FindMostWorkChain()
|
|
|
|
|
CBlockIndex *pindexTest = pindexNew;
|
|
|
|
|
bool fInvalidAncestor = false;
|
|
|
|
|
while (pindexTest && !m_chain.Contains(pindexTest)) {
|
|
|
|
|
assert(pindexTest->HaveTxsDownloaded() || pindexTest->nHeight == 0);
|
|
|
|
|
assert(pindexTest->HaveNumChainTxs() || pindexTest->nHeight == 0);
|
|
|
|
|
|
|
|
|
|
// Pruned nodes may have entries in setBlockIndexCandidates for
|
|
|
|
|
// which block files have been deleted. Remove those as candidates
|
|
|
|
|
@@ -3351,7 +3351,7 @@ bool Chainstate::PreciousBlock(BlockValidationState& state, CBlockIndex* pindex)
|
|
|
|
|
// call preciousblock 2**31-1 times on the same set of tips...
|
|
|
|
|
m_chainman.nBlockReverseSequenceId--;
|
|
|
|
|
}
|
|
|
|
|
if (pindex->IsValid(BLOCK_VALID_TRANSACTIONS) && pindex->HaveTxsDownloaded()) {
|
|
|
|
|
if (pindex->IsValid(BLOCK_VALID_TRANSACTIONS) && pindex->HaveNumChainTxs()) {
|
|
|
|
|
setBlockIndexCandidates.insert(pindex);
|
|
|
|
|
PruneBlockIndexCandidates();
|
|
|
|
|
}
|
|
|
|
|
@@ -3399,7 +3399,7 @@ bool Chainstate::InvalidateBlock(BlockValidationState& state, CBlockIndex* pinde
|
|
|
|
|
if (!m_chain.Contains(candidate) &&
|
|
|
|
|
!CBlockIndexWorkComparator()(candidate, pindex->pprev) &&
|
|
|
|
|
candidate->IsValid(BLOCK_VALID_TRANSACTIONS) &&
|
|
|
|
|
candidate->HaveTxsDownloaded()) {
|
|
|
|
|
candidate->HaveNumChainTxs()) {
|
|
|
|
|
candidate_blocks_by_work.insert(std::make_pair(candidate->nChainWork, candidate));
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
@@ -3488,7 +3488,7 @@ bool Chainstate::InvalidateBlock(BlockValidationState& state, CBlockIndex* pinde
|
|
|
|
|
// Loop back over all block index entries and add any missing entries
|
|
|
|
|
// to setBlockIndexCandidates.
|
|
|
|
|
for (auto& [_, block_index] : m_blockman.m_block_index) {
|
|
|
|
|
if (block_index.IsValid(BLOCK_VALID_TRANSACTIONS) && block_index.HaveTxsDownloaded() && !setBlockIndexCandidates.value_comp()(&block_index, m_chain.Tip())) {
|
|
|
|
|
if (block_index.IsValid(BLOCK_VALID_TRANSACTIONS) && block_index.HaveNumChainTxs() && !setBlockIndexCandidates.value_comp()(&block_index, m_chain.Tip())) {
|
|
|
|
|
setBlockIndexCandidates.insert(&block_index);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
@@ -3520,7 +3520,7 @@ void Chainstate::ResetBlockFailureFlags(CBlockIndex *pindex) {
|
|
|
|
|
if (!block_index.IsValid() && block_index.GetAncestor(nHeight) == pindex) {
|
|
|
|
|
block_index.nStatus &= ~BLOCK_FAILED_MASK;
|
|
|
|
|
m_blockman.m_dirty_blockindex.insert(&block_index);
|
|
|
|
|
if (block_index.IsValid(BLOCK_VALID_TRANSACTIONS) && block_index.HaveTxsDownloaded() && setBlockIndexCandidates.value_comp()(m_chain.Tip(), &block_index)) {
|
|
|
|
|
if (block_index.IsValid(BLOCK_VALID_TRANSACTIONS) && block_index.HaveNumChainTxs() && setBlockIndexCandidates.value_comp()(m_chain.Tip(), &block_index)) {
|
|
|
|
|
setBlockIndexCandidates.insert(&block_index);
|
|
|
|
|
}
|
|
|
|
|
if (&block_index == m_chainman.m_best_invalid) {
|
|
|
|
|
@@ -3583,7 +3583,7 @@ void ChainstateManager::ReceivedBlockTransactions(const CBlock& block, CBlockInd
|
|
|
|
|
pindexNew->RaiseValidity(BLOCK_VALID_TRANSACTIONS);
|
|
|
|
|
m_blockman.m_dirty_blockindex.insert(pindexNew);
|
|
|
|
|
|
|
|
|
|
if (pindexNew->pprev == nullptr || pindexNew->pprev->HaveTxsDownloaded()) {
|
|
|
|
|
if (pindexNew->pprev == nullptr || pindexNew->pprev->HaveNumChainTxs()) {
|
|
|
|
|
// If pindexNew is the genesis block or all parents are BLOCK_VALID_TRANSACTIONS.
|
|
|
|
|
std::deque<CBlockIndex*> queue;
|
|
|
|
|
queue.push_back(pindexNew);
|
|
|
|
|
@@ -4566,7 +4566,7 @@ bool ChainstateManager::LoadBlockIndex()
|
|
|
|
|
// here.
|
|
|
|
|
if (pindex == GetSnapshotBaseBlock() ||
|
|
|
|
|
(pindex->IsValid(BLOCK_VALID_TRANSACTIONS) &&
|
|
|
|
|
(pindex->HaveTxsDownloaded() || pindex->pprev == nullptr))) {
|
|
|
|
|
(pindex->HaveNumChainTxs() || pindex->pprev == nullptr))) {
|
|
|
|
|
|
|
|
|
|
for (Chainstate* chainstate : GetAll()) {
|
|
|
|
|
chainstate->TryAddBlockIndexCandidate(pindex);
|
|
|
|
|
@@ -4890,7 +4890,7 @@ void ChainstateManager::CheckBlockIndex()
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
if (!pindex->HaveTxsDownloaded()) assert(pindex->nSequenceId <= 0); // nSequenceId can't be set positive for blocks that aren't linked (negative is used for preciousblock)
|
|
|
|
|
if (!pindex->HaveNumChainTxs()) assert(pindex->nSequenceId <= 0); // nSequenceId can't be set positive for blocks that aren't linked (negative is used for preciousblock)
|
|
|
|
|
// VALID_TRANSACTIONS is equivalent to nTx > 0 for all nodes (whether or not pruning has occurred).
|
|
|
|
|
// HAVE_DATA is only equivalent to nTx > 0 (or VALID_TRANSACTIONS) if no pruning has occurred.
|
|
|
|
|
// Unless these indexes are assumed valid and pending block download on a
|
|
|
|
|
@@ -4920,9 +4920,9 @@ void ChainstateManager::CheckBlockIndex()
|
|
|
|
|
// actually seen a block's transactions.
|
|
|
|
|
assert(((pindex->nStatus & BLOCK_VALID_MASK) >= BLOCK_VALID_TRANSACTIONS) == (pindex->nTx > 0)); // This is pruning-independent.
|
|
|
|
|
}
|
|
|
|
|
// All parents having had data (at some point) is equivalent to all parents being VALID_TRANSACTIONS, which is equivalent to HaveTxsDownloaded().
|
|
|
|
|
assert((pindexFirstNeverProcessed == nullptr) == pindex->HaveTxsDownloaded());
|
|
|
|
|
assert((pindexFirstNotTransactionsValid == nullptr) == pindex->HaveTxsDownloaded());
|
|
|
|
|
// All parents having had data (at some point) is equivalent to all parents being VALID_TRANSACTIONS, which is equivalent to HaveNumChainTxs().
|
|
|
|
|
assert((pindexFirstNeverProcessed == nullptr) == pindex->HaveNumChainTxs());
|
|
|
|
|
assert((pindexFirstNotTransactionsValid == nullptr) == pindex->HaveNumChainTxs());
|
|
|
|
|
assert(pindex->nHeight == nHeight); // nHeight must be consistent.
|
|
|
|
|
assert(pindex->pprev == nullptr || pindex->nChainWork >= pindex->pprev->nChainWork); // For every block except the genesis block, the chainwork must be larger than the parent's.
|
|
|
|
|
assert(nHeight < 2 || (pindex->pskip && (pindex->pskip->nHeight < nHeight))); // The pskip pointer must point back for all but the first 2 blocks.
|
|
|
|
|
|