lokinet/llarp/dht/bucket.hpp

232 lines
5.0 KiB
C++
Raw Normal View History

#pragma once
#include "kademlia.hpp"
#include "key.hpp"
#include <llarp/util/status.hpp>
#include <map>
#include <set>
2018-08-04 02:59:32 +00:00
#include <vector>
namespace llarp
{
namespace dht
{
template <typename Val_t>
2019-04-19 15:10:26 +00:00
struct Bucket
{
using BucketStorage_t = std::map<Key_t, Val_t, XorMetric>;
using Random_t = std::function<uint64_t()>;
Bucket(const Key_t& us, Random_t r) : nodes(XorMetric(us)), random(std::move(r))
Config file improvements (#1397) * Config file API/comment improvements API improvements: ================= Make the config API use position-independent tag parameters (Required, Default{123}, MultiValue) rather than a sequence of bools with overloads. For example, instead of: conf.defineOption<int>("a", "b", false, true, 123, [] { ... }); you now write: conf.defineOption<int>("a", "b", MultiValue, Default{123}, [] { ... }); The tags are: - Required - MultiValue - Default{value} plus new abilities (see below): - Hidden - RelayOnly - ClientOnly - Comment{"line1", "line2", "line3"} Made option definition more powerful: ===================================== - `Hidden` allows you to define an option that won't show up in the generated config file if it isn't set. - `RelayOnly`/`ClientOnly` sets up an option that is only accepted and only shows up for relay or client configs. (If neither is specified the option shows up in both modes). - `Comment{...}` lets the option comments be specified as part of the defineOption. Comment improvements ==================== - Rewrote comments for various options to expand on details. - Inlined all the comments with the option definitions. - Several options that were missing comments got comments added. - Made various options for deprecated and or internal options hidden by default so that they don't show up in a default config file. - show the section comment (but not option comments) *after* the [section] tag instead of before it as it makes more sense that way (particularly for the [bind] section which has a new long comment to describe how it works). Disable profiling by default ============================ We had this weird state where we use and store profiling by default but never *load* it when starting up. This commit makes us just not use profiling at all unless explicitly enabled. Other misc changes: =================== - change default worker threads to 0 (= num cpus) instead of 1, and fix it to allow 0. - Actually apply worker-threads option - fixed default data-dir value erroneously having quotes around it - reordered ifname/ifaddr/mapaddr (was previously mapaddr/ifaddr/ifname) as mapaddr is a sort of specialization of ifaddr and so makes more sense to come after it (particularly because it now references ifaddr in its help message). - removed peer-stats option (since we always require it for relays and never use it for clients) - removed router profiles filename option (this doesn't need to be configurable) - removed defunct `service-node-seed` option - Change default logging output file to "" (which means stdout), and also made "-" work for stdout. * Router hive compilation fixes * Comments for SNApp SRV settings in ini file * Add extra blank line after section comments * Better deprecated option handling Allow {client,relay}-only options in {relay,client} configs to be specified as implicitly deprecated options: they warn, and don't set anything. Add an explicit `Deprecated` tag and move deprecated option handling into definition.cpp. * Move backwards compat options into section definitions Keep the "addBackwardsCompatibleConfigOptions" only for options in sections that no longer exist. * Fix INI parsing issues & C++17-ify - don't allow inline comments because it seems they aren't allowed in ini formats in general, and is going to cause problems if there is a comment character in a value (e.g. an exit auth string). Additionally it was breaking on a line such as: # some comment; see? because it was treating only `; see?` as the comment and then producing an error message about the rest of the line being invalid. - make section parsing stricter: the `[` and `]` have to be at the beginning at end of the line now (after stripping whitespace). - Move whitespace stripping to the top since everything in here does it. - chop off string_view suffix/prefix rather than maintaining position values - fix potential infinite loop/segfault when given a line such as `]foo[` * Make config parsing failure fatal Load() LogError's and returns false on failure, so we weren't aborting on config file errors. * Formatting: allow `{}` for empty functions/structs Instead of using two lines when empty: { } * Make default dns bind 127.0.0.1 on non-Linux * Don't show empty section; fix tests We can conceivably have sections that only make sense for clients or relays, and so want to completely omit that section if we have no options for the type of config being generated. Also fixes missing empty lines between tests. Co-authored-by: Thomas Winget <tewinget@gmail.com>
2020-10-07 22:22:58 +00:00
{}
2019-02-11 17:14:43 +00:00
util::StatusObject
2019-04-19 15:10:26 +00:00
ExtractStatus() const
2019-02-08 19:43:25 +00:00
{
2019-02-11 17:14:43 +00:00
util::StatusObject obj{};
for (const auto& item : nodes)
2019-02-08 19:43:25 +00:00
{
2019-08-19 21:26:34 +00:00
obj[item.first.ToString()] = item.second.ExtractStatus();
2019-02-08 19:43:25 +00:00
}
2019-02-11 17:14:43 +00:00
return obj;
2019-02-08 19:43:25 +00:00
}
size_t
size() const
{
return nodes.size();
}
struct SetIntersector
{
bool
operator()(const typename BucketStorage_t::value_type& lhs, const Key_t& rhs)
{
return lhs.first < rhs;
}
bool
operator()(const Key_t& lhs, const typename BucketStorage_t::value_type& rhs)
{
return lhs < rhs.first;
}
};
2018-08-04 02:59:32 +00:00
bool
GetRandomNodeExcluding(Key_t& result, const std::set<Key_t>& exclude) const
2018-08-04 02:59:32 +00:00
{
std::vector<typename BucketStorage_t::value_type> candidates;
std::set_difference(
nodes.begin(),
nodes.end(),
exclude.begin(),
exclude.end(),
std::back_inserter(candidates),
SetIntersector());
if (candidates.empty())
2018-08-04 02:59:32 +00:00
{
return false;
}
result = candidates[random() % candidates.size()].first;
2018-08-04 02:59:32 +00:00
return true;
}
bool
FindClosest(const Key_t& target, Key_t& result) const
{
Key_t mindist;
mindist.Fill(0xff);
for (const auto& item : nodes)
{
auto curDist = item.first ^ target;
if (curDist < mindist)
{
mindist = curDist;
result = item.first;
}
}
return nodes.size() > 0;
}
2018-08-29 20:40:26 +00:00
bool
GetManyRandom(std::set<Key_t>& result, size_t N) const
2018-08-29 20:40:26 +00:00
{
if (nodes.size() < N || nodes.empty())
2018-11-20 16:58:18 +00:00
{
llarp::LogWarn("Not enough dht nodes, have ", nodes.size(), " want ", N);
2018-08-29 20:40:26 +00:00
return false;
2018-11-20 16:58:18 +00:00
}
if (nodes.size() == N)
2018-08-29 20:40:26 +00:00
{
std::transform(
nodes.begin(), nodes.end(), std::inserter(result, result.end()), [](const auto& a) {
return a.first;
});
2018-08-29 20:40:26 +00:00
return true;
}
size_t expecting = N;
size_t sz = nodes.size();
while (N)
2018-08-29 20:40:26 +00:00
{
auto itr = nodes.begin();
std::advance(itr, random() % sz);
if (result.insert(itr->first).second)
{
2018-08-29 20:40:26 +00:00
--N;
}
2018-08-29 20:40:26 +00:00
}
return result.size() == expecting;
}
bool
FindCloseExcluding(const Key_t& target, Key_t& result, const std::set<Key_t>& exclude) const
{
Key_t maxdist;
maxdist.Fill(0xff);
Key_t mindist;
mindist.Fill(0xff);
for (const auto& item : nodes)
{
if (exclude.count(item.first))
{
continue;
}
2018-08-10 21:34:11 +00:00
auto curDist = item.first ^ target;
if (curDist < mindist)
{
mindist = curDist;
result = item.first;
}
}
return mindist < maxdist;
}
bool
GetManyNearExcluding(
const Key_t& target,
std::set<Key_t>& result,
size_t N,
const std::set<Key_t>& exclude) const
{
std::set<Key_t> s(exclude.begin(), exclude.end());
Key_t peer;
while (N--)
{
if (!FindCloseExcluding(target, peer, s))
{
return false;
}
s.insert(peer);
result.insert(peer);
}
return true;
}
void
PutNode(const Val_t& val)
{
auto itr = nodes.find(val.ID);
if (itr == nodes.end() || itr->second < val)
{
nodes[val.ID] = val;
}
}
void
DelNode(const Key_t& key)
{
auto itr = nodes.find(key);
if (itr != nodes.end())
{
nodes.erase(itr);
}
}
2018-12-19 17:48:29 +00:00
bool
HasNode(const Key_t& key) const
{
return nodes.find(key) != nodes.end();
}
2019-09-10 14:16:32 +00:00
// remove all nodes who's key matches a predicate
template <typename Predicate>
2019-09-10 14:16:32 +00:00
void
RemoveIf(Predicate pred)
{
auto itr = nodes.begin();
while (itr != nodes.end())
2019-09-10 14:16:32 +00:00
{
if (pred(itr->first))
2019-09-10 14:16:32 +00:00
itr = nodes.erase(itr);
else
++itr;
}
}
template <typename Visit_t>
2020-01-21 17:31:48 +00:00
void
ForEachNode(Visit_t visit)
{
for (const auto& item : nodes)
2020-01-21 17:31:48 +00:00
{
visit(item.second);
}
}
void
Clear()
{
nodes.clear();
}
BucketStorage_t nodes;
Random_t random;
};
2018-07-17 04:37:50 +00:00
} // namespace dht
} // namespace llarp