Bitcoin Core 30.99.0
P2P Digital Currency
blockstorage.h
Go to the documentation of this file.
1// Copyright (c) 2011-2022 The Bitcoin Core developers
2// Distributed under the MIT software license, see the accompanying
3// file COPYING or http://www.opensource.org/licenses/mit-license.php.
4
5#ifndef BITCOIN_NODE_BLOCKSTORAGE_H
6#define BITCOIN_NODE_BLOCKSTORAGE_H
7
8#include <attributes.h>
9#include <chain.h>
10#include <dbwrapper.h>
11#include <flatfile.h>
13#include <kernel/chainparams.h>
14#include <kernel/cs_main.h>
16#include <primitives/block.h>
17#include <streams.h>
18#include <sync.h>
19#include <uint256.h>
20#include <util/fs.h>
21#include <util/hasher.h>
22
23#include <array>
24#include <atomic>
25#include <cstdint>
26#include <functional>
27#include <limits>
28#include <map>
29#include <memory>
30#include <optional>
31#include <set>
32#include <span>
33#include <string>
34#include <unordered_map>
35#include <utility>
36#include <vector>
37
39class CBlockUndo;
40class Chainstate;
42namespace Consensus {
43struct Params;
44}
45namespace util {
46class SignalInterrupt;
47} // namespace util
48
49namespace kernel {
51{
52public:
53 uint32_t nBlocks{};
54 uint32_t nSize{};
55 uint32_t nUndoSize{};
56 uint32_t nHeightFirst{};
57 uint32_t nHeightLast{};
58 uint64_t nTimeFirst{};
59 uint64_t nTimeLast{};
60
62 {
63 READWRITE(VARINT(obj.nBlocks));
64 READWRITE(VARINT(obj.nSize));
65 READWRITE(VARINT(obj.nUndoSize));
66 READWRITE(VARINT(obj.nHeightFirst));
67 READWRITE(VARINT(obj.nHeightLast));
68 READWRITE(VARINT(obj.nTimeFirst));
69 READWRITE(VARINT(obj.nTimeLast));
70 }
71
72 CBlockFileInfo() = default;
73
74 std::string ToString() const;
75
77 void AddBlock(unsigned int nHeightIn, uint64_t nTimeIn)
78 {
79 if (nBlocks == 0 || nHeightFirst > nHeightIn)
80 nHeightFirst = nHeightIn;
81 if (nBlocks == 0 || nTimeFirst > nTimeIn)
82 nTimeFirst = nTimeIn;
83 nBlocks++;
84 if (nHeightIn > nHeightLast)
85 nHeightLast = nHeightIn;
86 if (nTimeIn > nTimeLast)
87 nTimeLast = nTimeIn;
88 }
89};
90
92class BlockTreeDB : public CDBWrapper
93{
94public:
96 void WriteBatchSync(const std::vector<std::pair<int, const CBlockFileInfo*>>& fileInfo, int nLastFile, const std::vector<const CBlockIndex*>& blockinfo);
97 bool ReadBlockFileInfo(int nFile, CBlockFileInfo& info);
98 bool ReadLastBlockFile(int& nFile);
99 void WriteReindexing(bool fReindexing);
100 void ReadReindexing(bool& fReindexing);
101 void WriteFlag(const std::string& name, bool fValue);
102 bool ReadFlag(const std::string& name, bool& fValue);
103 bool LoadBlockIndexGuts(const Consensus::Params& consensusParams, std::function<CBlockIndex*(const uint256&)> insertBlockIndex, const util::SignalInterrupt& interrupt)
105};
106} // namespace kernel
107
108namespace node {
111
113static const unsigned int BLOCKFILE_CHUNK_SIZE = 0x1000000; // 16 MiB
115static const unsigned int UNDOFILE_CHUNK_SIZE = 0x100000; // 1 MiB
117static const unsigned int MAX_BLOCKFILE_SIZE = 0x8000000; // 128 MiB
118
120static constexpr uint32_t STORAGE_HEADER_BYTES{std::tuple_size_v<MessageStartChars> + sizeof(unsigned int)};
121
124
125// Because validation code takes pointers to the map's CBlockIndex objects, if
126// we ever switch to another associative container, we need to either use a
127// container that has stable addressing (true of all std associative
128// containers), or make the key a `std::unique_ptr<CBlockIndex>`
129using BlockMap = std::unordered_map<uint256, CBlockIndex, BlockHasher>;
130
132 bool operator()(const CBlockIndex* pa, const CBlockIndex* pb) const;
133};
134
136 /* Only compares the height of two block indices, doesn't try to tie-break */
137 bool operator()(const CBlockIndex* pa, const CBlockIndex* pb) const;
138};
139
141 int height_first{std::numeric_limits<int>::max()};
142};
143
145 // Values used as array indexes - do not change carelessly.
149};
150
151std::ostream& operator<<(std::ostream& os, const BlockfileType& type);
152
154 // The latest blockfile number.
155 int file_num{0};
156
157 // Track the height of the highest block in file_num whose undo
158 // data has been written. Block data is written to block files in download
159 // order, but is written to undo files in validation order, which is
160 // usually in order by height. To avoid wasting disk space, undo files will
161 // be trimmed whenever the corresponding block file is finalized and
162 // the height of the highest block written to the block file equals the
163 // height of the highest block written to the undo file. This is a
164 // heuristic and can sometimes preemptively trim undo files that will write
165 // more data later, and sometimes fail to trim undo files that can't have
166 // more data written later.
168};
169
170std::ostream& operator<<(std::ostream& os, const BlockfileCursor& cursor);
171
172
181{
184
185private:
186 const CChainParams& GetParams() const { return m_opts.chainparams; }
193 bool LoadBlockIndex(const std::optional<uint256>& snapshot_blockhash)
195
197 [[nodiscard]] bool FlushBlockFile(int blockfile_num, bool fFinalize, bool finalize_undo);
198
200 [[nodiscard]] bool FlushUndoFile(int block_file, bool finalize = false);
201
211 [[nodiscard]] FlatFilePos FindNextBlockPos(unsigned int nAddSize, unsigned int nHeight, uint64_t nTime);
212 [[nodiscard]] bool FlushChainstateBlockFile(int tip_height);
213 bool FindUndoPos(BlockValidationState& state, int nFile, FlatFilePos& pos, unsigned int nAddSize);
214
215 AutoFile OpenUndoFile(const FlatFilePos& pos, bool fReadOnly = false) const;
216
217 /* Calculate the block/rev files to delete based on height specified by user with RPC command pruneblockchain */
219 std::set<int>& setFilesToPrune,
220 int nManualPruneHeight,
221 const Chainstate& chain,
222 ChainstateManager& chainman);
223
240 void FindFilesToPrune(
241 std::set<int>& setFilesToPrune,
242 int last_prune,
243 const Chainstate& chain,
244 ChainstateManager& chainman);
245
247 std::vector<CBlockFileInfo> m_blockfile_info;
248
259 std::array<std::optional<BlockfileCursor>, BlockfileType::NUM_TYPES>
260 m_blockfile_cursors GUARDED_BY(cs_LastBlockFile) = {
262 std::nullopt,
263 };
265 {
266 static const BlockfileCursor empty_cursor;
267 const auto& normal = m_blockfile_cursors[BlockfileType::NORMAL].value_or(empty_cursor);
268 const auto& assumed = m_blockfile_cursors[BlockfileType::ASSUMED].value_or(empty_cursor);
269 return std::max(normal.file_num, assumed.file_num);
270 }
271
277
278 const bool m_prune_mode;
279
281
283 std::set<CBlockIndex*> m_dirty_blockindex;
284
286 std::set<int> m_dirty_fileinfo;
287
294 std::unordered_map<std::string, PruneLockInfo> m_prune_locks GUARDED_BY(::cs_main);
295
297
299
302
303public:
305
306 explicit BlockManager(const util::SignalInterrupt& interrupt, Options opts);
307
309 std::atomic<bool> m_importing{false};
310
317 std::atomic_bool m_blockfiles_indexed{true};
318
320
333 std::optional<int> m_snapshot_height;
334
335 std::vector<CBlockIndex*> GetAllBlockIndices() EXCLUSIVE_LOCKS_REQUIRED(::cs_main);
336
342
343 std::unique_ptr<BlockTreeDB> m_block_tree_db GUARDED_BY(::cs_main);
344
345 void WriteBlockIndexDB() EXCLUSIVE_LOCKS_REQUIRED(::cs_main);
346 bool LoadBlockIndexDB(const std::optional<uint256>& snapshot_blockhash)
348
354 void ScanAndUnlinkAlreadyPrunedFiles() EXCLUSIVE_LOCKS_REQUIRED(::cs_main);
355
359
361 void PruneOneBlockFile(const int fileNumber) EXCLUSIVE_LOCKS_REQUIRED(cs_main);
362
365
368
369 bool WriteBlockUndo(const CBlockUndo& blockundo, BlockValidationState& state, CBlockIndex& block)
371
381
388 void UpdateBlockInfo(const CBlock& block, unsigned int nHeight, const FlatFilePos& pos);
389
391 [[nodiscard]] bool IsPruneMode() const { return m_prune_mode; }
392
394 [[nodiscard]] uint64_t GetPruneTarget() const { return m_opts.prune_target; }
395 static constexpr auto PRUNE_TARGET_MANUAL{std::numeric_limits<uint64_t>::max()};
396
397 [[nodiscard]] bool LoadingBlocks() const { return m_importing || !m_blockfiles_indexed; }
398
400 uint64_t CalculateCurrentUsage();
401
406
429 const CBlockIndex* GetFirstBlock(
430 const CBlockIndex& upper_block LIFETIMEBOUND,
431 uint32_t status_mask,
432 const CBlockIndex* lower_block = nullptr
434
436 bool m_have_pruned = false;
437
439 bool IsBlockPruned(const CBlockIndex& block) const EXCLUSIVE_LOCKS_REQUIRED(::cs_main);
440
442 void UpdatePruneLock(const std::string& name, const PruneLockInfo& lock_info) EXCLUSIVE_LOCKS_REQUIRED(::cs_main);
443
445 AutoFile OpenBlockFile(const FlatFilePos& pos, bool fReadOnly) const;
446
448 fs::path GetBlockPosFilename(const FlatFilePos& pos) const;
449
453 void UnlinkPrunedFiles(const std::set<int>& setFilesToPrune) const;
454
456 bool ReadBlock(CBlock& block, const FlatFilePos& pos, const std::optional<uint256>& expected_hash) const;
457 bool ReadBlock(CBlock& block, const CBlockIndex& index) const;
458 bool ReadRawBlock(std::vector<std::byte>& block, const FlatFilePos& pos) const;
459
460 bool ReadBlockUndo(CBlockUndo& blockundo, const CBlockIndex& index) const;
461
462 void CleanupBlockRevFiles() const;
463};
464
465// Calls ActivateBestChain() even if no blocks are imported.
466void ImportBlocks(ChainstateManager& chainman, std::span<const fs::path> import_paths);
467} // namespace node
468
469#endif // BITCOIN_NODE_BLOCKSTORAGE_H
#define LIFETIMEBOUND
Definition: attributes.h:16
void CheckBlockDataAvailability(BlockManager &blockman, const CBlockIndex &blockindex, bool check_for_undo)
Definition: blockchain.cpp:649
const CChainParams & Params()
Return the currently selected parameters.
Non-refcounted RAII wrapper for FILE*.
Definition: streams.h:371
Nodes collect new transactions into a block, hash them into a hash tree, and scan through nonce value...
Definition: block.h:22
Definition: block.h:69
The block chain is a tree shaped structure starting with the genesis block at the root,...
Definition: chain.h:103
Undo information for a CBlock.
Definition: undo.h:63
CChainParams defines various tweakable parameters of a given instance of the Bitcoin system.
Definition: chainparams.h:78
const Consensus::Params & GetConsensus() const
Definition: chainparams.h:90
CDBWrapper(const DBParams &params)
Definition: dbwrapper.cpp:216
Chainstate stores and provides an API to update our local knowledge of the current best chain.
Definition: validation.h:532
Provides an interface for creating and interacting with one or two chainstates: an IBD chainstate gen...
Definition: validation.h:899
FlatFileSeq represents a sequence of numbered files storing raw data.
Definition: flatfile.h:46
static constexpr unsigned int size()
Definition: uint256.h:107
Access to the block database (blocks/index/)
Definition: blockstorage.h:93
void WriteBatchSync(const std::vector< std::pair< int, const CBlockFileInfo * > > &fileInfo, int nLastFile, const std::vector< const CBlockIndex * > &blockinfo)
bool ReadLastBlockFile(int &nFile)
void WriteReindexing(bool fReindexing)
bool ReadFlag(const std::string &name, bool &fValue)
bool ReadBlockFileInfo(int nFile, CBlockFileInfo &info)
void ReadReindexing(bool &fReindexing)
void WriteFlag(const std::string &name, bool fValue)
SERIALIZE_METHODS(CBlockFileInfo, obj)
Definition: blockstorage.h:61
uint32_t nSize
number of used bytes of block file
Definition: blockstorage.h:54
uint32_t nUndoSize
number of used bytes in the undo file
Definition: blockstorage.h:55
void AddBlock(unsigned int nHeightIn, uint64_t nTimeIn)
update statistics (does not update nSize)
Definition: blockstorage.h:77
std::string ToString() const
uint64_t nTimeFirst
earliest time of block in file
Definition: blockstorage.h:58
uint64_t nTimeLast
latest time of block in file
Definition: blockstorage.h:59
uint32_t nHeightFirst
lowest height of block in file
Definition: blockstorage.h:56
uint32_t nBlocks
number of blocks stored in file
Definition: blockstorage.h:53
uint32_t nHeightLast
highest height of block in file
Definition: blockstorage.h:57
Maintains a tree of blocks (stored in m_block_index) which is consulted to determine where the most-w...
Definition: blockstorage.h:181
const kernel::BlockManagerOpts m_opts
Definition: blockstorage.h:298
std::set< int > m_dirty_fileinfo
Dirty block file entries.
Definition: blockstorage.h:286
const FlatFileSeq m_undo_file_seq
Definition: blockstorage.h:301
RecursiveMutex cs_LastBlockFile
Definition: blockstorage.h:246
const CChainParams & GetParams() const
Definition: blockstorage.h:186
bool FlushChainstateBlockFile(int tip_height)
void FindFilesToPrune(std::set< int > &setFilesToPrune, int last_prune, const Chainstate &chain, ChainstateManager &chainman)
Prune block and undo files (blk???.dat and rev???.dat) so that the disk space used is less than a use...
void UpdateBlockInfo(const CBlock &block, unsigned int nHeight, const FlatFilePos &pos)
Update blockfile info while processing a block during reindex.
const Obfuscation m_obfuscation
Definition: blockstorage.h:280
static constexpr auto PRUNE_TARGET_MANUAL
Definition: blockstorage.h:395
CBlockIndex * LookupBlockIndex(const uint256 &hash) EXCLUSIVE_LOCKS_REQUIRED(cs_main)
bool ReadBlockUndo(CBlockUndo &blockundo, const CBlockIndex &index) const
void PruneOneBlockFile(const int fileNumber) EXCLUSIVE_LOCKS_REQUIRED(cs_main)
Mark one block file as pruned (modify associated database entries)
BlockfileType BlockfileTypeForHeight(int height)
std::atomic_bool m_blockfiles_indexed
Whether all blockfiles have been added to the block tree database.
Definition: blockstorage.h:317
std::vector< CBlockIndex * > GetAllBlockIndices() EXCLUSIVE_LOCKS_REQUIRED(std::multimap< CBlockIndex *, CBlockIndex * > m_blocks_unlinked
All pairs A->B, where A (or one of its ancestors) misses transactions, but B has transactions.
Definition: blockstorage.h:335
const Consensus::Params & GetConsensus() const
Definition: blockstorage.h:187
BlockManager(const util::SignalInterrupt &interrupt, Options opts)
std::unordered_map< std::string, PruneLockInfo > m_prune_locks GUARDED_BY(::cs_main)
Map from external index name to oldest block that must not be pruned.
std::set< CBlockIndex * > m_dirty_blockindex
Dirty block index entries.
Definition: blockstorage.h:283
bool LoadingBlocks() const
Definition: blockstorage.h:397
fs::path GetBlockPosFilename(const FlatFilePos &pos) const
Translation to a filesystem path.
bool FlushBlockFile(int blockfile_num, bool fFinalize, bool finalize_undo)
Return false if block file or undo file flushing fails.
uint64_t GetPruneTarget() const
Attempt to stay below this number of bytes of block files.
Definition: blockstorage.h:394
int MaxBlockfileNum() const EXCLUSIVE_LOCKS_REQUIRED(cs_LastBlockFile)
Definition: blockstorage.h:264
void UnlinkPrunedFiles(const std::set< int > &setFilesToPrune) const
Actually unlink the specified files.
void WriteBlockIndexDB() EXCLUSIVE_LOCKS_REQUIRED(bool LoadBlockIndexDB(const std::optional< uint256 > &snapshot_blockhash) EXCLUSIVE_LOCKS_REQUIRED(void ScanAndUnlinkAlreadyPrunedFiles() EXCLUSIVE_LOCKS_REQUIRED(CBlockIndex * AddToBlockIndex(const CBlockHeader &block, CBlockIndex *&best_header) EXCLUSIVE_LOCKS_REQUIRED(cs_main)
Remove any pruned block & undo files that are still on disk.
Definition: blockstorage.h:356
FlatFilePos FindNextBlockPos(unsigned int nAddSize, unsigned int nHeight, uint64_t nTime)
Helper function performing various preparations before a block can be saved to disk: Returns the corr...
const bool m_prune_mode
Definition: blockstorage.h:278
bool CheckBlockDataAvailability(const CBlockIndex &upper_block LIFETIMEBOUND, const CBlockIndex &lower_block LIFETIMEBOUND) EXCLUSIVE_LOCKS_REQUIRED(const CBlockIndex *GetFirstBlock(const CBlockIndex &upper_block LIFETIMEBOUND, uint32_t status_mask, const CBlockIndex *lower_block=nullptr) const EXCLUSIVE_LOCKS_REQUIRED(boo m_have_pruned)
Check if all blocks in the [upper_block, lower_block] range have data available.
Definition: blockstorage.h:436
bool FlushUndoFile(int block_file, bool finalize=false)
Return false if undo file flushing fails.
uint64_t CalculateCurrentUsage()
Calculate the amount of disk space the block & undo files currently use.
bool ReadRawBlock(std::vector< std::byte > &block, const FlatFilePos &pos) const
const util::SignalInterrupt & m_interrupt
Definition: blockstorage.h:308
const FlatFileSeq m_block_file_seq
Definition: blockstorage.h:300
CBlockIndex * InsertBlockIndex(const uint256 &hash) EXCLUSIVE_LOCKS_REQUIRED(cs_main)
Create a new block index entry for a given block hash.
bool ReadBlock(CBlock &block, const FlatFilePos &pos, const std::optional< uint256 > &expected_hash) const
Functions for disk access for blocks.
bool m_check_for_pruning
Global flag to indicate we should check to see if there are block/undo files that should be deleted.
Definition: blockstorage.h:276
bool FindUndoPos(BlockValidationState &state, int nFile, FlatFilePos &pos, unsigned int nAddSize)
bool IsPruneMode() const
Whether running in -prune mode.
Definition: blockstorage.h:391
void CleanupBlockRevFiles() const
void FindFilesToPruneManual(std::set< int > &setFilesToPrune, int nManualPruneHeight, const Chainstate &chain, ChainstateManager &chainman)
std::array< std::optional< BlockfileCursor >, BlockfileType::NUM_TYPES > m_blockfile_cursors GUARDED_BY(cs_LastBlockFile)
Since assumedvalid chainstates may be syncing a range of the chain that is very far away from the nor...
std::atomic< bool > m_importing
Definition: blockstorage.h:309
bool WriteBlockUndo(const CBlockUndo &blockundo, BlockValidationState &state, CBlockIndex &block) EXCLUSIVE_LOCKS_REQUIRED(FlatFilePos WriteBlock(const CBlock &block, int nHeight)
Store block on disk and update block file statistics.
Definition: blockstorage.h:380
bool IsBlockPruned(const CBlockIndex &block) const EXCLUSIVE_LOCKS_REQUIRED(void UpdatePruneLock(const std::string &name, const PruneLockInfo &lock_info) EXCLUSIVE_LOCKS_REQUIRED(AutoFile OpenBlockFile(const FlatFilePos &pos, bool fReadOnly) const
Check whether the block associated with this index entry is pruned or not.
Definition: blockstorage.h:445
std::vector< CBlockFileInfo > m_blockfile_info
Definition: blockstorage.h:247
CBlockFileInfo * GetBlockFileInfo(size_t n)
Get block file info entry for one block file.
bool LoadBlockIndex(const std::optional< uint256 > &snapshot_blockhash) EXCLUSIVE_LOCKS_REQUIRED(cs_main)
Load the blocktree off disk and into memory.
AutoFile OpenUndoFile(const FlatFilePos &pos, bool fReadOnly=false) const
Open an undo file (rev?????.dat)
std::optional< int > m_snapshot_height
The height of the base block of an assumeutxo snapshot, if one is in use.
Definition: blockstorage.h:333
BlockMap m_block_index GUARDED_BY(cs_main)
256-bit opaque blob.
Definition: uint256.h:196
Helper class that manages an interrupt flag, and allows a thread or signal to interrupt another threa...
RecursiveMutex cs_main
Mutex to guard access to validation specific variables, such as reading or changing the chainstate.
Definition: cs_main.cpp:8
unsigned int nHeight
Transaction validation functions.
Definition: messages.h:21
static const unsigned int UNDOFILE_CHUNK_SIZE
The pre-allocation chunk size for rev?????.dat files (since 0.8)
Definition: blockstorage.h:115
BlockfileType
Definition: blockstorage.h:144
@ NUM_TYPES
Definition: blockstorage.h:148
@ NORMAL
Definition: blockstorage.h:146
@ ASSUMED
Definition: blockstorage.h:147
static const unsigned int BLOCKFILE_CHUNK_SIZE
The pre-allocation chunk size for blk?????.dat files (since 0.8)
Definition: blockstorage.h:113
static constexpr uint32_t STORAGE_HEADER_BYTES
Size of header written by WriteBlock before a serialized CBlock (8 bytes)
Definition: blockstorage.h:120
std::ostream & operator<<(std::ostream &os, const BlockfileType &type)
static constexpr uint32_t UNDO_DATA_DISK_OVERHEAD
Total overhead when writing undo data: header (8 bytes) plus checksum (32 bytes)
Definition: blockstorage.h:123
std::unordered_map< uint256, CBlockIndex, BlockHasher > BlockMap
Definition: blockstorage.h:129
static const unsigned int MAX_BLOCKFILE_SIZE
The maximum size of a blk?????.dat file (since 0.8)
Definition: blockstorage.h:117
void ImportBlocks(ChainstateManager &chainman, std::span< const fs::path > import_paths)
const char * name
Definition: rest.cpp:48
#define VARINT(obj)
Definition: serialize.h:491
#define READWRITE(...)
Definition: serialize.h:145
Parameters that influence chain consensus.
Definition: params.h:84
An options struct for BlockManager, more ergonomically referred to as BlockManager::Options due to th...
const CChainParams & chainparams
bool operator()(const CBlockIndex *pa, const CBlockIndex *pb) const
bool operator()(const CBlockIndex *pa, const CBlockIndex *pb) const
#define EXCLUSIVE_LOCKS_REQUIRED(...)
Definition: threadsafety.h:51