Monero
Loading...
Searching...
No Matches
tx_pool.h
Go to the documentation of this file.
1// Copyright (c) 2014-2022, The Monero Project
2//
3// All rights reserved.
4//
5// Redistribution and use in source and binary forms, with or without modification, are
6// permitted provided that the following conditions are met:
7//
8// 1. Redistributions of source code must retain the above copyright notice, this list of
9// conditions and the following disclaimer.
10//
11// 2. Redistributions in binary form must reproduce the above copyright notice, this list
12// of conditions and the following disclaimer in the documentation and/or other
13// materials provided with the distribution.
14//
15// 3. Neither the name of the copyright holder nor the names of its contributors may be
16// used to endorse or promote products derived from this software without specific
17// prior written permission.
18//
19// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY
20// EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
21// MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL
22// THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
23// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
24// PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
25// INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
26// STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF
27// THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28//
29// Parts of this file are originally copyright (c) 2012-2013 The Cryptonote developers
30
31#pragma once
32#include "include_base_utils.h"
33
34#include <atomic>
35#include <set>
36#include <tuple>
37#include <unordered_map>
38#include <unordered_set>
39#include <queue>
40#include <boost/serialization/version.hpp>
41#include <boost/utility.hpp>
42
43#include "span.h"
44#include "string_tools.h"
45#include "syncobj.h"
46#include "math_helper.h"
51#include "crypto/hash.h"
54
55namespace cryptonote
56{
57 class Blockchain;
58 /************************************************************************/
59 /* */
60 /************************************************************************/
61
63 typedef std::pair<std::pair<double, std::time_t>, crypto::hash> tx_by_fee_and_receive_time_entry;
64
66 {
67 public:
69 {
70 // sort by greatest first, not least
71 if (a.first.first > b.first.first) return true;
72 else if (a.first.first < b.first.first) return false;
73 else if (a.first.second < b.first.second) return true;
74 else if (a.first.second > b.first.second) return false;
75 else if (a.second != b.second) return true;
76 else return false;
77 }
78 };
79
81 typedef std::set<tx_by_fee_and_receive_time_entry, txCompare> sorted_tx_container;
82
97 class tx_memory_pool: boost::noncopyable
98 {
99 public:
106
107
115 bool add_tx(transaction &tx, const crypto::hash &id, const cryptonote::blobdata &blob, size_t tx_weight, tx_verification_context& tvc, relay_method tx_relay, bool relayed, uint8_t version);
116
134
150 bool take_tx(const crypto::hash &id, transaction &tx, cryptonote::blobdata &txblob, size_t& tx_weight, uint64_t& fee, bool &relayed, bool &do_not_relay, bool &double_spend_seen, bool &pruned);
151
160 bool have_tx(const crypto::hash &id, relay_category tx_category) const;
161
172 bool on_blockchain_inc(uint64_t new_block_height, const crypto::hash& top_block_id);
173
184 bool on_blockchain_dec(uint64_t new_block_height, const crypto::hash& top_block_id);
185
191 void on_idle();
192
196 void lock() const;
197
201 void unlock() const;
202
203 // load/store operations
204
213 bool init(size_t max_txpool_weight = 0, bool mine_stem_txes = false);
214
224 bool deinit();
225
239 bool fill_block_template(block &bl, size_t median_weight, uint64_t already_generated_coins, size_t &total_weight, uint64_t &fee, uint64_t &expected_reward, uint8_t version);
240
248 void get_transactions(std::vector<transaction>& txs, bool include_sensitive = false) const;
249
257 void get_transaction_hashes(std::vector<crypto::hash>& txs, bool include_sensitive = false) const;
258
266 void get_transaction_backlog(std::vector<tx_backlog_entry>& backlog, bool include_sensitive = false) const;
267
279 void get_block_template_backlog(std::vector<tx_block_template_backlog_entry>& backlog, bool include_sensitive = false) const;
280
288 void get_transaction_stats(struct txpool_stats& stats, bool include_sensitive = false) const;
289
302 bool get_transactions_and_spent_keys_info(std::vector<tx_info>& tx_infos, std::vector<spent_key_image_info>& key_image_infos, bool include_sensitive_data = false) const;
303
314 bool get_pool_for_rpc(std::vector<cryptonote::rpc::tx_in_pool>& tx_infos, cryptonote::rpc::key_images_with_tx_hashes& key_image_infos) const;
315
324 bool check_for_key_images(const std::vector<crypto::key_image>& key_images, std::vector<bool>& spent) const;
325
335 bool get_transaction(const crypto::hash& h, cryptonote::blobdata& txblob, relay_category tx_category) const;
336
353 bool get_relayable_transactions(std::vector<std::tuple<crypto::hash, cryptonote::blobdata, relay_method>>& txs);
354
363 void set_relayed(epee::span<const crypto::hash> hashes, relay_method tx_relay, std::vector<bool> &just_broadcasted);
364
370 size_t get_transactions_count(bool include_sensitive = false) const;
371
379 std::string print_pool(bool short_format) const;
380
392 size_t validate(uint8_t version);
393
399 uint64_t cookie() const { return m_cookie; }
400
406 size_t get_txpool_weight() const;
407
413 void set_txpool_max_weight(size_t bytes);
414
420 void reduce_txpool_weight(size_t weight);
421
422#define CURRENT_MEMPOOL_ARCHIVE_VER 11
423#define CURRENT_MEMPOOL_TX_DETAILS_ARCHIVE_VER 13
424
429 {
431 size_t blob_size;
432 size_t weight;
436
438
442
444
449
451
456
458
460 bool relayed;
462
464 };
465
469 bool get_transaction_info(const crypto::hash &txid, tx_details &td) const;
470
474 bool get_complement(const std::vector<crypto::hash> &hashes, std::vector<cryptonote::blobdata> &txes) const;
475
476 private:
477
484
495
504 bool have_tx_keyimg_as_spent(const crypto::key_image& key_im, const crypto::hash& txid) const;
505
519 bool have_tx_keyimges_as_spent(const transaction& tx, const crypto::hash& txid) const;
520
534
543 static bool have_key_images(const std::unordered_set<crypto::key_image>& kic, const transaction_prefix& tx);
544
553 static bool append_key_images(std::unordered_set<crypto::key_image>& kic, const transaction_prefix& tx);
554
567
571 void mark_double_spend(const transaction &tx);
572
578 void prune(size_t bytes = 0);
579
580 //TODO: confirm the below comments and investigate whether or not this
581 // is the desired behavior
583
589 typedef std::unordered_map<crypto::key_image, std::unordered_set<crypto::hash>> key_images_container;
590
591#if defined(DEBUG_CREATE_BLOCK_TEMPLATE)
592public:
593#endif
595#if defined(DEBUG_CREATE_BLOCK_TEMPLATE)
596private:
597#endif
598
601
602 //TODO: this time should be a named constant somewhere, not hard-coded
605
606 //TODO: look into doing this better
609
610 std::atomic<uint64_t> m_cookie;
611
619 sorted_tx_container::iterator find_tx_in_sorted_container(const crypto::hash& id) const;
620
622 bool check_tx_inputs(const std::function<cryptonote::transaction&(void)> &get_tx, const crypto::hash &txid, uint64_t &max_used_block_height, crypto::hash &max_used_block_id, tx_verification_context &tvc, bool kept_by_block = false) const;
623
625
628 std::unordered_set<crypto::hash> m_timed_out_transactions;
629
631
635
636 mutable std::unordered_map<crypto::hash, std::tuple<bool, tx_verification_context, uint64_t, crypto::hash>> m_input_cache;
637
638 std::unordered_map<crypto::hash, transaction> m_parsed_tx_cache;
639
641 std::atomic<time_t> m_next_check;
642 };
643}
644
645namespace boost
646{
647 namespace serialization
648 {
649 template<class archive_t>
650 void serialize(archive_t & ar, cryptonote::tx_memory_pool::tx_details& td, const unsigned int version)
651 {
652 ar & td.blob_size;
653 ar & td.fee;
654 ar & td.tx;
658 ar & td.last_failed_id;
659 ar & td.receive_time;
661 ar & td.relayed;
662 if (version < 11)
663 return;
664 ar & td.kept_by_block;
665 if (version < 12)
666 return;
667 ar & td.do_not_relay;
668 if (version < 13)
669 return;
670 ar & td.weight;
671 }
672 }
673}
676
677
678
cryptonote::block b
Definition: block.cpp:40
static uint64_t h
Definition: blockchain_stats.cpp:55
Definition: blockchain.h:100
Definition: cryptonote_basic.h:171
Definition: cryptonote_basic.h:205
Definition: tx_pool.h:66
bool operator()(const tx_by_fee_and_receive_time_entry &a, const tx_by_fee_and_receive_time_entry &b) const
Definition: tx_pool.h:68
Transaction pool, handles transactions which are not part of a block.
Definition: tx_pool.h:98
void unlock() const
unlocks the transaction pool
Definition: tx_pool.cpp:1289
sorted_tx_container::iterator find_tx_in_sorted_container(const crypto::hash &id) const
get an iterator to a transaction in the sorted container
Definition: tx_pool.cpp:691
bool insert_key_images(const transaction_prefix &tx, const crypto::hash &txid, relay_method tx_relay)
insert key images into m_spent_key_images
Definition: tx_pool.cpp:483
void lock() const
locks the transaction pool
Definition: tx_pool.cpp:1284
bool have_tx(const crypto::hash &id, relay_category tx_category) const
checks if the pool has a transaction with the given hash
Definition: tx_pool.cpp:1249
void on_idle()
action to take periodically
Definition: tx_pool.cpp:686
bool take_tx(const crypto::hash &id, transaction &tx, cryptonote::blobdata &txblob, size_t &tx_weight, uint64_t &fee, bool &relayed, bool &do_not_relay, bool &double_spend_seen, bool &pruned)
takes a transaction with the given hash from the pool
Definition: tx_pool.cpp:544
epee::math_helper::once_a_time_seconds< 30 > m_remove_stuck_tx_interval
interval on which to check for stale/"stuck" transactions
Definition: tx_pool.h:604
void get_transactions(std::vector< transaction > &txs, bool include_sensitive=false) const
get a list of all transactions in the pool
Definition: tx_pool.cpp:898
bool get_pool_for_rpc(std::vector< cryptonote::rpc::tx_in_pool > &tx_infos, cryptonote::rpc::key_images_with_tx_hashes &key_image_infos) const
get information about all transactions and key images in the pool
Definition: tx_pool.cpp:1149
bool on_blockchain_dec(uint64_t new_block_height, const crypto::hash &top_block_id)
action to take when notified of a block removed from the blockchain
Definition: tx_pool.cpp:1241
bool get_transaction(const crypto::hash &h, cryptonote::blobdata &txblob, relay_category tx_category) const
get a specific transaction from the pool
Definition: tx_pool.cpp:1219
bool fill_block_template(block &bl, size_t median_weight, uint64_t already_generated_coins, size_t &total_weight, uint64_t &fee, uint64_t &expected_reward, uint8_t version)
Chooses transactions for a block to include.
Definition: tx_pool.cpp:1484
bool remove_transaction_keyimages(const transaction_prefix &tx, const crypto::hash &txid)
forget a transaction's spent key images
Definition: tx_pool.cpp:514
std::atomic< time_t > m_next_check
Next timestamp that a DB check for relayable txes is allowed.
Definition: tx_pool.h:641
size_t m_txpool_max_weight
Definition: tx_pool.h:632
bool on_blockchain_inc(uint64_t new_block_height, const crypto::hash &top_block_id)
action to take when notified of a block added to the blockchain
Definition: tx_pool.cpp:1233
key_images_container m_spent_key_images
container for spent key images from the transactions in the pool
Definition: tx_pool.h:600
std::unordered_set< crypto::hash > m_timed_out_transactions
transactions which are unlikely to be included in blocks
Definition: tx_pool.h:628
bool check_tx_inputs(const std::function< cryptonote::transaction &(void)> &get_tx, const crypto::hash &txid, uint64_t &max_used_block_height, crypto::hash &max_used_block_id, tx_verification_context &tvc, bool kept_by_block=false) const
cache/call Blockchain::check_tx_inputs results
Definition: tx_pool.cpp:1294
uint64_t cookie() const
return the cookie
Definition: tx_pool.h:399
bool get_complement(const std::vector< crypto::hash > &hashes, std::vector< cryptonote::blobdata > &txes) const
get transactions not in the passed set
Definition: tx_pool.cpp:653
bool add_tx(transaction &tx, const crypto::hash &id, const cryptonote::blobdata &blob, size_t tx_weight, tx_verification_context &tvc, relay_method tx_relay, bool relayed, uint8_t version)
Definition: tx_pool.cpp:138
void set_txpool_max_weight(size_t bytes)
set the max cumulative txpool weight in bytes
Definition: tx_pool.cpp:399
bool get_relayable_transactions(std::vector< std::tuple< crypto::hash, cryptonote::blobdata, relay_method > > &txs)
get a list of all relayable transactions and their hashes
Definition: tx_pool.cpp:764
void get_block_template_backlog(std::vector< tx_block_template_backlog_entry > &backlog, bool include_sensitive=false) const
get (hash, weight, fee) for transactions in the pool - the minimum required information to create a b...
Definition: tx_pool.cpp:943
bool have_tx_keyimges_as_spent(const transaction &tx, const crypto::hash &txid) const
check if any spent key image in a transaction is in the pool
Definition: tx_pool.cpp:1256
bool get_transactions_and_spent_keys_info(std::vector< tx_info > &tx_infos, std::vector< spent_key_image_info > &key_image_infos, bool include_sensitive_data=false) const
get information about all transactions and key images in the pool
Definition: tx_pool.cpp:1091
static bool append_key_images(std::unordered_set< crypto::key_image > &kic, const transaction_prefix &tx)
append the key images from a transaction to the given set
Definition: tx_pool.cpp:1396
static bool have_key_images(const std::unordered_set< crypto::key_image > &kic, const transaction_prefix &tx)
check if any of a transaction's spent key images are present in a given set
Definition: tx_pool.cpp:1385
std::string print_pool(bool short_format) const
get a string containing human-readable pool information
Definition: tx_pool.cpp:1451
epee::critical_section m_transactions_lock
lock for the pool
Definition: tx_pool.h:594
sorted_tx_container m_txs_by_fee_and_receive_time
< container for transactions organized by fee per size and receive time
Definition: tx_pool.h:608
Blockchain & m_blockchain
reference to the Blockchain object
Definition: tx_pool.h:630
size_t validate(uint8_t version)
remove transactions from the pool which are no longer valid
Definition: tx_pool.cpp:1629
bool m_mine_stem_txes
Definition: tx_pool.h:634
std::unordered_map< crypto::key_image, std::unordered_set< crypto::hash > > key_images_container
map key images to transactions which spent them
Definition: tx_pool.h:589
bool remove_stuck_transactions()
remove old transactions from the pool
Definition: tx_pool.cpp:701
bool get_transaction_info(const crypto::hash &txid, tx_details &td) const
get infornation about a single transaction
Definition: tx_pool.cpp:600
void get_transaction_hashes(std::vector< crypto::hash > &txs, bool include_sensitive=false) const
get a list of all transaction hashes in the pool
Definition: tx_pool.cpp:918
bool is_transaction_ready_to_go(txpool_tx_meta_t &txd, const crypto::hash &txid, const cryptonote::blobdata_ref &txblob, transaction &tx) const
check if a transaction is a valid candidate for inclusion in a block
Definition: tx_pool.cpp:1313
void mark_double_spend(const transaction &tx)
mark all transactions double spending the one passed
Definition: tx_pool.cpp:1407
size_t get_txpool_weight() const
get the cumulative txpool weight in bytes
Definition: tx_pool.cpp:393
void reduce_txpool_weight(size_t weight)
reduce the cumulative txpool weight by the weight provided
Definition: tx_pool.cpp:405
bool have_tx_keyimg_as_spent(const crypto::key_image &key_im, const crypto::hash &txid) const
check if a transaction in the pool has a given spent key image
Definition: tx_pool.cpp:1269
std::unordered_map< crypto::hash, std::tuple< bool, tx_verification_context, uint64_t, crypto::hash > > m_input_cache
Definition: tx_pool.h:636
void get_transaction_backlog(std::vector< tx_backlog_entry > &backlog, bool include_sensitive=false) const
get (weight, fee, receive time) for all transaction in the pool
Definition: tx_pool.cpp:930
std::atomic< uint64_t > m_cookie
incremented at each change
Definition: tx_pool.h:610
void get_transaction_stats(struct txpool_stats &stats, bool include_sensitive=false) const
get a summary statistics of all transaction hashes in the pool
Definition: tx_pool.cpp:1004
std::unordered_map< crypto::hash, transaction > m_parsed_tx_cache
Definition: tx_pool.h:638
void prune(size_t bytes=0)
prune lowest fee/byte txes till we're not above bytes
Definition: tx_pool.cpp:418
size_t m_txpool_weight
Definition: tx_pool.h:633
void set_relayed(epee::span< const crypto::hash > hashes, relay_method tx_relay, std::vector< bool > &just_broadcasted)
tell the pool that certain transactions were just relayed
Definition: tx_pool.cpp:842
size_t get_transactions_count(bool include_sensitive=false) const
get the total number of transactions in the pool
Definition: tx_pool.cpp:891
bool check_for_key_images(const std::vector< crypto::key_image > &key_images, std::vector< bool > &spent) const
check for presence of key images in the pool
Definition: tx_pool.cpp:1197
bool deinit()
attempts to save the transaction pool state to disk
Definition: tx_pool.cpp:1755
Definition: syncobj.h:82
Definition: math_helper.h:297
Non-owning sequence of data. Does not deep copy.
Definition: span.h:55
binary_archive< false > ar
Definition: cold-outputs.cpp:54
relay_method tx_relay
Definition: levin_notify.cpp:545
static void init()
Definition: logging.cpp:38
static int version
Definition: mdb_load.c:29
void serialize(Archive &a, std::unordered_map< h_key, hval > &x, const boost::serialization::version_type ver)
Definition: unordered_containers_boost_serialization.h:126
Definition: portable_binary_archive.hpp:29
POD_CLASS key_image
Definition: crypto.h:95
POD_CLASS hash
Definition: hash.h:48
std::unordered_map< crypto::key_image, std::vector< crypto::hash > > key_images_with_tx_hashes
Definition: message_data_structs.h:107
Holds cryptonote related classes and helpers.
Definition: blockchain_db.cpp:45
std::set< tx_by_fee_and_receive_time_entry, txCompare > sorted_tx_container
container for sorting transactions by fee per unit size
Definition: tx_pool.h:81
relay_category
Definition: blockchain_db.h:110
relay_method
Methods tracking how a tx was received and relayed.
Definition: enums.h:37
std::string blobdata
Definition: blobdatatype.h:39
std::pair< std::pair< double, std::time_t >, crypto::hash > tx_by_fee_and_receive_time_entry
pair of <transaction fee, transaction hash> for organization
Definition: tx_pool.h:63
boost::string_ref blobdata_ref
Definition: blobdatatype.h:40
Definition: binary_utils.h:36
BOOST_CLASS_VERSION(nodetool::peerlist_types, nodetool::CURRENT_PEERLIST_STORAGE_ARCHIVE_VER)
const GenericPointer< typename T::ValueType > T2 T::AllocatorType & a
Definition: pointer.h:1124
#define CURRENT_MEMPOOL_ARCHIVE_VER
Definition: tx_pool.h:422
#define CURRENT_MEMPOOL_TX_DETAILS_ARCHIVE_VER
Definition: tx_pool.h:423
unsigned char uint8_t
Definition: stdint.h:124
unsigned __int64 uint64_t
Definition: stdint.h:136
Definition: cryptonote_basic.h:475
information about a single transaction
Definition: tx_pool.h:429
transaction tx
the transaction
Definition: tx_pool.h:430
bool do_not_relay
to avoid relay this transaction to the network
Definition: tx_pool.h:461
uint64_t max_used_block_height
the height of the highest block referenced by an input
Definition: tx_pool.h:435
crypto::hash last_failed_id
the hash of the highest block the transaction referenced when last checking it failed
Definition: tx_pool.h:455
uint64_t fee
the transaction's fee amount
Definition: tx_pool.h:433
bool kept_by_block
whether or not the transaction has been in a block before
Definition: tx_pool.h:441
size_t weight
the transaction's weight
Definition: tx_pool.h:432
time_t last_relayed_time
the last time the transaction was relayed to the network
Definition: tx_pool.h:459
bool relayed
whether or not the transaction has been relayed to the network
Definition: tx_pool.h:460
crypto::hash max_used_block_id
the hash of the highest block referenced by an input
Definition: tx_pool.h:434
size_t blob_size
the transaction's size
Definition: tx_pool.h:431
uint64_t last_failed_height
the highest block the transaction referenced when last checking it failed
Definition: tx_pool.h:448
bool double_spend_seen
true iff another tx was seen double spending this one
Definition: tx_pool.h:463
time_t receive_time
the time when the transaction entered the pool
Definition: tx_pool.h:457
Definition: verification_context.h:41
Definition: core_rpc_server_commands_defs.h:1624
a struct containing txpool per transaction metadata
Definition: blockchain_db.h:155
struct hash_func hashes[]
cryptonote::transaction tx
Definition: transaction.cpp:40