blob: 47cd8b5d298d6f0197cca14831f547ff926737e8 [file] [log] [blame]
buzbee862a7602013-04-05 10:58:54 -07001/*
2 * Copyright (C) 2013 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_ALLOCATOR_H_
18#define ART_RUNTIME_BASE_ARENA_ALLOCATOR_H_
buzbee862a7602013-04-05 10:58:54 -070019
20#include <stdint.h>
21#include <stddef.h>
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -070022
Vladimir Marko80afd022015-05-19 18:08:00 +010023#include "base/bit_utils.h"
Vladimir Marko2a408a32015-09-18 14:11:00 +010024#include "base/memory_tool.h"
Mathieu Chartierb666f482015-02-18 14:33:14 -080025#include "debug_stack.h"
26#include "macros.h"
Mathieu Chartierb666f482015-02-18 14:33:14 -080027#include "mutex.h"
buzbee862a7602013-04-05 10:58:54 -070028
29namespace art {
30
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -070031class Arena;
32class ArenaPool;
33class ArenaAllocator;
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000034class ArenaStack;
35class ScopedArenaAllocator;
Vladimir Marko3481ba22015-04-13 12:22:36 +010036class MemMap;
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000037class MemStats;
38
Vladimir Marko8081d2b2014-07-31 15:33:43 +010039template <typename T>
40class ArenaAllocatorAdapter;
41
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000042static constexpr bool kArenaAllocatorCountAllocations = false;
43
44// Type of allocation for memory tuning.
45enum ArenaAllocKind {
46 kArenaAllocMisc,
Vladimir Markoe39c54e2014-09-22 14:50:02 +010047 kArenaAllocBBList,
48 kArenaAllocBBPredecessors,
49 kArenaAllocDfsPreOrder,
50 kArenaAllocDfsPostOrder,
51 kArenaAllocDomPostOrder,
52 kArenaAllocTopologicalSortOrder,
53 kArenaAllocLoweringInfo,
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000054 kArenaAllocLIR,
Vladimir Marko8dea81c2014-06-06 14:50:36 +010055 kArenaAllocLIRResourceMask,
Vladimir Markoe39c54e2014-09-22 14:50:02 +010056 kArenaAllocSwitchTable,
57 kArenaAllocFillArrayData,
58 kArenaAllocSlowPaths,
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000059 kArenaAllocMIR,
60 kArenaAllocDFInfo,
61 kArenaAllocGrowableArray,
62 kArenaAllocGrowableBitMap,
Vladimir Markoe39c54e2014-09-22 14:50:02 +010063 kArenaAllocSSAToDalvikMap,
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000064 kArenaAllocDalvikToSSAMap,
65 kArenaAllocDebugInfo,
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000066 kArenaAllocRegAlloc,
67 kArenaAllocData,
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000068 kArenaAllocSTL,
Vladimir Marko2aaa4b52015-09-17 17:03:26 +010069 kArenaAllocGraphBuilder,
Vladimir Markof9f64412015-09-02 14:05:49 +010070 kArenaAllocGraph,
71 kArenaAllocBasicBlock,
Vladimir Markofa6b93c2015-09-15 10:15:55 +010072 kArenaAllocBlockList,
73 kArenaAllocReversePostOrder,
74 kArenaAllocLinearOrder,
75 kArenaAllocConstantsMap,
Vladimir Marko60584552015-09-03 13:35:12 +000076 kArenaAllocPredecessors,
77 kArenaAllocSuccessors,
78 kArenaAllocDominated,
Vladimir Markof9f64412015-09-02 14:05:49 +010079 kArenaAllocInstruction,
Vladimir Markofa6b93c2015-09-15 10:15:55 +010080 kArenaAllocInvokeInputs,
81 kArenaAllocPhiInputs,
Vladimir Markof9f64412015-09-02 14:05:49 +010082 kArenaAllocLoopInfo,
Vladimir Markofa6b93c2015-09-15 10:15:55 +010083 kArenaAllocLoopInfoBackEdges,
Vladimir Markof9f64412015-09-02 14:05:49 +010084 kArenaAllocTryCatchInfo,
85 kArenaAllocUseListNode,
86 kArenaAllocEnvironment,
Vladimir Markofa6b93c2015-09-15 10:15:55 +010087 kArenaAllocEnvironmentVRegs,
88 kArenaAllocEnvironmentLocations,
Vladimir Marko2aaa4b52015-09-17 17:03:26 +010089 kArenaAllocLocationSummary,
Vladimir Marko71bf8092015-09-15 15:33:14 +010090 kArenaAllocSsaBuilder,
Vladimir Markof9f64412015-09-02 14:05:49 +010091 kArenaAllocMoveOperands,
92 kArenaAllocCodeBuffer,
93 kArenaAllocStackMaps,
94 kArenaAllocBaselineMaps,
95 kArenaAllocOptimization,
Vladimir Marko2aaa4b52015-09-17 17:03:26 +010096 kArenaAllocGvn,
Vladimir Marko5233f932015-09-29 19:01:15 +010097 kArenaAllocInductionVarAnalysis,
98 kArenaAllocBoundsCheckElimination,
Vladimir Marko2aaa4b52015-09-17 17:03:26 +010099 kArenaAllocSsaLiveness,
100 kArenaAllocSsaPhiElimination,
101 kArenaAllocReferenceTypePropagation,
102 kArenaAllocPrimitiveTypePropagation,
103 kArenaAllocSideEffectsAnalysis,
104 kArenaAllocRegisterAllocator,
Vladimir Marko225b6462015-09-28 12:17:40 +0100105 kArenaAllocStackMapStream,
106 kArenaAllocCodeGenerator,
107 kArenaAllocParallelMoveResolver,
Vladimir Marko83cc7ae2014-02-12 18:02:05 +0000108 kNumArenaAllocKinds
109};
110
111template <bool kCount>
112class ArenaAllocatorStatsImpl;
113
114template <>
115class ArenaAllocatorStatsImpl<false> {
116 public:
117 ArenaAllocatorStatsImpl() = default;
118 ArenaAllocatorStatsImpl(const ArenaAllocatorStatsImpl& other) = default;
119 ArenaAllocatorStatsImpl& operator = (const ArenaAllocatorStatsImpl& other) = delete;
120
121 void Copy(const ArenaAllocatorStatsImpl& other) { UNUSED(other); }
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700122 void RecordAlloc(size_t bytes, ArenaAllocKind kind) { UNUSED(bytes, kind); }
Vladimir Marko83cc7ae2014-02-12 18:02:05 +0000123 size_t NumAllocations() const { return 0u; }
124 size_t BytesAllocated() const { return 0u; }
125 void Dump(std::ostream& os, const Arena* first, ssize_t lost_bytes_adjustment) const {
126 UNUSED(os); UNUSED(first); UNUSED(lost_bytes_adjustment);
127 }
128};
129
130template <bool kCount>
131class ArenaAllocatorStatsImpl {
132 public:
133 ArenaAllocatorStatsImpl();
134 ArenaAllocatorStatsImpl(const ArenaAllocatorStatsImpl& other) = default;
135 ArenaAllocatorStatsImpl& operator = (const ArenaAllocatorStatsImpl& other) = delete;
136
137 void Copy(const ArenaAllocatorStatsImpl& other);
138 void RecordAlloc(size_t bytes, ArenaAllocKind kind);
139 size_t NumAllocations() const;
140 size_t BytesAllocated() const;
141 void Dump(std::ostream& os, const Arena* first, ssize_t lost_bytes_adjustment) const;
142
143 private:
144 size_t num_allocations_;
145 // TODO: Use std::array<size_t, kNumArenaAllocKinds> from C++11 when we upgrade the STL.
146 size_t alloc_stats_[kNumArenaAllocKinds]; // Bytes used by various allocation kinds.
Vladimir Markobd9e9db2014-03-07 19:41:05 +0000147
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100148 static const char* const kAllocNames[];
Vladimir Marko83cc7ae2014-02-12 18:02:05 +0000149};
150
151typedef ArenaAllocatorStatsImpl<kArenaAllocatorCountAllocations> ArenaAllocatorStats;
buzbee862a7602013-04-05 10:58:54 -0700152
Vladimir Marko2a408a32015-09-18 14:11:00 +0100153template <bool kAvailable, bool kValgrind>
154class ArenaAllocatorMemoryToolCheckImpl {
155 // This is the generic template but since there is a partial specialization
156 // for kValgrind == false, this can be instantiated only for kValgrind == true.
157 static_assert(kValgrind, "This template can be instantiated only for Valgrind.");
158 static_assert(kAvailable, "Valgrind implies memory tool availability.");
159
160 public:
161 ArenaAllocatorMemoryToolCheckImpl() : is_running_on_valgrind_(RUNNING_ON_MEMORY_TOOL) { }
162 bool IsRunningOnMemoryTool() { return is_running_on_valgrind_; }
163
164 private:
165 const bool is_running_on_valgrind_;
166};
167
168template <bool kAvailable>
169class ArenaAllocatorMemoryToolCheckImpl<kAvailable, false> {
170 public:
171 ArenaAllocatorMemoryToolCheckImpl() { }
172 bool IsRunningOnMemoryTool() { return kAvailable; }
173};
174
175typedef ArenaAllocatorMemoryToolCheckImpl<kMemoryToolIsAvailable, kMemoryToolIsValgrind>
176 ArenaAllocatorMemoryToolCheck;
177
178class ArenaAllocatorMemoryTool : private ArenaAllocatorMemoryToolCheck {
179 public:
180 using ArenaAllocatorMemoryToolCheck::IsRunningOnMemoryTool;
181
182 void MakeDefined(void* ptr, size_t size) {
Vladimir Marko7bda3b62015-10-07 12:44:31 +0000183 if (UNLIKELY(IsRunningOnMemoryTool())) {
184 DoMakeDefined(ptr, size);
Vladimir Marko2a408a32015-09-18 14:11:00 +0100185 }
186 }
187 void MakeUndefined(void* ptr, size_t size) {
Vladimir Marko7bda3b62015-10-07 12:44:31 +0000188 if (UNLIKELY(IsRunningOnMemoryTool())) {
189 DoMakeUndefined(ptr, size);
Vladimir Marko2a408a32015-09-18 14:11:00 +0100190 }
191 }
192 void MakeInaccessible(void* ptr, size_t size) {
Vladimir Marko7bda3b62015-10-07 12:44:31 +0000193 if (UNLIKELY(IsRunningOnMemoryTool())) {
194 DoMakeInaccessible(ptr, size);
Vladimir Marko2a408a32015-09-18 14:11:00 +0100195 }
196 }
Vladimir Marko7bda3b62015-10-07 12:44:31 +0000197
198 private:
199 void DoMakeDefined(void* ptr, size_t size);
200 void DoMakeUndefined(void* ptr, size_t size);
201 void DoMakeInaccessible(void* ptr, size_t size);
Vladimir Marko2a408a32015-09-18 14:11:00 +0100202};
203
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700204class Arena {
205 public:
206 static constexpr size_t kDefaultSize = 128 * KB;
Mathieu Chartierc6201fa2015-03-12 10:06:33 -0700207 Arena();
208 virtual ~Arena() { }
Mathieu Chartier9b34b242015-03-09 11:30:17 -0700209 // Reset is for pre-use and uses memset for performance.
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700210 void Reset();
Mathieu Chartier9b34b242015-03-09 11:30:17 -0700211 // Release is used inbetween uses and uses madvise for memory usage.
Mathieu Chartierc6201fa2015-03-12 10:06:33 -0700212 virtual void Release() { }
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700213 uint8_t* Begin() {
214 return memory_;
buzbee862a7602013-04-05 10:58:54 -0700215 }
216
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700217 uint8_t* End() {
218 return memory_ + size_;
219 }
220
221 size_t Size() const {
222 return size_;
223 }
224
225 size_t RemainingSpace() const {
226 return Size() - bytes_allocated_;
227 }
228
Mathieu Chartier49285c52014-12-02 15:43:48 -0800229 size_t GetBytesAllocated() const {
230 return bytes_allocated_;
231 }
232
Mathieu Chartiere401d142015-04-22 13:56:20 -0700233 // Return true if ptr is contained in the arena.
234 bool Contains(const void* ptr) const {
235 return memory_ <= ptr && ptr < memory_ + bytes_allocated_;
236 }
237
Mathieu Chartierc6201fa2015-03-12 10:06:33 -0700238 protected:
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700239 size_t bytes_allocated_;
240 uint8_t* memory_;
241 size_t size_;
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700242 Arena* next_;
243 friend class ArenaPool;
244 friend class ArenaAllocator;
Vladimir Marko83cc7ae2014-02-12 18:02:05 +0000245 friend class ArenaStack;
246 friend class ScopedArenaAllocator;
247 template <bool kCount> friend class ArenaAllocatorStatsImpl;
Mathieu Chartierc6201fa2015-03-12 10:06:33 -0700248
249 private:
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700250 DISALLOW_COPY_AND_ASSIGN(Arena);
251};
252
Mathieu Chartierc6201fa2015-03-12 10:06:33 -0700253class MallocArena FINAL : public Arena {
254 public:
255 explicit MallocArena(size_t size = Arena::kDefaultSize);
256 virtual ~MallocArena();
257};
258
259class MemMapArena FINAL : public Arena {
260 public:
Roland Levillain3887c462015-08-12 18:15:42 +0100261 MemMapArena(size_t size, bool low_4gb);
Vladimir Marko3481ba22015-04-13 12:22:36 +0100262 virtual ~MemMapArena();
Mathieu Chartierc6201fa2015-03-12 10:06:33 -0700263 void Release() OVERRIDE;
264
265 private:
266 std::unique_ptr<MemMap> map_;
267};
268
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700269class ArenaPool {
270 public:
Mathieu Chartierc7853442015-03-27 14:35:38 -0700271 explicit ArenaPool(bool use_malloc = true, bool low_4gb = false);
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700272 ~ArenaPool();
Mathieu Chartier90443472015-07-16 20:32:27 -0700273 Arena* AllocArena(size_t size) REQUIRES(!lock_);
274 void FreeArenaChain(Arena* first) REQUIRES(!lock_);
275 size_t GetBytesAllocated() const REQUIRES(!lock_);
Mathieu Chartierc6201fa2015-03-12 10:06:33 -0700276 // Trim the maps in arenas by madvising, used by JIT to reduce memory usage. This only works
277 // use_malloc is false.
Mathieu Chartier90443472015-07-16 20:32:27 -0700278 void TrimMaps() REQUIRES(!lock_);
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700279
280 private:
Mathieu Chartierc6201fa2015-03-12 10:06:33 -0700281 const bool use_malloc_;
Mathieu Chartier49285c52014-12-02 15:43:48 -0800282 mutable Mutex lock_ DEFAULT_MUTEX_ACQUIRED_AFTER;
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700283 Arena* free_arenas_ GUARDED_BY(lock_);
Mathieu Chartierc7853442015-03-27 14:35:38 -0700284 const bool low_4gb_;
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700285 DISALLOW_COPY_AND_ASSIGN(ArenaPool);
286};
287
Vladimir Marko2a408a32015-09-18 14:11:00 +0100288class ArenaAllocator
289 : private DebugStackRefCounter, private ArenaAllocatorStats, private ArenaAllocatorMemoryTool {
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700290 public:
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700291 explicit ArenaAllocator(ArenaPool* pool);
292 ~ArenaAllocator();
293
Vladimir Marko2a408a32015-09-18 14:11:00 +0100294 using ArenaAllocatorMemoryTool::IsRunningOnMemoryTool;
295 using ArenaAllocatorMemoryTool::MakeDefined;
296 using ArenaAllocatorMemoryTool::MakeUndefined;
297 using ArenaAllocatorMemoryTool::MakeInaccessible;
298
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100299 // Get adapter for use in STL containers. See arena_containers.h .
300 ArenaAllocatorAdapter<void> Adapter(ArenaAllocKind kind = kArenaAllocSTL);
301
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700302 // Returns zeroed memory.
Vladimir Markoe4fcc5b2015-02-13 10:28:29 +0000303 void* Alloc(size_t bytes, ArenaAllocKind kind = kArenaAllocMisc) ALWAYS_INLINE {
Vladimir Marko2a408a32015-09-18 14:11:00 +0100304 if (UNLIKELY(IsRunningOnMemoryTool())) {
305 return AllocWithMemoryTool(bytes, kind);
Mathieu Chartier75165d02013-09-12 14:00:31 -0700306 }
Mathieu Chartierb666f482015-02-18 14:33:14 -0800307 bytes = RoundUp(bytes, kAlignment);
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700308 if (UNLIKELY(ptr_ + bytes > end_)) {
309 // Obtain a new block.
310 ObtainNewArenaForAllocation(bytes);
311 if (UNLIKELY(ptr_ == nullptr)) {
312 return nullptr;
313 }
314 }
Vladimir Marko83cc7ae2014-02-12 18:02:05 +0000315 ArenaAllocatorStats::RecordAlloc(bytes, kind);
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700316 uint8_t* ret = ptr_;
317 ptr_ += bytes;
318 return ret;
319 }
320
Mathieu Chartiere401d142015-04-22 13:56:20 -0700321 // Realloc never frees the input pointer, it is the caller's job to do this if necessary.
322 void* Realloc(void* ptr, size_t ptr_size, size_t new_size,
323 ArenaAllocKind kind = kArenaAllocMisc) ALWAYS_INLINE {
324 DCHECK_GE(new_size, ptr_size);
325 DCHECK_EQ(ptr == nullptr, ptr_size == 0u);
326 auto* end = reinterpret_cast<uint8_t*>(ptr) + ptr_size;
327 // If we haven't allocated anything else, we can safely extend.
328 if (end == ptr_) {
Vladimir Marko2a408a32015-09-18 14:11:00 +0100329 DCHECK(!IsRunningOnMemoryTool()); // Red zone prevents end == ptr_.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700330 const size_t size_delta = new_size - ptr_size;
331 // Check remain space.
332 const size_t remain = end_ - ptr_;
333 if (remain >= size_delta) {
334 ptr_ += size_delta;
335 ArenaAllocatorStats::RecordAlloc(size_delta, kind);
336 return ptr;
337 }
338 }
339 auto* new_ptr = Alloc(new_size, kind);
340 memcpy(new_ptr, ptr, ptr_size);
341 // TODO: Call free on ptr if linear alloc supports free.
342 return new_ptr;
343 }
344
Vladimir Markoe4fcc5b2015-02-13 10:28:29 +0000345 template <typename T>
346 T* AllocArray(size_t length, ArenaAllocKind kind = kArenaAllocMisc) {
347 return static_cast<T*>(Alloc(length * sizeof(T), kind));
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100348 }
349
Vladimir Marko2a408a32015-09-18 14:11:00 +0100350 void* AllocWithMemoryTool(size_t bytes, ArenaAllocKind kind);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700351
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700352 void ObtainNewArenaForAllocation(size_t allocation_size);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700353
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700354 size_t BytesAllocated() const;
Mathieu Chartiere401d142015-04-22 13:56:20 -0700355
Vladimir Marko83cc7ae2014-02-12 18:02:05 +0000356 MemStats GetMemStats() const;
Mathieu Chartiere401d142015-04-22 13:56:20 -0700357
Mathieu Chartierc7853442015-03-27 14:35:38 -0700358 // The BytesUsed method sums up bytes allocated from arenas in arena_head_ and nodes.
359 // TODO: Change BytesAllocated to this behavior?
360 size_t BytesUsed() const;
buzbee862a7602013-04-05 10:58:54 -0700361
Mathieu Chartiere401d142015-04-22 13:56:20 -0700362 ArenaPool* GetArenaPool() const {
363 return pool_;
364 }
365
366 bool Contains(const void* ptr) const;
367
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700368 private:
Mathieu Chartierb666f482015-02-18 14:33:14 -0800369 static constexpr size_t kAlignment = 8;
370
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700371 void UpdateBytesAllocated();
buzbee862a7602013-04-05 10:58:54 -0700372
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700373 ArenaPool* pool_;
374 uint8_t* begin_;
375 uint8_t* end_;
376 uint8_t* ptr_;
377 Arena* arena_head_;
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700378
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100379 template <typename U>
380 friend class ArenaAllocatorAdapter;
381
Mathieu Chartierf6c4b3b2013-08-24 16:11:37 -0700382 DISALLOW_COPY_AND_ASSIGN(ArenaAllocator);
buzbee862a7602013-04-05 10:58:54 -0700383}; // ArenaAllocator
384
Vladimir Marko83cc7ae2014-02-12 18:02:05 +0000385class MemStats {
386 public:
387 MemStats(const char* name, const ArenaAllocatorStats* stats, const Arena* first_arena,
388 ssize_t lost_bytes_adjustment = 0);
389 void Dump(std::ostream& os) const;
390
391 private:
392 const char* const name_;
393 const ArenaAllocatorStats* const stats_;
394 const Arena* const first_arena_;
395 const ssize_t lost_bytes_adjustment_;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700396}; // MemStats
buzbee862a7602013-04-05 10:58:54 -0700397
398} // namespace art
399
Mathieu Chartierb666f482015-02-18 14:33:14 -0800400#endif // ART_RUNTIME_BASE_ARENA_ALLOCATOR_H_