blob: a30c73d749ddd498dab939e13e57249a4b5eb009 [file] [log] [blame]
Vladimir Marko83cc7ae2014-02-12 18:02:05 +00001/*
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_SCOPED_ARENA_ALLOCATOR_H_
18#define ART_RUNTIME_BASE_SCOPED_ARENA_ALLOCATOR_H_
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000019
Mathieu Chartierb666f482015-02-18 14:33:14 -080020#include "arena_allocator.h"
21#include "debug_stack.h"
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000022#include "globals.h"
Mathieu Chartierb666f482015-02-18 14:33:14 -080023#include "logging.h"
24#include "macros.h"
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000025
26namespace art {
27
28class ArenaStack;
29class ScopedArenaAllocator;
30
31template <typename T>
32class ScopedArenaAllocatorAdapter;
33
Mathieu Chartier7b05e172015-10-15 17:47:48 -070034// Tag associated with each allocation to help prevent double free.
35enum class ArenaFreeTag : uint8_t {
36 // Allocation is used and has not yet been destroyed.
37 kUsed,
38 // Allocation has been destroyed.
39 kFree,
40};
41
42static constexpr size_t kArenaAlignment = 8;
43
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000044// Holds a list of Arenas for use by ScopedArenaAllocator stack.
Vladimir Marko2a408a32015-09-18 14:11:00 +010045class ArenaStack : private DebugStackRefCounter, private ArenaAllocatorMemoryTool {
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000046 public:
47 explicit ArenaStack(ArenaPool* arena_pool);
48 ~ArenaStack();
49
Vladimir Marko2a408a32015-09-18 14:11:00 +010050 using ArenaAllocatorMemoryTool::IsRunningOnMemoryTool;
51 using ArenaAllocatorMemoryTool::MakeDefined;
52 using ArenaAllocatorMemoryTool::MakeUndefined;
53 using ArenaAllocatorMemoryTool::MakeInaccessible;
54
Vladimir Marko53b6afc2014-03-21 14:21:20 +000055 void Reset();
56
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000057 size_t PeakBytesAllocated() {
58 return PeakStats()->BytesAllocated();
59 }
60
61 MemStats GetPeakStats() const;
62
Mathieu Chartier7b05e172015-10-15 17:47:48 -070063 // Return the arena tag associated with a pointer.
64 static ArenaFreeTag& ArenaTagForAllocation(void* ptr) {
65 DCHECK(kIsDebugBuild) << "Only debug builds have tags";
66 return *(reinterpret_cast<ArenaFreeTag*>(ptr) - 1);
67 }
68
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000069 private:
70 struct Peak;
71 struct Current;
72 template <typename Tag> struct TaggedStats : ArenaAllocatorStats { };
73 struct StatsAndPool : TaggedStats<Peak>, TaggedStats<Current> {
74 explicit StatsAndPool(ArenaPool* arena_pool) : pool(arena_pool) { }
75 ArenaPool* const pool;
76 };
77
78 ArenaAllocatorStats* PeakStats() {
79 return static_cast<TaggedStats<Peak>*>(&stats_and_pool_);
80 }
81
82 ArenaAllocatorStats* CurrentStats() {
83 return static_cast<TaggedStats<Current>*>(&stats_and_pool_);
84 }
85
86 // Private - access via ScopedArenaAllocator or ScopedArenaAllocatorAdapter.
87 void* Alloc(size_t bytes, ArenaAllocKind kind) ALWAYS_INLINE {
Vladimir Marko2a408a32015-09-18 14:11:00 +010088 if (UNLIKELY(IsRunningOnMemoryTool())) {
89 return AllocWithMemoryTool(bytes, kind);
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000090 }
Mathieu Chartier7b05e172015-10-15 17:47:48 -070091 // Add kArenaAlignment for the free or used tag. Required to preserve alignment.
92 size_t rounded_bytes = RoundUp(bytes + (kIsDebugBuild ? kArenaAlignment : 0u), kArenaAlignment);
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000093 uint8_t* ptr = top_ptr_;
94 if (UNLIKELY(static_cast<size_t>(top_end_ - ptr) < rounded_bytes)) {
95 ptr = AllocateFromNextArena(rounded_bytes);
96 }
97 CurrentStats()->RecordAlloc(bytes, kind);
98 top_ptr_ = ptr + rounded_bytes;
Mathieu Chartier7b05e172015-10-15 17:47:48 -070099 if (kIsDebugBuild) {
100 ptr += kArenaAlignment;
101 ArenaTagForAllocation(ptr) = ArenaFreeTag::kUsed;
102 }
Vladimir Marko83cc7ae2014-02-12 18:02:05 +0000103 return ptr;
104 }
105
106 uint8_t* AllocateFromNextArena(size_t rounded_bytes);
107 void UpdatePeakStatsAndRestore(const ArenaAllocatorStats& restore_stats);
108 void UpdateBytesAllocated();
Vladimir Marko2a408a32015-09-18 14:11:00 +0100109 void* AllocWithMemoryTool(size_t bytes, ArenaAllocKind kind);
Vladimir Marko83cc7ae2014-02-12 18:02:05 +0000110
111 StatsAndPool stats_and_pool_;
112 Arena* bottom_arena_;
113 Arena* top_arena_;
114 uint8_t* top_ptr_;
115 uint8_t* top_end_;
116
Vladimir Marko83cc7ae2014-02-12 18:02:05 +0000117 friend class ScopedArenaAllocator;
118 template <typename T>
119 friend class ScopedArenaAllocatorAdapter;
120
121 DISALLOW_COPY_AND_ASSIGN(ArenaStack);
122};
123
124class ScopedArenaAllocator
125 : private DebugStackReference, private DebugStackRefCounter, private ArenaAllocatorStats {
126 public:
127 // Create a ScopedArenaAllocator directly on the ArenaStack when the scope of
128 // the allocator is not exactly a C++ block scope. For example, an optimization
129 // pass can create the scoped allocator in Start() and destroy it in End().
130 static ScopedArenaAllocator* Create(ArenaStack* arena_stack) {
131 void* addr = arena_stack->Alloc(sizeof(ScopedArenaAllocator), kArenaAllocMisc);
132 ScopedArenaAllocator* allocator = new(addr) ScopedArenaAllocator(arena_stack);
133 allocator->mark_ptr_ = reinterpret_cast<uint8_t*>(addr);
134 return allocator;
135 }
136
137 explicit ScopedArenaAllocator(ArenaStack* arena_stack);
138 ~ScopedArenaAllocator();
139
140 void Reset();
141
Vladimir Markoe4fcc5b2015-02-13 10:28:29 +0000142 void* Alloc(size_t bytes, ArenaAllocKind kind = kArenaAllocMisc) ALWAYS_INLINE {
Vladimir Marko83cc7ae2014-02-12 18:02:05 +0000143 DebugStackReference::CheckTop();
144 return arena_stack_->Alloc(bytes, kind);
145 }
146
Vladimir Markoe4fcc5b2015-02-13 10:28:29 +0000147 template <typename T>
148 T* AllocArray(size_t length, ArenaAllocKind kind = kArenaAllocMisc) {
149 return static_cast<T*>(Alloc(length * sizeof(T), kind));
150 }
151
Vladimir Marko8081d2b2014-07-31 15:33:43 +0100152 // Get adapter for use in STL containers. See scoped_arena_containers.h .
153 ScopedArenaAllocatorAdapter<void> Adapter(ArenaAllocKind kind = kArenaAllocSTL);
Vladimir Marko83cc7ae2014-02-12 18:02:05 +0000154
155 // Allow a delete-expression to destroy but not deallocate allocators created by Create().
Roland Levillain4b8f1ec2015-08-26 18:34:03 +0100156 static void operator delete(void* ptr ATTRIBUTE_UNUSED) {}
Vladimir Marko83cc7ae2014-02-12 18:02:05 +0000157
158 private:
159 ArenaStack* const arena_stack_;
160 Arena* mark_arena_;
161 uint8_t* mark_ptr_;
162 uint8_t* mark_end_;
163
Vladimir Marko3d2ec352014-10-10 15:39:11 +0100164 void DoReset();
165
Vladimir Marko83cc7ae2014-02-12 18:02:05 +0000166 template <typename T>
167 friend class ScopedArenaAllocatorAdapter;
168
169 DISALLOW_COPY_AND_ASSIGN(ScopedArenaAllocator);
170};
171
Vladimir Marko83cc7ae2014-02-12 18:02:05 +0000172} // namespace art
173
Mathieu Chartierb666f482015-02-18 14:33:14 -0800174#endif // ART_RUNTIME_BASE_SCOPED_ARENA_ALLOCATOR_H_