1#include <xrpld/app/ledger/AccountStateSF.h>
2#include <xrpld/app/ledger/InboundLedger.h>
3#include <xrpld/app/ledger/InboundLedgers.h>
4#include <xrpld/app/ledger/LedgerMaster.h>
5#include <xrpld/app/ledger/TransactionStateSF.h>
6#include <xrpld/app/main/Application.h>
7#include <xrpld/overlay/Overlay.h>
9#include <xrpl/core/JobQueue.h>
10#include <xrpl/protocol/HashPrefix.h>
11#include <xrpl/protocol/jss.h>
12#include <xrpl/resource/Fees.h>
13#include <xrpl/shamap/SHAMapNodeID.h>
15#include <boost/iterator/function_output_iterator.hpp>
22using namespace std::chrono_literals;
68 app.getJournal(
"InboundLedger"))
72 , mPeerSet(std::move(peerSet))
74 JLOG(journal_.trace()) <<
"Acquiring ledger " << hash_;
95 JLOG(
journal_.
debug()) <<
"Acquiring ledger we already have in "
96 <<
" local store. " <<
hash_;
99 "xrpl::InboundLedger::init : valid ledger fees");
115 auto const& peerIds =
mPeerSet->getPeerIds();
116 return std::count_if(peerIds.begin(), peerIds.end(), [
this](
auto id) {
117 return (app_.getOverlay().findPeerByShortID(id) != nullptr);
127 if ((seq != 0) && (
mSeq == 0))
163 if (entry.second->
type() == protocol::liAS_NODE)
191 for (
auto const& n : mn)
218 auto makeLedger = [&,
this](
Blob const& data) {
219 JLOG(
journal_.
trace()) <<
"Ledger header found in fetch pack";
236 JLOG(
journal_.
trace()) <<
"Ledger header found in local store";
238 makeLedger(nodeObject->getData());
243 auto& dstDB{
mLedger->stateMap().family().db()};
246 Blob blob{nodeObject->getData()};
257 JLOG(
journal_.
trace()) <<
"Ledger header found in fetch pack";
264 mLedger->stateMap().family().db().store(
277 if (
mLedger->header().txHash.isZero())
298 if (
mLedger->header().accountHash.isZero())
300 JLOG(
journal_.
fatal()) <<
"We are acquiring a ledger with a zero account hash";
305 if (
mLedger->stateMap().fetchRoot(
SHAMapHash{mLedger->header().accountHash}, &filter))
321 "xrpl::InboundLedger::tryDB : valid ledger fees");
381 [
this](
auto peer) {
return peer->hasLedger(
hash_,
mSeq); },
411 XRPL_ASSERT(
complete_ ||
failed_,
"xrpl::InboundLedger::done : complete or failed");
417 "xrpl::InboundLedger::done : valid ledger fees");
432 if (self->complete_ && !self->failed_)
434 self->app_.getLedgerMaster().checkAccept(self->getLedger());
435 self->app_.getLedgerMaster().tryAdvance();
439 self->app_.getInboundLedgers().logFailure(self->hash_, self->mSeq);
461 ss <<
"Trigger acquiring ledger " <<
hash_;
463 ss <<
" from " << peer;
486 protocol::TMGetLedger tmGL;
492 tmGL.set_querytype(protocol::qtINDIRECT);
500 protocol::TMGetObjectByHash tmBH;
501 bool typeSet =
false;
502 tmBH.set_query(
true);
504 for (
auto const& p : need)
510 tmBH.set_type(p.first);
514 if (p.first == tmBH.type())
516 protocol::TMIndexedObject* io = tmBH.add_objects();
517 io->set_hash(p.second.begin(), p.second.size());
519 io->set_ledgerseq(
mSeq);
524 auto const& peerIds =
mPeerSet->getPeerIds();
525 std::for_each(peerIds.begin(), peerIds.end(), [
this, &packet](
auto id) {
526 if (auto p = app_.getOverlay().findPeerByShortID(id))
535 JLOG(
journal_.
info()) <<
"getNeededHashes says acquire is complete";
546 if (!mHaveHeader && !failed_)
548 tmGL.set_itype(protocol::liBASE);
550 tmGL.set_ledgerseq(mSeq);
551 JLOG(journal_.trace()) <<
"Sending header request to "
552 << (peer ?
"selected peer" :
"all peers");
553 mPeerSet->sendRequest(tmGL, peer);
558 tmGL.set_ledgerseq(mLedger->header().seq);
560 if (reason != TriggerReason::reply)
563 tmGL.set_querydepth(0);
565 else if (peer && peer->isHighLatency())
568 tmGL.set_querydepth(2);
572 tmGL.set_querydepth(1);
577 if (mHaveHeader && !mHaveState && !failed_)
581 "xrpl::InboundLedger::trigger : non-null ledger to read state "
584 if (!mLedger->stateMap().isValid())
588 else if (mLedger->stateMap().getHash().isZero())
591 tmGL.set_itype(protocol::liAS_NODE);
592 *tmGL.add_nodeids() = SHAMapNodeID().getRawString();
593 JLOG(journal_.trace())
594 <<
"Sending AS root request to " << (peer ?
"selected peer" :
"all peers");
595 mPeerSet->sendRequest(tmGL, peer);
600 AccountStateSF filter(mLedger->stateMap().family().db(), app_.getLedgerMaster());
604 auto nodes = mLedger->stateMap().getMissingNodes(
missingNodesFind, &filter);
608 if (!failed_ && !complete_ && !mHaveState)
612 if (!mLedger->stateMap().isValid())
620 if (mHaveTransactions)
626 filterNodes(nodes, reason);
630 tmGL.set_itype(protocol::liAS_NODE);
631 for (
auto const&
id : nodes)
633 *(tmGL.add_nodeids()) =
id.first.getRawString();
636 JLOG(journal_.trace()) <<
"Sending AS node request (" << nodes.size()
637 <<
") to " << (peer ?
"selected peer" :
"all peers");
638 mPeerSet->sendRequest(tmGL, peer);
642 JLOG(journal_.trace()) <<
"All AS nodes filtered";
648 if (mHaveHeader && !mHaveTransactions && !failed_)
652 "xrpl::InboundLedger::trigger : non-null ledger to read "
653 "transactions from");
655 if (!mLedger->txMap().isValid())
659 else if (mLedger->txMap().getHash().isZero())
662 tmGL.set_itype(protocol::liTX_NODE);
663 *(tmGL.add_nodeids()) = SHAMapNodeID().getRawString();
664 JLOG(journal_.trace())
665 <<
"Sending TX root request to " << (peer ?
"selected peer" :
"all peers");
666 mPeerSet->sendRequest(tmGL, peer);
671 TransactionStateSF filter(mLedger->txMap().family().db(), app_.getLedgerMaster());
677 if (!mLedger->txMap().isValid())
683 mHaveTransactions =
true;
691 filterNodes(nodes, reason);
695 tmGL.set_itype(protocol::liTX_NODE);
696 for (
auto const& n : nodes)
698 *(tmGL.add_nodeids()) = n.first.getRawString();
700 JLOG(journal_.trace()) <<
"Sending TX node request (" << nodes.size() <<
") to "
701 << (peer ?
"selected peer" :
"all peers");
702 mPeerSet->sendRequest(tmGL, peer);
706 JLOG(journal_.trace()) <<
"All TX nodes filtered";
711 if (complete_ || failed_)
713 JLOG(journal_.debug()) <<
"Done:" << (complete_ ?
" complete" :
"")
714 << (failed_ ?
" failed " :
" ") << mLedger->header().seq;
721InboundLedger::filterNodes(
728 return mRecentNodes.count(item.second) == 0;
734 if (dup == nodes.begin())
736 JLOG(journal_.trace()) <<
"filterNodes: all duplicates";
738 if (reason != TriggerReason::timeout)
746 JLOG(journal_.trace()) <<
"filterNodes: pruning duplicates";
748 nodes.erase(dup, nodes.end());
753 if (nodes.size() > limit)
756 for (
auto const& n : nodes)
757 mRecentNodes.insert(n.second);
768 JLOG(journal_.trace()) <<
"got header acquiring ledger " << hash_;
770 if (complete_ || failed_ || mHaveHeader)
773 auto* f = &app_.getNodeFamily();
774 Rules const rules{app_.config().features};
776 if (mLedger->header().hash != hash_ || (mSeq != 0 && mSeq != mLedger->header().seq))
778 JLOG(journal_.warn()) <<
"Acquire hash mismatch: " << mLedger->header().hash
784 mSeq = mLedger->header().seq;
785 mLedger->stateMap().setLedgerSeq(mSeq);
786 mLedger->txMap().setLedgerSeq(mSeq);
790 s.
add32(HashPrefix::ledgerMaster);
791 s.
addRaw(data.data(), data.size());
794 if (mLedger->header().txHash.isZero())
795 mHaveTransactions =
true;
797 if (mLedger->header().accountHash.isZero())
800 mLedger->txMap().setSynching();
801 mLedger->stateMap().setSynching();
810InboundLedger::receiveNode(protocol::TMLedgerData& packet,
SHAMapAddNode& san)
814 JLOG(journal_.warn()) <<
"Missing ledger header";
818 if (packet.type() == protocol::liTX_NODE)
820 if (mHaveTransactions || failed_)
826 else if (mHaveState || failed_)
832 auto [map, rootHash, filter] =
834 if (packet.type() == protocol::liTX_NODE)
840 mLedger->txMap().family().db(), app_.getLedgerMaster())};
846 mLedger->stateMap().family().db(), app_.getLedgerMaster())};
851 auto const f = filter.get();
853 for (
auto const& node : packet.nodes())
860 if (nodeID->isRoot())
862 san += map.addRootNode(rootHash,
makeSlice(node.nodedata()), f);
866 san += map.addKnownNode(*nodeID,
makeSlice(node.nodedata()), f);
871 JLOG(journal_.warn()) <<
"Received bad node data";
878 JLOG(journal_.error()) <<
"Received bad node data: " << e.
what();
883 if (!map.isSynching())
885 if (packet.type() == protocol::liTX_NODE)
887 mHaveTransactions =
true;
894 if (mHaveTransactions && mHaveState)
908 if (failed_ || mHaveState)
917 UNREACHABLE(
"xrpl::InboundLedger::takeAsRootNode : no ledger header");
922 AccountStateSF filter(mLedger->stateMap().family().db(), app_.getLedgerMaster());
924 mLedger->stateMap().addRootNode(
SHAMapHash{mLedger->header().accountHash}, data, &filter);
934 if (failed_ || mHaveTransactions)
943 UNREACHABLE(
"xrpl::InboundLedger::takeTxRootNode : no ledger header");
949 san += mLedger->txMap().addRootNode(
SHAMapHash{mLedger->header().txHash}, data, &filter);
954InboundLedger::getNeededHashes()
966 AccountStateSF filter(mLedger->stateMap().family().db(), app_.getLedgerMaster());
967 for (
auto const& h : neededStateHashes(4, &filter))
973 if (!mHaveTransactions)
976 for (
auto const& h : neededTxHashes(4, &filter))
989InboundLedger::gotData(
998 mReceivedData.emplace_back(peer, data);
1000 if (mReceiveDispatched)
1003 mReceiveDispatched =
true;
1018 if (packet.type() == protocol::liBASE)
1020 if (packet.nodes().empty())
1022 JLOG(journal_.warn()) << peer->id() <<
": empty header data";
1023 peer->charge(Resource::feeMalformedRequest,
"ledger_data empty header");
1035 if (!takeHeader(packet.nodes(0).nodedata()))
1037 JLOG(journal_.warn()) <<
"Got invalid header data";
1038 peer->charge(Resource::feeMalformedRequest,
"ledger_data invalid header");
1045 if (!mHaveState && (packet.nodes().size() > 1) &&
1046 !takeAsRootNode(
makeSlice(packet.nodes(1).nodedata()), san))
1048 JLOG(journal_.warn()) <<
"Included AS root invalid";
1051 if (!mHaveTransactions && (packet.nodes().size() > 2) &&
1052 !takeTxRootNode(
makeSlice(packet.nodes(2).nodedata()), san))
1054 JLOG(journal_.warn()) <<
"Included TX root invalid";
1059 JLOG(journal_.warn()) <<
"Included AS/TX root invalid: " << ex.
what();
1060 using namespace std::string_literals;
1061 peer->charge(Resource::feeInvalidData,
"ledger_data "s + ex.
what());
1072 if ((packet.type() == protocol::liTX_NODE) || (packet.type() == protocol::liAS_NODE))
1074 if (packet.nodes().empty())
1076 JLOG(journal_.info()) << peer->id() <<
": response with no nodes";
1077 peer->charge(Resource::feeMalformedRequest,
"ledger_data no nodes");
1084 for (
auto const& node : packet.nodes())
1086 if (!node.has_nodeid() || !node.has_nodedata())
1088 JLOG(journal_.warn()) <<
"Got bad node";
1089 peer->charge(Resource::feeMalformedRequest,
"ledger_data bad node");
1095 receiveNode(packet, san);
1097 JLOG(journal_.debug()) <<
"Ledger "
1098 << ((packet.type() == protocol::liTX_NODE) ?
"TX" :
"AS")
1099 <<
" node stats: " << san.
get();
1126 maxCount =
std::max(maxCount, dataCount);
1127 auto i = counts.
find(peer);
1128 if (i == counts.
end())
1130 counts.
emplace(std::move(peer), dataCount);
1133 i->second =
std::max(i->second, dataCount);
1142 auto const thresh = maxCount / 2;
1143 auto i = counts.
begin();
1144 while (i != counts.
end())
1146 if (i->second < thresh)
1148 i = counts.
erase(i);
1166 auto outFunc = [&f](
auto&& v) { f(v.first); };
1178 counts.
begin(), counts.
end(), boost::make_function_output_iterator(outFunc), n, rng);
1188InboundLedger::runData()
1193 decltype(mReceivedData) data;
1207 if (mReceivedData.empty())
1209 mReceiveDispatched =
false;
1213 data.swap(mReceivedData);
1216 for (
auto& entry : data)
1218 if (
auto peer = entry.first.lock())
1220 int const count = processData(peer, *(entry.second));
1221 dataCounts.
update(std::move(peer), count);
1230 trigger(peer, TriggerReason::reply);
1235InboundLedger::getJson(
int)
1241 ret[jss::hash] = to_string(hash_);
1244 ret[jss::complete] =
true;
1247 ret[jss::failed] =
true;
1249 if (!complete_ && !failed_)
1250 ret[jss::peers] =
static_cast<int>(mPeerSet->getPeerIds().size());
1252 ret[jss::have_header] = mHaveHeader;
1256 ret[jss::have_state] = mHaveState;
1257 ret[jss::have_transactions] = mHaveTransactions;
1260 ret[jss::timeouts] = timeouts_;
1262 if (mHaveHeader && !mHaveState)
1265 for (
auto const& h : neededStateHashes(16,
nullptr))
1269 ret[jss::needed_state_hashes] = hv;
1272 if (mHaveHeader && !mHaveTransactions)
1275 for (
auto const& h : neededTxHashes(16,
nullptr))
1279 ret[jss::needed_transaction_hashes] = hv;
T back_inserter(T... args)
Value & append(Value const &value)
Append value to array at the end.
Stream trace() const
Severity stream access functions.
virtual Config & config()=0
std::unordered_set< uint256, beast::uhash<> > features
virtual NodeStore::Database & db()=0
std::vector< uint256 > neededTxHashes(int max, SHAMapSyncFilter *filter) const
void trigger(std::shared_ptr< Peer > const &, TriggerReason)
Request more nodes, perhaps from a specific peer.
InboundLedger(Application &app, uint256 const &hash, std::uint32_t seq, Reason reason, clock_type &, std::unique_ptr< PeerSet > peerSet)
std::weak_ptr< TimeoutCounter > pmDowncast() override
Return a weak pointer to this.
void tryDB(NodeStore::Database &srcDB)
std::size_t getPeerCount() const
std::vector< uint256 > neededStateHashes(int max, SHAMapSyncFilter *filter) const
void onTimer(bool progress, ScopedLockType &peerSetLock) override
Called with a lock by the PeerSet when the timer expires.
void addPeers()
Add more peers to the set, if possible.
std::shared_ptr< Ledger > mLedger
std::set< uint256 > mRecentNodes
void init(ScopedLockType &collectionLock)
void update(std::uint32_t seq)
std::vector< std::pair< std::weak_ptr< Peer >, std::shared_ptr< protocol::TMLedgerData > > > mReceivedData
std::vector< neededHash_t > getNeededHashes()
std::unique_ptr< PeerSet > mPeerSet
virtual void gotStaleData(std::shared_ptr< protocol::TMLedgerData > packet)=0
virtual void onLedgerFetched()=0
Called when a complete ledger is obtained.
bool addJob(JobType type, std::string const &name, JobHandler &&jobHandler)
Adds a job to the JobQueue.
bool storeLedger(std::shared_ptr< Ledger const > ledger)
std::optional< Blob > getFetchPack(uint256 const &hash) override
Retrieves partial ledger data of the corresponding hash from peers.
void checkAccept(std::shared_ptr< Ledger const > const &ledger)
Persistency layer for NodeObject.
std::shared_ptr< NodeObject > fetchNodeObject(uint256 const &hash, std::uint32_t ledgerSeq=0, FetchType fetchType=FetchType::synchronous, bool duplicate=false)
Fetch a node object.
Rules controlling protocol behavior.
A SHAMap is both a radix tree with a fan-out of 16 and a Merkle tree.
std::vector< std::pair< SHAMapNodeID, uint256 > > getMissingNodes(int maxNodes, SHAMapSyncFilter *filter)
Check for nodes in the SHAMap not available.
SHAMapHash getHash() const
int addRaw(Blob const &vector)
virtual JobQueue & getJobQueue()=0
virtual InboundLedgers & getInboundLedgers()=0
virtual LedgerMaster & getLedgerMaster()=0
virtual Family & getNodeFamily()=0
An immutable linear range of bytes.
This class is an "active" object.
std::recursive_mutex mtx_
uint256 const hash_
The hash of the object (in practice, always a ledger) we are trying to fetch.
void queueJob(ScopedLockType &)
Queue a job to call invokeOnTimer().
bool progress_
Whether forward progress has been made.
static constexpr std::size_t size()
@ arrayValue
array value (ordered list)
@ objectValue
object value (collection of name/value pairs).
Keylet const & fees() noexcept
The (fixed) index of the object containing the ledger fees.
Use hash_* containers for keys that do not need a cryptographically secure hashing algorithm.
static constexpr std::uint32_t XRP_LEDGER_EARLIEST_FEES
The XRP Ledger mainnet's earliest ledger with a FeeSettings object.
auto constexpr ledgerAcquireTimeout
Number root(Number f, unsigned d)
@ ledgerBecomeAggressiveThreshold
@ ledgerTimeoutRetriesMax
LedgerHeader deserializeHeader(Slice data, bool hasHash=false)
Deserialize a ledger header from a byte array.
static std::vector< uint256 > neededHashes(uint256 const &root, SHAMap &map, int max, SHAMapSyncFilter *filter)
std::optional< SHAMapNodeID > deserializeSHAMapNodeID(void const *data, std::size_t size)
Return an object representing a serialized SHAMap Node ID.
std::enable_if_t< std::is_same< T, char >::value||std::is_same< T, unsigned char >::value, Slice > makeSlice(std::array< T, N > const &a)
LedgerHeader deserializePrefixedHeader(Slice data, bool hasHash=false)
Deserialize a ledger header (prefixed with 4 bytes) from a byte array.
T shared_from_this(T... args)
T stable_partition(T... args)
std::unordered_map< std::shared_ptr< Peer >, int > counts
void update(std::shared_ptr< Peer > &&peer, int dataCount)
void sampleN(std::size_t n, F &&f)