Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 1 | /* -*- Mode:C++; c-file-style:"gnu"; indent-tabs-mode:nil; -*- */ |
| 2 | /** |
Junxiao Shi | fef73e4 | 2016-03-29 14:15:05 -0700 | [diff] [blame] | 3 | * Copyright (c) 2014-2016, Regents of the University of California, |
Junxiao Shi | 192af1f | 2015-01-13 23:19:39 -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. |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 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 "best-route-strategy2.hpp" |
Junxiao Shi | 00dc914 | 2016-11-21 14:23:12 +0000 | [diff] [blame^] | 27 | #include "algorithm.hpp" |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 28 | #include "core/logger.hpp" |
| 29 | |
| 30 | namespace nfd { |
| 31 | namespace fw { |
| 32 | |
| 33 | NFD_LOG_INIT("BestRouteStrategy2"); |
| 34 | |
Junxiao Shi | 5e5e445 | 2015-09-24 16:56:52 -0700 | [diff] [blame] | 35 | const Name BestRouteStrategy2::STRATEGY_NAME("ndn:/localhost/nfd/strategy/best-route/%FD%04"); |
Junxiao Shi | faf3eb0 | 2015-02-16 10:50:36 -0700 | [diff] [blame] | 36 | NFD_REGISTER_STRATEGY(BestRouteStrategy2); |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 37 | |
Junxiao Shi | 52e8540 | 2015-11-11 06:06:58 -0700 | [diff] [blame] | 38 | const time::milliseconds BestRouteStrategy2::RETX_SUPPRESSION_INITIAL(10); |
| 39 | const time::milliseconds BestRouteStrategy2::RETX_SUPPRESSION_MAX(250); |
| 40 | |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 41 | BestRouteStrategy2::BestRouteStrategy2(Forwarder& forwarder, const Name& name) |
| 42 | : Strategy(forwarder, name) |
Junxiao Shi | 52e8540 | 2015-11-11 06:06:58 -0700 | [diff] [blame] | 43 | , m_retxSuppression(RETX_SUPPRESSION_INITIAL, |
| 44 | RetxSuppressionExponential::DEFAULT_MULTIPLIER, |
| 45 | RETX_SUPPRESSION_MAX) |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 46 | { |
| 47 | } |
| 48 | |
| 49 | /** \brief determines whether a NextHop is eligible |
Junxiao Shi | 00dc914 | 2016-11-21 14:23:12 +0000 | [diff] [blame^] | 50 | * \param inFace incoming face of current Interest |
| 51 | * \param interest incoming Interest |
Alexander Afanasyev | b755e9d | 2015-10-20 17:35:51 -0500 | [diff] [blame] | 52 | * \param nexthop next hop |
Junxiao Shi | 00dc914 | 2016-11-21 14:23:12 +0000 | [diff] [blame^] | 53 | * \param pitEntry PIT entry |
Junxiao Shi | 4846f37 | 2016-04-05 13:39:30 -0700 | [diff] [blame] | 54 | * \param wantUnused if true, NextHop must not have unexpired out-record |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 55 | * \param now time::steady_clock::now(), ignored if !wantUnused |
| 56 | */ |
| 57 | static inline bool |
Junxiao Shi | 00dc914 | 2016-11-21 14:23:12 +0000 | [diff] [blame^] | 58 | isNextHopEligible(const Face& inFace, const Interest& interest, |
| 59 | const fib::NextHop& nexthop, |
| 60 | const shared_ptr<pit::Entry>& pitEntry, |
| 61 | bool wantUnused = false, |
| 62 | time::steady_clock::TimePoint now = time::steady_clock::TimePoint::min()) |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 63 | { |
Junxiao Shi | 00dc914 | 2016-11-21 14:23:12 +0000 | [diff] [blame^] | 64 | const Face& outFace = nexthop.getFace(); |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 65 | |
Junxiao Shi | 00dc914 | 2016-11-21 14:23:12 +0000 | [diff] [blame^] | 66 | // do not forward back to the same face |
| 67 | if (&outFace == &inFace) |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 68 | return false; |
| 69 | |
| 70 | // forwarding would violate scope |
Junxiao Shi | 00dc914 | 2016-11-21 14:23:12 +0000 | [diff] [blame^] | 71 | if (wouldViolateScope(inFace, interest, outFace)) |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 72 | return false; |
| 73 | |
| 74 | if (wantUnused) { |
Junxiao Shi | 00dc914 | 2016-11-21 14:23:12 +0000 | [diff] [blame^] | 75 | // nexthop must not have unexpired out-record |
| 76 | pit::OutRecordCollection::iterator outRecord = pitEntry->getOutRecord(outFace); |
Junxiao Shi | 4846f37 | 2016-04-05 13:39:30 -0700 | [diff] [blame] | 77 | if (outRecord != pitEntry->out_end() && outRecord->getExpiry() > now) { |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 78 | return false; |
| 79 | } |
| 80 | } |
| 81 | |
| 82 | return true; |
| 83 | } |
| 84 | |
Junxiao Shi | 4846f37 | 2016-04-05 13:39:30 -0700 | [diff] [blame] | 85 | /** \brief pick an eligible NextHop with earliest out-record |
| 86 | * \note It is assumed that every nexthop has an out-record. |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 87 | */ |
| 88 | static inline fib::NextHopList::const_iterator |
Junxiao Shi | 00dc914 | 2016-11-21 14:23:12 +0000 | [diff] [blame^] | 89 | findEligibleNextHopWithEarliestOutRecord(const Face& inFace, const Interest& interest, |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 90 | const fib::NextHopList& nexthops, |
Junxiao Shi | 00dc914 | 2016-11-21 14:23:12 +0000 | [diff] [blame^] | 91 | const shared_ptr<pit::Entry>& pitEntry) |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 92 | { |
| 93 | fib::NextHopList::const_iterator found = nexthops.end(); |
| 94 | time::steady_clock::TimePoint earliestRenewed = time::steady_clock::TimePoint::max(); |
| 95 | for (fib::NextHopList::const_iterator it = nexthops.begin(); it != nexthops.end(); ++it) { |
Junxiao Shi | 00dc914 | 2016-11-21 14:23:12 +0000 | [diff] [blame^] | 96 | if (!isNextHopEligible(inFace, interest, *it, pitEntry)) |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 97 | continue; |
Junxiao Shi | a6de429 | 2016-07-12 02:08:10 +0000 | [diff] [blame] | 98 | pit::OutRecordCollection::iterator outRecord = pitEntry->getOutRecord(it->getFace()); |
Junxiao Shi | 4846f37 | 2016-04-05 13:39:30 -0700 | [diff] [blame] | 99 | BOOST_ASSERT(outRecord != pitEntry->out_end()); |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 100 | if (outRecord->getLastRenewed() < earliestRenewed) { |
| 101 | found = it; |
| 102 | earliestRenewed = outRecord->getLastRenewed(); |
| 103 | } |
| 104 | } |
| 105 | return found; |
| 106 | } |
| 107 | |
| 108 | void |
Junxiao Shi | 15e98b0 | 2016-08-12 11:21:44 +0000 | [diff] [blame] | 109 | BestRouteStrategy2::afterReceiveInterest(const Face& inFace, const Interest& interest, |
| 110 | const shared_ptr<pit::Entry>& pitEntry) |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 111 | { |
Junxiao Shi | 8d84314 | 2016-07-11 22:42:42 +0000 | [diff] [blame] | 112 | RetxSuppression::Result suppression = m_retxSuppression.decide(inFace, interest, *pitEntry); |
| 113 | if (suppression == RetxSuppression::SUPPRESS) { |
| 114 | NFD_LOG_DEBUG(interest << " from=" << inFace.getId() |
| 115 | << " suppressed"); |
| 116 | return; |
| 117 | } |
| 118 | |
| 119 | const fib::Entry& fibEntry = this->lookupFib(*pitEntry); |
| 120 | const fib::NextHopList& nexthops = fibEntry.getNextHops(); |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 121 | fib::NextHopList::const_iterator it = nexthops.end(); |
| 122 | |
Junxiao Shi | a788e25 | 2015-01-28 17:06:25 -0700 | [diff] [blame] | 123 | if (suppression == RetxSuppression::NEW) { |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 124 | // forward to nexthop with lowest cost except downstream |
| 125 | it = std::find_if(nexthops.begin(), nexthops.end(), |
Junxiao Shi | 00dc914 | 2016-11-21 14:23:12 +0000 | [diff] [blame^] | 126 | bind(&isNextHopEligible, cref(inFace), interest, _1, pitEntry, |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 127 | false, time::steady_clock::TimePoint::min())); |
| 128 | |
| 129 | if (it == nexthops.end()) { |
| 130 | NFD_LOG_DEBUG(interest << " from=" << inFace.getId() << " noNextHop"); |
Junxiao Shi | 5e5e445 | 2015-09-24 16:56:52 -0700 | [diff] [blame] | 131 | |
| 132 | lp::NackHeader nackHeader; |
| 133 | nackHeader.setReason(lp::NackReason::NO_ROUTE); |
| 134 | this->sendNack(pitEntry, inFace, nackHeader); |
| 135 | |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 136 | this->rejectPendingInterest(pitEntry); |
| 137 | return; |
| 138 | } |
| 139 | |
Junxiao Shi | a6de429 | 2016-07-12 02:08:10 +0000 | [diff] [blame] | 140 | Face& outFace = it->getFace(); |
Junxiao Shi | 00dc914 | 2016-11-21 14:23:12 +0000 | [diff] [blame^] | 141 | this->sendInterest(pitEntry, outFace, interest); |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 142 | NFD_LOG_DEBUG(interest << " from=" << inFace.getId() |
Junxiao Shi | a6de429 | 2016-07-12 02:08:10 +0000 | [diff] [blame] | 143 | << " newPitEntry-to=" << outFace.getId()); |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 144 | return; |
| 145 | } |
| 146 | |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 147 | // find an unused upstream with lowest cost except downstream |
| 148 | it = std::find_if(nexthops.begin(), nexthops.end(), |
Junxiao Shi | 00dc914 | 2016-11-21 14:23:12 +0000 | [diff] [blame^] | 149 | bind(&isNextHopEligible, cref(inFace), interest, _1, pitEntry, |
Junxiao Shi | 192af1f | 2015-01-13 23:19:39 -0700 | [diff] [blame] | 150 | true, time::steady_clock::now())); |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 151 | if (it != nexthops.end()) { |
Junxiao Shi | a6de429 | 2016-07-12 02:08:10 +0000 | [diff] [blame] | 152 | Face& outFace = it->getFace(); |
Junxiao Shi | 00dc914 | 2016-11-21 14:23:12 +0000 | [diff] [blame^] | 153 | this->sendInterest(pitEntry, outFace, interest); |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 154 | NFD_LOG_DEBUG(interest << " from=" << inFace.getId() |
Junxiao Shi | a6de429 | 2016-07-12 02:08:10 +0000 | [diff] [blame] | 155 | << " retransmit-unused-to=" << outFace.getId()); |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 156 | return; |
| 157 | } |
| 158 | |
| 159 | // find an eligible upstream that is used earliest |
Junxiao Shi | 00dc914 | 2016-11-21 14:23:12 +0000 | [diff] [blame^] | 160 | it = findEligibleNextHopWithEarliestOutRecord(inFace, interest, nexthops, pitEntry); |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 161 | if (it == nexthops.end()) { |
| 162 | NFD_LOG_DEBUG(interest << " from=" << inFace.getId() << " retransmitNoNextHop"); |
| 163 | } |
| 164 | else { |
Junxiao Shi | a6de429 | 2016-07-12 02:08:10 +0000 | [diff] [blame] | 165 | Face& outFace = it->getFace(); |
Junxiao Shi | 00dc914 | 2016-11-21 14:23:12 +0000 | [diff] [blame^] | 166 | this->sendInterest(pitEntry, outFace, interest); |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 167 | NFD_LOG_DEBUG(interest << " from=" << inFace.getId() |
Junxiao Shi | a6de429 | 2016-07-12 02:08:10 +0000 | [diff] [blame] | 168 | << " retransmit-retry-to=" << outFace.getId()); |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 169 | } |
| 170 | } |
| 171 | |
Junxiao Shi | 5e5e445 | 2015-09-24 16:56:52 -0700 | [diff] [blame] | 172 | /** \return less severe NackReason between x and y |
| 173 | * |
| 174 | * lp::NackReason::NONE is treated as most severe |
| 175 | */ |
| 176 | inline lp::NackReason |
| 177 | compareLessSevere(lp::NackReason x, lp::NackReason y) |
| 178 | { |
| 179 | if (x == lp::NackReason::NONE) { |
| 180 | return y; |
| 181 | } |
| 182 | if (y == lp::NackReason::NONE) { |
| 183 | return x; |
| 184 | } |
| 185 | return static_cast<lp::NackReason>(std::min(static_cast<int>(x), static_cast<int>(y))); |
| 186 | } |
| 187 | |
| 188 | void |
| 189 | BestRouteStrategy2::afterReceiveNack(const Face& inFace, const lp::Nack& nack, |
Junxiao Shi | 15e98b0 | 2016-08-12 11:21:44 +0000 | [diff] [blame] | 190 | const shared_ptr<pit::Entry>& pitEntry) |
Junxiao Shi | 5e5e445 | 2015-09-24 16:56:52 -0700 | [diff] [blame] | 191 | { |
| 192 | int nOutRecordsNotNacked = 0; |
| 193 | Face* lastFaceNotNacked = nullptr; |
| 194 | lp::NackReason leastSevereReason = lp::NackReason::NONE; |
| 195 | for (const pit::OutRecord& outR : pitEntry->getOutRecords()) { |
| 196 | const lp::NackHeader* inNack = outR.getIncomingNack(); |
| 197 | if (inNack == nullptr) { |
| 198 | ++nOutRecordsNotNacked; |
Junxiao Shi | 9cff779 | 2016-08-01 21:45:11 +0000 | [diff] [blame] | 199 | lastFaceNotNacked = &outR.getFace(); |
Junxiao Shi | 5e5e445 | 2015-09-24 16:56:52 -0700 | [diff] [blame] | 200 | continue; |
| 201 | } |
| 202 | |
| 203 | leastSevereReason = compareLessSevere(leastSevereReason, inNack->getReason()); |
| 204 | } |
| 205 | |
| 206 | lp::NackHeader outNack; |
| 207 | outNack.setReason(leastSevereReason); |
| 208 | |
| 209 | if (nOutRecordsNotNacked == 1) { |
| 210 | BOOST_ASSERT(lastFaceNotNacked != nullptr); |
Junxiao Shi | 4846f37 | 2016-04-05 13:39:30 -0700 | [diff] [blame] | 211 | pit::InRecordCollection::iterator inR = pitEntry->getInRecord(*lastFaceNotNacked); |
| 212 | if (inR != pitEntry->in_end()) { |
Junxiao Shi | 5e5e445 | 2015-09-24 16:56:52 -0700 | [diff] [blame] | 213 | // one out-record not Nacked, which is also a downstream |
| 214 | NFD_LOG_DEBUG(nack.getInterest() << " nack-from=" << inFace.getId() << |
| 215 | " nack=" << nack.getReason() << |
| 216 | " nack-to(bidirectional)=" << lastFaceNotNacked->getId() << |
| 217 | " out-nack=" << outNack.getReason()); |
| 218 | this->sendNack(pitEntry, *lastFaceNotNacked, outNack); |
| 219 | return; |
| 220 | } |
| 221 | } |
| 222 | |
| 223 | if (nOutRecordsNotNacked > 0) { |
| 224 | NFD_LOG_DEBUG(nack.getInterest() << " nack-from=" << inFace.getId() << |
| 225 | " nack=" << nack.getReason() << |
| 226 | " waiting=" << nOutRecordsNotNacked); |
| 227 | // continue waiting |
| 228 | return; |
| 229 | } |
| 230 | |
Junxiao Shi | 5e5e445 | 2015-09-24 16:56:52 -0700 | [diff] [blame] | 231 | NFD_LOG_DEBUG(nack.getInterest() << " nack-from=" << inFace.getId() << |
| 232 | " nack=" << nack.getReason() << |
| 233 | " nack-to=all out-nack=" << outNack.getReason()); |
| 234 | this->sendNacks(pitEntry, outNack); |
| 235 | } |
| 236 | |
Junxiao Shi | 986b849 | 2014-08-20 12:07:14 -0700 | [diff] [blame] | 237 | } // namespace fw |
| 238 | } // namespace nfd |