Line data    Source code

       1             : // Copyright (c) 2016-2021 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_VERSIONBITS_H
       6             : #define BITCOIN_VERSIONBITS_H
       7             : 
       8             : #include <chain.h>
       9             : #include <gsl/pointers.h>
      10             : #include <sync.h>
      11             : 
      12             : #include <map>
      13             : 
      14             : /** What block version to use for new blocks (pre versionbits) */
      15             : static const int32_t VERSIONBITS_LAST_OLD_BLOCK_VERSION = 4;
      16             : /** What bits to set in version for versionbits blocks */
      17             : static const int32_t VERSIONBITS_TOP_BITS = 0x20000000UL;
      18             : /** What bitmask determines whether versionbits is in use */
      19             : static const int32_t VERSIONBITS_TOP_MASK = 0xE0000000UL;
      20             : /** Total bits available for versionbits */
      21             : static const int32_t VERSIONBITS_NUM_BITS = 29;
      22             : 
      23             : /** BIP 9 defines a finite-state-machine to deploy a softfork in multiple stages.
      24             :  *  State transitions happen during retarget period if conditions are met
      25             :  *  In case of reorg, transitions can go backward. Without transition, state is
      26             :  *  inherited between periods. All blocks of a period share the same state.
      27             :  */
      28             : enum class ThresholdState {
      29             :     DEFINED,   // First state that each softfork starts out as. The genesis block is by definition in this state for each deployment.
      30             :     STARTED,   // For blocks past the starttime.
      31             :     LOCKED_IN, // For at least one retarget period after the first retarget period with STARTED blocks of which at least threshold have the associated bit set in nVersion, until min_activation_height is reached.
      32             :     ACTIVE,    // For all blocks after the LOCKED_IN retarget period (final state)
      33             :     FAILED,    // For all blocks once the first retarget period after the timeout time is hit, if LOCKED_IN wasn't already reached (final state)
      34             : };
      35             : 
      36             : // A map that gives the state for blocks whose height is a multiple of Period().
      37             : // The map is indexed by the block's parent, however, so all keys in the map
      38             : // will either be nullptr or a block with (height + 1) % Period() == 0.
      39             : typedef std::map<const CBlockIndex*, ThresholdState> ThresholdConditionCache;
      40             : 
      41             : /** Display status of an in-progress BIP9 softfork */
      42             : struct BIP9Stats {
      43             :     /** Length of blocks of the BIP9 signalling period */
      44             :     int period;
      45             :     /** Number of blocks with the version bit set required to activate the softfork */
      46             :     int threshold;
      47             :     /** Number of blocks elapsed since the beginning of the current period */
      48             :     int elapsed;
      49             :     /** Number of blocks with the version bit set since the beginning of the current period */
      50             :     int count;
      51             :     /** False if there are not enough blocks left in this period to pass activation threshold */
      52             :     bool possible;
      53             : };
      54             : 
      55             : /**
      56             :  * Abstract class that implements BIP9-style threshold logic, and caches results.
      57             :  */
      58             : class AbstractThresholdConditionChecker {
      59             : protected:
      60             :     virtual bool Condition(const CBlockIndex* pindex, const Consensus::Params& params) const =0;
      61             :     virtual int64_t BeginTime(const Consensus::Params& params) const =0;
      62             :     virtual int SignalHeight(const CBlockIndex* pindexPrev, const Consensus::Params& params) const = 0;
      63             :     virtual int64_t EndTime(const Consensus::Params& params) const =0;
      64      728433 :     virtual int MinActivationHeight(const Consensus::Params& params) const { return 0; }
      65             :     virtual int Period(const Consensus::Params& params) const =0;
      66             :     virtual int Threshold(const Consensus::Params& params, int nAttempt) const =0;
      67             : 
      68             : public:
      69             :     /** Returns the numerical statistics of an in-progress BIP9 softfork in the current period */
      70             :     BIP9Stats GetStateStatisticsFor(const CBlockIndex* pindex, const Consensus::Params& params, ThresholdConditionCache& cache) const;
      71             :     /** Returns the state for pindex A based on parent pindexPrev B. Applies any state transition if conditions are present.
      72             :      *  Caches state from first block of period. */
      73             :     ThresholdState GetStateFor(const CBlockIndex* pindexPrev, const Consensus::Params& params, ThresholdConditionCache& cache) const;
      74             :     /** Returns the height since when the ThresholdState has started for pindex A based on parent pindexPrev B, all blocks of a period share the same */
      75             :     int GetStateSinceHeightFor(const CBlockIndex* pindexPrev, const Consensus::Params& params, ThresholdConditionCache& cache) const;
      76             : };
      77             : 
      78             : /** BIP 9 allows multiple softforks to be deployed in parallel. We cache
      79             :  *  per-period state for every one of them. */
      80         370 : class VersionBitsCache
      81             : {
      82             : private:
      83             :     Mutex m_mutex;
      84             :     ThresholdConditionCache m_caches[Consensus::MAX_VERSION_BITS_DEPLOYMENTS] GUARDED_BY(m_mutex);
      85             : 
      86             : public:
      87             :     /** Get the numerical statistics for a given deployment for the signalling period that includes the block after pindexPrev. */
      88             :     BIP9Stats Statistics(const CBlockIndex* pindexPrev, const Consensus::Params& params, Consensus::DeploymentPos pos) EXCLUSIVE_LOCKS_REQUIRED(!m_mutex);
      89             : 
      90             :     static uint32_t Mask(const Consensus::Params& params, Consensus::DeploymentPos pos);
      91             : 
      92             :     /** Get the BIP9 state for a given deployment for the block after pindexPrev. */
      93             :     ThresholdState State(const CBlockIndex* pindexPrev, const Consensus::Params& params, Consensus::DeploymentPos pos) EXCLUSIVE_LOCKS_REQUIRED(!m_mutex);
      94             : 
      95             :     /** Get the block height at which the BIP9 deployment switched into the state for the block after pindexPrev. */
      96             :     int StateSinceHeight(const CBlockIndex* pindexPrev, const Consensus::Params& params, Consensus::DeploymentPos pos) EXCLUSIVE_LOCKS_REQUIRED(!m_mutex);
      97             : 
      98             :     /** Determine what nVersion a new block should use
      99             :      */
     100             :     int32_t ComputeBlockVersion(const CBlockIndex* pindexPrev, const Consensus::Params& params) EXCLUSIVE_LOCKS_REQUIRED(!m_mutex);
     101             : 
     102             :     void Clear() EXCLUSIVE_LOCKS_REQUIRED(!m_mutex);
     103             : };
     104             : 
     105             : class AbstractEHFManager
     106             : {
     107             : public:
     108             :     using Signals = std::unordered_map<uint8_t, int>;
     109             : 
     110             : public:
     111         180 :     AbstractEHFManager() = default;
     112         180 :     virtual ~AbstractEHFManager() = default;
     113             : 
     114             :     /**
     115             :      * getInstance() is used in versionbit because it is non-trivial
     116             :      * to get access to NodeContext from all usages of VersionBits* methods
     117             :      * For simplification of interface this methods static/global variable is used
     118             :      * to get access to EHF data
     119             :      */
     120       73710 :     [[nodiscard]] static gsl::not_null<AbstractEHFManager*> getInstance() {
     121       73710 :         return globalInstance;
     122             :     };
     123             : 
     124             :     /**
     125             :      * `GetSignalsStage' prepares signals for new block.
     126             :      * The results are diffent with GetFromCache results due to one more
     127             :      * stage of processing: signals that would be expired in next block
     128             :      * are excluded from results.
     129             :      * This member function is not const because it calls non-const GetFromCache()
     130             :      */
     131             :     virtual Signals GetSignalsStage(const CBlockIndex* const pindexPrev) = 0;
     132             : 
     133             : protected:
     134             :     static AbstractEHFManager* globalInstance;
     135             : };
     136             : 
     137             : #endif // BITCOIN_VERSIONBITS_H