Coverage Report

Created: 2026-06-09 19:51

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/root/bitcoin/src/txrequest.cpp
Line
Count
Source
1
// Copyright (c) 2020-present 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 <txrequest.h>
6
7
#include <crypto/siphash.h>
8
#include <net.h>
9
#include <primitives/transaction.h>
10
#include <random.h>
11
#include <uint256.h>
12
13
#include <boost/multi_index/indexed_by.hpp>
14
#include <boost/multi_index/ordered_index.hpp>
15
#include <boost/multi_index/sequenced_index.hpp>
16
#include <boost/multi_index/tag.hpp>
17
#include <boost/multi_index_container.hpp>
18
#include <boost/tuple/tuple.hpp>
19
20
#include <chrono>
21
#include <unordered_map>
22
#include <utility>
23
24
#include <cassert>
25
26
namespace {
27
28
/** The various states a (txhash,peer) pair can be in.
29
 *
30
 * Note that CANDIDATE is split up into 3 substates (DELAYED, BEST, READY), allowing more efficient implementation.
31
 * Also note that the sorting order of ByTxHashView relies on the specific order of values in this enum.
32
 *
33
 * Expected behaviour is:
34
 *   - When first announced by a peer, the state is CANDIDATE_DELAYED until reqtime is reached.
35
 *   - Announcements that have reached their reqtime but not been requested will be either CANDIDATE_READY or
36
 *     CANDIDATE_BEST. Neither of those has an expiration time; they remain in that state until they're requested or
37
 *     no longer needed. CANDIDATE_READY announcements are promoted to CANDIDATE_BEST when they're the best one left.
38
 *   - When requested, an announcement will be in state REQUESTED until expiry is reached.
39
 *   - If expiry is reached, or the peer replies to the request (either with NOTFOUND or the tx), the state becomes
40
 *     COMPLETED.
41
 */
42
enum class State : uint8_t {
43
    /** A CANDIDATE announcement whose reqtime is in the future. */
44
    CANDIDATE_DELAYED,
45
    /** A CANDIDATE announcement that's not CANDIDATE_DELAYED or CANDIDATE_BEST. */
46
    CANDIDATE_READY,
47
    /** The best CANDIDATE for a given txhash; only if there is no REQUESTED announcement already for that txhash.
48
     *  The CANDIDATE_BEST is the highest-priority announcement among all CANDIDATE_READY (and _BEST) ones for that
49
     *  txhash. */
50
    CANDIDATE_BEST,
51
    /** A REQUESTED announcement. */
52
    REQUESTED,
53
    /** A COMPLETED announcement. */
54
    COMPLETED,
55
};
56
57
//! Type alias for sequence numbers.
58
using SequenceNumber = uint64_t;
59
60
/** An announcement. This is the data we track for each txid or wtxid that is announced to us by each peer. */
61
struct Announcement {
62
    /** Txid or wtxid that was announced. */
63
    const GenTxid m_gtxid;
64
    /** For CANDIDATE_{DELAYED,BEST,READY} the reqtime; for REQUESTED the expiry. */
65
    std::chrono::microseconds m_time;
66
    /** What peer the request was from. */
67
    const NodeId m_peer;
68
    /** What sequence number this announcement has. */
69
    const SequenceNumber m_sequence : 59;
70
    /** Whether the request is preferred. */
71
    const bool m_preferred : 1;
72
    /** What state this announcement is in. */
73
    State m_state : 3 {State::CANDIDATE_DELAYED};
74
0
    State GetState() const { return m_state; }
75
0
    void SetState(State state) { m_state = state; }
76
77
    /** Whether this announcement is selected. There can be at most 1 selected peer per txhash. */
78
    bool IsSelected() const
79
0
    {
80
0
        return GetState() == State::CANDIDATE_BEST || GetState() == State::REQUESTED;
  Branch (80:16): [True: 0, False: 0]
  Branch (80:55): [True: 0, False: 0]
81
0
    }
82
83
    /** Whether this announcement is waiting for a certain time to pass. */
84
    bool IsWaiting() const
85
0
    {
86
0
        return GetState() == State::REQUESTED || GetState() == State::CANDIDATE_DELAYED;
  Branch (86:16): [True: 0, False: 0]
  Branch (86:50): [True: 0, False: 0]
87
0
    }
88
89
    /** Whether this announcement can feasibly be selected if the current IsSelected() one disappears. */
90
    bool IsSelectable() const
91
0
    {
92
0
        return GetState() == State::CANDIDATE_READY || GetState() == State::CANDIDATE_BEST;
  Branch (92:16): [True: 0, False: 0]
  Branch (92:56): [True: 0, False: 0]
93
0
    }
94
95
    /** Construct a new announcement from scratch, initially in CANDIDATE_DELAYED state. */
96
    Announcement(const GenTxid& gtxid, NodeId peer, bool preferred, std::chrono::microseconds reqtime,
97
                 SequenceNumber sequence)
98
0
        : m_gtxid(gtxid), m_time(reqtime), m_peer(peer), m_sequence(sequence), m_preferred(preferred) {}
99
};
100
101
//! Type alias for priorities.
102
using Priority = uint64_t;
103
104
/** A functor with embedded salt that computes priority of an announcement.
105
 *
106
 * Higher priorities are selected first.
107
 */
108
class PriorityComputer {
109
    const uint64_t m_k0, m_k1;
110
public:
111
    explicit PriorityComputer(bool deterministic) :
112
0
        m_k0{deterministic ? 0 : FastRandomContext().rand64()},
  Branch (112:14): [True: 0, False: 0]
113
0
        m_k1{deterministic ? 0 : FastRandomContext().rand64()} {}
  Branch (113:14): [True: 0, False: 0]
114
115
    Priority operator()(const uint256& txhash, NodeId peer, bool preferred) const
116
0
    {
117
0
        uint64_t low_bits = CSipHasher(m_k0, m_k1).Write(txhash).Write(peer).Finalize() >> 1;
118
0
        return low_bits | uint64_t{preferred} << 63;
119
0
    }
120
121
    Priority operator()(const Announcement& ann) const
122
0
    {
123
0
        return operator()(ann.m_gtxid.ToUint256(), ann.m_peer, ann.m_preferred);
124
0
    }
125
};
126
127
// Definitions for the 3 indexes used in the main data structure.
128
//
129
// Each index has a By* type to identify it, a By*View data type to represent the view of announcement it is sorted
130
// by, and an By*ViewExtractor type to convert an announcement into the By*View type.
131
// See https://www.boost.org/doc/libs/1_58_0/libs/multi_index/doc/reference/key_extraction.html#key_extractors
132
// for more information about the key extraction concept.
133
134
// The ByPeer index is sorted by (peer, state == CANDIDATE_BEST, txhash)
135
//
136
// Uses:
137
// * Looking up existing announcements by peer/txhash, by checking both (peer, false, txhash) and
138
//   (peer, true, txhash).
139
// * Finding all CANDIDATE_BEST announcements for a given peer in GetRequestable.
140
struct ByPeer {};
141
using ByPeerView = std::tuple<NodeId, bool, const uint256&>;
142
struct ByPeerViewExtractor
143
{
144
    using result_type = ByPeerView;
145
    result_type operator()(const Announcement& ann) const
146
0
    {
147
0
        return ByPeerView{ann.m_peer, ann.GetState() == State::CANDIDATE_BEST, ann.m_gtxid.ToUint256()};
148
0
    }
149
};
150
151
// The ByTxHash index is sorted by (txhash, state, priority).
152
//
153
// Note: priority == 0 whenever state != CANDIDATE_READY.
154
//
155
// Uses:
156
// * Deleting all announcements with a given txhash in ForgetTxHash.
157
// * Finding the best CANDIDATE_READY to convert to CANDIDATE_BEST, when no other CANDIDATE_READY or REQUESTED
158
//   announcement exists for that txhash.
159
// * Determining when no more non-COMPLETED announcements for a given txhash exist, so the COMPLETED ones can be
160
//   deleted.
161
struct ByTxHash {};
162
using ByTxHashView = std::tuple<const uint256&, State, Priority>;
163
class ByTxHashViewExtractor {
164
    const PriorityComputer& m_computer;
165
public:
166
0
    explicit ByTxHashViewExtractor(const PriorityComputer& computer) : m_computer(computer) {}
167
    using result_type = ByTxHashView;
168
    result_type operator()(const Announcement& ann) const
169
0
    {
170
0
        const Priority prio = (ann.GetState() == State::CANDIDATE_READY) ? m_computer(ann) : 0;
  Branch (170:31): [True: 0, False: 0]
171
0
        return ByTxHashView{ann.m_gtxid.ToUint256(), ann.GetState(), prio};
172
0
    }
173
};
174
175
enum class WaitState {
176
    //! Used for announcements that need efficient testing of "is their timestamp in the future?".
177
    FUTURE_EVENT,
178
    //! Used for announcements whose timestamp is not relevant.
179
    NO_EVENT,
180
    //! Used for announcements that need efficient testing of "is their timestamp in the past?".
181
    PAST_EVENT,
182
};
183
184
WaitState GetWaitState(const Announcement& ann)
185
0
{
186
0
    if (ann.IsWaiting()) return WaitState::FUTURE_EVENT;
  Branch (186:9): [True: 0, False: 0]
187
0
    if (ann.IsSelectable()) return WaitState::PAST_EVENT;
  Branch (187:9): [True: 0, False: 0]
188
0
    return WaitState::NO_EVENT;
189
0
}
190
191
// The ByTime index is sorted by (wait_state, time).
192
//
193
// All announcements with a timestamp in the future can be found by iterating the index forward from the beginning.
194
// All announcements with a timestamp in the past can be found by iterating the index backwards from the end.
195
//
196
// Uses:
197
// * Finding CANDIDATE_DELAYED announcements whose reqtime has passed, and REQUESTED announcements whose expiry has
198
//   passed.
199
// * Finding CANDIDATE_READY/BEST announcements whose reqtime is in the future (when the clock time went backwards).
200
struct ByTime {};
201
using ByTimeView = std::pair<WaitState, std::chrono::microseconds>;
202
struct ByTimeViewExtractor
203
{
204
    using result_type = ByTimeView;
205
    result_type operator()(const Announcement& ann) const
206
0
    {
207
0
        return ByTimeView{GetWaitState(ann), ann.m_time};
208
0
    }
209
};
210
211
212
/** Data type for the main data structure (Announcement objects with ByPeer/ByTxHash/ByTime indexes). */
213
using Index = boost::multi_index_container<
214
    Announcement,
215
    boost::multi_index::indexed_by<
216
        boost::multi_index::ordered_unique<boost::multi_index::tag<ByPeer>, ByPeerViewExtractor>,
217
        boost::multi_index::ordered_non_unique<boost::multi_index::tag<ByTxHash>, ByTxHashViewExtractor>,
218
        boost::multi_index::ordered_non_unique<boost::multi_index::tag<ByTime>, ByTimeViewExtractor>
219
    >
220
>;
221
222
/** Helper type to simplify syntax of iterator types. */
223
template<typename Tag>
224
using Iter = typename Index::index<Tag>::type::iterator;
225
226
/** Per-peer statistics object. */
227
struct PeerInfo {
228
    size_t m_total = 0; //!< Total number of announcements for this peer.
229
    size_t m_completed = 0; //!< Number of COMPLETED announcements for this peer.
230
    size_t m_requested = 0; //!< Number of REQUESTED announcements for this peer.
231
};
232
233
/** Per-txhash statistics object. Only used for sanity checking. */
234
struct TxHashInfo
235
{
236
    //! Number of CANDIDATE_DELAYED announcements for this txhash.
237
    size_t m_candidate_delayed = 0;
238
    //! Number of CANDIDATE_READY announcements for this txhash.
239
    size_t m_candidate_ready = 0;
240
    //! Number of CANDIDATE_BEST announcements for this txhash (at most one).
241
    size_t m_candidate_best = 0;
242
    //! Number of REQUESTED announcements for this txhash (at most one; mutually exclusive with CANDIDATE_BEST).
243
    size_t m_requested = 0;
244
    //! The priority of the CANDIDATE_BEST announcement if one exists, or max() otherwise.
245
    Priority m_priority_candidate_best = std::numeric_limits<Priority>::max();
246
    //! The highest priority of all CANDIDATE_READY announcements (or min() if none exist).
247
    Priority m_priority_best_candidate_ready = std::numeric_limits<Priority>::min();
248
    //! All peers we have an announcement for this txhash for.
249
    std::vector<NodeId> m_peers;
250
};
251
252
/** Compare two PeerInfo objects. Only used for sanity checking. */
253
bool operator==(const PeerInfo& a, const PeerInfo& b)
254
0
{
255
0
    return std::tie(a.m_total, a.m_completed, a.m_requested) ==
256
0
           std::tie(b.m_total, b.m_completed, b.m_requested);
257
0
};
258
259
/** (Re)compute the PeerInfo map from the index. Only used for sanity checking. */
260
std::unordered_map<NodeId, PeerInfo> RecomputePeerInfo(const Index& index)
261
0
{
262
0
    std::unordered_map<NodeId, PeerInfo> ret;
263
0
    for (const Announcement& ann : index) {
  Branch (263:34): [True: 0, False: 0]
264
0
        PeerInfo& info = ret[ann.m_peer];
265
0
        ++info.m_total;
266
0
        info.m_requested += (ann.GetState() == State::REQUESTED);
267
0
        info.m_completed += (ann.GetState() == State::COMPLETED);
268
0
    }
269
0
    return ret;
270
0
}
271
272
/** Compute the TxHashInfo map. Only used for sanity checking. */
273
std::map<uint256, TxHashInfo> ComputeTxHashInfo(const Index& index, const PriorityComputer& computer)
274
0
{
275
0
    std::map<uint256, TxHashInfo> ret;
276
0
    for (const Announcement& ann : index) {
  Branch (276:34): [True: 0, False: 0]
277
0
        TxHashInfo& info = ret[ann.m_gtxid.ToUint256()];
278
        // Classify how many announcements of each state we have for this txhash.
279
0
        info.m_candidate_delayed += (ann.GetState() == State::CANDIDATE_DELAYED);
280
0
        info.m_candidate_ready += (ann.GetState() == State::CANDIDATE_READY);
281
0
        info.m_candidate_best += (ann.GetState() == State::CANDIDATE_BEST);
282
0
        info.m_requested += (ann.GetState() == State::REQUESTED);
283
        // And track the priority of the best CANDIDATE_READY/CANDIDATE_BEST announcements.
284
0
        if (ann.GetState() == State::CANDIDATE_BEST) {
  Branch (284:13): [True: 0, False: 0]
285
0
            info.m_priority_candidate_best = computer(ann);
286
0
        }
287
0
        if (ann.GetState() == State::CANDIDATE_READY) {
  Branch (287:13): [True: 0, False: 0]
288
0
            info.m_priority_best_candidate_ready = std::max(info.m_priority_best_candidate_ready, computer(ann));
289
0
        }
290
        // Also keep track of which peers this txhash has an announcement for (so we can detect duplicates).
291
0
        info.m_peers.push_back(ann.m_peer);
292
0
    }
293
0
    return ret;
294
0
}
295
296
}  // namespace
297
298
/** Actual implementation for TxRequestTracker's data structure. */
299
class TxRequestTracker::Impl {
300
    //! The current sequence number. Increases for every announcement. This is used to sort txhashes returned by
301
    //! GetRequestable in announcement order.
302
    SequenceNumber m_current_sequence{0};
303
304
    //! This tracker's priority computer.
305
    const PriorityComputer m_computer;
306
307
    //! This tracker's main data structure. See SanityCheck() for the invariants that apply to it.
308
    Index m_index;
309
310
    //! Map with this tracker's per-peer statistics.
311
    std::unordered_map<NodeId, PeerInfo> m_peerinfo;
312
313
public:
314
    void SanityCheck() const
315
0
    {
316
        // Recompute m_peerdata from m_index. This verifies the data in it as it should just be caching statistics
317
        // on m_index. It also verifies the invariant that no PeerInfo announcements with m_total==0 exist.
318
0
        assert(m_peerinfo == RecomputePeerInfo(m_index));
  Branch (318:9): [True: 0, False: 0]
319
320
        // Calculate per-txhash statistics from m_index, and validate invariants.
321
0
        for (auto& item : ComputeTxHashInfo(m_index, m_computer)) {
  Branch (321:25): [True: 0, False: 0]
322
0
            TxHashInfo& info = item.second;
323
324
            // Cannot have only COMPLETED peer (txhash should have been forgotten already)
325
0
            assert(info.m_candidate_delayed + info.m_candidate_ready + info.m_candidate_best + info.m_requested > 0);
  Branch (325:13): [True: 0, False: 0]
326
327
            // Can have at most 1 CANDIDATE_BEST/REQUESTED peer
328
0
            assert(info.m_candidate_best + info.m_requested <= 1);
  Branch (328:13): [True: 0, False: 0]
329
330
            // If there are any CANDIDATE_READY announcements, there must be exactly one CANDIDATE_BEST or REQUESTED
331
            // announcement.
332
0
            if (info.m_candidate_ready > 0) {
  Branch (332:17): [True: 0, False: 0]
333
0
                assert(info.m_candidate_best + info.m_requested == 1);
  Branch (333:17): [True: 0, False: 0]
334
0
            }
335
336
            // If there is both a CANDIDATE_READY and a CANDIDATE_BEST announcement, the CANDIDATE_BEST one must be
337
            // at least as good (equal or higher priority) as the best CANDIDATE_READY.
338
0
            if (info.m_candidate_ready && info.m_candidate_best) {
  Branch (338:17): [True: 0, False: 0]
  Branch (338:43): [True: 0, False: 0]
339
0
                assert(info.m_priority_candidate_best >= info.m_priority_best_candidate_ready);
  Branch (339:17): [True: 0, False: 0]
340
0
            }
341
342
            // No txhash can have been announced by the same peer twice.
343
0
            std::sort(info.m_peers.begin(), info.m_peers.end());
344
0
            assert(std::adjacent_find(info.m_peers.begin(), info.m_peers.end()) == info.m_peers.end());
  Branch (344:13): [True: 0, False: 0]
345
0
        }
346
0
    }
347
348
    void PostGetRequestableSanityCheck(std::chrono::microseconds now) const
349
0
    {
350
0
        for (const Announcement& ann : m_index) {
  Branch (350:38): [True: 0, False: 0]
351
0
            if (ann.IsWaiting()) {
  Branch (351:17): [True: 0, False: 0]
352
                // REQUESTED and CANDIDATE_DELAYED must have a time in the future (they should have been converted
353
                // to COMPLETED/CANDIDATE_READY respectively).
354
0
                assert(ann.m_time > now);
  Branch (354:17): [True: 0, False: 0]
355
0
            } else if (ann.IsSelectable()) {
  Branch (355:24): [True: 0, False: 0]
356
                // CANDIDATE_READY and CANDIDATE_BEST cannot have a time in the future (they should have remained
357
                // CANDIDATE_DELAYED, or should have been converted back to it if time went backwards).
358
0
                assert(ann.m_time <= now);
  Branch (358:17): [True: 0, False: 0]
359
0
            }
360
0
        }
361
0
    }
362
363
private:
364
    //! Wrapper around Index::...::erase that keeps m_peerinfo up to date.
365
    template<typename Tag>
366
    Iter<Tag> Erase(Iter<Tag> it)
367
0
    {
368
0
        auto peerit = m_peerinfo.find(it->m_peer);
369
0
        peerit->second.m_completed -= it->GetState() == State::COMPLETED;
370
0
        peerit->second.m_requested -= it->GetState() == State::REQUESTED;
371
0
        if (--peerit->second.m_total == 0) m_peerinfo.erase(peerit);
  Branch (371:13): [True: 0, False: 0]
  Branch (371:13): [True: 0, False: 0]
372
0
        return m_index.get<Tag>().erase(it);
373
0
    }
Unexecuted instantiation: txrequest.cpp:_ZN16TxRequestTracker4Impl5EraseIN12_GLOBAL__N_18ByTxHashEEEN5boost11multi_index21multi_index_containerINS2_12AnnouncementENS5_10indexed_byINS5_14ordered_uniqueINS5_3tagINS2_6ByPeerEN4mpl_2naESD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_EENS2_19ByPeerViewExtractorESD_EENS5_18ordered_non_uniqueINSA_IS3_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_EENS2_21ByTxHashViewExtractorESD_EENSH_INSA_INS2_6ByTimeESD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_EENS2_19ByTimeViewExtractorESD_EESD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_SD_EESaIS7_EE5indexIT_E4type8iteratorESW_
Unexecuted instantiation: txrequest.cpp:_ZN16TxRequestTracker4Impl5EraseIN12_GLOBAL__N_16ByPeerEEEN5boost11multi_index21multi_index_containerINS2_12AnnouncementENS5_10indexed_byINS5_14ordered_uniqueINS5_3tagIS3_N4mpl_2naESC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_EENS2_19ByPeerViewExtractorESC_EENS5_18ordered_non_uniqueINSA_INS2_8ByTxHashESC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_EENS2_21ByTxHashViewExtractorESC_EENSG_INSA_INS2_6ByTimeESC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_EENS2_19ByTimeViewExtractorESC_EESC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_SC_EESaIS7_EE5indexIT_E4type8iteratorESW_
374
375
    //! Wrapper around Index::...::modify that keeps m_peerinfo up to date.
376
    template<typename Tag, typename Modifier>
377
    void Modify(Iter<Tag> it, Modifier modifier)
378
0
    {
379
0
        auto peerit = m_peerinfo.find(it->m_peer);
380
0
        peerit->second.m_completed -= it->GetState() == State::COMPLETED;
381
0
        peerit->second.m_requested -= it->GetState() == State::REQUESTED;
382
0
        m_index.get<Tag>().modify(it, std::move(modifier));
383
0
        peerit->second.m_completed += it->GetState() == State::COMPLETED;
384
0
        peerit->second.m_requested += it->GetState() == State::REQUESTED;
385
0
    }
Unexecuted instantiation: txrequest.cpp:_ZN16TxRequestTracker4Impl6ModifyIN12_GLOBAL__N_18ByTxHashEZNS0_17ChangeAndReselectEN5boost11multi_index6detail19bidir_node_iteratorINS6_18ordered_index_nodeINS6_19null_augment_policyENS8_IS9_NS6_15index_node_baseINS2_12AnnouncementESaISB_EEEEEEEEENS2_5StateEEUlRSB_E_EEvNS5_21multi_index_containerISB_NS5_10indexed_byINS5_14ordered_uniqueINS5_3tagINS2_6ByPeerEN4mpl_2naESQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_EENS2_19ByPeerViewExtractorESQ_EENS5_18ordered_non_uniqueINSN_IS3_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_EENS2_21ByTxHashViewExtractorESQ_EENSU_INSN_INS2_6ByTimeESQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_EENS2_19ByTimeViewExtractorESQ_EESQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_EESC_E5indexIT_E4type8iteratorET0_
Unexecuted instantiation: txrequest.cpp:_ZN16TxRequestTracker4Impl6ModifyIN12_GLOBAL__N_18ByTxHashEZNS0_17ChangeAndReselectEN5boost11multi_index6detail19bidir_node_iteratorINS6_18ordered_index_nodeINS6_19null_augment_policyENS8_IS9_NS6_15index_node_baseINS2_12AnnouncementESaISB_EEEEEEEEENS2_5StateEEUlRSB_E0_EEvNS5_21multi_index_containerISB_NS5_10indexed_byINS5_14ordered_uniqueINS5_3tagINS2_6ByPeerEN4mpl_2naESQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_EENS2_19ByPeerViewExtractorESQ_EENS5_18ordered_non_uniqueINSN_IS3_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_EENS2_21ByTxHashViewExtractorESQ_EENSU_INSN_INS2_6ByTimeESQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_EENS2_19ByTimeViewExtractorESQ_EESQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_SQ_EESC_E5indexIT_E4type8iteratorET0_
Unexecuted instantiation: txrequest.cpp:_ZN16TxRequestTracker4Impl6ModifyIN12_GLOBAL__N_18ByTxHashEZNS0_11RequestedTxElRK7uint256NSt6chrono8durationIlSt5ratioILl1ELl1000000EEEEEUlRNS2_12AnnouncementEE_EEvN5boost11multi_index21multi_index_containerISC_NSG_10indexed_byINSG_14ordered_uniqueINSG_3tagINS2_6ByPeerEN4mpl_2naESN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_EENS2_19ByPeerViewExtractorESN_EENSG_18ordered_non_uniqueINSK_IS3_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_EENS2_21ByTxHashViewExtractorESN_EENSR_INSK_INS2_6ByTimeESN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_EENS2_19ByTimeViewExtractorESN_EESN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_EESaISC_EE5indexIT_E4type8iteratorET0_
Unexecuted instantiation: txrequest.cpp:_ZN16TxRequestTracker4Impl6ModifyIN12_GLOBAL__N_18ByTxHashEZNS0_11RequestedTxElRK7uint256NSt6chrono8durationIlSt5ratioILl1ELl1000000EEEEEUlRNS2_12AnnouncementEE0_EEvN5boost11multi_index21multi_index_containerISC_NSG_10indexed_byINSG_14ordered_uniqueINSG_3tagINS2_6ByPeerEN4mpl_2naESN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_EENS2_19ByPeerViewExtractorESN_EENSG_18ordered_non_uniqueINSK_IS3_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_EENS2_21ByTxHashViewExtractorESN_EENSR_INSK_INS2_6ByTimeESN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_EENS2_19ByTimeViewExtractorESN_EESN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_SN_EESaISC_EE5indexIT_E4type8iteratorET0_
Unexecuted instantiation: txrequest.cpp:_ZN16TxRequestTracker4Impl6ModifyIN12_GLOBAL__N_16ByPeerEZNS0_11RequestedTxElRK7uint256NSt6chrono8durationIlSt5ratioILl1ELl1000000EEEEEUlRNS2_12AnnouncementEE1_EEvN5boost11multi_index21multi_index_containerISC_NSG_10indexed_byINSG_14ordered_uniqueINSG_3tagIS3_N4mpl_2naESM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_EENS2_19ByPeerViewExtractorESM_EENSG_18ordered_non_uniqueINSK_INS2_8ByTxHashESM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_EENS2_21ByTxHashViewExtractorESM_EENSQ_INSK_INS2_6ByTimeESM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_EENS2_19ByTimeViewExtractorESM_EESM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_SM_EESaISC_EE5indexIT_E4type8iteratorET0_
Unexecuted instantiation: txrequest.cpp:_ZN16TxRequestTracker4Impl6ModifyIN12_GLOBAL__N_18ByTxHashEZNS0_21PromoteCandidateReadyEN5boost11multi_index6detail19bidir_node_iteratorINS6_18ordered_index_nodeINS6_19null_augment_policyENS8_IS9_NS6_15index_node_baseINS2_12AnnouncementESaISB_EEEEEEEEEEUlRSB_E_EEvNS5_21multi_index_containerISB_NS5_10indexed_byINS5_14ordered_uniqueINS5_3tagINS2_6ByPeerEN4mpl_2naESP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_EENS2_19ByPeerViewExtractorESP_EENS5_18ordered_non_uniqueINSM_IS3_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_EENS2_21ByTxHashViewExtractorESP_EENST_INSM_INS2_6ByTimeESP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_EENS2_19ByTimeViewExtractorESP_EESP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_EESC_E5indexIT_E4type8iteratorET0_
Unexecuted instantiation: txrequest.cpp:_ZN16TxRequestTracker4Impl6ModifyIN12_GLOBAL__N_18ByTxHashEZNS0_21PromoteCandidateReadyEN5boost11multi_index6detail19bidir_node_iteratorINS6_18ordered_index_nodeINS6_19null_augment_policyENS8_IS9_NS6_15index_node_baseINS2_12AnnouncementESaISB_EEEEEEEEEEUlRSB_E0_EEvNS5_21multi_index_containerISB_NS5_10indexed_byINS5_14ordered_uniqueINS5_3tagINS2_6ByPeerEN4mpl_2naESP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_EENS2_19ByPeerViewExtractorESP_EENS5_18ordered_non_uniqueINSM_IS3_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_EENS2_21ByTxHashViewExtractorESP_EENST_INSM_INS2_6ByTimeESP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_EENS2_19ByTimeViewExtractorESP_EESP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_EESC_E5indexIT_E4type8iteratorET0_
Unexecuted instantiation: txrequest.cpp:_ZN16TxRequestTracker4Impl6ModifyIN12_GLOBAL__N_18ByTxHashEZNS0_21PromoteCandidateReadyEN5boost11multi_index6detail19bidir_node_iteratorINS6_18ordered_index_nodeINS6_19null_augment_policyENS8_IS9_NS6_15index_node_baseINS2_12AnnouncementESaISB_EEEEEEEEEEUlRSB_E1_EEvNS5_21multi_index_containerISB_NS5_10indexed_byINS5_14ordered_uniqueINS5_3tagINS2_6ByPeerEN4mpl_2naESP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_EENS2_19ByPeerViewExtractorESP_EENS5_18ordered_non_uniqueINSM_IS3_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_EENS2_21ByTxHashViewExtractorESP_EENST_INSM_INS2_6ByTimeESP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_EENS2_19ByTimeViewExtractorESP_EESP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_EESC_E5indexIT_E4type8iteratorET0_
Unexecuted instantiation: txrequest.cpp:_ZN16TxRequestTracker4Impl6ModifyIN12_GLOBAL__N_18ByTxHashEZNS0_21PromoteCandidateReadyEN5boost11multi_index6detail19bidir_node_iteratorINS6_18ordered_index_nodeINS6_19null_augment_policyENS8_IS9_NS6_15index_node_baseINS2_12AnnouncementESaISB_EEEEEEEEEEUlRSB_E2_EEvNS5_21multi_index_containerISB_NS5_10indexed_byINS5_14ordered_uniqueINS5_3tagINS2_6ByPeerEN4mpl_2naESP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_EENS2_19ByPeerViewExtractorESP_EENS5_18ordered_non_uniqueINSM_IS3_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_EENS2_21ByTxHashViewExtractorESP_EENST_INSM_INS2_6ByTimeESP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_EENS2_19ByTimeViewExtractorESP_EESP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_SP_EESC_E5indexIT_E4type8iteratorET0_
386
387
    //! Convert a CANDIDATE_DELAYED announcement into a CANDIDATE_READY. If this makes it the new best
388
    //! CANDIDATE_READY (and no REQUESTED exists) and better than the CANDIDATE_BEST (if any), it becomes the new
389
    //! CANDIDATE_BEST.
390
    void PromoteCandidateReady(Iter<ByTxHash> it)
391
0
    {
392
0
        assert(it != m_index.get<ByTxHash>().end());
  Branch (392:9): [True: 0, False: 0]
393
0
        assert(it->GetState() == State::CANDIDATE_DELAYED);
  Branch (393:9): [True: 0, False: 0]
394
        // Convert CANDIDATE_DELAYED to CANDIDATE_READY first.
395
0
        Modify<ByTxHash>(it, [](Announcement& ann){ ann.SetState(State::CANDIDATE_READY); });
396
        // The following code relies on the fact that the ByTxHash is sorted by txhash, and then by state (first
397
        // _DELAYED, then _READY, then _BEST/REQUESTED). Within the _READY announcements, the best one (highest
398
        // priority) comes last. Thus, if an existing _BEST exists for the same txhash that this announcement may
399
        // be preferred over, it must immediately follow the newly created _READY.
400
0
        auto it_next = std::next(it);
401
0
        if (it_next == m_index.get<ByTxHash>().end() || it_next->m_gtxid.ToUint256() != it->m_gtxid.ToUint256() ||
  Branch (401:13): [True: 0, False: 0]
  Branch (401:13): [True: 0, False: 0]
  Branch (401:57): [True: 0, False: 0]
402
0
            it_next->GetState() == State::COMPLETED) {
  Branch (402:13): [True: 0, False: 0]
403
            // This is the new best CANDIDATE_READY, and there is no IsSelected() announcement for this txhash
404
            // already.
405
0
            Modify<ByTxHash>(it, [](Announcement& ann){ ann.SetState(State::CANDIDATE_BEST); });
406
0
        } else if (it_next->GetState() == State::CANDIDATE_BEST) {
  Branch (406:20): [True: 0, False: 0]
407
0
            Priority priority_old = m_computer(*it_next);
408
0
            Priority priority_new = m_computer(*it);
409
0
            if (priority_new > priority_old) {
  Branch (409:17): [True: 0, False: 0]
410
                // There is a CANDIDATE_BEST announcement already, but this one is better.
411
0
                Modify<ByTxHash>(it_next, [](Announcement& ann){ ann.SetState(State::CANDIDATE_READY); });
412
0
                Modify<ByTxHash>(it, [](Announcement& ann){ ann.SetState(State::CANDIDATE_BEST); });
413
0
            }
414
0
        }
415
0
    }
416
417
    //! Change the state of an announcement to something non-IsSelected(). If it was IsSelected(), the next best
418
    //! announcement will be marked CANDIDATE_BEST.
419
    void ChangeAndReselect(Iter<ByTxHash> it, State new_state)
420
0
    {
421
0
        assert(new_state == State::COMPLETED || new_state == State::CANDIDATE_DELAYED);
  Branch (421:9): [True: 0, False: 0]
  Branch (421:9): [True: 0, False: 0]
  Branch (421:9): [True: 0, False: 0]
422
0
        assert(it != m_index.get<ByTxHash>().end());
  Branch (422:9): [True: 0, False: 0]
423
0
        if (it->IsSelected() && it != m_index.get<ByTxHash>().begin()) {
  Branch (423:13): [True: 0, False: 0]
  Branch (423:13): [True: 0, False: 0]
  Branch (423:33): [True: 0, False: 0]
424
0
            auto it_prev = std::prev(it);
425
            // The next best CANDIDATE_READY, if any, immediately precedes the REQUESTED or CANDIDATE_BEST
426
            // announcement in the ByTxHash index.
427
0
            if (it_prev->m_gtxid.ToUint256() == it->m_gtxid.ToUint256() && it_prev->GetState() == State::CANDIDATE_READY) {
  Branch (427:17): [True: 0, False: 0]
  Branch (427:76): [True: 0, False: 0]
428
                // If one such CANDIDATE_READY exists (for this txhash), convert it to CANDIDATE_BEST.
429
0
                Modify<ByTxHash>(it_prev, [](Announcement& ann){ ann.SetState(State::CANDIDATE_BEST); });
430
0
            }
431
0
        }
432
0
        Modify<ByTxHash>(it, [new_state](Announcement& ann){ ann.SetState(new_state); });
433
0
    }
434
435
    //! Check if 'it' is the only announcement for a given txhash that isn't COMPLETED.
436
    bool IsOnlyNonCompleted(Iter<ByTxHash> it)
437
0
    {
438
0
        assert(it != m_index.get<ByTxHash>().end());
  Branch (438:9): [True: 0, False: 0]
439
0
        assert(it->GetState() != State::COMPLETED); // Not allowed to call this on COMPLETED announcements.
  Branch (439:9): [True: 0, False: 0]
440
441
        // This announcement has a predecessor that belongs to the same txhash. Due to ordering, and the
442
        // fact that 'it' is not COMPLETED, its predecessor cannot be COMPLETED here.
443
0
        if (it != m_index.get<ByTxHash>().begin() && std::prev(it)->m_gtxid.ToUint256() == it->m_gtxid.ToUint256()) return false;
  Branch (443:13): [True: 0, False: 0]
  Branch (443:13): [True: 0, False: 0]
  Branch (443:54): [True: 0, False: 0]
444
445
        // This announcement has a successor that belongs to the same txhash, and is not COMPLETED.
446
0
        if (std::next(it) != m_index.get<ByTxHash>().end() && std::next(it)->m_gtxid.ToUint256() == it->m_gtxid.ToUint256() &&
  Branch (446:13): [True: 0, False: 0]
  Branch (446:13): [True: 0, False: 0]
  Branch (446:63): [True: 0, False: 0]
447
0
            std::next(it)->GetState() != State::COMPLETED) return false;
  Branch (447:13): [True: 0, False: 0]
448
449
0
        return true;
450
0
    }
451
452
    /** Convert any announcement to a COMPLETED one. If there are no non-COMPLETED announcements left for this
453
     *  txhash, they are deleted. If this was a REQUESTED announcement, and there are other CANDIDATEs left, the
454
     *  best one is made CANDIDATE_BEST. Returns whether the announcement still exists. */
455
    bool MakeCompleted(Iter<ByTxHash> it)
456
0
    {
457
0
        assert(it != m_index.get<ByTxHash>().end());
  Branch (457:9): [True: 0, False: 0]
458
459
        // Nothing to be done if it's already COMPLETED.
460
0
        if (it->GetState() == State::COMPLETED) return true;
  Branch (460:13): [True: 0, False: 0]
461
462
0
        if (IsOnlyNonCompleted(it)) {
  Branch (462:13): [True: 0, False: 0]
463
            // This is the last non-COMPLETED announcement for this txhash. Delete all.
464
0
            uint256 txhash = it->m_gtxid.ToUint256();
465
0
            do {
466
0
                it = Erase<ByTxHash>(it);
467
0
            } while (it != m_index.get<ByTxHash>().end() && it->m_gtxid.ToUint256() == txhash);
  Branch (467:22): [True: 0, False: 0]
  Branch (467:22): [True: 0, False: 0]
  Branch (467:61): [True: 0, False: 0]
468
0
            return false;
469
0
        }
470
471
        // Mark the announcement COMPLETED, and select the next best announcement (the first CANDIDATE_READY) if
472
        // needed.
473
0
        ChangeAndReselect(it, State::COMPLETED);
474
475
0
        return true;
476
0
    }
477
478
    //! Make the data structure consistent with a given point in time:
479
    //! - REQUESTED announcements with expiry <= now are turned into COMPLETED.
480
    //! - CANDIDATE_DELAYED announcements with reqtime <= now are turned into CANDIDATE_{READY,BEST}.
481
    //! - CANDIDATE_{READY,BEST} announcements with reqtime > now are turned into CANDIDATE_DELAYED.
482
    void SetTimePoint(std::chrono::microseconds now, std::vector<std::pair<NodeId, GenTxid>>* expired)
483
0
    {
484
0
        if (expired) expired->clear();
  Branch (484:13): [True: 0, False: 0]
485
486
        // Iterate over all CANDIDATE_DELAYED and REQUESTED from old to new, as long as they're in the past,
487
        // and convert them to CANDIDATE_READY and COMPLETED respectively.
488
0
        while (!m_index.empty()) {
  Branch (488:16): [True: 0, False: 0]
489
0
            auto it = m_index.get<ByTime>().begin();
490
0
            if (it->GetState() == State::CANDIDATE_DELAYED && it->m_time <= now) {
  Branch (490:17): [True: 0, False: 0]
  Branch (490:63): [True: 0, False: 0]
491
0
                PromoteCandidateReady(m_index.project<ByTxHash>(it));
492
0
            } else if (it->GetState() == State::REQUESTED && it->m_time <= now) {
  Branch (492:24): [True: 0, False: 0]
  Branch (492:62): [True: 0, False: 0]
493
0
                if (expired) expired->emplace_back(it->m_peer, it->m_gtxid);
  Branch (493:21): [True: 0, False: 0]
494
0
                MakeCompleted(m_index.project<ByTxHash>(it));
495
0
            } else {
496
0
                break;
497
0
            }
498
0
        }
499
500
0
        while (!m_index.empty()) {
  Branch (500:16): [True: 0, False: 0]
501
            // If time went backwards, we may need to demote CANDIDATE_BEST and CANDIDATE_READY announcements back
502
            // to CANDIDATE_DELAYED. This is an unusual edge case, and unlikely to matter in production. However,
503
            // it makes it much easier to specify and test TxRequestTracker::Impl's behaviour.
504
0
            auto it = std::prev(m_index.get<ByTime>().end());
505
0
            if (it->IsSelectable() && it->m_time > now) {
  Branch (505:17): [True: 0, False: 0]
  Branch (505:39): [True: 0, False: 0]
506
0
                ChangeAndReselect(m_index.project<ByTxHash>(it), State::CANDIDATE_DELAYED);
507
0
            } else {
508
0
                break;
509
0
            }
510
0
        }
511
0
    }
512
513
public:
514
    explicit Impl(bool deterministic) :
515
0
        m_computer(deterministic),
516
        // Explicitly initialize m_index as we need to pass a reference to m_computer to ByTxHashViewExtractor.
517
0
        m_index(boost::make_tuple(
518
0
            boost::make_tuple(ByPeerViewExtractor(), std::less<ByPeerView>()),
519
0
            boost::make_tuple(ByTxHashViewExtractor(m_computer), std::less<ByTxHashView>()),
520
0
            boost::make_tuple(ByTimeViewExtractor(), std::less<ByTimeView>())
521
0
        )) {}
522
523
    // Disable copying and assigning (a default copy won't work due the stateful ByTxHashViewExtractor).
524
    Impl(const Impl&) = delete;
525
    Impl& operator=(const Impl&) = delete;
526
527
    void DisconnectedPeer(NodeId peer)
528
0
    {
529
0
        auto& index = m_index.get<ByPeer>();
530
0
        auto it = index.lower_bound(ByPeerView{peer, false, uint256::ZERO});
531
0
        while (it != index.end() && it->m_peer == peer) {
  Branch (531:16): [True: 0, False: 0]
  Branch (531:16): [True: 0, False: 0]
  Branch (531:37): [True: 0, False: 0]
532
            // Check what to continue with after this iteration. 'it' will be deleted in what follows, so we need to
533
            // decide what to continue with afterwards. There are a number of cases to consider:
534
            // - std::next(it) is end() or belongs to a different peer. In that case, this is the last iteration
535
            //   of the loop (denote this by setting it_next to end()).
536
            // - 'it' is not the only non-COMPLETED announcement for its txhash. This means it will be deleted, but
537
            //   no other Announcement objects will be modified. Continue with std::next(it) if it belongs to the
538
            //   same peer, but decide this ahead of time (as 'it' may change position in what follows).
539
            // - 'it' is the only non-COMPLETED announcement for its txhash. This means it will be deleted along
540
            //   with all other announcements for the same txhash - which may include std::next(it). However, other
541
            //   than 'it', no announcements for the same peer can be affected (due to (peer, txhash) uniqueness).
542
            //   In other words, the situation where std::next(it) is deleted can only occur if std::next(it)
543
            //   belongs to a different peer but the same txhash as 'it'. This is covered by the first bulletpoint
544
            //   already, and we'll have set it_next to end().
545
0
            auto it_next = (std::next(it) == index.end() || std::next(it)->m_peer != peer) ? index.end() :
  Branch (545:29): [True: 0, False: 0]
  Branch (545:61): [True: 0, False: 0]
546
0
                std::next(it);
547
            // If the announcement isn't already COMPLETED, first make it COMPLETED (which will mark other
548
            // CANDIDATEs as CANDIDATE_BEST, or delete all of a txhash's announcements if no non-COMPLETED ones are
549
            // left).
550
0
            if (MakeCompleted(m_index.project<ByTxHash>(it))) {
  Branch (550:17): [True: 0, False: 0]
551
                // Then actually delete the announcement (unless it was already deleted by MakeCompleted).
552
0
                Erase<ByPeer>(it);
553
0
            }
554
0
            it = it_next;
555
0
        }
556
0
    }
557
558
    void ForgetTxHash(const uint256& txhash)
559
0
    {
560
0
        auto it = m_index.get<ByTxHash>().lower_bound(ByTxHashView{txhash, State::CANDIDATE_DELAYED, 0});
561
0
        while (it != m_index.get<ByTxHash>().end() && it->m_gtxid.ToUint256() == txhash) {
  Branch (561:16): [True: 0, False: 0]
  Branch (561:16): [True: 0, False: 0]
  Branch (561:55): [True: 0, False: 0]
562
0
            it = Erase<ByTxHash>(it);
563
0
        }
564
0
    }
565
566
    void GetCandidatePeers(const uint256& txhash, std::vector<NodeId>& result_peers) const
567
0
    {
568
0
        auto it = m_index.get<ByTxHash>().lower_bound(ByTxHashView{txhash, State::CANDIDATE_DELAYED, 0});
569
0
        while (it != m_index.get<ByTxHash>().end() && it->m_gtxid.ToUint256() == txhash && it->GetState() != State::COMPLETED) {
  Branch (569:16): [True: 0, False: 0]
  Branch (569:16): [True: 0, False: 0]
  Branch (569:55): [True: 0, False: 0]
  Branch (569:92): [True: 0, False: 0]
570
0
            result_peers.push_back(it->m_peer);
571
0
            ++it;
572
0
        }
573
0
    }
574
575
    void ReceivedInv(NodeId peer, const GenTxid& gtxid, bool preferred,
576
                     std::chrono::microseconds reqtime)
577
0
    {
578
        // Bail out if we already have a CANDIDATE_BEST announcement for this (txhash, peer) combination. The case
579
        // where there is a non-CANDIDATE_BEST announcement already will be caught by the uniqueness property of the
580
        // ByPeer index when we try to emplace the new object below.
581
0
        if (m_index.get<ByPeer>().count(ByPeerView{peer, true, gtxid.ToUint256()})) return;
  Branch (581:13): [True: 0, False: 0]
582
583
        // Try creating the announcement with CANDIDATE_DELAYED state (which will fail due to the uniqueness
584
        // of the ByPeer index if a non-CANDIDATE_BEST announcement already exists with the same txhash and peer).
585
        // Bail out in that case.
586
0
        auto ret = m_index.get<ByPeer>().emplace(gtxid, peer, preferred, reqtime, m_current_sequence);
587
0
        if (!ret.second) return;
  Branch (587:13): [True: 0, False: 0]
588
589
        // Update accounting metadata.
590
0
        ++m_peerinfo[peer].m_total;
591
0
        ++m_current_sequence;
592
0
    }
593
594
    //! Find the GenTxids to request now from peer.
595
    std::vector<GenTxid> GetRequestable(NodeId peer, std::chrono::microseconds now,
596
                                        std::vector<std::pair<NodeId, GenTxid>>* expired)
597
0
    {
598
        // Move time.
599
0
        SetTimePoint(now, expired);
600
601
        // Find all CANDIDATE_BEST announcements for this peer.
602
0
        std::vector<const Announcement*> selected;
603
0
        auto it_peer = m_index.get<ByPeer>().lower_bound(ByPeerView{peer, true, uint256::ZERO});
604
0
        while (it_peer != m_index.get<ByPeer>().end() && it_peer->m_peer == peer &&
  Branch (604:16): [True: 0, False: 0]
  Branch (604:16): [True: 0, False: 0]
  Branch (604:58): [True: 0, False: 0]
605
0
            it_peer->GetState() == State::CANDIDATE_BEST) {
  Branch (605:13): [True: 0, False: 0]
606
0
            selected.emplace_back(&*it_peer);
607
0
            ++it_peer;
608
0
        }
609
610
        // Sort by sequence number.
611
0
        std::sort(selected.begin(), selected.end(), [](const Announcement* a, const Announcement* b) {
612
0
            return a->m_sequence < b->m_sequence;
613
0
        });
614
615
        // Convert to GenTxid and return.
616
0
        std::vector<GenTxid> ret;
617
0
        ret.reserve(selected.size());
618
0
        std::transform(selected.begin(), selected.end(), std::back_inserter(ret), [](const Announcement* ann) {
619
0
            return ann->m_gtxid;
620
0
        });
621
0
        return ret;
622
0
    }
623
624
    void RequestedTx(NodeId peer, const uint256& txhash, std::chrono::microseconds expiry)
625
0
    {
626
0
        auto it = m_index.get<ByPeer>().find(ByPeerView{peer, true, txhash});
627
0
        if (it == m_index.get<ByPeer>().end()) {
  Branch (627:13): [True: 0, False: 0]
628
            // There is no CANDIDATE_BEST announcement, look for a _READY or _DELAYED instead. If the caller only
629
            // ever invokes RequestedTx with the values returned by GetRequestable, and no other non-const functions
630
            // other than ForgetTxHash and GetRequestable in between, this branch will never execute (as txhashes
631
            // returned by GetRequestable always correspond to CANDIDATE_BEST announcements).
632
633
0
            it = m_index.get<ByPeer>().find(ByPeerView{peer, false, txhash});
634
0
            if (it == m_index.get<ByPeer>().end() || (it->GetState() != State::CANDIDATE_DELAYED &&
  Branch (634:17): [True: 0, False: 0]
  Branch (634:17): [True: 0, False: 0]
  Branch (634:55): [True: 0, False: 0]
635
0
                                                      it->GetState() != State::CANDIDATE_READY)) {
  Branch (635:55): [True: 0, False: 0]
636
                // There is no CANDIDATE announcement tracked for this peer, so we have nothing to do. Either this
637
                // txhash wasn't tracked at all (and the caller should have called ReceivedInv), or it was already
638
                // requested and/or completed for other reasons and this is just a superfluous RequestedTx call.
639
0
                return;
640
0
            }
641
642
            // Look for an existing CANDIDATE_BEST or REQUESTED with the same txhash. We only need to do this if the
643
            // found announcement had a different state than CANDIDATE_BEST. If it did, invariants guarantee that no
644
            // other CANDIDATE_BEST or REQUESTED can exist.
645
0
            auto it_old = m_index.get<ByTxHash>().lower_bound(ByTxHashView{txhash, State::CANDIDATE_BEST, 0});
646
0
            if (it_old != m_index.get<ByTxHash>().end() && it_old->m_gtxid.ToUint256() == txhash) {
  Branch (646:17): [True: 0, False: 0]
  Branch (646:17): [True: 0, False: 0]
  Branch (646:60): [True: 0, False: 0]
647
0
                if (it_old->GetState() == State::CANDIDATE_BEST) {
  Branch (647:21): [True: 0, False: 0]
648
                    // The data structure's invariants require that there can be at most one CANDIDATE_BEST or one
649
                    // REQUESTED announcement per txhash (but not both simultaneously), so we have to convert any
650
                    // existing CANDIDATE_BEST to another CANDIDATE_* when constructing another REQUESTED.
651
                    // It doesn't matter whether we pick CANDIDATE_READY or _DELAYED here, as SetTimePoint()
652
                    // will correct it at GetRequestable() time. If time only goes forward, it will always be
653
                    // _READY, so pick that to avoid extra work in SetTimePoint().
654
0
                    Modify<ByTxHash>(it_old, [](Announcement& ann) { ann.SetState(State::CANDIDATE_READY); });
655
0
                } else if (it_old->GetState() == State::REQUESTED) {
  Branch (655:28): [True: 0, False: 0]
656
                    // As we're no longer waiting for a response to the previous REQUESTED announcement, convert it
657
                    // to COMPLETED. This also helps guaranteeing progress.
658
0
                    Modify<ByTxHash>(it_old, [](Announcement& ann) { ann.SetState(State::COMPLETED); });
659
0
                }
660
0
            }
661
0
        }
662
663
0
        Modify<ByPeer>(it, [expiry](Announcement& ann) {
664
0
            ann.SetState(State::REQUESTED);
665
0
            ann.m_time = expiry;
666
0
        });
667
0
    }
668
669
    void ReceivedResponse(NodeId peer, const uint256& txhash)
670
0
    {
671
        // We need to search the ByPeer index for both (peer, false, txhash) and (peer, true, txhash).
672
0
        auto it = m_index.get<ByPeer>().find(ByPeerView{peer, false, txhash});
673
0
        if (it == m_index.get<ByPeer>().end()) {
  Branch (673:13): [True: 0, False: 0]
674
0
            it = m_index.get<ByPeer>().find(ByPeerView{peer, true, txhash});
675
0
        }
676
0
        if (it != m_index.get<ByPeer>().end()) MakeCompleted(m_index.project<ByTxHash>(it));
  Branch (676:13): [True: 0, False: 0]
677
0
    }
678
679
    size_t CountInFlight(NodeId peer) const
680
0
    {
681
0
        auto it = m_peerinfo.find(peer);
682
0
        if (it != m_peerinfo.end()) return it->second.m_requested;
  Branch (682:13): [True: 0, False: 0]
683
0
        return 0;
684
0
    }
685
686
    size_t CountCandidates(NodeId peer) const
687
0
    {
688
0
        auto it = m_peerinfo.find(peer);
689
0
        if (it != m_peerinfo.end()) return it->second.m_total - it->second.m_requested - it->second.m_completed;
  Branch (689:13): [True: 0, False: 0]
690
0
        return 0;
691
0
    }
692
693
    size_t Count(NodeId peer) const
694
0
    {
695
0
        auto it = m_peerinfo.find(peer);
696
0
        if (it != m_peerinfo.end()) return it->second.m_total;
  Branch (696:13): [True: 0, False: 0]
697
0
        return 0;
698
0
    }
699
700
    //! Count how many announcements are being tracked in total across all peers and transactions.
701
0
    size_t Size() const { return m_index.size(); }
702
703
    uint64_t ComputePriority(const uint256& txhash, NodeId peer, bool preferred) const
704
0
    {
705
        // Return Priority as a uint64_t as Priority is internal.
706
0
        return uint64_t{m_computer(txhash, peer, preferred)};
707
0
    }
708
709
};
710
711
TxRequestTracker::TxRequestTracker(bool deterministic) :
712
0
    m_impl{std::make_unique<TxRequestTracker::Impl>(deterministic)} {}
713
714
0
TxRequestTracker::~TxRequestTracker() = default;
715
716
0
void TxRequestTracker::ForgetTxHash(const uint256& txhash) { m_impl->ForgetTxHash(txhash); }
717
0
void TxRequestTracker::DisconnectedPeer(NodeId peer) { m_impl->DisconnectedPeer(peer); }
718
0
size_t TxRequestTracker::CountInFlight(NodeId peer) const { return m_impl->CountInFlight(peer); }
719
0
size_t TxRequestTracker::CountCandidates(NodeId peer) const { return m_impl->CountCandidates(peer); }
720
0
size_t TxRequestTracker::Count(NodeId peer) const { return m_impl->Count(peer); }
721
0
size_t TxRequestTracker::Size() const { return m_impl->Size(); }
722
0
void TxRequestTracker::GetCandidatePeers(const uint256& txhash, std::vector<NodeId>& result_peers) const { return m_impl->GetCandidatePeers(txhash, result_peers); }
723
0
void TxRequestTracker::SanityCheck() const { m_impl->SanityCheck(); }
724
725
void TxRequestTracker::PostGetRequestableSanityCheck(std::chrono::microseconds now) const
726
0
{
727
0
    m_impl->PostGetRequestableSanityCheck(now);
728
0
}
729
730
void TxRequestTracker::ReceivedInv(NodeId peer, const GenTxid& gtxid, bool preferred,
731
                                   std::chrono::microseconds reqtime)
732
0
{
733
0
    m_impl->ReceivedInv(peer, gtxid, preferred, reqtime);
734
0
}
735
736
void TxRequestTracker::RequestedTx(NodeId peer, const uint256& txhash, std::chrono::microseconds expiry)
737
0
{
738
0
    m_impl->RequestedTx(peer, txhash, expiry);
739
0
}
740
741
void TxRequestTracker::ReceivedResponse(NodeId peer, const uint256& txhash)
742
0
{
743
0
    m_impl->ReceivedResponse(peer, txhash);
744
0
}
745
746
std::vector<GenTxid> TxRequestTracker::GetRequestable(NodeId peer, std::chrono::microseconds now,
747
                                                      std::vector<std::pair<NodeId, GenTxid>>* expired)
748
0
{
749
0
    return m_impl->GetRequestable(peer, now, expired);
750
0
}
751
752
uint64_t TxRequestTracker::ComputePriority(const uint256& txhash, NodeId peer, bool preferred) const
753
0
{
754
0
    return m_impl->ComputePriority(txhash, peer, preferred);
755
0
}