blob: 974567ad6710070ad978f92a8c8862bd5cad1240 [file] [log] [blame]
Junxiao Shi986b8492014-08-20 12:07:14 -07001/* -*- Mode:C++; c-file-style:"gnu"; indent-tabs-mode:nil; -*- */
2/**
Junxiao Shifef73e42016-03-29 14:15:05 -07003 * Copyright (c) 2014-2016, Regents of the University of California,
Junxiao Shi192af1f2015-01-13 23:19:39 -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.
Junxiao Shi986b8492014-08-20 12:07:14 -070010 *
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 Shi00dc9142016-11-21 14:23:12 +000027#include "algorithm.hpp"
Junxiao Shi986b8492014-08-20 12:07:14 -070028#include "core/logger.hpp"
29
30namespace nfd {
31namespace fw {
32
33NFD_LOG_INIT("BestRouteStrategy2");
Junxiao Shifaf3eb02015-02-16 10:50:36 -070034NFD_REGISTER_STRATEGY(BestRouteStrategy2);
Junxiao Shi986b8492014-08-20 12:07:14 -070035
Junxiao Shi52e85402015-11-11 06:06:58 -070036const time::milliseconds BestRouteStrategy2::RETX_SUPPRESSION_INITIAL(10);
37const time::milliseconds BestRouteStrategy2::RETX_SUPPRESSION_MAX(250);
38
Junxiao Shi986b8492014-08-20 12:07:14 -070039BestRouteStrategy2::BestRouteStrategy2(Forwarder& forwarder, const Name& name)
Junxiao Shi18739c42016-12-22 08:03:00 +000040 : Strategy(forwarder)
Junxiao Shi52e85402015-11-11 06:06:58 -070041 , m_retxSuppression(RETX_SUPPRESSION_INITIAL,
42 RetxSuppressionExponential::DEFAULT_MULTIPLIER,
43 RETX_SUPPRESSION_MAX)
Junxiao Shi986b8492014-08-20 12:07:14 -070044{
Junxiao Shi18739c42016-12-22 08:03:00 +000045 ParsedInstanceName parsed = parseInstanceName(name);
46 if (!parsed.parameters.empty()) {
47 BOOST_THROW_EXCEPTION(std::invalid_argument("BestRouteStrategy2 does not accept parameters"));
48 }
Junxiao Shi91f6ee02016-12-29 21:44:44 +000049 if (parsed.version && *parsed.version != getStrategyName()[-1].toVersion()) {
50 BOOST_THROW_EXCEPTION(std::invalid_argument(
51 "BestRouteStrategy2 does not support version " + std::to_string(*parsed.version)));
52 }
Junxiao Shi18739c42016-12-22 08:03:00 +000053 this->setInstanceName(makeInstanceName(name, getStrategyName()));
Junxiao Shi986b8492014-08-20 12:07:14 -070054}
55
Junxiao Shi037f4ab2016-12-13 04:27:06 +000056const Name&
57BestRouteStrategy2::getStrategyName()
58{
59 static Name strategyName("/localhost/nfd/strategy/best-route/%FD%04");
60 return strategyName;
61}
62
Junxiao Shi986b8492014-08-20 12:07:14 -070063/** \brief determines whether a NextHop is eligible
Junxiao Shi00dc9142016-11-21 14:23:12 +000064 * \param inFace incoming face of current Interest
65 * \param interest incoming Interest
Alexander Afanasyevb755e9d2015-10-20 17:35:51 -050066 * \param nexthop next hop
Junxiao Shi00dc9142016-11-21 14:23:12 +000067 * \param pitEntry PIT entry
Junxiao Shi4846f372016-04-05 13:39:30 -070068 * \param wantUnused if true, NextHop must not have unexpired out-record
Junxiao Shi986b8492014-08-20 12:07:14 -070069 * \param now time::steady_clock::now(), ignored if !wantUnused
70 */
71static inline bool
Junxiao Shi00dc9142016-11-21 14:23:12 +000072isNextHopEligible(const Face& inFace, const Interest& interest,
73 const fib::NextHop& nexthop,
74 const shared_ptr<pit::Entry>& pitEntry,
75 bool wantUnused = false,
76 time::steady_clock::TimePoint now = time::steady_clock::TimePoint::min())
Junxiao Shi986b8492014-08-20 12:07:14 -070077{
Junxiao Shi00dc9142016-11-21 14:23:12 +000078 const Face& outFace = nexthop.getFace();
Junxiao Shi986b8492014-08-20 12:07:14 -070079
Junxiao Shi00dc9142016-11-21 14:23:12 +000080 // do not forward back to the same face
81 if (&outFace == &inFace)
Junxiao Shi986b8492014-08-20 12:07:14 -070082 return false;
83
84 // forwarding would violate scope
Junxiao Shi00dc9142016-11-21 14:23:12 +000085 if (wouldViolateScope(inFace, interest, outFace))
Junxiao Shi986b8492014-08-20 12:07:14 -070086 return false;
87
88 if (wantUnused) {
Junxiao Shi00dc9142016-11-21 14:23:12 +000089 // nexthop must not have unexpired out-record
90 pit::OutRecordCollection::iterator outRecord = pitEntry->getOutRecord(outFace);
Junxiao Shi4846f372016-04-05 13:39:30 -070091 if (outRecord != pitEntry->out_end() && outRecord->getExpiry() > now) {
Junxiao Shi986b8492014-08-20 12:07:14 -070092 return false;
93 }
94 }
95
96 return true;
97}
98
Junxiao Shi4846f372016-04-05 13:39:30 -070099/** \brief pick an eligible NextHop with earliest out-record
100 * \note It is assumed that every nexthop has an out-record.
Junxiao Shi986b8492014-08-20 12:07:14 -0700101 */
102static inline fib::NextHopList::const_iterator
Junxiao Shi00dc9142016-11-21 14:23:12 +0000103findEligibleNextHopWithEarliestOutRecord(const Face& inFace, const Interest& interest,
Junxiao Shi986b8492014-08-20 12:07:14 -0700104 const fib::NextHopList& nexthops,
Junxiao Shi00dc9142016-11-21 14:23:12 +0000105 const shared_ptr<pit::Entry>& pitEntry)
Junxiao Shi986b8492014-08-20 12:07:14 -0700106{
107 fib::NextHopList::const_iterator found = nexthops.end();
108 time::steady_clock::TimePoint earliestRenewed = time::steady_clock::TimePoint::max();
109 for (fib::NextHopList::const_iterator it = nexthops.begin(); it != nexthops.end(); ++it) {
Junxiao Shi00dc9142016-11-21 14:23:12 +0000110 if (!isNextHopEligible(inFace, interest, *it, pitEntry))
Junxiao Shi986b8492014-08-20 12:07:14 -0700111 continue;
Junxiao Shia6de4292016-07-12 02:08:10 +0000112 pit::OutRecordCollection::iterator outRecord = pitEntry->getOutRecord(it->getFace());
Junxiao Shi4846f372016-04-05 13:39:30 -0700113 BOOST_ASSERT(outRecord != pitEntry->out_end());
Junxiao Shi986b8492014-08-20 12:07:14 -0700114 if (outRecord->getLastRenewed() < earliestRenewed) {
115 found = it;
116 earliestRenewed = outRecord->getLastRenewed();
117 }
118 }
119 return found;
120}
121
122void
Junxiao Shi15e98b02016-08-12 11:21:44 +0000123BestRouteStrategy2::afterReceiveInterest(const Face& inFace, const Interest& interest,
124 const shared_ptr<pit::Entry>& pitEntry)
Junxiao Shi986b8492014-08-20 12:07:14 -0700125{
Junxiao Shi8d843142016-07-11 22:42:42 +0000126 RetxSuppression::Result suppression = m_retxSuppression.decide(inFace, interest, *pitEntry);
127 if (suppression == RetxSuppression::SUPPRESS) {
128 NFD_LOG_DEBUG(interest << " from=" << inFace.getId()
129 << " suppressed");
130 return;
131 }
132
133 const fib::Entry& fibEntry = this->lookupFib(*pitEntry);
134 const fib::NextHopList& nexthops = fibEntry.getNextHops();
Junxiao Shi986b8492014-08-20 12:07:14 -0700135 fib::NextHopList::const_iterator it = nexthops.end();
136
Junxiao Shia788e252015-01-28 17:06:25 -0700137 if (suppression == RetxSuppression::NEW) {
Junxiao Shi986b8492014-08-20 12:07:14 -0700138 // forward to nexthop with lowest cost except downstream
139 it = std::find_if(nexthops.begin(), nexthops.end(),
Junxiao Shi00dc9142016-11-21 14:23:12 +0000140 bind(&isNextHopEligible, cref(inFace), interest, _1, pitEntry,
Junxiao Shi986b8492014-08-20 12:07:14 -0700141 false, time::steady_clock::TimePoint::min()));
142
143 if (it == nexthops.end()) {
144 NFD_LOG_DEBUG(interest << " from=" << inFace.getId() << " noNextHop");
Junxiao Shi5e5e4452015-09-24 16:56:52 -0700145
146 lp::NackHeader nackHeader;
147 nackHeader.setReason(lp::NackReason::NO_ROUTE);
148 this->sendNack(pitEntry, inFace, nackHeader);
149
Junxiao Shi986b8492014-08-20 12:07:14 -0700150 this->rejectPendingInterest(pitEntry);
151 return;
152 }
153
Junxiao Shia6de4292016-07-12 02:08:10 +0000154 Face& outFace = it->getFace();
Junxiao Shi00dc9142016-11-21 14:23:12 +0000155 this->sendInterest(pitEntry, outFace, interest);
Junxiao Shi986b8492014-08-20 12:07:14 -0700156 NFD_LOG_DEBUG(interest << " from=" << inFace.getId()
Junxiao Shia6de4292016-07-12 02:08:10 +0000157 << " newPitEntry-to=" << outFace.getId());
Junxiao Shi986b8492014-08-20 12:07:14 -0700158 return;
159 }
160
Junxiao Shi986b8492014-08-20 12:07:14 -0700161 // find an unused upstream with lowest cost except downstream
162 it = std::find_if(nexthops.begin(), nexthops.end(),
Junxiao Shi00dc9142016-11-21 14:23:12 +0000163 bind(&isNextHopEligible, cref(inFace), interest, _1, pitEntry,
Junxiao Shi192af1f2015-01-13 23:19:39 -0700164 true, time::steady_clock::now()));
Junxiao Shi986b8492014-08-20 12:07:14 -0700165 if (it != nexthops.end()) {
Junxiao Shia6de4292016-07-12 02:08:10 +0000166 Face& outFace = it->getFace();
Junxiao Shi00dc9142016-11-21 14:23:12 +0000167 this->sendInterest(pitEntry, outFace, interest);
Junxiao Shi986b8492014-08-20 12:07:14 -0700168 NFD_LOG_DEBUG(interest << " from=" << inFace.getId()
Junxiao Shia6de4292016-07-12 02:08:10 +0000169 << " retransmit-unused-to=" << outFace.getId());
Junxiao Shi986b8492014-08-20 12:07:14 -0700170 return;
171 }
172
173 // find an eligible upstream that is used earliest
Junxiao Shi00dc9142016-11-21 14:23:12 +0000174 it = findEligibleNextHopWithEarliestOutRecord(inFace, interest, nexthops, pitEntry);
Junxiao Shi986b8492014-08-20 12:07:14 -0700175 if (it == nexthops.end()) {
176 NFD_LOG_DEBUG(interest << " from=" << inFace.getId() << " retransmitNoNextHop");
177 }
178 else {
Junxiao Shia6de4292016-07-12 02:08:10 +0000179 Face& outFace = it->getFace();
Junxiao Shi00dc9142016-11-21 14:23:12 +0000180 this->sendInterest(pitEntry, outFace, interest);
Junxiao Shi986b8492014-08-20 12:07:14 -0700181 NFD_LOG_DEBUG(interest << " from=" << inFace.getId()
Junxiao Shia6de4292016-07-12 02:08:10 +0000182 << " retransmit-retry-to=" << outFace.getId());
Junxiao Shi986b8492014-08-20 12:07:14 -0700183 }
184}
185
Junxiao Shi5e5e4452015-09-24 16:56:52 -0700186/** \return less severe NackReason between x and y
187 *
188 * lp::NackReason::NONE is treated as most severe
189 */
190inline lp::NackReason
191compareLessSevere(lp::NackReason x, lp::NackReason y)
192{
193 if (x == lp::NackReason::NONE) {
194 return y;
195 }
196 if (y == lp::NackReason::NONE) {
197 return x;
198 }
199 return static_cast<lp::NackReason>(std::min(static_cast<int>(x), static_cast<int>(y)));
200}
201
202void
203BestRouteStrategy2::afterReceiveNack(const Face& inFace, const lp::Nack& nack,
Junxiao Shi15e98b02016-08-12 11:21:44 +0000204 const shared_ptr<pit::Entry>& pitEntry)
Junxiao Shi5e5e4452015-09-24 16:56:52 -0700205{
206 int nOutRecordsNotNacked = 0;
207 Face* lastFaceNotNacked = nullptr;
208 lp::NackReason leastSevereReason = lp::NackReason::NONE;
209 for (const pit::OutRecord& outR : pitEntry->getOutRecords()) {
210 const lp::NackHeader* inNack = outR.getIncomingNack();
211 if (inNack == nullptr) {
212 ++nOutRecordsNotNacked;
Junxiao Shi9cff7792016-08-01 21:45:11 +0000213 lastFaceNotNacked = &outR.getFace();
Junxiao Shi5e5e4452015-09-24 16:56:52 -0700214 continue;
215 }
216
217 leastSevereReason = compareLessSevere(leastSevereReason, inNack->getReason());
218 }
219
220 lp::NackHeader outNack;
221 outNack.setReason(leastSevereReason);
222
223 if (nOutRecordsNotNacked == 1) {
224 BOOST_ASSERT(lastFaceNotNacked != nullptr);
Junxiao Shi4846f372016-04-05 13:39:30 -0700225 pit::InRecordCollection::iterator inR = pitEntry->getInRecord(*lastFaceNotNacked);
226 if (inR != pitEntry->in_end()) {
Junxiao Shi5e5e4452015-09-24 16:56:52 -0700227 // one out-record not Nacked, which is also a downstream
228 NFD_LOG_DEBUG(nack.getInterest() << " nack-from=" << inFace.getId() <<
229 " nack=" << nack.getReason() <<
230 " nack-to(bidirectional)=" << lastFaceNotNacked->getId() <<
231 " out-nack=" << outNack.getReason());
232 this->sendNack(pitEntry, *lastFaceNotNacked, outNack);
233 return;
234 }
235 }
236
237 if (nOutRecordsNotNacked > 0) {
238 NFD_LOG_DEBUG(nack.getInterest() << " nack-from=" << inFace.getId() <<
239 " nack=" << nack.getReason() <<
240 " waiting=" << nOutRecordsNotNacked);
241 // continue waiting
242 return;
243 }
244
Junxiao Shi5e5e4452015-09-24 16:56:52 -0700245 NFD_LOG_DEBUG(nack.getInterest() << " nack-from=" << inFace.getId() <<
246 " nack=" << nack.getReason() <<
247 " nack-to=all out-nack=" << outNack.getReason());
248 this->sendNacks(pitEntry, outNack);
249}
250
Junxiao Shi986b8492014-08-20 12:07:14 -0700251} // namespace fw
252} // namespace nfd