blob: 2c8aa2880ae897db40eb5ff4471c81bd9fabad62 [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>
Matthew Gharrity33ee1202016-07-29 09:13:33 -070023#include <stack>
Vladimir Marko1f497642015-10-05 20:34:42 +010024#include <utility>
Vladimir Marko8081d2b2014-07-31 15:33:43 +010025
Mathieu Chartierb666f482015-02-18 14:33:14 -080026#include "arena_allocator.h"
Vladimir Markoec7802a2015-10-01 20:57:57 +010027#include "base/dchecked_vector.h"
Vladimir Marko1f497642015-10-05 20:34:42 +010028#include "hash_map.h"
29#include "hash_set.h"
Vladimir Marko8081d2b2014-07-31 15:33:43 +010030#include "safe_map.h"
31
32namespace art {
33
34// Adapter for use of ArenaAllocator in STL containers.
35// Use ArenaAllocator::Adapter() to create an adapter to pass to container constructors.
36// For example,
37// struct Foo {
38// explicit Foo(ArenaAllocator* allocator)
39// : foo_vector(allocator->Adapter(kArenaAllocMisc)),
40// foo_map(std::less<int>(), allocator->Adapter()) {
41// }
42// ArenaVector<int> foo_vector;
43// ArenaSafeMap<int, int> foo_map;
44// };
45template <typename T>
46class ArenaAllocatorAdapter;
47
48template <typename T>
49using ArenaDeque = std::deque<T, ArenaAllocatorAdapter<T>>;
50
51template <typename T>
52using ArenaQueue = std::queue<T, ArenaDeque<T>>;
53
54template <typename T>
Vladimir Markoec7802a2015-10-01 20:57:57 +010055using ArenaVector = dchecked_vector<T, ArenaAllocatorAdapter<T>>;
Vladimir Marko8081d2b2014-07-31 15:33:43 +010056
57template <typename T, typename Comparator = std::less<T>>
Matthew Gharrity33ee1202016-07-29 09:13:33 -070058using ArenaPriorityQueue = std::priority_queue<T, ArenaVector<T>, Comparator>;
59
60template <typename T>
61using ArenaStdStack = std::stack<T, ArenaDeque<T>>;
62
63template <typename T, typename Comparator = std::less<T>>
Vladimir Marko8081d2b2014-07-31 15:33:43 +010064using ArenaSet = std::set<T, Comparator, ArenaAllocatorAdapter<T>>;
65
66template <typename K, typename V, typename Comparator = std::less<K>>
67using ArenaSafeMap =
68 SafeMap<K, V, Comparator, ArenaAllocatorAdapter<std::pair<const K, V>>>;
69
Vladimir Marko1f497642015-10-05 20:34:42 +010070template <typename T,
71 typename EmptyFn = DefaultEmptyFn<T>,
72 typename HashFn = std::hash<T>,
73 typename Pred = std::equal_to<T>>
74using ArenaHashSet = HashSet<T, EmptyFn, HashFn, Pred, ArenaAllocatorAdapter<T>>;
75
76template <typename Key,
77 typename Value,
78 typename EmptyFn = DefaultEmptyFn<std::pair<Key, Value>>,
79 typename HashFn = std::hash<Key>,
80 typename Pred = std::equal_to<Key>>
81using ArenaHashMap = HashMap<Key,
82 Value,
83 EmptyFn,
84 HashFn,
85 Pred,
86 ArenaAllocatorAdapter<std::pair<Key, Value>>>;
87
Vladimir Marko8081d2b2014-07-31 15:33:43 +010088// Implementation details below.
89
90template <bool kCount>
91class ArenaAllocatorAdapterKindImpl;
92
93template <>
94class ArenaAllocatorAdapterKindImpl<false> {
95 public:
96 // Not tracking allocations, ignore the supplied kind and arbitrarily provide kArenaAllocSTL.
Andreas Gampec801f0d2015-02-24 20:55:16 -080097 explicit ArenaAllocatorAdapterKindImpl(ArenaAllocKind kind ATTRIBUTE_UNUSED) {}
Andreas Gampe758a8012015-04-03 21:28:42 -070098 ArenaAllocatorAdapterKindImpl(const ArenaAllocatorAdapterKindImpl&) = default;
Andreas Gampec801f0d2015-02-24 20:55:16 -080099 ArenaAllocatorAdapterKindImpl& operator=(const ArenaAllocatorAdapterKindImpl&) = default;
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100100 ArenaAllocKind Kind() { return kArenaAllocSTL; }
101};
102
103template <bool kCount>
104class ArenaAllocatorAdapterKindImpl {
105 public:
106 explicit ArenaAllocatorAdapterKindImpl(ArenaAllocKind kind) : kind_(kind) { }
Vladimir Markof9f64412015-09-02 14:05:49 +0100107 ArenaAllocatorAdapterKindImpl(const ArenaAllocatorAdapterKindImpl&) = default;
Andreas Gampec801f0d2015-02-24 20:55:16 -0800108 ArenaAllocatorAdapterKindImpl& operator=(const ArenaAllocatorAdapterKindImpl&) = default;
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100109 ArenaAllocKind Kind() { return kind_; }
110
111 private:
112 ArenaAllocKind kind_;
113};
114
115typedef ArenaAllocatorAdapterKindImpl<kArenaAllocatorCountAllocations> ArenaAllocatorAdapterKind;
116
117template <>
David Brazdil8d5b8b22015-03-24 10:51:52 +0000118class ArenaAllocatorAdapter<void> : private ArenaAllocatorAdapterKind {
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100119 public:
120 typedef void value_type;
121 typedef void* pointer;
122 typedef const void* const_pointer;
123
124 template <typename U>
125 struct rebind {
126 typedef ArenaAllocatorAdapter<U> other;
127 };
128
129 explicit ArenaAllocatorAdapter(ArenaAllocator* arena_allocator,
130 ArenaAllocKind kind = kArenaAllocSTL)
David Brazdil8d5b8b22015-03-24 10:51:52 +0000131 : ArenaAllocatorAdapterKind(kind),
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100132 arena_allocator_(arena_allocator) {
133 }
134 template <typename U>
Chih-Hung Hsieha5931182016-09-01 15:08:13 -0700135 ArenaAllocatorAdapter(const ArenaAllocatorAdapter<U>& other) // NOLINT, implicit
David Brazdil8d5b8b22015-03-24 10:51:52 +0000136 : ArenaAllocatorAdapterKind(other),
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100137 arena_allocator_(other.arena_allocator_) {
138 }
Andreas Gampec801f0d2015-02-24 20:55:16 -0800139 ArenaAllocatorAdapter(const ArenaAllocatorAdapter&) = default;
140 ArenaAllocatorAdapter& operator=(const ArenaAllocatorAdapter&) = default;
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100141 ~ArenaAllocatorAdapter() = default;
142
143 private:
144 ArenaAllocator* arena_allocator_;
145
146 template <typename U>
147 friend class ArenaAllocatorAdapter;
148};
149
150template <typename T>
David Brazdil8d5b8b22015-03-24 10:51:52 +0000151class ArenaAllocatorAdapter : private ArenaAllocatorAdapterKind {
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100152 public:
153 typedef T value_type;
154 typedef T* pointer;
155 typedef T& reference;
156 typedef const T* const_pointer;
157 typedef const T& const_reference;
158 typedef size_t size_type;
159 typedef ptrdiff_t difference_type;
160
161 template <typename U>
162 struct rebind {
163 typedef ArenaAllocatorAdapter<U> other;
164 };
165
Roland Levillain3887c462015-08-12 18:15:42 +0100166 ArenaAllocatorAdapter(ArenaAllocator* arena_allocator, ArenaAllocKind kind)
David Brazdil8d5b8b22015-03-24 10:51:52 +0000167 : ArenaAllocatorAdapterKind(kind),
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100168 arena_allocator_(arena_allocator) {
169 }
170 template <typename U>
Chih-Hung Hsieha5931182016-09-01 15:08:13 -0700171 ArenaAllocatorAdapter(const ArenaAllocatorAdapter<U>& other) // NOLINT, implicit
David Brazdil8d5b8b22015-03-24 10:51:52 +0000172 : ArenaAllocatorAdapterKind(other),
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100173 arena_allocator_(other.arena_allocator_) {
174 }
Andreas Gampec801f0d2015-02-24 20:55:16 -0800175 ArenaAllocatorAdapter(const ArenaAllocatorAdapter&) = default;
176 ArenaAllocatorAdapter& operator=(const ArenaAllocatorAdapter&) = default;
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100177 ~ArenaAllocatorAdapter() = default;
178
179 size_type max_size() const {
180 return static_cast<size_type>(-1) / sizeof(T);
181 }
182
183 pointer address(reference x) const { return &x; }
184 const_pointer address(const_reference x) const { return &x; }
185
Roland Levillain4b8f1ec2015-08-26 18:34:03 +0100186 pointer allocate(size_type n,
187 ArenaAllocatorAdapter<void>::pointer hint ATTRIBUTE_UNUSED = nullptr) {
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100188 DCHECK_LE(n, max_size());
Vladimir Markoe4fcc5b2015-02-13 10:28:29 +0000189 return arena_allocator_->AllocArray<T>(n, ArenaAllocatorAdapterKind::Kind());
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100190 }
191 void deallocate(pointer p, size_type n) {
Vladimir Marko2a408a32015-09-18 14:11:00 +0100192 arena_allocator_->MakeInaccessible(p, sizeof(T) * n);
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100193 }
194
Vladimir Marko1f497642015-10-05 20:34:42 +0100195 template <typename U, typename... Args>
196 void construct(U* p, Args&&... args) {
197 ::new (static_cast<void*>(p)) U(std::forward<Args>(args)...);
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100198 }
Vladimir Marko1f497642015-10-05 20:34:42 +0100199 template <typename U>
200 void destroy(U* p) {
201 p->~U();
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100202 }
203
204 private:
205 ArenaAllocator* arena_allocator_;
206
207 template <typename U>
208 friend class ArenaAllocatorAdapter;
209
210 template <typename U>
211 friend bool operator==(const ArenaAllocatorAdapter<U>& lhs,
212 const ArenaAllocatorAdapter<U>& rhs);
213};
214
215template <typename T>
216inline bool operator==(const ArenaAllocatorAdapter<T>& lhs,
217 const ArenaAllocatorAdapter<T>& rhs) {
218 return lhs.arena_allocator_ == rhs.arena_allocator_;
219}
220
221template <typename T>
222inline bool operator!=(const ArenaAllocatorAdapter<T>& lhs,
223 const ArenaAllocatorAdapter<T>& rhs) {
224 return !(lhs == rhs);
225}
226
227inline ArenaAllocatorAdapter<void> ArenaAllocator::Adapter(ArenaAllocKind kind) {
228 return ArenaAllocatorAdapter<void>(this, kind);
229}
230
231} // namespace art
232
Mathieu Chartierb666f482015-02-18 14:33:14 -0800233#endif // ART_RUNTIME_BASE_ARENA_CONTAINERS_H_