• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // Copyright (c) 2011 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 
5 // This file contains a template for a Most Recently Used cache that allows
6 // constant-time access to items using a key, but easy identification of the
7 // least-recently-used items for removal.  Each key can only be associated with
8 // one payload item at a time.
9 //
10 // The key object will be stored twice, so it should support efficient copying.
11 //
12 // NOTE: While all operations are O(1), this code is written for
13 // legibility rather than optimality. If future profiling identifies this as
14 // a bottleneck, there is room for smaller values of 1 in the O(1). :]
15 
16 #ifndef BASE_CONTAINERS_MRU_CACHE_H_
17 #define BASE_CONTAINERS_MRU_CACHE_H_
18 
19 #include <stddef.h>
20 
21 #include <algorithm>
22 #include <functional>
23 #include <list>
24 #include <map>
25 #include <unordered_map>
26 #include <utility>
27 
28 #include "base/logging.h"
29 #include "base/macros.h"
30 
31 namespace base {
32 
33 // MRUCacheBase ----------------------------------------------------------------
34 
35 // This template is used to standardize map type containers that can be used
36 // by MRUCacheBase. This level of indirection is necessary because of the way
37 // that template template params and default template params interact.
38 template <class KeyType, class ValueType, class CompareType>
39 struct MRUCacheStandardMap {
40   typedef std::map<KeyType, ValueType, CompareType> Type;
41 };
42 
43 // Base class for the MRU cache specializations defined below.
44 template <class KeyType,
45           class PayloadType,
46           class HashOrCompareType,
47           template <typename, typename, typename> class MapType =
48               MRUCacheStandardMap>
49 class MRUCacheBase {
50  public:
51   // The payload of the list. This maintains a copy of the key so we can
52   // efficiently delete things given an element of the list.
53   typedef std::pair<KeyType, PayloadType> value_type;
54 
55  private:
56   typedef std::list<value_type> PayloadList;
57   typedef typename MapType<KeyType,
58                            typename PayloadList::iterator,
59                            HashOrCompareType>::Type KeyIndex;
60 
61  public:
62   typedef typename PayloadList::size_type size_type;
63 
64   typedef typename PayloadList::iterator iterator;
65   typedef typename PayloadList::const_iterator const_iterator;
66   typedef typename PayloadList::reverse_iterator reverse_iterator;
67   typedef typename PayloadList::const_reverse_iterator const_reverse_iterator;
68 
69   enum { NO_AUTO_EVICT = 0 };
70 
71   // The max_size is the size at which the cache will prune its members to when
72   // a new item is inserted. If the caller wants to manager this itself (for
73   // example, maybe it has special work to do when something is evicted), it
74   // can pass NO_AUTO_EVICT to not restrict the cache size.
MRUCacheBase(size_type max_size)75   explicit MRUCacheBase(size_type max_size) : max_size_(max_size) {}
76 
~MRUCacheBase()77   virtual ~MRUCacheBase() {}
78 
max_size()79   size_type max_size() const { return max_size_; }
80 
81   // Inserts a payload item with the given key. If an existing item has
82   // the same key, it is removed prior to insertion. An iterator indicating the
83   // inserted item will be returned (this will always be the front of the list).
84   //
85   // The payload will be forwarded.
86   template <typename Payload>
Put(const KeyType & key,Payload && payload)87   iterator Put(const KeyType& key, Payload&& payload) {
88     // Remove any existing payload with that key.
89     typename KeyIndex::iterator index_iter = index_.find(key);
90     if (index_iter != index_.end()) {
91       // Erase the reference to it. The index reference will be replaced in the
92       // code below.
93       Erase(index_iter->second);
94     } else if (max_size_ != NO_AUTO_EVICT) {
95       // New item is being inserted which might make it larger than the maximum
96       // size: kick the oldest thing out if necessary.
97       ShrinkToSize(max_size_ - 1);
98     }
99 
100     ordering_.push_front(value_type(key, std::forward<Payload>(payload)));
101     index_.insert(std::make_pair(key, ordering_.begin()));
102     return ordering_.begin();
103   }
104 
105   // Retrieves the contents of the given key, or end() if not found. This method
106   // has the side effect of moving the requested item to the front of the
107   // recency list.
108   //
109   // TODO(brettw) We may want a const version of this function in the future.
Get(const KeyType & key)110   iterator Get(const KeyType& key) {
111     typename KeyIndex::iterator index_iter = index_.find(key);
112     if (index_iter == index_.end())
113       return end();
114     typename PayloadList::iterator iter = index_iter->second;
115 
116     // Move the touched item to the front of the recency ordering.
117     ordering_.splice(ordering_.begin(), ordering_, iter);
118     return ordering_.begin();
119   }
120 
121   // Retrieves the payload associated with a given key and returns it via
122   // result without affecting the ordering (unlike Get).
Peek(const KeyType & key)123   iterator Peek(const KeyType& key) {
124     typename KeyIndex::const_iterator index_iter = index_.find(key);
125     if (index_iter == index_.end())
126       return end();
127     return index_iter->second;
128   }
129 
Peek(const KeyType & key)130   const_iterator Peek(const KeyType& key) const {
131     typename KeyIndex::const_iterator index_iter = index_.find(key);
132     if (index_iter == index_.end())
133       return end();
134     return index_iter->second;
135   }
136 
137   // Exchanges the contents of |this| by the contents of the |other|.
Swap(MRUCacheBase & other)138   void Swap(MRUCacheBase& other) {
139     ordering_.swap(other.ordering_);
140     index_.swap(other.index_);
141     std::swap(max_size_, other.max_size_);
142   }
143 
144   // Erases the item referenced by the given iterator. An iterator to the item
145   // following it will be returned. The iterator must be valid.
Erase(iterator pos)146   iterator Erase(iterator pos) {
147     index_.erase(pos->first);
148     return ordering_.erase(pos);
149   }
150 
151   // MRUCache entries are often processed in reverse order, so we add this
152   // convenience function (not typically defined by STL containers).
Erase(reverse_iterator pos)153   reverse_iterator Erase(reverse_iterator pos) {
154     // We have to actually give it the incremented iterator to delete, since
155     // the forward iterator that base() returns is actually one past the item
156     // being iterated over.
157     return reverse_iterator(Erase((++pos).base()));
158   }
159 
160   // Shrinks the cache so it only holds |new_size| items. If |new_size| is
161   // bigger or equal to the current number of items, this will do nothing.
ShrinkToSize(size_type new_size)162   void ShrinkToSize(size_type new_size) {
163     for (size_type i = size(); i > new_size; i--)
164       Erase(rbegin());
165   }
166 
167   // Deletes everything from the cache.
Clear()168   void Clear() {
169     index_.clear();
170     ordering_.clear();
171   }
172 
173   // Returns the number of elements in the cache.
size()174   size_type size() const {
175     // We don't use ordering_.size() for the return value because
176     // (as a linked list) it can be O(n).
177     DCHECK(index_.size() == ordering_.size());
178     return index_.size();
179   }
180 
181   // Allows iteration over the list. Forward iteration starts with the most
182   // recent item and works backwards.
183   //
184   // Note that since these iterators are actually iterators over a list, you
185   // can keep them as you insert or delete things (as long as you don't delete
186   // the one you are pointing to) and they will still be valid.
begin()187   iterator begin() { return ordering_.begin(); }
begin()188   const_iterator begin() const { return ordering_.begin(); }
end()189   iterator end() { return ordering_.end(); }
end()190   const_iterator end() const { return ordering_.end(); }
191 
rbegin()192   reverse_iterator rbegin() { return ordering_.rbegin(); }
rbegin()193   const_reverse_iterator rbegin() const { return ordering_.rbegin(); }
rend()194   reverse_iterator rend() { return ordering_.rend(); }
rend()195   const_reverse_iterator rend() const { return ordering_.rend(); }
196 
empty()197   bool empty() const { return ordering_.empty(); }
198 
199  private:
200   PayloadList ordering_;
201   KeyIndex index_;
202 
203   size_type max_size_;
204 
205   DISALLOW_COPY_AND_ASSIGN(MRUCacheBase);
206 };
207 
208 // MRUCache --------------------------------------------------------------------
209 
210 // A container that does not do anything to free its data. Use this when storing
211 // value types (as opposed to pointers) in the list.
212 template <class KeyType, class PayloadType>
213 class MRUCache : public MRUCacheBase<KeyType, PayloadType, std::less<KeyType>> {
214  private:
215   using ParentType = MRUCacheBase<KeyType, PayloadType, std::less<KeyType>>;
216 
217  public:
218   // See MRUCacheBase, noting the possibility of using NO_AUTO_EVICT.
MRUCache(typename ParentType::size_type max_size)219   explicit MRUCache(typename ParentType::size_type max_size)
220       : ParentType(max_size) {}
~MRUCache()221   virtual ~MRUCache() {}
222 
223  private:
224   DISALLOW_COPY_AND_ASSIGN(MRUCache);
225 };
226 
227 // HashingMRUCache ------------------------------------------------------------
228 
229 template <class KeyType, class ValueType, class HashType>
230 struct MRUCacheHashMap {
231   typedef std::unordered_map<KeyType, ValueType, HashType> Type;
232 };
233 
234 // This class is similar to MRUCache, except that it uses std::unordered_map as
235 // the map type instead of std::map. Note that your KeyType must be hashable to
236 // use this cache or you need to provide a hashing class.
237 template <class KeyType, class PayloadType, class HashType = std::hash<KeyType>>
238 class HashingMRUCache
239     : public MRUCacheBase<KeyType, PayloadType, HashType, MRUCacheHashMap> {
240  private:
241   using ParentType =
242       MRUCacheBase<KeyType, PayloadType, HashType, MRUCacheHashMap>;
243 
244  public:
245   // See MRUCacheBase, noting the possibility of using NO_AUTO_EVICT.
HashingMRUCache(typename ParentType::size_type max_size)246   explicit HashingMRUCache(typename ParentType::size_type max_size)
247       : ParentType(max_size) {}
~HashingMRUCache()248   virtual ~HashingMRUCache() {}
249 
250  private:
251   DISALLOW_COPY_AND_ASSIGN(HashingMRUCache);
252 };
253 
254 }  // namespace base
255 
256 #endif  // BASE_CONTAINERS_MRU_CACHE_H_
257