Bitcoin ABC 0.30.3
P2P Digital Currency
|
Chainstate stores and provides an API to update our local knowledge of the current best chain. More...
#include <validation.h>
Public Member Functions | |
Chainstate (CTxMemPool *mempool, node::BlockManager &blockman, ChainstateManager &chainman, std::optional< BlockHash > from_snapshot_blockhash=std::nullopt) | |
void | InitCoinsDB (size_t cache_size_bytes, bool in_memory, bool should_wipe, std::string leveldb_name="chainstate") |
Initialize the CoinsViews UTXO set database management data structures. More... | |
void InitCoinsCache(size_t cache_size_bytes) EXCLUSIVE_LOCKS_REQUIRED(bool | CanFlushToDisk () const EXCLUSIVE_LOCKS_REQUIRED( |
Initialize the in-memory coins cache (to be done after the health of the on-disk database is verified). More... | |
bool | reliesOnAssumedValid () |
Return true if this chainstate relies on blocks that are assumed-valid. More... | |
CCoinsViewCache & | CoinsTip () EXCLUSIVE_LOCKS_REQUIRED( |
CCoinsViewDB & | CoinsDB () EXCLUSIVE_LOCKS_REQUIRED( |
CTxMemPool * | GetMempool () |
CCoinsViewErrorCatcher & | CoinsErrorCatcher () EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
void | ResetCoinsViews () |
Destructs all objects related to accessing the UTXO set. More... | |
bool | HasCoinsViews () const |
Does this chainstate have a UTXO set attached? More... | |
bool ResizeCoinsCaches(size_t coinstip_size, size_t coinsdb_size) EXCLUSIVE_LOCKS_REQUIRED(void | LoadExternalBlockFile (FILE *fileIn, FlatFilePos *dbp=nullptr, std::multimap< BlockHash, FlatFilePos > *blocks_with_unknown_parent=nullptr, avalanche::Processor *const avalanche=nullptr) EXCLUSIVE_LOCKS_REQUIRED(!m_chainstate_mutex |
Resize the CoinsViews caches dynamically and flush state to disk. More... | |
bool | FlushStateToDisk (BlockValidationState &state, FlushStateMode mode, int nManualPruneHeight=0) |
Update the on-disk chain state. More... | |
void | ForceFlushStateToDisk () |
Unconditionally flush all changes to disk. More... | |
void | PruneAndFlush () |
Prune blockfiles from the disk if necessary and then flush chainstate changes if we pruned. More... | |
bool | ActivateBestChain (BlockValidationState &state, std::shared_ptr< const CBlock > pblock=nullptr, avalanche::Processor *const avalanche=nullptr, bool skip_checkblockindex=false) EXCLUSIVE_LOCKS_REQUIRED(!m_chainstate_mutex |
Find the best known block, and make it the tip of the block chain. More... | |
bool !cs_avalancheFinalizedBlockIndex | LOCKS_EXCLUDED (cs_main) |
bool | AcceptBlock (const std::shared_ptr< const CBlock > &pblock, BlockValidationState &state, bool fRequested, const FlatFilePos *dbp, bool *fNewBlock, bool min_pow_checked) EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
Store a block on disk. More... | |
bool | DisconnectTip (BlockValidationState &state, DisconnectedBlockTransactions *disconnectpool) EXCLUSIVE_LOCKS_REQUIRED(cs_main |
Disconnect m_chain's tip. More... | |
bool | PreciousBlock (BlockValidationState &state, CBlockIndex *pindex, avalanche::Processor *const avalanche=nullptr) EXCLUSIVE_LOCKS_REQUIRED(!m_chainstate_mutex |
Mark a block as precious and reorganize. More... | |
bool !cs_avalancheFinalizedBlockIndex | LOCKS_EXCLUDED (cs_main) |
bool | InvalidateBlock (BlockValidationState &state, CBlockIndex *pindex) EXCLUSIVE_LOCKS_REQUIRED(!m_chainstate_mutex |
Mark a block as invalid. More... | |
bool | ParkBlock (BlockValidationState &state, CBlockIndex *pindex) EXCLUSIVE_LOCKS_REQUIRED(!m_chainstate_mutex |
Park a block. More... | |
bool | AvalancheFinalizeBlock (CBlockIndex *pindex, avalanche::Processor &avalanche) EXCLUSIVE_LOCKS_REQUIRED(!cs_avalancheFinalizedBlockIndex) |
Mark a block as finalized by avalanche. More... | |
void | ClearAvalancheFinalizedBlock () EXCLUSIVE_LOCKS_REQUIRED(!cs_avalancheFinalizedBlockIndex) |
Clear avalanche finalization. More... | |
bool | IsBlockAvalancheFinalized (const CBlockIndex *pindex) const EXCLUSIVE_LOCKS_REQUIRED(!cs_avalancheFinalizedBlockIndex) |
Checks if a block is finalized by avalanche voting. More... | |
void | ResetBlockFailureFlags (CBlockIndex *pindex) EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
Remove invalidity status from a block and its descendants. More... | |
template<typename F > | |
bool | UpdateFlagsForBlock (CBlockIndex *pindexBase, CBlockIndex *pindex, F f) EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
template<typename F , typename C , typename AC > | |
void | UpdateFlags (CBlockIndex *pindex, CBlockIndex *&pindexReset, F f, C fChild, AC fAncestorWasChanged) EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
void | UnparkBlockAndChildren (CBlockIndex *pindex) EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
Remove parked status from a block and its descendants. More... | |
void | UnparkBlock (CBlockIndex *pindex) EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
Remove parked status from a block. More... | |
bool | ReplayBlocks () |
Replay blocks that aren't fully applied to the database. More... | |
bool | LoadGenesisBlock () |
Ensures we have a genesis block in the block tree, possibly writing one to disk. More... | |
void | PruneBlockIndexCandidates () |
Delete all entries in setBlockIndexCandidates that are worse than the current tip. More... | |
void | UnloadBlockIndex () EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
bool | IsInitialBlockDownload () const |
Check whether we are doing an initial block download (synchronizing from disk or network) More... | |
const CBlockIndex * | FindForkInGlobalIndex (const CBlockLocator &locator) const EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
Find the last common block of this chain and a locator. More... | |
void | CheckBlockIndex () |
Make various assertions about the state of the block index. More... | |
void | LoadMempool (const fs::path &load_path, fsbridge::FopenFn mockable_fopen_function=fsbridge::fopen) |
Load the persisted mempool from disk. More... | |
bool | LoadChainTip () EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
Update the chain tip based on database information, i.e. More... | |
CoinsCacheSizeState GetCoinsCacheSizeState() EXCLUSIVE_LOCKS_REQUIRED(CoinsCacheSizeState GetCoinsCacheSizeState(size_t max_coins_cache_size_bytes, size_t max_mempool_size_bytes) EXCLUSIVE_LOCKS_REQUIRED(std::string ToString() EXCLUSIVE_LOCKS_REQUIRED(RecursiveMutex * | MempoolMutex () const LOCK_RETURNED(m_mempool -> cs) |
Dictates whether we need to flush the cache to disk or not. More... | |
Public Attributes | |
node::BlockManager & | m_blockman |
Reference to a BlockManager instance which itself is shared across all Chainstate instances. More... | |
ChainstateManager & | m_chainman |
The chainstate manager that owns this chainstate. More... | |
CChain | m_chain |
The current chain of blockheaders we consult and build on. More... | |
const std::optional< BlockHash > | m_from_snapshot_blockhash {} |
The blockhash which is the base of the snapshot this chainstate was created from. More... | |
std::set< CBlockIndex *, CBlockIndexWorkComparator > | setBlockIndexCandidates |
The set of all CBlockIndex entries with either BLOCK_VALID_TRANSACTIONS (for itself and all ancestors) or BLOCK_ASSUMED_VALID (if using background chainstates) and as good as our current tip or better. More... | |
size_t | m_coinsdb_cache_size_bytes {0} |
The cache size of the on-disk coins view. More... | |
size_t | m_coinstip_cache_size_bytes {0} |
The cache size of the in-memory coins view. More... | |
bool ResizeCoinsCaches(size_t coinstip_size, size_t coinsdb_size) EXCLUSIVE_LOCKS_REQUIRED(void | !cs_avalancheFinalizedBlockIndex |
DisconnectResult DisconnectBlock(const CBlock &block, const CBlockIndex *pindex, CCoinsViewCache &view) EXCLUSIVE_LOCKS_REQUIRED(boo | ConnectBlock )(const CBlock &block, BlockValidationState &state, CBlockIndex *pindex, CCoinsViewCache &view, BlockValidationOptions options, Amount *blockFees=nullptr, bool fJustCheck=false) EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
Apply the effects of this block (with given index) on the UTXO set represented by coins. More... | |
bool m_mempool | cs |
bool | !cs_avalancheFinalizedBlockIndex |
Protected Member Functions | |
bool m_disabled | GUARDED_BY (::cs_main) |
This toggle exists for use when doing background validation for UTXO snapshots. More... | |
const CBlockIndex *m_avalancheFinalizedBlockIndex | GUARDED_BY (cs_avalancheFinalizedBlockIndex) |
The best block via avalanche voting. More... | |
Protected Attributes | |
Mutex | m_chainstate_mutex |
The ChainState Mutex. More... | |
std::atomic< int32_t > | nBlockSequenceId {1} |
Every received block is assigned a unique and increasing identifier, so we know which one to give priority in case of a fork. More... | |
int32_t | nBlockReverseSequenceId = -1 |
Decreasing counter (used by subsequent preciousblock calls). More... | |
arith_uint256 | nLastPreciousChainwork = 0 |
chainwork for the last block that preciousblock has been applied to. More... | |
std::atomic< bool > | m_cached_finished_ibd {false} |
Whether this chainstate is undergoing initial block download. More... | |
CTxMemPool * | m_mempool |
Optional mempool that is kept in sync with the chain. More... | |
std::unique_ptr< CoinsViews > | m_coins_views |
Manages the UTXO set, which is a reflection of the contents of m_chain . More... | |
Mutex | cs_avalancheFinalizedBlockIndex |
CRollingBloomFilter | m_filterParkingPoliciesApplied |
Filter to prevent parking a block due to block policies more than once. More... | |
CBlockIndex const * | m_best_fork_tip = nullptr |
CBlockIndex const * | m_best_fork_base = nullptr |
Private Member Functions | |
bool | ActivateBestChainStep (BlockValidationState &state, CBlockIndex *pindexMostWork, const std::shared_ptr< const CBlock > &pblock, bool &fInvalidFound, const avalanche::Processor *const avalanche=nullptr) EXCLUSIVE_LOCKS_REQUIRED(cs_main |
Try to make some progress towards making pindexMostWork the active block. More... | |
bool | ConnectTip (BlockValidationState &state, BlockPolicyValidationState &blockPolicyState, CBlockIndex *pindexNew, const std::shared_ptr< const CBlock > &pblock, DisconnectedBlockTransactions &disconnectpool, const avalanche::Processor *const avalanche=nullptr) EXCLUSIVE_LOCKS_REQUIRED(cs_main |
Connect a new block to m_chain. More... | |
void | InvalidBlockFound (CBlockIndex *pindex, const BlockValidationState &state) EXCLUSIVE_LOCKS_REQUIRED(cs_main |
CBlockIndex * | FindMostWorkChain (std::vector< const CBlockIndex * > &blocksToReconcile, bool fAutoUnpark) EXCLUSIVE_LOCKS_REQUIRED(cs_main |
Return the tip of the chain with the most work in it, that isn't known to be invalid (it's however far from certain to be valid). More... | |
void | ReceivedBlockTransactions (const CBlock &block, CBlockIndex *pindexNew, const FlatFilePos &pos) EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
Mark a block as having its data received and checked (up to BLOCK_VALID_TRANSACTIONS). More... | |
bool | RollforwardBlock (const CBlockIndex *pindex, CCoinsViewCache &inputs) EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
Apply the effects of a block on the utxo cache, ignoring that it may already have been applied. More... | |
void | UnparkBlockImpl (CBlockIndex *pindex, bool fClearChildren) EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
bool | UnwindBlock (BlockValidationState &state, CBlockIndex *pindex, bool invalidate) EXCLUSIVE_LOCKS_REQUIRED(m_chainstate_mutex |
void | CheckForkWarningConditions () EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
void | CheckForkWarningConditionsOnNewFork (CBlockIndex *pindexNewForkTip) EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
void | InvalidChainFound (CBlockIndex *pindexNew) EXCLUSIVE_LOCKS_REQUIRED(cs_main |
const CBlockIndex * | FindBlockToFinalize (CBlockIndex *pindexNew) EXCLUSIVE_LOCKS_REQUIRED(cs_main) |
Private Attributes | |
bool m_mempool | !cs_avalancheFinalizedBlockIndex |
void | !cs_avalancheFinalizedBlockIndex |
CBlockIndex | !cs_avalancheFinalizedBlockIndex |
void UpdateTip(const CBlockIndex *pindexNew) EXCLUSIVE_LOCKS_REQUIRED(std::chrono::microsecond | m_last_write ) {0} |
Check warning conditions and do some notifications on new chain tip set. More... | |
std::chrono::microseconds | m_last_flush {0} |
util::Result< void > InvalidateCoinsDBOnDisk() EXCLUSIVE_LOCKS_REQUIRED(friend | ChainstateManager |
In case of an invalid snapshot, rename the coins leveldb directory so that it can be examined for issue diagnosis. More... | |
Chainstate stores and provides an API to update our local knowledge of the current best chain.
Eventually, the API here is targeted at being exposed externally as a consumable libconsensus library, so any functions added must only call other class member functions, pure functions in other parts of the consensus library, callbacks via the validation interface, or read/write-to-disk functions (eventually this will also be via callbacks).
Anything that is contingent on the current tip of the chain is stored here, whereas block information and metadata independent of the current tip is kept in BlockManager
.
Definition at line 693 of file validation.h.
|
explicit |
Definition at line 1518 of file validation.cpp.
bool Chainstate::AcceptBlock | ( | const std::shared_ptr< const CBlock > & | pblock, |
BlockValidationState & | state, | ||
bool | fRequested, | ||
const FlatFilePos * | dbp, | ||
bool * | fNewBlock, | ||
bool | min_pow_checked | ||
) |
Store a block on disk.
[in,out] | pblock | The block we want to accept. |
[in] | fRequested | A boolean to indicate if this block was requested from our peers. |
[in] | dbp | If non-null, the disk position of the block. |
[in,out] | fNewBlock | True if block was first received via this call. |
[in] | min_pow_checked | True if proof-of-work anti-DoS checks have been done by caller for headers chain |
Definition at line 4673 of file validation.cpp.
bool Chainstate::ActivateBestChain | ( | BlockValidationState & | state, |
std::shared_ptr< const CBlock > | pblock = nullptr , |
||
avalanche::Processor *const | avalanche = nullptr , |
||
bool | skip_checkblockindex = false |
||
) |
Find the best known block, and make it the tip of the block chain.
The result is either failure or an activated best chain. pblock is either nullptr or a pointer to a block that is already loaded (to avoid loading it again from disk).
ActivateBestChain is split into steps (see ActivateBestChainStep) so that we avoid holding cs_main for an extended period of time; the length of this call may be quite long during reindexing or a substantial reorg.
May not be called with cs_main held. May not be called in a validationinterface callback.
Note that if this is called while a snapshot chainstate is active, and if it is called on a background chainstate whose tip has reached the base block of the snapshot, its execution will take MINUTES while it hashes the background UTXO set to verify the assumeutxo value the snapshot was activated with. cs_main
will be held during this time.
[in] | skip_checkblockindex | (optional) If true, skip calling CheckBlockIndex even if -checkblockindex is true. If false (default behavior), respect the -checkblockindex arg. This is used in tests when we need to skip the checks only temporarily, and resume normal behavior later. |
Definition at line 3452 of file validation.cpp.
|
private |
Try to make some progress towards making pindexMostWork the active block.
pblock is either nullptr or a pointer to a CBlock corresponding to pindexMostWork.
Definition at line 3277 of file validation.cpp.
bool Chainstate::AvalancheFinalizeBlock | ( | CBlockIndex * | pindex, |
avalanche::Processor & | avalanche | ||
) |
Mark a block as finalized by avalanche.
Definition at line 4017 of file validation.cpp.
|
inline |
Initialize the in-memory coins cache (to be done after the health of the on-disk database is verified).
Definition at line 795 of file validation.h.
void Chainstate::CheckBlockIndex | ( | ) |
Make various assertions about the state of the block index.
By default this only executes fully when using the Regtest chain; see: m_options.check_block_index.
Definition at line 5831 of file validation.cpp.
|
private |
Definition at line 1580 of file validation.cpp.
|
private |
Definition at line 1631 of file validation.cpp.
void Chainstate::ClearAvalancheFinalizedBlock | ( | ) |
Clear avalanche finalization.
Definition at line 4047 of file validation.cpp.
|
inline |
Definition at line 835 of file validation.h.
|
inline |
Definition at line 845 of file validation.h.
|
inline |
Definition at line 828 of file validation.h.
|
private |
Connect a new block to m_chain.
pblock is either nullptr or a pointer to a CBlock corresponding to pindexNew, to bypass loading it again from disk.
The block is valid by consensus rules so now we check if the block passes all block policy checks. If not, then park the block and bail.
We check block parking policies before flushing changes to the UTXO set. This allows us to avoid rewinding everything immediately after.
Only check block parking policies the first time the block is connected. Avalanche voting can override the parking decision made by these policies.
Definition at line 2888 of file validation.cpp.
bool Chainstate::DisconnectTip | ( | BlockValidationState & | state, |
DisconnectedBlockTransactions * | disconnectpool | ||
) |
Disconnect m_chain's tip.
After calling, the mempool will be in an inconsistent state, with transactions from disconnected blocks being added to disconnectpool. You should make the mempool consistent again by calling updateMempoolForReorg. with cs_main held.
If disconnectpool is nullptr, then no disconnected transactions are added to disconnectpool (note that the caller is responsible for mempool consistency in any case).
Definition at line 2792 of file validation.cpp.
|
private |
const CBlockIndex * Chainstate::FindForkInGlobalIndex | ( | const CBlockLocator & | locator | ) | const |
Find the last common block of this chain and a locator.
Definition at line 125 of file validation.cpp.
|
private |
Return the tip of the chain with the most work in it, that isn't known to be invalid (it's however far from certain to be valid).
Definition at line 3093 of file validation.cpp.
bool Chainstate::FlushStateToDisk | ( | BlockValidationState & | state, |
FlushStateMode | mode, | ||
int | nManualPruneHeight = 0 |
||
) |
Update the on-disk chain state.
The caches and indexes are flushed depending on the mode we're called with if they're too large, if it's been a while since the last write, or always and in all cases if we're in prune mode and are deleting files.
If FlushStateMode::NONE is used, then FlushStateToDisk(...) won't do anything besides checking if we need to prune.
Definition at line 2533 of file validation.cpp.
void Chainstate::ForceFlushStateToDisk | ( | ) |
Unconditionally flush all changes to disk.
Definition at line 2714 of file validation.cpp.
|
inline |
Definition at line 841 of file validation.h.
|
inlineprotected |
This toggle exists for use when doing background validation for UTXO snapshots.
In the expected case, it is set once the background validation chain reaches the same height as the base of the snapshot and its UTXO set is found to hash to the expected assumeutxo value. It signals that we should no longer connect blocks to the background chainstate. When set on the background validation chainstate, it signifies that we have fully validated the snapshot chainstate.
In the unlikely case that the snapshot chainstate is found to be invalid, this is set to true on the snapshot chainstate.
Definition at line 740 of file validation.h.
|
protected |
The best block via avalanche voting.
This block cannot be reorged in any way except by explicit user action.
|
inline |
Does this chainstate have a UTXO set attached?
Definition at line 855 of file validation.h.
void Chainstate::InitCoinsDB | ( | size_t | cache_size_bytes, |
bool | in_memory, | ||
bool | should_wipe, | ||
std::string | leveldb_name = "chainstate" |
||
) |
Initialize the CoinsViews UTXO set database management data structures.
The in-memory cache is initialized separately.
All parameters forwarded to CoinsViews.
Definition at line 1524 of file validation.cpp.
bool Chainstate::InvalidateBlock | ( | BlockValidationState & | state, |
CBlockIndex * | pindex | ||
) |
Mark a block as invalid.
Definition at line 3904 of file validation.cpp.
|
private |
Definition at line 1694 of file validation.cpp.
|
private |
Definition at line 1660 of file validation.cpp.
bool Chainstate::IsBlockAvalancheFinalized | ( | const CBlockIndex * | pindex | ) | const |
Checks if a block is finalized by avalanche voting.
Definition at line 4052 of file validation.cpp.
bool Chainstate::IsInitialBlockDownload | ( | ) | const |
Check whether we are doing an initial block download (synchronizing from disk or network)
Definition at line 1552 of file validation.cpp.
bool Chainstate::LoadChainTip | ( | ) |
Update the chain tip based on database information, i.e.
CoinsTip()'s best block.
Definition at line 4966 of file validation.cpp.
void Chainstate::LoadExternalBlockFile | ( | FILE * | fileIn, |
FlatFilePos * | dbp = nullptr , |
||
std::multimap< BlockHash, FlatFilePos > * | blocks_with_unknown_parent = nullptr , |
||
avalanche::Processor *const | avalanche = nullptr |
||
) |
Resize the CoinsViews caches dynamically and flush state to disk.
During reindexing, this function is called for each block file (datadir/blocks/blk?????.dat). It reads all blocks contained in the given file and attempts to process them (add them to the block index). The blocks may be out of order within each file and across files. Often this function reads a block but finds that its parent hasn't been read yet, so the block can't be processed yet. The function will add an entry to the blocks_with_unknown_parent map (which is passed as an argument), so that when the block's parent is later read and processed, this function can re-read the child block from disk and process it.
Because a block's parent may be in a later file, not just later in the same file, the blocks_with_unknown_parent map must be passed in and out with each call. It's a multimap, rather than just a map, because multiple blocks may have the same parent (when chain splits or stale blocks exist). It maps from parent-hash to child-disk-position.
This function can also be used to read blocks from user-specified block files using the -loadblock= option. There's no unknown-parent tracking, so the last two arguments are omitted.
[in] | fileIn | FILE handle to file containing blocks to read |
[in] | dbp | (optional) Disk block position (only for reindex) |
[in,out] | blocks_with_unknown_parent | (optional) Map of disk positions for blocks with unknown parent, key is parent block hash (only used for reindex) |
Definition at line 5610 of file validation.cpp.
bool Chainstate::LoadGenesisBlock | ( | ) |
Ensures we have a genesis block in the block tree, possibly writing one to disk.
Definition at line 5579 of file validation.cpp.
void Chainstate::LoadMempool | ( | const fs::path & | load_path, |
fsbridge::FopenFn | mockable_fopen_function = fsbridge::fopen |
||
) |
Load the persisted mempool from disk.
Definition at line 4957 of file validation.cpp.
bool !cs_avalancheFinalizedBlockIndex Chainstate::LOCKS_EXCLUDED | ( | cs_main | ) |
bool !cs_avalancheFinalizedBlockIndex Chainstate::LOCKS_EXCLUDED | ( | cs_main | ) |
|
inline |
Dictates whether we need to flush the cache to disk or not.
Definition at line 1096 of file validation.h.
bool Chainstate::ParkBlock | ( | BlockValidationState & | state, |
CBlockIndex * | pindex | ||
) |
Park a block.
Definition at line 3914 of file validation.cpp.
bool Chainstate::PreciousBlock | ( | BlockValidationState & | state, |
CBlockIndex * | pindex, | ||
avalanche::Processor *const | avalanche = nullptr |
||
) |
Mark a block as precious and reorganize.
May not be called in a validationinterface callback.
Definition at line 3626 of file validation.cpp.
void Chainstate::PruneAndFlush | ( | ) |
Prune blockfiles from the disk if necessary and then flush chainstate changes if we pruned.
Definition at line 2722 of file validation.cpp.
void Chainstate::PruneBlockIndexCandidates | ( | ) |
Delete all entries in setBlockIndexCandidates that are worse than the current tip.
Definition at line 3256 of file validation.cpp.
|
private |
Mark a block as having its data received and checked (up to BLOCK_VALID_TRANSACTIONS).
Definition at line 4063 of file validation.cpp.
|
inline |
Return true if this chainstate relies on blocks that are assumed-valid.
In practice this means it was created based on a UTXO snapshot.
Definition at line 814 of file validation.h.
bool Chainstate::ReplayBlocks | ( | ) |
Replay blocks that aren't fully applied to the database.
Definition at line 5231 of file validation.cpp.
void Chainstate::ResetBlockFailureFlags | ( | CBlockIndex * | pindex | ) |
Remove invalidity status from a block and its descendants.
Definition at line 3976 of file validation.cpp.
|
inline |
Destructs all objects related to accessing the UTXO set.
Definition at line 852 of file validation.h.
|
private |
Apply the effects of a block on the utxo cache, ignoring that it may already have been applied.
Definition at line 5203 of file validation.cpp.
void Chainstate::UnloadBlockIndex | ( | ) |
void Chainstate::UnparkBlock | ( | CBlockIndex * | pindex | ) |
Remove parked status from a block.
Definition at line 4013 of file validation.cpp.
void Chainstate::UnparkBlockAndChildren | ( | CBlockIndex * | pindex | ) |
Remove parked status from a block and its descendants.
Definition at line 4009 of file validation.cpp.
|
private |
Definition at line 3992 of file validation.cpp.
|
private |
Definition at line 3675 of file validation.cpp.
void Chainstate::UpdateFlags | ( | CBlockIndex * | pindex, |
CBlockIndex *& | pindexReset, | ||
F | f, | ||
C | fChild, | ||
AC | fAncestorWasChanged | ||
) |
Definition at line 3947 of file validation.cpp.
bool Chainstate::UpdateFlagsForBlock | ( | CBlockIndex * | pindexBase, |
CBlockIndex * | pindex, | ||
F | f | ||
) |
Definition at line 3924 of file validation.cpp.
void Chainstate::!cs_avalancheFinalizedBlockIndex |
Definition at line 904 of file validation.h.
bool Chainstate::!cs_avalancheFinalizedBlockIndex |
Definition at line 997 of file validation.h.
|
private |
Definition at line 1106 of file validation.h.
|
private |
Definition at line 1117 of file validation.h.
|
private |
Definition at line 1121 of file validation.h.
|
private |
In case of an invalid snapshot, rename the coins leveldb directory so that it can be examined for issue diagnosis.
Definition at line 1162 of file validation.h.
bool Chainstate::ConnectBlock |
Apply the effects of this block (with given index) on the UTXO set represented by coins.
Validity checks that depend on the UTXO set are also done; ConnectBlock() can fail if those validity checks fail (among other reasons).
Definition at line 971 of file validation.h.
bool m_mempool Chainstate::cs |
Definition at line 980 of file validation.h.
|
mutableprotected |
Definition at line 742 of file validation.h.
|
protected |
Definition at line 761 of file validation.h.
|
protected |
Definition at line 760 of file validation.h.
node::BlockManager& Chainstate::m_blockman |
Reference to a BlockManager instance which itself is shared across all Chainstate instances.
Definition at line 766 of file validation.h.
|
mutableprotected |
Whether this chainstate is undergoing initial block download.
Mutable because we need to be able to mark IsInitialBlockDownload() const, which latches this for caching purposes.
Definition at line 718 of file validation.h.
CChain Chainstate::m_chain |
The current chain of blockheaders we consult and build on.
Definition at line 802 of file validation.h.
ChainstateManager& Chainstate::m_chainman |
The chainstate manager that owns this chainstate.
The reference is necessary so that this instance can check whether it is the active chainstate within deeply nested method calls.
Definition at line 771 of file validation.h.
|
protected |
The ChainState Mutex.
A lock that must be held when modifying this ChainState.
Definition at line 699 of file validation.h.
|
protected |
Manages the UTXO set, which is a reflection of the contents of m_chain
.
Definition at line 726 of file validation.h.
size_t Chainstate::m_coinsdb_cache_size_bytes {0} |
The cache size of the on-disk coins view.
Definition at line 858 of file validation.h.
size_t Chainstate::m_coinstip_cache_size_bytes {0} |
The cache size of the in-memory coins view.
Definition at line 861 of file validation.h.
|
protected |
Filter to prevent parking a block due to block policies more than once.
After first application of block policies, Avalanche voting will determine the final acceptance state. Rare false positives will be reconciled by the network and should not have any negative impact.
Definition at line 757 of file validation.h.
const std::optional<BlockHash> Chainstate::m_from_snapshot_blockhash {} |
The blockhash which is the base of the snapshot this chainstate was created from.
std::nullopt if this chainstate was not created from a snapshot.
Definition at line 810 of file validation.h.
|
private |
Definition at line 1153 of file validation.h.
|
private |
Check warning conditions and do some notifications on new chain tip set.
Definition at line 1152 of file validation.h.
|
protected |
Optional mempool that is kept in sync with the chain.
Only the active chainstate has a mempool.
Definition at line 722 of file validation.h.
|
protected |
Decreasing counter (used by subsequent preciousblock calls).
Definition at line 708 of file validation.h.
|
protected |
Every received block is assigned a unique and increasing identifier, so we know which one to give priority in case of a fork.
Blocks loaded from disk are assigned id 0, so start the counter at 1.
Definition at line 706 of file validation.h.
|
protected |
chainwork for the last block that preciousblock has been applied to.
Definition at line 710 of file validation.h.
std::set<CBlockIndex *, CBlockIndexWorkComparator> Chainstate::setBlockIndexCandidates |
The set of all CBlockIndex entries with either BLOCK_VALID_TRANSACTIONS (for itself and all ancestors) or BLOCK_ASSUMED_VALID (if using background chainstates) and as good as our current tip or better.
Entries may be failed, though, and pruning nodes may be missing the data for the block.
Definition at line 825 of file validation.h.