chained_tx.cpp

Go to the documentation of this file.

// Copyright (c) 2021 The Bitcoin developers
// Distributed under the MIT software license, see the accompanying
// file COPYING or http://www.opensource.org/licenses/mit-license.php.
 
#include <bench/bench.h>
#include <common/system.h>
#include <config.h>
#include <consensus/amount.h>
#include <node/context.h>
#include <node/miner.h>
#include <primitives/transaction.h>
#include <script/script.h>
#include <txmempool.h>
#include <util/string.h>
#include <validation.h>
 
#include <test/util/mining.h>
#include <test/util/setup_common.h>
 
#include <list>
#include <queue>
#include <vector>
 
 
static const CScript REDEEM_SCRIPT = CScript() << OP_DROP << OP_TRUE;
 
static const CScript SCRIPT_PUB_KEY =
    CScript() << OP_HASH160 << ToByteVector(CScriptID(REDEEM_SCRIPT))
              << OP_EQUAL;
 
static const CScript SCRIPT_SIG = CScript() << std::vector<uint8_t>(100, 0xff)
                                            << ToByteVector(REDEEM_SCRIPT);
 
static std::vector<CTxIn> createUTXOs(const Config &config, size_t n,
                                      node::NodeContext &node) {
    std::vector<CTxIn> utxos;
    utxos.reserve(n);
 
    for (size_t i = 0; i < n; ++i) {
        utxos.emplace_back(MineBlock(config, node, SCRIPT_PUB_KEY));
    }
 
    for (size_t i = 0; i < COINBASE_MATURITY + 1; ++i) {
        MineBlock(config, node, SCRIPT_PUB_KEY);
    }
 
    return utxos;
}
 
static CTransactionRef toTx(const Config &config, CTxIn txin) {
    CMutableTransaction tx;
    tx.vin.emplace_back(txin);
    tx.vin.back().scriptSig = SCRIPT_SIG;
    tx.vout.emplace_back(25 * COIN - 1337 * SATOSHI, SCRIPT_PUB_KEY);
    return MakeTransactionRef(tx);
}
 
static std::vector<CTransactionRef>
oneInOneOutChain(const Config &config, CTxIn utxo, const size_t chainLength) {
    auto firstTx = toTx(config, std::move(utxo));
 
    // Build the chain
    std::vector<CTransactionRef> chain = {firstTx};
    chain.reserve(chainLength);
    while (chain.size() < chainLength) {
        const COutPoint parent(chain.back()->GetId(), 0);
        const Amount inAmount(chain.back()->vout[0].nValue);
        CMutableTransaction tx;
        tx.vin.emplace_back(CTxIn(parent, SCRIPT_SIG));
        tx.vout.emplace_back(inAmount - 1337 * SATOSHI, SCRIPT_PUB_KEY);
        chain.emplace_back(MakeTransactionRef(tx));
    }
    assert(chain.size() == chainLength);
    return chain;
}
 
static std::vector<CTransactionRef> twoInOneOutTree(const Config &config,
                                                    node::NodeContext &node,
                                                    const size_t treeDepth) {
    // Total number of txs is the sum of nodes at each depth of a binary tree.
    size_t txs = 0;
    for (size_t i = 0; i <= treeDepth; ++i) {
        txs += std::pow(2, i);
    }
    const size_t leafs = std::pow(2, treeDepth);
 
    std::vector<CTransactionRef> chain;
    chain.reserve(txs);
 
    std::queue<CTransactionRef> queue;
    for (auto txin : createUTXOs(config, leafs, node)) {
        auto tx = toTx(config, std::move(txin));
        queue.push(tx);
        chain.emplace_back(tx);
    }
 
    while (true) {
        CMutableTransaction tx;
 
        const CTransactionRef txin1 = queue.front();
        queue.pop();
        const CTransactionRef txin2 = queue.front();
        queue.pop();
 
        const Amount inAmount = txin1->vout[0].nValue + txin2->vout[0].nValue;
 
        tx.vin.emplace_back(CTxIn(COutPoint(txin1->GetId(), 0), SCRIPT_SIG));
        tx.vin.emplace_back(CTxIn(COutPoint(txin2->GetId(), 0), SCRIPT_SIG));
        tx.vout.emplace_back(inAmount - 1337 * SATOSHI, SCRIPT_PUB_KEY);
 
        CTransactionRef txref = MakeTransactionRef(tx);
        chain.push_back(txref);
        if (queue.empty()) {
            break;
        }
        queue.emplace(txref);
    }
    assert(chain.size() == txs);
    return chain;
}
 
static void benchATMP(node::NodeContext &node, benchmark::Bench &bench,
                      const std::vector<CTransactionRef> chainedTxs) {
    auto chainman = Assert(node.chainman.get());
    Chainstate &activeChainState = chainman->ActiveChainstate();
 
    CTxMemPool &mempool{*Assert(activeChainState.GetMempool())};
    assert(mempool.size() == 0);
 
    bench.run([&] {
        LOCK(::cs_main);
        for (const auto &tx : chainedTxs) {
            MempoolAcceptResult result =
                AcceptToMemoryPool(activeChainState, tx, GetTime(),
                                   /*bypass_limits=*/false);
            assert(result.m_result_type ==
                   MempoolAcceptResult::ResultType::VALID);
        }
        mempool.clear();
    });
}
 
static void benchReorg(const Config &config, node::NodeContext &node,
                       benchmark::Bench &bench, size_t reorgDepth,
                       size_t chainSizePerBlock, bool includeMempoolTxRemoval) {
    auto utxos = createUTXOs(config, reorgDepth, node);
    std::vector<std::vector<CTransactionRef>> chains;
    for (auto &utxo : utxos) {
        chains.emplace_back(
            oneInOneOutChain(config, std::move(utxo), chainSizePerBlock));
    }
 
    auto chainman = Assert(node.chainman.get());
    Chainstate &activeChainState = chainman->ActiveChainstate();
 
    // Current tip will be last valid block.
    CBlockIndex *tipBeforeInvalidate = activeChainState.m_chain.Tip();
    assert(tipBeforeInvalidate != nullptr);
 
    CBlockIndex *blockToInvalidate = nullptr;
 
    CTxMemPool &mempool{*Assert(activeChainState.GetMempool())};
    assert(mempool.size() == 0);
 
    // Build blocks
    TestMemPoolEntryHelper entry;
    entry.nFee = 1337 * SATOSHI;
    for (const auto &chain : chains) {
        {
            LOCK2(cs_main, mempool.cs);
            for (const auto &tx : chain) {
                mempool.addUnchecked(entry.FromTx(tx));
            }
        }
        assert(mempool.size() == chain.size());
        MineBlock(config, node, SCRIPT_PUB_KEY);
        assert(mempool.size() == 0);
 
        assert(activeChainState.m_chain.Tip()->nTx ==
               chain.size() + 1 /* coinbase */);
 
        if (blockToInvalidate == nullptr) {
            blockToInvalidate = activeChainState.m_chain.Tip();
        }
    }
    CBlockIndex *mostWorkTip = activeChainState.m_chain.Tip();
 
    bench.run([&] {
        BlockValidationState state;
 
        // Disconnect blocks with long transaction chains
        activeChainState.InvalidateBlock(state, blockToInvalidate);
        assert(state.IsValid());
 
        activeChainState.ActivateBestChain(state);
        assert(state.IsValid());
        assert(activeChainState.m_chain.Tip() == tipBeforeInvalidate);
 
        // Transactions should be stuffed back into the mempool.
        assert(mempool.size() == reorgDepth * chainSizePerBlock);
 
        if (!includeMempoolTxRemoval) {
            // As of writing this test, removing transactions from mempool
            // during re-connect takes significant amount of time, so we allow
            // to test both with and without this process.
            mempool.clear();
        }
 
        // Reconnect block
        {
            LOCK(cs_main);
            activeChainState.ResetBlockFailureFlags(blockToInvalidate);
        }
 
        activeChainState.ActivateBestChain(state);
        assert(state.IsValid());
        assert(activeChainState.m_chain.Tip() == mostWorkTip);
        assert(mempool.size() == 0);
    });
}
 
static void
benchGenerateNewBlock(const Config &config, node::NodeContext &node,
                      benchmark::Bench &bench,
                      const std::vector<std::vector<CTransactionRef>> &chains) {
    TestMemPoolEntryHelper entry;
    entry.nFee = 1337 * SATOSHI;
 
    auto chainman = Assert(node.chainman.get());
    Chainstate &activeChainState = chainman->ActiveChainstate();
    CTxMemPool &mempool{*Assert(activeChainState.GetMempool())};
 
    // Fill mempool
    size_t txCount = 0;
    for (const auto &chain : chains) {
        LOCK2(cs_main, mempool.cs);
        for (const auto &tx : chain) {
            mempool.addUnchecked(entry.FromTx(tx));
            ++txCount;
        }
    }
    assert(mempool.size() == txCount);
 
    const CScript dummy = CScript() << OP_TRUE;
    bench.run([&] {
        auto blocktemplate =
            node::BlockAssembler{config, activeChainState, &mempool}
                .CreateNewBlock(dummy);
        assert(blocktemplate);
        // +1 for coinbase
        assert(blocktemplate->block.vtx.size() == txCount + 1);
    });
}
 
static void
benchEviction(const Config &, benchmark::Bench &bench,
              const std::vector<std::vector<CTransactionRef>> &chains,
              bool revFee = true) {
    std::list<CTxMemPool> pools;
 
    // Note: in order to isolate how long eviction takes (as opposed to add +
    // eviction), we are forced to pre-create all the pools we will be needing
    // up front.
 
    bench.epochs(2).epochIterations(1);
 
    for (uint64_t i = 0; i < bench.epochs() * bench.epochIterations() + 1;
         ++i) {
        CTxMemPool::Options mempool_opts{
            .check_ratio = 0,
        };
        pools.emplace_back(mempool_opts);
        CTxMemPool &pool = pools.back();
        TestMemPoolEntryHelper entry;
        // Fill mempool
        size_t txCount = 0;
        entry.nFee = 1337 * SATOSHI;
        // add in order of decreasing fee if revFee, increasing otherwise
        const Amount feeBump =
            revFee ? int64_t(-1) * SATOSHI : int64_t(1) * SATOSHI;
        for (const auto &chain : chains) {
            if (revFee) {
                entry.nFee += int64_t(chain.size()) * SATOSHI;
            }
            LOCK2(cs_main, pool.cs);
            for (const auto &tx : chain) {
                pool.addUnchecked(entry.FromTx(tx));
                entry.nFee += feeBump;
                // Setting spendCoinbase to false here assumes it's a chain of
                // 1-in-1-out transaction chain.
                ++txCount;
            }
            if (revFee) {
                entry.nFee += int64_t(chain.size()) * SATOSHI;
            }
        }
        assert(pool.size() == txCount);
    }
 
    auto it = pools.begin();
 
    bench.run([&] {
        assert(it != pools.end());
        auto &pool = *it++;
        LOCK2(cs_main, pool.cs);
        while (auto prevSize = pool.size()) {
            pool.TrimToSize(pool.DynamicMemoryUsage() * 99 / 100);
            assert(pool.size() < prevSize);
        }
    });
}
 
static void MempoolAcceptance50ChainedTxs(benchmark::Bench &bench) {
    RegTestingSetup test_setup{};
    const Config &config = test_setup.m_node.chainman->GetConfig();
    const std::vector<CTransactionRef> chainedTxs = oneInOneOutChain(
        config, createUTXOs(config, 1, test_setup.m_node).back(), 50);
    benchATMP(test_setup.m_node, bench, chainedTxs);
}
 
static void MempoolAcceptance500ChainedTxs(benchmark::Bench &bench) {
    RegTestingSetup test_setup{};
    const Config &config = test_setup.m_node.chainman->GetConfig();
    const std::vector<CTransactionRef> chainedTxs = oneInOneOutChain(
        config, createUTXOs(config, 1, test_setup.m_node).back(), 500);
    benchATMP(test_setup.m_node, bench, chainedTxs);
}
 
static void MempoolAcceptance63TxTree(benchmark::Bench &bench) {
    RegTestingSetup test_setup{};
    const Config &config = test_setup.m_node.chainman->GetConfig();
    const std::vector<CTransactionRef> chainedTxs =
        twoInOneOutTree(config, test_setup.m_node, 5);
    assert(chainedTxs.size() == 63);
    benchATMP(test_setup.m_node, bench, chainedTxs);
}
 
static void MempoolAcceptance511TxTree(benchmark::Bench &bench) {
    RegTestingSetup test_setup{};
    const Config &config = test_setup.m_node.chainman->GetConfig();
    const std::vector<CTransactionRef> chainedTxs =
        twoInOneOutTree(config, test_setup.m_node, 8);
    assert(chainedTxs.size() == 511);
    benchATMP(test_setup.m_node, bench, chainedTxs);
}
 
static void Reorg10BlocksWith50TxChain(benchmark::Bench &bench) {
    RegTestingSetup test_setup{};
    const Config &config = test_setup.m_node.chainman->GetConfig();
    benchReorg(config, test_setup.m_node, bench, 10, 50, true);
}
 
static void Reorg10BlocksWith500TxChain(benchmark::Bench &bench) {
    RegTestingSetup test_setup{};
    const Config &config = test_setup.m_node.chainman->GetConfig();
    benchReorg(config, test_setup.m_node, bench, 10, 500, true);
}
 
static void Reorg10BlocksWith50TxChainSkipMempool(benchmark::Bench &bench) {
    RegTestingSetup test_setup{};
    const Config &config = test_setup.m_node.chainman->GetConfig();
    benchReorg(config, test_setup.m_node, bench, 10, 50, false);
}
 
static void Reorg10BlocksWith500TxChainSkipMempool(benchmark::Bench &bench) {
    RegTestingSetup test_setup{};
    const Config &config = test_setup.m_node.chainman->GetConfig();
    benchReorg(config, test_setup.m_node, bench, 10, 500, false);
}
 
static void GenerateBlock50ChainedTxs(benchmark::Bench &bench) {
    RegTestingSetup test_setup{};
    const Config &config = test_setup.m_node.chainman->GetConfig();
    CTxIn utxo = createUTXOs(config, 1, test_setup.m_node).back();
    benchGenerateNewBlock(config, test_setup.m_node, bench,
                          {oneInOneOutChain(config, std::move(utxo), 50)});
}
 
static void GenerateBlock500ChainedTxs(benchmark::Bench &bench) {
    RegTestingSetup test_setup{};
    const Config &config = test_setup.m_node.chainman->GetConfig();
    CTxIn utxo = createUTXOs(config, 1, test_setup.m_node).back();
    benchGenerateNewBlock(config, test_setup.m_node, bench,
                          {oneInOneOutChain(config, std::move(utxo), 500)});
}
 
static void EvictChained50Tx(benchmark::Bench &bench) {
    RegTestingSetup test_setup{};
    const Config &config = test_setup.m_node.chainman->GetConfig();
    // create 2000 chains of 50 1-in-1-out each
    std::vector<std::vector<CTransactionRef>> chains;
    constexpr int NChains = 2000;
    const auto utxos = createUTXOs(config, NChains, test_setup.m_node);
    for (int i = 0; i < NChains; ++i) {
        chains.push_back(oneInOneOutChain(config, utxos[i], 50));
    }
    benchEviction(config, bench, chains, false);
}
 
static void EvictChained50TxRev(benchmark::Bench &bench) {
    RegTestingSetup test_setup{};
    const Config &config = test_setup.m_node.chainman->GetConfig();
    // create 2000 chains of 50 1-in-1-out each
    std::vector<std::vector<CTransactionRef>> chains;
    constexpr int NChains = 2000;
    const auto utxos = createUTXOs(config, NChains, test_setup.m_node);
    for (int i = 0; i < NChains; ++i) {
        chains.push_back(oneInOneOutChain(config, utxos[i], 50));
    }
    benchEviction(config, bench, chains, true);
}
 
BENCHMARK(MempoolAcceptance50ChainedTxs);
BENCHMARK(MempoolAcceptance500ChainedTxs);
BENCHMARK(MempoolAcceptance63TxTree);
BENCHMARK(MempoolAcceptance511TxTree);
 
BENCHMARK(Reorg10BlocksWith50TxChain);
BENCHMARK(Reorg10BlocksWith500TxChain);
BENCHMARK(Reorg10BlocksWith50TxChainSkipMempool);
BENCHMARK(Reorg10BlocksWith500TxChainSkipMempool);
 
BENCHMARK(GenerateBlock50ChainedTxs);
BENCHMARK(GenerateBlock500ChainedTxs);
 
BENCHMARK(EvictChained50Tx);
BENCHMARK(EvictChained50TxRev);