Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 1 | /* -*- Mode:C++; c-file-style:"gnu"; indent-tabs-mode:nil; -*- */ |
Ashlesh Gawande | 92e4ea5 | 2017-07-19 11:38:12 -0500 | [diff] [blame] | 2 | /* |
Davide Pesavento | 2c9d2ca | 2024-01-27 16:36:51 -0500 | [diff] [blame] | 3 | * Copyright (c) 2014-2024, Regents of the University of California, |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [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 "asf-probing-module.hpp" |
Ashlesh Gawande | 2a73f35 | 2016-12-01 15:37:03 +0000 | [diff] [blame] | 27 | #include "algorithm.hpp" |
Davide Pesavento | 2cae8ca | 2019-04-18 20:48:05 -0400 | [diff] [blame] | 28 | #include "common/global.hpp" |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 29 | |
Davide Pesavento | b8bd5ee | 2019-02-03 22:53:40 -0500 | [diff] [blame] | 30 | #include <ndn-cxx/util/random.hpp> |
| 31 | |
Davide Pesavento | e422f9e | 2022-06-03 01:30:23 -0400 | [diff] [blame] | 32 | namespace nfd::fw::asf { |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 33 | |
Davide Pesavento | a3a7a4e | 2022-05-29 16:06:22 -0400 | [diff] [blame] | 34 | static_assert(ProbingModule::DEFAULT_PROBING_INTERVAL < AsfMeasurements::MEASUREMENTS_LIFETIME); |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 35 | |
| 36 | ProbingModule::ProbingModule(AsfMeasurements& measurements) |
| 37 | : m_probingInterval(DEFAULT_PROBING_INTERVAL) |
| 38 | , m_measurements(measurements) |
| 39 | { |
| 40 | } |
| 41 | |
| 42 | void |
Davide Pesavento | a6f637a | 2019-08-28 23:23:20 -0400 | [diff] [blame] | 43 | ProbingModule::scheduleProbe(const fib::Entry& fibEntry, time::milliseconds interval) |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 44 | { |
Junxiao Shi | fc02186 | 2016-08-25 21:51:18 +0000 | [diff] [blame] | 45 | Name prefix = fibEntry.getPrefix(); |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 46 | |
| 47 | // Set the probing flag for the namespace to true after passed interval of time |
Davide Pesavento | 3dade00 | 2019-03-19 11:29:56 -0600 | [diff] [blame] | 48 | getScheduler().schedule(interval, [this, prefix] { |
Junxiao Shi | fc02186 | 2016-08-25 21:51:18 +0000 | [diff] [blame] | 49 | NamespaceInfo* info = m_measurements.getNamespaceInfo(prefix); |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 50 | if (info == nullptr) { |
Davide Pesavento | a6f637a | 2019-08-28 23:23:20 -0400 | [diff] [blame] | 51 | // FIB entry with the passed prefix has been removed or |
| 52 | // it has a name that is not controlled by the AsfStrategy |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 53 | } |
| 54 | else { |
| 55 | info->setIsProbingDue(true); |
| 56 | } |
| 57 | }); |
| 58 | } |
| 59 | |
Junxiao Shi | a6de429 | 2016-07-12 02:08:10 +0000 | [diff] [blame] | 60 | Face* |
Davide Pesavento | 3dade00 | 2019-03-19 11:29:56 -0600 | [diff] [blame] | 61 | ProbingModule::getFaceToProbe(const Face& inFace, const Interest& interest, |
| 62 | const fib::Entry& fibEntry, const Face& faceUsed) |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 63 | { |
Davide Pesavento | a6f637a | 2019-08-28 23:23:20 -0400 | [diff] [blame] | 64 | FaceInfoFacePairSet rankedFaces; |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 65 | |
| 66 | // Put eligible faces into rankedFaces. If a face does not have an RTT measurement, |
| 67 | // immediately pick the face for probing |
Davide Pesavento | 3dade00 | 2019-03-19 11:29:56 -0600 | [diff] [blame] | 68 | for (const auto& hop : fibEntry.getNextHops()) { |
Junxiao Shi | a6de429 | 2016-07-12 02:08:10 +0000 | [diff] [blame] | 69 | Face& hopFace = hop.getFace(); |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 70 | |
| 71 | // Don't send probe Interest back to the incoming face or use the same face |
Ashlesh Gawande | 2a73f35 | 2016-12-01 15:37:03 +0000 | [diff] [blame] | 72 | // as the forwarded Interest or use a face that violates scope |
| 73 | if (hopFace.getId() == inFace.getId() || hopFace.getId() == faceUsed.getId() || |
| 74 | wouldViolateScope(inFace, interest, hopFace)) { |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 75 | continue; |
| 76 | } |
| 77 | |
Saurab Dulal | 432be57 | 2021-01-26 12:09:29 -0600 | [diff] [blame] | 78 | FaceInfo* info = m_measurements.getFaceInfo(fibEntry, interest.getName(), hopFace.getId()); |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 79 | // If no RTT has been recorded, probe this face |
Davide Pesavento | a6f637a | 2019-08-28 23:23:20 -0400 | [diff] [blame] | 80 | if (info == nullptr || info->getLastRtt() == FaceInfo::RTT_NO_MEASUREMENT) { |
Junxiao Shi | a6de429 | 2016-07-12 02:08:10 +0000 | [diff] [blame] | 81 | return &hopFace; |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 82 | } |
| 83 | |
| 84 | // Add FaceInfo to container sorted by RTT |
Davide Pesavento | e4b2238 | 2018-06-10 14:37:24 -0400 | [diff] [blame] | 85 | rankedFaces.insert({info, &hopFace}); |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 86 | } |
| 87 | |
| 88 | if (rankedFaces.empty()) { |
| 89 | // No Face to probe |
| 90 | return nullptr; |
| 91 | } |
| 92 | |
Davide Pesavento | a6f637a | 2019-08-28 23:23:20 -0400 | [diff] [blame] | 93 | return chooseFace(rankedFaces); |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 94 | } |
| 95 | |
| 96 | bool |
Saurab Dulal | 432be57 | 2021-01-26 12:09:29 -0600 | [diff] [blame] | 97 | ProbingModule::isProbingNeeded(const fib::Entry& fibEntry, const Name& interestName) |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 98 | { |
| 99 | // Return the probing status flag for a namespace |
Saurab Dulal | 432be57 | 2021-01-26 12:09:29 -0600 | [diff] [blame] | 100 | NamespaceInfo& info = m_measurements.getOrCreateNamespaceInfo(fibEntry, interestName); |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 101 | |
| 102 | // If a first probe has not been scheduled for a namespace |
| 103 | if (!info.isFirstProbeScheduled()) { |
| 104 | // Schedule first probe between 0 and 5 seconds |
Davide Pesavento | a6f637a | 2019-08-28 23:23:20 -0400 | [diff] [blame] | 105 | static std::uniform_int_distribution<> randDist(0, 5000); |
| 106 | auto interval = randDist(ndn::random::getRandomNumberEngine()); |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 107 | scheduleProbe(fibEntry, time::milliseconds(interval)); |
Davide Pesavento | a6f637a | 2019-08-28 23:23:20 -0400 | [diff] [blame] | 108 | info.setIsFirstProbeScheduled(true); |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 109 | } |
| 110 | |
| 111 | return info.isProbingDue(); |
| 112 | } |
| 113 | |
| 114 | void |
Saurab Dulal | 432be57 | 2021-01-26 12:09:29 -0600 | [diff] [blame] | 115 | ProbingModule::afterForwardingProbe(const fib::Entry& fibEntry, const Name& interestName) |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 116 | { |
| 117 | // After probing is done, need to set probing flag to false and |
| 118 | // schedule another future probe |
Saurab Dulal | 432be57 | 2021-01-26 12:09:29 -0600 | [diff] [blame] | 119 | NamespaceInfo& info = m_measurements.getOrCreateNamespaceInfo(fibEntry, interestName); |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 120 | info.setIsProbingDue(false); |
| 121 | |
| 122 | scheduleProbe(fibEntry, m_probingInterval); |
| 123 | } |
| 124 | |
Junxiao Shi | a6de429 | 2016-07-12 02:08:10 +0000 | [diff] [blame] | 125 | Face* |
Davide Pesavento | a6f637a | 2019-08-28 23:23:20 -0400 | [diff] [blame] | 126 | ProbingModule::chooseFace(const FaceInfoFacePairSet& rankedFaces) |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 127 | { |
Davide Pesavento | a6f637a | 2019-08-28 23:23:20 -0400 | [diff] [blame] | 128 | static std::uniform_real_distribution<> randDist; |
| 129 | double randomNumber = randDist(ndn::random::getRandomNumberEngine()); |
| 130 | uint64_t rankSum = (rankedFaces.size() + 1) * rankedFaces.size() / 2; |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 131 | |
| 132 | uint64_t rank = 1; |
| 133 | double offset = 0.0; |
| 134 | |
Davide Pesavento | e4b2238 | 2018-06-10 14:37:24 -0400 | [diff] [blame] | 135 | for (const auto& pair : rankedFaces) { |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 136 | double probability = getProbingProbability(rank++, rankSum, rankedFaces.size()); |
| 137 | |
| 138 | // Is the random number within the bounds of this face's probability + the previous faces' |
| 139 | // probability? |
| 140 | // |
| 141 | // e.g. (FaceId: 1, p=0.5), (FaceId: 2, p=0.33), (FaceId: 3, p=0.17) |
| 142 | // randomNumber = 0.92 |
| 143 | // |
| 144 | // The face with FaceId: 3 should be picked |
| 145 | // (0.68 < 0.5 + 0.33 + 0.17) == true |
| 146 | // |
| 147 | if (randomNumber <= offset + probability) { |
| 148 | // Found face to probe |
| 149 | return pair.second; |
| 150 | } |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 151 | offset += probability; |
| 152 | } |
| 153 | |
| 154 | // Given a set of Faces, this method should always select a Face to probe |
Davide Pesavento | a6f637a | 2019-08-28 23:23:20 -0400 | [diff] [blame] | 155 | NDN_CXX_UNREACHABLE; |
Vince Lehman | 8a4c29e | 2016-07-11 08:49:35 +0000 | [diff] [blame] | 156 | } |
| 157 | |
| 158 | double |
| 159 | ProbingModule::getProbingProbability(uint64_t rank, uint64_t rankSum, uint64_t nFaces) |
| 160 | { |
| 161 | // p = n + 1 - j ; n: # faces |
| 162 | // --------- |
| 163 | // sum(ranks) |
| 164 | return static_cast<double>(nFaces + 1 - rank) / rankSum; |
| 165 | } |
| 166 | |
Ashlesh Gawande | 92e4ea5 | 2017-07-19 11:38:12 -0500 | [diff] [blame] | 167 | void |
Ashlesh Gawande | 1ef93d0 | 2022-04-08 00:25:06 -0400 | [diff] [blame] | 168 | ProbingModule::setProbingInterval(time::milliseconds probingInterval) |
Ashlesh Gawande | 92e4ea5 | 2017-07-19 11:38:12 -0500 | [diff] [blame] | 169 | { |
Ashlesh Gawande | 1ef93d0 | 2022-04-08 00:25:06 -0400 | [diff] [blame] | 170 | if (probingInterval >= MIN_PROBING_INTERVAL) { |
| 171 | m_probingInterval = probingInterval; |
Ashlesh Gawande | 92e4ea5 | 2017-07-19 11:38:12 -0500 | [diff] [blame] | 172 | } |
| 173 | else { |
Davide Pesavento | a6f637a | 2019-08-28 23:23:20 -0400 | [diff] [blame] | 174 | NDN_THROW(std::invalid_argument("Probing interval must be >= " + |
Davide Pesavento | 2c9d2ca | 2024-01-27 16:36:51 -0500 | [diff] [blame] | 175 | std::to_string(MIN_PROBING_INTERVAL.count()) + " milliseconds")); |
Ashlesh Gawande | 92e4ea5 | 2017-07-19 11:38:12 -0500 | [diff] [blame] | 176 | } |
| 177 | } |
| 178 | |
Davide Pesavento | e422f9e | 2022-06-03 01:30:23 -0400 | [diff] [blame] | 179 | } // namespace nfd::fw::asf |