rippled
Loading...
Searching...
No Matches
BasicNetwork_test.cpp
1#include <test/csf/BasicNetwork.h>
2#include <test/csf/Scheduler.h>
3
4#include <xrpl/beast/unit_test.h>
5
6#include <set>
7#include <vector>
8
9namespace ripple {
10namespace test {
11
13{
14public:
15 struct Peer
16 {
17 int id;
19
20 Peer(Peer const&) = default;
21 Peer(Peer&&) = default;
22
23 explicit Peer(int id_) : id(id_)
24 {
25 }
26
27 template <class Net>
28 void
29 start(csf::Scheduler& scheduler, Net& net)
30 {
31 using namespace std::chrono_literals;
32 auto t = scheduler.in(1s, [&] { set.insert(0); });
33 if (id == 0)
34 {
35 for (auto const link : net.links(this))
36 net.send(this, link.target, [&, to = link.target] {
37 to->receive(net, this, 1);
38 });
39 }
40 else
41 {
42 scheduler.cancel(t);
43 }
44 }
45
46 template <class Net>
47 void
48 receive(Net& net, Peer* from, int m)
49 {
50 set.insert(m);
51 ++m;
52 if (m < 5)
53 {
54 for (auto const link : net.links(this))
55 net.send(this, link.target, [&, mm = m, to = link.target] {
56 to->receive(net, this, mm);
57 });
58 }
59 }
60 };
61
62 void
64 {
65 using namespace std::chrono_literals;
67 pv.emplace_back(0);
68 pv.emplace_back(1);
69 pv.emplace_back(2);
70 csf::Scheduler scheduler;
71 csf::BasicNetwork<Peer*> net(scheduler);
72 BEAST_EXPECT(!net.connect(&pv[0], &pv[0]));
73 BEAST_EXPECT(net.connect(&pv[0], &pv[1], 1s));
74 BEAST_EXPECT(net.connect(&pv[1], &pv[2], 1s));
75 BEAST_EXPECT(!net.connect(&pv[0], &pv[1]));
76 for (auto& peer : pv)
77 peer.start(scheduler, net);
78 BEAST_EXPECT(scheduler.step_for(0s));
79 BEAST_EXPECT(scheduler.step_for(1s));
80 BEAST_EXPECT(scheduler.step());
81 BEAST_EXPECT(!scheduler.step());
82 BEAST_EXPECT(!scheduler.step_for(1s));
83 net.send(&pv[0], &pv[1], [] {});
84 net.send(&pv[1], &pv[0], [] {});
85 BEAST_EXPECT(net.disconnect(&pv[0], &pv[1]));
86 BEAST_EXPECT(!net.disconnect(&pv[0], &pv[1]));
87 for (;;)
88 {
89 auto const links = net.links(&pv[1]);
90 if (links.empty())
91 break;
92 BEAST_EXPECT(net.disconnect(&pv[1], links[0].target));
93 }
94 BEAST_EXPECT(pv[0].set == std::set<int>({0, 2, 4}));
95 BEAST_EXPECT(pv[1].set == std::set<int>({1, 3}));
96 BEAST_EXPECT(pv[2].set == std::set<int>({2, 4}));
97 }
98
99 void
101 {
102 using namespace std::chrono_literals;
103 csf::Scheduler scheduler;
104 csf::BasicNetwork<int> net(scheduler);
105 BEAST_EXPECT(net.connect(0, 1, 1s));
106 BEAST_EXPECT(net.connect(0, 2, 2s));
107
108 std::set<int> delivered;
109 net.send(0, 1, [&]() { delivered.insert(1); });
110 net.send(0, 2, [&]() { delivered.insert(2); });
111
112 scheduler.in(1000ms, [&]() { BEAST_EXPECT(net.disconnect(0, 2)); });
113 scheduler.in(1100ms, [&]() { BEAST_EXPECT(net.connect(0, 2)); });
114
115 scheduler.step();
116
117 // only the first message is delivered because the disconnect at 1 s
118 // purges all pending messages from 0 to 2
119 BEAST_EXPECT(delivered == std::set<int>({1}));
120 }
121
122 void
123 run() override
124 {
125 testNetwork();
126 testDisconnect();
127 }
128};
129
130BEAST_DEFINE_TESTSUITE(BasicNetwork, csf, ripple);
131
132} // namespace test
133} // namespace ripple
A testsuite class.
Definition suite.h:52
void run() override
Runs the suite.
Peer to peer network simulator.
void send(Peer const &from, Peer const &to, Function &&f)
Send a message to a peer.
bool disconnect(Peer const &peer1, Peer const &peer2)
Break a link.
auto links(Peer const &from)
Return the range of active links.
bool connect(Peer const &from, Peer const &to, duration const &delay=std::chrono::seconds{0})
Connect two peers.
Simulated discrete-event scheduler.
bool step_for(std::chrono::duration< Period, Rep > const &amount)
Run the scheduler until time has elapsed.
bool step()
Run the scheduler until no events remain.
cancel_token in(duration const &delay, Function &&f)
Schedule an event after a specified duration passes.
T emplace_back(T... args)
T insert(T... args)
Use hash_* containers for keys that do not need a cryptographically secure hashing algorithm.
Definition algorithm.h:6
bool set(T &target, std::string const &name, Section const &section)
Set a value from a configuration Section If the named value is not found or doesn't parse as a T,...
void start(csf::Scheduler &scheduler, Net &net)
void receive(Net &net, Peer *from, int m)