blob: 9c91b0e1a13202eca225e4c79b2b73fb0adc1db6 [file] [log] [blame]
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -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
17#ifndef ART_RUNTIME_GC_HEAP_INL_H_
18#define ART_RUNTIME_GC_HEAP_INL_H_
19
20#include "heap.h"
21
22#include "debugger.h"
Mathieu Chartier590fee92013-09-13 13:46:47 -070023#include "gc/space/bump_pointer_space-inl.h"
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070024#include "gc/space/dlmalloc_space-inl.h"
25#include "gc/space/large_object_space.h"
Hiroshi Yamauchicf58d4a2013-09-26 14:21:22 -070026#include "gc/space/rosalloc_space-inl.h"
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070027#include "object_utils.h"
28#include "runtime.h"
29#include "thread.h"
30#include "thread-inl.h"
31
32namespace art {
33namespace gc {
34
Mathieu Chartier692fafd2013-11-29 17:24:40 -080035template <bool kInstrumented, bool kCheckLargeObject, typename PreFenceVisitor>
Mathieu Chartier1febddf2013-11-20 12:33:14 -080036inline mirror::Object* Heap::AllocObjectWithAllocator(Thread* self, mirror::Class* klass,
37 size_t byte_count, AllocatorType allocator,
38 const PreFenceVisitor& pre_fence_visitor) {
39 DebugCheckPreconditionsForAllocObject(klass, byte_count);
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070040 // Since allocation can cause a GC which will need to SuspendAll, make sure all allocations are
41 // done in the runnable state where suspension is expected.
42 DCHECK_EQ(self->GetState(), kRunnable);
43 self->AssertThreadSuspensionIsAllowable();
Mathieu Chartierc528dba2013-11-26 12:00:11 -080044 // Need to check that we arent the large object allocator since the large object allocation code
45 // path this function. If we didn't check we would have an infinite loop.
Mathieu Chartier692fafd2013-11-29 17:24:40 -080046 if (kCheckLargeObject && UNLIKELY(ShouldAllocLargeObject(klass, byte_count))) {
Mathieu Chartierc528dba2013-11-26 12:00:11 -080047 return AllocLargeObject<kInstrumented, PreFenceVisitor>(self, klass, byte_count,
48 pre_fence_visitor);
49 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080050 mirror::Object* obj;
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080051 AllocationTimer alloc_timer(this, &obj);
Mathieu Chartier692fafd2013-11-29 17:24:40 -080052 size_t bytes_allocated;
Mathieu Chartierc528dba2013-11-26 12:00:11 -080053 obj = TryToAllocate<kInstrumented, false>(self, allocator, byte_count, &bytes_allocated);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080054 if (UNLIKELY(obj == nullptr)) {
Mathieu Chartiere6da9af2013-12-16 11:54:42 -080055 bool is_current_allocator = allocator == GetCurrentAllocator();
Mathieu Chartierc528dba2013-11-26 12:00:11 -080056 obj = AllocateInternalWithGc(self, allocator, byte_count, &bytes_allocated, &klass);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080057 if (obj == nullptr) {
Mathieu Chartiere6da9af2013-12-16 11:54:42 -080058 bool after_is_current_allocator = allocator == GetCurrentAllocator();
59 if (is_current_allocator && !after_is_current_allocator) {
60 // If the allocator changed, we need to restart the allocation.
61 return AllocObject<kInstrumented>(self, klass, byte_count);
62 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080063 return nullptr;
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080064 }
65 }
Mathieu Chartier1febddf2013-11-20 12:33:14 -080066 obj->SetClass(klass);
67 pre_fence_visitor(obj);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080068 DCHECK_GT(bytes_allocated, 0u);
69 const size_t new_num_bytes_allocated =
Ian Rogersb122a4b2013-11-19 18:00:50 -080070 static_cast<size_t>(num_bytes_allocated_.FetchAndAdd(bytes_allocated)) + bytes_allocated;
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080071 // TODO: Deprecate.
72 if (kInstrumented) {
73 if (Runtime::Current()->HasStatsEnabled()) {
74 RuntimeStats* thread_stats = self->GetStats();
75 ++thread_stats->allocated_objects;
76 thread_stats->allocated_bytes += bytes_allocated;
77 RuntimeStats* global_stats = Runtime::Current()->GetStats();
78 ++global_stats->allocated_objects;
79 global_stats->allocated_bytes += bytes_allocated;
80 }
81 } else {
82 DCHECK(!Runtime::Current()->HasStatsEnabled());
83 }
84 if (AllocatorHasAllocationStack(allocator)) {
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -080085 PushOnAllocationStack(self, obj);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080086 }
87 if (kInstrumented) {
88 if (Dbg::IsAllocTrackingEnabled()) {
Mathieu Chartier1febddf2013-11-20 12:33:14 -080089 Dbg::RecordAllocation(klass, bytes_allocated);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080090 }
91 } else {
92 DCHECK(!Dbg::IsAllocTrackingEnabled());
93 }
Mathieu Chartier692fafd2013-11-29 17:24:40 -080094 // concurrent_gc_ isn't known at compile time so we can optimize by not checking it for
95 // the BumpPointer or TLAB allocators. This is nice since it allows the entire if statement to be
96 // optimized out. And for the other allocators, AllocatorMayHaveConcurrentGC is a constant since
97 // the allocator_type should be constant propagated.
98 if (AllocatorMayHaveConcurrentGC(allocator) && concurrent_gc_) {
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080099 CheckConcurrentGC(self, new_num_bytes_allocated, obj);
100 }
101 if (kIsDebugBuild) {
102 if (kDesiredHeapVerification > kNoHeapVerification) {
103 VerifyObject(obj);
104 }
105 self->VerifyStack();
106 }
107 return obj;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700108}
109
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -0800110// The size of a thread-local allocation stack in the number of references.
111static constexpr size_t kThreadLocalAllocationStackSize = 128;
112
113inline void Heap::PushOnAllocationStack(Thread* self, mirror::Object* obj) {
114 if (kUseThreadLocalAllocationStack) {
115 bool success = self->PushOnThreadLocalAllocationStack(obj);
116 if (UNLIKELY(!success)) {
117 // Slow path. Allocate a new thread-local allocation stack.
118 mirror::Object** start_address;
119 mirror::Object** end_address;
120 while (!allocation_stack_->AtomicBumpBack(kThreadLocalAllocationStackSize,
121 &start_address, &end_address)) {
122 CollectGarbageInternal(collector::kGcTypeSticky, kGcCauseForAlloc, false);
123 }
124 self->SetThreadLocalAllocationStack(start_address, end_address);
125 // Retry on the new thread-local allocation stack.
126 success = self->PushOnThreadLocalAllocationStack(obj);
127 // Must succeed.
128 CHECK(success);
129 }
130 } else {
131 // This is safe to do since the GC will never free objects which are neither in the allocation
132 // stack or the live bitmap.
133 while (!allocation_stack_->AtomicPushBack(obj)) {
134 CollectGarbageInternal(collector::kGcTypeSticky, kGcCauseForAlloc, false);
135 }
136 }
137}
138
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800139template <bool kInstrumented, typename PreFenceVisitor>
140inline mirror::Object* Heap::AllocLargeObject(Thread* self, mirror::Class* klass,
141 size_t byte_count,
142 const PreFenceVisitor& pre_fence_visitor) {
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800143 return AllocObjectWithAllocator<kInstrumented, false, PreFenceVisitor>(self, klass, byte_count,
144 kAllocatorTypeLOS,
145 pre_fence_visitor);
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800146}
147
148template <const bool kInstrumented, const bool kGrow>
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800149inline mirror::Object* Heap::TryToAllocate(Thread* self, AllocatorType allocator_type,
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800150 size_t alloc_size, size_t* bytes_allocated) {
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800151 if (UNLIKELY(IsOutOfMemoryOnAllocation<kGrow>(allocator_type, alloc_size))) {
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800152 return nullptr;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700153 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800154 mirror::Object* ret;
155 switch (allocator_type) {
156 case kAllocatorTypeBumpPointer: {
157 DCHECK(bump_pointer_space_ != nullptr);
158 alloc_size = RoundUp(alloc_size, space::BumpPointerSpace::kAlignment);
159 ret = bump_pointer_space_->AllocNonvirtual(alloc_size);
160 if (LIKELY(ret != nullptr)) {
161 *bytes_allocated = alloc_size;
162 }
163 break;
164 }
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800165 case kAllocatorTypeRosAlloc: {
166 if (kInstrumented && UNLIKELY(running_on_valgrind_)) {
167 // If running on valgrind, we should be using the instrumented path.
168 ret = rosalloc_space_->Alloc(self, alloc_size, bytes_allocated);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800169 } else {
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800170 DCHECK(!running_on_valgrind_);
171 ret = rosalloc_space_->AllocNonvirtual(self, alloc_size, bytes_allocated);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800172 }
173 break;
174 }
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800175 case kAllocatorTypeDlMalloc: {
176 if (kInstrumented && UNLIKELY(running_on_valgrind_)) {
177 // If running on valgrind, we should be using the instrumented path.
178 ret = dlmalloc_space_->Alloc(self, alloc_size, bytes_allocated);
179 } else {
180 DCHECK(!running_on_valgrind_);
181 ret = dlmalloc_space_->AllocNonvirtual(self, alloc_size, bytes_allocated);
182 }
183 break;
184 }
185 case kAllocatorTypeNonMoving: {
186 ret = non_moving_space_->Alloc(self, alloc_size, bytes_allocated);
187 break;
188 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800189 case kAllocatorTypeLOS: {
190 ret = large_object_space_->Alloc(self, alloc_size, bytes_allocated);
Hiroshi Yamauchi95a659f2013-11-22 14:43:45 -0800191 // Note that the bump pointer spaces aren't necessarily next to
192 // the other continuous spaces like the non-moving alloc space or
193 // the zygote space.
194 DCHECK(ret == nullptr || large_object_space_->Contains(ret));
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800195 break;
196 }
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800197 case kAllocatorTypeTLAB: {
198 alloc_size = RoundUp(alloc_size, space::BumpPointerSpace::kAlignment);
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800199 if (UNLIKELY(self->TlabSize() < alloc_size)) {
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800200 // Try allocating a new thread local buffer, if the allocaiton fails the space must be
201 // full so return nullptr.
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800202 if (!bump_pointer_space_->AllocNewTlab(self, alloc_size + kDefaultTLABSize)) {
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800203 return nullptr;
204 }
205 }
206 // The allocation can't fail.
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800207 ret = self->AllocTlab(alloc_size);
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800208 DCHECK(ret != nullptr);
209 *bytes_allocated = alloc_size;
210 break;
211 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800212 default: {
213 LOG(FATAL) << "Invalid allocator type";
214 ret = nullptr;
215 }
216 }
217 return ret;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700218}
219
Mathieu Chartier590fee92013-09-13 13:46:47 -0700220inline void Heap::DebugCheckPreconditionsForAllocObject(mirror::Class* c, size_t byte_count) {
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700221 DCHECK(c == NULL || (c->IsClassClass() && byte_count >= sizeof(mirror::Class)) ||
222 (c->IsVariableSize() || c->GetObjectSize() == byte_count) ||
Ian Rogersdfb325e2013-10-30 01:00:44 -0700223 strlen(ClassHelper(c).GetDescriptor()) == 0);
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700224 DCHECK_GE(byte_count, sizeof(mirror::Object));
225}
226
227inline Heap::AllocationTimer::AllocationTimer(Heap* heap, mirror::Object** allocated_obj_ptr)
228 : heap_(heap), allocated_obj_ptr_(allocated_obj_ptr) {
229 if (kMeasureAllocationTime) {
230 allocation_start_time_ = NanoTime() / kTimeAdjust;
231 }
232}
233
234inline Heap::AllocationTimer::~AllocationTimer() {
235 if (kMeasureAllocationTime) {
236 mirror::Object* allocated_obj = *allocated_obj_ptr_;
237 // Only if the allocation succeeded, record the time.
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800238 if (allocated_obj != nullptr) {
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700239 uint64_t allocation_end_time = NanoTime() / kTimeAdjust;
Ian Rogersb122a4b2013-11-19 18:00:50 -0800240 heap_->total_allocation_time_.FetchAndAdd(allocation_end_time - allocation_start_time_);
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700241 }
242 }
243};
244
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800245inline bool Heap::ShouldAllocLargeObject(mirror::Class* c, size_t byte_count) const {
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700246 // We need to have a zygote space or else our newly allocated large object can end up in the
247 // Zygote resulting in it being prematurely freed.
248 // We can only do this for primitive objects since large objects will not be within the card table
249 // range. This also means that we rely on SetClass not dirtying the object's card.
250 return byte_count >= kLargeObjectThreshold && have_zygote_space_ && c->IsPrimitiveArray();
251}
252
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800253template <bool kGrow>
254inline bool Heap::IsOutOfMemoryOnAllocation(AllocatorType allocator_type, size_t alloc_size) {
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700255 size_t new_footprint = num_bytes_allocated_ + alloc_size;
256 if (UNLIKELY(new_footprint > max_allowed_footprint_)) {
257 if (UNLIKELY(new_footprint > growth_limit_)) {
258 return true;
259 }
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800260 if (!AllocatorMayHaveConcurrentGC(allocator_type) || !concurrent_gc_) {
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800261 if (!kGrow) {
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700262 return true;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700263 }
Mathieu Chartier7bf82af2013-12-06 16:51:45 -0800264 // TODO: Grow for allocation is racy, fix it.
265 VLOG(heap) << "Growing heap from " << PrettySize(max_allowed_footprint_) << " to "
266 << PrettySize(new_footprint) << " for a " << PrettySize(alloc_size) << " allocation";
267 max_allowed_footprint_ = new_footprint;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700268 }
269 }
270 return false;
271}
272
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800273inline void Heap::CheckConcurrentGC(Thread* self, size_t new_num_bytes_allocated,
274 mirror::Object* obj) {
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700275 if (UNLIKELY(new_num_bytes_allocated >= concurrent_start_bytes_)) {
276 // The SirtRef is necessary since the calls in RequestConcurrentGC are a safepoint.
277 SirtRef<mirror::Object> ref(self, obj);
278 RequestConcurrentGC(self);
279 }
280}
281
282} // namespace gc
283} // namespace art
284
285#endif // ART_RUNTIME_GC_HEAP_INL_H_