blob: e7ea09d1b0c17b38ea3b3d5fe18135f1982c5384 [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>
23#include <vector>
24
Mathieu Chartierb666f482015-02-18 14:33:14 -080025#include "arena_allocator.h"
Vladimir Marko8081d2b2014-07-31 15:33:43 +010026#include "safe_map.h"
27
28namespace art {
29
30// Adapter for use of ArenaAllocator in STL containers.
31// Use ArenaAllocator::Adapter() to create an adapter to pass to container constructors.
32// For example,
33// struct Foo {
34// explicit Foo(ArenaAllocator* allocator)
35// : foo_vector(allocator->Adapter(kArenaAllocMisc)),
36// foo_map(std::less<int>(), allocator->Adapter()) {
37// }
38// ArenaVector<int> foo_vector;
39// ArenaSafeMap<int, int> foo_map;
40// };
41template <typename T>
42class ArenaAllocatorAdapter;
43
44template <typename T>
45using ArenaDeque = std::deque<T, ArenaAllocatorAdapter<T>>;
46
47template <typename T>
48using ArenaQueue = std::queue<T, ArenaDeque<T>>;
49
50template <typename T>
51using ArenaVector = std::vector<T, ArenaAllocatorAdapter<T>>;
52
53template <typename T, typename Comparator = std::less<T>>
54using ArenaSet = std::set<T, Comparator, ArenaAllocatorAdapter<T>>;
55
56template <typename K, typename V, typename Comparator = std::less<K>>
57using ArenaSafeMap =
58 SafeMap<K, V, Comparator, ArenaAllocatorAdapter<std::pair<const K, V>>>;
59
60// Implementation details below.
61
62template <bool kCount>
63class ArenaAllocatorAdapterKindImpl;
64
65template <>
66class ArenaAllocatorAdapterKindImpl<false> {
67 public:
68 // Not tracking allocations, ignore the supplied kind and arbitrarily provide kArenaAllocSTL.
Andreas Gampec801f0d2015-02-24 20:55:16 -080069 explicit ArenaAllocatorAdapterKindImpl(ArenaAllocKind kind ATTRIBUTE_UNUSED) {}
Andreas Gampe758a8012015-04-03 21:28:42 -070070 ArenaAllocatorAdapterKindImpl(const ArenaAllocatorAdapterKindImpl&) = default;
Andreas Gampec801f0d2015-02-24 20:55:16 -080071 ArenaAllocatorAdapterKindImpl& operator=(const ArenaAllocatorAdapterKindImpl&) = default;
Vladimir Marko8081d2b2014-07-31 15:33:43 +010072 ArenaAllocKind Kind() { return kArenaAllocSTL; }
73};
74
75template <bool kCount>
76class ArenaAllocatorAdapterKindImpl {
77 public:
78 explicit ArenaAllocatorAdapterKindImpl(ArenaAllocKind kind) : kind_(kind) { }
Vladimir Markof9f64412015-09-02 14:05:49 +010079 ArenaAllocatorAdapterKindImpl(const ArenaAllocatorAdapterKindImpl&) = default;
Andreas Gampec801f0d2015-02-24 20:55:16 -080080 ArenaAllocatorAdapterKindImpl& operator=(const ArenaAllocatorAdapterKindImpl&) = default;
Vladimir Marko8081d2b2014-07-31 15:33:43 +010081 ArenaAllocKind Kind() { return kind_; }
82
83 private:
84 ArenaAllocKind kind_;
85};
86
87typedef ArenaAllocatorAdapterKindImpl<kArenaAllocatorCountAllocations> ArenaAllocatorAdapterKind;
88
89template <>
David Brazdil8d5b8b22015-03-24 10:51:52 +000090class ArenaAllocatorAdapter<void> : private ArenaAllocatorAdapterKind {
Vladimir Marko8081d2b2014-07-31 15:33:43 +010091 public:
92 typedef void value_type;
93 typedef void* pointer;
94 typedef const void* const_pointer;
95
96 template <typename U>
97 struct rebind {
98 typedef ArenaAllocatorAdapter<U> other;
99 };
100
101 explicit ArenaAllocatorAdapter(ArenaAllocator* arena_allocator,
102 ArenaAllocKind kind = kArenaAllocSTL)
David Brazdil8d5b8b22015-03-24 10:51:52 +0000103 : ArenaAllocatorAdapterKind(kind),
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100104 arena_allocator_(arena_allocator) {
105 }
106 template <typename U>
107 ArenaAllocatorAdapter(const ArenaAllocatorAdapter<U>& other)
David Brazdil8d5b8b22015-03-24 10:51:52 +0000108 : ArenaAllocatorAdapterKind(other),
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100109 arena_allocator_(other.arena_allocator_) {
110 }
Andreas Gampec801f0d2015-02-24 20:55:16 -0800111 ArenaAllocatorAdapter(const ArenaAllocatorAdapter&) = default;
112 ArenaAllocatorAdapter& operator=(const ArenaAllocatorAdapter&) = default;
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100113 ~ArenaAllocatorAdapter() = default;
114
115 private:
116 ArenaAllocator* arena_allocator_;
117
118 template <typename U>
119 friend class ArenaAllocatorAdapter;
120};
121
122template <typename T>
David Brazdil8d5b8b22015-03-24 10:51:52 +0000123class ArenaAllocatorAdapter : private ArenaAllocatorAdapterKind {
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100124 public:
125 typedef T value_type;
126 typedef T* pointer;
127 typedef T& reference;
128 typedef const T* const_pointer;
129 typedef const T& const_reference;
130 typedef size_t size_type;
131 typedef ptrdiff_t difference_type;
132
133 template <typename U>
134 struct rebind {
135 typedef ArenaAllocatorAdapter<U> other;
136 };
137
Roland Levillain3887c462015-08-12 18:15:42 +0100138 ArenaAllocatorAdapter(ArenaAllocator* arena_allocator, ArenaAllocKind kind)
David Brazdil8d5b8b22015-03-24 10:51:52 +0000139 : ArenaAllocatorAdapterKind(kind),
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100140 arena_allocator_(arena_allocator) {
141 }
142 template <typename U>
143 ArenaAllocatorAdapter(const ArenaAllocatorAdapter<U>& other)
David Brazdil8d5b8b22015-03-24 10:51:52 +0000144 : ArenaAllocatorAdapterKind(other),
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100145 arena_allocator_(other.arena_allocator_) {
146 }
Andreas Gampec801f0d2015-02-24 20:55:16 -0800147 ArenaAllocatorAdapter(const ArenaAllocatorAdapter&) = default;
148 ArenaAllocatorAdapter& operator=(const ArenaAllocatorAdapter&) = default;
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100149 ~ArenaAllocatorAdapter() = default;
150
151 size_type max_size() const {
152 return static_cast<size_type>(-1) / sizeof(T);
153 }
154
155 pointer address(reference x) const { return &x; }
156 const_pointer address(const_reference x) const { return &x; }
157
158 pointer allocate(size_type n, ArenaAllocatorAdapter<void>::pointer hint = nullptr) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700159 UNUSED(hint);
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100160 DCHECK_LE(n, max_size());
Vladimir Markoe4fcc5b2015-02-13 10:28:29 +0000161 return arena_allocator_->AllocArray<T>(n, ArenaAllocatorAdapterKind::Kind());
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100162 }
163 void deallocate(pointer p, size_type n) {
Vladimir Marko2a408a32015-09-18 14:11:00 +0100164 arena_allocator_->MakeInaccessible(p, sizeof(T) * n);
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100165 }
166
167 void construct(pointer p, const_reference val) {
168 new (static_cast<void*>(p)) value_type(val);
169 }
170 void destroy(pointer p) {
171 p->~value_type();
172 }
173
174 private:
175 ArenaAllocator* arena_allocator_;
176
177 template <typename U>
178 friend class ArenaAllocatorAdapter;
179
180 template <typename U>
181 friend bool operator==(const ArenaAllocatorAdapter<U>& lhs,
182 const ArenaAllocatorAdapter<U>& rhs);
183};
184
185template <typename T>
186inline bool operator==(const ArenaAllocatorAdapter<T>& lhs,
187 const ArenaAllocatorAdapter<T>& rhs) {
188 return lhs.arena_allocator_ == rhs.arena_allocator_;
189}
190
191template <typename T>
192inline bool operator!=(const ArenaAllocatorAdapter<T>& lhs,
193 const ArenaAllocatorAdapter<T>& rhs) {
194 return !(lhs == rhs);
195}
196
197inline ArenaAllocatorAdapter<void> ArenaAllocator::Adapter(ArenaAllocKind kind) {
198 return ArenaAllocatorAdapter<void>(this, kind);
199}
200
201} // namespace art
202
Mathieu Chartierb666f482015-02-18 14:33:14 -0800203#endif // ART_RUNTIME_BASE_ARENA_CONTAINERS_H_