Bitcoin Core 28.99.0
P2P Digital Currency
txorphanage.cpp
Go to the documentation of this file.
1// Copyright (c) 2021-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 <txorphanage.h>
6
8#include <logging.h>
9#include <policy/policy.h>
11#include <util/time.h>
12
13#include <cassert>
14
16{
17 const Txid& hash = tx->GetHash();
18 const Wtxid& wtxid = tx->GetWitnessHash();
19 if (auto it{m_orphans.find(wtxid)}; it != m_orphans.end()) {
20 AddAnnouncer(wtxid, peer);
21 // No new orphan entry was created. An announcer may have been added.
22 return false;
23 }
24
25 // Ignore big transactions, to avoid a
26 // send-big-orphans memory exhaustion attack. If a peer has a legitimate
27 // large transaction with a missing parent then we assume
28 // it will rebroadcast it later, after the parent transaction(s)
29 // have been mined or received.
30 // 100 orphans, each of which is at most 100,000 bytes big is
31 // at most 10 megabytes of orphans and somewhat more byprev index (in the worst case):
32 unsigned int sz = GetTransactionWeight(*tx);
34 {
35 LogDebug(BCLog::TXPACKAGES, "ignoring large orphan tx (size: %u, txid: %s, wtxid: %s)\n", sz, hash.ToString(), wtxid.ToString());
36 return false;
37 }
38
39 auto ret = m_orphans.emplace(wtxid, OrphanTx{{tx, {peer}, Now<NodeSeconds>() + ORPHAN_TX_EXPIRE_TIME}, m_orphan_list.size()});
40 assert(ret.second);
41 m_orphan_list.push_back(ret.first);
42 for (const CTxIn& txin : tx->vin) {
43 m_outpoint_to_orphan_it[txin.prevout].insert(ret.first);
44 }
45
46 LogDebug(BCLog::TXPACKAGES, "stored orphan tx %s (wtxid=%s), weight: %u (mapsz %u outsz %u)\n", hash.ToString(), wtxid.ToString(), sz,
47 m_orphans.size(), m_outpoint_to_orphan_it.size());
48 return true;
49}
50
51bool TxOrphanage::AddAnnouncer(const Wtxid& wtxid, NodeId peer)
52{
53 const auto it = m_orphans.find(wtxid);
54 if (it != m_orphans.end()) {
55 Assume(!it->second.announcers.empty());
56 const auto ret = it->second.announcers.insert(peer);
57 if (ret.second) {
58 LogDebug(BCLog::TXPACKAGES, "added peer=%d as announcer of orphan tx %s\n", peer, wtxid.ToString());
59 return true;
60 }
61 }
62 return false;
63}
64
65int TxOrphanage::EraseTx(const Wtxid& wtxid)
66{
67 std::map<Wtxid, OrphanTx>::iterator it = m_orphans.find(wtxid);
68 if (it == m_orphans.end())
69 return 0;
70 for (const CTxIn& txin : it->second.tx->vin)
71 {
72 auto itPrev = m_outpoint_to_orphan_it.find(txin.prevout);
73 if (itPrev == m_outpoint_to_orphan_it.end())
74 continue;
75 itPrev->second.erase(it);
76 if (itPrev->second.empty())
77 m_outpoint_to_orphan_it.erase(itPrev);
78 }
79
80 size_t old_pos = it->second.list_pos;
81 assert(m_orphan_list[old_pos] == it);
82 if (old_pos + 1 != m_orphan_list.size()) {
83 // Unless we're deleting the last entry in m_orphan_list, move the last
84 // entry to the position we're deleting.
85 auto it_last = m_orphan_list.back();
86 m_orphan_list[old_pos] = it_last;
87 it_last->second.list_pos = old_pos;
88 }
89 const auto& txid = it->second.tx->GetHash();
90 // Time spent in orphanage = difference between current and entry time.
91 // Entry time is equal to ORPHAN_TX_EXPIRE_TIME earlier than entry's expiry.
92 LogDebug(BCLog::TXPACKAGES, " removed orphan tx %s (wtxid=%s) after %ds\n", txid.ToString(), wtxid.ToString(),
93 Ticks<std::chrono::seconds>(NodeClock::now() + ORPHAN_TX_EXPIRE_TIME - it->second.nTimeExpire));
94 m_orphan_list.pop_back();
95
96 m_orphans.erase(it);
97 return 1;
98}
99
101{
102 m_peer_work_set.erase(peer);
103
104 int nErased = 0;
105 std::map<Wtxid, OrphanTx>::iterator iter = m_orphans.begin();
106 while (iter != m_orphans.end())
107 {
108 // increment to avoid iterator becoming invalid after erasure
109 auto& [wtxid, orphan] = *iter++;
110 auto orphan_it = orphan.announcers.find(peer);
111 if (orphan_it != orphan.announcers.end()) {
112 orphan.announcers.erase(peer);
113
114 // No remaining announcers: clean up entry
115 if (orphan.announcers.empty()) {
116 nErased += EraseTx(orphan.tx->GetWitnessHash());
117 }
118 }
119 }
120 if (nErased > 0) LogDebug(BCLog::TXPACKAGES, "Erased %d orphan transaction(s) from peer=%d\n", nErased, peer);
121}
122
123void TxOrphanage::LimitOrphans(unsigned int max_orphans, FastRandomContext& rng)
124{
125 unsigned int nEvicted = 0;
126 auto nNow{Now<NodeSeconds>()};
127 if (m_next_sweep <= nNow) {
128 // Sweep out expired orphan pool entries:
129 int nErased = 0;
130 auto nMinExpTime{nNow + ORPHAN_TX_EXPIRE_TIME - ORPHAN_TX_EXPIRE_INTERVAL};
131 std::map<Wtxid, OrphanTx>::iterator iter = m_orphans.begin();
132 while (iter != m_orphans.end())
133 {
134 std::map<Wtxid, OrphanTx>::iterator maybeErase = iter++;
135 if (maybeErase->second.nTimeExpire <= nNow) {
136 nErased += EraseTx(maybeErase->first);
137 } else {
138 nMinExpTime = std::min(maybeErase->second.nTimeExpire, nMinExpTime);
139 }
140 }
141 // Sweep again 5 minutes after the next entry that expires in order to batch the linear scan.
143 if (nErased > 0) LogDebug(BCLog::TXPACKAGES, "Erased %d orphan tx due to expiration\n", nErased);
144 }
145 while (m_orphans.size() > max_orphans)
146 {
147 // Evict a random orphan:
148 size_t randompos = rng.randrange(m_orphan_list.size());
149 EraseTx(m_orphan_list[randompos]->first);
150 ++nEvicted;
151 }
152 if (nEvicted > 0) LogDebug(BCLog::TXPACKAGES, "orphanage overflow, removed %u tx\n", nEvicted);
153}
154
156{
157 for (unsigned int i = 0; i < tx.vout.size(); i++) {
158 const auto it_by_prev = m_outpoint_to_orphan_it.find(COutPoint(tx.GetHash(), i));
159 if (it_by_prev != m_outpoint_to_orphan_it.end()) {
160 for (const auto& elem : it_by_prev->second) {
161 // Belt and suspenders, each orphan should always have at least 1 announcer.
162 if (!Assume(!elem->second.announcers.empty())) continue;
163 for (const auto announcer: elem->second.announcers) {
164 // Get this source peer's work set, emplacing an empty set if it didn't exist
165 // (note: if this peer wasn't still connected, we would have removed the orphan tx already)
166 std::set<Wtxid>& orphan_work_set = m_peer_work_set.try_emplace(announcer).first->second;
167 // Add this tx to the work set
168 orphan_work_set.insert(elem->first);
169 LogDebug(BCLog::TXPACKAGES, "added %s (wtxid=%s) to peer %d workset\n",
170 tx.GetHash().ToString(), tx.GetWitnessHash().ToString(), announcer);
171 }
172 }
173 }
174 }
175}
176
177bool TxOrphanage::HaveTx(const Wtxid& wtxid) const
178{
179 return m_orphans.count(wtxid);
180}
181
183{
184 auto it = m_orphans.find(wtxid);
185 return it != m_orphans.end() ? it->second.tx : nullptr;
186}
187
188bool TxOrphanage::HaveTxFromPeer(const Wtxid& wtxid, NodeId peer) const
189{
190 auto it = m_orphans.find(wtxid);
191 return (it != m_orphans.end() && it->second.announcers.contains(peer));
192}
193
195{
196 auto work_set_it = m_peer_work_set.find(peer);
197 if (work_set_it != m_peer_work_set.end()) {
198 auto& work_set = work_set_it->second;
199 while (!work_set.empty()) {
200 Wtxid wtxid = *work_set.begin();
201 work_set.erase(work_set.begin());
202
203 const auto orphan_it = m_orphans.find(wtxid);
204 if (orphan_it != m_orphans.end()) {
205 return orphan_it->second.tx;
206 }
207 }
208 }
209 return nullptr;
210}
211
213{
214 auto work_set_it = m_peer_work_set.find(peer);
215 if (work_set_it != m_peer_work_set.end()) {
216 auto& work_set = work_set_it->second;
217 return !work_set.empty();
218 }
219 return false;
220}
221
223{
224 std::vector<Wtxid> vOrphanErase;
225
226 for (const CTransactionRef& ptx : block.vtx) {
227 const CTransaction& tx = *ptx;
228
229 // Which orphan pool entries must we evict?
230 for (const auto& txin : tx.vin) {
231 auto itByPrev = m_outpoint_to_orphan_it.find(txin.prevout);
232 if (itByPrev == m_outpoint_to_orphan_it.end()) continue;
233 for (auto mi = itByPrev->second.begin(); mi != itByPrev->second.end(); ++mi) {
234 const CTransaction& orphanTx = *(*mi)->second.tx;
235 vOrphanErase.push_back(orphanTx.GetWitnessHash());
236 }
237 }
238 }
239
240 // Erase orphan transactions included or precluded by this block
241 if (vOrphanErase.size()) {
242 int nErased = 0;
243 for (const auto& orphanHash : vOrphanErase) {
244 nErased += EraseTx(orphanHash);
245 }
246 LogDebug(BCLog::TXPACKAGES, "Erased %d orphan transaction(s) included or conflicted by block\n", nErased);
247 }
248}
249
250std::vector<CTransactionRef> TxOrphanage::GetChildrenFromSamePeer(const CTransactionRef& parent, NodeId nodeid) const
251{
252 // First construct a vector of iterators to ensure we do not return duplicates of the same tx
253 // and so we can sort by nTimeExpire.
254 std::vector<OrphanMap::iterator> iters;
255
256 // For each output, get all entries spending this prevout, filtering for ones from the specified peer.
257 for (unsigned int i = 0; i < parent->vout.size(); i++) {
258 const auto it_by_prev = m_outpoint_to_orphan_it.find(COutPoint(parent->GetHash(), i));
259 if (it_by_prev != m_outpoint_to_orphan_it.end()) {
260 for (const auto& elem : it_by_prev->second) {
261 if (elem->second.announcers.contains(nodeid)) {
262 iters.emplace_back(elem);
263 }
264 }
265 }
266 }
267
268 // Sort by address so that duplicates can be deleted. At the same time, sort so that more recent
269 // orphans (which expire later) come first. Break ties based on address, as nTimeExpire is
270 // quantified in seconds and it is possible for orphans to have the same expiry.
271 std::sort(iters.begin(), iters.end(), [](const auto& lhs, const auto& rhs) {
272 if (lhs->second.nTimeExpire == rhs->second.nTimeExpire) {
273 return &(*lhs) < &(*rhs);
274 } else {
275 return lhs->second.nTimeExpire > rhs->second.nTimeExpire;
276 }
277 });
278 // Erase duplicates
279 iters.erase(std::unique(iters.begin(), iters.end()), iters.end());
280
281 // Convert to a vector of CTransactionRef
282 std::vector<CTransactionRef> children_found;
283 children_found.reserve(iters.size());
284 for (const auto& child_iter : iters) {
285 children_found.emplace_back(child_iter->second.tx);
286 }
287 return children_found;
288}
289
290std::vector<TxOrphanage::OrphanTxBase> TxOrphanage::GetOrphanTransactions() const
291{
292 std::vector<OrphanTxBase> ret;
293 ret.reserve(m_orphans.size());
294 for (auto const& o : m_orphans) {
295 ret.push_back({o.second.tx, o.second.announcers, o.second.nTimeExpire});
296 }
297 return ret;
298}
int ret
#define Assume(val)
Assume is the identity function.
Definition: check.h:97
Definition: block.h:69
std::vector< CTransactionRef > vtx
Definition: block.h:72
An outpoint - a combination of a transaction hash and an index n into its vout.
Definition: transaction.h:29
The basic transaction that is broadcasted on the network and contained in blocks.
Definition: transaction.h:296
const std::vector< CTxOut > vout
Definition: transaction.h:307
const Wtxid & GetWitnessHash() const LIFETIMEBOUND
Definition: transaction.h:344
const Txid & GetHash() const LIFETIMEBOUND
Definition: transaction.h:343
const std::vector< CTxIn > vin
Definition: transaction.h:306
An input of a transaction.
Definition: transaction.h:67
COutPoint prevout
Definition: transaction.h:69
Fast randomness source.
Definition: random.h:377
I randrange(I range) noexcept
Generate a random integer in the range [0..range), with range > 0.
Definition: random.h:254
bool AddTx(const CTransactionRef &tx, NodeId peer)
Add a new orphan transaction.
Definition: txorphanage.cpp:15
void EraseForPeer(NodeId peer)
Maybe erase all orphans announced by a peer (eg, after that peer disconnects).
void AddChildrenToWorkSet(const CTransaction &tx)
Add any orphans that list a particular tx as a parent into the from peer's work set.
std::vector< OrphanTxBase > GetOrphanTransactions() const
void LimitOrphans(unsigned int max_orphans, FastRandomContext &rng)
Limit the orphanage to the given maximum.
int EraseTx(const Wtxid &wtxid)
Erase an orphan by wtxid.
Definition: txorphanage.cpp:65
void EraseForBlock(const CBlock &block)
Erase all orphans included in or invalidated by a new block.
std::map< NodeId, std::set< Wtxid > > m_peer_work_set
Which peer provided the orphans that need to be reconsidered.
Definition: txorphanage.h:100
std::map< COutPoint, std::set< OrphanMap::iterator, IteratorComparator > > m_outpoint_to_orphan_it
Index from the parents' COutPoint into the m_orphans.
Definition: txorphanage.h:115
std::vector< OrphanMap::iterator > m_orphan_list
Orphan transactions in vector for quick random eviction.
Definition: txorphanage.h:118
CTransactionRef GetTx(const Wtxid &wtxid) const
bool AddAnnouncer(const Wtxid &wtxid, NodeId peer)
Add an additional announcer to an orphan if it exists.
Definition: txorphanage.cpp:51
std::vector< CTransactionRef > GetChildrenFromSamePeer(const CTransactionRef &parent, NodeId nodeid) const
Get all children that spend from this tx and were received from nodeid.
std::map< Wtxid, OrphanTx > m_orphans
Map from wtxid to orphan transaction record.
Definition: txorphanage.h:97
bool HaveTx(const Wtxid &wtxid) const
Check if we already have an orphan transaction (by wtxid only)
bool HaveTxToReconsider(NodeId peer)
Does this peer have any work to do?
CTransactionRef GetTxToReconsider(NodeId peer)
Extract a transaction from a peer's work set Returns nullptr if there are no transactions to work on.
NodeSeconds m_next_sweep
Timestamp for the next scheduled sweep of expired orphans.
Definition: txorphanage.h:121
bool HaveTxFromPeer(const Wtxid &wtxid, NodeId peer) const
Check if a {tx, peer} exists in the orphanage.
std::string ToString() const
constexpr const std::byte * begin() const
static int32_t GetTransactionWeight(const CTransaction &tx)
Definition: validation.h:133
#define LogDebug(category,...)
Definition: logging.h:280
@ TXPACKAGES
Definition: logging.h:73
int64_t NodeId
Definition: net.h:97
static constexpr int32_t MAX_STANDARD_TX_WEIGHT
The maximum weight for transactions we're willing to relay/mine.
Definition: policy.h:27
std::shared_ptr< const CTransaction > CTransactionRef
Definition: transaction.h:423
static time_point now() noexcept
Return current system time or mocked time, if set.
Definition: time.cpp:25
static constexpr auto ORPHAN_TX_EXPIRE_TIME
Expiration time for orphan transactions.
Definition: txorphanage.h:18
static constexpr auto ORPHAN_TX_EXPIRE_INTERVAL
Minimum time between orphan transactions expire time checks.
Definition: txorphanage.h:20
assert(!tx.IsCoinBase())