Bitcoin Core  27.1.0
P2P Digital Currency
base.cpp
Go to the documentation of this file.
1 // Copyright (c) 2017-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 <chainparams.h>
6 #include <common/args.h>
7 #include <index/base.h>
8 #include <interfaces/chain.h>
9 #include <kernel/chain.h>
10 #include <logging.h>
11 #include <node/abort.h>
12 #include <node/blockstorage.h>
13 #include <node/context.h>
14 #include <node/database_args.h>
15 #include <node/interface_ui.h>
16 #include <tinyformat.h>
17 #include <util/thread.h>
18 #include <util/translation.h>
19 #include <validation.h> // For g_chainman
20 #include <warnings.h>
21 
22 #include <string>
23 #include <utility>
24 
25 constexpr uint8_t DB_BEST_BLOCK{'B'};
26 
27 constexpr auto SYNC_LOG_INTERVAL{30s};
28 constexpr auto SYNC_LOCATOR_WRITE_INTERVAL{30s};
29 
30 template <typename... Args>
31 void BaseIndex::FatalErrorf(const char* fmt, const Args&... args)
32 {
33  auto message = tfm::format(fmt, args...);
34  node::AbortNode(m_chain->context()->shutdown, m_chain->context()->exit_status, message);
35 }
36 
38 {
39  CBlockLocator locator;
40  bool found = chain.findBlock(block_hash, interfaces::FoundBlock().locator(locator));
41  assert(found);
42  assert(!locator.IsNull());
43  return locator;
44 }
45 
46 BaseIndex::DB::DB(const fs::path& path, size_t n_cache_size, bool f_memory, bool f_wipe, bool f_obfuscate) :
48  .path = path,
49  .cache_bytes = n_cache_size,
50  .memory_only = f_memory,
51  .wipe_data = f_wipe,
52  .obfuscate = f_obfuscate,
53  .options = [] { DBOptions options; node::ReadDatabaseArgs(gArgs, options); return options; }()}}
54 {}
55 
57 {
58  bool success = Read(DB_BEST_BLOCK, locator);
59  if (!success) {
60  locator.SetNull();
61  }
62  return success;
63 }
64 
66 {
67  batch.Write(DB_BEST_BLOCK, locator);
68 }
69 
70 BaseIndex::BaseIndex(std::unique_ptr<interfaces::Chain> chain, std::string name)
71  : m_chain{std::move(chain)}, m_name{std::move(name)} {}
72 
74 {
75  Interrupt();
76  Stop();
77 }
78 
80 {
82 
83  // May need reset if index is being restarted.
85 
86  // m_chainstate member gives indexing code access to node internals. It is
87  // removed in followup https://github.com/bitcoin/bitcoin/pull/24230
89  return &m_chain->context()->chainman->GetChainstateForIndexing());
90  // Register to validation interface before setting the 'm_synced' flag, so that
91  // callbacks are not missed once m_synced is true.
93 
94  CBlockLocator locator;
95  if (!GetDB().ReadBestBlock(locator)) {
96  locator.SetNull();
97  }
98 
99  LOCK(cs_main);
100  CChain& index_chain = m_chainstate->m_chain;
101 
102  if (locator.IsNull()) {
103  SetBestBlockIndex(nullptr);
104  } else {
105  // Setting the best block to the locator's top block. If it is not part of the
106  // best chain, we will rewind to the fork point during index sync
107  const CBlockIndex* locator_index{m_chainstate->m_blockman.LookupBlockIndex(locator.vHave.at(0))};
108  if (!locator_index) {
109  return InitError(strprintf(Untranslated("%s: best block of the index not found. Please rebuild the index."), GetName()));
110  }
111  SetBestBlockIndex(locator_index);
112  }
113 
114  // Child init
115  const CBlockIndex* start_block = m_best_block_index.load();
116  if (!CustomInit(start_block ? std::make_optional(interfaces::BlockKey{start_block->GetBlockHash(), start_block->nHeight}) : std::nullopt)) {
117  return false;
118  }
119 
120  // Note: this will latch to true immediately if the user starts up with an empty
121  // datadir and an index enabled. If this is the case, indexation will happen solely
122  // via `BlockConnected` signals until, possibly, the next restart.
123  m_synced = start_block == index_chain.Tip();
124  m_init = true;
125  return true;
126 }
127 
129 {
131 
132  if (!pindex_prev) {
133  return chain.Genesis();
134  }
135 
136  const CBlockIndex* pindex = chain.Next(pindex_prev);
137  if (pindex) {
138  return pindex;
139  }
140 
141  return chain.Next(chain.FindFork(pindex_prev));
142 }
143 
145 {
146  const CBlockIndex* pindex = m_best_block_index.load();
147  if (!m_synced) {
148  std::chrono::steady_clock::time_point last_log_time{0s};
149  std::chrono::steady_clock::time_point last_locator_write_time{0s};
150  while (true) {
151  if (m_interrupt) {
152  LogPrintf("%s: m_interrupt set; exiting ThreadSync\n", GetName());
153 
154  SetBestBlockIndex(pindex);
155  // No need to handle errors in Commit. If it fails, the error will be already be
156  // logged. The best way to recover is to continue, as index cannot be corrupted by
157  // a missed commit to disk for an advanced index state.
158  Commit();
159  return;
160  }
161 
162  {
163  LOCK(cs_main);
164  const CBlockIndex* pindex_next = NextSyncBlock(pindex, m_chainstate->m_chain);
165  if (!pindex_next) {
166  SetBestBlockIndex(pindex);
167  // No need to handle errors in Commit. See rationale above.
168  Commit();
169  m_synced = true;
170  break;
171  }
172  if (pindex_next->pprev != pindex && !Rewind(pindex, pindex_next->pprev)) {
173  FatalErrorf("%s: Failed to rewind index %s to a previous chain tip",
174  __func__, GetName());
175  return;
176  }
177  pindex = pindex_next;
178  }
179 
180  auto current_time{std::chrono::steady_clock::now()};
181  if (last_log_time + SYNC_LOG_INTERVAL < current_time) {
182  LogPrintf("Syncing %s with block chain from height %d\n",
183  GetName(), pindex->nHeight);
184  last_log_time = current_time;
185  }
186 
187  if (last_locator_write_time + SYNC_LOCATOR_WRITE_INTERVAL < current_time) {
188  SetBestBlockIndex(pindex->pprev);
189  last_locator_write_time = current_time;
190  // No need to handle errors in Commit. See rationale above.
191  Commit();
192  }
193 
194  CBlock block;
195  interfaces::BlockInfo block_info = kernel::MakeBlockInfo(pindex);
196  if (!m_chainstate->m_blockman.ReadBlockFromDisk(block, *pindex)) {
197  FatalErrorf("%s: Failed to read block %s from disk",
198  __func__, pindex->GetBlockHash().ToString());
199  return;
200  } else {
201  block_info.data = &block;
202  }
203  if (!CustomAppend(block_info)) {
204  FatalErrorf("%s: Failed to write block %s to index database",
205  __func__, pindex->GetBlockHash().ToString());
206  return;
207  }
208  }
209  }
210 
211  if (pindex) {
212  LogPrintf("%s is enabled at height %d\n", GetName(), pindex->nHeight);
213  } else {
214  LogPrintf("%s is enabled\n", GetName());
215  }
216 }
217 
219 {
220  // Don't commit anything if we haven't indexed any block yet
221  // (this could happen if init is interrupted).
222  bool ok = m_best_block_index != nullptr;
223  if (ok) {
224  CDBBatch batch(GetDB());
225  ok = CustomCommit(batch);
226  if (ok) {
227  GetDB().WriteBestBlock(batch, GetLocator(*m_chain, m_best_block_index.load()->GetBlockHash()));
228  ok = GetDB().WriteBatch(batch);
229  }
230  }
231  if (!ok) {
232  return error("%s: Failed to commit latest %s state", __func__, GetName());
233  }
234  return true;
235 }
236 
237 bool BaseIndex::Rewind(const CBlockIndex* current_tip, const CBlockIndex* new_tip)
238 {
239  assert(current_tip == m_best_block_index);
240  assert(current_tip->GetAncestor(new_tip->nHeight) == new_tip);
241 
242  if (!CustomRewind({current_tip->GetBlockHash(), current_tip->nHeight}, {new_tip->GetBlockHash(), new_tip->nHeight})) {
243  return false;
244  }
245 
246  // In the case of a reorg, ensure persisted block locator is not stale.
247  // Pruning has a minimum of 288 blocks-to-keep and getting the index
248  // out of sync may be possible but a users fault.
249  // In case we reorg beyond the pruned depth, ReadBlockFromDisk would
250  // throw and lead to a graceful shutdown
251  SetBestBlockIndex(new_tip);
252  if (!Commit()) {
253  // If commit fails, revert the best block index to avoid corruption.
254  SetBestBlockIndex(current_tip);
255  return false;
256  }
257 
258  return true;
259 }
260 
261 void BaseIndex::BlockConnected(ChainstateRole role, const std::shared_ptr<const CBlock>& block, const CBlockIndex* pindex)
262 {
263  // Ignore events from the assumed-valid chain; we will process its blocks
264  // (sequentially) after it is fully verified by the background chainstate. This
265  // is to avoid any out-of-order indexing.
266  //
267  // TODO at some point we could parameterize whether a particular index can be
268  // built out of order, but for now just do the conservative simple thing.
269  if (role == ChainstateRole::ASSUMEDVALID) {
270  return;
271  }
272 
273  // Ignore BlockConnected signals until we have fully indexed the chain.
274  if (!m_synced) {
275  return;
276  }
277 
278  const CBlockIndex* best_block_index = m_best_block_index.load();
279  if (!best_block_index) {
280  if (pindex->nHeight != 0) {
281  FatalErrorf("%s: First block connected is not the genesis block (height=%d)",
282  __func__, pindex->nHeight);
283  return;
284  }
285  } else {
286  // Ensure block connects to an ancestor of the current best block. This should be the case
287  // most of the time, but may not be immediately after the sync thread catches up and sets
288  // m_synced. Consider the case where there is a reorg and the blocks on the stale branch are
289  // in the ValidationInterface queue backlog even after the sync thread has caught up to the
290  // new chain tip. In this unlikely event, log a warning and let the queue clear.
291  if (best_block_index->GetAncestor(pindex->nHeight - 1) != pindex->pprev) {
292  LogPrintf("%s: WARNING: Block %s does not connect to an ancestor of "
293  "known best chain (tip=%s); not updating index\n",
294  __func__, pindex->GetBlockHash().ToString(),
295  best_block_index->GetBlockHash().ToString());
296  return;
297  }
298  if (best_block_index != pindex->pprev && !Rewind(best_block_index, pindex->pprev)) {
299  FatalErrorf("%s: Failed to rewind index %s to a previous chain tip",
300  __func__, GetName());
301  return;
302  }
303  }
304  interfaces::BlockInfo block_info = kernel::MakeBlockInfo(pindex, block.get());
305  if (CustomAppend(block_info)) {
306  // Setting the best block index is intentionally the last step of this
307  // function, so BlockUntilSyncedToCurrentChain callers waiting for the
308  // best block index to be updated can rely on the block being fully
309  // processed, and the index object being safe to delete.
310  SetBestBlockIndex(pindex);
311  } else {
312  FatalErrorf("%s: Failed to write block %s to index",
313  __func__, pindex->GetBlockHash().ToString());
314  return;
315  }
316 }
317 
319 {
320  // Ignore events from the assumed-valid chain; we will process its blocks
321  // (sequentially) after it is fully verified by the background chainstate.
322  if (role == ChainstateRole::ASSUMEDVALID) {
323  return;
324  }
325 
326  if (!m_synced) {
327  return;
328  }
329 
330  const uint256& locator_tip_hash = locator.vHave.front();
331  const CBlockIndex* locator_tip_index;
332  {
333  LOCK(cs_main);
334  locator_tip_index = m_chainstate->m_blockman.LookupBlockIndex(locator_tip_hash);
335  }
336 
337  if (!locator_tip_index) {
338  FatalErrorf("%s: First block (hash=%s) in locator was not found",
339  __func__, locator_tip_hash.ToString());
340  return;
341  }
342 
343  // This checks that ChainStateFlushed callbacks are received after BlockConnected. The check may fail
344  // immediately after the sync thread catches up and sets m_synced. Consider the case where
345  // there is a reorg and the blocks on the stale branch are in the ValidationInterface queue
346  // backlog even after the sync thread has caught up to the new chain tip. In this unlikely
347  // event, log a warning and let the queue clear.
348  const CBlockIndex* best_block_index = m_best_block_index.load();
349  if (best_block_index->GetAncestor(locator_tip_index->nHeight) != locator_tip_index) {
350  LogPrintf("%s: WARNING: Locator contains block (hash=%s) not on known best "
351  "chain (tip=%s); not writing index locator\n",
352  __func__, locator_tip_hash.ToString(),
353  best_block_index->GetBlockHash().ToString());
354  return;
355  }
356 
357  // No need to handle errors in Commit. If it fails, the error will be already be logged. The
358  // best way to recover is to continue, as index cannot be corrupted by a missed commit to disk
359  // for an advanced index state.
360  Commit();
361 }
362 
363 bool BaseIndex::BlockUntilSyncedToCurrentChain() const
364 {
366 
367  if (!m_synced) {
368  return false;
369  }
370 
371  {
372  // Skip the queue-draining stuff if we know we're caught up with
373  // m_chain.Tip().
374  LOCK(cs_main);
375  const CBlockIndex* chain_tip = m_chainstate->m_chain.Tip();
376  const CBlockIndex* best_block_index = m_best_block_index.load();
377  if (best_block_index->GetAncestor(chain_tip->nHeight) == chain_tip) {
378  return true;
379  }
380  }
381 
382  LogPrintf("%s: %s is catching up on block notifications\n", __func__, GetName());
384  return true;
385 }
386 
388 {
389  m_interrupt();
390 }
391 
393 {
394  if (!m_init) throw std::logic_error("Error: Cannot start a non-initialized index");
395 
396  m_thread_sync = std::thread(&util::TraceThread, GetName(), [this] { ThreadSync(); });
397  return true;
398 }
399 
401 {
403 
404  if (m_thread_sync.joinable()) {
405  m_thread_sync.join();
406  }
407 }
408 
410 {
411  IndexSummary summary{};
412  summary.name = GetName();
413  summary.synced = m_synced;
414  if (const auto& pindex = m_best_block_index.load()) {
415  summary.best_block_height = pindex->nHeight;
416  summary.best_block_hash = pindex->GetBlockHash();
417  } else {
418  summary.best_block_height = 0;
419  summary.best_block_hash = m_chain->getBlockHash(0);
420  }
421  return summary;
422 }
423 
425 {
427 
428  if (AllowPrune() && block) {
429  node::PruneLockInfo prune_lock;
430  prune_lock.height_first = block->nHeight;
431  WITH_LOCK(::cs_main, m_chainstate->m_blockman.UpdatePruneLock(GetName(), prune_lock));
432  }
433 
434  // Intentionally set m_best_block_index as the last step in this function,
435  // after updating prune locks above, and after making any other references
436  // to *this, so the BlockUntilSyncedToCurrentChain function (which checks
437  // m_best_block_index as an optimization) can be used to wait for the last
438  // BlockConnected notification and safely assume that prune locks are
439  // updated and that the index object is safe to delete.
440  m_best_block_index = block;
441 }
Helper for findBlock to selectively return pieces of block data.
Definition: chain.h:53
fs::path path
Location in the filesystem where leveldb data will be stored.
Definition: dbwrapper.h:35
void SyncWithValidationInterfaceQueue()
This is a synonym for the following, which asserts certain locks are not held: std::promise<void> pro...
bool Commit()
Write the current index state (eg.
Definition: base.cpp:218
AssertLockHeld(pool.cs)
bool IsPruneMode() const
Whether running in -prune mode.
Definition: blockstorage.h:319
bool Init()
Initializes the sync state and registers the instance to the validation interface so that it stays in...
Definition: base.cpp:79
CThreadInterrupt m_interrupt
Definition: base.h:79
assert(!tx.IsCoinBase())
BaseIndex(std::unique_ptr< interfaces::Chain > chain, std::string name)
Definition: base.cpp:70
Describes a place in the block chain to another node such that if the other node doesn&#39;t have the sam...
Definition: block.h:123
std::atomic< bool > m_synced
Whether the index is in sync with the main chain.
Definition: base.h:73
CBlockIndex * pprev
pointer to the index of the predecessor of this block
Definition: chain.h:156
Batch of changes queued to be written to a CDBWrapper.
Definition: dbwrapper.h:72
virtual bool CustomAppend(const interfaces::BlockInfo &block)
Write update index entries for a newly connected block.
Definition: base.h:119
node::BlockManager & m_blockman
Reference to a BlockManager instance which itself is shared across all Chainstate instances...
Definition: validation.h:519
Definition: block.h:68
#define strprintf
Format arguments and return the string or write to given std::ostream (see tinyformat::format doc for...
Definition: tinyformat.h:1162
void SetBestBlockIndex(const CBlockIndex *block)
Update the internal best block index as well as the prune lock.
Definition: base.cpp:424
An in-memory indexed chain of blocks.
Definition: chain.h:446
bilingual_str Untranslated(std::string original)
Mark a bilingual_str as untranslated.
Definition: translation.h:48
void AbortNode(util::SignalInterrupt *shutdown, std::atomic< int > &exit_status, const std::string &debug_message, const bilingual_str &user_message)
Definition: abort.cpp:19
Interrupt(node)
bool IsNull() const
Definition: block.h:152
bool ReadBlockFromDisk(CBlock &block, const FlatFilePos &pos) const
Functions for disk access for blocks.
bool Rewind(const CBlockIndex *current_tip, const CBlockIndex *new_tip)
Loop over disconnected blocks and call CustomRewind.
Definition: base.cpp:237
CChain m_chain
The current chain of blockheaders we consult and build on.
Definition: validation.h:569
User-controlled performance and debug options.
Definition: dbwrapper.h:27
void Stop()
Stops the instance from staying in sync with blockchain updates.
Definition: base.cpp:400
std::thread m_thread_sync
Definition: base.h:78
uint256 GetBlockHash() const
Definition: chain.h:258
Block data sent with blockConnected, blockDisconnected notifications.
Definition: chain.h:84
void FatalErrorf(const char *fmt, const Args &... args)
Definition: base.cpp:31
virtual ~BaseIndex()
Destructor interrupts sync thread if running and blocks until it exits.
Definition: base.cpp:73
void SetNull()
Definition: block.h:147
const CBlock * data
Definition: chain.h:90
void WriteBestBlock(CDBBatch &batch, const CBlockLocator &locator)
Write block locator of the chain that the index is in sync with.
Definition: base.cpp:65
virtual bool CustomInit(const std::optional< interfaces::BlockKey > &block)
Initialize internal state from the database and block index.
Definition: base.h:116
void ChainStateFlushed(ChainstateRole role, const CBlockLocator &locator) override
Notifies listeners of the new active block chain on-disk.
Definition: base.cpp:318
ArgsManager & args
Definition: bitcoind.cpp:268
constexpr auto SYNC_LOG_INTERVAL
Definition: base.cpp:27
ChainstateRole
This enum describes the various roles a specific Chainstate instance can take.
Definition: chain.h:25
const std::string & GetName() const LIFETIMEBOUND
Get the name of the index for display in logs.
Definition: base.h:140
CBlockLocator GetLocator(interfaces::Chain &chain, const uint256 &block_hash)
Definition: base.cpp:37
#define LOCK(cs)
Definition: sync.h:257
const char * name
Definition: rest.cpp:49
bool InitError(const bilingual_str &str)
Show error message.
std::atomic< bool > m_init
Whether the index has been initialized or not.
Definition: base.h:65
void format(std::ostream &out, const char *fmt, const Args &... args)
Format list of arguments to the stream according to given format string.
Definition: tinyformat.h:1060
virtual bool findBlock(const uint256 &hash, const FoundBlock &block={})=0
Return whether node has the block and optionally return block metadata or contents.
constexpr uint8_t DB_BEST_BLOCK
Definition: base.cpp:25
void Write(const K &key, const V &value)
Definition: dbwrapper.h:99
std::string ToString() const
Definition: uint256.cpp:55
void ReadDatabaseArgs(const ArgsManager &args, DBOptions &options)
constexpr auto SYNC_LOCATOR_WRITE_INTERVAL
Definition: base.cpp:28
std::vector< uint256 > vHave
Definition: block.h:134
CBlockIndex * LookupBlockIndex(const uint256 &hash) EXCLUSIVE_LOCKS_REQUIRED(cs_main)
#define WITH_LOCK(cs, code)
Run code while locking a mutex.
Definition: sync.h:301
ArgsManager gArgs
Definition: args.cpp:41
bool StartBackgroundSync()
Starts the initial sync process.
Definition: base.cpp:392
void UnregisterValidationInterface(CValidationInterface *callbacks)
Unregister subscriber.
256-bit opaque blob.
Definition: uint256.h:106
virtual bool CustomRewind(const interfaces::BlockKey &current_tip, const interfaces::BlockKey &new_tip)
Rewind index to an earlier chain tip during a chain reorg.
Definition: base.h:127
virtual bool CustomCommit(CDBBatch &batch)
Virtual method called internally by Commit that can be overridden to atomically commit more index sta...
Definition: base.h:123
std::string name
Definition: base.h:24
#define EXCLUSIVE_LOCKS_REQUIRED(...)
Definition: threadsafety.h:49
static const CBlockIndex * NextSyncBlock(const CBlockIndex *pindex_prev, CChain &chain) EXCLUSIVE_LOCKS_REQUIRED(cs_main)
Definition: base.cpp:128
Interface giving clients (wallet processes, maybe other analysis tools in the future) ability to acce...
Definition: chain.h:123
bool error(const char *fmt, const Args &... args)
Definition: logging.h:267
The block chain is a tree shaped structure starting with the genesis block at the root...
Definition: chain.h:149
Hash/height pair to help track and identify blocks.
Definition: chain.h:45
Chainstate * m_chainstate
Definition: base.h:108
CBlockIndex * Tip() const
Returns the index entry for the tip of this chain, or nullptr if none.
Definition: chain.h:463
Application-specific storage settings.
Definition: dbwrapper.h:33
#define AssertLockNotHeld(cs)
Definition: sync.h:147
void RegisterValidationInterface(CValidationInterface *callbacks)
Register subscriber.
void ThreadSync()
Sync the index with the block index starting from the current best block.
Definition: base.cpp:144
bool WriteBatch(CDBBatch &batch, bool fSync=false)
Definition: dbwrapper.cpp:291
void BlockConnected(ChainstateRole role, const std::shared_ptr< const CBlock > &block, const CBlockIndex *pindex) override
Notifies listeners of a block being connected.
Definition: base.cpp:261
interfaces::BlockInfo MakeBlockInfo(const CBlockIndex *index, const CBlock *data)
Return data from block index.
Definition: chain.cpp:14
int nHeight
height of the entry in the chain. The genesis block has height 0
Definition: chain.h:162
DB(const fs::path &path, size_t n_cache_size, bool f_memory=false, bool f_wipe=false, bool f_obfuscate=false)
Definition: base.cpp:46
bool ReadBestBlock(CBlockLocator &locator) const
Read block locator of the chain that the index is in sync with.
Definition: base.cpp:56
CBlockIndex * GetAncestor(int height)
Efficiently find an ancestor of this block.
Definition: chain.cpp:120
#define LogPrintf(...)
Definition: logging.h:245
Path class wrapper to block calls to the fs::path(std::string) implicit constructor and the fs::path:...
Definition: fs.h:32
RecursiveMutex cs_main
Mutex to guard access to validation specific variables, such as reading or changing the chainstate...
Definition: cs_main.cpp:8
virtual DB & GetDB() const =0
std::atomic< const CBlockIndex * > m_best_block_index
The last block in the chain that the index is in sync with.
Definition: base.h:76
virtual bool AllowPrune() const =0
std::unique_ptr< interfaces::Chain > m_chain
Definition: base.h:107
void TraceThread(std::string_view thread_name, std::function< void()> thread_func)
A wrapper for do-something-once thread functions.
Definition: thread.cpp:16
IndexSummary GetSummary() const
Get a summary of the index and its state.
Definition: base.cpp:409