19constexpr int MAX_TXHASHES = 16;
20constexpr int MAX_PEERS = 16;
26std::chrono::microseconds DELAYS[256];
32 for (uint8_t txhash = 0; txhash < MAX_TXHASHES; txhash += 1) {
33 CSHA256().Write(&txhash, 1).Finalize(TXHASHES[txhash].begin());
38 DELAYS[i] = std::chrono::microseconds{i};
42 for (; i < 128; ++i) {
43 int diff_bits = ((i - 10) * 2) / 9;
44 uint64_t diff = 1 + (CSipHasher(0, 0).Write(i).Finalize() >> (64 - diff_bits));
45 DELAYS[i] = DELAYS[i - 1] + std::chrono::microseconds{diff};
48 for (; i < 256; ++i) {
49 DELAYS[i] = -DELAYS[255 - i];
71 TxRequestTracker m_tracker;
84 uint64_t m_current_sequence{0};
87 std::priority_queue<std::chrono::microseconds, std::vector<std::chrono::microseconds>,
88 std::greater<std::chrono::microseconds>> m_events;
93 std::chrono::microseconds m_time;
95 State m_state{State::NOTHING};
102 Announcement m_announcements[MAX_TXHASHES][MAX_PEERS];
105 std::chrono::microseconds m_now{244466666};
108 void Cleanup(
int txhash)
110 bool all_nothing =
true;
111 for (
int peer = 0; peer < MAX_PEERS; ++peer) {
112 const Announcement& ann = m_announcements[txhash][peer];
113 if (ann.m_state != State::NOTHING) {
114 if (ann.m_state != State::COMPLETED)
return;
118 if (all_nothing)
return;
119 for (
int peer = 0; peer < MAX_PEERS; ++peer) {
120 m_announcements[txhash][peer].m_state = State::NOTHING;
125 int GetSelected(
int txhash)
const
128 uint64_t ret_priority = 0;
129 for (
int peer = 0; peer < MAX_PEERS; ++peer) {
130 const Announcement& ann = m_announcements[txhash][peer];
132 if (ann.m_state == State::REQUESTED)
return -1;
134 if (ann.m_state == State::CANDIDATE && ann.m_time <= m_now) {
135 if (
ret == -1 || ann.m_priority > ret_priority) {
136 std::tie(
ret, ret_priority) = std::tie(peer, ann.m_priority);
144 Tester() : m_tracker(true) {}
146 std::chrono::microseconds
Now()
const {
return m_now; }
148 void AdvanceTime(std::chrono::microseconds offset)
151 while (!m_events.empty() && m_events.top() <= m_now) m_events.pop();
154 void AdvanceToEvent()
156 while (!m_events.empty() && m_events.top() <= m_now) m_events.pop();
157 if (!m_events.empty()) {
158 m_now = m_events.top();
163 void DisconnectedPeer(
int peer)
166 for (
int txhash = 0; txhash < MAX_TXHASHES; ++txhash) {
167 if (m_announcements[txhash][peer].m_state != State::NOTHING) {
168 m_announcements[txhash][peer].m_state = State::NOTHING;
174 m_tracker.DisconnectedPeer(peer);
177 void ForgetTxHash(
int txhash)
180 for (
int peer = 0; peer < MAX_PEERS; ++peer) {
181 m_announcements[txhash][peer].m_state = State::NOTHING;
186 m_tracker.ForgetTxHash(TXHASHES[txhash]);
189 void ReceivedInv(
int peer,
int txhash,
bool is_wtxid,
bool preferred, std::chrono::microseconds reqtime)
193 Announcement& ann = m_announcements[txhash][peer];
194 if (ann.m_state == State::NOTHING) {
195 ann.m_preferred = preferred;
196 ann.m_state = State::CANDIDATE;
197 ann.m_time = reqtime;
198 ann.m_is_wtxid = is_wtxid;
199 ann.m_sequence = m_current_sequence++;
200 ann.m_priority = m_tracker.ComputePriority(TXHASHES[txhash], peer, ann.m_preferred);
203 if (reqtime > m_now) m_events.push(reqtime);
208 m_tracker.ReceivedInv(peer, gtxid, preferred, reqtime);
211 void RequestedTx(
int peer,
int txhash, std::chrono::microseconds exptime)
215 if (m_announcements[txhash][peer].m_state == State::CANDIDATE) {
216 for (
int peer2 = 0; peer2 < MAX_PEERS; ++peer2) {
217 if (m_announcements[txhash][peer2].m_state == State::REQUESTED) {
218 m_announcements[txhash][peer2].m_state = State::COMPLETED;
221 m_announcements[txhash][peer].m_state = State::REQUESTED;
222 m_announcements[txhash][peer].m_time = exptime;
226 if (exptime > m_now) m_events.push(exptime);
229 m_tracker.RequestedTx(peer, TXHASHES[txhash], exptime);
232 void ReceivedResponse(
int peer,
int txhash)
235 if (m_announcements[txhash][peer].m_state != State::NOTHING) {
236 m_announcements[txhash][peer].m_state = State::COMPLETED;
241 m_tracker.ReceivedResponse(peer, TXHASHES[txhash]);
244 void GetRequestable(
int peer)
249 std::vector<std::tuple<uint64_t, int, bool>> result;
250 std::vector<std::pair<NodeId, GenTxid>> expected_expired;
251 for (
int txhash = 0; txhash < MAX_TXHASHES; ++txhash) {
253 for (
int peer2 = 0; peer2 < MAX_PEERS; ++peer2) {
254 Announcement& ann2 = m_announcements[txhash][peer2];
255 if (ann2.m_state == State::REQUESTED && ann2.m_time <= m_now) {
257 expected_expired.emplace_back(peer2, gtxid);
258 ann2.m_state = State::COMPLETED;
265 const Announcement& ann = m_announcements[txhash][peer];
266 if (ann.m_state == State::CANDIDATE && GetSelected(txhash) == peer) {
267 result.emplace_back(ann.m_sequence, txhash, ann.m_is_wtxid);
271 std::sort(result.begin(), result.end());
272 std::sort(expected_expired.begin(), expected_expired.end());
275 std::vector<std::pair<NodeId, GenTxid>> expired;
276 const auto actual = m_tracker.GetRequestable(peer, m_now, &expired);
277 std::sort(expired.begin(), expired.end());
278 assert(expired == expected_expired);
280 m_tracker.PostGetRequestableSanityCheck(m_now);
281 assert(result.size() == actual.size());
282 for (
size_t pos = 0; pos < actual.size(); ++pos) {
283 assert(TXHASHES[std::get<1>(result[pos])] == actual[pos].ToUint256());
284 assert(std::get<2>(result[pos]) == actual[pos].IsWtxid());
292 for (
int peer = 0; peer < MAX_PEERS; ++peer) {
295 size_t candidates = 0;
296 for (
int txhash = 0; txhash < MAX_TXHASHES; ++txhash) {
297 tracked += m_announcements[txhash][peer].m_state != State::NOTHING;
298 inflight += m_announcements[txhash][peer].m_state == State::REQUESTED;
299 candidates += m_announcements[txhash][peer].m_state == State::CANDIDATE;
301 std::bitset<MAX_PEERS> expected_announcers;
302 for (
int peer = 0; peer < MAX_PEERS; ++peer) {
303 if (m_announcements[txhash][peer].m_state == State::CANDIDATE || m_announcements[txhash][peer].m_state == State::REQUESTED) {
304 expected_announcers[peer] =
true;
307 std::vector<NodeId> candidate_peers;
308 m_tracker.GetCandidatePeers(TXHASHES[txhash], candidate_peers);
309 assert(expected_announcers.count() == candidate_peers.size());
310 for (
const auto& peer : candidate_peers) {
311 assert(expected_announcers[peer]);
314 assert(m_tracker.Count(peer) == tracked);
315 assert(m_tracker.CountInFlight(peer) == inflight);
316 assert(m_tracker.CountCandidates(peer) == candidates);
320 assert(m_tracker.Size() == total);
323 m_tracker.SanityCheck();
334 auto it = buffer.begin();
335 while (it != buffer.end()) {
336 int cmd = *(it++) % 11;
337 int peer, txidnum, delaynum;
340 tester.AdvanceToEvent();
343 delaynum = it == buffer.end() ? 0 : *(it++);
344 tester.AdvanceTime(DELAYS[delaynum]);
347 peer = it == buffer.end() ? 0 : *(it++) % MAX_PEERS;
348 tester.GetRequestable(peer);
351 peer = it == buffer.end() ? 0 : *(it++) % MAX_PEERS;
352 tester.DisconnectedPeer(peer);
355 txidnum = it == buffer.end() ? 0 : *(it++);
356 tester.ForgetTxHash(txidnum % MAX_TXHASHES);
360 peer = it == buffer.end() ? 0 : *(it++) % MAX_PEERS;
361 txidnum = it == buffer.end() ? 0 : *(it++);
362 tester.ReceivedInv(peer, txidnum % MAX_TXHASHES, (txidnum / MAX_TXHASHES) & 1,
cmd & 1,
363 std::chrono::microseconds::min());
367 peer = it == buffer.end() ? 0 : *(it++) % MAX_PEERS;
368 txidnum = it == buffer.end() ? 0 : *(it++);
369 delaynum = it == buffer.end() ? 0 : *(it++);
370 tester.ReceivedInv(peer, txidnum % MAX_TXHASHES, (txidnum / MAX_TXHASHES) & 1,
cmd & 1,
371 tester.Now() + DELAYS[delaynum]);
374 peer = it == buffer.end() ? 0 : *(it++) % MAX_PEERS;
375 txidnum = it == buffer.end() ? 0 : *(it++);
376 delaynum = it == buffer.end() ? 0 : *(it++);
377 tester.RequestedTx(peer, txidnum % MAX_TXHASHES, tester.Now() + DELAYS[delaynum]);
380 peer = it == buffer.end() ? 0 : *(it++) % MAX_PEERS;
381 txidnum = it == buffer.end() ? 0 : *(it++);
382 tester.ReceivedResponse(peer, txidnum % MAX_TXHASHES);
static transaction_identifier FromUint256(const uint256 &id)
T Now()
Return the current time point cast to the given precision.