blob: 348348d5d66d6efdc3d59e3acd0c0cf892261b05 [file] [log] [blame]
Junxiao Shi57df2882015-11-11 06:12:35 -07001/* -*- Mode:C++; c-file-style:"gnu"; indent-tabs-mode:nil; -*- */
Davide Pesavento45898d22018-04-17 21:59:54 -04002/*
Davide Pesaventocf7db2f2019-03-24 23:17:28 -04003 * Copyright (c) 2014-2019, Regents of the University of California,
Junxiao Shi57df2882015-11-11 06:12:35 -07004 * Arizona Board of Regents,
5 * Colorado State University,
6 * University Pierre & Marie Curie, Sorbonne University,
7 * Washington University in St. Louis,
8 * Beijing Institute of Technology,
9 * The University of Memphis.
10 *
11 * This file is part of NFD (Named Data Networking Forwarding Daemon).
12 * See AUTHORS.md for complete list of NFD authors and contributors.
13 *
14 * NFD is free software: you can redistribute it and/or modify it under the terms
15 * of the GNU General Public License as published by the Free Software Foundation,
16 * either version 3 of the License, or (at your option) any later version.
17 *
18 * NFD is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY;
19 * without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
20 * PURPOSE. See the GNU General Public License for more details.
21 *
22 * You should have received a copy of the GNU General Public License along with
23 * NFD, e.g., in COPYING.md file. If not, see <http://www.gnu.org/licenses/>.
24 */
25
26#include "face/transport.hpp"
Junxiao Shicde37ad2015-12-24 01:02:05 -070027#include "face/face.hpp"
Davide Pesaventocf7db2f2019-03-24 23:17:28 -040028
Davide Pesavento16916ae2019-03-29 23:53:26 -040029#include "tests/test-common.hpp"
Davide Pesaventocf7db2f2019-03-24 23:17:28 -040030#include "tests/daemon/global-io-fixture.hpp"
Davide Pesaventoa8098582019-03-31 15:48:02 -040031#include "tests/daemon/face/dummy-link-service.hpp"
32#include "tests/daemon/face/dummy-transport.hpp"
Junxiao Shi57df2882015-11-11 06:12:35 -070033
Davide Pesavento45898d22018-04-17 21:59:54 -040034#include <boost/mpl/fold.hpp>
Junxiao Shi57df2882015-11-11 06:12:35 -070035#include <boost/mpl/int.hpp>
Davide Pesavento45898d22018-04-17 21:59:54 -040036#include <boost/mpl/lambda.hpp>
Junxiao Shi57df2882015-11-11 06:12:35 -070037#include <boost/mpl/map.hpp>
Davide Pesavento45898d22018-04-17 21:59:54 -040038#include <boost/mpl/pair.hpp>
39#include <boost/mpl/push_back.hpp>
Junxiao Shi57df2882015-11-11 06:12:35 -070040#include <boost/mpl/set.hpp>
Davide Pesavento45898d22018-04-17 21:59:54 -040041#include <boost/mpl/vector.hpp>
Junxiao Shi57df2882015-11-11 06:12:35 -070042
Junxiao Shi57df2882015-11-11 06:12:35 -070043namespace nfd {
44namespace face {
45namespace tests {
46
Davide Pesavento97210d52016-10-14 15:45:48 +020047namespace mpl = boost::mpl;
Davide Pesavento14e71f02019-03-28 17:35:25 -040048using namespace nfd::tests;
Junxiao Shicde37ad2015-12-24 01:02:05 -070049
Davide Pesavento97210d52016-10-14 15:45:48 +020050BOOST_AUTO_TEST_SUITE(Face)
Davide Pesavento32065652017-01-15 01:52:21 -050051BOOST_AUTO_TEST_SUITE(TestTransport)
Junxiao Shi57df2882015-11-11 06:12:35 -070052
Davide Pesavento32065652017-01-15 01:52:21 -050053BOOST_AUTO_TEST_CASE(PersistencyChange)
54{
Davide Pesavento16916ae2019-03-29 23:53:26 -040055 auto transport = make_unique<DummyTransport>();
56 BOOST_CHECK_EQUAL(transport->getPersistency(), ndn::nfd::FACE_PERSISTENCY_PERSISTENT);
Davide Pesavento32065652017-01-15 01:52:21 -050057 BOOST_CHECK_EQUAL(transport->persistencyHistory.size(), 0);
58
59 BOOST_CHECK_EQUAL(transport->canChangePersistencyTo(ndn::nfd::FACE_PERSISTENCY_NONE), false);
60 BOOST_REQUIRE_EQUAL(transport->canChangePersistencyTo(transport->getPersistency()), true);
61 BOOST_REQUIRE_EQUAL(transport->canChangePersistencyTo(ndn::nfd::FACE_PERSISTENCY_PERMANENT), true);
62
63 transport->setPersistency(transport->getPersistency());
Davide Pesavento16916ae2019-03-29 23:53:26 -040064 BOOST_CHECK_EQUAL(transport->getPersistency(), ndn::nfd::FACE_PERSISTENCY_PERSISTENT);
Davide Pesavento32065652017-01-15 01:52:21 -050065 BOOST_CHECK_EQUAL(transport->persistencyHistory.size(), 0);
66
67 transport->setPersistency(ndn::nfd::FACE_PERSISTENCY_PERMANENT);
68 BOOST_CHECK_EQUAL(transport->getPersistency(), ndn::nfd::FACE_PERSISTENCY_PERMANENT);
69 BOOST_REQUIRE_EQUAL(transport->persistencyHistory.size(), 1);
Davide Pesavento16916ae2019-03-29 23:53:26 -040070 BOOST_CHECK_EQUAL(transport->persistencyHistory.back(), ndn::nfd::FACE_PERSISTENCY_PERSISTENT);
Davide Pesavento32065652017-01-15 01:52:21 -050071}
72
Junxiao Shi57df2882015-11-11 06:12:35 -070073/** \brief a macro to declare a TransportState as a integral constant
Davide Pesavento45898d22018-04-17 21:59:54 -040074 * \note we cannot use mpl::integral_c because TransportState is not an integral type
Junxiao Shi57df2882015-11-11 06:12:35 -070075 */
76#define TRANSPORT_STATE_C(X) mpl::int_<static_cast<int>(TransportState::X)>
77
78/** \brief a map from every TransportState to a valid state transition sequence
79 * for entering this state from UP
80 */
81typedef mpl::map<
82 mpl::pair<TRANSPORT_STATE_C(UP),
83 mpl::vector<>>,
84 mpl::pair<TRANSPORT_STATE_C(DOWN),
85 mpl::vector<
86 TRANSPORT_STATE_C(DOWN)
87 >>,
88 mpl::pair<TRANSPORT_STATE_C(CLOSING),
89 mpl::vector<
90 TRANSPORT_STATE_C(CLOSING)
91 >>,
92 mpl::pair<TRANSPORT_STATE_C(FAILED),
93 mpl::vector<
94 TRANSPORT_STATE_C(FAILED)
95 >>,
96 mpl::pair<TRANSPORT_STATE_C(CLOSED),
97 mpl::vector<
98 TRANSPORT_STATE_C(CLOSING),
99 TRANSPORT_STATE_C(CLOSED)
100 >>
101> StateEntering;
102
103/** \brief a sequence of all valid TransportStates
104 */
105typedef mpl::fold<StateEntering,
106 mpl::vector<>,
107 mpl::push_back<mpl::_1, mpl::first<mpl::_2>>
108>::type States;
109
110/** \brief a set of all valid state transitions
111 */
112typedef mpl::set<
113 mpl::pair<TRANSPORT_STATE_C(UP), TRANSPORT_STATE_C(DOWN)>,
114 mpl::pair<TRANSPORT_STATE_C(DOWN), TRANSPORT_STATE_C(UP)>,
115 mpl::pair<TRANSPORT_STATE_C(UP), TRANSPORT_STATE_C(CLOSING)>,
116 mpl::pair<TRANSPORT_STATE_C(UP), TRANSPORT_STATE_C(FAILED)>,
117 mpl::pair<TRANSPORT_STATE_C(DOWN), TRANSPORT_STATE_C(CLOSING)>,
118 mpl::pair<TRANSPORT_STATE_C(DOWN), TRANSPORT_STATE_C(FAILED)>,
119 mpl::pair<TRANSPORT_STATE_C(CLOSING), TRANSPORT_STATE_C(CLOSED)>,
120 mpl::pair<TRANSPORT_STATE_C(FAILED), TRANSPORT_STATE_C(CLOSED)>
121> ValidStateTransitions;
122
Davide Pesavento45898d22018-04-17 21:59:54 -0400123/** \brief a metafunction to generate a sequence of all state transitions
Junxiao Shi57df2882015-11-11 06:12:35 -0700124 * from a specified state
125 */
Davide Pesavento45898d22018-04-17 21:59:54 -0400126template<typename FromState, typename Result>
127struct StateTransitionsFrom : mpl::fold<
128 States,
129 Result,
130 mpl::push_back<mpl::_1, mpl::pair<FromState, mpl::_2>>>
Junxiao Shi57df2882015-11-11 06:12:35 -0700131{
Junxiao Shi57df2882015-11-11 06:12:35 -0700132};
133
134/** \brief a sequence of all state transitions
135 */
136typedef mpl::fold<
137 States,
Davide Pesavento45898d22018-04-17 21:59:54 -0400138 mpl::vector<>,
139 mpl::lambda<StateTransitionsFrom<mpl::_2, mpl::_1>>
Junxiao Shi57df2882015-11-11 06:12:35 -0700140>::type AllStateTransitions;
141
142#undef TRANSPORT_STATE_C
143
144BOOST_AUTO_TEST_CASE_TEMPLATE(SetState, T, AllStateTransitions)
145{
Davide Pesavento32065652017-01-15 01:52:21 -0500146 auto transport = make_unique<DummyTransport>();
Junxiao Shi57df2882015-11-11 06:12:35 -0700147
148 TransportState from = static_cast<TransportState>(T::first::value);
149 TransportState to = static_cast<TransportState>(T::second::value);
150 BOOST_TEST_MESSAGE("SetState " << from << " -> " << to);
151
152 // enter from state
Davide Pesavento32065652017-01-15 01:52:21 -0500153 using Steps = typename mpl::at<StateEntering, mpl::int_<T::first::value>>::type;
154 mpl::for_each<Steps>([&transport] (int state) {
155 transport->setState(static_cast<TransportState>(state));
156 });
Junxiao Shi57df2882015-11-11 06:12:35 -0700157 BOOST_REQUIRE_EQUAL(transport->getState(), from);
158
159 bool hasSignal = false;
Davide Pesavento32065652017-01-15 01:52:21 -0500160 transport->afterStateChange.connect(
Junxiao Shi57df2882015-11-11 06:12:35 -0700161 [from, to, &hasSignal] (TransportState oldState, TransportState newState) {
162 hasSignal = true;
163 BOOST_CHECK_EQUAL(oldState, from);
164 BOOST_CHECK_EQUAL(newState, to);
165 });
166
167 // do transition
168 bool isValid = from == to ||
169 mpl::has_key<ValidStateTransitions,
170 mpl::pair<mpl::int_<T::first::value>, mpl::int_<T::second::value>>
171 >::value;
172 if (isValid) {
173 BOOST_REQUIRE_NO_THROW(transport->setState(to));
174 BOOST_CHECK_EQUAL(hasSignal, from != to);
175 }
176 else {
Davide Pesavento32065652017-01-15 01:52:21 -0500177 BOOST_CHECK_THROW(transport->setState(to), std::runtime_error);
Junxiao Shi57df2882015-11-11 06:12:35 -0700178 }
179}
180
Davide Pesavento14e71f02019-03-28 17:35:25 -0400181class DummyTransportFixture : public GlobalIoFixture
Davide Pesavento32065652017-01-15 01:52:21 -0500182{
183protected:
184 DummyTransportFixture()
185 : transport(nullptr)
186 , sentPackets(nullptr)
187 , receivedPackets(nullptr)
188 {
189 // Constructor does not initialize the fixture,
190 // so that test case may specify different parameters to DummyTransport constructor.
191 }
192
193 void
Davide Pesavento16916ae2019-03-29 23:53:26 -0400194 initialize(unique_ptr<DummyTransport> t = make_unique<DummyTransport>())
Davide Pesavento32065652017-01-15 01:52:21 -0500195 {
Davide Pesaventoa8098582019-03-31 15:48:02 -0400196 this->face = make_unique<nfd::Face>(make_unique<DummyLinkService>(), std::move(t));
Davide Pesavento32065652017-01-15 01:52:21 -0500197 this->transport = static_cast<DummyTransport*>(face->getTransport());
198 this->sentPackets = &this->transport->sentPackets;
Davide Pesaventoa8098582019-03-31 15:48:02 -0400199 this->receivedPackets = &static_cast<DummyLinkService*>(face->getLinkService())->receivedPackets;
Davide Pesavento32065652017-01-15 01:52:21 -0500200 }
201
202protected:
203 unique_ptr<nfd::Face> face;
204 DummyTransport* transport;
205 std::vector<Transport::Packet>* sentPackets;
206 std::vector<Transport::Packet>* receivedPackets;
207};
208
209BOOST_FIXTURE_TEST_CASE(Send, DummyTransportFixture)
Junxiao Shi57df2882015-11-11 06:12:35 -0700210{
211 this->initialize();
212
213 Block pkt1 = ndn::encoding::makeStringBlock(300, "Lorem ipsum dolor sit amet,");
214 transport->send(Transport::Packet(Block(pkt1)));
215
216 Block pkt2 = ndn::encoding::makeStringBlock(301, "consectetur adipiscing elit,");
217 transport->send(Transport::Packet(Block(pkt2)));
218
219 transport->setState(TransportState::DOWN);
220 Block pkt3 = ndn::encoding::makeStringBlock(302, "sed do eiusmod tempor incididunt ");
221 transport->send(Transport::Packet(Block(pkt3)));
222
223 transport->setState(TransportState::CLOSING);
224 Block pkt4 = ndn::encoding::makeStringBlock(303, "ut labore et dolore magna aliqua.");
225 transport->send(Transport::Packet(Block(pkt4)));
226
227 BOOST_CHECK_EQUAL(transport->getCounters().nOutPackets, 2);
228 BOOST_CHECK_EQUAL(transport->getCounters().nOutBytes, pkt1.size() + pkt2.size());
229 BOOST_REQUIRE_EQUAL(sentPackets->size(), 3);
230 BOOST_CHECK(sentPackets->at(0).packet == pkt1);
231 BOOST_CHECK(sentPackets->at(1).packet == pkt2);
232 BOOST_CHECK(sentPackets->at(2).packet == pkt3);
233}
234
Davide Pesavento32065652017-01-15 01:52:21 -0500235BOOST_FIXTURE_TEST_CASE(Receive, DummyTransportFixture)
Junxiao Shi57df2882015-11-11 06:12:35 -0700236{
237 this->initialize();
238
239 Block pkt1 = ndn::encoding::makeStringBlock(300, "Lorem ipsum dolor sit amet,");
240 transport->receivePacket(pkt1);
241
242 Block pkt2 = ndn::encoding::makeStringBlock(301, "consectetur adipiscing elit,");
243 transport->receivePacket(pkt2);
244
245 transport->setState(TransportState::DOWN);
246 Block pkt3 = ndn::encoding::makeStringBlock(302, "sed do eiusmod tempor incididunt ");
247 transport->receivePacket(pkt3);
248
249 BOOST_CHECK_EQUAL(transport->getCounters().nInPackets, 3);
250 BOOST_CHECK_EQUAL(transport->getCounters().nInBytes, pkt1.size() + pkt2.size() + pkt3.size());
251 BOOST_REQUIRE_EQUAL(receivedPackets->size(), 3);
252 BOOST_CHECK(receivedPackets->at(0).packet == pkt1);
253 BOOST_CHECK(receivedPackets->at(1).packet == pkt2);
254 BOOST_CHECK(receivedPackets->at(2).packet == pkt3);
255}
256
257BOOST_AUTO_TEST_SUITE_END() // TestTransport
258BOOST_AUTO_TEST_SUITE_END() // Face
259
260} // namespace tests
261} // namespace face
262} // namespace nfd