Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 1 | /* -*- Mode:C++; c-file-style:"gnu"; indent-tabs-mode:nil; -*- */ |
Davide Pesavento | 45898d2 | 2018-04-17 21:59:54 -0400 | [diff] [blame] | 2 | /* |
Teng Liang | 13d582a | 2020-07-21 20:23:11 -0700 | [diff] [blame^] | 3 | * Copyright (c) 2014-2020, Regents of the University of California, |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 4 | * 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 Shi | cde37ad | 2015-12-24 01:02:05 -0700 | [diff] [blame] | 27 | #include "face/face.hpp" |
Davide Pesavento | cf7db2f | 2019-03-24 23:17:28 -0400 | [diff] [blame] | 28 | |
Davide Pesavento | 16916ae | 2019-03-29 23:53:26 -0400 | [diff] [blame] | 29 | #include "tests/test-common.hpp" |
Davide Pesavento | cf7db2f | 2019-03-24 23:17:28 -0400 | [diff] [blame] | 30 | #include "tests/daemon/global-io-fixture.hpp" |
Davide Pesavento | a809858 | 2019-03-31 15:48:02 -0400 | [diff] [blame] | 31 | #include "tests/daemon/face/dummy-link-service.hpp" |
| 32 | #include "tests/daemon/face/dummy-transport.hpp" |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 33 | |
Davide Pesavento | 45898d2 | 2018-04-17 21:59:54 -0400 | [diff] [blame] | 34 | #include <boost/mpl/fold.hpp> |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 35 | #include <boost/mpl/int.hpp> |
Davide Pesavento | 45898d2 | 2018-04-17 21:59:54 -0400 | [diff] [blame] | 36 | #include <boost/mpl/lambda.hpp> |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 37 | #include <boost/mpl/map.hpp> |
Davide Pesavento | 45898d2 | 2018-04-17 21:59:54 -0400 | [diff] [blame] | 38 | #include <boost/mpl/pair.hpp> |
| 39 | #include <boost/mpl/push_back.hpp> |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 40 | #include <boost/mpl/set.hpp> |
Davide Pesavento | 45898d2 | 2018-04-17 21:59:54 -0400 | [diff] [blame] | 41 | #include <boost/mpl/vector.hpp> |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 42 | |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 43 | namespace nfd { |
| 44 | namespace face { |
| 45 | namespace tests { |
| 46 | |
Davide Pesavento | 97210d5 | 2016-10-14 15:45:48 +0200 | [diff] [blame] | 47 | namespace mpl = boost::mpl; |
Davide Pesavento | 14e71f0 | 2019-03-28 17:35:25 -0400 | [diff] [blame] | 48 | using namespace nfd::tests; |
Junxiao Shi | cde37ad | 2015-12-24 01:02:05 -0700 | [diff] [blame] | 49 | |
Davide Pesavento | 97210d5 | 2016-10-14 15:45:48 +0200 | [diff] [blame] | 50 | BOOST_AUTO_TEST_SUITE(Face) |
Davide Pesavento | 3206565 | 2017-01-15 01:52:21 -0500 | [diff] [blame] | 51 | BOOST_AUTO_TEST_SUITE(TestTransport) |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 52 | |
Davide Pesavento | 3206565 | 2017-01-15 01:52:21 -0500 | [diff] [blame] | 53 | BOOST_AUTO_TEST_CASE(PersistencyChange) |
| 54 | { |
Davide Pesavento | 16916ae | 2019-03-29 23:53:26 -0400 | [diff] [blame] | 55 | auto transport = make_unique<DummyTransport>(); |
| 56 | BOOST_CHECK_EQUAL(transport->getPersistency(), ndn::nfd::FACE_PERSISTENCY_PERSISTENT); |
Davide Pesavento | 3206565 | 2017-01-15 01:52:21 -0500 | [diff] [blame] | 57 | 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 Pesavento | 16916ae | 2019-03-29 23:53:26 -0400 | [diff] [blame] | 64 | BOOST_CHECK_EQUAL(transport->getPersistency(), ndn::nfd::FACE_PERSISTENCY_PERSISTENT); |
Davide Pesavento | 3206565 | 2017-01-15 01:52:21 -0500 | [diff] [blame] | 65 | 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 Pesavento | 16916ae | 2019-03-29 23:53:26 -0400 | [diff] [blame] | 70 | BOOST_CHECK_EQUAL(transport->persistencyHistory.back(), ndn::nfd::FACE_PERSISTENCY_PERSISTENT); |
Davide Pesavento | 3206565 | 2017-01-15 01:52:21 -0500 | [diff] [blame] | 71 | } |
| 72 | |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 73 | /** \brief a macro to declare a TransportState as a integral constant |
Davide Pesavento | 45898d2 | 2018-04-17 21:59:54 -0400 | [diff] [blame] | 74 | * \note we cannot use mpl::integral_c because TransportState is not an integral type |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 75 | */ |
| 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 | */ |
| 81 | typedef 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 | */ |
| 105 | typedef 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 | */ |
| 112 | typedef 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 Pesavento | 45898d2 | 2018-04-17 21:59:54 -0400 | [diff] [blame] | 123 | /** \brief a metafunction to generate a sequence of all state transitions |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 124 | * from a specified state |
| 125 | */ |
Davide Pesavento | 45898d2 | 2018-04-17 21:59:54 -0400 | [diff] [blame] | 126 | template<typename FromState, typename Result> |
| 127 | struct StateTransitionsFrom : mpl::fold< |
| 128 | States, |
| 129 | Result, |
| 130 | mpl::push_back<mpl::_1, mpl::pair<FromState, mpl::_2>>> |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 131 | { |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 132 | }; |
| 133 | |
| 134 | /** \brief a sequence of all state transitions |
| 135 | */ |
| 136 | typedef mpl::fold< |
| 137 | States, |
Davide Pesavento | 45898d2 | 2018-04-17 21:59:54 -0400 | [diff] [blame] | 138 | mpl::vector<>, |
| 139 | mpl::lambda<StateTransitionsFrom<mpl::_2, mpl::_1>> |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 140 | >::type AllStateTransitions; |
| 141 | |
| 142 | #undef TRANSPORT_STATE_C |
| 143 | |
| 144 | BOOST_AUTO_TEST_CASE_TEMPLATE(SetState, T, AllStateTransitions) |
| 145 | { |
Davide Pesavento | 3206565 | 2017-01-15 01:52:21 -0500 | [diff] [blame] | 146 | auto transport = make_unique<DummyTransport>(); |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 147 | |
| 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 Pesavento | 3206565 | 2017-01-15 01:52:21 -0500 | [diff] [blame] | 153 | 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 Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 157 | BOOST_REQUIRE_EQUAL(transport->getState(), from); |
| 158 | |
| 159 | bool hasSignal = false; |
Davide Pesavento | 3206565 | 2017-01-15 01:52:21 -0500 | [diff] [blame] | 160 | transport->afterStateChange.connect( |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 161 | [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 Pesavento | 3206565 | 2017-01-15 01:52:21 -0500 | [diff] [blame] | 177 | BOOST_CHECK_THROW(transport->setState(to), std::runtime_error); |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 178 | } |
| 179 | } |
| 180 | |
Davide Pesavento | 14e71f0 | 2019-03-28 17:35:25 -0400 | [diff] [blame] | 181 | class DummyTransportFixture : public GlobalIoFixture |
Davide Pesavento | 3206565 | 2017-01-15 01:52:21 -0500 | [diff] [blame] | 182 | { |
| 183 | protected: |
Davide Pesavento | 3206565 | 2017-01-15 01:52:21 -0500 | [diff] [blame] | 184 | void |
Davide Pesavento | 16916ae | 2019-03-29 23:53:26 -0400 | [diff] [blame] | 185 | initialize(unique_ptr<DummyTransport> t = make_unique<DummyTransport>()) |
Davide Pesavento | 3206565 | 2017-01-15 01:52:21 -0500 | [diff] [blame] | 186 | { |
Davide Pesavento | a809858 | 2019-03-31 15:48:02 -0400 | [diff] [blame] | 187 | this->face = make_unique<nfd::Face>(make_unique<DummyLinkService>(), std::move(t)); |
Davide Pesavento | 3206565 | 2017-01-15 01:52:21 -0500 | [diff] [blame] | 188 | this->transport = static_cast<DummyTransport*>(face->getTransport()); |
| 189 | this->sentPackets = &this->transport->sentPackets; |
Davide Pesavento | a809858 | 2019-03-31 15:48:02 -0400 | [diff] [blame] | 190 | this->receivedPackets = &static_cast<DummyLinkService*>(face->getLinkService())->receivedPackets; |
Davide Pesavento | 3206565 | 2017-01-15 01:52:21 -0500 | [diff] [blame] | 191 | } |
| 192 | |
| 193 | protected: |
| 194 | unique_ptr<nfd::Face> face; |
Davide Pesavento | b3a23ca | 2019-05-04 20:40:21 -0400 | [diff] [blame] | 195 | DummyTransport* transport = nullptr; |
Teng Liang | 13d582a | 2020-07-21 20:23:11 -0700 | [diff] [blame^] | 196 | const std::vector<Block>* sentPackets = nullptr; |
Davide Pesavento | b3a23ca | 2019-05-04 20:40:21 -0400 | [diff] [blame] | 197 | const std::vector<RxPacket>* receivedPackets = nullptr; |
Davide Pesavento | 3206565 | 2017-01-15 01:52:21 -0500 | [diff] [blame] | 198 | }; |
| 199 | |
| 200 | BOOST_FIXTURE_TEST_CASE(Send, DummyTransportFixture) |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 201 | { |
| 202 | this->initialize(); |
| 203 | |
| 204 | Block pkt1 = ndn::encoding::makeStringBlock(300, "Lorem ipsum dolor sit amet,"); |
Davide Pesavento | b3a23ca | 2019-05-04 20:40:21 -0400 | [diff] [blame] | 205 | transport->send(pkt1); |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 206 | |
| 207 | Block pkt2 = ndn::encoding::makeStringBlock(301, "consectetur adipiscing elit,"); |
Davide Pesavento | b3a23ca | 2019-05-04 20:40:21 -0400 | [diff] [blame] | 208 | transport->send(pkt2); |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 209 | |
| 210 | transport->setState(TransportState::DOWN); |
| 211 | Block pkt3 = ndn::encoding::makeStringBlock(302, "sed do eiusmod tempor incididunt "); |
Davide Pesavento | b3a23ca | 2019-05-04 20:40:21 -0400 | [diff] [blame] | 212 | transport->send(pkt3); |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 213 | |
| 214 | transport->setState(TransportState::CLOSING); |
| 215 | Block pkt4 = ndn::encoding::makeStringBlock(303, "ut labore et dolore magna aliqua."); |
Davide Pesavento | b3a23ca | 2019-05-04 20:40:21 -0400 | [diff] [blame] | 216 | transport->send(pkt4); |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 217 | |
| 218 | BOOST_CHECK_EQUAL(transport->getCounters().nOutPackets, 2); |
| 219 | BOOST_CHECK_EQUAL(transport->getCounters().nOutBytes, pkt1.size() + pkt2.size()); |
| 220 | BOOST_REQUIRE_EQUAL(sentPackets->size(), 3); |
Teng Liang | 13d582a | 2020-07-21 20:23:11 -0700 | [diff] [blame^] | 221 | BOOST_CHECK(sentPackets->at(0) == pkt1); |
| 222 | BOOST_CHECK(sentPackets->at(1) == pkt2); |
| 223 | BOOST_CHECK(sentPackets->at(2) == pkt3); |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 224 | } |
| 225 | |
Davide Pesavento | 3206565 | 2017-01-15 01:52:21 -0500 | [diff] [blame] | 226 | BOOST_FIXTURE_TEST_CASE(Receive, DummyTransportFixture) |
Junxiao Shi | 57df288 | 2015-11-11 06:12:35 -0700 | [diff] [blame] | 227 | { |
| 228 | this->initialize(); |
| 229 | |
| 230 | Block pkt1 = ndn::encoding::makeStringBlock(300, "Lorem ipsum dolor sit amet,"); |
| 231 | transport->receivePacket(pkt1); |
| 232 | |
| 233 | Block pkt2 = ndn::encoding::makeStringBlock(301, "consectetur adipiscing elit,"); |
| 234 | transport->receivePacket(pkt2); |
| 235 | |
| 236 | transport->setState(TransportState::DOWN); |
| 237 | Block pkt3 = ndn::encoding::makeStringBlock(302, "sed do eiusmod tempor incididunt "); |
| 238 | transport->receivePacket(pkt3); |
| 239 | |
| 240 | BOOST_CHECK_EQUAL(transport->getCounters().nInPackets, 3); |
| 241 | BOOST_CHECK_EQUAL(transport->getCounters().nInBytes, pkt1.size() + pkt2.size() + pkt3.size()); |
| 242 | BOOST_REQUIRE_EQUAL(receivedPackets->size(), 3); |
| 243 | BOOST_CHECK(receivedPackets->at(0).packet == pkt1); |
| 244 | BOOST_CHECK(receivedPackets->at(1).packet == pkt2); |
| 245 | BOOST_CHECK(receivedPackets->at(2).packet == pkt3); |
| 246 | } |
| 247 | |
| 248 | BOOST_AUTO_TEST_SUITE_END() // TestTransport |
| 249 | BOOST_AUTO_TEST_SUITE_END() // Face |
| 250 | |
| 251 | } // namespace tests |
| 252 | } // namespace face |
| 253 | } // namespace nfd |