blob: 9d2f6d1238f090c8975b5cda9085fd15a7a517b0 [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"
Hiroshi Yamauchi38e68e92014-03-07 13:59:08 -080023#include "gc/accounting/card_table-inl.h"
24#include "gc/collector/semi_space.h"
Mathieu Chartier590fee92013-09-13 13:46:47 -070025#include "gc/space/bump_pointer_space-inl.h"
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070026#include "gc/space/dlmalloc_space-inl.h"
27#include "gc/space/large_object_space.h"
Hiroshi Yamauchicf58d4a2013-09-26 14:21:22 -070028#include "gc/space/rosalloc_space-inl.h"
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070029#include "runtime.h"
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070030#include "handle_scope-inl.h"
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070031#include "thread.h"
32#include "thread-inl.h"
Mathieu Chartier4e305412014-02-19 10:54:44 -080033#include "verify_object-inl.h"
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070034
35namespace art {
36namespace gc {
37
Mathieu Chartier692fafd2013-11-29 17:24:40 -080038template <bool kInstrumented, bool kCheckLargeObject, typename PreFenceVisitor>
Mathieu Chartier1febddf2013-11-20 12:33:14 -080039inline mirror::Object* Heap::AllocObjectWithAllocator(Thread* self, mirror::Class* klass,
40 size_t byte_count, AllocatorType allocator,
41 const PreFenceVisitor& pre_fence_visitor) {
Mathieu Chartierc645f1d2014-03-06 18:11:53 -080042 if (kIsDebugBuild) {
43 CheckPreconditionsForAllocObject(klass, byte_count);
Mathieu Chartier14cc9be2014-07-11 10:26:37 -070044 // Since allocation can cause a GC which will need to SuspendAll, make sure all allocations are
45 // done in the runnable state where suspension is expected.
46 CHECK_EQ(self->GetState(), kRunnable);
47 self->AssertThreadSuspensionIsAllowable();
Mathieu Chartierc645f1d2014-03-06 18:11:53 -080048 }
Mathieu Chartierc528dba2013-11-26 12:00:11 -080049 // Need to check that we arent the large object allocator since the large object allocation code
50 // path this function. If we didn't check we would have an infinite loop.
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080051 mirror::Object* obj;
Mathieu Chartier446f9ee2014-12-01 15:00:27 -080052 if (kCheckLargeObject && UNLIKELY(ShouldAllocLargeObject(klass, byte_count))) {
53 obj = AllocLargeObject<kInstrumented, PreFenceVisitor>(self, &klass, byte_count,
54 pre_fence_visitor);
55 if (obj != nullptr) {
56 return obj;
57 } else {
58 // There should be an OOM exception, since we are retrying, clear it.
59 self->ClearException();
60 }
61 // If the large object allocation failed, try to use the normal spaces (main space,
62 // non moving space). This can happen if there is significant virtual address space
63 // fragmentation.
64 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080065 AllocationTimer alloc_timer(this, &obj);
Mathieu Chartier14cc9be2014-07-11 10:26:37 -070066 size_t bytes_allocated;
67 size_t usable_size;
68 size_t new_num_bytes_allocated = 0;
69 if (allocator == kAllocatorTypeTLAB) {
70 byte_count = RoundUp(byte_count, space::BumpPointerSpace::kAlignment);
71 }
72 // If we have a thread local allocation we don't need to update bytes allocated.
73 if (allocator == kAllocatorTypeTLAB && byte_count <= self->TlabSize()) {
74 obj = self->AllocTlab(byte_count);
Mathieu Chartierfd22d5b2014-07-14 10:16:05 -070075 DCHECK(obj != nullptr) << "AllocTlab can't fail";
Mathieu Chartier14cc9be2014-07-11 10:26:37 -070076 obj->SetClass(klass);
77 if (kUseBakerOrBrooksReadBarrier) {
78 if (kUseBrooksReadBarrier) {
79 obj->SetReadBarrierPointer(obj);
Mathieu Chartiere6da9af2013-12-16 11:54:42 -080080 }
Mathieu Chartier14cc9be2014-07-11 10:26:37 -070081 obj->AssertReadBarrierPointer();
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080082 }
Mathieu Chartier14cc9be2014-07-11 10:26:37 -070083 bytes_allocated = byte_count;
Mathieu Chartierfd22d5b2014-07-14 10:16:05 -070084 usable_size = bytes_allocated;
85 pre_fence_visitor(obj, usable_size);
Mathieu Chartier14cc9be2014-07-11 10:26:37 -070086 QuasiAtomic::ThreadFenceForConstructor();
87 } else {
88 obj = TryToAllocate<kInstrumented, false>(self, allocator, byte_count, &bytes_allocated,
89 &usable_size);
90 if (UNLIKELY(obj == nullptr)) {
91 bool is_current_allocator = allocator == GetCurrentAllocator();
92 obj = AllocateInternalWithGc(self, allocator, byte_count, &bytes_allocated, &usable_size,
93 &klass);
94 if (obj == nullptr) {
95 bool after_is_current_allocator = allocator == GetCurrentAllocator();
Mathieu Chartier8e705192014-08-20 18:19:23 -070096 // If there is a pending exception, fail the allocation right away since the next one
97 // could cause OOM and abort the runtime.
98 if (!self->IsExceptionPending() && is_current_allocator && !after_is_current_allocator) {
Mathieu Chartier14cc9be2014-07-11 10:26:37 -070099 // If the allocator changed, we need to restart the allocation.
100 return AllocObject<kInstrumented>(self, klass, byte_count, pre_fence_visitor);
101 }
102 return nullptr;
103 }
Hiroshi Yamauchi624468c2014-03-31 15:14:47 -0700104 }
Mathieu Chartier14cc9be2014-07-11 10:26:37 -0700105 DCHECK_GT(bytes_allocated, 0u);
106 DCHECK_GT(usable_size, 0u);
107 obj->SetClass(klass);
108 if (kUseBakerOrBrooksReadBarrier) {
109 if (kUseBrooksReadBarrier) {
110 obj->SetReadBarrierPointer(obj);
111 }
112 obj->AssertReadBarrierPointer();
113 }
114 if (collector::SemiSpace::kUseRememberedSet && UNLIKELY(allocator == kAllocatorTypeNonMoving)) {
115 // (Note this if statement will be constant folded away for the
116 // fast-path quick entry points.) Because SetClass() has no write
117 // barrier, if a non-moving space allocation, we need a write
118 // barrier as the class pointer may point to the bump pointer
119 // space (where the class pointer is an "old-to-young" reference,
120 // though rare) under the GSS collector with the remembered set
121 // enabled. We don't need this for kAllocatorTypeRosAlloc/DlMalloc
122 // cases because we don't directly allocate into the main alloc
123 // space (besides promotions) under the SS/GSS collector.
124 WriteBarrierField(obj, mirror::Object::ClassOffset(), klass);
125 }
126 pre_fence_visitor(obj, usable_size);
Mathieu Chartier14cc9be2014-07-11 10:26:37 -0700127 new_num_bytes_allocated =
128 static_cast<size_t>(num_bytes_allocated_.FetchAndAddSequentiallyConsistent(bytes_allocated))
129 + bytes_allocated;
Hiroshi Yamauchi9d04a202014-01-31 13:35:49 -0800130 }
Mathieu Chartierfd22d5b2014-07-14 10:16:05 -0700131 if (kIsDebugBuild && Runtime::Current()->IsStarted()) {
132 CHECK_LE(obj->SizeOf(), usable_size);
133 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800134 // TODO: Deprecate.
135 if (kInstrumented) {
136 if (Runtime::Current()->HasStatsEnabled()) {
137 RuntimeStats* thread_stats = self->GetStats();
138 ++thread_stats->allocated_objects;
139 thread_stats->allocated_bytes += bytes_allocated;
140 RuntimeStats* global_stats = Runtime::Current()->GetStats();
141 ++global_stats->allocated_objects;
142 global_stats->allocated_bytes += bytes_allocated;
143 }
144 } else {
145 DCHECK(!Runtime::Current()->HasStatsEnabled());
146 }
147 if (AllocatorHasAllocationStack(allocator)) {
Hiroshi Yamauchi4cd662e2014-04-03 16:28:10 -0700148 PushOnAllocationStack(self, &obj);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800149 }
150 if (kInstrumented) {
151 if (Dbg::IsAllocTrackingEnabled()) {
Ian Rogers844506b2014-09-12 19:59:33 -0700152 Dbg::RecordAllocation(self, klass, bytes_allocated);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800153 }
154 } else {
155 DCHECK(!Dbg::IsAllocTrackingEnabled());
156 }
Hiroshi Yamauchi3e417802014-03-20 12:03:02 -0700157 // IsConcurrentGc() isn't known at compile time so we can optimize by not checking it for
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800158 // the BumpPointer or TLAB allocators. This is nice since it allows the entire if statement to be
159 // optimized out. And for the other allocators, AllocatorMayHaveConcurrentGC is a constant since
160 // the allocator_type should be constant propagated.
Hiroshi Yamauchi3e417802014-03-20 12:03:02 -0700161 if (AllocatorMayHaveConcurrentGC(allocator) && IsGcConcurrent()) {
Mathieu Chartierf517f1a2014-03-06 15:52:27 -0800162 CheckConcurrentGC(self, new_num_bytes_allocated, &obj);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800163 }
Mathieu Chartier4e305412014-02-19 10:54:44 -0800164 VerifyObject(obj);
165 self->VerifyStack();
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800166 return obj;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700167}
168
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -0800169// The size of a thread-local allocation stack in the number of references.
170static constexpr size_t kThreadLocalAllocationStackSize = 128;
171
Hiroshi Yamauchi4cd662e2014-04-03 16:28:10 -0700172inline void Heap::PushOnAllocationStack(Thread* self, mirror::Object** obj) {
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -0800173 if (kUseThreadLocalAllocationStack) {
Mathieu Chartierc1790162014-05-23 10:54:50 -0700174 if (UNLIKELY(!self->PushOnThreadLocalAllocationStack(*obj))) {
175 PushOnThreadLocalAllocationStackWithInternalGC(self, obj);
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -0800176 }
Mathieu Chartierc1790162014-05-23 10:54:50 -0700177 } else if (UNLIKELY(!allocation_stack_->AtomicPushBack(*obj))) {
178 PushOnAllocationStackWithInternalGC(self, obj);
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -0800179 }
180}
181
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800182template <bool kInstrumented, typename PreFenceVisitor>
Mathieu Chartier446f9ee2014-12-01 15:00:27 -0800183inline mirror::Object* Heap::AllocLargeObject(Thread* self, mirror::Class** klass,
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800184 size_t byte_count,
185 const PreFenceVisitor& pre_fence_visitor) {
Mathieu Chartier446f9ee2014-12-01 15:00:27 -0800186 // Save and restore the class in case it moves.
187 StackHandleScope<1> hs(self);
188 auto klass_wrapper = hs.NewHandleWrapper(klass);
189 return AllocObjectWithAllocator<kInstrumented, false, PreFenceVisitor>(self, *klass, byte_count,
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800190 kAllocatorTypeLOS,
191 pre_fence_visitor);
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800192}
193
194template <const bool kInstrumented, const bool kGrow>
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800195inline mirror::Object* Heap::TryToAllocate(Thread* self, AllocatorType allocator_type,
Ian Rogers6fac4472014-02-25 17:01:10 -0800196 size_t alloc_size, size_t* bytes_allocated,
197 size_t* usable_size) {
Mathieu Chartier14cc9be2014-07-11 10:26:37 -0700198 if (allocator_type != kAllocatorTypeTLAB &&
199 UNLIKELY(IsOutOfMemoryOnAllocation<kGrow>(allocator_type, alloc_size))) {
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800200 return nullptr;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700201 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800202 mirror::Object* ret;
203 switch (allocator_type) {
204 case kAllocatorTypeBumpPointer: {
205 DCHECK(bump_pointer_space_ != nullptr);
206 alloc_size = RoundUp(alloc_size, space::BumpPointerSpace::kAlignment);
207 ret = bump_pointer_space_->AllocNonvirtual(alloc_size);
208 if (LIKELY(ret != nullptr)) {
209 *bytes_allocated = alloc_size;
Ian Rogers6fac4472014-02-25 17:01:10 -0800210 *usable_size = alloc_size;
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800211 }
212 break;
213 }
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800214 case kAllocatorTypeRosAlloc: {
215 if (kInstrumented && UNLIKELY(running_on_valgrind_)) {
216 // If running on valgrind, we should be using the instrumented path.
Ian Rogers6fac4472014-02-25 17:01:10 -0800217 ret = rosalloc_space_->Alloc(self, alloc_size, bytes_allocated, usable_size);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800218 } else {
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800219 DCHECK(!running_on_valgrind_);
Ian Rogers6fac4472014-02-25 17:01:10 -0800220 ret = rosalloc_space_->AllocNonvirtual(self, alloc_size, bytes_allocated, usable_size);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800221 }
222 break;
223 }
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800224 case kAllocatorTypeDlMalloc: {
225 if (kInstrumented && UNLIKELY(running_on_valgrind_)) {
226 // If running on valgrind, we should be using the instrumented path.
Ian Rogers6fac4472014-02-25 17:01:10 -0800227 ret = dlmalloc_space_->Alloc(self, alloc_size, bytes_allocated, usable_size);
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800228 } else {
229 DCHECK(!running_on_valgrind_);
Ian Rogers6fac4472014-02-25 17:01:10 -0800230 ret = dlmalloc_space_->AllocNonvirtual(self, alloc_size, bytes_allocated, usable_size);
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800231 }
232 break;
233 }
234 case kAllocatorTypeNonMoving: {
Ian Rogers6fac4472014-02-25 17:01:10 -0800235 ret = non_moving_space_->Alloc(self, alloc_size, bytes_allocated, usable_size);
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800236 break;
237 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800238 case kAllocatorTypeLOS: {
Ian Rogers6fac4472014-02-25 17:01:10 -0800239 ret = large_object_space_->Alloc(self, alloc_size, bytes_allocated, usable_size);
Hiroshi Yamauchi95a659f2013-11-22 14:43:45 -0800240 // Note that the bump pointer spaces aren't necessarily next to
241 // the other continuous spaces like the non-moving alloc space or
242 // the zygote space.
243 DCHECK(ret == nullptr || large_object_space_->Contains(ret));
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800244 break;
245 }
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800246 case kAllocatorTypeTLAB: {
Mathieu Chartier14cc9be2014-07-11 10:26:37 -0700247 DCHECK_ALIGNED(alloc_size, space::BumpPointerSpace::kAlignment);
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800248 if (UNLIKELY(self->TlabSize() < alloc_size)) {
Mathieu Chartier14cc9be2014-07-11 10:26:37 -0700249 const size_t new_tlab_size = alloc_size + kDefaultTLABSize;
250 if (UNLIKELY(IsOutOfMemoryOnAllocation<kGrow>(allocator_type, new_tlab_size))) {
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800251 return nullptr;
252 }
Mathieu Chartier14cc9be2014-07-11 10:26:37 -0700253 // Try allocating a new thread local buffer, if the allocaiton fails the space must be
254 // full so return nullptr.
255 if (!bump_pointer_space_->AllocNewTlab(self, new_tlab_size)) {
256 return nullptr;
257 }
258 *bytes_allocated = new_tlab_size;
259 } else {
260 *bytes_allocated = 0;
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800261 }
262 // The allocation can't fail.
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800263 ret = self->AllocTlab(alloc_size);
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800264 DCHECK(ret != nullptr);
Hiroshi Yamauchi5ccd4982014-03-11 12:19:04 -0700265 *usable_size = alloc_size;
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800266 break;
267 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800268 default: {
269 LOG(FATAL) << "Invalid allocator type";
270 ret = nullptr;
271 }
272 }
273 return ret;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700274}
275
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700276inline Heap::AllocationTimer::AllocationTimer(Heap* heap, mirror::Object** allocated_obj_ptr)
277 : heap_(heap), allocated_obj_ptr_(allocated_obj_ptr) {
278 if (kMeasureAllocationTime) {
279 allocation_start_time_ = NanoTime() / kTimeAdjust;
280 }
281}
282
283inline Heap::AllocationTimer::~AllocationTimer() {
284 if (kMeasureAllocationTime) {
285 mirror::Object* allocated_obj = *allocated_obj_ptr_;
286 // Only if the allocation succeeded, record the time.
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800287 if (allocated_obj != nullptr) {
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700288 uint64_t allocation_end_time = NanoTime() / kTimeAdjust;
Ian Rogers3e5cf302014-05-20 16:40:37 -0700289 heap_->total_allocation_time_.FetchAndAddSequentiallyConsistent(allocation_end_time - allocation_start_time_);
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700290 }
291 }
Andreas Gampec8ccf682014-09-29 20:07:43 -0700292}
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700293
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800294inline bool Heap::ShouldAllocLargeObject(mirror::Class* c, size_t byte_count) const {
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700295 // We need to have a zygote space or else our newly allocated large object can end up in the
296 // Zygote resulting in it being prematurely freed.
297 // We can only do this for primitive objects since large objects will not be within the card table
298 // range. This also means that we rely on SetClass not dirtying the object's card.
Mathieu Chartierbd0a6532014-02-27 11:14:21 -0800299 return byte_count >= large_object_threshold_ && c->IsPrimitiveArray();
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700300}
301
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800302template <bool kGrow>
303inline bool Heap::IsOutOfMemoryOnAllocation(AllocatorType allocator_type, size_t alloc_size) {
Ian Rogers3e5cf302014-05-20 16:40:37 -0700304 size_t new_footprint = num_bytes_allocated_.LoadSequentiallyConsistent() + alloc_size;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700305 if (UNLIKELY(new_footprint > max_allowed_footprint_)) {
306 if (UNLIKELY(new_footprint > growth_limit_)) {
307 return true;
308 }
Hiroshi Yamauchi3e417802014-03-20 12:03:02 -0700309 if (!AllocatorMayHaveConcurrentGC(allocator_type) || !IsGcConcurrent()) {
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800310 if (!kGrow) {
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700311 return true;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700312 }
Mathieu Chartier7bf82af2013-12-06 16:51:45 -0800313 // TODO: Grow for allocation is racy, fix it.
314 VLOG(heap) << "Growing heap from " << PrettySize(max_allowed_footprint_) << " to "
315 << PrettySize(new_footprint) << " for a " << PrettySize(alloc_size) << " allocation";
316 max_allowed_footprint_ = new_footprint;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700317 }
318 }
319 return false;
320}
321
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800322inline void Heap::CheckConcurrentGC(Thread* self, size_t new_num_bytes_allocated,
Mathieu Chartierf517f1a2014-03-06 15:52:27 -0800323 mirror::Object** obj) {
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700324 if (UNLIKELY(new_num_bytes_allocated >= concurrent_start_bytes_)) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700325 RequestConcurrentGCAndSaveObject(self, obj);
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700326 }
327}
328
329} // namespace gc
330} // namespace art
331
332#endif // ART_RUNTIME_GC_HEAP_INL_H_