blob: e3e427c2d625a1e9972af8eabfbef024e6ab0dc8 [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 Pesaventoe422f9e2022-06-03 01:30:23 -04003 * Copyright (c) 2014-2022, 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
Davide Pesaventoe422f9e2022-06-03 01:30:23 -040043namespace nfd::tests {
Junxiao Shi57df2882015-11-11 06:12:35 -070044
Davide Pesavento97210d52016-10-14 15:45:48 +020045namespace mpl = boost::mpl;
Davide Pesaventoe422f9e2022-06-03 01:30:23 -040046using namespace nfd::face;
Junxiao Shicde37ad2015-12-24 01:02:05 -070047
Davide Pesavento97210d52016-10-14 15:45:48 +020048BOOST_AUTO_TEST_SUITE(Face)
Davide Pesavento32065652017-01-15 01:52:21 -050049BOOST_AUTO_TEST_SUITE(TestTransport)
Junxiao Shi57df2882015-11-11 06:12:35 -070050
Davide Pesavento32065652017-01-15 01:52:21 -050051BOOST_AUTO_TEST_CASE(PersistencyChange)
52{
Davide Pesavento16916ae2019-03-29 23:53:26 -040053 auto transport = make_unique<DummyTransport>();
54 BOOST_CHECK_EQUAL(transport->getPersistency(), ndn::nfd::FACE_PERSISTENCY_PERSISTENT);
Davide Pesavento32065652017-01-15 01:52:21 -050055 BOOST_CHECK_EQUAL(transport->persistencyHistory.size(), 0);
56
57 BOOST_CHECK_EQUAL(transport->canChangePersistencyTo(ndn::nfd::FACE_PERSISTENCY_NONE), false);
58 BOOST_REQUIRE_EQUAL(transport->canChangePersistencyTo(transport->getPersistency()), true);
59 BOOST_REQUIRE_EQUAL(transport->canChangePersistencyTo(ndn::nfd::FACE_PERSISTENCY_PERMANENT), true);
60
61 transport->setPersistency(transport->getPersistency());
Davide Pesavento16916ae2019-03-29 23:53:26 -040062 BOOST_CHECK_EQUAL(transport->getPersistency(), ndn::nfd::FACE_PERSISTENCY_PERSISTENT);
Davide Pesavento32065652017-01-15 01:52:21 -050063 BOOST_CHECK_EQUAL(transport->persistencyHistory.size(), 0);
64
65 transport->setPersistency(ndn::nfd::FACE_PERSISTENCY_PERMANENT);
66 BOOST_CHECK_EQUAL(transport->getPersistency(), ndn::nfd::FACE_PERSISTENCY_PERMANENT);
67 BOOST_REQUIRE_EQUAL(transport->persistencyHistory.size(), 1);
Davide Pesavento16916ae2019-03-29 23:53:26 -040068 BOOST_CHECK_EQUAL(transport->persistencyHistory.back(), ndn::nfd::FACE_PERSISTENCY_PERSISTENT);
Davide Pesavento32065652017-01-15 01:52:21 -050069}
70
Davide Pesaventoaa9e3b22022-10-21 17:00:07 -040071/** \brief A macro to declare a TransportState as a integral constant.
Davide Pesavento45898d22018-04-17 21:59:54 -040072 * \note we cannot use mpl::integral_c because TransportState is not an integral type
Junxiao Shi57df2882015-11-11 06:12:35 -070073 */
74#define TRANSPORT_STATE_C(X) mpl::int_<static_cast<int>(TransportState::X)>
75
Davide Pesaventoaa9e3b22022-10-21 17:00:07 -040076/** \brief A map from every TransportState to a valid state transition sequence
77 * for entering this state from UP.
Junxiao Shi57df2882015-11-11 06:12:35 -070078 */
79typedef mpl::map<
80 mpl::pair<TRANSPORT_STATE_C(UP),
81 mpl::vector<>>,
82 mpl::pair<TRANSPORT_STATE_C(DOWN),
83 mpl::vector<
84 TRANSPORT_STATE_C(DOWN)
85 >>,
86 mpl::pair<TRANSPORT_STATE_C(CLOSING),
87 mpl::vector<
88 TRANSPORT_STATE_C(CLOSING)
89 >>,
90 mpl::pair<TRANSPORT_STATE_C(FAILED),
91 mpl::vector<
92 TRANSPORT_STATE_C(FAILED)
93 >>,
94 mpl::pair<TRANSPORT_STATE_C(CLOSED),
95 mpl::vector<
96 TRANSPORT_STATE_C(CLOSING),
97 TRANSPORT_STATE_C(CLOSED)
98 >>
99> StateEntering;
100
Davide Pesaventoaa9e3b22022-10-21 17:00:07 -0400101/** \brief A sequence of all valid TransportStates.
Junxiao Shi57df2882015-11-11 06:12:35 -0700102 */
103typedef mpl::fold<StateEntering,
104 mpl::vector<>,
105 mpl::push_back<mpl::_1, mpl::first<mpl::_2>>
106>::type States;
107
Davide Pesaventoaa9e3b22022-10-21 17:00:07 -0400108/** \brief A set of all valid state transitions.
Junxiao Shi57df2882015-11-11 06:12:35 -0700109 */
110typedef mpl::set<
111 mpl::pair<TRANSPORT_STATE_C(UP), TRANSPORT_STATE_C(DOWN)>,
112 mpl::pair<TRANSPORT_STATE_C(DOWN), TRANSPORT_STATE_C(UP)>,
113 mpl::pair<TRANSPORT_STATE_C(UP), TRANSPORT_STATE_C(CLOSING)>,
114 mpl::pair<TRANSPORT_STATE_C(UP), TRANSPORT_STATE_C(FAILED)>,
115 mpl::pair<TRANSPORT_STATE_C(DOWN), TRANSPORT_STATE_C(CLOSING)>,
116 mpl::pair<TRANSPORT_STATE_C(DOWN), TRANSPORT_STATE_C(FAILED)>,
117 mpl::pair<TRANSPORT_STATE_C(CLOSING), TRANSPORT_STATE_C(CLOSED)>,
118 mpl::pair<TRANSPORT_STATE_C(FAILED), TRANSPORT_STATE_C(CLOSED)>
119> ValidStateTransitions;
120
Davide Pesaventoaa9e3b22022-10-21 17:00:07 -0400121/** \brief A metafunction to generate a sequence of all state transitions
122 * from a specified state.
Junxiao Shi57df2882015-11-11 06:12:35 -0700123 */
Davide Pesavento45898d22018-04-17 21:59:54 -0400124template<typename FromState, typename Result>
125struct StateTransitionsFrom : mpl::fold<
126 States,
127 Result,
128 mpl::push_back<mpl::_1, mpl::pair<FromState, mpl::_2>>>
Junxiao Shi57df2882015-11-11 06:12:35 -0700129{
Junxiao Shi57df2882015-11-11 06:12:35 -0700130};
131
Davide Pesaventoaa9e3b22022-10-21 17:00:07 -0400132/** \brief A sequence of all state transitions.
Junxiao Shi57df2882015-11-11 06:12:35 -0700133 */
134typedef mpl::fold<
135 States,
Davide Pesavento45898d22018-04-17 21:59:54 -0400136 mpl::vector<>,
137 mpl::lambda<StateTransitionsFrom<mpl::_2, mpl::_1>>
Junxiao Shi57df2882015-11-11 06:12:35 -0700138>::type AllStateTransitions;
139
140#undef TRANSPORT_STATE_C
141
142BOOST_AUTO_TEST_CASE_TEMPLATE(SetState, T, AllStateTransitions)
143{
Davide Pesavento32065652017-01-15 01:52:21 -0500144 auto transport = make_unique<DummyTransport>();
Junxiao Shi57df2882015-11-11 06:12:35 -0700145
Davide Pesaventoe422f9e2022-06-03 01:30:23 -0400146 auto from = static_cast<TransportState>(T::first::value);
147 auto to = static_cast<TransportState>(T::second::value);
Junxiao Shi57df2882015-11-11 06:12:35 -0700148 BOOST_TEST_MESSAGE("SetState " << from << " -> " << to);
149
150 // enter from state
Davide Pesavento32065652017-01-15 01:52:21 -0500151 using Steps = typename mpl::at<StateEntering, mpl::int_<T::first::value>>::type;
152 mpl::for_each<Steps>([&transport] (int state) {
153 transport->setState(static_cast<TransportState>(state));
154 });
Junxiao Shi57df2882015-11-11 06:12:35 -0700155 BOOST_REQUIRE_EQUAL(transport->getState(), from);
156
157 bool hasSignal = false;
Davide Pesavento32065652017-01-15 01:52:21 -0500158 transport->afterStateChange.connect(
Junxiao Shi57df2882015-11-11 06:12:35 -0700159 [from, to, &hasSignal] (TransportState oldState, TransportState newState) {
160 hasSignal = true;
161 BOOST_CHECK_EQUAL(oldState, from);
162 BOOST_CHECK_EQUAL(newState, to);
163 });
164
165 // do transition
166 bool isValid = from == to ||
167 mpl::has_key<ValidStateTransitions,
168 mpl::pair<mpl::int_<T::first::value>, mpl::int_<T::second::value>>
169 >::value;
170 if (isValid) {
171 BOOST_REQUIRE_NO_THROW(transport->setState(to));
172 BOOST_CHECK_EQUAL(hasSignal, from != to);
173 }
174 else {
Davide Pesavento32065652017-01-15 01:52:21 -0500175 BOOST_CHECK_THROW(transport->setState(to), std::runtime_error);
Junxiao Shi57df2882015-11-11 06:12:35 -0700176 }
177}
178
Davide Pesavento14e71f02019-03-28 17:35:25 -0400179class DummyTransportFixture : public GlobalIoFixture
Davide Pesavento32065652017-01-15 01:52:21 -0500180{
181protected:
Davide Pesavento32065652017-01-15 01:52:21 -0500182 void
Davide Pesavento16916ae2019-03-29 23:53:26 -0400183 initialize(unique_ptr<DummyTransport> t = make_unique<DummyTransport>())
Davide Pesavento32065652017-01-15 01:52:21 -0500184 {
Davide Pesaventoa8098582019-03-31 15:48:02 -0400185 this->face = make_unique<nfd::Face>(make_unique<DummyLinkService>(), std::move(t));
Davide Pesavento32065652017-01-15 01:52:21 -0500186 this->transport = static_cast<DummyTransport*>(face->getTransport());
187 this->sentPackets = &this->transport->sentPackets;
Davide Pesaventoa8098582019-03-31 15:48:02 -0400188 this->receivedPackets = &static_cast<DummyLinkService*>(face->getLinkService())->receivedPackets;
Davide Pesavento32065652017-01-15 01:52:21 -0500189 }
190
191protected:
192 unique_ptr<nfd::Face> face;
Davide Pesaventob3a23ca2019-05-04 20:40:21 -0400193 DummyTransport* transport = nullptr;
Teng Liang13d582a2020-07-21 20:23:11 -0700194 const std::vector<Block>* sentPackets = nullptr;
Davide Pesaventob3a23ca2019-05-04 20:40:21 -0400195 const std::vector<RxPacket>* receivedPackets = nullptr;
Davide Pesavento32065652017-01-15 01:52:21 -0500196};
197
198BOOST_FIXTURE_TEST_CASE(Send, DummyTransportFixture)
Junxiao Shi57df2882015-11-11 06:12:35 -0700199{
200 this->initialize();
201
202 Block pkt1 = ndn::encoding::makeStringBlock(300, "Lorem ipsum dolor sit amet,");
Davide Pesaventob3a23ca2019-05-04 20:40:21 -0400203 transport->send(pkt1);
Junxiao Shi57df2882015-11-11 06:12:35 -0700204
205 Block pkt2 = ndn::encoding::makeStringBlock(301, "consectetur adipiscing elit,");
Davide Pesaventob3a23ca2019-05-04 20:40:21 -0400206 transport->send(pkt2);
Junxiao Shi57df2882015-11-11 06:12:35 -0700207
208 transport->setState(TransportState::DOWN);
209 Block pkt3 = ndn::encoding::makeStringBlock(302, "sed do eiusmod tempor incididunt ");
Davide Pesaventob3a23ca2019-05-04 20:40:21 -0400210 transport->send(pkt3);
Junxiao Shi57df2882015-11-11 06:12:35 -0700211
212 transport->setState(TransportState::CLOSING);
213 Block pkt4 = ndn::encoding::makeStringBlock(303, "ut labore et dolore magna aliqua.");
Davide Pesaventob3a23ca2019-05-04 20:40:21 -0400214 transport->send(pkt4);
Junxiao Shi57df2882015-11-11 06:12:35 -0700215
216 BOOST_CHECK_EQUAL(transport->getCounters().nOutPackets, 2);
217 BOOST_CHECK_EQUAL(transport->getCounters().nOutBytes, pkt1.size() + pkt2.size());
218 BOOST_REQUIRE_EQUAL(sentPackets->size(), 3);
Teng Liang13d582a2020-07-21 20:23:11 -0700219 BOOST_CHECK(sentPackets->at(0) == pkt1);
220 BOOST_CHECK(sentPackets->at(1) == pkt2);
221 BOOST_CHECK(sentPackets->at(2) == pkt3);
Junxiao Shi57df2882015-11-11 06:12:35 -0700222}
223
Davide Pesavento32065652017-01-15 01:52:21 -0500224BOOST_FIXTURE_TEST_CASE(Receive, DummyTransportFixture)
Junxiao Shi57df2882015-11-11 06:12:35 -0700225{
226 this->initialize();
227
228 Block pkt1 = ndn::encoding::makeStringBlock(300, "Lorem ipsum dolor sit amet,");
229 transport->receivePacket(pkt1);
230
231 Block pkt2 = ndn::encoding::makeStringBlock(301, "consectetur adipiscing elit,");
232 transport->receivePacket(pkt2);
233
234 transport->setState(TransportState::DOWN);
235 Block pkt3 = ndn::encoding::makeStringBlock(302, "sed do eiusmod tempor incididunt ");
236 transport->receivePacket(pkt3);
237
238 BOOST_CHECK_EQUAL(transport->getCounters().nInPackets, 3);
239 BOOST_CHECK_EQUAL(transport->getCounters().nInBytes, pkt1.size() + pkt2.size() + pkt3.size());
240 BOOST_REQUIRE_EQUAL(receivedPackets->size(), 3);
241 BOOST_CHECK(receivedPackets->at(0).packet == pkt1);
242 BOOST_CHECK(receivedPackets->at(1).packet == pkt2);
243 BOOST_CHECK(receivedPackets->at(2).packet == pkt3);
244}
245
246BOOST_AUTO_TEST_SUITE_END() // TestTransport
247BOOST_AUTO_TEST_SUITE_END() // Face
248
Davide Pesaventoe422f9e2022-06-03 01:30:23 -0400249} // namespace nfd::tests