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