blob: 40bc67362d0e93ddce4075804fafb25f9194f2ff [file] [log] [blame]
Carl Shapiro69759ea2011-07-21 18:13:35 -07001// Copyright 2011 Google Inc. All Rights Reserved.
Carl Shapiro69759ea2011-07-21 18:13:35 -07002
Brian Carlstrom578bbdc2011-07-21 14:07:47 -07003#include "heap.h"
Carl Shapiro58551df2011-07-24 03:09:51 -07004
Brian Carlstrom58ae9412011-10-04 00:56:06 -07005#include <limits>
Carl Shapiro58551df2011-07-24 03:09:51 -07006#include <vector>
7
Elliott Hughes767a1472011-10-26 18:49:02 -07008#include "debugger.h"
Brian Carlstrom9cff8e12011-08-18 16:47:29 -07009#include "image.h"
Carl Shapiro58551df2011-07-24 03:09:51 -070010#include "mark_sweep.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070011#include "object.h"
12#include "space.h"
Carl Shapiro58551df2011-07-24 03:09:51 -070013#include "stl_util.h"
Elliott Hughes8d768a92011-09-14 16:35:25 -070014#include "thread_list.h"
Elliott Hughes767a1472011-10-26 18:49:02 -070015#include "timing_logger.h"
16#include "UniquePtr.h"
Carl Shapiro69759ea2011-07-21 18:13:35 -070017
18namespace art {
19
Brian Carlstrom6b4ef022011-10-23 14:59:04 -070020bool Heap::is_verbose_heap_ = false;
21
22bool Heap::is_verbose_gc_ = false;
23
Carl Shapiro58551df2011-07-24 03:09:51 -070024std::vector<Space*> Heap::spaces_;
Carl Shapiro69759ea2011-07-21 18:13:35 -070025
Brian Carlstrom4a289ed2011-08-16 17:17:49 -070026Space* Heap::alloc_space_ = NULL;
Carl Shapiro69759ea2011-07-21 18:13:35 -070027
28size_t Heap::maximum_size_ = 0;
29
jeffhaoc1160702011-10-27 15:48:45 -070030size_t Heap::growth_size_ = 0;
31
Carl Shapiro58551df2011-07-24 03:09:51 -070032size_t Heap::num_bytes_allocated_ = 0;
33
34size_t Heap::num_objects_allocated_ = 0;
35
Carl Shapiro69759ea2011-07-21 18:13:35 -070036bool Heap::is_gc_running_ = false;
37
38HeapBitmap* Heap::mark_bitmap_ = NULL;
39
40HeapBitmap* Heap::live_bitmap_ = NULL;
41
Elliott Hughesadb460d2011-10-05 17:02:34 -070042Class* Heap::java_lang_ref_FinalizerReference_ = NULL;
43Class* Heap::java_lang_ref_ReferenceQueue_ = NULL;
44
Ian Rogers0cfe1fb2011-08-26 03:29:44 -070045MemberOffset Heap::reference_referent_offset_ = MemberOffset(0);
46MemberOffset Heap::reference_queue_offset_ = MemberOffset(0);
47MemberOffset Heap::reference_queueNext_offset_ = MemberOffset(0);
48MemberOffset Heap::reference_pendingNext_offset_ = MemberOffset(0);
49MemberOffset Heap::finalizer_reference_zombie_offset_ = MemberOffset(0);
Brian Carlstrom1f870082011-08-23 16:02:11 -070050
Brian Carlstrom395520e2011-09-25 19:35:00 -070051float Heap::target_utilization_ = 0.5;
52
Elliott Hughes92b3b562011-09-08 16:32:26 -070053Mutex* Heap::lock_ = NULL;
54
Elliott Hughes9d5ccec2011-09-19 13:19:50 -070055bool Heap::verify_objects_ = false;
56
Brian Carlstrom6b4ef022011-10-23 14:59:04 -070057void Heap::Init(bool is_verbose_heap, bool is_verbose_gc,
jeffhaoc1160702011-10-27 15:48:45 -070058 size_t initial_size, size_t maximum_size, size_t growth_size,
Brian Carlstrom58ae9412011-10-04 00:56:06 -070059 const std::vector<std::string>& image_file_names) {
Brian Carlstrom6b4ef022011-10-23 14:59:04 -070060 is_verbose_heap_ = is_verbose_heap;
61 is_verbose_gc_ = is_verbose_gc;
62
Brian Carlstrom0a5b14d2011-09-27 13:29:15 -070063 const Runtime* runtime = Runtime::Current();
Brian Carlstrom6b4ef022011-10-23 14:59:04 -070064 if (is_verbose_heap_ || runtime->IsVerboseStartup()) {
Brian Carlstrom0a5b14d2011-09-27 13:29:15 -070065 LOG(INFO) << "Heap::Init entering";
66 }
67
Brian Carlstrom58ae9412011-10-04 00:56:06 -070068 // bounds of all spaces for allocating live and mark bitmaps
69 // there will be at least one space (the alloc space),
70 // so set to base to max and limit to min to start
71 byte* base = reinterpret_cast<byte*>(std::numeric_limits<uintptr_t>::max());
72 byte* limit = reinterpret_cast<byte*>(std::numeric_limits<uintptr_t>::min());
Brian Carlstrom4a289ed2011-08-16 17:17:49 -070073
Brian Carlstrom58ae9412011-10-04 00:56:06 -070074 byte* requested_base = NULL;
Brian Carlstrom69b15fb2011-09-03 12:25:21 -070075 std::vector<Space*> image_spaces;
76 for (size_t i = 0; i < image_file_names.size(); i++) {
Brian Carlstrom0a5b14d2011-09-27 13:29:15 -070077 Space* space = Space::CreateFromImage(image_file_names[i]);
Brian Carlstrom69b15fb2011-09-03 12:25:21 -070078 if (space == NULL) {
Elliott Hughesbe759c62011-09-08 19:38:21 -070079 LOG(FATAL) << "Failed to create space from " << image_file_names[i];
Brian Carlstrom69b15fb2011-09-03 12:25:21 -070080 }
81 image_spaces.push_back(space);
82 spaces_.push_back(space);
Brian Carlstrome24fa612011-09-29 00:53:55 -070083 byte* oat_limit_addr = space->GetImageHeader().GetOatLimitAddr();
Brian Carlstrom58ae9412011-10-04 00:56:06 -070084 if (oat_limit_addr > requested_base) {
85 requested_base = reinterpret_cast<byte*>(RoundUp(reinterpret_cast<uintptr_t>(oat_limit_addr),
86 kPageSize));
87 }
88 base = std::min(base, space->GetBase());
89 limit = std::max(limit, space->GetLimit());
Brian Carlstrom69b15fb2011-09-03 12:25:21 -070090 }
91
jeffhaoc1160702011-10-27 15:48:45 -070092 alloc_space_ = Space::Create("alloc space", initial_size, maximum_size, growth_size, requested_base);
Elliott Hughes307f75d2011-10-12 18:04:40 -070093 if (alloc_space_ == NULL) {
Elliott Hughesbe759c62011-09-08 19:38:21 -070094 LOG(FATAL) << "Failed to create alloc space";
Carl Shapiro69759ea2011-07-21 18:13:35 -070095 }
Elliott Hughes307f75d2011-10-12 18:04:40 -070096 base = std::min(base, alloc_space_->GetBase());
97 limit = std::max(limit, alloc_space_->GetLimit());
Brian Carlstrom4a289ed2011-08-16 17:17:49 -070098 DCHECK_LT(base, limit);
99 size_t num_bytes = limit - base;
Carl Shapiro69759ea2011-07-21 18:13:35 -0700100
101 // Allocate the initial live bitmap.
Elliott Hughes90a33692011-08-30 13:27:07 -0700102 UniquePtr<HeapBitmap> live_bitmap(HeapBitmap::Create(base, num_bytes));
103 if (live_bitmap.get() == NULL) {
Elliott Hughesbe759c62011-09-08 19:38:21 -0700104 LOG(FATAL) << "Failed to create live bitmap";
Carl Shapiro69759ea2011-07-21 18:13:35 -0700105 }
106
107 // Allocate the initial mark bitmap.
Elliott Hughes90a33692011-08-30 13:27:07 -0700108 UniquePtr<HeapBitmap> mark_bitmap(HeapBitmap::Create(base, num_bytes));
109 if (mark_bitmap.get() == NULL) {
Elliott Hughesbe759c62011-09-08 19:38:21 -0700110 LOG(FATAL) << "Failed to create mark bitmap";
Carl Shapiro69759ea2011-07-21 18:13:35 -0700111 }
112
Elliott Hughes307f75d2011-10-12 18:04:40 -0700113 spaces_.push_back(alloc_space_);
Carl Shapiro69759ea2011-07-21 18:13:35 -0700114 maximum_size_ = maximum_size;
jeffhaoc1160702011-10-27 15:48:45 -0700115 growth_size_ = growth_size;
Carl Shapiro69759ea2011-07-21 18:13:35 -0700116 live_bitmap_ = live_bitmap.release();
117 mark_bitmap_ = mark_bitmap.release();
118
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700119 num_bytes_allocated_ = 0;
120 num_objects_allocated_ = 0;
121
Carl Shapiro69759ea2011-07-21 18:13:35 -0700122 // TODO: allocate the card table
123
Brian Carlstrom58ae9412011-10-04 00:56:06 -0700124 // Make image objects live (after live_bitmap_ is set)
Brian Carlstrom69b15fb2011-09-03 12:25:21 -0700125 for (size_t i = 0; i < image_spaces.size(); i++) {
126 RecordImageAllocations(image_spaces[i]);
127 }
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700128
Elliott Hughes85d15452011-09-16 17:33:01 -0700129 Heap::EnableObjectValidation();
130
Elliott Hughes92b3b562011-09-08 16:32:26 -0700131 // It's still to early to take a lock because there are no threads yet,
132 // but we can create the heap lock now. We don't create it earlier to
133 // make it clear that you can't use locks during heap initialization.
Elliott Hughes8daa0922011-09-11 13:46:25 -0700134 lock_ = new Mutex("Heap lock");
Brian Carlstrom0a5b14d2011-09-27 13:29:15 -0700135
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700136 if (is_verbose_heap_ || runtime->IsVerboseStartup()) {
Brian Carlstrom0a5b14d2011-09-27 13:29:15 -0700137 LOG(INFO) << "Heap::Init exiting";
138 }
Carl Shapiro69759ea2011-07-21 18:13:35 -0700139}
140
141void Heap::Destroy() {
Elliott Hughes92b3b562011-09-08 16:32:26 -0700142 ScopedHeapLock lock;
Carl Shapiro58551df2011-07-24 03:09:51 -0700143 STLDeleteElements(&spaces_);
Brian Carlstrom4a289ed2011-08-16 17:17:49 -0700144 if (mark_bitmap_ != NULL) {
145 delete mark_bitmap_;
146 mark_bitmap_ = NULL;
147 }
148 if (live_bitmap_ != NULL) {
149 delete live_bitmap_;
150 }
151 live_bitmap_ = NULL;
Carl Shapiro69759ea2011-07-21 18:13:35 -0700152}
153
Elliott Hughes418dfe72011-10-06 18:56:27 -0700154Object* Heap::AllocObject(Class* klass, size_t byte_count) {
155 {
156 ScopedHeapLock lock;
157 DCHECK(klass == NULL || klass->GetDescriptor() == NULL ||
158 (klass->IsClassClass() && byte_count >= sizeof(Class)) ||
159 (klass->IsVariableSize() || klass->GetObjectSize() == byte_count));
160 DCHECK_GE(byte_count, sizeof(Object));
161 Object* obj = AllocateLocked(byte_count);
162 if (obj != NULL) {
163 obj->SetClass(klass);
164 return obj;
165 }
Carl Shapiro58551df2011-07-24 03:09:51 -0700166 }
Elliott Hughes418dfe72011-10-06 18:56:27 -0700167
168 Thread::Current()->ThrowOutOfMemoryError(klass, byte_count);
169 return NULL;
Carl Shapiro58551df2011-07-24 03:09:51 -0700170}
171
Elliott Hughescf4c6c42011-09-01 15:16:42 -0700172bool Heap::IsHeapAddress(const Object* obj) {
Elliott Hughes92b3b562011-09-08 16:32:26 -0700173 // Note: we deliberately don't take the lock here, and mustn't test anything that would
174 // require taking the lock.
Elliott Hughes6a5bd492011-10-28 14:33:57 -0700175 if (obj == NULL || !IsAligned<kObjectAlignment>(obj)) {
Elliott Hughesa2501992011-08-26 19:39:54 -0700176 return false;
177 }
178 // TODO
179 return true;
180}
181
Elliott Hughes6a5bd492011-10-28 14:33:57 -0700182bool Heap::IsLiveObjectLocked(const Object* obj) {
183 lock_->AssertHeld();
184 return IsHeapAddress(obj) && live_bitmap_->Test(obj);
185}
186
Elliott Hughes3e465b12011-09-02 18:26:12 -0700187#if VERIFY_OBJECT_ENABLED
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700188void Heap::VerifyObject(const Object* obj) {
Elliott Hughes85d15452011-09-16 17:33:01 -0700189 if (!verify_objects_) {
190 return;
191 }
Elliott Hughes92b3b562011-09-08 16:32:26 -0700192 ScopedHeapLock lock;
193 Heap::VerifyObjectLocked(obj);
194}
195#endif
196
197void Heap::VerifyObjectLocked(const Object* obj) {
Elliott Hughes8daa0922011-09-11 13:46:25 -0700198 lock_->AssertHeld();
Elliott Hughes85d15452011-09-16 17:33:01 -0700199 if (obj != NULL) {
Elliott Hughes06b37d92011-10-16 11:51:29 -0700200 if (!IsAligned<kObjectAlignment>(obj)) {
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700201 LOG(FATAL) << "Object isn't aligned: " << obj;
202 } else if (!live_bitmap_->Test(obj)) {
203 // TODO: we don't hold a lock here as it is assumed the live bit map
204 // isn't changing if the mutator is running.
205 LOG(FATAL) << "Object is dead: " << obj;
206 }
207 // Ignore early dawn of the universe verifications
Brian Carlstromdbc05252011-09-09 01:59:59 -0700208 if (num_objects_allocated_ > 10) {
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700209 const byte* raw_addr = reinterpret_cast<const byte*>(obj) +
210 Object::ClassOffset().Int32Value();
211 const Class* c = *reinterpret_cast<Class* const *>(raw_addr);
212 if (c == NULL) {
213 LOG(FATAL) << "Null class" << " in object: " << obj;
Elliott Hughes06b37d92011-10-16 11:51:29 -0700214 } else if (!IsAligned<kObjectAlignment>(c)) {
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700215 LOG(FATAL) << "Class isn't aligned: " << c << " in object: " << obj;
216 } else if (!live_bitmap_->Test(c)) {
217 LOG(FATAL) << "Class of object is dead: " << c << " in object: " << obj;
218 }
219 // Check obj.getClass().getClass() == obj.getClass().getClass().getClass()
Ian Rogersad25ac52011-10-04 19:13:33 -0700220 // Note: we don't use the accessors here as they have internal sanity checks
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700221 // that we don't want to run
222 raw_addr = reinterpret_cast<const byte*>(c) +
223 Object::ClassOffset().Int32Value();
224 const Class* c_c = *reinterpret_cast<Class* const *>(raw_addr);
225 raw_addr = reinterpret_cast<const byte*>(c_c) +
226 Object::ClassOffset().Int32Value();
227 const Class* c_c_c = *reinterpret_cast<Class* const *>(raw_addr);
228 CHECK_EQ(c_c, c_c_c);
229 }
230 }
231}
232
Brian Carlstrom78128a62011-09-15 17:21:19 -0700233void Heap::VerificationCallback(Object* obj, void* arg) {
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700234 DCHECK(obj != NULL);
Elliott Hughes92b3b562011-09-08 16:32:26 -0700235 Heap::VerifyObjectLocked(obj);
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700236}
237
238void Heap::VerifyHeap() {
Elliott Hughes92b3b562011-09-08 16:32:26 -0700239 ScopedHeapLock lock;
240 live_bitmap_->Walk(Heap::VerificationCallback, NULL);
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700241}
242
Elliott Hughes92b3b562011-09-08 16:32:26 -0700243void Heap::RecordAllocationLocked(Space* space, const Object* obj) {
244#ifndef NDEBUG
245 if (Runtime::Current()->IsStarted()) {
Elliott Hughes8daa0922011-09-11 13:46:25 -0700246 lock_->AssertHeld();
Elliott Hughes92b3b562011-09-08 16:32:26 -0700247 }
248#endif
Carl Shapiro58551df2011-07-24 03:09:51 -0700249 size_t size = space->AllocationSize(obj);
250 DCHECK_NE(size, 0u);
251 num_bytes_allocated_ += size;
252 num_objects_allocated_ += 1;
Elliott Hughes9d5ccec2011-09-19 13:19:50 -0700253
254 if (Runtime::Current()->HasStatsEnabled()) {
255 RuntimeStats* global_stats = Runtime::Current()->GetStats();
256 RuntimeStats* thread_stats = Thread::Current()->GetStats();
257 ++global_stats->allocated_objects;
258 ++thread_stats->allocated_objects;
259 global_stats->allocated_bytes += size;
260 thread_stats->allocated_bytes += size;
261 }
262
Carl Shapiro58551df2011-07-24 03:09:51 -0700263 live_bitmap_->Set(obj);
264}
265
Elliott Hughes307f75d2011-10-12 18:04:40 -0700266void Heap::RecordFreeLocked(size_t freed_objects, size_t freed_bytes) {
Elliott Hughes8daa0922011-09-11 13:46:25 -0700267 lock_->AssertHeld();
Elliott Hughes307f75d2011-10-12 18:04:40 -0700268
269 if (freed_objects < num_objects_allocated_) {
270 num_objects_allocated_ -= freed_objects;
271 } else {
272 num_objects_allocated_ = 0;
273 }
274 if (freed_bytes < num_bytes_allocated_) {
275 num_bytes_allocated_ -= freed_bytes;
Carl Shapiro58551df2011-07-24 03:09:51 -0700276 } else {
277 num_bytes_allocated_ = 0;
278 }
Elliott Hughes9d5ccec2011-09-19 13:19:50 -0700279
280 if (Runtime::Current()->HasStatsEnabled()) {
281 RuntimeStats* global_stats = Runtime::Current()->GetStats();
282 RuntimeStats* thread_stats = Thread::Current()->GetStats();
283 ++global_stats->freed_objects;
284 ++thread_stats->freed_objects;
Elliott Hughes307f75d2011-10-12 18:04:40 -0700285 global_stats->freed_bytes += freed_bytes;
286 thread_stats->freed_bytes += freed_bytes;
Elliott Hughes9d5ccec2011-09-19 13:19:50 -0700287 }
Carl Shapiro58551df2011-07-24 03:09:51 -0700288}
289
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700290void Heap::RecordImageAllocations(Space* space) {
Brian Carlstrom0a5b14d2011-09-27 13:29:15 -0700291 const Runtime* runtime = Runtime::Current();
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700292 if (is_verbose_heap_ || runtime->IsVerboseStartup()) {
Brian Carlstrom0a5b14d2011-09-27 13:29:15 -0700293 LOG(INFO) << "Heap::RecordImageAllocations entering";
294 }
Elliott Hughes92b3b562011-09-08 16:32:26 -0700295 DCHECK(!Runtime::Current()->IsStarted());
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700296 CHECK(space != NULL);
297 CHECK(live_bitmap_ != NULL);
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700298 byte* current = space->GetBase() + RoundUp(sizeof(ImageHeader), kObjectAlignment);
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700299 while (current < space->GetLimit()) {
Elliott Hughes06b37d92011-10-16 11:51:29 -0700300 DCHECK_ALIGNED(current, kObjectAlignment);
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700301 const Object* obj = reinterpret_cast<const Object*>(current);
302 live_bitmap_->Set(obj);
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700303 current += RoundUp(obj->SizeOf(), kObjectAlignment);
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700304 }
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700305 if (is_verbose_heap_ || runtime->IsVerboseStartup()) {
Brian Carlstrom0a5b14d2011-09-27 13:29:15 -0700306 LOG(INFO) << "Heap::RecordImageAllocations exiting";
307 }
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700308}
309
Elliott Hughes92b3b562011-09-08 16:32:26 -0700310Object* Heap::AllocateLocked(size_t size) {
Elliott Hughes8daa0922011-09-11 13:46:25 -0700311 lock_->AssertHeld();
Brian Carlstrom4a289ed2011-08-16 17:17:49 -0700312 DCHECK(alloc_space_ != NULL);
313 Space* space = alloc_space_;
Elliott Hughes92b3b562011-09-08 16:32:26 -0700314 Object* obj = AllocateLocked(space, size);
Carl Shapiro58551df2011-07-24 03:09:51 -0700315 if (obj != NULL) {
Elliott Hughes92b3b562011-09-08 16:32:26 -0700316 RecordAllocationLocked(space, obj);
Carl Shapiro58551df2011-07-24 03:09:51 -0700317 }
318 return obj;
319}
320
Elliott Hughes92b3b562011-09-08 16:32:26 -0700321Object* Heap::AllocateLocked(Space* space, size_t size) {
Elliott Hughes8daa0922011-09-11 13:46:25 -0700322 lock_->AssertHeld();
Elliott Hughes92b3b562011-09-08 16:32:26 -0700323
Brian Carlstromb82b6872011-10-26 17:18:07 -0700324 // Since allocation can cause a GC which will need to SuspendAll,
325 // make sure all allocators are in the kRunnable state.
326 DCHECK_EQ(Thread::Current()->GetState(), Thread::kRunnable);
327
Carl Shapiro69759ea2011-07-21 18:13:35 -0700328 // Fail impossible allocations. TODO: collect soft references.
jeffhaoc1160702011-10-27 15:48:45 -0700329 if (size > growth_size_) {
Carl Shapiro69759ea2011-07-21 18:13:35 -0700330 return NULL;
331 }
332
Carl Shapiro58551df2011-07-24 03:09:51 -0700333 Object* ptr = space->AllocWithoutGrowth(size);
Carl Shapiro69759ea2011-07-21 18:13:35 -0700334 if (ptr != NULL) {
335 return ptr;
336 }
337
338 // The allocation failed. If the GC is running, block until it
339 // completes and retry.
340 if (is_gc_running_) {
341 // The GC is concurrently tracing the heap. Release the heap
342 // lock, wait for the GC to complete, and retrying allocating.
343 WaitForConcurrentGcToComplete();
Carl Shapiro58551df2011-07-24 03:09:51 -0700344 ptr = space->AllocWithoutGrowth(size);
Carl Shapiro69759ea2011-07-21 18:13:35 -0700345 if (ptr != NULL) {
346 return ptr;
347 }
348 }
349
350 // Another failure. Our thread was starved or there may be too many
351 // live objects. Try a foreground GC. This will have no effect if
352 // the concurrent GC is already running.
Elliott Hughes9d5ccec2011-09-19 13:19:50 -0700353 if (Runtime::Current()->HasStatsEnabled()) {
354 ++Runtime::Current()->GetStats()->gc_for_alloc_count;
355 ++Thread::Current()->GetStats()->gc_for_alloc_count;
356 }
Carl Shapiro58551df2011-07-24 03:09:51 -0700357 CollectGarbageInternal();
358 ptr = space->AllocWithoutGrowth(size);
Carl Shapiro69759ea2011-07-21 18:13:35 -0700359 if (ptr != NULL) {
360 return ptr;
361 }
362
363 // Even that didn't work; this is an exceptional state.
364 // Try harder, growing the heap if necessary.
Carl Shapiro58551df2011-07-24 03:09:51 -0700365 ptr = space->AllocWithGrowth(size);
Carl Shapiro69759ea2011-07-21 18:13:35 -0700366 if (ptr != NULL) {
367 //size_t new_footprint = dvmHeapSourceGetIdealFootprint();
Shih-wei Liao7f1caab2011-10-06 12:11:04 -0700368 size_t new_footprint = space->GetMaxAllowedFootprint();
Elliott Hughes418dfe72011-10-06 18:56:27 -0700369 // OLD-TODO: may want to grow a little bit more so that the amount of
Carl Shapiro58551df2011-07-24 03:09:51 -0700370 // free space is equal to the old free space + the
371 // utilization slop for the new allocation.
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700372 if (is_verbose_gc_) {
373 LOG(INFO) << "Grow heap (frag case) to " << new_footprint / MB
Brian Carlstromf28bc5b2011-10-26 01:15:03 -0700374 << " for " << size << "-byte allocation";
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700375 }
Carl Shapiro69759ea2011-07-21 18:13:35 -0700376 return ptr;
377 }
378
379 // Most allocations should have succeeded by now, so the heap is
380 // really full, really fragmented, or the requested size is really
381 // big. Do another GC, collecting SoftReferences this time. The VM
382 // spec requires that all SoftReferences have been collected and
383 // cleared before throwing an OOME.
384
Elliott Hughes418dfe72011-10-06 18:56:27 -0700385 // OLD-TODO: wait for the finalizers from the previous GC to finish
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700386 if (is_verbose_gc_) {
387 LOG(INFO) << "Forcing collection of SoftReferences for "
388 << size << "-byte allocation";
389 }
Carl Shapiro58551df2011-07-24 03:09:51 -0700390 CollectGarbageInternal();
391 ptr = space->AllocWithGrowth(size);
Carl Shapiro69759ea2011-07-21 18:13:35 -0700392 if (ptr != NULL) {
393 return ptr;
394 }
Carl Shapiro69759ea2011-07-21 18:13:35 -0700395
Carl Shapiro69759ea2011-07-21 18:13:35 -0700396 LOG(ERROR) << "Out of memory on a " << size << " byte allocation";
397
Carl Shapiro58551df2011-07-24 03:09:51 -0700398 // TODO: tell the HeapSource to dump its state
399 // TODO: dump stack traces for all threads
Carl Shapiro69759ea2011-07-21 18:13:35 -0700400
Carl Shapiro69759ea2011-07-21 18:13:35 -0700401 return NULL;
402}
403
Elliott Hughesbf86d042011-08-31 17:53:14 -0700404int64_t Heap::GetMaxMemory() {
jeffhaoc1160702011-10-27 15:48:45 -0700405 return growth_size_;
Elliott Hughesbf86d042011-08-31 17:53:14 -0700406}
407
408int64_t Heap::GetTotalMemory() {
Elliott Hughes7162ad92011-10-27 14:08:42 -0700409 return alloc_space_->Size();
Elliott Hughesbf86d042011-08-31 17:53:14 -0700410}
411
412int64_t Heap::GetFreeMemory() {
Elliott Hughes7162ad92011-10-27 14:08:42 -0700413 return alloc_space_->Size() - num_bytes_allocated_;
Elliott Hughesbf86d042011-08-31 17:53:14 -0700414}
415
Elliott Hughes9d5ccec2011-09-19 13:19:50 -0700416class InstanceCounter {
417 public:
418 InstanceCounter(Class* c, bool count_assignable)
419 : class_(c), count_assignable_(count_assignable), count_(0) {
420 }
421
422 size_t GetCount() {
423 return count_;
424 }
425
426 static void Callback(Object* o, void* arg) {
427 reinterpret_cast<InstanceCounter*>(arg)->VisitInstance(o);
428 }
429
430 private:
431 void VisitInstance(Object* o) {
432 Class* instance_class = o->GetClass();
433 if (count_assignable_) {
434 if (instance_class == class_) {
435 ++count_;
436 }
437 } else {
438 if (instance_class != NULL && class_->IsAssignableFrom(instance_class)) {
439 ++count_;
440 }
441 }
442 }
443
444 Class* class_;
445 bool count_assignable_;
446 size_t count_;
447};
448
449int64_t Heap::CountInstances(Class* c, bool count_assignable) {
450 ScopedHeapLock lock;
451 InstanceCounter counter(c, count_assignable);
452 live_bitmap_->Walk(InstanceCounter::Callback, &counter);
453 return counter.GetCount();
454}
455
Carl Shapiro69759ea2011-07-21 18:13:35 -0700456void Heap::CollectGarbage() {
Elliott Hughes92b3b562011-09-08 16:32:26 -0700457 ScopedHeapLock lock;
Carl Shapiro58551df2011-07-24 03:09:51 -0700458 CollectGarbageInternal();
Carl Shapiro69759ea2011-07-21 18:13:35 -0700459}
460
461void Heap::CollectGarbageInternal() {
Elliott Hughes8daa0922011-09-11 13:46:25 -0700462 lock_->AssertHeld();
Carl Shapiro58551df2011-07-24 03:09:51 -0700463
Elliott Hughes8d768a92011-09-14 16:35:25 -0700464 ThreadList* thread_list = Runtime::Current()->GetThreadList();
465 thread_list->SuspendAll();
Elliott Hughes83df2ac2011-10-11 16:37:54 -0700466
467 size_t initial_size = num_bytes_allocated_;
Elliott Hughes307f75d2011-10-12 18:04:40 -0700468 TimingLogger timings("CollectGarbageInternal");
Elliott Hughes83df2ac2011-10-11 16:37:54 -0700469 uint64_t t0 = NanoTime();
Elliott Hughesadb460d2011-10-05 17:02:34 -0700470 Object* cleared_references = NULL;
Carl Shapiro58551df2011-07-24 03:09:51 -0700471 {
472 MarkSweep mark_sweep;
Elliott Hughes307f75d2011-10-12 18:04:40 -0700473 timings.AddSplit("ctor");
Carl Shapiro58551df2011-07-24 03:09:51 -0700474
475 mark_sweep.Init();
Elliott Hughes307f75d2011-10-12 18:04:40 -0700476 timings.AddSplit("Init");
Carl Shapiro58551df2011-07-24 03:09:51 -0700477
478 mark_sweep.MarkRoots();
Elliott Hughes307f75d2011-10-12 18:04:40 -0700479 timings.AddSplit("MarkRoots");
Carl Shapiro58551df2011-07-24 03:09:51 -0700480
481 // Push marked roots onto the mark stack
482
483 // TODO: if concurrent
484 // unlock heap
Elliott Hughes8d768a92011-09-14 16:35:25 -0700485 // thread_list->ResumeAll();
Carl Shapiro58551df2011-07-24 03:09:51 -0700486
487 mark_sweep.RecursiveMark();
Elliott Hughes307f75d2011-10-12 18:04:40 -0700488 timings.AddSplit("RecursiveMark");
Carl Shapiro58551df2011-07-24 03:09:51 -0700489
490 // TODO: if concurrent
491 // lock heap
Elliott Hughes8d768a92011-09-14 16:35:25 -0700492 // thread_list->SuspendAll();
Carl Shapiro58551df2011-07-24 03:09:51 -0700493 // re-mark root set
494 // scan dirty objects
495
496 mark_sweep.ProcessReferences(false);
Elliott Hughes307f75d2011-10-12 18:04:40 -0700497 timings.AddSplit("ProcessReferences");
Carl Shapiro58551df2011-07-24 03:09:51 -0700498
Elliott Hughes2da50362011-10-10 16:57:08 -0700499 // TODO: if concurrent
500 // swap bitmaps
Carl Shapiro58551df2011-07-24 03:09:51 -0700501
502 mark_sweep.Sweep();
Elliott Hughes307f75d2011-10-12 18:04:40 -0700503 timings.AddSplit("Sweep");
Elliott Hughesadb460d2011-10-05 17:02:34 -0700504
505 cleared_references = mark_sweep.GetClearedReferences();
Carl Shapiro58551df2011-07-24 03:09:51 -0700506 }
507
508 GrowForUtilization();
Elliott Hughes307f75d2011-10-12 18:04:40 -0700509 timings.AddSplit("GrowForUtilization");
Elliott Hughes83df2ac2011-10-11 16:37:54 -0700510 uint64_t t1 = NanoTime();
Elliott Hughes8d768a92011-09-14 16:35:25 -0700511 thread_list->ResumeAll();
Elliott Hughesadb460d2011-10-05 17:02:34 -0700512
513 EnqueueClearedReferences(&cleared_references);
Elliott Hughes83df2ac2011-10-11 16:37:54 -0700514
515 // TODO: somehow make the specific GC implementation (here MarkSweep) responsible for logging.
516 size_t bytes_freed = initial_size - num_bytes_allocated_;
517 bool is_small = (bytes_freed > 0 && bytes_freed < 1024);
518 size_t kib_freed = (bytes_freed > 0 ? std::max(bytes_freed/1024, 1U) : 0);
519
Elliott Hughes7162ad92011-10-27 14:08:42 -0700520 size_t total = GetTotalMemory();
521 size_t percentFree = 100 - static_cast<size_t>(100.0f * float(num_bytes_allocated_) / total);
Elliott Hughes83df2ac2011-10-11 16:37:54 -0700522
523 uint32_t duration = (t1 - t0)/1000/1000;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700524 if (is_verbose_gc_) {
525 LOG(INFO) << "GC freed " << (is_small ? "<" : "") << kib_freed << "KiB, "
526 << percentFree << "% free "
Elliott Hughes7162ad92011-10-27 14:08:42 -0700527 << (num_bytes_allocated_/1024) << "KiB/" << (total/1024) << "KiB, "
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700528 << "paused " << duration << "ms";
529 }
Elliott Hughes767a1472011-10-26 18:49:02 -0700530 Dbg::GcDidFinish();
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700531 if (is_verbose_heap_) {
532 timings.Dump();
533 }
Carl Shapiro69759ea2011-07-21 18:13:35 -0700534}
535
536void Heap::WaitForConcurrentGcToComplete() {
Elliott Hughes8daa0922011-09-11 13:46:25 -0700537 lock_->AssertHeld();
Carl Shapiro69759ea2011-07-21 18:13:35 -0700538}
539
Elliott Hughes6a5bd492011-10-28 14:33:57 -0700540void Heap::WalkHeap(void(*callback)(const void*, size_t, const void*, size_t, void*), void* arg) {
541 typedef std::vector<Space*>::iterator It; // C++0x auto.
542 for (It it = spaces_.begin(); it != spaces_.end(); ++it) {
543 (*it)->Walk(callback, arg);
544 }
545}
546
Shih-wei Liao8c2f6412011-10-03 22:58:14 -0700547/* Terminology:
548 * 1. Footprint: Capacity we allocate from system.
549 * 2. Active space: a.k.a. alloc_space_.
550 * 3. Soft footprint: external allocation + spaces footprint + active space footprint
551 * 4. Overhead: soft footprint excluding active.
552 *
Shih-wei Liao7f1caab2011-10-06 12:11:04 -0700553 * Layout: (The spaces below might not be contiguous, but are lumped together to depict size.)
554 * |----------------------spaces footprint--------- --------------|----active space footprint----|
Shih-wei Liao8c2f6412011-10-03 22:58:14 -0700555 * |--active space allocated--|
556 * |--------------------soft footprint (include active)--------------------------------------|
557 * |----------------soft footprint excluding active---------------|
558 * |------------soft limit-------...|
559 * |------------------------------------ideal footprint-----------------------------------------...|
560 *
561 */
562
563// Sets the maximum number of bytes that the heap is allowed to
564// allocate from the system. Clamps to the appropriate maximum
565// value.
566// Old spaces will count against the ideal size.
567//
568void Heap::SetIdealFootprint(size_t max_allowed_footprint)
569{
jeffhaoc1160702011-10-27 15:48:45 -0700570 if (max_allowed_footprint > Heap::growth_size_) {
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700571 if (is_verbose_gc_) {
572 LOG(INFO) << "Clamp target GC heap from " << max_allowed_footprint
jeffhaoc1160702011-10-27 15:48:45 -0700573 << " to " << Heap::growth_size_;
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700574 }
jeffhaoc1160702011-10-27 15:48:45 -0700575 max_allowed_footprint = Heap::growth_size_;
Shih-wei Liao8c2f6412011-10-03 22:58:14 -0700576 }
577
Shih-wei Liao7f1caab2011-10-06 12:11:04 -0700578 alloc_space_->SetMaxAllowedFootprint(max_allowed_footprint);
Shih-wei Liao8c2f6412011-10-03 22:58:14 -0700579}
580
Shih-wei Liao7f1caab2011-10-06 12:11:04 -0700581// kHeapIdealFree is the ideal maximum free size, when we grow the heap for
582// utlization.
583static const size_t kHeapIdealFree = 2 * MB;
584// kHeapMinFree guarantees that you always have at least 512 KB free, when
585// you grow for utilization, regardless of target utilization ratio.
Shih-wei Liao8c2f6412011-10-03 22:58:14 -0700586static const size_t kHeapMinFree = kHeapIdealFree / 4;
587
588// Given the current contents of the active space, increase the allowed
Carl Shapiro69759ea2011-07-21 18:13:35 -0700589// heap footprint to match the target utilization ratio. This should
590// only be called immediately after a full garbage collection.
Shih-wei Liao8c2f6412011-10-03 22:58:14 -0700591//
Carl Shapiro69759ea2011-07-21 18:13:35 -0700592void Heap::GrowForUtilization() {
Elliott Hughes8daa0922011-09-11 13:46:25 -0700593 lock_->AssertHeld();
Shih-wei Liao8c2f6412011-10-03 22:58:14 -0700594
595 // We know what our utilization is at this moment.
596 // This doesn't actually resize any memory. It just lets the heap grow more
597 // when necessary.
Elliott Hughes362f9bc2011-10-17 18:56:41 -0700598 size_t target_size(num_bytes_allocated_ / Heap::GetTargetHeapUtilization());
Shih-wei Liao8c2f6412011-10-03 22:58:14 -0700599
600 if (target_size > num_bytes_allocated_ + kHeapIdealFree) {
601 target_size = num_bytes_allocated_ + kHeapIdealFree;
602 } else if (target_size < num_bytes_allocated_ + kHeapMinFree) {
603 target_size = num_bytes_allocated_ + kHeapMinFree;
604 }
605
606 SetIdealFootprint(target_size);
Carl Shapiro69759ea2011-07-21 18:13:35 -0700607}
608
jeffhaoc1160702011-10-27 15:48:45 -0700609void Heap::ClearGrowthLimit() {
610 ScopedHeapLock lock;
611 WaitForConcurrentGcToComplete();
612 CHECK_GE(maximum_size_, growth_size_);
613 growth_size_ = maximum_size_;
614 alloc_space_->ClearGrowthLimit();
615}
616
Brian Carlstrom24a3c2e2011-10-17 18:07:52 -0700617pid_t Heap::GetLockOwner() {
Elliott Hughesaccd83d2011-10-17 14:25:58 -0700618 return lock_->GetOwner();
619}
620
Elliott Hughes92b3b562011-09-08 16:32:26 -0700621void Heap::Lock() {
Brian Carlstromfad71432011-10-16 20:25:10 -0700622 // Grab the lock, but put ourselves into Thread::kVmWait if it looks
623 // like we're going to have to wait on the mutex. This prevents
624 // deadlock if another thread is calling CollectGarbageInternal,
625 // since they will have the heap lock and be waiting for mutators to
626 // suspend.
627 if (!lock_->TryLock()) {
628 ScopedThreadStateChange tsc(Thread::Current(), Thread::kVmWait);
629 lock_->Lock();
630 }
Elliott Hughes92b3b562011-09-08 16:32:26 -0700631}
632
633void Heap::Unlock() {
634 lock_->Unlock();
635}
636
Elliott Hughesadb460d2011-10-05 17:02:34 -0700637void Heap::SetWellKnownClasses(Class* java_lang_ref_FinalizerReference,
638 Class* java_lang_ref_ReferenceQueue) {
639 java_lang_ref_FinalizerReference_ = java_lang_ref_FinalizerReference;
640 java_lang_ref_ReferenceQueue_ = java_lang_ref_ReferenceQueue;
641 CHECK(java_lang_ref_FinalizerReference_ != NULL);
642 CHECK(java_lang_ref_ReferenceQueue_ != NULL);
643}
644
645void Heap::SetReferenceOffsets(MemberOffset reference_referent_offset,
646 MemberOffset reference_queue_offset,
647 MemberOffset reference_queueNext_offset,
648 MemberOffset reference_pendingNext_offset,
649 MemberOffset finalizer_reference_zombie_offset) {
650 reference_referent_offset_ = reference_referent_offset;
651 reference_queue_offset_ = reference_queue_offset;
652 reference_queueNext_offset_ = reference_queueNext_offset;
653 reference_pendingNext_offset_ = reference_pendingNext_offset;
654 finalizer_reference_zombie_offset_ = finalizer_reference_zombie_offset;
655 CHECK_NE(reference_referent_offset_.Uint32Value(), 0U);
656 CHECK_NE(reference_queue_offset_.Uint32Value(), 0U);
657 CHECK_NE(reference_queueNext_offset_.Uint32Value(), 0U);
658 CHECK_NE(reference_pendingNext_offset_.Uint32Value(), 0U);
659 CHECK_NE(finalizer_reference_zombie_offset_.Uint32Value(), 0U);
660}
661
662Object* Heap::GetReferenceReferent(Object* reference) {
663 DCHECK(reference != NULL);
664 DCHECK_NE(reference_referent_offset_.Uint32Value(), 0U);
665 return reference->GetFieldObject<Object*>(reference_referent_offset_, true);
666}
667
668void Heap::ClearReferenceReferent(Object* reference) {
669 DCHECK(reference != NULL);
670 DCHECK_NE(reference_referent_offset_.Uint32Value(), 0U);
671 reference->SetFieldObject(reference_referent_offset_, NULL, true);
672}
673
674// Returns true if the reference object has not yet been enqueued.
675bool Heap::IsEnqueuable(const Object* ref) {
676 DCHECK(ref != NULL);
677 const Object* queue = ref->GetFieldObject<Object*>(reference_queue_offset_, false);
678 const Object* queue_next = ref->GetFieldObject<Object*>(reference_queueNext_offset_, false);
679 return (queue != NULL) && (queue_next == NULL);
680}
681
682void Heap::EnqueueReference(Object* ref, Object** cleared_reference_list) {
683 DCHECK(ref != NULL);
684 CHECK(ref->GetFieldObject<Object*>(reference_queue_offset_, false) != NULL);
685 CHECK(ref->GetFieldObject<Object*>(reference_queueNext_offset_, false) == NULL);
686 EnqueuePendingReference(ref, cleared_reference_list);
687}
688
689void Heap::EnqueuePendingReference(Object* ref, Object** list) {
690 DCHECK(ref != NULL);
691 DCHECK(list != NULL);
692
693 if (*list == NULL) {
694 ref->SetFieldObject(reference_pendingNext_offset_, ref, false);
695 *list = ref;
696 } else {
697 Object* head = (*list)->GetFieldObject<Object*>(reference_pendingNext_offset_, false);
698 ref->SetFieldObject(reference_pendingNext_offset_, head, false);
699 (*list)->SetFieldObject(reference_pendingNext_offset_, ref, false);
700 }
701}
702
703Object* Heap::DequeuePendingReference(Object** list) {
704 DCHECK(list != NULL);
705 DCHECK(*list != NULL);
706 Object* head = (*list)->GetFieldObject<Object*>(reference_pendingNext_offset_, false);
707 Object* ref;
708 if (*list == head) {
709 ref = *list;
710 *list = NULL;
711 } else {
712 Object* next = head->GetFieldObject<Object*>(reference_pendingNext_offset_, false);
713 (*list)->SetFieldObject(reference_pendingNext_offset_, next, false);
714 ref = head;
715 }
716 ref->SetFieldObject(reference_pendingNext_offset_, NULL, false);
717 return ref;
718}
719
720void Heap::AddFinalizerReference(Object* object) {
721 static Method* FinalizerReference_add =
722 java_lang_ref_FinalizerReference_->FindDirectMethod("add", "(Ljava/lang/Object;)V");
723 DCHECK(FinalizerReference_add != NULL);
724 Object* args[] = { object };
725 FinalizerReference_add->Invoke(Thread::Current(), NULL, reinterpret_cast<byte*>(&args), NULL);
726}
727
728void Heap::EnqueueClearedReferences(Object** cleared) {
729 DCHECK(cleared != NULL);
730 if (*cleared != NULL) {
731 static Method* ReferenceQueue_add =
732 java_lang_ref_ReferenceQueue_->FindDirectMethod("add", "(Ljava/lang/ref/Reference;)V");
733 DCHECK(ReferenceQueue_add != NULL);
734
735 Thread* self = Thread::Current();
736 ScopedThreadStateChange tsc(self, Thread::kRunnable);
737 Object* args[] = { *cleared };
738 ReferenceQueue_add->Invoke(self, NULL, reinterpret_cast<byte*>(&args), NULL);
739 *cleared = NULL;
740 }
741}
742
Carl Shapiro69759ea2011-07-21 18:13:35 -0700743} // namespace art