blob: 9174d2d6d9e87ba46c0688fe2c39dc32b2d1fec4 [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
Mathieu Chartierb666f482015-02-18 14:33:14 -080017#ifndef ART_RUNTIME_BASE_ARENA_CONTAINERS_H_
18#define ART_RUNTIME_BASE_ARENA_CONTAINERS_H_
Vladimir Marko8081d2b2014-07-31 15:33:43 +010019
20#include <deque>
21#include <queue>
22#include <set>
Vladimir Marko1f497642015-10-05 20:34:42 +010023#include <utility>
Vladimir Marko8081d2b2014-07-31 15:33:43 +010024
Mathieu Chartierb666f482015-02-18 14:33:14 -080025#include "arena_allocator.h"
Vladimir Markoec7802a2015-10-01 20:57:57 +010026#include "base/dchecked_vector.h"
Vladimir Marko1f497642015-10-05 20:34:42 +010027#include "hash_map.h"
28#include "hash_set.h"
Vladimir Marko8081d2b2014-07-31 15:33:43 +010029#include "safe_map.h"
30
31namespace art {
32
33// Adapter for use of ArenaAllocator in STL containers.
34// Use ArenaAllocator::Adapter() to create an adapter to pass to container constructors.
35// For example,
36// struct Foo {
37// explicit Foo(ArenaAllocator* allocator)
38// : foo_vector(allocator->Adapter(kArenaAllocMisc)),
39// foo_map(std::less<int>(), allocator->Adapter()) {
40// }
41// ArenaVector<int> foo_vector;
42// ArenaSafeMap<int, int> foo_map;
43// };
44template <typename T>
45class ArenaAllocatorAdapter;
46
47template <typename T>
48using ArenaDeque = std::deque<T, ArenaAllocatorAdapter<T>>;
49
50template <typename T>
51using ArenaQueue = std::queue<T, ArenaDeque<T>>;
52
53template <typename T>
Vladimir Markoec7802a2015-10-01 20:57:57 +010054using ArenaVector = dchecked_vector<T, ArenaAllocatorAdapter<T>>;
Vladimir Marko8081d2b2014-07-31 15:33:43 +010055
56template <typename T, typename Comparator = std::less<T>>
57using ArenaSet = std::set<T, Comparator, ArenaAllocatorAdapter<T>>;
58
59template <typename K, typename V, typename Comparator = std::less<K>>
60using ArenaSafeMap =
61 SafeMap<K, V, Comparator, ArenaAllocatorAdapter<std::pair<const K, V>>>;
62
Vladimir Marko1f497642015-10-05 20:34:42 +010063template <typename T,
64 typename EmptyFn = DefaultEmptyFn<T>,
65 typename HashFn = std::hash<T>,
66 typename Pred = std::equal_to<T>>
67using ArenaHashSet = HashSet<T, EmptyFn, HashFn, Pred, ArenaAllocatorAdapter<T>>;
68
69template <typename Key,
70 typename Value,
71 typename EmptyFn = DefaultEmptyFn<std::pair<Key, Value>>,
72 typename HashFn = std::hash<Key>,
73 typename Pred = std::equal_to<Key>>
74using ArenaHashMap = HashMap<Key,
75 Value,
76 EmptyFn,
77 HashFn,
78 Pred,
79 ArenaAllocatorAdapter<std::pair<Key, Value>>>;
80
Vladimir Marko8081d2b2014-07-31 15:33:43 +010081// Implementation details below.
82
83template <bool kCount>
84class ArenaAllocatorAdapterKindImpl;
85
86template <>
87class ArenaAllocatorAdapterKindImpl<false> {
88 public:
89 // Not tracking allocations, ignore the supplied kind and arbitrarily provide kArenaAllocSTL.
Andreas Gampec801f0d2015-02-24 20:55:16 -080090 explicit ArenaAllocatorAdapterKindImpl(ArenaAllocKind kind ATTRIBUTE_UNUSED) {}
Andreas Gampe758a8012015-04-03 21:28:42 -070091 ArenaAllocatorAdapterKindImpl(const ArenaAllocatorAdapterKindImpl&) = default;
Andreas Gampec801f0d2015-02-24 20:55:16 -080092 ArenaAllocatorAdapterKindImpl& operator=(const ArenaAllocatorAdapterKindImpl&) = default;
Vladimir Marko8081d2b2014-07-31 15:33:43 +010093 ArenaAllocKind Kind() { return kArenaAllocSTL; }
94};
95
96template <bool kCount>
97class ArenaAllocatorAdapterKindImpl {
98 public:
99 explicit ArenaAllocatorAdapterKindImpl(ArenaAllocKind kind) : kind_(kind) { }
Vladimir Markof9f64412015-09-02 14:05:49 +0100100 ArenaAllocatorAdapterKindImpl(const ArenaAllocatorAdapterKindImpl&) = default;
Andreas Gampec801f0d2015-02-24 20:55:16 -0800101 ArenaAllocatorAdapterKindImpl& operator=(const ArenaAllocatorAdapterKindImpl&) = default;
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100102 ArenaAllocKind Kind() { return kind_; }
103
104 private:
105 ArenaAllocKind kind_;
106};
107
108typedef ArenaAllocatorAdapterKindImpl<kArenaAllocatorCountAllocations> ArenaAllocatorAdapterKind;
109
110template <>
David Brazdil8d5b8b22015-03-24 10:51:52 +0000111class ArenaAllocatorAdapter<void> : private ArenaAllocatorAdapterKind {
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100112 public:
113 typedef void value_type;
114 typedef void* pointer;
115 typedef const void* const_pointer;
116
117 template <typename U>
118 struct rebind {
119 typedef ArenaAllocatorAdapter<U> other;
120 };
121
122 explicit ArenaAllocatorAdapter(ArenaAllocator* arena_allocator,
123 ArenaAllocKind kind = kArenaAllocSTL)
David Brazdil8d5b8b22015-03-24 10:51:52 +0000124 : ArenaAllocatorAdapterKind(kind),
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100125 arena_allocator_(arena_allocator) {
126 }
127 template <typename U>
128 ArenaAllocatorAdapter(const ArenaAllocatorAdapter<U>& other)
David Brazdil8d5b8b22015-03-24 10:51:52 +0000129 : ArenaAllocatorAdapterKind(other),
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100130 arena_allocator_(other.arena_allocator_) {
131 }
Andreas Gampec801f0d2015-02-24 20:55:16 -0800132 ArenaAllocatorAdapter(const ArenaAllocatorAdapter&) = default;
133 ArenaAllocatorAdapter& operator=(const ArenaAllocatorAdapter&) = default;
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100134 ~ArenaAllocatorAdapter() = default;
135
136 private:
137 ArenaAllocator* arena_allocator_;
138
139 template <typename U>
140 friend class ArenaAllocatorAdapter;
141};
142
143template <typename T>
David Brazdil8d5b8b22015-03-24 10:51:52 +0000144class ArenaAllocatorAdapter : private ArenaAllocatorAdapterKind {
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100145 public:
146 typedef T value_type;
147 typedef T* pointer;
148 typedef T& reference;
149 typedef const T* const_pointer;
150 typedef const T& const_reference;
151 typedef size_t size_type;
152 typedef ptrdiff_t difference_type;
153
154 template <typename U>
155 struct rebind {
156 typedef ArenaAllocatorAdapter<U> other;
157 };
158
Roland Levillain3887c462015-08-12 18:15:42 +0100159 ArenaAllocatorAdapter(ArenaAllocator* arena_allocator, ArenaAllocKind kind)
David Brazdil8d5b8b22015-03-24 10:51:52 +0000160 : ArenaAllocatorAdapterKind(kind),
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100161 arena_allocator_(arena_allocator) {
162 }
163 template <typename U>
164 ArenaAllocatorAdapter(const ArenaAllocatorAdapter<U>& other)
David Brazdil8d5b8b22015-03-24 10:51:52 +0000165 : ArenaAllocatorAdapterKind(other),
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100166 arena_allocator_(other.arena_allocator_) {
167 }
Andreas Gampec801f0d2015-02-24 20:55:16 -0800168 ArenaAllocatorAdapter(const ArenaAllocatorAdapter&) = default;
169 ArenaAllocatorAdapter& operator=(const ArenaAllocatorAdapter&) = default;
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100170 ~ArenaAllocatorAdapter() = default;
171
172 size_type max_size() const {
173 return static_cast<size_type>(-1) / sizeof(T);
174 }
175
176 pointer address(reference x) const { return &x; }
177 const_pointer address(const_reference x) const { return &x; }
178
179 pointer allocate(size_type n, ArenaAllocatorAdapter<void>::pointer hint = nullptr) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700180 UNUSED(hint);
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100181 DCHECK_LE(n, max_size());
Vladimir Markoe4fcc5b2015-02-13 10:28:29 +0000182 return arena_allocator_->AllocArray<T>(n, ArenaAllocatorAdapterKind::Kind());
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100183 }
184 void deallocate(pointer p, size_type n) {
Vladimir Marko2a408a32015-09-18 14:11:00 +0100185 arena_allocator_->MakeInaccessible(p, sizeof(T) * n);
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100186 }
187
Vladimir Marko1f497642015-10-05 20:34:42 +0100188 template <typename U, typename... Args>
189 void construct(U* p, Args&&... args) {
190 ::new (static_cast<void*>(p)) U(std::forward<Args>(args)...);
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100191 }
Vladimir Marko1f497642015-10-05 20:34:42 +0100192 template <typename U>
193 void destroy(U* p) {
194 p->~U();
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100195 }
196
197 private:
198 ArenaAllocator* arena_allocator_;
199
200 template <typename U>
201 friend class ArenaAllocatorAdapter;
202
203 template <typename U>
204 friend bool operator==(const ArenaAllocatorAdapter<U>& lhs,
205 const ArenaAllocatorAdapter<U>& rhs);
206};
207
208template <typename T>
209inline bool operator==(const ArenaAllocatorAdapter<T>& lhs,
210 const ArenaAllocatorAdapter<T>& rhs) {
211 return lhs.arena_allocator_ == rhs.arena_allocator_;
212}
213
214template <typename T>
215inline bool operator!=(const ArenaAllocatorAdapter<T>& lhs,
216 const ArenaAllocatorAdapter<T>& rhs) {
217 return !(lhs == rhs);
218}
219
220inline ArenaAllocatorAdapter<void> ArenaAllocator::Adapter(ArenaAllocKind kind) {
221 return ArenaAllocatorAdapter<void>(this, kind);
222}
223
224} // namespace art
225
Mathieu Chartierb666f482015-02-18 14:33:14 -0800226#endif // ART_RUNTIME_BASE_ARENA_CONTAINERS_H_