Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 1 | /* -*- Mode:C++; c-file-style:"gnu"; indent-tabs-mode:nil; -*- */ |
Davide Pesavento | a314808 | 2018-04-12 18:21:54 -0400 | [diff] [blame] | 2 | /* |
Davide Pesavento | d412393 | 2021-05-28 18:48:37 -0400 | [diff] [blame^] | 3 | * Copyright (c) 2014-2021, Regents of the University of California, |
Davide Pesavento | a314808 | 2018-04-12 18:21:54 -0400 | [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 | 0e42c57 | 2014-10-05 20:33:48 -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 "dead-nonce-list.hpp" |
Davide Pesavento | 2cae8ca | 2019-04-18 20:48:05 -0400 | [diff] [blame] | 27 | #include "common/city-hash.hpp" |
| 28 | #include "common/global.hpp" |
| 29 | #include "common/logger.hpp" |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 30 | |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 31 | namespace nfd { |
| 32 | |
Davide Pesavento | a314808 | 2018-04-12 18:21:54 -0400 | [diff] [blame] | 33 | NFD_LOG_INIT(DeadNonceList); |
| 34 | |
Davide Pesavento | d412393 | 2021-05-28 18:48:37 -0400 | [diff] [blame^] | 35 | const time::nanoseconds DeadNonceList::DEFAULT_LIFETIME; |
| 36 | const time::nanoseconds DeadNonceList::MIN_LIFETIME; |
| 37 | const size_t DeadNonceList::INITIAL_CAPACITY; |
| 38 | const size_t DeadNonceList::MIN_CAPACITY; |
| 39 | const size_t DeadNonceList::MAX_CAPACITY; |
| 40 | const DeadNonceList::Entry DeadNonceList::MARK; |
| 41 | const size_t DeadNonceList::EXPECTED_MARK_COUNT; |
| 42 | const double DeadNonceList::CAPACITY_UP; |
| 43 | const double DeadNonceList::CAPACITY_DOWN; |
| 44 | const size_t DeadNonceList::EVICT_LIMIT; |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 45 | |
Davide Pesavento | 50a6af3 | 2019-02-21 00:04:40 -0500 | [diff] [blame] | 46 | DeadNonceList::DeadNonceList(time::nanoseconds lifetime) |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 47 | : m_lifetime(lifetime) |
| 48 | , m_queue(m_index.get<0>()) |
| 49 | , m_ht(m_index.get<1>()) |
| 50 | , m_capacity(INITIAL_CAPACITY) |
| 51 | , m_markInterval(m_lifetime / EXPECTED_MARK_COUNT) |
| 52 | , m_adjustCapacityInterval(m_lifetime) |
| 53 | { |
| 54 | if (m_lifetime < MIN_LIFETIME) { |
Davide Pesavento | 19779d8 | 2019-02-14 13:40:04 -0500 | [diff] [blame] | 55 | NDN_THROW(std::invalid_argument("lifetime is less than MIN_LIFETIME")); |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 56 | } |
| 57 | |
| 58 | for (size_t i = 0; i < EXPECTED_MARK_COUNT; ++i) { |
| 59 | m_queue.push_back(MARK); |
| 60 | } |
| 61 | |
Davide Pesavento | 3dade00 | 2019-03-19 11:29:56 -0600 | [diff] [blame] | 62 | m_markEvent = getScheduler().schedule(m_markInterval, [this] { mark(); }); |
| 63 | m_adjustCapacityEvent = getScheduler().schedule(m_adjustCapacityInterval, [this] { adjustCapacity(); }); |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 64 | |
Junxiao Shi | 3a8b1b5 | 2014-11-08 21:26:07 -0700 | [diff] [blame] | 65 | BOOST_ASSERT_MSG(DEFAULT_LIFETIME >= MIN_LIFETIME, "DEFAULT_LIFETIME is too small"); |
| 66 | static_assert(INITIAL_CAPACITY >= MIN_CAPACITY, "INITIAL_CAPACITY is too small"); |
| 67 | static_assert(INITIAL_CAPACITY <= MAX_CAPACITY, "INITIAL_CAPACITY is too large"); |
| 68 | BOOST_ASSERT_MSG(static_cast<size_t>(MIN_CAPACITY * CAPACITY_UP) > MIN_CAPACITY, |
| 69 | "CAPACITY_UP must be able to increase from MIN_CAPACITY"); |
| 70 | BOOST_ASSERT_MSG(static_cast<size_t>(MAX_CAPACITY * CAPACITY_DOWN) < MAX_CAPACITY, |
| 71 | "CAPACITY_DOWN must be able to decrease from MAX_CAPACITY"); |
| 72 | BOOST_ASSERT_MSG(CAPACITY_UP > 1.0, "CAPACITY_UP must adjust up"); |
| 73 | BOOST_ASSERT_MSG(CAPACITY_DOWN < 1.0, "CAPACITY_DOWN must adjust down"); |
| 74 | static_assert(EVICT_LIMIT >= 1, "EVICT_LIMIT must be at least 1"); |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 75 | } |
| 76 | |
| 77 | size_t |
| 78 | DeadNonceList::size() const |
| 79 | { |
Davide Pesavento | d412393 | 2021-05-28 18:48:37 -0400 | [diff] [blame^] | 80 | return m_queue.size() - countMarks(); |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 81 | } |
| 82 | |
| 83 | bool |
Davide Pesavento | 51cf75c | 2020-03-11 22:21:13 -0400 | [diff] [blame] | 84 | DeadNonceList::has(const Name& name, Interest::Nonce nonce) const |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 85 | { |
| 86 | Entry entry = DeadNonceList::makeEntry(name, nonce); |
| 87 | return m_ht.find(entry) != m_ht.end(); |
| 88 | } |
| 89 | |
| 90 | void |
Davide Pesavento | 51cf75c | 2020-03-11 22:21:13 -0400 | [diff] [blame] | 91 | DeadNonceList::add(const Name& name, Interest::Nonce nonce) |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 92 | { |
Junxiao Shi | 3a8b1b5 | 2014-11-08 21:26:07 -0700 | [diff] [blame] | 93 | Entry entry = DeadNonceList::makeEntry(name, nonce); |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 94 | m_queue.push_back(entry); |
| 95 | |
Davide Pesavento | d412393 | 2021-05-28 18:48:37 -0400 | [diff] [blame^] | 96 | evictEntries(); |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 97 | } |
| 98 | |
| 99 | DeadNonceList::Entry |
Davide Pesavento | 51cf75c | 2020-03-11 22:21:13 -0400 | [diff] [blame] | 100 | DeadNonceList::makeEntry(const Name& name, Interest::Nonce nonce) |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 101 | { |
Davide Pesavento | d412393 | 2021-05-28 18:48:37 -0400 | [diff] [blame^] | 102 | const auto& nameWire = name.wireEncode(); |
Davide Pesavento | 51cf75c | 2020-03-11 22:21:13 -0400 | [diff] [blame] | 103 | uint32_t n; |
| 104 | std::memcpy(&n, nonce.data(), sizeof(n)); |
| 105 | return CityHash64WithSeed(reinterpret_cast<const char*>(nameWire.wire()), nameWire.size(), n); |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 106 | } |
| 107 | |
| 108 | size_t |
| 109 | DeadNonceList::countMarks() const |
| 110 | { |
| 111 | return m_ht.count(MARK); |
| 112 | } |
| 113 | |
| 114 | void |
| 115 | DeadNonceList::mark() |
| 116 | { |
| 117 | m_queue.push_back(MARK); |
Davide Pesavento | d412393 | 2021-05-28 18:48:37 -0400 | [diff] [blame^] | 118 | size_t nMarks = countMarks(); |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 119 | m_actualMarkCounts.insert(nMarks); |
| 120 | |
Davide Pesavento | 0e97a97 | 2015-02-22 03:50:21 +0100 | [diff] [blame] | 121 | NFD_LOG_TRACE("mark nMarks=" << nMarks); |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 122 | |
Davide Pesavento | 3dade00 | 2019-03-19 11:29:56 -0600 | [diff] [blame] | 123 | m_markEvent = getScheduler().schedule(m_markInterval, [this] { mark(); }); |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 124 | } |
| 125 | |
| 126 | void |
| 127 | DeadNonceList::adjustCapacity() |
| 128 | { |
Davide Pesavento | e4b2238 | 2018-06-10 14:37:24 -0400 | [diff] [blame] | 129 | auto equalRange = m_actualMarkCounts.equal_range(EXPECTED_MARK_COUNT); |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 130 | if (equalRange.second == m_actualMarkCounts.begin()) { |
| 131 | // all counts are above expected count, adjust down |
Davide Pesavento | 50a6af3 | 2019-02-21 00:04:40 -0500 | [diff] [blame] | 132 | m_capacity = std::max(MIN_CAPACITY, static_cast<size_t>(m_capacity * CAPACITY_DOWN)); |
Davide Pesavento | 0e97a97 | 2015-02-22 03:50:21 +0100 | [diff] [blame] | 133 | NFD_LOG_TRACE("adjustCapacity DOWN capacity=" << m_capacity); |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 134 | } |
| 135 | else if (equalRange.first == m_actualMarkCounts.end()) { |
| 136 | // all counts are below expected count, adjust up |
Davide Pesavento | 50a6af3 | 2019-02-21 00:04:40 -0500 | [diff] [blame] | 137 | m_capacity = std::min(MAX_CAPACITY, static_cast<size_t>(m_capacity * CAPACITY_UP)); |
Davide Pesavento | 0e97a97 | 2015-02-22 03:50:21 +0100 | [diff] [blame] | 138 | NFD_LOG_TRACE("adjustCapacity UP capacity=" << m_capacity); |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 139 | } |
| 140 | |
| 141 | m_actualMarkCounts.clear(); |
Davide Pesavento | d412393 | 2021-05-28 18:48:37 -0400 | [diff] [blame^] | 142 | evictEntries(); |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 143 | |
Davide Pesavento | 3dade00 | 2019-03-19 11:29:56 -0600 | [diff] [blame] | 144 | m_adjustCapacityEvent = getScheduler().schedule(m_adjustCapacityInterval, [this] { adjustCapacity(); }); |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 145 | } |
| 146 | |
| 147 | void |
| 148 | DeadNonceList::evictEntries() |
| 149 | { |
Davide Pesavento | d412393 | 2021-05-28 18:48:37 -0400 | [diff] [blame^] | 150 | if (m_queue.size() <= m_capacity) // not over capacity |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 151 | return; |
| 152 | |
Davide Pesavento | d412393 | 2021-05-28 18:48:37 -0400 | [diff] [blame^] | 153 | auto nEvict = std::min(m_queue.size() - m_capacity, EVICT_LIMIT); |
| 154 | for (; nEvict > 0; --nEvict) { |
Junxiao Shi | 0e42c57 | 2014-10-05 20:33:48 -0700 | [diff] [blame] | 155 | m_queue.erase(m_queue.begin()); |
| 156 | } |
| 157 | BOOST_ASSERT(m_queue.size() >= m_capacity); |
| 158 | } |
| 159 | |
| 160 | } // namespace nfd |