QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 1 | // Copyright 2014 The Chromium Authors. All rights reserved. |
| 2 | // Use of this source code is governed by a BSD-style license that can be |
| 3 | // found in the LICENSE file. |
| 4 | |
QUICHE team | 5be974e | 2020-12-29 18:35:24 -0500 | [diff] [blame] | 5 | #include "spdy/core/hpack/hpack_header_table.h" |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 6 | |
| 7 | #include <algorithm> |
| 8 | |
QUICHE team | 1b5d09e | 2021-04-08 13:36:42 -0700 | [diff] [blame] | 9 | #include "common/platform/api/quiche_logging.h" |
QUICHE team | 5be974e | 2020-12-29 18:35:24 -0500 | [diff] [blame] | 10 | #include "spdy/core/hpack/hpack_constants.h" |
| 11 | #include "spdy/core/hpack/hpack_static_table.h" |
QUICHE team | 5be974e | 2020-12-29 18:35:24 -0500 | [diff] [blame] | 12 | #include "spdy/platform/api/spdy_estimate_memory_usage.h" |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 13 | |
| 14 | namespace spdy { |
| 15 | |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 16 | HpackHeaderTable::HpackHeaderTable() |
| 17 | : static_entries_(ObtainHpackStaticTable().GetStaticEntries()), |
| 18 | static_index_(ObtainHpackStaticTable().GetStaticIndex()), |
| 19 | static_name_index_(ObtainHpackStaticTable().GetStaticNameIndex()), |
| 20 | settings_size_bound_(kDefaultHeaderTableSizeSetting), |
| 21 | size_(0), |
| 22 | max_size_(kDefaultHeaderTableSizeSetting), |
bnc | f5f8d70 | 2021-03-19 10:50:35 -0700 | [diff] [blame] | 23 | dynamic_table_insertions_(0) {} |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 24 | |
| 25 | HpackHeaderTable::~HpackHeaderTable() = default; |
| 26 | |
bnc | a6c0a70 | 2021-03-16 10:39:14 -0700 | [diff] [blame] | 27 | size_t HpackHeaderTable::GetByName(absl::string_view name) { |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 28 | { |
| 29 | auto it = static_name_index_.find(name); |
| 30 | if (it != static_name_index_.end()) { |
bnc | c236240 | 2021-03-23 11:56:11 -0700 | [diff] [blame] | 31 | return 1 + it->second; |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 32 | } |
| 33 | } |
| 34 | { |
| 35 | NameToEntryMap::const_iterator it = dynamic_name_index_.find(name); |
| 36 | if (it != dynamic_name_index_.end()) { |
bnc | c236240 | 2021-03-23 11:56:11 -0700 | [diff] [blame] | 37 | return dynamic_table_insertions_ - it->second + kStaticTableSize; |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 38 | } |
| 39 | } |
bnc | a6c0a70 | 2021-03-16 10:39:14 -0700 | [diff] [blame] | 40 | return kHpackEntryNotFound; |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 41 | } |
| 42 | |
bnc | a6c0a70 | 2021-03-16 10:39:14 -0700 | [diff] [blame] | 43 | size_t HpackHeaderTable::GetByNameAndValue(absl::string_view name, |
| 44 | absl::string_view value) { |
bnc | 7dcfe32 | 2021-03-18 09:49:08 -0700 | [diff] [blame] | 45 | HpackLookupEntry query{name, value}; |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 46 | { |
bnc | 7dcfe32 | 2021-03-18 09:49:08 -0700 | [diff] [blame] | 47 | auto it = static_index_.find(query); |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 48 | if (it != static_index_.end()) { |
bnc | c236240 | 2021-03-23 11:56:11 -0700 | [diff] [blame] | 49 | return 1 + it->second; |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 50 | } |
| 51 | } |
| 52 | { |
bnc | 7dcfe32 | 2021-03-18 09:49:08 -0700 | [diff] [blame] | 53 | auto it = dynamic_index_.find(query); |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 54 | if (it != dynamic_index_.end()) { |
bnc | c236240 | 2021-03-23 11:56:11 -0700 | [diff] [blame] | 55 | return dynamic_table_insertions_ - it->second + kStaticTableSize; |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 56 | } |
| 57 | } |
bnc | a6c0a70 | 2021-03-16 10:39:14 -0700 | [diff] [blame] | 58 | return kHpackEntryNotFound; |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 59 | } |
| 60 | |
| 61 | void HpackHeaderTable::SetMaxSize(size_t max_size) { |
vasilvv | ed4f308 | 2021-02-01 14:29:40 -0800 | [diff] [blame] | 62 | QUICHE_CHECK_LE(max_size, settings_size_bound_); |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 63 | |
| 64 | max_size_ = max_size; |
| 65 | if (size_ > max_size_) { |
| 66 | Evict(EvictionCountToReclaim(size_ - max_size_)); |
vasilvv | ed4f308 | 2021-02-01 14:29:40 -0800 | [diff] [blame] | 67 | QUICHE_CHECK_LE(size_, max_size_); |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 68 | } |
| 69 | } |
| 70 | |
| 71 | void HpackHeaderTable::SetSettingsHeaderTableSize(size_t settings_size) { |
| 72 | settings_size_bound_ = settings_size; |
| 73 | SetMaxSize(settings_size_bound_); |
| 74 | } |
| 75 | |
vasilvv | a89e7fa | 2020-10-12 21:35:05 -0700 | [diff] [blame] | 76 | void HpackHeaderTable::EvictionSet(absl::string_view name, |
| 77 | absl::string_view value, |
bnc | 80a178f | 2021-03-23 13:07:47 -0700 | [diff] [blame] | 78 | DynamicEntryTable::iterator* begin_out, |
| 79 | DynamicEntryTable::iterator* end_out) { |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 80 | size_t eviction_count = EvictionCountForEntry(name, value); |
| 81 | *begin_out = dynamic_entries_.end() - eviction_count; |
| 82 | *end_out = dynamic_entries_.end(); |
| 83 | } |
| 84 | |
vasilvv | a89e7fa | 2020-10-12 21:35:05 -0700 | [diff] [blame] | 85 | size_t HpackHeaderTable::EvictionCountForEntry(absl::string_view name, |
| 86 | absl::string_view value) const { |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 87 | size_t available_size = max_size_ - size_; |
| 88 | size_t entry_size = HpackEntry::Size(name, value); |
| 89 | |
| 90 | if (entry_size <= available_size) { |
| 91 | // No evictions are required. |
| 92 | return 0; |
| 93 | } |
| 94 | return EvictionCountToReclaim(entry_size - available_size); |
| 95 | } |
| 96 | |
| 97 | size_t HpackHeaderTable::EvictionCountToReclaim(size_t reclaim_size) const { |
| 98 | size_t count = 0; |
| 99 | for (auto it = dynamic_entries_.rbegin(); |
| 100 | it != dynamic_entries_.rend() && reclaim_size != 0; ++it, ++count) { |
| 101 | reclaim_size -= std::min(reclaim_size, it->Size()); |
| 102 | } |
| 103 | return count; |
| 104 | } |
| 105 | |
| 106 | void HpackHeaderTable::Evict(size_t count) { |
| 107 | for (size_t i = 0; i != count; ++i) { |
vasilvv | ed4f308 | 2021-02-01 14:29:40 -0800 | [diff] [blame] | 108 | QUICHE_CHECK(!dynamic_entries_.empty()); |
bnc | c236240 | 2021-03-23 11:56:11 -0700 | [diff] [blame] | 109 | |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 110 | HpackEntry* entry = &dynamic_entries_.back(); |
bnc | c236240 | 2021-03-23 11:56:11 -0700 | [diff] [blame] | 111 | const size_t index = dynamic_table_insertions_ - dynamic_entries_.size(); |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 112 | |
| 113 | size_ -= entry->Size(); |
bnc | 7dcfe32 | 2021-03-18 09:49:08 -0700 | [diff] [blame] | 114 | auto it = dynamic_index_.find({entry->name(), entry->value()}); |
vasilvv | ed4f308 | 2021-02-01 14:29:40 -0800 | [diff] [blame] | 115 | QUICHE_DCHECK(it != dynamic_index_.end()); |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 116 | // Only remove an entry from the index if its insertion index matches; |
| 117 | // otherwise, the index refers to another entry with the same name and |
| 118 | // value. |
bnc | c236240 | 2021-03-23 11:56:11 -0700 | [diff] [blame] | 119 | if (it->second == index) { |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 120 | dynamic_index_.erase(it); |
| 121 | } |
| 122 | auto name_it = dynamic_name_index_.find(entry->name()); |
vasilvv | ed4f308 | 2021-02-01 14:29:40 -0800 | [diff] [blame] | 123 | QUICHE_DCHECK(name_it != dynamic_name_index_.end()); |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 124 | // Only remove an entry from the literal index if its insertion index |
| 125 | /// matches; otherwise, the index refers to another entry with the same |
| 126 | // name. |
bnc | c236240 | 2021-03-23 11:56:11 -0700 | [diff] [blame] | 127 | if (name_it->second == index) { |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 128 | dynamic_name_index_.erase(name_it); |
| 129 | } |
| 130 | dynamic_entries_.pop_back(); |
| 131 | } |
| 132 | } |
| 133 | |
vasilvv | a89e7fa | 2020-10-12 21:35:05 -0700 | [diff] [blame] | 134 | const HpackEntry* HpackHeaderTable::TryAddEntry(absl::string_view name, |
| 135 | absl::string_view value) { |
bnc | cf5276d | 2021-03-18 11:35:09 -0700 | [diff] [blame] | 136 | // Since |dynamic_entries_| has iterator stability, |name| and |value| are |
bnc | 2dd2400 | 2021-04-05 11:13:54 -0700 | [diff] [blame] | 137 | // valid even after evicting other entries and push_front() making room for |
bnc | cf5276d | 2021-03-18 11:35:09 -0700 | [diff] [blame] | 138 | // the new one. |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 139 | Evict(EvictionCountForEntry(name, value)); |
| 140 | |
| 141 | size_t entry_size = HpackEntry::Size(name, value); |
| 142 | if (entry_size > (max_size_ - size_)) { |
| 143 | // Entire table has been emptied, but there's still insufficient room. |
vasilvv | ed4f308 | 2021-02-01 14:29:40 -0800 | [diff] [blame] | 144 | QUICHE_DCHECK(dynamic_entries_.empty()); |
| 145 | QUICHE_DCHECK_EQ(0u, size_); |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 146 | return nullptr; |
| 147 | } |
bnc | c236240 | 2021-03-23 11:56:11 -0700 | [diff] [blame] | 148 | |
| 149 | const size_t index = dynamic_table_insertions_; |
bnc | 2dd2400 | 2021-04-05 11:13:54 -0700 | [diff] [blame] | 150 | dynamic_entries_.push_front( |
| 151 | HpackEntry(std::string(name), std::string(value))); |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 152 | HpackEntry* new_entry = &dynamic_entries_.front(); |
bnc | 7dcfe32 | 2021-03-18 09:49:08 -0700 | [diff] [blame] | 153 | auto index_result = dynamic_index_.insert(std::make_pair( |
bnc | c236240 | 2021-03-23 11:56:11 -0700 | [diff] [blame] | 154 | HpackLookupEntry{new_entry->name(), new_entry->value()}, index)); |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 155 | if (!index_result.second) { |
| 156 | // An entry with the same name and value already exists in the dynamic |
| 157 | // index. We should replace it with the newly added entry. |
QUICHE team | 1b5d09e | 2021-04-08 13:36:42 -0700 | [diff] [blame] | 158 | QUICHE_DVLOG(1) << "Found existing entry at: " << index_result.first->second |
| 159 | << " replacing with: " << new_entry->GetDebugString() |
| 160 | << " at: " << index; |
bnc | c236240 | 2021-03-23 11:56:11 -0700 | [diff] [blame] | 161 | QUICHE_DCHECK_GT(index, index_result.first->second); |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 162 | dynamic_index_.erase(index_result.first); |
bnc | 7dcfe32 | 2021-03-18 09:49:08 -0700 | [diff] [blame] | 163 | auto insert_result = dynamic_index_.insert(std::make_pair( |
bnc | c236240 | 2021-03-23 11:56:11 -0700 | [diff] [blame] | 164 | HpackLookupEntry{new_entry->name(), new_entry->value()}, index)); |
bnc | 7dcfe32 | 2021-03-18 09:49:08 -0700 | [diff] [blame] | 165 | QUICHE_CHECK(insert_result.second); |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 166 | } |
| 167 | |
| 168 | auto name_result = |
bnc | c236240 | 2021-03-23 11:56:11 -0700 | [diff] [blame] | 169 | dynamic_name_index_.insert(std::make_pair(new_entry->name(), index)); |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 170 | if (!name_result.second) { |
| 171 | // An entry with the same name already exists in the dynamic index. We |
| 172 | // should replace it with the newly added entry. |
QUICHE team | 1b5d09e | 2021-04-08 13:36:42 -0700 | [diff] [blame] | 173 | QUICHE_DVLOG(1) << "Found existing entry at: " << name_result.first->second |
| 174 | << " replacing with: " << new_entry->GetDebugString() |
| 175 | << " at: " << index; |
bnc | c236240 | 2021-03-23 11:56:11 -0700 | [diff] [blame] | 176 | QUICHE_DCHECK_GT(index, name_result.first->second); |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 177 | dynamic_name_index_.erase(name_result.first); |
bnc | c236240 | 2021-03-23 11:56:11 -0700 | [diff] [blame] | 178 | auto insert_result = |
| 179 | dynamic_name_index_.insert(std::make_pair(new_entry->name(), index)); |
vasilvv | ed4f308 | 2021-02-01 14:29:40 -0800 | [diff] [blame] | 180 | QUICHE_CHECK(insert_result.second); |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 181 | } |
| 182 | |
| 183 | size_ += entry_size; |
bnc | f5f8d70 | 2021-03-19 10:50:35 -0700 | [diff] [blame] | 184 | ++dynamic_table_insertions_; |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 185 | |
| 186 | return &dynamic_entries_.front(); |
| 187 | } |
| 188 | |
QUICHE team | 82dee2f | 2019-01-18 12:35:12 -0500 | [diff] [blame] | 189 | size_t HpackHeaderTable::EstimateMemoryUsage() const { |
| 190 | return SpdyEstimateMemoryUsage(dynamic_entries_) + |
| 191 | SpdyEstimateMemoryUsage(dynamic_index_) + |
| 192 | SpdyEstimateMemoryUsage(dynamic_name_index_); |
| 193 | } |
| 194 | |
| 195 | } // namespace spdy |