/root/bitcoin/src/node/blockstorage.cpp
Line | Count | Source |
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 | | #include <node/blockstorage.h> |
6 | | |
7 | | #include <arith_uint256.h> |
8 | | #include <chain.h> |
9 | | #include <consensus/params.h> |
10 | | #include <consensus/validation.h> |
11 | | #include <dbwrapper.h> |
12 | | #include <flatfile.h> |
13 | | #include <hash.h> |
14 | | #include <kernel/blockmanager_opts.h> |
15 | | #include <kernel/chain.h> |
16 | | #include <kernel/chainparams.h> |
17 | | #include <kernel/messagestartchars.h> |
18 | | #include <kernel/notifications_interface.h> |
19 | | #include <kernel/types.h> |
20 | | #include <logging.h> |
21 | | #include <pow.h> |
22 | | #include <primitives/block.h> |
23 | | #include <primitives/transaction.h> |
24 | | #include <random.h> |
25 | | #include <serialize.h> |
26 | | #include <signet.h> |
27 | | #include <span.h> |
28 | | #include <streams.h> |
29 | | #include <sync.h> |
30 | | #include <tinyformat.h> |
31 | | #include <uint256.h> |
32 | | #include <undo.h> |
33 | | #include <util/batchpriority.h> |
34 | | #include <util/check.h> |
35 | | #include <util/fs.h> |
36 | | #include <util/obfuscation.h> |
37 | | #include <util/signalinterrupt.h> |
38 | | #include <util/strencodings.h> |
39 | | #include <util/syserror.h> |
40 | | #include <util/time.h> |
41 | | #include <util/translation.h> |
42 | | #include <validation.h> |
43 | | |
44 | | #include <cstddef> |
45 | | #include <map> |
46 | | #include <optional> |
47 | | #include <unordered_map> |
48 | | |
49 | | namespace kernel { |
50 | | static constexpr uint8_t DB_BLOCK_FILES{'f'}; |
51 | | static constexpr uint8_t DB_BLOCK_INDEX{'b'}; |
52 | | static constexpr uint8_t DB_FLAG{'F'}; |
53 | | static constexpr uint8_t DB_REINDEX_FLAG{'R'}; |
54 | | static constexpr uint8_t DB_LAST_BLOCK{'l'}; |
55 | | // Keys used in previous version that might still be found in the DB: |
56 | | // BlockTreeDB::DB_TXINDEX_BLOCK{'T'}; |
57 | | // BlockTreeDB::DB_TXINDEX{'t'} |
58 | | // BlockTreeDB::ReadFlag("txindex") |
59 | | |
60 | | bool BlockTreeDB::ReadBlockFileInfo(int nFile, CBlockFileInfo& info) |
61 | 0 | { |
62 | 0 | return Read(std::make_pair(DB_BLOCK_FILES, nFile), info); |
63 | 0 | } |
64 | | |
65 | | void BlockTreeDB::WriteReindexing(bool fReindexing) |
66 | 0 | { |
67 | 0 | if (fReindexing) { |
68 | 0 | Write(DB_REINDEX_FLAG, uint8_t{'1'}); |
69 | 0 | } else { |
70 | 0 | Erase(DB_REINDEX_FLAG); |
71 | 0 | } |
72 | 0 | } |
73 | | |
74 | | void BlockTreeDB::ReadReindexing(bool& fReindexing) |
75 | 0 | { |
76 | 0 | fReindexing = Exists(DB_REINDEX_FLAG); |
77 | 0 | } |
78 | | |
79 | | bool BlockTreeDB::ReadLastBlockFile(int& nFile) |
80 | 0 | { |
81 | 0 | return Read(DB_LAST_BLOCK, nFile); |
82 | 0 | } |
83 | | |
84 | | void BlockTreeDB::WriteBatchSync(const std::vector<std::pair<int, const CBlockFileInfo*>>& fileInfo, int nLastFile, const std::vector<const CBlockIndex*>& blockinfo) |
85 | 0 | { |
86 | 0 | CDBBatch batch(*this); |
87 | 0 | for (const auto& [file, info] : fileInfo) { |
88 | 0 | batch.Write(std::make_pair(DB_BLOCK_FILES, file), *info); |
89 | 0 | } |
90 | 0 | batch.Write(DB_LAST_BLOCK, nLastFile); |
91 | 0 | for (const CBlockIndex* bi : blockinfo) { |
92 | 0 | batch.Write(std::make_pair(DB_BLOCK_INDEX, bi->GetBlockHash()), CDiskBlockIndex{bi}); |
93 | 0 | } |
94 | 0 | WriteBatch(batch, true); |
95 | 0 | } |
96 | | |
97 | | void BlockTreeDB::WriteFlag(const std::string& name, bool fValue) |
98 | 0 | { |
99 | 0 | Write(std::make_pair(DB_FLAG, name), fValue ? uint8_t{'1'} : uint8_t{'0'}); |
100 | 0 | } |
101 | | |
102 | | bool BlockTreeDB::ReadFlag(const std::string& name, bool& fValue) |
103 | 0 | { |
104 | 0 | uint8_t ch; |
105 | 0 | if (!Read(std::make_pair(DB_FLAG, name), ch)) { |
106 | 0 | return false; |
107 | 0 | } |
108 | 0 | fValue = ch == uint8_t{'1'}; |
109 | 0 | return true; |
110 | 0 | } |
111 | | |
112 | | bool BlockTreeDB::LoadBlockIndexGuts(const Consensus::Params& consensusParams, std::function<CBlockIndex*(const uint256&)> insertBlockIndex, const util::SignalInterrupt& interrupt) |
113 | 0 | { |
114 | 0 | AssertLockHeld(::cs_main); |
115 | 0 | std::unique_ptr<CDBIterator> pcursor(NewIterator()); |
116 | 0 | pcursor->Seek(std::make_pair(DB_BLOCK_INDEX, uint256())); |
117 | | |
118 | | // Load m_block_index |
119 | 0 | while (pcursor->Valid()) { |
120 | 0 | if (interrupt) return false; |
121 | 0 | std::pair<uint8_t, uint256> key; |
122 | 0 | if (pcursor->GetKey(key) && key.first == DB_BLOCK_INDEX) { |
123 | 0 | CDiskBlockIndex diskindex; |
124 | 0 | if (pcursor->GetValue(diskindex)) { |
125 | | // Construct block index object |
126 | 0 | CBlockIndex* pindexNew = insertBlockIndex(diskindex.ConstructBlockHash()); |
127 | 0 | pindexNew->pprev = insertBlockIndex(diskindex.hashPrev); |
128 | 0 | pindexNew->nHeight = diskindex.nHeight; |
129 | 0 | pindexNew->nFile = diskindex.nFile; |
130 | 0 | pindexNew->nDataPos = diskindex.nDataPos; |
131 | 0 | pindexNew->nUndoPos = diskindex.nUndoPos; |
132 | 0 | pindexNew->nVersion = diskindex.nVersion; |
133 | 0 | pindexNew->hashMerkleRoot = diskindex.hashMerkleRoot; |
134 | 0 | pindexNew->nTime = diskindex.nTime; |
135 | 0 | pindexNew->nBits = diskindex.nBits; |
136 | 0 | pindexNew->nNonce = diskindex.nNonce; |
137 | 0 | pindexNew->nStatus = diskindex.nStatus; |
138 | 0 | pindexNew->nTx = diskindex.nTx; |
139 | |
|
140 | 0 | if (!CheckProofOfWork(pindexNew->GetBlockHash(), pindexNew->nBits, consensusParams)) { |
141 | 0 | LogError("%s: CheckProofOfWork failed: %s\n", __func__, pindexNew->ToString()); |
142 | 0 | return false; |
143 | 0 | } |
144 | | |
145 | 0 | pcursor->Next(); |
146 | 0 | } else { |
147 | 0 | LogError("%s: failed to read value\n", __func__); |
148 | 0 | return false; |
149 | 0 | } |
150 | 0 | } else { |
151 | 0 | break; |
152 | 0 | } |
153 | 0 | } |
154 | | |
155 | 0 | return true; |
156 | 0 | } |
157 | | |
158 | | std::string CBlockFileInfo::ToString() const |
159 | 0 | { |
160 | 0 | return strprintf("CBlockFileInfo(blocks=%u, size=%u, heights=%u...%u, time=%s...%s)", nBlocks, nSize, nHeightFirst, nHeightLast, FormatISO8601Date(nTimeFirst), FormatISO8601Date(nTimeLast)); |
161 | 0 | } |
162 | | } // namespace kernel |
163 | | |
164 | | namespace node { |
165 | | |
166 | | bool CBlockIndexWorkComparator::operator()(const CBlockIndex* pa, const CBlockIndex* pb) const |
167 | 0 | { |
168 | | // First sort by most total work, ... |
169 | 0 | if (pa->nChainWork > pb->nChainWork) return false; |
170 | 0 | if (pa->nChainWork < pb->nChainWork) return true; |
171 | | |
172 | | // ... then by earliest activatable time, ... |
173 | 0 | if (pa->nSequenceId < pb->nSequenceId) return false; |
174 | 0 | if (pa->nSequenceId > pb->nSequenceId) return true; |
175 | | |
176 | | // Use pointer address as tie breaker (should only happen with blocks |
177 | | // loaded from disk, as those share the same id: 0 for blocks on the |
178 | | // best chain, 1 for all others). |
179 | 0 | if (pa < pb) return false; |
180 | 0 | if (pa > pb) return true; |
181 | | |
182 | | // Identical blocks. |
183 | 0 | return false; |
184 | 0 | } |
185 | | |
186 | | bool CBlockIndexHeightOnlyComparator::operator()(const CBlockIndex* pa, const CBlockIndex* pb) const |
187 | 0 | { |
188 | 0 | return pa->nHeight < pb->nHeight; |
189 | 0 | } |
190 | | |
191 | | std::vector<CBlockIndex*> BlockManager::GetAllBlockIndices() |
192 | 0 | { |
193 | 0 | AssertLockHeld(cs_main); |
194 | 0 | std::vector<CBlockIndex*> rv; |
195 | 0 | rv.reserve(m_block_index.size()); |
196 | 0 | for (auto& [_, block_index] : m_block_index) { |
197 | 0 | rv.push_back(&block_index); |
198 | 0 | } |
199 | 0 | return rv; |
200 | 0 | } |
201 | | |
202 | | CBlockIndex* BlockManager::LookupBlockIndex(const uint256& hash) |
203 | 0 | { |
204 | 0 | AssertLockHeld(cs_main); |
205 | 0 | BlockMap::iterator it = m_block_index.find(hash); |
206 | 0 | return it == m_block_index.end() ? nullptr : &it->second; |
207 | 0 | } |
208 | | |
209 | | const CBlockIndex* BlockManager::LookupBlockIndex(const uint256& hash) const |
210 | 0 | { |
211 | 0 | AssertLockHeld(cs_main); |
212 | 0 | BlockMap::const_iterator it = m_block_index.find(hash); |
213 | 0 | return it == m_block_index.end() ? nullptr : &it->second; |
214 | 0 | } |
215 | | |
216 | | CBlockIndex* BlockManager::AddToBlockIndex(const CBlockHeader& block, CBlockIndex*& best_header) |
217 | 0 | { |
218 | 0 | AssertLockHeld(cs_main); |
219 | |
|
220 | 0 | auto [mi, inserted] = m_block_index.try_emplace(block.GetHash(), block); |
221 | 0 | if (!inserted) { |
222 | 0 | return &mi->second; |
223 | 0 | } |
224 | 0 | CBlockIndex* pindexNew = &(*mi).second; |
225 | | |
226 | | // We assign the sequence id to blocks only when the full data is available, |
227 | | // to avoid miners withholding blocks but broadcasting headers, to get a |
228 | | // competitive advantage. |
229 | 0 | pindexNew->nSequenceId = SEQ_ID_INIT_FROM_DISK; |
230 | |
|
231 | 0 | pindexNew->phashBlock = &((*mi).first); |
232 | 0 | BlockMap::iterator miPrev = m_block_index.find(block.hashPrevBlock); |
233 | 0 | if (miPrev != m_block_index.end()) { |
234 | 0 | pindexNew->pprev = &(*miPrev).second; |
235 | 0 | pindexNew->nHeight = pindexNew->pprev->nHeight + 1; |
236 | 0 | pindexNew->BuildSkip(); |
237 | 0 | } |
238 | 0 | pindexNew->nTimeMax = (pindexNew->pprev ? std::max(pindexNew->pprev->nTimeMax, pindexNew->nTime) : pindexNew->nTime); |
239 | 0 | pindexNew->nChainWork = (pindexNew->pprev ? pindexNew->pprev->nChainWork : 0) + GetBlockProof(*pindexNew); |
240 | 0 | pindexNew->RaiseValidity(BLOCK_VALID_TREE); |
241 | 0 | if (best_header == nullptr || best_header->nChainWork < pindexNew->nChainWork) { |
242 | 0 | best_header = pindexNew; |
243 | 0 | } |
244 | |
|
245 | 0 | m_dirty_blockindex.insert(pindexNew); |
246 | |
|
247 | 0 | return pindexNew; |
248 | 0 | } |
249 | | |
250 | | void BlockManager::PruneOneBlockFile(const int fileNumber) |
251 | 0 | { |
252 | 0 | AssertLockHeld(cs_main); |
253 | 0 | LOCK(cs_LastBlockFile); |
254 | |
|
255 | 0 | for (auto& entry : m_block_index) { |
256 | 0 | CBlockIndex* pindex = &entry.second; |
257 | 0 | if (pindex->nFile == fileNumber) { |
258 | 0 | pindex->nStatus &= ~BLOCK_HAVE_DATA; |
259 | 0 | pindex->nStatus &= ~BLOCK_HAVE_UNDO; |
260 | 0 | pindex->nFile = 0; |
261 | 0 | pindex->nDataPos = 0; |
262 | 0 | pindex->nUndoPos = 0; |
263 | 0 | m_dirty_blockindex.insert(pindex); |
264 | | |
265 | | // Prune from m_blocks_unlinked -- any block we prune would have |
266 | | // to be downloaded again in order to consider its chain, at which |
267 | | // point it would be considered as a candidate for |
268 | | // m_blocks_unlinked or setBlockIndexCandidates. |
269 | 0 | auto range = m_blocks_unlinked.equal_range(pindex->pprev); |
270 | 0 | while (range.first != range.second) { |
271 | 0 | std::multimap<CBlockIndex*, CBlockIndex*>::iterator _it = range.first; |
272 | 0 | range.first++; |
273 | 0 | if (_it->second == pindex) { |
274 | 0 | m_blocks_unlinked.erase(_it); |
275 | 0 | } |
276 | 0 | } |
277 | 0 | } |
278 | 0 | } |
279 | |
|
280 | 0 | m_blockfile_info.at(fileNumber) = CBlockFileInfo{}; |
281 | 0 | m_dirty_fileinfo.insert(fileNumber); |
282 | 0 | } |
283 | | |
284 | | void BlockManager::FindFilesToPruneManual( |
285 | | std::set<int>& setFilesToPrune, |
286 | | int nManualPruneHeight, |
287 | | const Chainstate& chain) |
288 | 0 | { |
289 | 0 | assert(IsPruneMode() && nManualPruneHeight > 0); |
290 | | |
291 | 0 | LOCK2(cs_main, cs_LastBlockFile); |
292 | 0 | if (chain.m_chain.Height() < 0) { |
293 | 0 | return; |
294 | 0 | } |
295 | | |
296 | 0 | const auto [min_block_to_prune, last_block_can_prune] = chain.GetPruneRange(nManualPruneHeight); |
297 | |
|
298 | 0 | int count = 0; |
299 | 0 | for (int fileNumber = 0; fileNumber < this->MaxBlockfileNum(); fileNumber++) { |
300 | 0 | const auto& fileinfo = m_blockfile_info[fileNumber]; |
301 | 0 | if (fileinfo.nSize == 0 || fileinfo.nHeightLast > (unsigned)last_block_can_prune || fileinfo.nHeightFirst < (unsigned)min_block_to_prune) { |
302 | 0 | continue; |
303 | 0 | } |
304 | | |
305 | 0 | PruneOneBlockFile(fileNumber); |
306 | 0 | setFilesToPrune.insert(fileNumber); |
307 | 0 | count++; |
308 | 0 | } |
309 | 0 | LogInfo("[%s] Prune (Manual): prune_height=%d removed %d blk/rev pairs", |
310 | 0 | chain.GetRole(), last_block_can_prune, count); |
311 | 0 | } |
312 | | |
313 | | void BlockManager::FindFilesToPrune( |
314 | | std::set<int>& setFilesToPrune, |
315 | | int last_prune, |
316 | | const Chainstate& chain, |
317 | | ChainstateManager& chainman) |
318 | 0 | { |
319 | 0 | LOCK2(cs_main, cs_LastBlockFile); |
320 | | // Compute `target` value with maximum size (in bytes) of blocks below the |
321 | | // `last_prune` height which should be preserved and not pruned. The |
322 | | // `target` value will be derived from the -prune preference provided by the |
323 | | // user. If there is a historical chainstate being used to populate indexes |
324 | | // and validate the snapshot, the target is divided by two so half of the |
325 | | // block storage will be reserved for the historical chainstate, and the |
326 | | // other half will be reserved for the most-work chainstate. |
327 | 0 | const int num_chainstates{chainman.HistoricalChainstate() ? 2 : 1}; |
328 | 0 | const auto target = std::max( |
329 | 0 | MIN_DISK_SPACE_FOR_BLOCK_FILES, GetPruneTarget() / num_chainstates); |
330 | 0 | const uint64_t target_sync_height = chainman.m_best_header->nHeight; |
331 | |
|
332 | 0 | if (chain.m_chain.Height() < 0 || target == 0) { |
333 | 0 | return; |
334 | 0 | } |
335 | 0 | if (static_cast<uint64_t>(chain.m_chain.Height()) <= chainman.GetParams().PruneAfterHeight()) { |
336 | 0 | return; |
337 | 0 | } |
338 | | |
339 | 0 | const auto [min_block_to_prune, last_block_can_prune] = chain.GetPruneRange(last_prune); |
340 | |
|
341 | 0 | uint64_t nCurrentUsage = CalculateCurrentUsage(); |
342 | | // We don't check to prune until after we've allocated new space for files |
343 | | // So we should leave a buffer under our target to account for another allocation |
344 | | // before the next pruning. |
345 | 0 | uint64_t nBuffer = BLOCKFILE_CHUNK_SIZE + UNDOFILE_CHUNK_SIZE; |
346 | 0 | uint64_t nBytesToPrune; |
347 | 0 | int count = 0; |
348 | |
|
349 | 0 | if (nCurrentUsage + nBuffer >= target) { |
350 | | // On a prune event, the chainstate DB is flushed. |
351 | | // To avoid excessive prune events negating the benefit of high dbcache |
352 | | // values, we should not prune too rapidly. |
353 | | // So when pruning in IBD, increase the buffer to avoid a re-prune too soon. |
354 | 0 | const auto chain_tip_height = chain.m_chain.Height(); |
355 | 0 | if (chainman.IsInitialBlockDownload() && target_sync_height > (uint64_t)chain_tip_height) { |
356 | | // Since this is only relevant during IBD, we assume blocks are at least 1 MB on average |
357 | 0 | static constexpr uint64_t average_block_size = 1000000; /* 1 MB */ |
358 | 0 | const uint64_t remaining_blocks = target_sync_height - chain_tip_height; |
359 | 0 | nBuffer += average_block_size * remaining_blocks; |
360 | 0 | } |
361 | |
|
362 | 0 | for (int fileNumber = 0; fileNumber < this->MaxBlockfileNum(); fileNumber++) { |
363 | 0 | const auto& fileinfo = m_blockfile_info[fileNumber]; |
364 | 0 | nBytesToPrune = fileinfo.nSize + fileinfo.nUndoSize; |
365 | |
|
366 | 0 | if (fileinfo.nSize == 0) { |
367 | 0 | continue; |
368 | 0 | } |
369 | | |
370 | 0 | if (nCurrentUsage + nBuffer < target) { // are we below our target? |
371 | 0 | break; |
372 | 0 | } |
373 | | |
374 | | // don't prune files that could have a block that's not within the allowable |
375 | | // prune range for the chain being pruned. |
376 | 0 | if (fileinfo.nHeightLast > (unsigned)last_block_can_prune || fileinfo.nHeightFirst < (unsigned)min_block_to_prune) { |
377 | 0 | continue; |
378 | 0 | } |
379 | | |
380 | 0 | PruneOneBlockFile(fileNumber); |
381 | | // Queue up the files for removal |
382 | 0 | setFilesToPrune.insert(fileNumber); |
383 | 0 | nCurrentUsage -= nBytesToPrune; |
384 | 0 | count++; |
385 | 0 | } |
386 | 0 | } |
387 | |
|
388 | 0 | LogDebug(BCLog::PRUNE, "[%s] target=%dMiB actual=%dMiB diff=%dMiB min_height=%d max_prune_height=%d removed %d blk/rev pairs\n", |
389 | 0 | chain.GetRole(), target / 1024 / 1024, nCurrentUsage / 1024 / 1024, |
390 | 0 | (int64_t(target) - int64_t(nCurrentUsage)) / 1024 / 1024, |
391 | 0 | min_block_to_prune, last_block_can_prune, count); |
392 | 0 | } |
393 | | |
394 | 0 | void BlockManager::UpdatePruneLock(const std::string& name, const PruneLockInfo& lock_info) { |
395 | 0 | AssertLockHeld(::cs_main); |
396 | 0 | m_prune_locks[name] = lock_info; |
397 | 0 | } |
398 | | |
399 | | CBlockIndex* BlockManager::InsertBlockIndex(const uint256& hash) |
400 | 0 | { |
401 | 0 | AssertLockHeld(cs_main); |
402 | |
|
403 | 0 | if (hash.IsNull()) { |
404 | 0 | return nullptr; |
405 | 0 | } |
406 | | |
407 | 0 | const auto [mi, inserted]{m_block_index.try_emplace(hash)}; |
408 | 0 | CBlockIndex* pindex = &(*mi).second; |
409 | 0 | if (inserted) { |
410 | 0 | pindex->phashBlock = &((*mi).first); |
411 | 0 | } |
412 | 0 | return pindex; |
413 | 0 | } |
414 | | |
415 | | bool BlockManager::LoadBlockIndex(const std::optional<uint256>& snapshot_blockhash) |
416 | 0 | { |
417 | 0 | if (!m_block_tree_db->LoadBlockIndexGuts( |
418 | 0 | GetConsensus(), [this](const uint256& hash) EXCLUSIVE_LOCKS_REQUIRED(cs_main) { return this->InsertBlockIndex(hash); }, m_interrupt)) { |
419 | 0 | return false; |
420 | 0 | } |
421 | | |
422 | 0 | if (snapshot_blockhash) { |
423 | 0 | const std::optional<AssumeutxoData> maybe_au_data = GetParams().AssumeutxoForBlockhash(*snapshot_blockhash); |
424 | 0 | if (!maybe_au_data) { |
425 | 0 | m_opts.notifications.fatalError(strprintf(_("Assumeutxo data not found for the given blockhash '%s'."), snapshot_blockhash->ToString())); |
426 | 0 | return false; |
427 | 0 | } |
428 | 0 | const AssumeutxoData& au_data = *Assert(maybe_au_data); |
429 | 0 | m_snapshot_height = au_data.height; |
430 | 0 | CBlockIndex* base{LookupBlockIndex(*snapshot_blockhash)}; |
431 | | |
432 | | // Since m_chain_tx_count (responsible for estimated progress) isn't persisted |
433 | | // to disk, we must bootstrap the value for assumedvalid chainstates |
434 | | // from the hardcoded assumeutxo chainparams. |
435 | 0 | base->m_chain_tx_count = au_data.m_chain_tx_count; |
436 | 0 | LogInfo("[snapshot] set m_chain_tx_count=%d for %s", au_data.m_chain_tx_count, snapshot_blockhash->ToString()); |
437 | 0 | } else { |
438 | | // If this isn't called with a snapshot blockhash, make sure the cached snapshot height |
439 | | // is null. This is relevant during snapshot completion, when the blockman may be loaded |
440 | | // with a height that then needs to be cleared after the snapshot is fully validated. |
441 | 0 | m_snapshot_height.reset(); |
442 | 0 | } |
443 | | |
444 | 0 | Assert(m_snapshot_height.has_value() == snapshot_blockhash.has_value()); |
445 | | |
446 | | // Calculate nChainWork |
447 | 0 | std::vector<CBlockIndex*> vSortedByHeight{GetAllBlockIndices()}; |
448 | 0 | std::sort(vSortedByHeight.begin(), vSortedByHeight.end(), |
449 | 0 | CBlockIndexHeightOnlyComparator()); |
450 | |
|
451 | 0 | CBlockIndex* previous_index{nullptr}; |
452 | 0 | for (CBlockIndex* pindex : vSortedByHeight) { |
453 | 0 | if (m_interrupt) return false; |
454 | 0 | if (previous_index && pindex->nHeight > previous_index->nHeight + 1) { |
455 | 0 | LogError("%s: block index is non-contiguous, index of height %d missing\n", __func__, previous_index->nHeight + 1); |
456 | 0 | return false; |
457 | 0 | } |
458 | 0 | previous_index = pindex; |
459 | 0 | pindex->nChainWork = (pindex->pprev ? pindex->pprev->nChainWork : 0) + GetBlockProof(*pindex); |
460 | 0 | pindex->nTimeMax = (pindex->pprev ? std::max(pindex->pprev->nTimeMax, pindex->nTime) : pindex->nTime); |
461 | | |
462 | | // We can link the chain of blocks for which we've received transactions at some point, or |
463 | | // blocks that are assumed-valid on the basis of snapshot load (see |
464 | | // PopulateAndValidateSnapshot()). |
465 | | // Pruned nodes may have deleted the block. |
466 | 0 | if (pindex->nTx > 0) { |
467 | 0 | if (pindex->pprev) { |
468 | 0 | if (m_snapshot_height && pindex->nHeight == *m_snapshot_height && |
469 | 0 | pindex->GetBlockHash() == *snapshot_blockhash) { |
470 | | // Should have been set above; don't disturb it with code below. |
471 | 0 | Assert(pindex->m_chain_tx_count > 0); |
472 | 0 | } else if (pindex->pprev->m_chain_tx_count > 0) { |
473 | 0 | pindex->m_chain_tx_count = pindex->pprev->m_chain_tx_count + pindex->nTx; |
474 | 0 | } else { |
475 | 0 | pindex->m_chain_tx_count = 0; |
476 | 0 | m_blocks_unlinked.insert(std::make_pair(pindex->pprev, pindex)); |
477 | 0 | } |
478 | 0 | } else { |
479 | 0 | pindex->m_chain_tx_count = pindex->nTx; |
480 | 0 | } |
481 | 0 | } |
482 | 0 | if (!(pindex->nStatus & BLOCK_FAILED_MASK) && pindex->pprev && (pindex->pprev->nStatus & BLOCK_FAILED_MASK)) { |
483 | 0 | pindex->nStatus |= BLOCK_FAILED_CHILD; |
484 | 0 | m_dirty_blockindex.insert(pindex); |
485 | 0 | } |
486 | 0 | if (pindex->pprev) { |
487 | 0 | pindex->BuildSkip(); |
488 | 0 | } |
489 | 0 | } |
490 | | |
491 | 0 | return true; |
492 | 0 | } |
493 | | |
494 | | void BlockManager::WriteBlockIndexDB() |
495 | 0 | { |
496 | 0 | AssertLockHeld(::cs_main); |
497 | 0 | std::vector<std::pair<int, const CBlockFileInfo*>> vFiles; |
498 | 0 | vFiles.reserve(m_dirty_fileinfo.size()); |
499 | 0 | for (std::set<int>::iterator it = m_dirty_fileinfo.begin(); it != m_dirty_fileinfo.end();) { |
500 | 0 | vFiles.emplace_back(*it, &m_blockfile_info[*it]); |
501 | 0 | m_dirty_fileinfo.erase(it++); |
502 | 0 | } |
503 | 0 | std::vector<const CBlockIndex*> vBlocks; |
504 | 0 | vBlocks.reserve(m_dirty_blockindex.size()); |
505 | 0 | for (std::set<CBlockIndex*>::iterator it = m_dirty_blockindex.begin(); it != m_dirty_blockindex.end();) { |
506 | 0 | vBlocks.push_back(*it); |
507 | 0 | m_dirty_blockindex.erase(it++); |
508 | 0 | } |
509 | 0 | int max_blockfile = WITH_LOCK(cs_LastBlockFile, return this->MaxBlockfileNum()); |
510 | 0 | m_block_tree_db->WriteBatchSync(vFiles, max_blockfile, vBlocks); |
511 | 0 | } |
512 | | |
513 | | bool BlockManager::LoadBlockIndexDB(const std::optional<uint256>& snapshot_blockhash) |
514 | 0 | { |
515 | 0 | if (!LoadBlockIndex(snapshot_blockhash)) { |
516 | 0 | return false; |
517 | 0 | } |
518 | 0 | int max_blockfile_num{0}; |
519 | | |
520 | | // Load block file info |
521 | 0 | m_block_tree_db->ReadLastBlockFile(max_blockfile_num); |
522 | 0 | m_blockfile_info.resize(max_blockfile_num + 1); |
523 | 0 | LogInfo("Loading block index db: last block file = %i", max_blockfile_num); |
524 | 0 | for (int nFile = 0; nFile <= max_blockfile_num; nFile++) { |
525 | 0 | m_block_tree_db->ReadBlockFileInfo(nFile, m_blockfile_info[nFile]); |
526 | 0 | } |
527 | 0 | LogInfo("Loading block index db: last block file info: %s", m_blockfile_info[max_blockfile_num].ToString()); |
528 | 0 | for (int nFile = max_blockfile_num + 1; true; nFile++) { |
529 | 0 | CBlockFileInfo info; |
530 | 0 | if (m_block_tree_db->ReadBlockFileInfo(nFile, info)) { |
531 | 0 | m_blockfile_info.push_back(info); |
532 | 0 | } else { |
533 | 0 | break; |
534 | 0 | } |
535 | 0 | } |
536 | | |
537 | | // Check presence of blk files |
538 | 0 | LogInfo("Checking all blk files are present..."); |
539 | 0 | std::set<int> setBlkDataFiles; |
540 | 0 | for (const auto& [_, block_index] : m_block_index) { |
541 | 0 | if (block_index.nStatus & BLOCK_HAVE_DATA) { |
542 | 0 | setBlkDataFiles.insert(block_index.nFile); |
543 | 0 | } |
544 | 0 | } |
545 | 0 | for (std::set<int>::iterator it = setBlkDataFiles.begin(); it != setBlkDataFiles.end(); it++) { |
546 | 0 | FlatFilePos pos(*it, 0); |
547 | 0 | if (OpenBlockFile(pos, /*fReadOnly=*/true).IsNull()) { |
548 | 0 | return false; |
549 | 0 | } |
550 | 0 | } |
551 | | |
552 | 0 | { |
553 | | // Initialize the blockfile cursors. |
554 | 0 | LOCK(cs_LastBlockFile); |
555 | 0 | for (size_t i = 0; i < m_blockfile_info.size(); ++i) { |
556 | 0 | const auto last_height_in_file = m_blockfile_info[i].nHeightLast; |
557 | 0 | m_blockfile_cursors[BlockfileTypeForHeight(last_height_in_file)] = {static_cast<int>(i), 0}; |
558 | 0 | } |
559 | 0 | } |
560 | | |
561 | | // Check whether we have ever pruned block & undo files |
562 | 0 | m_block_tree_db->ReadFlag("prunedblockfiles", m_have_pruned); |
563 | 0 | if (m_have_pruned) { |
564 | 0 | LogInfo("Loading block index db: Block files have previously been pruned"); |
565 | 0 | } |
566 | | |
567 | | // Check whether we need to continue reindexing |
568 | 0 | bool fReindexing = false; |
569 | 0 | m_block_tree_db->ReadReindexing(fReindexing); |
570 | 0 | if (fReindexing) m_blockfiles_indexed = false; |
571 | |
|
572 | 0 | return true; |
573 | 0 | } |
574 | | |
575 | | void BlockManager::ScanAndUnlinkAlreadyPrunedFiles() |
576 | 0 | { |
577 | 0 | AssertLockHeld(::cs_main); |
578 | 0 | int max_blockfile = WITH_LOCK(cs_LastBlockFile, return this->MaxBlockfileNum()); |
579 | 0 | if (!m_have_pruned) { |
580 | 0 | return; |
581 | 0 | } |
582 | | |
583 | 0 | std::set<int> block_files_to_prune; |
584 | 0 | for (int file_number = 0; file_number < max_blockfile; file_number++) { |
585 | 0 | if (m_blockfile_info[file_number].nSize == 0) { |
586 | 0 | block_files_to_prune.insert(file_number); |
587 | 0 | } |
588 | 0 | } |
589 | |
|
590 | 0 | UnlinkPrunedFiles(block_files_to_prune); |
591 | 0 | } |
592 | | |
593 | | bool BlockManager::IsBlockPruned(const CBlockIndex& block) const |
594 | 0 | { |
595 | 0 | AssertLockHeld(::cs_main); |
596 | 0 | return m_have_pruned && !(block.nStatus & BLOCK_HAVE_DATA) && (block.nTx > 0); |
597 | 0 | } |
598 | | |
599 | | const CBlockIndex& BlockManager::GetFirstBlock(const CBlockIndex& upper_block, uint32_t status_mask, const CBlockIndex* lower_block) const |
600 | 0 | { |
601 | 0 | AssertLockHeld(::cs_main); |
602 | 0 | const CBlockIndex* last_block = &upper_block; |
603 | 0 | assert((last_block->nStatus & status_mask) == status_mask); // 'upper_block' must satisfy the status mask |
604 | 0 | while (last_block->pprev && ((last_block->pprev->nStatus & status_mask) == status_mask)) { |
605 | 0 | if (lower_block) { |
606 | | // Return if we reached the lower_block |
607 | 0 | if (last_block == lower_block) return *lower_block; |
608 | | // if range was surpassed, means that 'lower_block' is not part of the 'upper_block' chain |
609 | | // and so far this is not allowed. |
610 | 0 | assert(last_block->nHeight >= lower_block->nHeight); |
611 | 0 | } |
612 | 0 | last_block = last_block->pprev; |
613 | 0 | } |
614 | 0 | assert(last_block != nullptr); |
615 | 0 | return *last_block; |
616 | 0 | } |
617 | | |
618 | | bool BlockManager::CheckBlockDataAvailability(const CBlockIndex& upper_block, const CBlockIndex& lower_block) |
619 | 0 | { |
620 | 0 | if (!(upper_block.nStatus & BLOCK_HAVE_DATA)) return false; |
621 | 0 | return &GetFirstBlock(upper_block, BLOCK_HAVE_DATA, &lower_block) == &lower_block; |
622 | 0 | } |
623 | | |
624 | | // If we're using -prune with -reindex, then delete block files that will be ignored by the |
625 | | // reindex. Since reindexing works by starting at block file 0 and looping until a blockfile |
626 | | // is missing, do the same here to delete any later block files after a gap. Also delete all |
627 | | // rev files since they'll be rewritten by the reindex anyway. This ensures that m_blockfile_info |
628 | | // is in sync with what's actually on disk by the time we start downloading, so that pruning |
629 | | // works correctly. |
630 | | void BlockManager::CleanupBlockRevFiles() const |
631 | 0 | { |
632 | 0 | std::map<std::string, fs::path> mapBlockFiles; |
633 | | |
634 | | // Glob all blk?????.dat and rev?????.dat files from the blocks directory. |
635 | | // Remove the rev files immediately and insert the blk file paths into an |
636 | | // ordered map keyed by block file index. |
637 | 0 | LogInfo("Removing unusable blk?????.dat and rev?????.dat files for -reindex with -prune"); |
638 | 0 | for (fs::directory_iterator it(m_opts.blocks_dir); it != fs::directory_iterator(); it++) { |
639 | 0 | const std::string path = fs::PathToString(it->path().filename()); |
640 | 0 | if (fs::is_regular_file(*it) && |
641 | 0 | path.length() == 12 && |
642 | 0 | path.ends_with(".dat")) |
643 | 0 | { |
644 | 0 | if (path.starts_with("blk")) { |
645 | 0 | mapBlockFiles[path.substr(3, 5)] = it->path(); |
646 | 0 | } else if (path.starts_with("rev")) { |
647 | 0 | remove(it->path()); |
648 | 0 | } |
649 | 0 | } |
650 | 0 | } |
651 | | |
652 | | // Remove all block files that aren't part of a contiguous set starting at |
653 | | // zero by walking the ordered map (keys are block file indices) by |
654 | | // keeping a separate counter. Once we hit a gap (or if 0 doesn't exist) |
655 | | // start removing block files. |
656 | 0 | int nContigCounter = 0; |
657 | 0 | for (const std::pair<const std::string, fs::path>& item : mapBlockFiles) { |
658 | 0 | if (LocaleIndependentAtoi<int>(item.first) == nContigCounter) { |
659 | 0 | nContigCounter++; |
660 | 0 | continue; |
661 | 0 | } |
662 | 0 | remove(item.second); |
663 | 0 | } |
664 | 0 | } |
665 | | |
666 | | CBlockFileInfo* BlockManager::GetBlockFileInfo(size_t n) |
667 | 0 | { |
668 | 0 | LOCK(cs_LastBlockFile); |
669 | |
|
670 | 0 | return &m_blockfile_info.at(n); |
671 | 0 | } |
672 | | |
673 | | bool BlockManager::ReadBlockUndo(CBlockUndo& blockundo, const CBlockIndex& index) const |
674 | 0 | { |
675 | 0 | const FlatFilePos pos{WITH_LOCK(::cs_main, return index.GetUndoPos())}; |
676 | | |
677 | | // Open history file to read |
678 | 0 | AutoFile file{OpenUndoFile(pos, true)}; |
679 | 0 | if (file.IsNull()) { |
680 | 0 | LogError("OpenUndoFile failed for %s while reading block undo", pos.ToString()); |
681 | 0 | return false; |
682 | 0 | } |
683 | 0 | BufferedReader filein{std::move(file)}; |
684 | |
|
685 | 0 | try { |
686 | | // Read block |
687 | 0 | HashVerifier verifier{filein}; // Use HashVerifier, as reserializing may lose data, c.f. commit d3424243 |
688 | |
|
689 | 0 | verifier << index.pprev->GetBlockHash(); |
690 | 0 | verifier >> blockundo; |
691 | |
|
692 | 0 | uint256 hashChecksum; |
693 | 0 | filein >> hashChecksum; |
694 | | |
695 | | // Verify checksum |
696 | 0 | if (hashChecksum != verifier.GetHash()) { |
697 | 0 | LogError("Checksum mismatch at %s while reading block undo", pos.ToString()); |
698 | 0 | return false; |
699 | 0 | } |
700 | 0 | } catch (const std::exception& e) { |
701 | 0 | LogError("Deserialize or I/O error - %s at %s while reading block undo", e.what(), pos.ToString()); |
702 | 0 | return false; |
703 | 0 | } |
704 | | |
705 | 0 | return true; |
706 | 0 | } |
707 | | |
708 | | bool BlockManager::FlushUndoFile(int block_file, bool finalize) |
709 | 0 | { |
710 | 0 | FlatFilePos undo_pos_old(block_file, m_blockfile_info[block_file].nUndoSize); |
711 | 0 | if (!m_undo_file_seq.Flush(undo_pos_old, finalize)) { |
712 | 0 | m_opts.notifications.flushError(_("Flushing undo file to disk failed. This is likely the result of an I/O error.")); |
713 | 0 | return false; |
714 | 0 | } |
715 | 0 | return true; |
716 | 0 | } |
717 | | |
718 | | bool BlockManager::FlushBlockFile(int blockfile_num, bool fFinalize, bool finalize_undo) |
719 | 0 | { |
720 | 0 | bool success = true; |
721 | 0 | LOCK(cs_LastBlockFile); |
722 | |
|
723 | 0 | if (m_blockfile_info.size() < 1) { |
724 | | // Return if we haven't loaded any blockfiles yet. This happens during |
725 | | // chainstate init, when we call ChainstateManager::MaybeRebalanceCaches() (which |
726 | | // then calls FlushStateToDisk()), resulting in a call to this function before we |
727 | | // have populated `m_blockfile_info` via LoadBlockIndexDB(). |
728 | 0 | return true; |
729 | 0 | } |
730 | 0 | assert(static_cast<int>(m_blockfile_info.size()) > blockfile_num); |
731 | | |
732 | 0 | FlatFilePos block_pos_old(blockfile_num, m_blockfile_info[blockfile_num].nSize); |
733 | 0 | if (!m_block_file_seq.Flush(block_pos_old, fFinalize)) { |
734 | 0 | m_opts.notifications.flushError(_("Flushing block file to disk failed. This is likely the result of an I/O error.")); |
735 | 0 | success = false; |
736 | 0 | } |
737 | | // we do not always flush the undo file, as the chain tip may be lagging behind the incoming blocks, |
738 | | // e.g. during IBD or a sync after a node going offline |
739 | 0 | if (!fFinalize || finalize_undo) { |
740 | 0 | if (!FlushUndoFile(blockfile_num, finalize_undo)) { |
741 | 0 | success = false; |
742 | 0 | } |
743 | 0 | } |
744 | 0 | return success; |
745 | 0 | } |
746 | | |
747 | | BlockfileType BlockManager::BlockfileTypeForHeight(int height) |
748 | 0 | { |
749 | 0 | if (!m_snapshot_height) { |
750 | 0 | return BlockfileType::NORMAL; |
751 | 0 | } |
752 | 0 | return (height >= *m_snapshot_height) ? BlockfileType::ASSUMED : BlockfileType::NORMAL; |
753 | 0 | } |
754 | | |
755 | | bool BlockManager::FlushChainstateBlockFile(int tip_height) |
756 | 0 | { |
757 | 0 | LOCK(cs_LastBlockFile); |
758 | 0 | auto& cursor = m_blockfile_cursors[BlockfileTypeForHeight(tip_height)]; |
759 | | // If the cursor does not exist, it means an assumeutxo snapshot is loaded, |
760 | | // but no blocks past the snapshot height have been written yet, so there |
761 | | // is no data associated with the chainstate, and it is safe not to flush. |
762 | 0 | if (cursor) { |
763 | 0 | return FlushBlockFile(cursor->file_num, /*fFinalize=*/false, /*finalize_undo=*/false); |
764 | 0 | } |
765 | | // No need to log warnings in this case. |
766 | 0 | return true; |
767 | 0 | } |
768 | | |
769 | | uint64_t BlockManager::CalculateCurrentUsage() |
770 | 0 | { |
771 | 0 | LOCK(cs_LastBlockFile); |
772 | |
|
773 | 0 | uint64_t retval = 0; |
774 | 0 | for (const CBlockFileInfo& file : m_blockfile_info) { |
775 | 0 | retval += file.nSize + file.nUndoSize; |
776 | 0 | } |
777 | 0 | return retval; |
778 | 0 | } |
779 | | |
780 | | void BlockManager::UnlinkPrunedFiles(const std::set<int>& setFilesToPrune) const |
781 | 0 | { |
782 | 0 | std::error_code ec; |
783 | 0 | for (std::set<int>::iterator it = setFilesToPrune.begin(); it != setFilesToPrune.end(); ++it) { |
784 | 0 | FlatFilePos pos(*it, 0); |
785 | 0 | const bool removed_blockfile{fs::remove(m_block_file_seq.FileName(pos), ec)}; |
786 | 0 | const bool removed_undofile{fs::remove(m_undo_file_seq.FileName(pos), ec)}; |
787 | 0 | if (removed_blockfile || removed_undofile) { |
788 | 0 | LogDebug(BCLog::BLOCKSTORAGE, "Prune: %s deleted blk/rev (%05u)\n", __func__, *it); |
789 | 0 | } |
790 | 0 | } |
791 | 0 | } |
792 | | |
793 | | AutoFile BlockManager::OpenBlockFile(const FlatFilePos& pos, bool fReadOnly) const |
794 | 0 | { |
795 | 0 | return AutoFile{m_block_file_seq.Open(pos, fReadOnly), m_obfuscation}; |
796 | 0 | } |
797 | | |
798 | | /** Open an undo file (rev?????.dat) */ |
799 | | AutoFile BlockManager::OpenUndoFile(const FlatFilePos& pos, bool fReadOnly) const |
800 | 0 | { |
801 | 0 | return AutoFile{m_undo_file_seq.Open(pos, fReadOnly), m_obfuscation}; |
802 | 0 | } |
803 | | |
804 | | fs::path BlockManager::GetBlockPosFilename(const FlatFilePos& pos) const |
805 | 0 | { |
806 | 0 | return m_block_file_seq.FileName(pos); |
807 | 0 | } |
808 | | |
809 | | FlatFilePos BlockManager::FindNextBlockPos(unsigned int nAddSize, unsigned int nHeight, uint64_t nTime) |
810 | 0 | { |
811 | 0 | LOCK(cs_LastBlockFile); |
812 | |
|
813 | 0 | const BlockfileType chain_type = BlockfileTypeForHeight(nHeight); |
814 | |
|
815 | 0 | if (!m_blockfile_cursors[chain_type]) { |
816 | | // If a snapshot is loaded during runtime, we may not have initialized this cursor yet. |
817 | 0 | assert(chain_type == BlockfileType::ASSUMED); |
818 | 0 | const auto new_cursor = BlockfileCursor{this->MaxBlockfileNum() + 1}; |
819 | 0 | m_blockfile_cursors[chain_type] = new_cursor; |
820 | 0 | LogDebug(BCLog::BLOCKSTORAGE, "[%s] initializing blockfile cursor to %s\n", chain_type, new_cursor); |
821 | 0 | } |
822 | 0 | const int last_blockfile = m_blockfile_cursors[chain_type]->file_num; |
823 | |
|
824 | 0 | int nFile = last_blockfile; |
825 | 0 | if (static_cast<int>(m_blockfile_info.size()) <= nFile) { |
826 | 0 | m_blockfile_info.resize(nFile + 1); |
827 | 0 | } |
828 | |
|
829 | 0 | bool finalize_undo = false; |
830 | 0 | unsigned int max_blockfile_size{MAX_BLOCKFILE_SIZE}; |
831 | | // Use smaller blockfiles in test-only -fastprune mode - but avoid |
832 | | // the possibility of having a block not fit into the block file. |
833 | 0 | if (m_opts.fast_prune) { |
834 | 0 | max_blockfile_size = 0x10000; // 64kiB |
835 | 0 | if (nAddSize >= max_blockfile_size) { |
836 | | // dynamically adjust the blockfile size to be larger than the added size |
837 | 0 | max_blockfile_size = nAddSize + 1; |
838 | 0 | } |
839 | 0 | } |
840 | 0 | assert(nAddSize < max_blockfile_size); |
841 | | |
842 | 0 | while (m_blockfile_info[nFile].nSize + nAddSize >= max_blockfile_size) { |
843 | | // when the undo file is keeping up with the block file, we want to flush it explicitly |
844 | | // when it is lagging behind (more blocks arrive than are being connected), we let the |
845 | | // undo block write case handle it |
846 | 0 | finalize_undo = (static_cast<int>(m_blockfile_info[nFile].nHeightLast) == |
847 | 0 | Assert(m_blockfile_cursors[chain_type])->undo_height); |
848 | | |
849 | | // Try the next unclaimed blockfile number |
850 | 0 | nFile = this->MaxBlockfileNum() + 1; |
851 | | // Set to increment MaxBlockfileNum() for next iteration |
852 | 0 | m_blockfile_cursors[chain_type] = BlockfileCursor{nFile}; |
853 | |
|
854 | 0 | if (static_cast<int>(m_blockfile_info.size()) <= nFile) { |
855 | 0 | m_blockfile_info.resize(nFile + 1); |
856 | 0 | } |
857 | 0 | } |
858 | 0 | FlatFilePos pos; |
859 | 0 | pos.nFile = nFile; |
860 | 0 | pos.nPos = m_blockfile_info[nFile].nSize; |
861 | |
|
862 | 0 | if (nFile != last_blockfile) { |
863 | 0 | LogDebug(BCLog::BLOCKSTORAGE, "Leaving block file %i: %s (onto %i) (height %i)\n", |
864 | 0 | last_blockfile, m_blockfile_info[last_blockfile].ToString(), nFile, nHeight); |
865 | | |
866 | | // Do not propagate the return code. The flush concerns a previous block |
867 | | // and undo file that has already been written to. If a flush fails |
868 | | // here, and we crash, there is no expected additional block data |
869 | | // inconsistency arising from the flush failure here. However, the undo |
870 | | // data may be inconsistent after a crash if the flush is called during |
871 | | // a reindex. A flush error might also leave some of the data files |
872 | | // untrimmed. |
873 | 0 | if (!FlushBlockFile(last_blockfile, /*fFinalize=*/true, finalize_undo)) { |
874 | 0 | LogWarning( |
875 | 0 | "Failed to flush previous block file %05i (finalize=1, finalize_undo=%i) before opening new block file %05i\n", |
876 | 0 | last_blockfile, finalize_undo, nFile); |
877 | 0 | } |
878 | | // No undo data yet in the new file, so reset our undo-height tracking. |
879 | 0 | m_blockfile_cursors[chain_type] = BlockfileCursor{nFile}; |
880 | 0 | } |
881 | |
|
882 | 0 | m_blockfile_info[nFile].AddBlock(nHeight, nTime); |
883 | 0 | m_blockfile_info[nFile].nSize += nAddSize; |
884 | |
|
885 | 0 | bool out_of_space; |
886 | 0 | size_t bytes_allocated = m_block_file_seq.Allocate(pos, nAddSize, out_of_space); |
887 | 0 | if (out_of_space) { |
888 | 0 | m_opts.notifications.fatalError(_("Disk space is too low!")); |
889 | 0 | return {}; |
890 | 0 | } |
891 | 0 | if (bytes_allocated != 0 && IsPruneMode()) { |
892 | 0 | m_check_for_pruning = true; |
893 | 0 | } |
894 | |
|
895 | 0 | m_dirty_fileinfo.insert(nFile); |
896 | 0 | return pos; |
897 | 0 | } |
898 | | |
899 | | void BlockManager::UpdateBlockInfo(const CBlock& block, unsigned int nHeight, const FlatFilePos& pos) |
900 | 0 | { |
901 | 0 | LOCK(cs_LastBlockFile); |
902 | | |
903 | | // Update the cursor so it points to the last file. |
904 | 0 | const BlockfileType chain_type{BlockfileTypeForHeight(nHeight)}; |
905 | 0 | auto& cursor{m_blockfile_cursors[chain_type]}; |
906 | 0 | if (!cursor || cursor->file_num < pos.nFile) { |
907 | 0 | m_blockfile_cursors[chain_type] = BlockfileCursor{pos.nFile}; |
908 | 0 | } |
909 | | |
910 | | // Update the file information with the current block. |
911 | 0 | const unsigned int added_size = ::GetSerializeSize(TX_WITH_WITNESS(block)); |
912 | 0 | const int nFile = pos.nFile; |
913 | 0 | if (static_cast<int>(m_blockfile_info.size()) <= nFile) { |
914 | 0 | m_blockfile_info.resize(nFile + 1); |
915 | 0 | } |
916 | 0 | m_blockfile_info[nFile].AddBlock(nHeight, block.GetBlockTime()); |
917 | 0 | m_blockfile_info[nFile].nSize = std::max(pos.nPos + added_size, m_blockfile_info[nFile].nSize); |
918 | 0 | m_dirty_fileinfo.insert(nFile); |
919 | 0 | } |
920 | | |
921 | | bool BlockManager::FindUndoPos(BlockValidationState& state, int nFile, FlatFilePos& pos, unsigned int nAddSize) |
922 | 0 | { |
923 | 0 | pos.nFile = nFile; |
924 | |
|
925 | 0 | LOCK(cs_LastBlockFile); |
926 | |
|
927 | 0 | pos.nPos = m_blockfile_info[nFile].nUndoSize; |
928 | 0 | m_blockfile_info[nFile].nUndoSize += nAddSize; |
929 | 0 | m_dirty_fileinfo.insert(nFile); |
930 | |
|
931 | 0 | bool out_of_space; |
932 | 0 | size_t bytes_allocated = m_undo_file_seq.Allocate(pos, nAddSize, out_of_space); |
933 | 0 | if (out_of_space) { |
934 | 0 | return FatalError(m_opts.notifications, state, _("Disk space is too low!")); |
935 | 0 | } |
936 | 0 | if (bytes_allocated != 0 && IsPruneMode()) { |
937 | 0 | m_check_for_pruning = true; |
938 | 0 | } |
939 | |
|
940 | 0 | return true; |
941 | 0 | } |
942 | | |
943 | | bool BlockManager::WriteBlockUndo(const CBlockUndo& blockundo, BlockValidationState& state, CBlockIndex& block) |
944 | 0 | { |
945 | 0 | AssertLockHeld(::cs_main); |
946 | 0 | const BlockfileType type = BlockfileTypeForHeight(block.nHeight); |
947 | 0 | auto& cursor = *Assert(WITH_LOCK(cs_LastBlockFile, return m_blockfile_cursors[type])); |
948 | | |
949 | | // Write undo information to disk |
950 | 0 | if (block.GetUndoPos().IsNull()) { |
951 | 0 | FlatFilePos pos; |
952 | 0 | const auto blockundo_size{static_cast<uint32_t>(GetSerializeSize(blockundo))}; |
953 | 0 | if (!FindUndoPos(state, block.nFile, pos, blockundo_size + UNDO_DATA_DISK_OVERHEAD)) { |
954 | 0 | LogError("FindUndoPos failed for %s while writing block undo", pos.ToString()); |
955 | 0 | return false; |
956 | 0 | } |
957 | | |
958 | | // Open history file to append |
959 | 0 | AutoFile file{OpenUndoFile(pos)}; |
960 | 0 | if (file.IsNull()) { |
961 | 0 | LogError("OpenUndoFile failed for %s while writing block undo", pos.ToString()); |
962 | 0 | return FatalError(m_opts.notifications, state, _("Failed to write undo data.")); |
963 | 0 | } |
964 | 0 | { |
965 | 0 | BufferedWriter fileout{file}; |
966 | | |
967 | | // Write index header |
968 | 0 | fileout << GetParams().MessageStart() << blockundo_size; |
969 | 0 | pos.nPos += STORAGE_HEADER_BYTES; |
970 | 0 | { |
971 | | // Calculate checksum |
972 | 0 | HashWriter hasher{}; |
973 | 0 | hasher << block.pprev->GetBlockHash() << blockundo; |
974 | | // Write undo data & checksum |
975 | 0 | fileout << blockundo << hasher.GetHash(); |
976 | 0 | } |
977 | | // BufferedWriter will flush pending data to file when fileout goes out of scope. |
978 | 0 | } |
979 | | |
980 | | // Make sure that the file is closed before we call `FlushUndoFile`. |
981 | 0 | if (file.fclose() != 0) { |
982 | 0 | LogError("Failed to close block undo file %s: %s", pos.ToString(), SysErrorString(errno)); |
983 | 0 | return FatalError(m_opts.notifications, state, _("Failed to close block undo file.")); |
984 | 0 | } |
985 | | |
986 | | // rev files are written in block height order, whereas blk files are written as blocks come in (often out of order) |
987 | | // we want to flush the rev (undo) file once we've written the last block, which is indicated by the last height |
988 | | // in the block file info as below; note that this does not catch the case where the undo writes are keeping up |
989 | | // with the block writes (usually when a synced up node is getting newly mined blocks) -- this case is caught in |
990 | | // the FindNextBlockPos function |
991 | 0 | if (pos.nFile < cursor.file_num && static_cast<uint32_t>(block.nHeight) == m_blockfile_info[pos.nFile].nHeightLast) { |
992 | | // Do not propagate the return code, a failed flush here should not |
993 | | // be an indication for a failed write. If it were propagated here, |
994 | | // the caller would assume the undo data not to be written, when in |
995 | | // fact it is. Note though, that a failed flush might leave the data |
996 | | // file untrimmed. |
997 | 0 | if (!FlushUndoFile(pos.nFile, true)) { |
998 | 0 | LogWarning("Failed to flush undo file %05i\n", pos.nFile); |
999 | 0 | } |
1000 | 0 | } else if (pos.nFile == cursor.file_num && block.nHeight > cursor.undo_height) { |
1001 | 0 | cursor.undo_height = block.nHeight; |
1002 | 0 | } |
1003 | | // update nUndoPos in block index |
1004 | 0 | block.nUndoPos = pos.nPos; |
1005 | 0 | block.nStatus |= BLOCK_HAVE_UNDO; |
1006 | 0 | m_dirty_blockindex.insert(&block); |
1007 | 0 | } |
1008 | | |
1009 | 0 | return true; |
1010 | 0 | } |
1011 | | |
1012 | | bool BlockManager::ReadBlock(CBlock& block, const FlatFilePos& pos, const std::optional<uint256>& expected_hash) const |
1013 | 0 | { |
1014 | 0 | block.SetNull(); |
1015 | | |
1016 | | // Open history file to read |
1017 | 0 | const auto block_data{ReadRawBlock(pos)}; |
1018 | 0 | if (!block_data) { |
1019 | 0 | return false; |
1020 | 0 | } |
1021 | | |
1022 | 0 | try { |
1023 | | // Read block |
1024 | 0 | SpanReader{*block_data} >> TX_WITH_WITNESS(block); |
1025 | 0 | } catch (const std::exception& e) { |
1026 | 0 | LogError("Deserialize or I/O error - %s at %s while reading block", e.what(), pos.ToString()); |
1027 | 0 | return false; |
1028 | 0 | } |
1029 | | |
1030 | 0 | const auto block_hash{block.GetHash()}; |
1031 | | |
1032 | | // Check the header |
1033 | 0 | if (!CheckProofOfWork(block_hash, block.nBits, GetConsensus())) { |
1034 | 0 | LogError("Errors in block header at %s while reading block", pos.ToString()); |
1035 | 0 | return false; |
1036 | 0 | } |
1037 | | |
1038 | | // Signet only: check block solution |
1039 | 0 | if (GetConsensus().signet_blocks && !CheckSignetBlockSolution(block, GetConsensus())) { |
1040 | 0 | LogError("Errors in block solution at %s while reading block", pos.ToString()); |
1041 | 0 | return false; |
1042 | 0 | } |
1043 | | |
1044 | 0 | if (expected_hash && block_hash != *expected_hash) { |
1045 | 0 | LogError("GetHash() doesn't match index at %s while reading block (%s != %s)", |
1046 | 0 | pos.ToString(), block_hash.ToString(), expected_hash->ToString()); |
1047 | 0 | return false; |
1048 | 0 | } |
1049 | | |
1050 | 0 | return true; |
1051 | 0 | } |
1052 | | |
1053 | | bool BlockManager::ReadBlock(CBlock& block, const CBlockIndex& index) const |
1054 | 0 | { |
1055 | 0 | const FlatFilePos block_pos{WITH_LOCK(cs_main, return index.GetBlockPos())}; |
1056 | 0 | return ReadBlock(block, block_pos, index.GetBlockHash()); |
1057 | 0 | } |
1058 | | |
1059 | | BlockManager::ReadRawBlockResult BlockManager::ReadRawBlock(const FlatFilePos& pos, std::optional<std::pair<size_t, size_t>> block_part) const |
1060 | 0 | { |
1061 | 0 | if (pos.nPos < STORAGE_HEADER_BYTES) { |
1062 | | // If nPos is less than STORAGE_HEADER_BYTES, we can't read the header that precedes the block data |
1063 | | // This would cause an unsigned integer underflow when trying to position the file cursor |
1064 | | // This can happen after pruning or default constructed positions |
1065 | 0 | LogError("Failed for %s while reading raw block storage header", pos.ToString()); |
1066 | 0 | return util::Unexpected{ReadRawError::IO}; |
1067 | 0 | } |
1068 | 0 | AutoFile filein{OpenBlockFile({pos.nFile, pos.nPos - STORAGE_HEADER_BYTES}, /*fReadOnly=*/true)}; |
1069 | 0 | if (filein.IsNull()) { |
1070 | 0 | LogError("OpenBlockFile failed for %s while reading raw block", pos.ToString()); |
1071 | 0 | return util::Unexpected{ReadRawError::IO}; |
1072 | 0 | } |
1073 | | |
1074 | 0 | try { |
1075 | 0 | MessageStartChars blk_start; |
1076 | 0 | unsigned int blk_size; |
1077 | |
|
1078 | 0 | filein >> blk_start >> blk_size; |
1079 | |
|
1080 | 0 | if (blk_start != GetParams().MessageStart()) { |
1081 | 0 | LogError("Block magic mismatch for %s: %s versus expected %s while reading raw block", |
1082 | 0 | pos.ToString(), HexStr(blk_start), HexStr(GetParams().MessageStart())); |
1083 | 0 | return util::Unexpected{ReadRawError::IO}; |
1084 | 0 | } |
1085 | | |
1086 | 0 | if (blk_size > MAX_SIZE) { |
1087 | 0 | LogError("Block data is larger than maximum deserialization size for %s: %s versus %s while reading raw block", |
1088 | 0 | pos.ToString(), blk_size, MAX_SIZE); |
1089 | 0 | return util::Unexpected{ReadRawError::IO}; |
1090 | 0 | } |
1091 | | |
1092 | 0 | if (block_part) { |
1093 | 0 | const auto [offset, size]{*block_part}; |
1094 | 0 | if (size == 0 || offset >= blk_size || size > blk_size - offset) { |
1095 | 0 | return util::Unexpected{ReadRawError::BadPartRange}; // Avoid logging - offset/size come from untrusted REST input |
1096 | 0 | } |
1097 | 0 | filein.seek(offset, SEEK_CUR); |
1098 | 0 | blk_size = size; |
1099 | 0 | } |
1100 | | |
1101 | 0 | std::vector<std::byte> data(blk_size); // Zeroing of memory is intentional here |
1102 | 0 | filein.read(data); |
1103 | 0 | return data; |
1104 | 0 | } catch (const std::exception& e) { |
1105 | 0 | LogError("Read from block file failed: %s for %s while reading raw block", e.what(), pos.ToString()); |
1106 | 0 | return util::Unexpected{ReadRawError::IO}; |
1107 | 0 | } |
1108 | 0 | } |
1109 | | |
1110 | | FlatFilePos BlockManager::WriteBlock(const CBlock& block, int nHeight) |
1111 | 0 | { |
1112 | 0 | const unsigned int block_size{static_cast<unsigned int>(GetSerializeSize(TX_WITH_WITNESS(block)))}; |
1113 | 0 | FlatFilePos pos{FindNextBlockPos(block_size + STORAGE_HEADER_BYTES, nHeight, block.GetBlockTime())}; |
1114 | 0 | if (pos.IsNull()) { |
1115 | 0 | LogError("FindNextBlockPos failed for %s while writing block", pos.ToString()); |
1116 | 0 | return FlatFilePos(); |
1117 | 0 | } |
1118 | 0 | AutoFile file{OpenBlockFile(pos, /*fReadOnly=*/false)}; |
1119 | 0 | if (file.IsNull()) { |
1120 | 0 | LogError("OpenBlockFile failed for %s while writing block", pos.ToString()); |
1121 | 0 | m_opts.notifications.fatalError(_("Failed to write block.")); |
1122 | 0 | return FlatFilePos(); |
1123 | 0 | } |
1124 | 0 | { |
1125 | 0 | BufferedWriter fileout{file}; |
1126 | | |
1127 | | // Write index header |
1128 | 0 | fileout << GetParams().MessageStart() << block_size; |
1129 | 0 | pos.nPos += STORAGE_HEADER_BYTES; |
1130 | | // Write block |
1131 | 0 | fileout << TX_WITH_WITNESS(block); |
1132 | 0 | } |
1133 | |
|
1134 | 0 | if (file.fclose() != 0) { |
1135 | 0 | LogError("Failed to close block file %s: %s", pos.ToString(), SysErrorString(errno)); |
1136 | 0 | m_opts.notifications.fatalError(_("Failed to close file when writing block.")); |
1137 | 0 | return FlatFilePos(); |
1138 | 0 | } |
1139 | | |
1140 | 0 | return pos; |
1141 | 0 | } |
1142 | | |
1143 | | static auto InitBlocksdirXorKey(const BlockManager::Options& opts) |
1144 | 0 | { |
1145 | | // Bytes are serialized without length indicator, so this is also the exact |
1146 | | // size of the XOR-key file. |
1147 | 0 | std::array<std::byte, Obfuscation::KEY_SIZE> obfuscation{}; |
1148 | | |
1149 | | // Consider this to be the first run if the blocksdir contains only hidden |
1150 | | // files (those which start with a .). Checking for a fully-empty dir would |
1151 | | // be too aggressive as a .lock file may have already been written. |
1152 | 0 | bool first_run = true; |
1153 | 0 | for (const auto& entry : fs::directory_iterator(opts.blocks_dir)) { |
1154 | 0 | const std::string path = fs::PathToString(entry.path().filename()); |
1155 | 0 | if (!entry.is_regular_file() || !path.starts_with('.')) { |
1156 | 0 | first_run = false; |
1157 | 0 | break; |
1158 | 0 | } |
1159 | 0 | } |
1160 | |
|
1161 | 0 | if (opts.use_xor && first_run) { |
1162 | | // Only use random fresh key when the boolean option is set and on the |
1163 | | // very first start of the program. |
1164 | 0 | FastRandomContext{}.fillrand(obfuscation); |
1165 | 0 | } |
1166 | |
|
1167 | 0 | const fs::path xor_key_path{opts.blocks_dir / "xor.dat"}; |
1168 | 0 | if (fs::exists(xor_key_path)) { |
1169 | | // A pre-existing xor key file has priority. |
1170 | 0 | AutoFile xor_key_file{fsbridge::fopen(xor_key_path, "rb")}; |
1171 | 0 | xor_key_file >> obfuscation; |
1172 | 0 | } else { |
1173 | | // Create initial or missing xor key file |
1174 | 0 | AutoFile xor_key_file{fsbridge::fopen(xor_key_path, |
1175 | | #ifdef __MINGW64__ |
1176 | | "wb" // Temporary workaround for https://github.com/bitcoin/bitcoin/issues/30210 |
1177 | | #else |
1178 | 0 | "wbx" |
1179 | 0 | #endif |
1180 | 0 | )}; |
1181 | 0 | xor_key_file << obfuscation; |
1182 | 0 | if (xor_key_file.fclose() != 0) { |
1183 | 0 | throw std::runtime_error{strprintf("Error closing XOR key file %s: %s", |
1184 | 0 | fs::PathToString(xor_key_path), |
1185 | 0 | SysErrorString(errno))}; |
1186 | 0 | } |
1187 | 0 | } |
1188 | | // If the user disabled the key, it must be zero. |
1189 | 0 | if (!opts.use_xor && obfuscation != decltype(obfuscation){}) { |
1190 | 0 | throw std::runtime_error{ |
1191 | 0 | strprintf("The blocksdir XOR-key can not be disabled when a random key was already stored! " |
1192 | 0 | "Stored key: '%s', stored path: '%s'.", |
1193 | 0 | HexStr(obfuscation), fs::PathToString(xor_key_path)), |
1194 | 0 | }; |
1195 | 0 | } |
1196 | 0 | LogInfo("Using obfuscation key for blocksdir *.dat files (%s): '%s'\n", fs::PathToString(opts.blocks_dir), HexStr(obfuscation)); |
1197 | 0 | return Obfuscation{obfuscation}; |
1198 | 0 | } |
1199 | | |
1200 | | BlockManager::BlockManager(const util::SignalInterrupt& interrupt, Options opts) |
1201 | 0 | : m_prune_mode{opts.prune_target > 0}, |
1202 | 0 | m_obfuscation{InitBlocksdirXorKey(opts)}, |
1203 | 0 | m_opts{std::move(opts)}, |
1204 | 0 | m_block_file_seq{FlatFileSeq{m_opts.blocks_dir, "blk", m_opts.fast_prune ? 0x4000 /* 16kB */ : BLOCKFILE_CHUNK_SIZE}}, |
1205 | 0 | m_undo_file_seq{FlatFileSeq{m_opts.blocks_dir, "rev", UNDOFILE_CHUNK_SIZE}}, |
1206 | 0 | m_interrupt{interrupt} |
1207 | 0 | { |
1208 | 0 | m_block_tree_db = std::make_unique<BlockTreeDB>(m_opts.block_tree_db_params); |
1209 | |
|
1210 | 0 | if (m_opts.block_tree_db_params.wipe_data) { |
1211 | 0 | m_block_tree_db->WriteReindexing(true); |
1212 | 0 | m_blockfiles_indexed = false; |
1213 | | // If we're reindexing in prune mode, wipe away unusable block files and all undo data files |
1214 | 0 | if (m_prune_mode) { |
1215 | 0 | CleanupBlockRevFiles(); |
1216 | 0 | } |
1217 | 0 | } |
1218 | 0 | } |
1219 | | |
1220 | | class ImportingNow |
1221 | | { |
1222 | | std::atomic<bool>& m_importing; |
1223 | | |
1224 | | public: |
1225 | 0 | ImportingNow(std::atomic<bool>& importing) : m_importing{importing} |
1226 | 0 | { |
1227 | 0 | assert(m_importing == false); |
1228 | 0 | m_importing = true; |
1229 | 0 | } |
1230 | | ~ImportingNow() |
1231 | 0 | { |
1232 | 0 | assert(m_importing == true); |
1233 | 0 | m_importing = false; |
1234 | 0 | } |
1235 | | }; |
1236 | | |
1237 | | void ImportBlocks(ChainstateManager& chainman, std::span<const fs::path> import_paths) |
1238 | 0 | { |
1239 | 0 | ImportingNow imp{chainman.m_blockman.m_importing}; |
1240 | | |
1241 | | // -reindex |
1242 | 0 | if (!chainman.m_blockman.m_blockfiles_indexed) { |
1243 | 0 | int nFile = 0; |
1244 | | // Map of disk positions for blocks with unknown parent (only used for reindex); |
1245 | | // parent hash -> child disk position, multiple children can have the same parent. |
1246 | 0 | std::multimap<uint256, FlatFilePos> blocks_with_unknown_parent; |
1247 | 0 | while (true) { |
1248 | 0 | FlatFilePos pos(nFile, 0); |
1249 | 0 | if (!fs::exists(chainman.m_blockman.GetBlockPosFilename(pos))) { |
1250 | 0 | break; // No block files left to reindex |
1251 | 0 | } |
1252 | 0 | AutoFile file{chainman.m_blockman.OpenBlockFile(pos, /*fReadOnly=*/true)}; |
1253 | 0 | if (file.IsNull()) { |
1254 | 0 | break; // This error is logged in OpenBlockFile |
1255 | 0 | } |
1256 | 0 | LogInfo("Reindexing block file blk%05u.dat...", (unsigned int)nFile); |
1257 | 0 | chainman.LoadExternalBlockFile(file, &pos, &blocks_with_unknown_parent); |
1258 | 0 | if (chainman.m_interrupt) { |
1259 | 0 | LogInfo("Interrupt requested. Exit reindexing."); |
1260 | 0 | return; |
1261 | 0 | } |
1262 | 0 | nFile++; |
1263 | 0 | } |
1264 | 0 | WITH_LOCK(::cs_main, chainman.m_blockman.m_block_tree_db->WriteReindexing(false)); |
1265 | 0 | chainman.m_blockman.m_blockfiles_indexed = true; |
1266 | 0 | LogInfo("Reindexing finished"); |
1267 | | // To avoid ending up in a situation without genesis block, re-try initializing (no-op if reindexing worked): |
1268 | 0 | chainman.ActiveChainstate().LoadGenesisBlock(); |
1269 | 0 | } |
1270 | | |
1271 | | // -loadblock= |
1272 | 0 | for (const fs::path& path : import_paths) { |
1273 | 0 | AutoFile file{fsbridge::fopen(path, "rb")}; |
1274 | 0 | if (!file.IsNull()) { |
1275 | 0 | LogInfo("Importing blocks file %s...", fs::PathToString(path)); |
1276 | 0 | chainman.LoadExternalBlockFile(file); |
1277 | 0 | if (chainman.m_interrupt) { |
1278 | 0 | LogInfo("Interrupt requested. Exit block importing."); |
1279 | 0 | return; |
1280 | 0 | } |
1281 | 0 | } else { |
1282 | 0 | LogWarning("Could not open blocks file %s", fs::PathToString(path)); |
1283 | 0 | } |
1284 | 0 | } |
1285 | | |
1286 | | // scan for better chains in the block chain database, that are not yet connected in the active best chain |
1287 | 0 | if (auto result = chainman.ActivateBestChains(); !result) { |
1288 | 0 | chainman.GetNotifications().fatalError(util::ErrorString(result)); |
1289 | 0 | } |
1290 | | // End scope of ImportingNow |
1291 | 0 | } |
1292 | | |
1293 | 0 | std::ostream& operator<<(std::ostream& os, const BlockfileType& type) { |
1294 | 0 | switch(type) { |
1295 | 0 | case BlockfileType::NORMAL: os << "normal"; break; |
1296 | 0 | case BlockfileType::ASSUMED: os << "assumed"; break; |
1297 | 0 | default: os.setstate(std::ios_base::failbit); |
1298 | 0 | } |
1299 | 0 | return os; |
1300 | 0 | } |
1301 | | |
1302 | 0 | std::ostream& operator<<(std::ostream& os, const BlockfileCursor& cursor) { |
1303 | 0 | os << strprintf("BlockfileCursor(file_num=%d, undo_height=%d)", cursor.file_num, cursor.undo_height); |
1304 | 0 | return os; |
1305 | 0 | } |
1306 | | } // namespace node |