blob: d7023d8ee0dedb63aade90c71370afdbf3d3b7c0 [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
Vladimir Marko80afd022015-05-19 18:08:00 +010022#include "base/time_utils.h"
Hiroshi Yamauchi38e68e92014-03-07 13:59:08 -080023#include "gc/accounting/card_table-inl.h"
Man Cao8c2ff642015-05-27 17:25:30 -070024#include "gc/allocation_record.h"
Hiroshi Yamauchi38e68e92014-03-07 13:59:08 -080025#include "gc/collector/semi_space.h"
Mathieu Chartier590fee92013-09-13 13:46:47 -070026#include "gc/space/bump_pointer_space-inl.h"
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070027#include "gc/space/dlmalloc_space-inl.h"
28#include "gc/space/large_object_space.h"
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -080029#include "gc/space/region_space-inl.h"
Hiroshi Yamauchicf58d4a2013-09-26 14:21:22 -070030#include "gc/space/rosalloc_space-inl.h"
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070031#include "runtime.h"
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070032#include "handle_scope-inl.h"
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070033#include "thread-inl.h"
Vladimir Marko80afd022015-05-19 18:08:00 +010034#include "utils.h"
Mathieu Chartier4e305412014-02-19 10:54:44 -080035#include "verify_object-inl.h"
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -070036
37namespace art {
38namespace gc {
39
Mathieu Chartier692fafd2013-11-29 17:24:40 -080040template <bool kInstrumented, bool kCheckLargeObject, typename PreFenceVisitor>
Mathieu Chartiera4f6af92015-08-11 17:35:25 -070041inline mirror::Object* Heap::AllocObjectWithAllocator(Thread* self,
42 mirror::Class* klass,
43 size_t byte_count,
44 AllocatorType allocator,
Mathieu Chartier1febddf2013-11-20 12:33:14 -080045 const PreFenceVisitor& pre_fence_visitor) {
Mathieu Chartierc645f1d2014-03-06 18:11:53 -080046 if (kIsDebugBuild) {
47 CheckPreconditionsForAllocObject(klass, byte_count);
Mathieu Chartier14cc9be2014-07-11 10:26:37 -070048 // Since allocation can cause a GC which will need to SuspendAll, make sure all allocations are
49 // done in the runnable state where suspension is expected.
50 CHECK_EQ(self->GetState(), kRunnable);
51 self->AssertThreadSuspensionIsAllowable();
Mathieu Chartierc645f1d2014-03-06 18:11:53 -080052 }
Mathieu Chartierc528dba2013-11-26 12:00:11 -080053 // Need to check that we arent the large object allocator since the large object allocation code
54 // path this function. If we didn't check we would have an infinite loop.
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080055 mirror::Object* obj;
Mathieu Chartier446f9ee2014-12-01 15:00:27 -080056 if (kCheckLargeObject && UNLIKELY(ShouldAllocLargeObject(klass, byte_count))) {
57 obj = AllocLargeObject<kInstrumented, PreFenceVisitor>(self, &klass, byte_count,
58 pre_fence_visitor);
59 if (obj != nullptr) {
60 return obj;
61 } else {
62 // There should be an OOM exception, since we are retrying, clear it.
63 self->ClearException();
64 }
65 // If the large object allocation failed, try to use the normal spaces (main space,
66 // non moving space). This can happen if there is significant virtual address space
67 // fragmentation.
68 }
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -070069 // bytes allocated for the (individual) object.
Mathieu Chartier14cc9be2014-07-11 10:26:37 -070070 size_t bytes_allocated;
71 size_t usable_size;
72 size_t new_num_bytes_allocated = 0;
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -080073 if (allocator == kAllocatorTypeTLAB || allocator == kAllocatorTypeRegionTLAB) {
Mathieu Chartier14cc9be2014-07-11 10:26:37 -070074 byte_count = RoundUp(byte_count, space::BumpPointerSpace::kAlignment);
75 }
76 // If we have a thread local allocation we don't need to update bytes allocated.
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -080077 if ((allocator == kAllocatorTypeTLAB || allocator == kAllocatorTypeRegionTLAB) &&
78 byte_count <= self->TlabSize()) {
Mathieu Chartier14cc9be2014-07-11 10:26:37 -070079 obj = self->AllocTlab(byte_count);
Mathieu Chartierfd22d5b2014-07-14 10:16:05 -070080 DCHECK(obj != nullptr) << "AllocTlab can't fail";
Mathieu Chartier14cc9be2014-07-11 10:26:37 -070081 obj->SetClass(klass);
82 if (kUseBakerOrBrooksReadBarrier) {
83 if (kUseBrooksReadBarrier) {
84 obj->SetReadBarrierPointer(obj);
Mathieu Chartiere6da9af2013-12-16 11:54:42 -080085 }
Mathieu Chartier14cc9be2014-07-11 10:26:37 -070086 obj->AssertReadBarrierPointer();
Mathieu Chartiercbb2d202013-11-14 17:45:16 -080087 }
Mathieu Chartier14cc9be2014-07-11 10:26:37 -070088 bytes_allocated = byte_count;
Mathieu Chartierfd22d5b2014-07-14 10:16:05 -070089 usable_size = bytes_allocated;
90 pre_fence_visitor(obj, usable_size);
Mathieu Chartier14cc9be2014-07-11 10:26:37 -070091 QuasiAtomic::ThreadFenceForConstructor();
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -070092 } else if (!kInstrumented && allocator == kAllocatorTypeRosAlloc &&
93 (obj = rosalloc_space_->AllocThreadLocal(self, byte_count, &bytes_allocated)) &&
94 LIKELY(obj != nullptr)) {
Evgenii Stepanov1e133742015-05-20 12:30:59 -070095 DCHECK(!is_running_on_memory_tool_);
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -070096 obj->SetClass(klass);
97 if (kUseBakerOrBrooksReadBarrier) {
98 if (kUseBrooksReadBarrier) {
99 obj->SetReadBarrierPointer(obj);
100 }
101 obj->AssertReadBarrierPointer();
102 }
103 usable_size = bytes_allocated;
104 pre_fence_visitor(obj, usable_size);
105 QuasiAtomic::ThreadFenceForConstructor();
Mathieu Chartier14cc9be2014-07-11 10:26:37 -0700106 } else {
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700107 // bytes allocated that takes bulk thread-local buffer allocations into account.
108 size_t bytes_tl_bulk_allocated = 0;
Mathieu Chartier14cc9be2014-07-11 10:26:37 -0700109 obj = TryToAllocate<kInstrumented, false>(self, allocator, byte_count, &bytes_allocated,
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700110 &usable_size, &bytes_tl_bulk_allocated);
Mathieu Chartier14cc9be2014-07-11 10:26:37 -0700111 if (UNLIKELY(obj == nullptr)) {
Mathieu Chartiereebc3af2016-02-29 18:13:38 -0800112 // AllocateInternalWithGc can cause thread suspension, if someone instruments the entrypoints
113 // or changes the allocator in a suspend point here, we need to retry the allocation.
114 obj = AllocateInternalWithGc(self,
115 allocator,
116 kInstrumented,
117 byte_count,
118 &bytes_allocated,
119 &usable_size,
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700120 &bytes_tl_bulk_allocated, &klass);
Mathieu Chartier14cc9be2014-07-11 10:26:37 -0700121 if (obj == nullptr) {
Mathieu Chartiereebc3af2016-02-29 18:13:38 -0800122 // The only way that we can get a null return if there is no pending exception is if the
123 // allocator or instrumentation changed.
124 if (!self->IsExceptionPending()) {
125 // AllocObject will pick up the new allocator type, and instrumented as true is the safe
126 // default.
127 return AllocObject</*kInstrumented*/true>(self,
128 klass,
129 byte_count,
130 pre_fence_visitor);
Mathieu Chartier14cc9be2014-07-11 10:26:37 -0700131 }
132 return nullptr;
133 }
Hiroshi Yamauchi624468c2014-03-31 15:14:47 -0700134 }
Mathieu Chartier14cc9be2014-07-11 10:26:37 -0700135 DCHECK_GT(bytes_allocated, 0u);
136 DCHECK_GT(usable_size, 0u);
137 obj->SetClass(klass);
138 if (kUseBakerOrBrooksReadBarrier) {
139 if (kUseBrooksReadBarrier) {
140 obj->SetReadBarrierPointer(obj);
141 }
142 obj->AssertReadBarrierPointer();
143 }
144 if (collector::SemiSpace::kUseRememberedSet && UNLIKELY(allocator == kAllocatorTypeNonMoving)) {
145 // (Note this if statement will be constant folded away for the
146 // fast-path quick entry points.) Because SetClass() has no write
147 // barrier, if a non-moving space allocation, we need a write
148 // barrier as the class pointer may point to the bump pointer
149 // space (where the class pointer is an "old-to-young" reference,
150 // though rare) under the GSS collector with the remembered set
151 // enabled. We don't need this for kAllocatorTypeRosAlloc/DlMalloc
152 // cases because we don't directly allocate into the main alloc
153 // space (besides promotions) under the SS/GSS collector.
154 WriteBarrierField(obj, mirror::Object::ClassOffset(), klass);
155 }
156 pre_fence_visitor(obj, usable_size);
Hans Boehmb0171b92016-01-28 17:19:15 -0800157 QuasiAtomic::ThreadFenceForConstructor();
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700158 new_num_bytes_allocated = static_cast<size_t>(
Hans Boehmb0171b92016-01-28 17:19:15 -0800159 num_bytes_allocated_.FetchAndAddRelaxed(bytes_tl_bulk_allocated)) + bytes_tl_bulk_allocated;
Hiroshi Yamauchi9d04a202014-01-31 13:35:49 -0800160 }
Mathieu Chartierfd22d5b2014-07-14 10:16:05 -0700161 if (kIsDebugBuild && Runtime::Current()->IsStarted()) {
162 CHECK_LE(obj->SizeOf(), usable_size);
163 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800164 // TODO: Deprecate.
165 if (kInstrumented) {
166 if (Runtime::Current()->HasStatsEnabled()) {
167 RuntimeStats* thread_stats = self->GetStats();
168 ++thread_stats->allocated_objects;
169 thread_stats->allocated_bytes += bytes_allocated;
170 RuntimeStats* global_stats = Runtime::Current()->GetStats();
171 ++global_stats->allocated_objects;
172 global_stats->allocated_bytes += bytes_allocated;
173 }
174 } else {
175 DCHECK(!Runtime::Current()->HasStatsEnabled());
176 }
177 if (AllocatorHasAllocationStack(allocator)) {
Hiroshi Yamauchi4cd662e2014-04-03 16:28:10 -0700178 PushOnAllocationStack(self, &obj);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800179 }
180 if (kInstrumented) {
Man Cao8c2ff642015-05-27 17:25:30 -0700181 if (IsAllocTrackingEnabled()) {
Man Cao42c3c332015-06-23 16:38:25 -0700182 // Use obj->GetClass() instead of klass, because PushOnAllocationStack() could move klass
183 AllocRecordObjectMap::RecordAllocation(self, obj, obj->GetClass(), bytes_allocated);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800184 }
185 } else {
Man Cao8c2ff642015-05-27 17:25:30 -0700186 DCHECK(!IsAllocTrackingEnabled());
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800187 }
Mathieu Chartier31000802015-06-14 14:14:37 -0700188 if (kInstrumented) {
189 if (gc_stress_mode_) {
190 CheckGcStressMode(self, &obj);
191 }
192 } else {
193 DCHECK(!gc_stress_mode_);
194 }
Hiroshi Yamauchi3e417802014-03-20 12:03:02 -0700195 // IsConcurrentGc() isn't known at compile time so we can optimize by not checking it for
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800196 // the BumpPointer or TLAB allocators. This is nice since it allows the entire if statement to be
197 // optimized out. And for the other allocators, AllocatorMayHaveConcurrentGC is a constant since
198 // the allocator_type should be constant propagated.
Hiroshi Yamauchi3e417802014-03-20 12:03:02 -0700199 if (AllocatorMayHaveConcurrentGC(allocator) && IsGcConcurrent()) {
Mathieu Chartierf517f1a2014-03-06 15:52:27 -0800200 CheckConcurrentGC(self, new_num_bytes_allocated, &obj);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800201 }
Mathieu Chartier4e305412014-02-19 10:54:44 -0800202 VerifyObject(obj);
203 self->VerifyStack();
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800204 return obj;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700205}
206
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -0800207// The size of a thread-local allocation stack in the number of references.
208static constexpr size_t kThreadLocalAllocationStackSize = 128;
209
Hiroshi Yamauchi4cd662e2014-04-03 16:28:10 -0700210inline void Heap::PushOnAllocationStack(Thread* self, mirror::Object** obj) {
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -0800211 if (kUseThreadLocalAllocationStack) {
Mathieu Chartierc1790162014-05-23 10:54:50 -0700212 if (UNLIKELY(!self->PushOnThreadLocalAllocationStack(*obj))) {
213 PushOnThreadLocalAllocationStackWithInternalGC(self, obj);
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -0800214 }
Mathieu Chartierc1790162014-05-23 10:54:50 -0700215 } else if (UNLIKELY(!allocation_stack_->AtomicPushBack(*obj))) {
216 PushOnAllocationStackWithInternalGC(self, obj);
Hiroshi Yamauchif5b0e202014-02-11 17:02:22 -0800217 }
218}
219
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800220template <bool kInstrumented, typename PreFenceVisitor>
Mathieu Chartiera4f6af92015-08-11 17:35:25 -0700221inline mirror::Object* Heap::AllocLargeObject(Thread* self,
222 mirror::Class** klass,
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800223 size_t byte_count,
224 const PreFenceVisitor& pre_fence_visitor) {
Mathieu Chartier446f9ee2014-12-01 15:00:27 -0800225 // Save and restore the class in case it moves.
226 StackHandleScope<1> hs(self);
227 auto klass_wrapper = hs.NewHandleWrapper(klass);
228 return AllocObjectWithAllocator<kInstrumented, false, PreFenceVisitor>(self, *klass, byte_count,
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800229 kAllocatorTypeLOS,
230 pre_fence_visitor);
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800231}
232
233template <const bool kInstrumented, const bool kGrow>
Mathieu Chartiera4f6af92015-08-11 17:35:25 -0700234inline mirror::Object* Heap::TryToAllocate(Thread* self,
235 AllocatorType allocator_type,
236 size_t alloc_size,
237 size_t* bytes_allocated,
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700238 size_t* usable_size,
239 size_t* bytes_tl_bulk_allocated) {
Mathieu Chartiera4f6af92015-08-11 17:35:25 -0700240 if (allocator_type != kAllocatorTypeTLAB &&
241 allocator_type != kAllocatorTypeRegionTLAB &&
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700242 allocator_type != kAllocatorTypeRosAlloc &&
Mathieu Chartier14cc9be2014-07-11 10:26:37 -0700243 UNLIKELY(IsOutOfMemoryOnAllocation<kGrow>(allocator_type, alloc_size))) {
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800244 return nullptr;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700245 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800246 mirror::Object* ret;
247 switch (allocator_type) {
248 case kAllocatorTypeBumpPointer: {
249 DCHECK(bump_pointer_space_ != nullptr);
250 alloc_size = RoundUp(alloc_size, space::BumpPointerSpace::kAlignment);
251 ret = bump_pointer_space_->AllocNonvirtual(alloc_size);
252 if (LIKELY(ret != nullptr)) {
253 *bytes_allocated = alloc_size;
Ian Rogers6fac4472014-02-25 17:01:10 -0800254 *usable_size = alloc_size;
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700255 *bytes_tl_bulk_allocated = alloc_size;
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800256 }
257 break;
258 }
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800259 case kAllocatorTypeRosAlloc: {
Evgenii Stepanov1e133742015-05-20 12:30:59 -0700260 if (kInstrumented && UNLIKELY(is_running_on_memory_tool_)) {
261 // If running on valgrind or asan, we should be using the instrumented path.
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700262 size_t max_bytes_tl_bulk_allocated = rosalloc_space_->MaxBytesBulkAllocatedFor(alloc_size);
263 if (UNLIKELY(IsOutOfMemoryOnAllocation<kGrow>(allocator_type,
264 max_bytes_tl_bulk_allocated))) {
265 return nullptr;
266 }
267 ret = rosalloc_space_->Alloc(self, alloc_size, bytes_allocated, usable_size,
268 bytes_tl_bulk_allocated);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800269 } else {
Evgenii Stepanov1e133742015-05-20 12:30:59 -0700270 DCHECK(!is_running_on_memory_tool_);
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700271 size_t max_bytes_tl_bulk_allocated =
272 rosalloc_space_->MaxBytesBulkAllocatedForNonvirtual(alloc_size);
273 if (UNLIKELY(IsOutOfMemoryOnAllocation<kGrow>(allocator_type,
274 max_bytes_tl_bulk_allocated))) {
275 return nullptr;
276 }
277 if (!kInstrumented) {
278 DCHECK(!rosalloc_space_->CanAllocThreadLocal(self, alloc_size));
279 }
280 ret = rosalloc_space_->AllocNonvirtual(self, alloc_size, bytes_allocated, usable_size,
281 bytes_tl_bulk_allocated);
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800282 }
283 break;
284 }
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800285 case kAllocatorTypeDlMalloc: {
Evgenii Stepanov1e133742015-05-20 12:30:59 -0700286 if (kInstrumented && UNLIKELY(is_running_on_memory_tool_)) {
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800287 // If running on valgrind, we should be using the instrumented path.
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700288 ret = dlmalloc_space_->Alloc(self, alloc_size, bytes_allocated, usable_size,
289 bytes_tl_bulk_allocated);
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800290 } else {
Evgenii Stepanov1e133742015-05-20 12:30:59 -0700291 DCHECK(!is_running_on_memory_tool_);
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700292 ret = dlmalloc_space_->AllocNonvirtual(self, alloc_size, bytes_allocated, usable_size,
293 bytes_tl_bulk_allocated);
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800294 }
295 break;
296 }
297 case kAllocatorTypeNonMoving: {
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700298 ret = non_moving_space_->Alloc(self, alloc_size, bytes_allocated, usable_size,
299 bytes_tl_bulk_allocated);
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800300 break;
301 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800302 case kAllocatorTypeLOS: {
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700303 ret = large_object_space_->Alloc(self, alloc_size, bytes_allocated, usable_size,
304 bytes_tl_bulk_allocated);
Hiroshi Yamauchi95a659f2013-11-22 14:43:45 -0800305 // Note that the bump pointer spaces aren't necessarily next to
306 // the other continuous spaces like the non-moving alloc space or
307 // the zygote space.
308 DCHECK(ret == nullptr || large_object_space_->Contains(ret));
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800309 break;
310 }
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800311 case kAllocatorTypeTLAB: {
Mathieu Chartier14cc9be2014-07-11 10:26:37 -0700312 DCHECK_ALIGNED(alloc_size, space::BumpPointerSpace::kAlignment);
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800313 if (UNLIKELY(self->TlabSize() < alloc_size)) {
Mathieu Chartier14cc9be2014-07-11 10:26:37 -0700314 const size_t new_tlab_size = alloc_size + kDefaultTLABSize;
315 if (UNLIKELY(IsOutOfMemoryOnAllocation<kGrow>(allocator_type, new_tlab_size))) {
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800316 return nullptr;
317 }
Mathieu Chartier14cc9be2014-07-11 10:26:37 -0700318 // Try allocating a new thread local buffer, if the allocaiton fails the space must be
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700319 // full so return null.
Mathieu Chartier14cc9be2014-07-11 10:26:37 -0700320 if (!bump_pointer_space_->AllocNewTlab(self, new_tlab_size)) {
321 return nullptr;
322 }
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700323 *bytes_tl_bulk_allocated = new_tlab_size;
Mathieu Chartier14cc9be2014-07-11 10:26:37 -0700324 } else {
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700325 *bytes_tl_bulk_allocated = 0;
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800326 }
327 // The allocation can't fail.
Mathieu Chartiere6da9af2013-12-16 11:54:42 -0800328 ret = self->AllocTlab(alloc_size);
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800329 DCHECK(ret != nullptr);
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700330 *bytes_allocated = alloc_size;
Hiroshi Yamauchi5ccd4982014-03-11 12:19:04 -0700331 *usable_size = alloc_size;
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800332 break;
333 }
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -0800334 case kAllocatorTypeRegion: {
335 DCHECK(region_space_ != nullptr);
336 alloc_size = RoundUp(alloc_size, space::RegionSpace::kAlignment);
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700337 ret = region_space_->AllocNonvirtual<false>(alloc_size, bytes_allocated, usable_size,
338 bytes_tl_bulk_allocated);
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -0800339 break;
340 }
341 case kAllocatorTypeRegionTLAB: {
342 DCHECK(region_space_ != nullptr);
343 DCHECK_ALIGNED(alloc_size, space::RegionSpace::kAlignment);
344 if (UNLIKELY(self->TlabSize() < alloc_size)) {
345 if (space::RegionSpace::kRegionSize >= alloc_size) {
346 // Non-large. Check OOME for a tlab.
347 if (LIKELY(!IsOutOfMemoryOnAllocation<kGrow>(allocator_type, space::RegionSpace::kRegionSize))) {
348 // Try to allocate a tlab.
349 if (!region_space_->AllocNewTlab(self)) {
350 // Failed to allocate a tlab. Try non-tlab.
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700351 ret = region_space_->AllocNonvirtual<false>(alloc_size, bytes_allocated, usable_size,
352 bytes_tl_bulk_allocated);
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -0800353 return ret;
354 }
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700355 *bytes_tl_bulk_allocated = space::RegionSpace::kRegionSize;
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -0800356 // Fall-through.
357 } else {
358 // Check OOME for a non-tlab allocation.
359 if (!IsOutOfMemoryOnAllocation<kGrow>(allocator_type, alloc_size)) {
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700360 ret = region_space_->AllocNonvirtual<false>(alloc_size, bytes_allocated, usable_size,
361 bytes_tl_bulk_allocated);
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -0800362 return ret;
363 } else {
364 // Neither tlab or non-tlab works. Give up.
365 return nullptr;
366 }
367 }
368 } else {
369 // Large. Check OOME.
370 if (LIKELY(!IsOutOfMemoryOnAllocation<kGrow>(allocator_type, alloc_size))) {
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700371 ret = region_space_->AllocNonvirtual<false>(alloc_size, bytes_allocated, usable_size,
372 bytes_tl_bulk_allocated);
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -0800373 return ret;
374 } else {
375 return nullptr;
376 }
377 }
378 } else {
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700379 *bytes_tl_bulk_allocated = 0; // Allocated in an existing buffer.
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -0800380 }
381 // The allocation can't fail.
382 ret = self->AllocTlab(alloc_size);
383 DCHECK(ret != nullptr);
Hiroshi Yamauchi4460a842015-03-09 11:57:48 -0700384 *bytes_allocated = alloc_size;
Hiroshi Yamauchi2cd334a2015-01-09 14:03:35 -0800385 *usable_size = alloc_size;
386 break;
387 }
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800388 default: {
389 LOG(FATAL) << "Invalid allocator type";
390 ret = nullptr;
391 }
392 }
393 return ret;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700394}
395
Mathieu Chartiercbb2d202013-11-14 17:45:16 -0800396inline bool Heap::ShouldAllocLargeObject(mirror::Class* c, size_t byte_count) const {
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700397 // We need to have a zygote space or else our newly allocated large object can end up in the
398 // Zygote resulting in it being prematurely freed.
399 // We can only do this for primitive objects since large objects will not be within the card table
400 // range. This also means that we rely on SetClass not dirtying the object's card.
Jeff Hao13e00912015-06-22 15:14:49 -0700401 return byte_count >= large_object_threshold_ && (c->IsPrimitiveArray() || c->IsStringClass());
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700402}
403
Mathieu Chartier692fafd2013-11-29 17:24:40 -0800404template <bool kGrow>
405inline bool Heap::IsOutOfMemoryOnAllocation(AllocatorType allocator_type, size_t alloc_size) {
Ian Rogers3e5cf302014-05-20 16:40:37 -0700406 size_t new_footprint = num_bytes_allocated_.LoadSequentiallyConsistent() + alloc_size;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700407 if (UNLIKELY(new_footprint > max_allowed_footprint_)) {
408 if (UNLIKELY(new_footprint > growth_limit_)) {
409 return true;
410 }
Hiroshi Yamauchi3e417802014-03-20 12:03:02 -0700411 if (!AllocatorMayHaveConcurrentGC(allocator_type) || !IsGcConcurrent()) {
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800412 if (!kGrow) {
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700413 return true;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700414 }
Mathieu Chartier7bf82af2013-12-06 16:51:45 -0800415 // TODO: Grow for allocation is racy, fix it.
416 VLOG(heap) << "Growing heap from " << PrettySize(max_allowed_footprint_) << " to "
417 << PrettySize(new_footprint) << " for a " << PrettySize(alloc_size) << " allocation";
418 max_allowed_footprint_ = new_footprint;
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700419 }
420 }
421 return false;
422}
423
Mathieu Chartiera4f6af92015-08-11 17:35:25 -0700424inline void Heap::CheckConcurrentGC(Thread* self,
425 size_t new_num_bytes_allocated,
Mathieu Chartierf517f1a2014-03-06 15:52:27 -0800426 mirror::Object** obj) {
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700427 if (UNLIKELY(new_num_bytes_allocated >= concurrent_start_bytes_)) {
Hiroshi Yamauchi0ae98992015-05-01 14:33:19 -0700428 RequestConcurrentGCAndSaveObject(self, false, obj);
Hiroshi Yamauchi3b4c1892013-09-12 21:33:12 -0700429 }
430}
431
432} // namespace gc
433} // namespace art
434
435#endif // ART_RUNTIME_GC_HEAP_INL_H_