blob: 07ed14f9344bc0824442a0257632884674f7336a [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
Ian Rogers5d76c432011-10-31 21:42:49 -07008#include "card_table.h"
Elliott Hughes767a1472011-10-26 18:49:02 -07009#include "debugger.h"
Brian Carlstrom9cff8e12011-08-18 16:47:29 -070010#include "image.h"
Carl Shapiro58551df2011-07-24 03:09:51 -070011#include "mark_sweep.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070012#include "object.h"
Ian Rogers6d4d9fc2011-11-30 16:24:48 -080013#include "object_utils.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070014#include "space.h"
Carl Shapiro58551df2011-07-24 03:09:51 -070015#include "stl_util.h"
Elliott Hughes8d768a92011-09-14 16:35:25 -070016#include "thread_list.h"
Elliott Hughes767a1472011-10-26 18:49:02 -070017#include "timing_logger.h"
18#include "UniquePtr.h"
Carl Shapiro69759ea2011-07-21 18:13:35 -070019
20namespace art {
21
Carl Shapiro58551df2011-07-24 03:09:51 -070022std::vector<Space*> Heap::spaces_;
Carl Shapiro69759ea2011-07-21 18:13:35 -070023
Brian Carlstrom4a289ed2011-08-16 17:17:49 -070024Space* Heap::alloc_space_ = NULL;
Carl Shapiro69759ea2011-07-21 18:13:35 -070025
26size_t Heap::maximum_size_ = 0;
27
jeffhaoc1160702011-10-27 15:48:45 -070028size_t Heap::growth_size_ = 0;
29
Carl Shapiro58551df2011-07-24 03:09:51 -070030size_t Heap::num_bytes_allocated_ = 0;
31
32size_t Heap::num_objects_allocated_ = 0;
33
Carl Shapiro69759ea2011-07-21 18:13:35 -070034bool Heap::is_gc_running_ = false;
35
36HeapBitmap* Heap::mark_bitmap_ = NULL;
37
38HeapBitmap* Heap::live_bitmap_ = NULL;
39
Ian Rogers5d76c432011-10-31 21:42:49 -070040CardTable* Heap::card_table_ = NULL;
41
42bool Heap::card_marking_disabled_ = false;
43
Elliott Hughesadb460d2011-10-05 17:02:34 -070044Class* Heap::java_lang_ref_FinalizerReference_ = NULL;
45Class* Heap::java_lang_ref_ReferenceQueue_ = NULL;
46
Ian Rogers0cfe1fb2011-08-26 03:29:44 -070047MemberOffset Heap::reference_referent_offset_ = MemberOffset(0);
48MemberOffset Heap::reference_queue_offset_ = MemberOffset(0);
49MemberOffset Heap::reference_queueNext_offset_ = MemberOffset(0);
50MemberOffset Heap::reference_pendingNext_offset_ = MemberOffset(0);
51MemberOffset Heap::finalizer_reference_zombie_offset_ = MemberOffset(0);
Brian Carlstrom1f870082011-08-23 16:02:11 -070052
Brian Carlstrom395520e2011-09-25 19:35:00 -070053float Heap::target_utilization_ = 0.5;
54
Elliott Hughes92b3b562011-09-08 16:32:26 -070055Mutex* Heap::lock_ = NULL;
56
Elliott Hughes9d5ccec2011-09-19 13:19:50 -070057bool Heap::verify_objects_ = false;
58
Elliott Hughes4dd9b4d2011-12-12 18:29:24 -080059void Heap::Init(size_t initial_size, size_t maximum_size, size_t growth_size,
Brian Carlstrom58ae9412011-10-04 00:56:06 -070060 const std::vector<std::string>& image_file_names) {
Elliott Hughes4dd9b4d2011-12-12 18:29:24 -080061 if (VLOG_IS_ON(heap) || VLOG_IS_ON(startup)) {
Brian Carlstrom0a5b14d2011-09-27 13:29:15 -070062 LOG(INFO) << "Heap::Init entering";
63 }
64
Brian Carlstrom58ae9412011-10-04 00:56:06 -070065 // bounds of all spaces for allocating live and mark bitmaps
66 // there will be at least one space (the alloc space),
jeffhao39da0352011-11-04 14:58:55 -070067 // so set base to max, and limit and min to start
Brian Carlstrom58ae9412011-10-04 00:56:06 -070068 byte* base = reinterpret_cast<byte*>(std::numeric_limits<uintptr_t>::max());
Ian Rogers5d76c432011-10-31 21:42:49 -070069 byte* max = reinterpret_cast<byte*>(std::numeric_limits<uintptr_t>::min());
jeffhao39da0352011-11-04 14:58:55 -070070 byte* limit = reinterpret_cast<byte*>(std::numeric_limits<uintptr_t>::min());
Brian Carlstrom4a289ed2011-08-16 17:17:49 -070071
Brian Carlstrom58ae9412011-10-04 00:56:06 -070072 byte* requested_base = NULL;
Brian Carlstrom69b15fb2011-09-03 12:25:21 -070073 std::vector<Space*> image_spaces;
74 for (size_t i = 0; i < image_file_names.size(); i++) {
Brian Carlstrom0a5b14d2011-09-27 13:29:15 -070075 Space* space = Space::CreateFromImage(image_file_names[i]);
Brian Carlstrom69b15fb2011-09-03 12:25:21 -070076 if (space == NULL) {
Elliott Hughesbe759c62011-09-08 19:38:21 -070077 LOG(FATAL) << "Failed to create space from " << image_file_names[i];
Brian Carlstrom69b15fb2011-09-03 12:25:21 -070078 }
79 image_spaces.push_back(space);
80 spaces_.push_back(space);
Brian Carlstrome24fa612011-09-29 00:53:55 -070081 byte* oat_limit_addr = space->GetImageHeader().GetOatLimitAddr();
Brian Carlstrom58ae9412011-10-04 00:56:06 -070082 if (oat_limit_addr > requested_base) {
83 requested_base = reinterpret_cast<byte*>(RoundUp(reinterpret_cast<uintptr_t>(oat_limit_addr),
84 kPageSize));
85 }
86 base = std::min(base, space->GetBase());
Ian Rogers5d76c432011-10-31 21:42:49 -070087 max = std::max(max, space->GetMax());
jeffhao39da0352011-11-04 14:58:55 -070088 limit = std::max(limit, space->GetLimit());
Brian Carlstrom69b15fb2011-09-03 12:25:21 -070089 }
90
jeffhaoc1160702011-10-27 15:48:45 -070091 alloc_space_ = Space::Create("alloc space", initial_size, maximum_size, growth_size, requested_base);
Elliott Hughes307f75d2011-10-12 18:04:40 -070092 if (alloc_space_ == NULL) {
Elliott Hughesbe759c62011-09-08 19:38:21 -070093 LOG(FATAL) << "Failed to create alloc space";
Carl Shapiro69759ea2011-07-21 18:13:35 -070094 }
Elliott Hughes307f75d2011-10-12 18:04:40 -070095 base = std::min(base, alloc_space_->GetBase());
Ian Rogers5d76c432011-10-31 21:42:49 -070096 max = std::max(max, alloc_space_->GetMax());
jeffhao39da0352011-11-04 14:58:55 -070097 limit = std::max(limit, alloc_space_->GetLimit());
Ian Rogers5d76c432011-10-31 21:42:49 -070098 DCHECK_LT(base, max);
jeffhao39da0352011-11-04 14:58:55 -070099 DCHECK_LT(base, limit);
Ian Rogers5d76c432011-10-31 21:42:49 -0700100 size_t num_bytes = max - base;
jeffhao39da0352011-11-04 14:58:55 -0700101 size_t limit_bytes = limit - base;
Carl Shapiro69759ea2011-07-21 18:13:35 -0700102
103 // Allocate the initial live bitmap.
Elliott Hughes6c9c06d2011-11-07 16:43:47 -0800104 UniquePtr<HeapBitmap> live_bitmap(HeapBitmap::Create("dalvik-bitmap-1", base, num_bytes));
Elliott Hughes90a33692011-08-30 13:27:07 -0700105 if (live_bitmap.get() == NULL) {
Elliott Hughesbe759c62011-09-08 19:38:21 -0700106 LOG(FATAL) << "Failed to create live bitmap";
Carl Shapiro69759ea2011-07-21 18:13:35 -0700107 }
108
109 // Allocate the initial mark bitmap.
Elliott Hughes6c9c06d2011-11-07 16:43:47 -0800110 UniquePtr<HeapBitmap> mark_bitmap(HeapBitmap::Create("dalvik-bitmap-2", base, num_bytes));
Elliott Hughes90a33692011-08-30 13:27:07 -0700111 if (mark_bitmap.get() == NULL) {
Elliott Hughesbe759c62011-09-08 19:38:21 -0700112 LOG(FATAL) << "Failed to create mark bitmap";
Carl Shapiro69759ea2011-07-21 18:13:35 -0700113 }
114
Elliott Hughes6c9c06d2011-11-07 16:43:47 -0800115 // Allocate the card table.
jeffhao39da0352011-11-04 14:58:55 -0700116 UniquePtr<CardTable> card_table(CardTable::Create(base, num_bytes, limit_bytes));
Ian Rogers5d76c432011-10-31 21:42:49 -0700117 if (card_table.get() == NULL) {
118 LOG(FATAL) << "Failed to create card table";
119 }
120
Elliott Hughes307f75d2011-10-12 18:04:40 -0700121 spaces_.push_back(alloc_space_);
Carl Shapiro69759ea2011-07-21 18:13:35 -0700122 maximum_size_ = maximum_size;
jeffhaoc1160702011-10-27 15:48:45 -0700123 growth_size_ = growth_size;
Carl Shapiro69759ea2011-07-21 18:13:35 -0700124 live_bitmap_ = live_bitmap.release();
125 mark_bitmap_ = mark_bitmap.release();
Ian Rogers5d76c432011-10-31 21:42:49 -0700126 card_table_ = card_table.release();
Carl Shapiro69759ea2011-07-21 18:13:35 -0700127
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700128 num_bytes_allocated_ = 0;
129 num_objects_allocated_ = 0;
130
Brian Carlstrom58ae9412011-10-04 00:56:06 -0700131 // Make image objects live (after live_bitmap_ is set)
Brian Carlstrom69b15fb2011-09-03 12:25:21 -0700132 for (size_t i = 0; i < image_spaces.size(); i++) {
133 RecordImageAllocations(image_spaces[i]);
134 }
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700135
Elliott Hughes85d15452011-09-16 17:33:01 -0700136 Heap::EnableObjectValidation();
137
Elliott Hughes92b3b562011-09-08 16:32:26 -0700138 // It's still to early to take a lock because there are no threads yet,
139 // but we can create the heap lock now. We don't create it earlier to
140 // make it clear that you can't use locks during heap initialization.
Elliott Hughes8daa0922011-09-11 13:46:25 -0700141 lock_ = new Mutex("Heap lock");
Brian Carlstrom0a5b14d2011-09-27 13:29:15 -0700142
Elliott Hughes4dd9b4d2011-12-12 18:29:24 -0800143 if (VLOG_IS_ON(heap) || VLOG_IS_ON(startup)) {
Brian Carlstrom0a5b14d2011-09-27 13:29:15 -0700144 LOG(INFO) << "Heap::Init exiting";
145 }
Carl Shapiro69759ea2011-07-21 18:13:35 -0700146}
147
148void Heap::Destroy() {
Elliott Hughes92b3b562011-09-08 16:32:26 -0700149 ScopedHeapLock lock;
Carl Shapiro58551df2011-07-24 03:09:51 -0700150 STLDeleteElements(&spaces_);
Brian Carlstrom4a289ed2011-08-16 17:17:49 -0700151 if (mark_bitmap_ != NULL) {
152 delete mark_bitmap_;
153 mark_bitmap_ = NULL;
154 }
155 if (live_bitmap_ != NULL) {
156 delete live_bitmap_;
157 }
158 live_bitmap_ = NULL;
Carl Shapiro69759ea2011-07-21 18:13:35 -0700159}
160
Elliott Hughes418dfe72011-10-06 18:56:27 -0700161Object* Heap::AllocObject(Class* klass, size_t byte_count) {
162 {
163 ScopedHeapLock lock;
Ian Rogers6d4d9fc2011-11-30 16:24:48 -0800164 DCHECK(klass == NULL || (klass->IsClassClass() && byte_count >= sizeof(Class)) ||
165 (klass->IsVariableSize() || klass->GetObjectSize() == byte_count) ||
166 ClassHelper(klass).GetDescriptor().empty());
Elliott Hughes418dfe72011-10-06 18:56:27 -0700167 DCHECK_GE(byte_count, sizeof(Object));
168 Object* obj = AllocateLocked(byte_count);
169 if (obj != NULL) {
170 obj->SetClass(klass);
Elliott Hughes545a0642011-11-08 19:10:03 -0800171 if (Dbg::IsAllocTrackingEnabled()) {
172 Dbg::RecordAllocation(klass, byte_count);
173 }
Elliott Hughes418dfe72011-10-06 18:56:27 -0700174 return obj;
175 }
Carl Shapiro58551df2011-07-24 03:09:51 -0700176 }
Elliott Hughes418dfe72011-10-06 18:56:27 -0700177
178 Thread::Current()->ThrowOutOfMemoryError(klass, byte_count);
179 return NULL;
Carl Shapiro58551df2011-07-24 03:09:51 -0700180}
181
Elliott Hughescf4c6c42011-09-01 15:16:42 -0700182bool Heap::IsHeapAddress(const Object* obj) {
Elliott Hughes92b3b562011-09-08 16:32:26 -0700183 // Note: we deliberately don't take the lock here, and mustn't test anything that would
184 // require taking the lock.
Elliott Hughes6a5bd492011-10-28 14:33:57 -0700185 if (obj == NULL || !IsAligned<kObjectAlignment>(obj)) {
Elliott Hughesa2501992011-08-26 19:39:54 -0700186 return false;
187 }
188 // TODO
189 return true;
190}
191
Elliott Hughes6a5bd492011-10-28 14:33:57 -0700192bool Heap::IsLiveObjectLocked(const Object* obj) {
193 lock_->AssertHeld();
194 return IsHeapAddress(obj) && live_bitmap_->Test(obj);
195}
196
Elliott Hughes3e465b12011-09-02 18:26:12 -0700197#if VERIFY_OBJECT_ENABLED
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700198void Heap::VerifyObject(const Object* obj) {
Elliott Hughes85d15452011-09-16 17:33:01 -0700199 if (!verify_objects_) {
200 return;
201 }
Elliott Hughes92b3b562011-09-08 16:32:26 -0700202 ScopedHeapLock lock;
203 Heap::VerifyObjectLocked(obj);
204}
205#endif
206
207void Heap::VerifyObjectLocked(const Object* obj) {
Elliott Hughes8daa0922011-09-11 13:46:25 -0700208 lock_->AssertHeld();
Elliott Hughes85d15452011-09-16 17:33:01 -0700209 if (obj != NULL) {
Elliott Hughes06b37d92011-10-16 11:51:29 -0700210 if (!IsAligned<kObjectAlignment>(obj)) {
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700211 LOG(FATAL) << "Object isn't aligned: " << obj;
212 } else if (!live_bitmap_->Test(obj)) {
213 // TODO: we don't hold a lock here as it is assumed the live bit map
214 // isn't changing if the mutator is running.
215 LOG(FATAL) << "Object is dead: " << obj;
216 }
217 // Ignore early dawn of the universe verifications
Brian Carlstromdbc05252011-09-09 01:59:59 -0700218 if (num_objects_allocated_ > 10) {
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700219 const byte* raw_addr = reinterpret_cast<const byte*>(obj) +
220 Object::ClassOffset().Int32Value();
221 const Class* c = *reinterpret_cast<Class* const *>(raw_addr);
222 if (c == NULL) {
223 LOG(FATAL) << "Null class" << " in object: " << obj;
Elliott Hughes06b37d92011-10-16 11:51:29 -0700224 } else if (!IsAligned<kObjectAlignment>(c)) {
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700225 LOG(FATAL) << "Class isn't aligned: " << c << " in object: " << obj;
226 } else if (!live_bitmap_->Test(c)) {
227 LOG(FATAL) << "Class of object is dead: " << c << " in object: " << obj;
228 }
229 // Check obj.getClass().getClass() == obj.getClass().getClass().getClass()
Ian Rogersad25ac52011-10-04 19:13:33 -0700230 // Note: we don't use the accessors here as they have internal sanity checks
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700231 // that we don't want to run
232 raw_addr = reinterpret_cast<const byte*>(c) +
233 Object::ClassOffset().Int32Value();
234 const Class* c_c = *reinterpret_cast<Class* const *>(raw_addr);
235 raw_addr = reinterpret_cast<const byte*>(c_c) +
236 Object::ClassOffset().Int32Value();
237 const Class* c_c_c = *reinterpret_cast<Class* const *>(raw_addr);
238 CHECK_EQ(c_c, c_c_c);
239 }
240 }
241}
242
Brian Carlstrom78128a62011-09-15 17:21:19 -0700243void Heap::VerificationCallback(Object* obj, void* arg) {
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700244 DCHECK(obj != NULL);
Elliott Hughes92b3b562011-09-08 16:32:26 -0700245 Heap::VerifyObjectLocked(obj);
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700246}
247
248void Heap::VerifyHeap() {
Elliott Hughes92b3b562011-09-08 16:32:26 -0700249 ScopedHeapLock lock;
250 live_bitmap_->Walk(Heap::VerificationCallback, NULL);
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700251}
252
Elliott Hughes92b3b562011-09-08 16:32:26 -0700253void Heap::RecordAllocationLocked(Space* space, const Object* obj) {
254#ifndef NDEBUG
255 if (Runtime::Current()->IsStarted()) {
Elliott Hughes8daa0922011-09-11 13:46:25 -0700256 lock_->AssertHeld();
Elliott Hughes92b3b562011-09-08 16:32:26 -0700257 }
258#endif
Carl Shapiro58551df2011-07-24 03:09:51 -0700259 size_t size = space->AllocationSize(obj);
260 DCHECK_NE(size, 0u);
261 num_bytes_allocated_ += size;
262 num_objects_allocated_ += 1;
Elliott Hughes9d5ccec2011-09-19 13:19:50 -0700263
264 if (Runtime::Current()->HasStatsEnabled()) {
265 RuntimeStats* global_stats = Runtime::Current()->GetStats();
266 RuntimeStats* thread_stats = Thread::Current()->GetStats();
267 ++global_stats->allocated_objects;
268 ++thread_stats->allocated_objects;
269 global_stats->allocated_bytes += size;
270 thread_stats->allocated_bytes += size;
271 }
272
Carl Shapiro58551df2011-07-24 03:09:51 -0700273 live_bitmap_->Set(obj);
274}
275
Elliott Hughes307f75d2011-10-12 18:04:40 -0700276void Heap::RecordFreeLocked(size_t freed_objects, size_t freed_bytes) {
Elliott Hughes8daa0922011-09-11 13:46:25 -0700277 lock_->AssertHeld();
Elliott Hughes307f75d2011-10-12 18:04:40 -0700278
279 if (freed_objects < num_objects_allocated_) {
280 num_objects_allocated_ -= freed_objects;
281 } else {
282 num_objects_allocated_ = 0;
283 }
284 if (freed_bytes < num_bytes_allocated_) {
285 num_bytes_allocated_ -= freed_bytes;
Carl Shapiro58551df2011-07-24 03:09:51 -0700286 } else {
287 num_bytes_allocated_ = 0;
288 }
Elliott Hughes9d5ccec2011-09-19 13:19:50 -0700289
290 if (Runtime::Current()->HasStatsEnabled()) {
291 RuntimeStats* global_stats = Runtime::Current()->GetStats();
292 RuntimeStats* thread_stats = Thread::Current()->GetStats();
293 ++global_stats->freed_objects;
294 ++thread_stats->freed_objects;
Elliott Hughes307f75d2011-10-12 18:04:40 -0700295 global_stats->freed_bytes += freed_bytes;
296 thread_stats->freed_bytes += freed_bytes;
Elliott Hughes9d5ccec2011-09-19 13:19:50 -0700297 }
Carl Shapiro58551df2011-07-24 03:09:51 -0700298}
299
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700300void Heap::RecordImageAllocations(Space* space) {
Elliott Hughes4dd9b4d2011-12-12 18:29:24 -0800301 if (VLOG_IS_ON(heap) || VLOG_IS_ON(startup)) {
Brian Carlstrom0a5b14d2011-09-27 13:29:15 -0700302 LOG(INFO) << "Heap::RecordImageAllocations entering";
303 }
Elliott Hughes92b3b562011-09-08 16:32:26 -0700304 DCHECK(!Runtime::Current()->IsStarted());
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700305 CHECK(space != NULL);
306 CHECK(live_bitmap_ != NULL);
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700307 byte* current = space->GetBase() + RoundUp(sizeof(ImageHeader), kObjectAlignment);
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700308 while (current < space->GetLimit()) {
Elliott Hughes06b37d92011-10-16 11:51:29 -0700309 DCHECK_ALIGNED(current, kObjectAlignment);
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700310 const Object* obj = reinterpret_cast<const Object*>(current);
311 live_bitmap_->Set(obj);
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700312 current += RoundUp(obj->SizeOf(), kObjectAlignment);
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700313 }
Elliott Hughes4dd9b4d2011-12-12 18:29:24 -0800314 if (VLOG_IS_ON(heap) || VLOG_IS_ON(startup)) {
Brian Carlstrom0a5b14d2011-09-27 13:29:15 -0700315 LOG(INFO) << "Heap::RecordImageAllocations exiting";
316 }
Brian Carlstrom9cff8e12011-08-18 16:47:29 -0700317}
318
Elliott Hughes92b3b562011-09-08 16:32:26 -0700319Object* Heap::AllocateLocked(size_t size) {
Elliott Hughes8daa0922011-09-11 13:46:25 -0700320 lock_->AssertHeld();
Brian Carlstrom4a289ed2011-08-16 17:17:49 -0700321 DCHECK(alloc_space_ != NULL);
322 Space* space = alloc_space_;
Elliott Hughes92b3b562011-09-08 16:32:26 -0700323 Object* obj = AllocateLocked(space, size);
Carl Shapiro58551df2011-07-24 03:09:51 -0700324 if (obj != NULL) {
Elliott Hughes92b3b562011-09-08 16:32:26 -0700325 RecordAllocationLocked(space, obj);
Carl Shapiro58551df2011-07-24 03:09:51 -0700326 }
327 return obj;
328}
329
Elliott Hughes92b3b562011-09-08 16:32:26 -0700330Object* Heap::AllocateLocked(Space* space, size_t size) {
Elliott Hughes8daa0922011-09-11 13:46:25 -0700331 lock_->AssertHeld();
Elliott Hughes92b3b562011-09-08 16:32:26 -0700332
Brian Carlstromb82b6872011-10-26 17:18:07 -0700333 // Since allocation can cause a GC which will need to SuspendAll,
334 // make sure all allocators are in the kRunnable state.
335 DCHECK_EQ(Thread::Current()->GetState(), Thread::kRunnable);
336
Carl Shapiro69759ea2011-07-21 18:13:35 -0700337 // Fail impossible allocations. TODO: collect soft references.
jeffhaoc1160702011-10-27 15:48:45 -0700338 if (size > growth_size_) {
Carl Shapiro69759ea2011-07-21 18:13:35 -0700339 return NULL;
340 }
341
Carl Shapiro58551df2011-07-24 03:09:51 -0700342 Object* ptr = space->AllocWithoutGrowth(size);
Carl Shapiro69759ea2011-07-21 18:13:35 -0700343 if (ptr != NULL) {
344 return ptr;
345 }
346
347 // The allocation failed. If the GC is running, block until it
348 // completes and retry.
349 if (is_gc_running_) {
350 // The GC is concurrently tracing the heap. Release the heap
351 // lock, wait for the GC to complete, and retrying allocating.
352 WaitForConcurrentGcToComplete();
Carl Shapiro58551df2011-07-24 03:09:51 -0700353 ptr = space->AllocWithoutGrowth(size);
Carl Shapiro69759ea2011-07-21 18:13:35 -0700354 if (ptr != NULL) {
355 return ptr;
356 }
357 }
358
359 // Another failure. Our thread was starved or there may be too many
360 // live objects. Try a foreground GC. This will have no effect if
361 // the concurrent GC is already running.
Elliott Hughes9d5ccec2011-09-19 13:19:50 -0700362 if (Runtime::Current()->HasStatsEnabled()) {
363 ++Runtime::Current()->GetStats()->gc_for_alloc_count;
364 ++Thread::Current()->GetStats()->gc_for_alloc_count;
365 }
Carl Shapiro58551df2011-07-24 03:09:51 -0700366 CollectGarbageInternal();
367 ptr = space->AllocWithoutGrowth(size);
Carl Shapiro69759ea2011-07-21 18:13:35 -0700368 if (ptr != NULL) {
369 return ptr;
370 }
371
372 // Even that didn't work; this is an exceptional state.
373 // Try harder, growing the heap if necessary.
Carl Shapiro58551df2011-07-24 03:09:51 -0700374 ptr = space->AllocWithGrowth(size);
Carl Shapiro69759ea2011-07-21 18:13:35 -0700375 if (ptr != NULL) {
376 //size_t new_footprint = dvmHeapSourceGetIdealFootprint();
Shih-wei Liao7f1caab2011-10-06 12:11:04 -0700377 size_t new_footprint = space->GetMaxAllowedFootprint();
Elliott Hughes418dfe72011-10-06 18:56:27 -0700378 // OLD-TODO: may want to grow a little bit more so that the amount of
Carl Shapiro58551df2011-07-24 03:09:51 -0700379 // free space is equal to the old free space + the
380 // utilization slop for the new allocation.
Elliott Hughes4dd9b4d2011-12-12 18:29:24 -0800381 VLOG(gc) << "Grow heap (frag case) to " << new_footprint / MB
382 << " for " << size << "-byte allocation";
Carl Shapiro69759ea2011-07-21 18:13:35 -0700383 return ptr;
384 }
385
386 // Most allocations should have succeeded by now, so the heap is
387 // really full, really fragmented, or the requested size is really
388 // big. Do another GC, collecting SoftReferences this time. The VM
389 // spec requires that all SoftReferences have been collected and
390 // cleared before throwing an OOME.
391
Elliott Hughes418dfe72011-10-06 18:56:27 -0700392 // OLD-TODO: wait for the finalizers from the previous GC to finish
Elliott Hughes4dd9b4d2011-12-12 18:29:24 -0800393 VLOG(gc) << "Forcing collection of SoftReferences for " << size << "-byte allocation";
Carl Shapiro58551df2011-07-24 03:09:51 -0700394 CollectGarbageInternal();
395 ptr = space->AllocWithGrowth(size);
Carl Shapiro69759ea2011-07-21 18:13:35 -0700396 if (ptr != NULL) {
397 return ptr;
398 }
Carl Shapiro69759ea2011-07-21 18:13:35 -0700399
Carl Shapiro69759ea2011-07-21 18:13:35 -0700400 LOG(ERROR) << "Out of memory on a " << size << " byte allocation";
401
Carl Shapiro58551df2011-07-24 03:09:51 -0700402 // TODO: tell the HeapSource to dump its state
403 // TODO: dump stack traces for all threads
Carl Shapiro69759ea2011-07-21 18:13:35 -0700404
Carl Shapiro69759ea2011-07-21 18:13:35 -0700405 return NULL;
406}
407
Elliott Hughesbf86d042011-08-31 17:53:14 -0700408int64_t Heap::GetMaxMemory() {
jeffhaoc1160702011-10-27 15:48:45 -0700409 return growth_size_;
Elliott Hughesbf86d042011-08-31 17:53:14 -0700410}
411
412int64_t Heap::GetTotalMemory() {
Elliott Hughes7162ad92011-10-27 14:08:42 -0700413 return alloc_space_->Size();
Elliott Hughesbf86d042011-08-31 17:53:14 -0700414}
415
416int64_t Heap::GetFreeMemory() {
Elliott Hughes7162ad92011-10-27 14:08:42 -0700417 return alloc_space_->Size() - num_bytes_allocated_;
Elliott Hughesbf86d042011-08-31 17:53:14 -0700418}
419
Elliott Hughes9d5ccec2011-09-19 13:19:50 -0700420class InstanceCounter {
421 public:
422 InstanceCounter(Class* c, bool count_assignable)
423 : class_(c), count_assignable_(count_assignable), count_(0) {
424 }
425
426 size_t GetCount() {
427 return count_;
428 }
429
430 static void Callback(Object* o, void* arg) {
431 reinterpret_cast<InstanceCounter*>(arg)->VisitInstance(o);
432 }
433
434 private:
435 void VisitInstance(Object* o) {
436 Class* instance_class = o->GetClass();
437 if (count_assignable_) {
438 if (instance_class == class_) {
439 ++count_;
440 }
441 } else {
442 if (instance_class != NULL && class_->IsAssignableFrom(instance_class)) {
443 ++count_;
444 }
445 }
446 }
447
448 Class* class_;
449 bool count_assignable_;
450 size_t count_;
451};
452
453int64_t Heap::CountInstances(Class* c, bool count_assignable) {
454 ScopedHeapLock lock;
455 InstanceCounter counter(c, count_assignable);
456 live_bitmap_->Walk(InstanceCounter::Callback, &counter);
457 return counter.GetCount();
458}
459
Carl Shapiro69759ea2011-07-21 18:13:35 -0700460void Heap::CollectGarbage() {
Elliott Hughes92b3b562011-09-08 16:32:26 -0700461 ScopedHeapLock lock;
Carl Shapiro58551df2011-07-24 03:09:51 -0700462 CollectGarbageInternal();
Carl Shapiro69759ea2011-07-21 18:13:35 -0700463}
464
465void Heap::CollectGarbageInternal() {
Elliott Hughes8daa0922011-09-11 13:46:25 -0700466 lock_->AssertHeld();
Carl Shapiro58551df2011-07-24 03:09:51 -0700467
Elliott Hughes8d768a92011-09-14 16:35:25 -0700468 ThreadList* thread_list = Runtime::Current()->GetThreadList();
469 thread_list->SuspendAll();
Elliott Hughes83df2ac2011-10-11 16:37:54 -0700470
471 size_t initial_size = num_bytes_allocated_;
Elliott Hughes307f75d2011-10-12 18:04:40 -0700472 TimingLogger timings("CollectGarbageInternal");
Elliott Hughes83df2ac2011-10-11 16:37:54 -0700473 uint64_t t0 = NanoTime();
Elliott Hughesadb460d2011-10-05 17:02:34 -0700474 Object* cleared_references = NULL;
Carl Shapiro58551df2011-07-24 03:09:51 -0700475 {
476 MarkSweep mark_sweep;
Elliott Hughes307f75d2011-10-12 18:04:40 -0700477 timings.AddSplit("ctor");
Carl Shapiro58551df2011-07-24 03:09:51 -0700478
479 mark_sweep.Init();
Elliott Hughes307f75d2011-10-12 18:04:40 -0700480 timings.AddSplit("Init");
Carl Shapiro58551df2011-07-24 03:09:51 -0700481
482 mark_sweep.MarkRoots();
Elliott Hughes307f75d2011-10-12 18:04:40 -0700483 timings.AddSplit("MarkRoots");
Carl Shapiro58551df2011-07-24 03:09:51 -0700484
Ian Rogers5d76c432011-10-31 21:42:49 -0700485 mark_sweep.ScanDirtyImageRoots();
486 timings.AddSplit("DirtyImageRoots");
487
488 // Roots are marked on the bitmap and the mark_stack is empty
489 DCHECK(mark_sweep.IsMarkStackEmpty());
Carl Shapiro58551df2011-07-24 03:09:51 -0700490
491 // TODO: if concurrent
492 // unlock heap
Elliott Hughes8d768a92011-09-14 16:35:25 -0700493 // thread_list->ResumeAll();
Carl Shapiro58551df2011-07-24 03:09:51 -0700494
Ian Rogers5d76c432011-10-31 21:42:49 -0700495 // Recursively mark all bits set in the non-image mark bitmap
Carl Shapiro58551df2011-07-24 03:09:51 -0700496 mark_sweep.RecursiveMark();
Elliott Hughes307f75d2011-10-12 18:04:40 -0700497 timings.AddSplit("RecursiveMark");
Carl Shapiro58551df2011-07-24 03:09:51 -0700498
499 // TODO: if concurrent
500 // lock heap
Elliott Hughes8d768a92011-09-14 16:35:25 -0700501 // thread_list->SuspendAll();
Carl Shapiro58551df2011-07-24 03:09:51 -0700502 // re-mark root set
503 // scan dirty objects
504
505 mark_sweep.ProcessReferences(false);
Elliott Hughes307f75d2011-10-12 18:04:40 -0700506 timings.AddSplit("ProcessReferences");
Carl Shapiro58551df2011-07-24 03:09:51 -0700507
Elliott Hughes2da50362011-10-10 16:57:08 -0700508 // TODO: if concurrent
509 // swap bitmaps
Carl Shapiro58551df2011-07-24 03:09:51 -0700510
511 mark_sweep.Sweep();
Elliott Hughes307f75d2011-10-12 18:04:40 -0700512 timings.AddSplit("Sweep");
Elliott Hughesadb460d2011-10-05 17:02:34 -0700513
514 cleared_references = mark_sweep.GetClearedReferences();
Carl Shapiro58551df2011-07-24 03:09:51 -0700515 }
516
517 GrowForUtilization();
Elliott Hughes307f75d2011-10-12 18:04:40 -0700518 timings.AddSplit("GrowForUtilization");
Elliott Hughes83df2ac2011-10-11 16:37:54 -0700519 uint64_t t1 = NanoTime();
Elliott Hughes8d768a92011-09-14 16:35:25 -0700520 thread_list->ResumeAll();
Elliott Hughesadb460d2011-10-05 17:02:34 -0700521
522 EnqueueClearedReferences(&cleared_references);
Elliott Hughes83df2ac2011-10-11 16:37:54 -0700523
524 // TODO: somehow make the specific GC implementation (here MarkSweep) responsible for logging.
525 size_t bytes_freed = initial_size - num_bytes_allocated_;
526 bool is_small = (bytes_freed > 0 && bytes_freed < 1024);
527 size_t kib_freed = (bytes_freed > 0 ? std::max(bytes_freed/1024, 1U) : 0);
528
Elliott Hughes7162ad92011-10-27 14:08:42 -0700529 size_t total = GetTotalMemory();
530 size_t percentFree = 100 - static_cast<size_t>(100.0f * float(num_bytes_allocated_) / total);
Elliott Hughes83df2ac2011-10-11 16:37:54 -0700531
532 uint32_t duration = (t1 - t0)/1000/1000;
Elliott Hughesaaed81d2011-11-07 15:11:47 -0800533 bool gc_was_particularly_slow = (duration > 100); // TODO: crank this down for concurrent.
Elliott Hughes4dd9b4d2011-12-12 18:29:24 -0800534 if (VLOG_IS_ON(gc) || gc_was_particularly_slow) {
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700535 LOG(INFO) << "GC freed " << (is_small ? "<" : "") << kib_freed << "KiB, "
536 << percentFree << "% free "
Elliott Hughes7162ad92011-10-27 14:08:42 -0700537 << (num_bytes_allocated_/1024) << "KiB/" << (total/1024) << "KiB, "
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700538 << "paused " << duration << "ms";
539 }
Elliott Hughes767a1472011-10-26 18:49:02 -0700540 Dbg::GcDidFinish();
Elliott Hughes4dd9b4d2011-12-12 18:29:24 -0800541 if (VLOG_IS_ON(heap)) {
Brian Carlstrom6b4ef022011-10-23 14:59:04 -0700542 timings.Dump();
543 }
Carl Shapiro69759ea2011-07-21 18:13:35 -0700544}
545
546void Heap::WaitForConcurrentGcToComplete() {
Elliott Hughes8daa0922011-09-11 13:46:25 -0700547 lock_->AssertHeld();
Carl Shapiro69759ea2011-07-21 18:13:35 -0700548}
549
Elliott Hughes6a5bd492011-10-28 14:33:57 -0700550void Heap::WalkHeap(void(*callback)(const void*, size_t, const void*, size_t, void*), void* arg) {
551 typedef std::vector<Space*>::iterator It; // C++0x auto.
552 for (It it = spaces_.begin(); it != spaces_.end(); ++it) {
553 (*it)->Walk(callback, arg);
554 }
555}
556
Shih-wei Liao8c2f6412011-10-03 22:58:14 -0700557/* Terminology:
558 * 1. Footprint: Capacity we allocate from system.
559 * 2. Active space: a.k.a. alloc_space_.
560 * 3. Soft footprint: external allocation + spaces footprint + active space footprint
561 * 4. Overhead: soft footprint excluding active.
562 *
Shih-wei Liao7f1caab2011-10-06 12:11:04 -0700563 * Layout: (The spaces below might not be contiguous, but are lumped together to depict size.)
564 * |----------------------spaces footprint--------- --------------|----active space footprint----|
Shih-wei Liao8c2f6412011-10-03 22:58:14 -0700565 * |--active space allocated--|
566 * |--------------------soft footprint (include active)--------------------------------------|
567 * |----------------soft footprint excluding active---------------|
568 * |------------soft limit-------...|
569 * |------------------------------------ideal footprint-----------------------------------------...|
570 *
571 */
572
573// Sets the maximum number of bytes that the heap is allowed to
574// allocate from the system. Clamps to the appropriate maximum
575// value.
576// Old spaces will count against the ideal size.
577//
Elliott Hughes4dd9b4d2011-12-12 18:29:24 -0800578void Heap::SetIdealFootprint(size_t max_allowed_footprint) {
jeffhaoc1160702011-10-27 15:48:45 -0700579 if (max_allowed_footprint > Heap::growth_size_) {
Elliott Hughes4dd9b4d2011-12-12 18:29:24 -0800580 VLOG(gc) << "Clamp target GC heap from " << max_allowed_footprint
581 << " to " << Heap::growth_size_;
jeffhaoc1160702011-10-27 15:48:45 -0700582 max_allowed_footprint = Heap::growth_size_;
Shih-wei Liao8c2f6412011-10-03 22:58:14 -0700583 }
584
Shih-wei Liao7f1caab2011-10-06 12:11:04 -0700585 alloc_space_->SetMaxAllowedFootprint(max_allowed_footprint);
Shih-wei Liao8c2f6412011-10-03 22:58:14 -0700586}
587
Shih-wei Liao7f1caab2011-10-06 12:11:04 -0700588// kHeapIdealFree is the ideal maximum free size, when we grow the heap for
589// utlization.
590static const size_t kHeapIdealFree = 2 * MB;
591// kHeapMinFree guarantees that you always have at least 512 KB free, when
592// you grow for utilization, regardless of target utilization ratio.
Shih-wei Liao8c2f6412011-10-03 22:58:14 -0700593static const size_t kHeapMinFree = kHeapIdealFree / 4;
594
595// Given the current contents of the active space, increase the allowed
Carl Shapiro69759ea2011-07-21 18:13:35 -0700596// heap footprint to match the target utilization ratio. This should
597// only be called immediately after a full garbage collection.
Shih-wei Liao8c2f6412011-10-03 22:58:14 -0700598//
Carl Shapiro69759ea2011-07-21 18:13:35 -0700599void Heap::GrowForUtilization() {
Elliott Hughes8daa0922011-09-11 13:46:25 -0700600 lock_->AssertHeld();
Shih-wei Liao8c2f6412011-10-03 22:58:14 -0700601
602 // We know what our utilization is at this moment.
603 // This doesn't actually resize any memory. It just lets the heap grow more
604 // when necessary.
Elliott Hughes362f9bc2011-10-17 18:56:41 -0700605 size_t target_size(num_bytes_allocated_ / Heap::GetTargetHeapUtilization());
Shih-wei Liao8c2f6412011-10-03 22:58:14 -0700606
607 if (target_size > num_bytes_allocated_ + kHeapIdealFree) {
608 target_size = num_bytes_allocated_ + kHeapIdealFree;
609 } else if (target_size < num_bytes_allocated_ + kHeapMinFree) {
610 target_size = num_bytes_allocated_ + kHeapMinFree;
611 }
612
613 SetIdealFootprint(target_size);
Carl Shapiro69759ea2011-07-21 18:13:35 -0700614}
615
jeffhaoc1160702011-10-27 15:48:45 -0700616void Heap::ClearGrowthLimit() {
617 ScopedHeapLock lock;
618 WaitForConcurrentGcToComplete();
619 CHECK_GE(maximum_size_, growth_size_);
620 growth_size_ = maximum_size_;
621 alloc_space_->ClearGrowthLimit();
jeffhao39da0352011-11-04 14:58:55 -0700622 card_table_->ClearGrowthLimit();
jeffhaoc1160702011-10-27 15:48:45 -0700623}
624
Brian Carlstrom24a3c2e2011-10-17 18:07:52 -0700625pid_t Heap::GetLockOwner() {
Elliott Hughesaccd83d2011-10-17 14:25:58 -0700626 return lock_->GetOwner();
627}
628
Elliott Hughes92b3b562011-09-08 16:32:26 -0700629void Heap::Lock() {
Brian Carlstromfad71432011-10-16 20:25:10 -0700630 // Grab the lock, but put ourselves into Thread::kVmWait if it looks
631 // like we're going to have to wait on the mutex. This prevents
632 // deadlock if another thread is calling CollectGarbageInternal,
633 // since they will have the heap lock and be waiting for mutators to
634 // suspend.
635 if (!lock_->TryLock()) {
636 ScopedThreadStateChange tsc(Thread::Current(), Thread::kVmWait);
637 lock_->Lock();
638 }
Elliott Hughes92b3b562011-09-08 16:32:26 -0700639}
640
641void Heap::Unlock() {
642 lock_->Unlock();
643}
644
Elliott Hughesadb460d2011-10-05 17:02:34 -0700645void Heap::SetWellKnownClasses(Class* java_lang_ref_FinalizerReference,
646 Class* java_lang_ref_ReferenceQueue) {
647 java_lang_ref_FinalizerReference_ = java_lang_ref_FinalizerReference;
648 java_lang_ref_ReferenceQueue_ = java_lang_ref_ReferenceQueue;
649 CHECK(java_lang_ref_FinalizerReference_ != NULL);
650 CHECK(java_lang_ref_ReferenceQueue_ != NULL);
651}
652
653void Heap::SetReferenceOffsets(MemberOffset reference_referent_offset,
654 MemberOffset reference_queue_offset,
655 MemberOffset reference_queueNext_offset,
656 MemberOffset reference_pendingNext_offset,
657 MemberOffset finalizer_reference_zombie_offset) {
658 reference_referent_offset_ = reference_referent_offset;
659 reference_queue_offset_ = reference_queue_offset;
660 reference_queueNext_offset_ = reference_queueNext_offset;
661 reference_pendingNext_offset_ = reference_pendingNext_offset;
662 finalizer_reference_zombie_offset_ = finalizer_reference_zombie_offset;
663 CHECK_NE(reference_referent_offset_.Uint32Value(), 0U);
664 CHECK_NE(reference_queue_offset_.Uint32Value(), 0U);
665 CHECK_NE(reference_queueNext_offset_.Uint32Value(), 0U);
666 CHECK_NE(reference_pendingNext_offset_.Uint32Value(), 0U);
667 CHECK_NE(finalizer_reference_zombie_offset_.Uint32Value(), 0U);
668}
669
670Object* Heap::GetReferenceReferent(Object* reference) {
671 DCHECK(reference != NULL);
672 DCHECK_NE(reference_referent_offset_.Uint32Value(), 0U);
673 return reference->GetFieldObject<Object*>(reference_referent_offset_, true);
674}
675
676void Heap::ClearReferenceReferent(Object* reference) {
677 DCHECK(reference != NULL);
678 DCHECK_NE(reference_referent_offset_.Uint32Value(), 0U);
679 reference->SetFieldObject(reference_referent_offset_, NULL, true);
680}
681
682// Returns true if the reference object has not yet been enqueued.
683bool Heap::IsEnqueuable(const Object* ref) {
684 DCHECK(ref != NULL);
685 const Object* queue = ref->GetFieldObject<Object*>(reference_queue_offset_, false);
686 const Object* queue_next = ref->GetFieldObject<Object*>(reference_queueNext_offset_, false);
687 return (queue != NULL) && (queue_next == NULL);
688}
689
690void Heap::EnqueueReference(Object* ref, Object** cleared_reference_list) {
691 DCHECK(ref != NULL);
692 CHECK(ref->GetFieldObject<Object*>(reference_queue_offset_, false) != NULL);
693 CHECK(ref->GetFieldObject<Object*>(reference_queueNext_offset_, false) == NULL);
694 EnqueuePendingReference(ref, cleared_reference_list);
695}
696
697void Heap::EnqueuePendingReference(Object* ref, Object** list) {
698 DCHECK(ref != NULL);
699 DCHECK(list != NULL);
700
701 if (*list == NULL) {
702 ref->SetFieldObject(reference_pendingNext_offset_, ref, false);
703 *list = ref;
704 } else {
705 Object* head = (*list)->GetFieldObject<Object*>(reference_pendingNext_offset_, false);
706 ref->SetFieldObject(reference_pendingNext_offset_, head, false);
707 (*list)->SetFieldObject(reference_pendingNext_offset_, ref, false);
708 }
709}
710
711Object* Heap::DequeuePendingReference(Object** list) {
712 DCHECK(list != NULL);
713 DCHECK(*list != NULL);
714 Object* head = (*list)->GetFieldObject<Object*>(reference_pendingNext_offset_, false);
715 Object* ref;
716 if (*list == head) {
717 ref = *list;
718 *list = NULL;
719 } else {
720 Object* next = head->GetFieldObject<Object*>(reference_pendingNext_offset_, false);
721 (*list)->SetFieldObject(reference_pendingNext_offset_, next, false);
722 ref = head;
723 }
724 ref->SetFieldObject(reference_pendingNext_offset_, NULL, false);
725 return ref;
726}
727
Ian Rogers5d4bdc22011-11-02 22:15:43 -0700728void Heap::AddFinalizerReference(Thread* self, Object* object) {
729 ScopedThreadStateChange tsc(self, Thread::kRunnable);
Elliott Hughesadb460d2011-10-05 17:02:34 -0700730 static Method* FinalizerReference_add =
731 java_lang_ref_FinalizerReference_->FindDirectMethod("add", "(Ljava/lang/Object;)V");
732 DCHECK(FinalizerReference_add != NULL);
733 Object* args[] = { object };
Ian Rogers5d4bdc22011-11-02 22:15:43 -0700734 FinalizerReference_add->Invoke(self, NULL, reinterpret_cast<byte*>(&args), NULL);
Elliott Hughesadb460d2011-10-05 17:02:34 -0700735}
736
737void Heap::EnqueueClearedReferences(Object** cleared) {
738 DCHECK(cleared != NULL);
739 if (*cleared != NULL) {
740 static Method* ReferenceQueue_add =
741 java_lang_ref_ReferenceQueue_->FindDirectMethod("add", "(Ljava/lang/ref/Reference;)V");
742 DCHECK(ReferenceQueue_add != NULL);
743
744 Thread* self = Thread::Current();
745 ScopedThreadStateChange tsc(self, Thread::kRunnable);
746 Object* args[] = { *cleared };
747 ReferenceQueue_add->Invoke(self, NULL, reinterpret_cast<byte*>(&args), NULL);
748 *cleared = NULL;
749 }
750}
751
Carl Shapiro69759ea2011-07-21 18:13:35 -0700752} // namespace art