1*795d594fSAndroid Build Coastguard Worker /*
2*795d594fSAndroid Build Coastguard Worker * Copyright (C) 2014 The Android Open Source Project
3*795d594fSAndroid Build Coastguard Worker *
4*795d594fSAndroid Build Coastguard Worker * Licensed under the Apache License, Version 2.0 (the "License");
5*795d594fSAndroid Build Coastguard Worker * you may not use this file except in compliance with the License.
6*795d594fSAndroid Build Coastguard Worker * You may obtain a copy of the License at
7*795d594fSAndroid Build Coastguard Worker *
8*795d594fSAndroid Build Coastguard Worker * http://www.apache.org/licenses/LICENSE-2.0
9*795d594fSAndroid Build Coastguard Worker *
10*795d594fSAndroid Build Coastguard Worker * Unless required by applicable law or agreed to in writing, software
11*795d594fSAndroid Build Coastguard Worker * distributed under the License is distributed on an "AS IS" BASIS,
12*795d594fSAndroid Build Coastguard Worker * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13*795d594fSAndroid Build Coastguard Worker * See the License for the specific language governing permissions and
14*795d594fSAndroid Build Coastguard Worker * limitations under the License.
15*795d594fSAndroid Build Coastguard Worker */
16*795d594fSAndroid Build Coastguard Worker
17*795d594fSAndroid Build Coastguard Worker #ifndef ART_LIBARTBASE_BASE_SCOPED_ARENA_CONTAINERS_H_
18*795d594fSAndroid Build Coastguard Worker #define ART_LIBARTBASE_BASE_SCOPED_ARENA_CONTAINERS_H_
19*795d594fSAndroid Build Coastguard Worker
20*795d594fSAndroid Build Coastguard Worker #include <deque>
21*795d594fSAndroid Build Coastguard Worker #include <forward_list>
22*795d594fSAndroid Build Coastguard Worker #include <queue>
23*795d594fSAndroid Build Coastguard Worker #include <set>
24*795d594fSAndroid Build Coastguard Worker #include <type_traits>
25*795d594fSAndroid Build Coastguard Worker #include <unordered_map>
26*795d594fSAndroid Build Coastguard Worker #include <utility>
27*795d594fSAndroid Build Coastguard Worker
28*795d594fSAndroid Build Coastguard Worker #include "arena_containers.h" // For ArenaAllocatorAdapterKind.
29*795d594fSAndroid Build Coastguard Worker #include "dchecked_vector.h"
30*795d594fSAndroid Build Coastguard Worker #include "hash_map.h"
31*795d594fSAndroid Build Coastguard Worker #include "hash_set.h"
32*795d594fSAndroid Build Coastguard Worker #include "safe_map.h"
33*795d594fSAndroid Build Coastguard Worker #include "scoped_arena_allocator.h"
34*795d594fSAndroid Build Coastguard Worker
35*795d594fSAndroid Build Coastguard Worker namespace art {
36*795d594fSAndroid Build Coastguard Worker
37*795d594fSAndroid Build Coastguard Worker // Adapter for use of ScopedArenaAllocator in STL containers.
38*795d594fSAndroid Build Coastguard Worker // Use ScopedArenaAllocator::Adapter() to create an adapter to pass to container constructors.
39*795d594fSAndroid Build Coastguard Worker // For example,
40*795d594fSAndroid Build Coastguard Worker // void foo(ScopedArenaAllocator* allocator) {
41*795d594fSAndroid Build Coastguard Worker // ScopedArenaVector<int> foo_vector(allocator->Adapter(kArenaAllocMisc));
42*795d594fSAndroid Build Coastguard Worker // ScopedArenaSafeMap<int, int> foo_map(std::less<int>(), allocator->Adapter());
43*795d594fSAndroid Build Coastguard Worker // // Use foo_vector and foo_map...
44*795d594fSAndroid Build Coastguard Worker // }
45*795d594fSAndroid Build Coastguard Worker template <typename T>
46*795d594fSAndroid Build Coastguard Worker class ScopedArenaAllocatorAdapter;
47*795d594fSAndroid Build Coastguard Worker
48*795d594fSAndroid Build Coastguard Worker template <typename T>
49*795d594fSAndroid Build Coastguard Worker using ScopedArenaDeque = std::deque<T, ScopedArenaAllocatorAdapter<T>>;
50*795d594fSAndroid Build Coastguard Worker
51*795d594fSAndroid Build Coastguard Worker template <typename T>
52*795d594fSAndroid Build Coastguard Worker using ScopedArenaForwardList = std::forward_list<T, ScopedArenaAllocatorAdapter<T>>;
53*795d594fSAndroid Build Coastguard Worker
54*795d594fSAndroid Build Coastguard Worker template <typename T>
55*795d594fSAndroid Build Coastguard Worker using ScopedArenaQueue = std::queue<T, ScopedArenaDeque<T>>;
56*795d594fSAndroid Build Coastguard Worker
57*795d594fSAndroid Build Coastguard Worker template <typename T>
58*795d594fSAndroid Build Coastguard Worker using ScopedArenaVector = dchecked_vector<T, ScopedArenaAllocatorAdapter<T>>;
59*795d594fSAndroid Build Coastguard Worker
60*795d594fSAndroid Build Coastguard Worker template <typename T, typename Comparator = std::less<T>>
61*795d594fSAndroid Build Coastguard Worker using ScopedArenaPriorityQueue = std::priority_queue<T, ScopedArenaVector<T>, Comparator>;
62*795d594fSAndroid Build Coastguard Worker
63*795d594fSAndroid Build Coastguard Worker template <typename T>
64*795d594fSAndroid Build Coastguard Worker using ScopedArenaStdStack = std::stack<T, ScopedArenaDeque<T>>;
65*795d594fSAndroid Build Coastguard Worker
66*795d594fSAndroid Build Coastguard Worker template <typename T, typename Comparator = std::less<T>>
67*795d594fSAndroid Build Coastguard Worker using ScopedArenaSet = std::set<T, Comparator, ScopedArenaAllocatorAdapter<T>>;
68*795d594fSAndroid Build Coastguard Worker
69*795d594fSAndroid Build Coastguard Worker template <typename K, typename V, typename Comparator = std::less<K>>
70*795d594fSAndroid Build Coastguard Worker using ScopedArenaSafeMap =
71*795d594fSAndroid Build Coastguard Worker SafeMap<K, V, Comparator, ScopedArenaAllocatorAdapter<std::pair<const K, V>>>;
72*795d594fSAndroid Build Coastguard Worker
73*795d594fSAndroid Build Coastguard Worker template <typename T,
74*795d594fSAndroid Build Coastguard Worker typename EmptyFn = DefaultEmptyFn<T>,
75*795d594fSAndroid Build Coastguard Worker typename HashFn = DefaultHashFn<T>,
76*795d594fSAndroid Build Coastguard Worker typename Pred = DefaultPred<T>>
77*795d594fSAndroid Build Coastguard Worker using ScopedArenaHashSet = HashSet<T, EmptyFn, HashFn, Pred, ScopedArenaAllocatorAdapter<T>>;
78*795d594fSAndroid Build Coastguard Worker
79*795d594fSAndroid Build Coastguard Worker template <typename Key,
80*795d594fSAndroid Build Coastguard Worker typename Value,
81*795d594fSAndroid Build Coastguard Worker typename EmptyFn = DefaultMapEmptyFn<Key, Value>,
82*795d594fSAndroid Build Coastguard Worker typename HashFn = DefaultHashFn<Key>,
83*795d594fSAndroid Build Coastguard Worker typename Pred = DefaultPred<Key>>
84*795d594fSAndroid Build Coastguard Worker using ScopedArenaHashMap = HashMap<Key,
85*795d594fSAndroid Build Coastguard Worker Value,
86*795d594fSAndroid Build Coastguard Worker EmptyFn,
87*795d594fSAndroid Build Coastguard Worker HashFn,
88*795d594fSAndroid Build Coastguard Worker Pred,
89*795d594fSAndroid Build Coastguard Worker ScopedArenaAllocatorAdapter<std::pair<Key, Value>>>;
90*795d594fSAndroid Build Coastguard Worker
91*795d594fSAndroid Build Coastguard Worker template <typename K, typename V, class Hash = std::hash<K>, class KeyEqual = std::equal_to<K>>
92*795d594fSAndroid Build Coastguard Worker using ScopedArenaUnorderedMap =
93*795d594fSAndroid Build Coastguard Worker std::unordered_map<K, V, Hash, KeyEqual, ScopedArenaAllocatorAdapter<std::pair<const K, V>>>;
94*795d594fSAndroid Build Coastguard Worker
95*795d594fSAndroid Build Coastguard Worker template <typename K, typename V, class Hash = std::hash<K>, class KeyEqual = std::equal_to<K>>
96*795d594fSAndroid Build Coastguard Worker using ScopedArenaUnorderedMultimap =
97*795d594fSAndroid Build Coastguard Worker std::unordered_multimap<K,
98*795d594fSAndroid Build Coastguard Worker V,
99*795d594fSAndroid Build Coastguard Worker Hash,
100*795d594fSAndroid Build Coastguard Worker KeyEqual,
101*795d594fSAndroid Build Coastguard Worker ScopedArenaAllocatorAdapter<std::pair<const K, V>>>;
102*795d594fSAndroid Build Coastguard Worker
103*795d594fSAndroid Build Coastguard Worker // Implementation details below.
104*795d594fSAndroid Build Coastguard Worker
105*795d594fSAndroid Build Coastguard Worker template <>
106*795d594fSAndroid Build Coastguard Worker class ScopedArenaAllocatorAdapter<void>
107*795d594fSAndroid Build Coastguard Worker : private DebugStackReference, private DebugStackIndirectTopRef,
108*795d594fSAndroid Build Coastguard Worker private ArenaAllocatorAdapterKind {
109*795d594fSAndroid Build Coastguard Worker public:
110*795d594fSAndroid Build Coastguard Worker using value_type = void;
111*795d594fSAndroid Build Coastguard Worker using pointer = void*;
112*795d594fSAndroid Build Coastguard Worker using const_pointer = const void*;
113*795d594fSAndroid Build Coastguard Worker
114*795d594fSAndroid Build Coastguard Worker template <typename U>
115*795d594fSAndroid Build Coastguard Worker struct rebind {
116*795d594fSAndroid Build Coastguard Worker using other = ScopedArenaAllocatorAdapter<U>;
117*795d594fSAndroid Build Coastguard Worker };
118*795d594fSAndroid Build Coastguard Worker
119*795d594fSAndroid Build Coastguard Worker explicit ScopedArenaAllocatorAdapter(ScopedArenaAllocator* allocator,
120*795d594fSAndroid Build Coastguard Worker ArenaAllocKind kind = kArenaAllocSTL)
DebugStackReference(allocator)121*795d594fSAndroid Build Coastguard Worker : DebugStackReference(allocator),
122*795d594fSAndroid Build Coastguard Worker DebugStackIndirectTopRef(allocator),
123*795d594fSAndroid Build Coastguard Worker ArenaAllocatorAdapterKind(kind),
124*795d594fSAndroid Build Coastguard Worker arena_stack_(allocator->arena_stack_) {
125*795d594fSAndroid Build Coastguard Worker }
126*795d594fSAndroid Build Coastguard Worker template <typename U>
ScopedArenaAllocatorAdapter(const ScopedArenaAllocatorAdapter<U> & other)127*795d594fSAndroid Build Coastguard Worker ScopedArenaAllocatorAdapter(const ScopedArenaAllocatorAdapter<U>& other)
128*795d594fSAndroid Build Coastguard Worker : DebugStackReference(other),
129*795d594fSAndroid Build Coastguard Worker DebugStackIndirectTopRef(other),
130*795d594fSAndroid Build Coastguard Worker ArenaAllocatorAdapterKind(other),
131*795d594fSAndroid Build Coastguard Worker arena_stack_(other.arena_stack_) {
132*795d594fSAndroid Build Coastguard Worker }
133*795d594fSAndroid Build Coastguard Worker ScopedArenaAllocatorAdapter(const ScopedArenaAllocatorAdapter&) = default;
134*795d594fSAndroid Build Coastguard Worker ScopedArenaAllocatorAdapter& operator=(const ScopedArenaAllocatorAdapter&) = default;
135*795d594fSAndroid Build Coastguard Worker ~ScopedArenaAllocatorAdapter() = default;
136*795d594fSAndroid Build Coastguard Worker
137*795d594fSAndroid Build Coastguard Worker private:
138*795d594fSAndroid Build Coastguard Worker ArenaStack* arena_stack_;
139*795d594fSAndroid Build Coastguard Worker
140*795d594fSAndroid Build Coastguard Worker template <typename U>
141*795d594fSAndroid Build Coastguard Worker friend class ScopedArenaAllocatorAdapter;
142*795d594fSAndroid Build Coastguard Worker };
143*795d594fSAndroid Build Coastguard Worker
144*795d594fSAndroid Build Coastguard Worker template <typename T>
145*795d594fSAndroid Build Coastguard Worker class ScopedArenaAllocatorAdapter
146*795d594fSAndroid Build Coastguard Worker : private DebugStackReference, private DebugStackIndirectTopRef,
147*795d594fSAndroid Build Coastguard Worker private ArenaAllocatorAdapterKind {
148*795d594fSAndroid Build Coastguard Worker public:
149*795d594fSAndroid Build Coastguard Worker using value_type = T;
150*795d594fSAndroid Build Coastguard Worker using pointer = T*;
151*795d594fSAndroid Build Coastguard Worker using reference = T&;
152*795d594fSAndroid Build Coastguard Worker using const_pointer = const T*;
153*795d594fSAndroid Build Coastguard Worker using const_reference = const T&;
154*795d594fSAndroid Build Coastguard Worker using size_type = size_t;
155*795d594fSAndroid Build Coastguard Worker using difference_type = ptrdiff_t;
156*795d594fSAndroid Build Coastguard Worker
157*795d594fSAndroid Build Coastguard Worker template <typename U>
158*795d594fSAndroid Build Coastguard Worker struct rebind {
159*795d594fSAndroid Build Coastguard Worker using other = ScopedArenaAllocatorAdapter<U>;
160*795d594fSAndroid Build Coastguard Worker };
161*795d594fSAndroid Build Coastguard Worker
162*795d594fSAndroid Build Coastguard Worker explicit ScopedArenaAllocatorAdapter(ScopedArenaAllocator* allocator,
163*795d594fSAndroid Build Coastguard Worker ArenaAllocKind kind = kArenaAllocSTL)
DebugStackReference(allocator)164*795d594fSAndroid Build Coastguard Worker : DebugStackReference(allocator),
165*795d594fSAndroid Build Coastguard Worker DebugStackIndirectTopRef(allocator),
166*795d594fSAndroid Build Coastguard Worker ArenaAllocatorAdapterKind(kind),
167*795d594fSAndroid Build Coastguard Worker arena_stack_(allocator->arena_stack_) {
168*795d594fSAndroid Build Coastguard Worker }
169*795d594fSAndroid Build Coastguard Worker template <typename U>
ScopedArenaAllocatorAdapter(const ScopedArenaAllocatorAdapter<U> & other)170*795d594fSAndroid Build Coastguard Worker ScopedArenaAllocatorAdapter(const ScopedArenaAllocatorAdapter<U>& other)
171*795d594fSAndroid Build Coastguard Worker : DebugStackReference(other),
172*795d594fSAndroid Build Coastguard Worker DebugStackIndirectTopRef(other),
173*795d594fSAndroid Build Coastguard Worker ArenaAllocatorAdapterKind(other),
174*795d594fSAndroid Build Coastguard Worker arena_stack_(other.arena_stack_) {
175*795d594fSAndroid Build Coastguard Worker }
176*795d594fSAndroid Build Coastguard Worker ScopedArenaAllocatorAdapter(const ScopedArenaAllocatorAdapter&) = default;
177*795d594fSAndroid Build Coastguard Worker ScopedArenaAllocatorAdapter& operator=(const ScopedArenaAllocatorAdapter&) = default;
178*795d594fSAndroid Build Coastguard Worker ~ScopedArenaAllocatorAdapter() = default;
179*795d594fSAndroid Build Coastguard Worker
max_size()180*795d594fSAndroid Build Coastguard Worker size_type max_size() const {
181*795d594fSAndroid Build Coastguard Worker return static_cast<size_type>(-1) / sizeof(T);
182*795d594fSAndroid Build Coastguard Worker }
183*795d594fSAndroid Build Coastguard Worker
address(reference x)184*795d594fSAndroid Build Coastguard Worker pointer address(reference x) const { return &x; }
address(const_reference x)185*795d594fSAndroid Build Coastguard Worker const_pointer address(const_reference x) const { return &x; }
186*795d594fSAndroid Build Coastguard Worker
187*795d594fSAndroid Build Coastguard Worker pointer allocate(size_type n,
188*795d594fSAndroid Build Coastguard Worker [[maybe_unused]] ScopedArenaAllocatorAdapter<void>::pointer hint = nullptr) {
189*795d594fSAndroid Build Coastguard Worker DCHECK_LE(n, max_size());
190*795d594fSAndroid Build Coastguard Worker DebugStackIndirectTopRef::CheckTop();
191*795d594fSAndroid Build Coastguard Worker return reinterpret_cast<T*>(arena_stack_->Alloc(n * sizeof(T),
192*795d594fSAndroid Build Coastguard Worker ArenaAllocatorAdapterKind::Kind()));
193*795d594fSAndroid Build Coastguard Worker }
deallocate(pointer p,size_type n)194*795d594fSAndroid Build Coastguard Worker void deallocate(pointer p, size_type n) {
195*795d594fSAndroid Build Coastguard Worker DebugStackIndirectTopRef::CheckTop();
196*795d594fSAndroid Build Coastguard Worker arena_stack_->MakeInaccessible(p, sizeof(T) * n);
197*795d594fSAndroid Build Coastguard Worker }
198*795d594fSAndroid Build Coastguard Worker
199*795d594fSAndroid Build Coastguard Worker template <typename U, typename... Args>
construct(U * p,Args &&...args)200*795d594fSAndroid Build Coastguard Worker void construct(U* p, Args&&... args) {
201*795d594fSAndroid Build Coastguard Worker // Don't CheckTop(), allow reusing existing capacity of a vector/deque below the top.
202*795d594fSAndroid Build Coastguard Worker ::new (static_cast<void*>(p)) U(std::forward<Args>(args)...);
203*795d594fSAndroid Build Coastguard Worker }
204*795d594fSAndroid Build Coastguard Worker template <typename U>
destroy(U * p)205*795d594fSAndroid Build Coastguard Worker void destroy(U* p) {
206*795d594fSAndroid Build Coastguard Worker // Don't CheckTop(), allow reusing existing capacity of a vector/deque below the top.
207*795d594fSAndroid Build Coastguard Worker p->~U();
208*795d594fSAndroid Build Coastguard Worker }
209*795d594fSAndroid Build Coastguard Worker
210*795d594fSAndroid Build Coastguard Worker private:
211*795d594fSAndroid Build Coastguard Worker ArenaStack* arena_stack_;
212*795d594fSAndroid Build Coastguard Worker
213*795d594fSAndroid Build Coastguard Worker template <typename U>
214*795d594fSAndroid Build Coastguard Worker friend class ScopedArenaAllocatorAdapter;
215*795d594fSAndroid Build Coastguard Worker
216*795d594fSAndroid Build Coastguard Worker template <typename U>
217*795d594fSAndroid Build Coastguard Worker friend bool operator==(const ScopedArenaAllocatorAdapter<U>& lhs,
218*795d594fSAndroid Build Coastguard Worker const ScopedArenaAllocatorAdapter<U>& rhs);
219*795d594fSAndroid Build Coastguard Worker };
220*795d594fSAndroid Build Coastguard Worker
221*795d594fSAndroid Build Coastguard Worker template <typename T>
222*795d594fSAndroid Build Coastguard Worker inline bool operator==(const ScopedArenaAllocatorAdapter<T>& lhs,
223*795d594fSAndroid Build Coastguard Worker const ScopedArenaAllocatorAdapter<T>& rhs) {
224*795d594fSAndroid Build Coastguard Worker return lhs.arena_stack_ == rhs.arena_stack_;
225*795d594fSAndroid Build Coastguard Worker }
226*795d594fSAndroid Build Coastguard Worker
227*795d594fSAndroid Build Coastguard Worker template <typename T>
228*795d594fSAndroid Build Coastguard Worker inline bool operator!=(const ScopedArenaAllocatorAdapter<T>& lhs,
229*795d594fSAndroid Build Coastguard Worker const ScopedArenaAllocatorAdapter<T>& rhs) {
230*795d594fSAndroid Build Coastguard Worker return !(lhs == rhs);
231*795d594fSAndroid Build Coastguard Worker }
232*795d594fSAndroid Build Coastguard Worker
Adapter(ArenaAllocKind kind)233*795d594fSAndroid Build Coastguard Worker inline ScopedArenaAllocatorAdapter<void> ScopedArenaAllocator::Adapter(ArenaAllocKind kind) {
234*795d594fSAndroid Build Coastguard Worker return ScopedArenaAllocatorAdapter<void>(this, kind);
235*795d594fSAndroid Build Coastguard Worker }
236*795d594fSAndroid Build Coastguard Worker
237*795d594fSAndroid Build Coastguard Worker } // namespace art
238*795d594fSAndroid Build Coastguard Worker
239*795d594fSAndroid Build Coastguard Worker #endif // ART_LIBARTBASE_BASE_SCOPED_ARENA_CONTAINERS_H_
240