blob: 41b3bb9f5d723fb7d305560cf2604625dc6eb6a9 [file] [log] [blame]
Vladimir Marko8081d2b2014-07-31 15:33:43 +01001/*
2 * Copyright (C) 2014 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
David Sehr1ce2b3b2018-04-05 11:02:03 -070017#ifndef ART_LIBARTBASE_BASE_ARENA_CONTAINERS_H_
18#define ART_LIBARTBASE_BASE_ARENA_CONTAINERS_H_
Vladimir Marko8081d2b2014-07-31 15:33:43 +010019
20#include <deque>
21#include <queue>
22#include <set>
Matthew Gharrity33ee1202016-07-29 09:13:33 -070023#include <stack>
Vladimir Marko9c571132017-02-22 11:59:57 +000024#include <unordered_map>
Vladimir Marko1f497642015-10-05 20:34:42 +010025#include <utility>
Vladimir Marko8081d2b2014-07-31 15:33:43 +010026
Mathieu Chartierb666f482015-02-18 14:33:14 -080027#include "arena_allocator.h"
David Sehr1979c642018-04-26 14:41:18 -070028#include "dchecked_vector.h"
29#include "hash_map.h"
30#include "hash_set.h"
31#include "safe_map.h"
Vladimir Marko8081d2b2014-07-31 15:33:43 +010032
33namespace art {
34
35// Adapter for use of ArenaAllocator in STL containers.
36// Use ArenaAllocator::Adapter() to create an adapter to pass to container constructors.
37// For example,
38// struct Foo {
39// explicit Foo(ArenaAllocator* allocator)
40// : foo_vector(allocator->Adapter(kArenaAllocMisc)),
41// foo_map(std::less<int>(), allocator->Adapter()) {
42// }
43// ArenaVector<int> foo_vector;
44// ArenaSafeMap<int, int> foo_map;
45// };
46template <typename T>
47class ArenaAllocatorAdapter;
48
49template <typename T>
50using ArenaDeque = std::deque<T, ArenaAllocatorAdapter<T>>;
51
52template <typename T>
53using ArenaQueue = std::queue<T, ArenaDeque<T>>;
54
55template <typename T>
Vladimir Markoec7802a2015-10-01 20:57:57 +010056using ArenaVector = dchecked_vector<T, ArenaAllocatorAdapter<T>>;
Vladimir Marko8081d2b2014-07-31 15:33:43 +010057
58template <typename T, typename Comparator = std::less<T>>
Matthew Gharrity33ee1202016-07-29 09:13:33 -070059using ArenaPriorityQueue = std::priority_queue<T, ArenaVector<T>, Comparator>;
60
61template <typename T>
62using ArenaStdStack = std::stack<T, ArenaDeque<T>>;
63
64template <typename T, typename Comparator = std::less<T>>
Vladimir Marko8081d2b2014-07-31 15:33:43 +010065using ArenaSet = std::set<T, Comparator, ArenaAllocatorAdapter<T>>;
66
67template <typename K, typename V, typename Comparator = std::less<K>>
68using ArenaSafeMap =
69 SafeMap<K, V, Comparator, ArenaAllocatorAdapter<std::pair<const K, V>>>;
70
Vladimir Marko1f497642015-10-05 20:34:42 +010071template <typename T,
72 typename EmptyFn = DefaultEmptyFn<T>,
Vladimir Marko54159c62018-06-20 14:30:08 +010073 typename HashFn = DefaultHashFn<T>,
74 typename Pred = DefaultPred<T>>
Vladimir Marko1f497642015-10-05 20:34:42 +010075using ArenaHashSet = HashSet<T, EmptyFn, HashFn, Pred, ArenaAllocatorAdapter<T>>;
76
77template <typename Key,
78 typename Value,
79 typename EmptyFn = DefaultEmptyFn<std::pair<Key, Value>>,
Vladimir Marko54159c62018-06-20 14:30:08 +010080 typename HashFn = DefaultHashFn<Key>,
81 typename Pred = DefaultPred<Key>>
Vladimir Marko1f497642015-10-05 20:34:42 +010082using ArenaHashMap = HashMap<Key,
83 Value,
84 EmptyFn,
85 HashFn,
86 Pred,
87 ArenaAllocatorAdapter<std::pair<Key, Value>>>;
88
Vladimir Marko9c571132017-02-22 11:59:57 +000089template <typename Key,
90 typename Value,
91 typename Hash = std::hash<Key>,
92 typename Pred = std::equal_to<Value>>
93using ArenaUnorderedMap = std::unordered_map<Key,
94 Value,
95 Hash,
96 Pred,
97 ArenaAllocatorAdapter<std::pair<const Key, Value>>>;
98
Vladimir Marko8081d2b2014-07-31 15:33:43 +010099// Implementation details below.
100
101template <bool kCount>
102class ArenaAllocatorAdapterKindImpl;
103
104template <>
105class ArenaAllocatorAdapterKindImpl<false> {
106 public:
107 // Not tracking allocations, ignore the supplied kind and arbitrarily provide kArenaAllocSTL.
Andreas Gampec801f0d2015-02-24 20:55:16 -0800108 explicit ArenaAllocatorAdapterKindImpl(ArenaAllocKind kind ATTRIBUTE_UNUSED) {}
Andreas Gampe758a8012015-04-03 21:28:42 -0700109 ArenaAllocatorAdapterKindImpl(const ArenaAllocatorAdapterKindImpl&) = default;
Andreas Gampec801f0d2015-02-24 20:55:16 -0800110 ArenaAllocatorAdapterKindImpl& operator=(const ArenaAllocatorAdapterKindImpl&) = default;
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100111 ArenaAllocKind Kind() { return kArenaAllocSTL; }
112};
113
114template <bool kCount>
115class ArenaAllocatorAdapterKindImpl {
116 public:
117 explicit ArenaAllocatorAdapterKindImpl(ArenaAllocKind kind) : kind_(kind) { }
Vladimir Markof9f64412015-09-02 14:05:49 +0100118 ArenaAllocatorAdapterKindImpl(const ArenaAllocatorAdapterKindImpl&) = default;
Andreas Gampec801f0d2015-02-24 20:55:16 -0800119 ArenaAllocatorAdapterKindImpl& operator=(const ArenaAllocatorAdapterKindImpl&) = default;
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100120 ArenaAllocKind Kind() { return kind_; }
121
122 private:
123 ArenaAllocKind kind_;
124};
125
126typedef ArenaAllocatorAdapterKindImpl<kArenaAllocatorCountAllocations> ArenaAllocatorAdapterKind;
127
128template <>
David Brazdil8d5b8b22015-03-24 10:51:52 +0000129class ArenaAllocatorAdapter<void> : private ArenaAllocatorAdapterKind {
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100130 public:
131 typedef void value_type;
132 typedef void* pointer;
133 typedef const void* const_pointer;
134
135 template <typename U>
136 struct rebind {
137 typedef ArenaAllocatorAdapter<U> other;
138 };
139
Vladimir Markoe764d2e2017-10-05 14:35:55 +0100140 explicit ArenaAllocatorAdapter(ArenaAllocator* allocator,
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100141 ArenaAllocKind kind = kArenaAllocSTL)
David Brazdil8d5b8b22015-03-24 10:51:52 +0000142 : ArenaAllocatorAdapterKind(kind),
Vladimir Markoe764d2e2017-10-05 14:35:55 +0100143 allocator_(allocator) {
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100144 }
145 template <typename U>
Igor Murashkin5573c372017-11-16 13:34:30 -0800146 ArenaAllocatorAdapter(const ArenaAllocatorAdapter<U>& other)
David Brazdil8d5b8b22015-03-24 10:51:52 +0000147 : ArenaAllocatorAdapterKind(other),
Vladimir Markoe764d2e2017-10-05 14:35:55 +0100148 allocator_(other.allocator_) {
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100149 }
Andreas Gampec801f0d2015-02-24 20:55:16 -0800150 ArenaAllocatorAdapter(const ArenaAllocatorAdapter&) = default;
151 ArenaAllocatorAdapter& operator=(const ArenaAllocatorAdapter&) = default;
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100152 ~ArenaAllocatorAdapter() = default;
153
154 private:
Vladimir Markoe764d2e2017-10-05 14:35:55 +0100155 ArenaAllocator* allocator_;
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100156
157 template <typename U>
158 friend class ArenaAllocatorAdapter;
159};
160
161template <typename T>
David Brazdil8d5b8b22015-03-24 10:51:52 +0000162class ArenaAllocatorAdapter : private ArenaAllocatorAdapterKind {
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100163 public:
164 typedef T value_type;
165 typedef T* pointer;
166 typedef T& reference;
167 typedef const T* const_pointer;
168 typedef const T& const_reference;
169 typedef size_t size_type;
170 typedef ptrdiff_t difference_type;
171
172 template <typename U>
173 struct rebind {
174 typedef ArenaAllocatorAdapter<U> other;
175 };
176
Vladimir Markoe764d2e2017-10-05 14:35:55 +0100177 ArenaAllocatorAdapter(ArenaAllocator* allocator, ArenaAllocKind kind)
David Brazdil8d5b8b22015-03-24 10:51:52 +0000178 : ArenaAllocatorAdapterKind(kind),
Vladimir Markoe764d2e2017-10-05 14:35:55 +0100179 allocator_(allocator) {
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100180 }
181 template <typename U>
Igor Murashkin5573c372017-11-16 13:34:30 -0800182 ArenaAllocatorAdapter(const ArenaAllocatorAdapter<U>& other)
David Brazdil8d5b8b22015-03-24 10:51:52 +0000183 : ArenaAllocatorAdapterKind(other),
Vladimir Markoe764d2e2017-10-05 14:35:55 +0100184 allocator_(other.allocator_) {
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100185 }
Andreas Gampec801f0d2015-02-24 20:55:16 -0800186 ArenaAllocatorAdapter(const ArenaAllocatorAdapter&) = default;
187 ArenaAllocatorAdapter& operator=(const ArenaAllocatorAdapter&) = default;
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100188 ~ArenaAllocatorAdapter() = default;
189
190 size_type max_size() const {
191 return static_cast<size_type>(-1) / sizeof(T);
192 }
193
194 pointer address(reference x) const { return &x; }
195 const_pointer address(const_reference x) const { return &x; }
196
Roland Levillain4b8f1ec2015-08-26 18:34:03 +0100197 pointer allocate(size_type n,
198 ArenaAllocatorAdapter<void>::pointer hint ATTRIBUTE_UNUSED = nullptr) {
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100199 DCHECK_LE(n, max_size());
Vladimir Markoe764d2e2017-10-05 14:35:55 +0100200 return allocator_->AllocArray<T>(n, ArenaAllocatorAdapterKind::Kind());
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100201 }
202 void deallocate(pointer p, size_type n) {
Vladimir Markoe764d2e2017-10-05 14:35:55 +0100203 allocator_->MakeInaccessible(p, sizeof(T) * n);
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100204 }
205
Vladimir Marko1f497642015-10-05 20:34:42 +0100206 template <typename U, typename... Args>
207 void construct(U* p, Args&&... args) {
208 ::new (static_cast<void*>(p)) U(std::forward<Args>(args)...);
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100209 }
Vladimir Marko1f497642015-10-05 20:34:42 +0100210 template <typename U>
211 void destroy(U* p) {
212 p->~U();
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100213 }
214
215 private:
Vladimir Markoe764d2e2017-10-05 14:35:55 +0100216 ArenaAllocator* allocator_;
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100217
218 template <typename U>
219 friend class ArenaAllocatorAdapter;
220
221 template <typename U>
222 friend bool operator==(const ArenaAllocatorAdapter<U>& lhs,
223 const ArenaAllocatorAdapter<U>& rhs);
224};
225
226template <typename T>
227inline bool operator==(const ArenaAllocatorAdapter<T>& lhs,
228 const ArenaAllocatorAdapter<T>& rhs) {
Vladimir Markoe764d2e2017-10-05 14:35:55 +0100229 return lhs.allocator_ == rhs.allocator_;
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100230}
231
232template <typename T>
233inline bool operator!=(const ArenaAllocatorAdapter<T>& lhs,
234 const ArenaAllocatorAdapter<T>& rhs) {
235 return !(lhs == rhs);
236}
237
238inline ArenaAllocatorAdapter<void> ArenaAllocator::Adapter(ArenaAllocKind kind) {
239 return ArenaAllocatorAdapter<void>(this, kind);
240}
241
242} // namespace art
243
David Sehr1ce2b3b2018-04-05 11:02:03 -0700244#endif // ART_LIBARTBASE_BASE_ARENA_CONTAINERS_H_