blob: 1ccceaa82470605e19b560c43781e13271d117e8 [file] [log] [blame]
Elliott Hughes2faa5f12012-01-30 14:42:07 -08001/*
2 * Copyright (C) 2011 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 */
Carl Shapiro69759ea2011-07-21 18:13:35 -070016
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070017#include "mark_sweep.h"
Carl Shapiro69759ea2011-07-21 18:13:35 -070018
Carl Shapiro58551df2011-07-24 03:09:51 -070019#include <climits>
20#include <vector>
21
Mathieu Chartier858f1c52012-10-17 17:45:55 -070022#include "barrier.h"
Mathieu Chartier357e9be2012-08-01 11:00:14 -070023#include "card_table.h"
Elliott Hughes410c0c82011-09-01 17:58:25 -070024#include "class_loader.h"
Brian Carlstrom693267a2011-09-06 09:25:34 -070025#include "dex_cache.h"
Carl Shapiro58551df2011-07-24 03:09:51 -070026#include "heap.h"
Elliott Hughes410c0c82011-09-01 17:58:25 -070027#include "indirect_reference_table.h"
28#include "intern_table.h"
Ian Rogers81d425b2012-09-27 16:03:43 -070029#include "jni_internal.h"
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -070030#include "large_object_space.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070031#include "logging.h"
32#include "macros.h"
Elliott Hughesc33a32b2011-10-11 18:18:07 -070033#include "monitor.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070034#include "object.h"
Brian Carlstrom1f870082011-08-23 16:02:11 -070035#include "runtime.h"
Carl Shapiro58551df2011-07-24 03:09:51 -070036#include "space.h"
Elliott Hughes307f75d2011-10-12 18:04:40 -070037#include "timing_logger.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070038#include "thread.h"
Mathieu Chartier6f1c9492012-10-15 12:08:41 -070039#include "thread_list.h"
Ian Rogers08254272012-10-23 17:49:23 -070040#include "verifier/method_verifier.h"
Carl Shapiro69759ea2011-07-21 18:13:35 -070041
Carl Shapiro69759ea2011-07-21 18:13:35 -070042namespace art {
43
Mathieu Chartier02b6a782012-10-26 13:51:26 -070044// Performance options.
45static const bool kParallelMarkStack = true;
46static const bool kDisableFinger = true;
Mathieu Chartier858f1c52012-10-17 17:45:55 -070047static const bool kUseMarkStackPrefetch = true;
48
Mathieu Chartier02b6a782012-10-26 13:51:26 -070049// Profiling and information flags.
50static const bool kCountClassesMarked = false;
51static const bool kProfileLargeObjects = false;
52static const bool kMeasureOverhead = false;
53static const bool kCountTasks = false;
Mathieu Chartierd22d5482012-11-06 17:14:12 -080054static const bool kCountJavaLangRefs = false;
Mathieu Chartier02b6a782012-10-26 13:51:26 -070055
Mathieu Chartier357e9be2012-08-01 11:00:14 -070056class SetFingerVisitor {
57 public:
58 SetFingerVisitor(MarkSweep* const mark_sweep) : mark_sweep_(mark_sweep) {
59
60 }
61
62 void operator ()(void* finger) const {
63 mark_sweep_->SetFinger(reinterpret_cast<Object*>(finger));
64 }
65
66 private:
67 MarkSweep* const mark_sweep_;
68};
69
Mathieu Chartierd8195f12012-10-05 12:21:28 -070070MarkSweep::MarkSweep(ObjectStack* mark_stack)
Mathieu Chartierb062fdd2012-07-03 09:51:48 -070071 : current_mark_bitmap_(NULL),
72 mark_stack_(mark_stack),
Mathieu Chartier5301cd22012-05-31 12:11:36 -070073 heap_(NULL),
Mathieu Chartier5301cd22012-05-31 12:11:36 -070074 finger_(NULL),
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -070075 immune_begin_(NULL),
76 immune_end_(NULL),
Mathieu Chartier5301cd22012-05-31 12:11:36 -070077 soft_reference_list_(NULL),
78 weak_reference_list_(NULL),
79 finalizer_reference_list_(NULL),
80 phantom_reference_list_(NULL),
81 cleared_reference_list_(NULL),
Mathieu Chartier357e9be2012-08-01 11:00:14 -070082 freed_bytes_(0), freed_objects_(0),
Mathieu Chartier858f1c52012-10-17 17:45:55 -070083 class_count_(0), array_count_(0), other_count_(0),
Mathieu Chartier02b6a782012-10-26 13:51:26 -070084 large_object_test_(0), large_object_mark_(0),
85 classes_marked_(0), overhead_time_(0),
86 work_chunks_created_(0), work_chunks_deleted_(0),
Mathieu Chartierd22d5482012-11-06 17:14:12 -080087 reference_count_(0),
Mathieu Chartier35883cc2012-11-13 14:08:12 -080088 gc_barrier_(new Barrier(0)),
Mathieu Chartierac86a7c2012-11-12 15:03:16 -080089 large_object_lock_("large object lock"),
90 mark_stack_expand_lock_("mark stack expand lock") {
Mathieu Chartier5301cd22012-05-31 12:11:36 -070091 DCHECK(mark_stack_ != NULL);
92}
Elliott Hughesb3bd5f02012-03-08 21:05:27 -080093
Mathieu Chartier5301cd22012-05-31 12:11:36 -070094void MarkSweep::Init() {
Mathieu Chartier02b6a782012-10-26 13:51:26 -070095 java_lang_Class_ = Class::GetJavaLangClass();
96 CHECK(java_lang_Class_ != NULL);
Elliott Hughesb3bd5f02012-03-08 21:05:27 -080097 heap_ = Runtime::Current()->GetHeap();
Mathieu Chartier5301cd22012-05-31 12:11:36 -070098 mark_stack_->Reset();
Mathieu Chartier7469ebf2012-09-24 16:28:36 -070099 FindDefaultMarkBitmap();
Mathieu Chartier9ebae1f2012-10-15 17:38:16 -0700100 // Mark any concurrent roots as dirty since we need to scan them at least once during this GC.
101 Runtime::Current()->DirtyRoots();
Carl Shapiro58551df2011-07-24 03:09:51 -0700102}
103
Mathieu Chartier7469ebf2012-09-24 16:28:36 -0700104void MarkSweep::FindDefaultMarkBitmap() {
105 const Spaces& spaces = heap_->GetSpaces();
106 for (Spaces::const_iterator it = spaces.begin(); it != spaces.end(); ++it) {
107 if ((*it)->GetGcRetentionPolicy() == kGcRetentionPolicyAlwaysCollect) {
108 current_mark_bitmap_ = (*it)->GetMarkBitmap();
109 CHECK(current_mark_bitmap_ != NULL);
110 return;
111 }
112 }
113 GetHeap()->DumpSpaces();
114 LOG(FATAL) << "Could not find a default mark bitmap";
115}
116
Mathieu Chartierac86a7c2012-11-12 15:03:16 -0800117void MarkSweep::ExpandMarkStack() {
118 // Rare case, no need to have Thread::Current be a parameter.
119 MutexLock mu(Thread::Current(), mark_stack_expand_lock_);
120 if (UNLIKELY(mark_stack_->Size() < mark_stack_->Capacity())) {
121 // Someone else acquired the lock and expanded the mark stack before us.
122 return;
123 }
124 std::vector<Object*> temp;
125 temp.insert(temp.begin(), mark_stack_->Begin(), mark_stack_->End());
126 mark_stack_->Resize(mark_stack_->Capacity() * 2);
127 for (size_t i = 0; i < temp.size(); ++i) {
128 mark_stack_->PushBack(temp[i]);
129 }
130}
131
132inline void MarkSweep::MarkObjectNonNullParallel(const Object* obj, bool check_finger) {
133 DCHECK(obj != NULL);
134 if (MarkObjectParallel(obj)) {
135 if (kDisableFinger || (check_finger && obj < finger_)) {
136 while (UNLIKELY(!mark_stack_->AtomicPushBack(const_cast<Object*>(obj)))) {
137 // Only reason a push can fail is that the mark stack is full.
138 ExpandMarkStack();
139 }
140 }
141 }
142}
143
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700144inline void MarkSweep::MarkObjectNonNull(const Object* obj, bool check_finger) {
Carl Shapiro69759ea2011-07-21 18:13:35 -0700145 DCHECK(obj != NULL);
Mathieu Chartierb062fdd2012-07-03 09:51:48 -0700146
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -0700147 if (obj >= immune_begin_ && obj < immune_end_) {
148 DCHECK(IsMarked(obj));
Carl Shapiro69759ea2011-07-21 18:13:35 -0700149 return;
150 }
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700151
152 // Try to take advantage of locality of references within a space, failing this find the space
153 // the hard way.
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700154 SpaceBitmap* object_bitmap = current_mark_bitmap_;
155 if (UNLIKELY(!object_bitmap->HasAddress(obj))) {
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -0700156 SpaceBitmap* new_bitmap = heap_->GetMarkBitmap()->GetSpaceBitmap(obj);
157 if (new_bitmap != NULL) {
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700158 object_bitmap = new_bitmap;
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -0700159 } else {
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700160 MarkLargeObject(obj);
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -0700161 return;
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700162 }
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700163 }
164
Carl Shapiro69759ea2011-07-21 18:13:35 -0700165 // This object was not previously marked.
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700166 if (!object_bitmap->Test(obj)) {
167 object_bitmap->Set(obj);
168 if (kDisableFinger || (check_finger && obj < finger_)) {
Mathieu Chartierd8195f12012-10-05 12:21:28 -0700169 // Do we need to expand the mark stack?
170 if (UNLIKELY(mark_stack_->Size() >= mark_stack_->Capacity())) {
Mathieu Chartierac86a7c2012-11-12 15:03:16 -0800171 ExpandMarkStack();
Mathieu Chartierd8195f12012-10-05 12:21:28 -0700172 }
Carl Shapiro69759ea2011-07-21 18:13:35 -0700173 // The object must be pushed on to the mark stack.
Mathieu Chartierd8195f12012-10-05 12:21:28 -0700174 mark_stack_->PushBack(const_cast<Object*>(obj));
Carl Shapiro69759ea2011-07-21 18:13:35 -0700175 }
176 }
177}
178
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700179// Rare case, probably not worth inlining since it will increase instruction cache miss rate.
180bool MarkSweep::MarkLargeObject(const Object* obj) {
181 LargeObjectSpace* large_object_space = GetHeap()->GetLargeObjectsSpace();
182 SpaceSetMap* large_objects = large_object_space->GetMarkObjects();
183 if (kProfileLargeObjects) {
184 ++large_object_test_;
185 }
186 if (UNLIKELY(!large_objects->Test(obj))) {
187 if (!large_object_space->Contains(obj)) {
188 LOG(ERROR) << "Tried to mark " << obj << " not contained by any spaces";
189 LOG(ERROR) << "Attempting see if it's a bad root";
190 VerifyRoots();
191 LOG(FATAL) << "Can't mark bad root";
192 }
193 if (kProfileLargeObjects) {
194 ++large_object_mark_;
195 }
196 large_objects->Set(obj);
197 // Don't need to check finger since large objects never have any object references.
198 return true;
199 }
200 return false;
201}
202
203inline bool MarkSweep::MarkObjectParallel(const Object* obj) {
204 DCHECK(obj != NULL);
205
206 if (obj >= immune_begin_ && obj < immune_end_) {
207 DCHECK(IsMarked(obj));
208 return false;
209 }
210
211 // Try to take advantage of locality of references within a space, failing this find the space
212 // the hard way.
213 SpaceBitmap* object_bitmap = current_mark_bitmap_;
214 if (UNLIKELY(!object_bitmap->HasAddress(obj))) {
215 SpaceBitmap* new_bitmap = heap_->GetMarkBitmap()->GetSpaceBitmap(obj);
216 if (new_bitmap != NULL) {
217 object_bitmap = new_bitmap;
218 } else {
219 // TODO: Remove the Thread::Current here?
220 // TODO: Convert this to some kind of atomic marking?
221 MutexLock mu(Thread::Current(), large_object_lock_);
222 return MarkLargeObject(obj);
223 }
224 }
225
226 // Return true if the object was not previously marked.
227 return !object_bitmap->AtomicTestAndSet(obj);
228}
229
Carl Shapiro69759ea2011-07-21 18:13:35 -0700230// Used to mark objects when recursing. Recursion is done by moving
231// the finger across the bitmaps in address order and marking child
232// objects. Any newly-marked objects whose addresses are lower than
233// the finger won't be visited by the bitmap scan, so those objects
234// need to be added to the mark stack.
Mathieu Chartierb43b7d42012-06-19 13:15:09 -0700235void MarkSweep::MarkObject(const Object* obj) {
Carl Shapiro69759ea2011-07-21 18:13:35 -0700236 if (obj != NULL) {
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700237 MarkObjectNonNull(obj, true);
Carl Shapiro69759ea2011-07-21 18:13:35 -0700238 }
239}
240
Mathieu Chartierac86a7c2012-11-12 15:03:16 -0800241void MarkSweep::MarkRootParallelCallback(const Object* root, void* arg) {
242 DCHECK(root != NULL);
243 DCHECK(arg != NULL);
244 MarkSweep* mark_sweep = reinterpret_cast<MarkSweep*>(arg);
245 mark_sweep->MarkObjectNonNullParallel(root, false);
246}
247
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700248void MarkSweep::MarkObjectCallback(const Object* root, void* arg) {
Brian Carlstrom1f870082011-08-23 16:02:11 -0700249 DCHECK(root != NULL);
250 DCHECK(arg != NULL);
251 MarkSweep* mark_sweep = reinterpret_cast<MarkSweep*>(arg);
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700252 mark_sweep->MarkObjectNonNull(root, false);
Brian Carlstrom1f870082011-08-23 16:02:11 -0700253}
254
Mathieu Chartier262e5ff2012-06-01 17:35:38 -0700255void MarkSweep::ReMarkObjectVisitor(const Object* root, void* arg) {
256 DCHECK(root != NULL);
257 DCHECK(arg != NULL);
258 MarkSweep* mark_sweep = reinterpret_cast<MarkSweep*>(arg);
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700259 mark_sweep->MarkObjectNonNull(root, true);
Mathieu Chartier262e5ff2012-06-01 17:35:38 -0700260}
261
Mathieu Chartier6f1c9492012-10-15 12:08:41 -0700262void MarkSweep::VerifyRootCallback(const Object* root, void* arg, size_t vreg,
263 const AbstractMethod* method) {
264 reinterpret_cast<MarkSweep*>(arg)->VerifyRoot(root, vreg, method);
265}
266
267void MarkSweep::VerifyRoot(const Object* root, size_t vreg, const AbstractMethod* method) {
268 // See if the root is on any space bitmap.
Mathieu Chartier128c52c2012-10-16 14:12:41 -0700269 if (GetHeap()->GetLiveBitmap()->GetSpaceBitmap(root) == NULL) {
Mathieu Chartier6f1c9492012-10-15 12:08:41 -0700270 LargeObjectSpace* large_object_space = GetHeap()->GetLargeObjectsSpace();
Mathieu Chartier4202b742012-10-17 17:51:25 -0700271 if (!large_object_space->Contains(root)) {
Mathieu Chartier6f1c9492012-10-15 12:08:41 -0700272 LOG(ERROR) << "Found invalid root: " << root;
Ian Rogers08254272012-10-23 17:49:23 -0700273 LOG(ERROR) << "VReg: " << vreg;
Mathieu Chartier6f1c9492012-10-15 12:08:41 -0700274 if (method != NULL) {
Ian Rogers2bcb4a42012-11-08 10:39:18 -0800275 LOG(ERROR) << "In method " << PrettyMethod(method, true);
Mathieu Chartier6f1c9492012-10-15 12:08:41 -0700276 }
277 }
278 }
279}
280
281void MarkSweep::VerifyRoots() {
282 Runtime::Current()->GetThreadList()->VerifyRoots(VerifyRootCallback, this);
283}
284
Carl Shapiro69759ea2011-07-21 18:13:35 -0700285// Marks all objects in the root set.
286void MarkSweep::MarkRoots() {
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700287 Runtime::Current()->VisitNonConcurrentRoots(MarkObjectCallback, this);
Mathieu Chartier9ebae1f2012-10-15 17:38:16 -0700288}
289
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700290void MarkSweep::MarkNonThreadRoots() {
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700291 Runtime::Current()->VisitNonThreadRoots(MarkObjectCallback, this);
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700292}
293
Mathieu Chartier9ebae1f2012-10-15 17:38:16 -0700294void MarkSweep::MarkConcurrentRoots() {
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700295 Runtime::Current()->VisitConcurrentRoots(MarkObjectCallback, this);
Carl Shapiro69759ea2011-07-21 18:13:35 -0700296}
297
Mathieu Chartierb43b7d42012-06-19 13:15:09 -0700298class CheckObjectVisitor {
299 public:
300 CheckObjectVisitor(MarkSweep* const mark_sweep)
301 : mark_sweep_(mark_sweep) {
302
303 }
304
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700305 void operator ()(const Object* obj, const Object* ref, MemberOffset offset, bool is_static) const
Mathieu Chartierd22d5482012-11-06 17:14:12 -0800306 NO_THREAD_SAFETY_ANALYSIS {
Mathieu Chartierb43b7d42012-06-19 13:15:09 -0700307 mark_sweep_->CheckReference(obj, ref, offset, is_static);
308 }
309
310 private:
311 MarkSweep* const mark_sweep_;
312};
313
314void MarkSweep::CheckObject(const Object* obj) {
315 DCHECK(obj != NULL);
316 CheckObjectVisitor visitor(this);
317 VisitObjectReferences(obj, visitor);
318}
319
320void MarkSweep::VerifyImageRootVisitor(Object* root, void* arg) {
321 DCHECK(root != NULL);
322 DCHECK(arg != NULL);
323 MarkSweep* mark_sweep = reinterpret_cast<MarkSweep*>(arg);
Mathieu Chartierb062fdd2012-07-03 09:51:48 -0700324 DCHECK(mark_sweep->heap_->GetMarkBitmap()->Test(root));
Mathieu Chartierb43b7d42012-06-19 13:15:09 -0700325 mark_sweep->CheckObject(root);
326}
327
Mathieu Chartier2fde5332012-09-14 14:51:54 -0700328void MarkSweep::CopyMarkBits(ContinuousSpace* space) {
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700329 SpaceBitmap* live_bitmap = space->GetLiveBitmap();
330 SpaceBitmap* mark_bitmap = space->GetMarkBitmap();
331 mark_bitmap->CopyFrom(live_bitmap);
Ian Rogers5d76c432011-10-31 21:42:49 -0700332}
333
Mathieu Chartier7469ebf2012-09-24 16:28:36 -0700334void MarkSweep::BindLiveToMarkBitmap(ContinuousSpace* space) {
335 CHECK(space->IsAllocSpace());
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700336 DlMallocSpace* alloc_space = space->AsAllocSpace();
Mathieu Chartier7469ebf2012-09-24 16:28:36 -0700337 SpaceBitmap* live_bitmap = space->GetLiveBitmap();
338 SpaceBitmap* mark_bitmap = alloc_space->mark_bitmap_.release();
339 GetHeap()->GetMarkBitmap()->ReplaceBitmap(mark_bitmap, live_bitmap);
340 alloc_space->temp_bitmap_.reset(mark_bitmap);
341 alloc_space->mark_bitmap_.reset(live_bitmap);
342}
343
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700344class ScanObjectVisitor {
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700345 public:
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700346 ScanObjectVisitor(MarkSweep* const mark_sweep) : mark_sweep_(mark_sweep) {
347
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700348 }
349
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700350 void operator ()(const Object* obj) const
Ian Rogersb726dcb2012-09-05 08:57:23 -0700351 EXCLUSIVE_LOCKS_REQUIRED(Locks::heap_bitmap_lock_)
352 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700353 mark_sweep_->ScanObject(obj);
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700354 }
355
356 private:
357 MarkSweep* const mark_sweep_;
358};
359
Mathieu Chartierd22d5482012-11-06 17:14:12 -0800360void MarkSweep::ScanGrayObjects(byte minimum_age) {
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700361 const Spaces& spaces = heap_->GetSpaces();
Mathieu Chartier262e5ff2012-06-01 17:35:38 -0700362 CardTable* card_table = heap_->GetCardTable();
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700363 ScanObjectVisitor visitor(this);
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700364 SetFingerVisitor finger_visitor(this);
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -0700365 // TODO: C++ 0x auto
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700366 for (Spaces::const_iterator it = spaces.begin(); it != spaces.end(); ++it) {
Mathieu Chartier2fde5332012-09-14 14:51:54 -0700367 ContinuousSpace* space = *it;
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700368 byte* begin = space->Begin();
369 byte* end = space->End();
Mathieu Chartierb062fdd2012-07-03 09:51:48 -0700370 // Image spaces are handled properly since live == marked for them.
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700371 SpaceBitmap* mark_bitmap = space->GetMarkBitmap();
Mathieu Chartierd22d5482012-11-06 17:14:12 -0800372 card_table->Scan(mark_bitmap, begin, end, visitor, VoidFunctor(), minimum_age);
Mathieu Chartier262e5ff2012-06-01 17:35:38 -0700373 }
374}
375
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700376class CheckBitmapVisitor {
377 public:
378 CheckBitmapVisitor(MarkSweep* mark_sweep) : mark_sweep_(mark_sweep) {
379
380 }
381
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700382 void operator ()(const Object* obj) const
Ian Rogersb726dcb2012-09-05 08:57:23 -0700383 SHARED_LOCKS_REQUIRED(Locks::heap_bitmap_lock_,
384 Locks::mutator_lock_) {
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700385 DCHECK(obj != NULL);
386 mark_sweep_->CheckObject(obj);
387 }
388
389 private:
390 MarkSweep* mark_sweep_;
391};
392
Mathieu Chartier262e5ff2012-06-01 17:35:38 -0700393void MarkSweep::VerifyImageRoots() {
394 // Verify roots ensures that all the references inside the image space point
395 // objects which are either in the image space or marked objects in the alloc
396 // space
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700397 CheckBitmapVisitor visitor(this);
398 const Spaces& spaces = heap_->GetSpaces();
399 for (Spaces::const_iterator it = spaces.begin(); it != spaces.end(); ++it) {
Mathieu Chartier2fde5332012-09-14 14:51:54 -0700400 if ((*it)->IsImageSpace()) {
401 ImageSpace* space = (*it)->AsImageSpace();
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700402 uintptr_t begin = reinterpret_cast<uintptr_t>(space->Begin());
403 uintptr_t end = reinterpret_cast<uintptr_t>(space->End());
404 SpaceBitmap* live_bitmap = space->GetLiveBitmap();
Mathieu Chartierb062fdd2012-07-03 09:51:48 -0700405 DCHECK(live_bitmap != NULL);
Mathieu Chartierd22d5482012-11-06 17:14:12 -0800406 live_bitmap->VisitMarkedRange(begin, end, visitor, VoidFunctor());
Mathieu Chartier262e5ff2012-06-01 17:35:38 -0700407 }
408 }
Mathieu Chartier262e5ff2012-06-01 17:35:38 -0700409}
410
Carl Shapiro58551df2011-07-24 03:09:51 -0700411// Populates the mark stack based on the set of marked objects and
412// recursively marks until the mark stack is emptied.
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700413void MarkSweep::RecursiveMark(bool partial, TimingLogger& timings) {
Brian Carlstrom1f870082011-08-23 16:02:11 -0700414 // RecursiveMark will build the lists of known instances of the Reference classes.
415 // See DelayReferenceReferent for details.
416 CHECK(soft_reference_list_ == NULL);
417 CHECK(weak_reference_list_ == NULL);
418 CHECK(finalizer_reference_list_ == NULL);
419 CHECK(phantom_reference_list_ == NULL);
420 CHECK(cleared_reference_list_ == NULL);
421
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700422 const Spaces& spaces = heap_->GetSpaces();
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700423 SetFingerVisitor set_finger_visitor(this);
424 ScanObjectVisitor scan_visitor(this);
425 for (Spaces::const_iterator it = spaces.begin(); it != spaces.end(); ++it) {
Mathieu Chartier2fde5332012-09-14 14:51:54 -0700426 ContinuousSpace* space = *it;
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700427 if ((!kDisableFinger && space->GetGcRetentionPolicy() == kGcRetentionPolicyAlwaysCollect) ||
Mathieu Chartier7469ebf2012-09-24 16:28:36 -0700428 (!partial && space->GetGcRetentionPolicy() == kGcRetentionPolicyFullCollect)
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700429 ) {
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700430 current_mark_bitmap_ = space->GetMarkBitmap();
431 if (current_mark_bitmap_ == NULL) {
432 GetHeap()->DumpSpaces();
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -0700433 LOG(FATAL) << "invalid bitmap";
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700434 }
435 // This function does not handle heap end increasing, so we must use the space end.
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700436 uintptr_t begin = reinterpret_cast<uintptr_t>(space->Begin());
437 uintptr_t end = reinterpret_cast<uintptr_t>(space->End());
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700438 current_mark_bitmap_->VisitMarkedRange(begin, end, scan_visitor, set_finger_visitor);
Mathieu Chartier7664f5c2012-06-08 18:15:32 -0700439 }
Carl Shapiro58551df2011-07-24 03:09:51 -0700440 }
441 finger_ = reinterpret_cast<Object*>(~0);
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700442 timings.AddSplit("RecursiveMark");
Ian Rogers5d76c432011-10-31 21:42:49 -0700443 // TODO: tune the frequency of emptying the mark stack
Carl Shapiro58551df2011-07-24 03:09:51 -0700444 ProcessMarkStack();
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700445 timings.AddSplit("ProcessMarkStack");
Carl Shapiro58551df2011-07-24 03:09:51 -0700446}
447
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700448void MarkSweep::RecursiveMarkCards(CardTable* card_table, const std::vector<byte*>& cards,
449 TimingLogger& timings) {
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700450 ScanObjectVisitor image_root_visitor(this);
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700451 SetFingerVisitor finger_visitor(this);
Mathieu Chartier7469ebf2012-09-24 16:28:36 -0700452 const size_t card_count = cards.size();
453 SpaceBitmap* active_bitmap = NULL;
454 for (size_t i = 0;i < card_count;) {
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700455 Object* start_obj = reinterpret_cast<Object*>(card_table->AddrFromCard(cards[i]));
456 uintptr_t begin = reinterpret_cast<uintptr_t>(start_obj);
Mathieu Chartier7469ebf2012-09-24 16:28:36 -0700457 uintptr_t end = begin + CardTable::kCardSize;
458 for (++i; reinterpret_cast<uintptr_t>(cards[i]) == end && i < card_count; ++i) {
459 end += CardTable::kCardSize;
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700460 }
Mathieu Chartier7469ebf2012-09-24 16:28:36 -0700461 if (active_bitmap == NULL || !active_bitmap->HasAddress(start_obj)) {
462 active_bitmap = heap_->GetMarkBitmap()->GetSpaceBitmap(start_obj);
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700463 if (kIsDebugBuild && active_bitmap == NULL) {
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700464 GetHeap()->DumpSpaces();
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -0700465 LOG(FATAL) << "Object " << reinterpret_cast<const void*>(start_obj);
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700466 }
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700467 }
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700468 if (kDisableFinger) {
Mathieu Chartierd22d5482012-11-06 17:14:12 -0800469 active_bitmap->VisitMarkedRange(begin, end, image_root_visitor, VoidFunctor());
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700470 } else {
471 active_bitmap->VisitMarkedRange(begin, end, image_root_visitor, finger_visitor);
472 }
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700473 }
474 timings.AddSplit("RecursiveMarkCards");
475 ProcessMarkStack();
476 timings.AddSplit("ProcessMarkStack");
477}
478
479bool MarkSweep::IsMarkedCallback(const Object* object, void* arg) {
480 return
481 reinterpret_cast<MarkSweep*>(arg)->IsMarked(object) ||
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700482 !reinterpret_cast<MarkSweep*>(arg)->GetHeap()->GetLiveBitmap()->Test(object);
483}
484
Mathieu Chartierd22d5482012-11-06 17:14:12 -0800485void MarkSweep::RecursiveMarkDirtyObjects(byte minimum_age) {
486 ScanGrayObjects(minimum_age);
Mathieu Chartier262e5ff2012-06-01 17:35:38 -0700487 ProcessMarkStack();
488}
489
Carl Shapiro58551df2011-07-24 03:09:51 -0700490void MarkSweep::ReMarkRoots() {
Mathieu Chartier262e5ff2012-06-01 17:35:38 -0700491 Runtime::Current()->VisitRoots(ReMarkObjectVisitor, this);
Carl Shapiro69759ea2011-07-21 18:13:35 -0700492}
493
Mathieu Chartier7469ebf2012-09-24 16:28:36 -0700494void MarkSweep::SweepJniWeakGlobals(Heap::IsMarkedTester is_marked, void* arg) {
Elliott Hughes410c0c82011-09-01 17:58:25 -0700495 JavaVMExt* vm = Runtime::Current()->GetJavaVM();
Ian Rogers50b35e22012-10-04 10:09:15 -0700496 MutexLock mu(Thread::Current(), vm->weak_globals_lock);
Elliott Hughes410c0c82011-09-01 17:58:25 -0700497 IndirectReferenceTable* table = &vm->weak_globals;
Mathieu Chartier654d3a22012-07-11 17:54:18 -0700498 typedef IndirectReferenceTable::iterator It; // TODO: C++0x auto
Elliott Hughes410c0c82011-09-01 17:58:25 -0700499 for (It it = table->begin(), end = table->end(); it != end; ++it) {
500 const Object** entry = *it;
Mathieu Chartier7469ebf2012-09-24 16:28:36 -0700501 if (!is_marked(*entry, arg)) {
Elliott Hughes410c0c82011-09-01 17:58:25 -0700502 *entry = kClearedJniWeakGlobal;
503 }
504 }
505}
506
Mathieu Chartier7469ebf2012-09-24 16:28:36 -0700507struct ArrayMarkedCheck {
508 ObjectStack* live_stack;
509 MarkSweep* mark_sweep;
510};
511
512// Either marked or not live.
513bool MarkSweep::IsMarkedArrayCallback(const Object* object, void* arg) {
514 ArrayMarkedCheck* array_check = reinterpret_cast<ArrayMarkedCheck*>(arg);
515 if (array_check->mark_sweep->IsMarked(object)) {
516 return true;
517 }
518 ObjectStack* live_stack = array_check->live_stack;
519 return std::find(live_stack->Begin(), live_stack->End(), object) == live_stack->End();
520}
521
522void MarkSweep::SweepSystemWeaksArray(ObjectStack* allocations) {
Mathieu Chartier46a23632012-08-07 18:44:40 -0700523 Runtime* runtime = Runtime::Current();
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700524 // The callbacks check
525 // !is_marked where is_marked is the callback but we want
526 // !IsMarked && IsLive
527 // So compute !(!IsMarked && IsLive) which is equal to (IsMarked || !IsLive).
528 // Or for swapped (IsLive || !IsMarked).
Mathieu Chartier7469ebf2012-09-24 16:28:36 -0700529
530 ArrayMarkedCheck visitor;
531 visitor.live_stack = allocations;
532 visitor.mark_sweep = this;
533 runtime->GetInternTable()->SweepInternTableWeaks(IsMarkedArrayCallback, &visitor);
534 runtime->GetMonitorList()->SweepMonitorList(IsMarkedArrayCallback, &visitor);
535 SweepJniWeakGlobals(IsMarkedArrayCallback, &visitor);
536}
537
538void MarkSweep::SweepSystemWeaks() {
539 Runtime* runtime = Runtime::Current();
540 // The callbacks check
541 // !is_marked where is_marked is the callback but we want
542 // !IsMarked && IsLive
543 // So compute !(!IsMarked && IsLive) which is equal to (IsMarked || !IsLive).
544 // Or for swapped (IsLive || !IsMarked).
545 runtime->GetInternTable()->SweepInternTableWeaks(IsMarkedCallback, this);
546 runtime->GetMonitorList()->SweepMonitorList(IsMarkedCallback, this);
547 SweepJniWeakGlobals(IsMarkedCallback, this);
Carl Shapiro58551df2011-07-24 03:09:51 -0700548}
549
Mathieu Chartierc7b83a02012-09-11 18:07:39 -0700550bool MarkSweep::VerifyIsLiveCallback(const Object* obj, void* arg) {
551 reinterpret_cast<MarkSweep*>(arg)->VerifyIsLive(obj);
552 // We don't actually want to sweep the object, so lets return "marked"
553 return true;
554}
555
556void MarkSweep::VerifyIsLive(const Object* obj) {
557 Heap* heap = GetHeap();
558 if (!heap->GetLiveBitmap()->Test(obj)) {
Mathieu Chartier7469ebf2012-09-24 16:28:36 -0700559 LargeObjectSpace* large_object_space = GetHeap()->GetLargeObjectsSpace();
560 if (!large_object_space->GetLiveObjects()->Test(obj)) {
561 if (std::find(heap->allocation_stack_->Begin(), heap->allocation_stack_->End(), obj) ==
562 heap->allocation_stack_->End()) {
563 // Object not found!
564 heap->DumpSpaces();
565 LOG(FATAL) << "Found dead object " << obj;
566 }
Mathieu Chartierc7b83a02012-09-11 18:07:39 -0700567 }
568 }
569}
570
571void MarkSweep::VerifySystemWeaks() {
572 Runtime* runtime = Runtime::Current();
573 // Verify system weaks, uses a special IsMarked callback which always returns true.
574 runtime->GetInternTable()->SweepInternTableWeaks(VerifyIsLiveCallback, this);
575 runtime->GetMonitorList()->SweepMonitorList(VerifyIsLiveCallback, this);
576
577 JavaVMExt* vm = runtime->GetJavaVM();
Ian Rogers50b35e22012-10-04 10:09:15 -0700578 MutexLock mu(Thread::Current(), vm->weak_globals_lock);
Mathieu Chartierc7b83a02012-09-11 18:07:39 -0700579 IndirectReferenceTable* table = &vm->weak_globals;
580 typedef IndirectReferenceTable::iterator It; // TODO: C++0x auto
581 for (It it = table->begin(), end = table->end(); it != end; ++it) {
582 const Object** entry = *it;
583 VerifyIsLive(*entry);
584 }
585}
586
Elliott Hughesb3bd5f02012-03-08 21:05:27 -0800587struct SweepCallbackContext {
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700588 MarkSweep* mark_sweep;
Elliott Hughesb3bd5f02012-03-08 21:05:27 -0800589 AllocSpace* space;
Ian Rogers50b35e22012-10-04 10:09:15 -0700590 Thread* self;
Elliott Hughesb3bd5f02012-03-08 21:05:27 -0800591};
592
Mathieu Chartier0e4627e2012-10-23 16:13:36 -0700593class CheckpointMarkThreadRoots : public Closure {
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700594 public:
595 CheckpointMarkThreadRoots(MarkSweep* mark_sweep) : mark_sweep_(mark_sweep) {
596
597 }
598
599 virtual void Run(Thread* thread) NO_THREAD_SAFETY_ANALYSIS {
600 // Note: self is not necessarily equal to thread since thread may be suspended.
601 Thread* self = Thread::Current();
Mathieu Chartierd22d5482012-11-06 17:14:12 -0800602 CHECK(thread == self || thread->IsSuspended() || thread->GetState() == kWaitingPerformingGc)
603 << thread->GetState() << " thread " << thread << " self " << self;
Mathieu Chartierac86a7c2012-11-12 15:03:16 -0800604 thread->VisitRoots(MarkSweep::MarkRootParallelCallback, mark_sweep_);
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700605 mark_sweep_->GetBarrier().Pass(self);
606 }
607
608 private:
609 MarkSweep* mark_sweep_;
610};
611
612Barrier& MarkSweep::GetBarrier() {
613 return *gc_barrier_;
614}
615
616void MarkSweep::MarkRootsCheckpoint() {
Mathieu Chartierd22d5482012-11-06 17:14:12 -0800617 CheckpointMarkThreadRoots check_point(this);
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700618 ThreadList* thread_list = Runtime::Current()->GetThreadList();
619 // Increment the count of the barrier. If all of the checkpoints have already been finished then
620 // will hit 0 and continue. Otherwise we are still waiting for some checkpoints, so the counter
621 // will go positive and we will unblock when it hits zero.
Mathieu Chartierd22d5482012-11-06 17:14:12 -0800622 gc_barrier_->Increment(Thread::Current(), thread_list->RunCheckpoint(&check_point));
Mathieu Chartier858f1c52012-10-17 17:45:55 -0700623}
624
Ian Rogers30fab402012-01-23 15:43:46 -0800625void MarkSweep::SweepCallback(size_t num_ptrs, Object** ptrs, void* arg) {
Elliott Hughesb3bd5f02012-03-08 21:05:27 -0800626 SweepCallbackContext* context = static_cast<SweepCallbackContext*>(arg);
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700627 MarkSweep* mark_sweep = context->mark_sweep;
628 Heap* heap = mark_sweep->GetHeap();
Elliott Hughesb3bd5f02012-03-08 21:05:27 -0800629 AllocSpace* space = context->space;
Ian Rogers50b35e22012-10-04 10:09:15 -0700630 Thread* self = context->self;
631 Locks::heap_bitmap_lock_->AssertExclusiveHeld(self);
Ian Rogers5d76c432011-10-31 21:42:49 -0700632 // Use a bulk free, that merges consecutive objects before freeing or free per object?
633 // Documentation suggests better free performance with merging, but this may be at the expensive
634 // of allocation.
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700635 size_t freed_objects = num_ptrs;
636 // AllocSpace::FreeList clears the value in ptrs, so perform after clearing the live bit
637 size_t freed_bytes = space->FreeList(self, num_ptrs, ptrs);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700638 heap->RecordFree(freed_objects, freed_bytes);
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700639 mark_sweep->freed_objects_ += freed_objects;
640 mark_sweep->freed_bytes_ += freed_bytes;
Carl Shapiro58551df2011-07-24 03:09:51 -0700641}
642
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700643void MarkSweep::ZygoteSweepCallback(size_t num_ptrs, Object** ptrs, void* arg) {
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700644 SweepCallbackContext* context = static_cast<SweepCallbackContext*>(arg);
Ian Rogers50b35e22012-10-04 10:09:15 -0700645 Locks::heap_bitmap_lock_->AssertExclusiveHeld(context->self);
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700646 Heap* heap = context->mark_sweep->GetHeap();
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700647 // We don't free any actual memory to avoid dirtying the shared zygote pages.
648 for (size_t i = 0; i < num_ptrs; ++i) {
649 Object* obj = static_cast<Object*>(ptrs[i]);
650 heap->GetLiveBitmap()->Clear(obj);
651 heap->GetCardTable()->MarkCard(obj);
652 }
653}
654
Mathieu Chartierd8195f12012-10-05 12:21:28 -0700655void MarkSweep::SweepArray(TimingLogger& logger, ObjectStack* allocations, bool swap_bitmaps) {
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700656 size_t freed_bytes = 0;
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700657 DlMallocSpace* space = heap_->GetAllocSpace();
Elliott Hughes2da50362011-10-10 16:57:08 -0700658
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700659 // If we don't swap bitmaps then newly allocated Weaks go into the live bitmap but not mark
660 // bitmap, resulting in occasional frees of Weaks which are still in use.
Mathieu Chartier7469ebf2012-09-24 16:28:36 -0700661 SweepSystemWeaksArray(allocations);
662 logger.AddSplit("SweepSystemWeaks");
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700663
664 // Newly allocated objects MUST be in the alloc space and those are the only objects which we are
665 // going to free.
666 SpaceBitmap* live_bitmap = space->GetLiveBitmap();
667 SpaceBitmap* mark_bitmap = space->GetMarkBitmap();
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -0700668 LargeObjectSpace* large_object_space = GetHeap()->GetLargeObjectsSpace();
669 SpaceSetMap* large_live_objects = large_object_space->GetLiveObjects();
670 SpaceSetMap* large_mark_objects = large_object_space->GetMarkObjects();
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700671 if (swap_bitmaps) {
672 std::swap(live_bitmap, mark_bitmap);
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -0700673 std::swap(large_live_objects, large_mark_objects);
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700674 }
675
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -0700676 size_t freed_large_objects = 0;
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700677 size_t count = allocations->Size();
Mathieu Chartierd8195f12012-10-05 12:21:28 -0700678 Object** objects = const_cast<Object**>(allocations->Begin());
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700679 Object** out = objects;
680
681 // Empty the allocation stack.
Ian Rogers50b35e22012-10-04 10:09:15 -0700682 Thread* self = Thread::Current();
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700683 for (size_t i = 0;i < count;++i) {
684 Object* obj = objects[i];
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -0700685 // There should only be objects in the AllocSpace/LargeObjectSpace in the allocation stack.
686 if (LIKELY(mark_bitmap->HasAddress(obj))) {
687 if (!mark_bitmap->Test(obj)) {
688 // Don't bother un-marking since we clear the mark bitmap anyways.
689 *(out++) = obj;
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -0700690 }
691 } else if (!large_mark_objects->Test(obj)) {
692 ++freed_large_objects;
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700693 freed_bytes += large_object_space->Free(self, obj);
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700694 }
695 }
696 logger.AddSplit("Process allocation stack");
697
698 size_t freed_objects = out - objects;
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700699 freed_bytes += space->FreeList(self, freed_objects, objects);
Mathieu Chartier40e978b2012-09-07 11:38:36 -0700700 VLOG(heap) << "Freed " << freed_objects << "/" << count
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -0700701 << " objects with size " << PrettySize(freed_bytes);
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -0700702 heap_->RecordFree(freed_objects + freed_large_objects, freed_bytes);
Mathieu Chartier40e978b2012-09-07 11:38:36 -0700703 freed_objects_ += freed_objects;
704 freed_bytes_ += freed_bytes;
705 logger.AddSplit("FreeList");
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700706 allocations->Reset();
Mathieu Chartierd22d5482012-11-06 17:14:12 -0800707 logger.AddSplit("ResetStack");
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700708}
709
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700710void MarkSweep::Sweep(TimingLogger& timings, bool partial, bool swap_bitmaps) {
Mathieu Chartierb43b7d42012-06-19 13:15:09 -0700711 DCHECK(mark_stack_->IsEmpty());
712
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700713 // If we don't swap bitmaps then newly allocated Weaks go into the live bitmap but not mark
714 // bitmap, resulting in occasional frees of Weaks which are still in use.
Mathieu Chartier7469ebf2012-09-24 16:28:36 -0700715 SweepSystemWeaks();
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700716 timings.AddSplit("SweepSystemWeaks");
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700717
Mathieu Chartier46a23632012-08-07 18:44:40 -0700718 const Spaces& spaces = heap_->GetSpaces();
Elliott Hughesb3bd5f02012-03-08 21:05:27 -0800719 SweepCallbackContext scc;
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700720 scc.mark_sweep = this;
Ian Rogers50b35e22012-10-04 10:09:15 -0700721 scc.self = Thread::Current();
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700722 // TODO: C++0x auto
723 for (Spaces::const_iterator it = spaces.begin(); it != spaces.end(); ++it) {
Mathieu Chartier2fde5332012-09-14 14:51:54 -0700724 ContinuousSpace* space = *it;
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700725 if (
Mathieu Chartier7469ebf2012-09-24 16:28:36 -0700726 space->GetGcRetentionPolicy() == kGcRetentionPolicyAlwaysCollect ||
727 (!partial && space->GetGcRetentionPolicy() == kGcRetentionPolicyFullCollect)
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700728 ) {
729 uintptr_t begin = reinterpret_cast<uintptr_t>(space->Begin());
730 uintptr_t end = reinterpret_cast<uintptr_t>(space->End());
731 scc.space = space->AsAllocSpace();
732 SpaceBitmap* live_bitmap = space->GetLiveBitmap();
733 SpaceBitmap* mark_bitmap = space->GetMarkBitmap();
Mathieu Chartierfd678be2012-08-30 14:50:54 -0700734 if (swap_bitmaps) {
735 std::swap(live_bitmap, mark_bitmap);
736 }
Mathieu Chartier7469ebf2012-09-24 16:28:36 -0700737 if (space->GetGcRetentionPolicy() == kGcRetentionPolicyAlwaysCollect) {
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700738 // Bitmaps are pre-swapped for optimization which enables sweeping with the heap unlocked.
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700739 SpaceBitmap::SweepWalk(*live_bitmap, *mark_bitmap, begin, end,
740 &SweepCallback, reinterpret_cast<void*>(&scc));
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700741 } else {
742 // Zygote sweep takes care of dirtying cards and clearing live bits, does not free actual memory.
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700743 SpaceBitmap::SweepWalk(*live_bitmap, *mark_bitmap, begin, end,
744 &ZygoteSweepCallback, reinterpret_cast<void*>(&scc));
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700745 }
Carl Shapiro58551df2011-07-24 03:09:51 -0700746 }
747 }
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700748 timings.AddSplit("Sweep");
Carl Shapiro58551df2011-07-24 03:09:51 -0700749}
750
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -0700751void MarkSweep::SweepLargeObjects(bool swap_bitmaps) {
752 // Sweep large objects
753 LargeObjectSpace* large_object_space = GetHeap()->GetLargeObjectsSpace();
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -0700754 SpaceSetMap* large_live_objects = large_object_space->GetLiveObjects();
755 SpaceSetMap* large_mark_objects = large_object_space->GetMarkObjects();
756 if (swap_bitmaps) {
757 std::swap(large_live_objects, large_mark_objects);
758 }
759 SpaceSetMap::Objects& live_objects = large_live_objects->GetObjects();
760 // O(n*log(n)) but hopefully there are not too many large objects.
761 size_t freed_objects = 0;
Mathieu Chartier2fde5332012-09-14 14:51:54 -0700762 size_t freed_bytes = 0;
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -0700763 // TODO: C++0x
Ian Rogers50b35e22012-10-04 10:09:15 -0700764 Thread* self = Thread::Current();
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -0700765 for (SpaceSetMap::Objects::iterator it = live_objects.begin(); it != live_objects.end(); ++it) {
766 if (!large_mark_objects->Test(*it)) {
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -0700767 freed_bytes += large_object_space->Free(self, const_cast<Object*>(*it));
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -0700768 ++freed_objects;
769 }
770 }
771 freed_objects_ += freed_objects;
Mathieu Chartier2fde5332012-09-14 14:51:54 -0700772 freed_bytes_ += freed_bytes;
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -0700773 // Large objects don't count towards bytes_allocated.
Mathieu Chartier2fde5332012-09-14 14:51:54 -0700774 GetHeap()->RecordFree(freed_objects, freed_bytes);
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -0700775}
776
Mathieu Chartierb43b7d42012-06-19 13:15:09 -0700777void MarkSweep::CheckReference(const Object* obj, const Object* ref, MemberOffset offset, bool is_static) {
Mathieu Chartierb062fdd2012-07-03 09:51:48 -0700778 const Spaces& spaces = heap_->GetSpaces();
779 // TODO: C++0x auto
780 for (Spaces::const_iterator cur = spaces.begin(); cur != spaces.end(); ++cur) {
781 if ((*cur)->IsAllocSpace() && (*cur)->Contains(ref)) {
782 DCHECK(IsMarked(obj));
Mathieu Chartierb43b7d42012-06-19 13:15:09 -0700783
Mathieu Chartierb062fdd2012-07-03 09:51:48 -0700784 bool is_marked = IsMarked(ref);
785 if (!is_marked) {
786 LOG(INFO) << **cur;
787 LOG(WARNING) << (is_static ? "Static ref'" : "Instance ref'") << PrettyTypeOf(ref)
788 << "' (" << reinterpret_cast<const void*>(ref) << ") in '" << PrettyTypeOf(obj)
789 << "' (" << reinterpret_cast<const void*>(obj) << ") at offset "
790 << reinterpret_cast<void*>(offset.Int32Value()) << " wasn't marked";
Mathieu Chartier262e5ff2012-06-01 17:35:38 -0700791
Mathieu Chartierb062fdd2012-07-03 09:51:48 -0700792 const Class* klass = is_static ? obj->AsClass() : obj->GetClass();
793 DCHECK(klass != NULL);
794 const ObjectArray<Field>* fields = is_static ? klass->GetSFields() : klass->GetIFields();
795 DCHECK(fields != NULL);
796 bool found = false;
797 for (int32_t i = 0; i < fields->GetLength(); ++i) {
798 const Field* cur = fields->Get(i);
799 if (cur->GetOffset().Int32Value() == offset.Int32Value()) {
800 LOG(WARNING) << "Field referencing the alloc space was " << PrettyField(cur);
801 found = true;
802 break;
803 }
804 }
805 if (!found) {
806 LOG(WARNING) << "Could not find field in object alloc space with offset " << offset.Int32Value();
807 }
Mathieu Chartier262e5ff2012-06-01 17:35:38 -0700808
Mathieu Chartierb062fdd2012-07-03 09:51:48 -0700809 bool obj_marked = heap_->GetCardTable()->IsDirty(obj);
810 if (!obj_marked) {
811 LOG(WARNING) << "Object '" << PrettyTypeOf(obj) << "' "
812 << "(" << reinterpret_cast<const void*>(obj) << ") contains references to "
813 << "the alloc space, but wasn't card marked";
Mathieu Chartier262e5ff2012-06-01 17:35:38 -0700814 }
815 }
Ian Rogers5d76c432011-10-31 21:42:49 -0700816 }
Mathieu Chartierb062fdd2012-07-03 09:51:48 -0700817 break;
Ian Rogers5d76c432011-10-31 21:42:49 -0700818 }
819}
820
Carl Shapiro69759ea2011-07-21 18:13:35 -0700821// Process the "referent" field in a java.lang.ref.Reference. If the
822// referent has not yet been marked, put it on the appropriate list in
823// the gcHeap for later processing.
824void MarkSweep::DelayReferenceReferent(Object* obj) {
825 DCHECK(obj != NULL);
Brian Carlstrom1f870082011-08-23 16:02:11 -0700826 Class* klass = obj->GetClass();
827 DCHECK(klass != NULL);
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700828 DCHECK(klass->IsReferenceClass());
Elliott Hughesb3bd5f02012-03-08 21:05:27 -0800829 Object* pending = obj->GetFieldObject<Object*>(heap_->GetReferencePendingNextOffset(), false);
830 Object* referent = heap_->GetReferenceReferent(obj);
Mathieu Chartierd22d5482012-11-06 17:14:12 -0800831 if (kCountJavaLangRefs) {
832 ++reference_count_;
833 }
Carl Shapiro69759ea2011-07-21 18:13:35 -0700834 if (pending == NULL && referent != NULL && !IsMarked(referent)) {
Brian Carlstrom4873d462011-08-21 15:23:39 -0700835 Object** list = NULL;
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700836 if (klass->IsSoftReferenceClass()) {
Carl Shapiro69759ea2011-07-21 18:13:35 -0700837 list = &soft_reference_list_;
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700838 } else if (klass->IsWeakReferenceClass()) {
Carl Shapiro69759ea2011-07-21 18:13:35 -0700839 list = &weak_reference_list_;
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700840 } else if (klass->IsFinalizerReferenceClass()) {
Carl Shapiro69759ea2011-07-21 18:13:35 -0700841 list = &finalizer_reference_list_;
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700842 } else if (klass->IsPhantomReferenceClass()) {
Carl Shapiro69759ea2011-07-21 18:13:35 -0700843 list = &phantom_reference_list_;
844 }
Brian Carlstrom0796af02011-10-12 14:31:45 -0700845 DCHECK(list != NULL) << PrettyClass(klass) << " " << std::hex << klass->GetAccessFlags();
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700846 // TODO: One lock per list?
Elliott Hughesb3bd5f02012-03-08 21:05:27 -0800847 heap_->EnqueuePendingReference(obj, list);
Carl Shapiro69759ea2011-07-21 18:13:35 -0700848 }
849}
850
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700851void MarkSweep::ScanRoot(const Object* obj) {
852 ScanObject(obj);
853}
854
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700855class MarkObjectVisitor {
856 public:
857 MarkObjectVisitor(MarkSweep* const mark_sweep) : mark_sweep_(mark_sweep) {
858 }
859
860 void operator ()(const Object* /* obj */, const Object* ref, const MemberOffset& /* offset */,
Mathieu Chartierd22d5482012-11-06 17:14:12 -0800861 bool /* is_static */) const EXCLUSIVE_LOCKS_REQUIRED(Locks::heap_bitmap_lock_) {
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700862 mark_sweep_->MarkObject(ref);
863 }
864
865 private:
866 MarkSweep* const mark_sweep_;
867};
868
Carl Shapiro69759ea2011-07-21 18:13:35 -0700869// Scans an object reference. Determines the type of the reference
870// and dispatches to a specialized scanning routine.
Mathieu Chartiercc236d72012-07-20 10:29:05 -0700871void MarkSweep::ScanObject(const Object* obj) {
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700872 MarkObjectVisitor visitor(this);
873 ScanObjectVisit(obj, visitor);
874}
875
876class MarkStackChunk : public Task {
877public:
878 MarkStackChunk(ThreadPool* thread_pool, MarkSweep* mark_sweep, Object** begin, Object** end)
879 : mark_sweep_(mark_sweep),
880 thread_pool_(thread_pool),
881 index_(0),
882 length_(0),
883 output_(NULL) {
884 length_ = end - begin;
885 if (begin != end) {
886 // Cost not significant since we only do this for the initial set of mark stack chunks.
887 memcpy(data_, begin, length_ * sizeof(*begin));
888 }
889 if (kCountTasks) {
890 ++mark_sweep_->work_chunks_created_;
891 }
Mathieu Chartier357e9be2012-08-01 11:00:14 -0700892 }
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700893
894 ~MarkStackChunk() {
895 DCHECK(output_ == NULL || output_->length_ == 0);
896 DCHECK_GE(index_, length_);
897 delete output_;
898 if (kCountTasks) {
899 ++mark_sweep_->work_chunks_deleted_;
900 }
Carl Shapiro69759ea2011-07-21 18:13:35 -0700901 }
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700902
903 MarkSweep* const mark_sweep_;
904 ThreadPool* const thread_pool_;
905 static const size_t max_size = 1 * KB;
906 // Index of which object we are scanning. Only needs to be atomic if we are doing work stealing.
907 size_t index_;
908 // Input / output mark stack. We add newly marked references to data_ until length reaches
909 // max_size. This is an optimization so that less tasks are created.
910 // TODO: Investigate using a bounded buffer FIFO.
911 Object* data_[max_size];
912 // How many elements in data_ we need to scan.
913 size_t length_;
914 // Output block, newly marked references get added to the ouput block so that another thread can
915 // scan them.
916 MarkStackChunk* output_;
917
918 class MarkObjectParallelVisitor {
919 public:
920 MarkObjectParallelVisitor(MarkStackChunk* chunk_task) : chunk_task_(chunk_task) {
921
922 }
923
924 void operator ()(const Object* /* obj */, const Object* ref,
925 const MemberOffset& /* offset */, bool /* is_static */) const {
926 if (ref != NULL && chunk_task_->mark_sweep_->MarkObjectParallel(ref)) {
927 chunk_task_->MarkStackPush(ref);
928 }
929 }
930
931 private:
932 MarkStackChunk* const chunk_task_;
933 };
934
935 // Push an object into the block.
936 // Don't need to use atomic ++ since we only one thread is writing to an output block at any
937 // given time.
938 void Push(Object* obj) {
939 data_[length_++] = obj;
940 }
941
942 void MarkStackPush(const Object* obj) {
943 if (static_cast<size_t>(length_) < max_size) {
944 Push(const_cast<Object*>(obj));
945 } else {
946 // Internal buffer is full, push to a new buffer instead.
947 if (UNLIKELY(output_ == NULL)) {
948 AllocateOutputChunk();
949 } else if (UNLIKELY(static_cast<size_t>(output_->length_) == max_size)) {
950 // Output block is full, queue it up for processing and obtain a new block.
951 EnqueueOutput();
952 AllocateOutputChunk();
953 }
954 output_->Push(const_cast<Object*>(obj));
955 }
956 }
957
958 void ScanObject(Object* obj) {
959 mark_sweep_->ScanObjectVisit(obj, MarkObjectParallelVisitor(this));
960 }
961
962 void EnqueueOutput() {
963 if (output_ != NULL) {
964 uint64_t start = 0;
965 if (kMeasureOverhead) {
966 start = NanoTime();
967 }
968 thread_pool_->AddTask(Thread::Current(), output_);
969 output_ = NULL;
970 if (kMeasureOverhead) {
971 mark_sweep_->overhead_time_ += NanoTime() - start;
972 }
973 }
974 }
975
976 void AllocateOutputChunk() {
977 uint64_t start = 0;
978 if (kMeasureOverhead) {
979 start = NanoTime();
980 }
981 output_ = new MarkStackChunk(thread_pool_, mark_sweep_, NULL, NULL);
982 if (kMeasureOverhead) {
983 mark_sweep_->overhead_time_ += NanoTime() - start;
984 }
985 }
986
987 void Finalize() {
988 EnqueueOutput();
989 delete this;
990 }
991
992 // Scans all of the objects
993 virtual void Run(Thread* self) {
994 int index;
995 while ((index = index_++) < length_) {
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700996 if (kUseMarkStackPrefetch) {
Mathieu Chartierd22d5482012-11-06 17:14:12 -0800997 static const size_t prefetch_look_ahead = 1;
998 __builtin_prefetch(data_[std::min(index + prefetch_look_ahead, length_ - 1)]);
Mathieu Chartier02b6a782012-10-26 13:51:26 -0700999 }
1000 Object* obj = data_[index];
1001 DCHECK(obj != NULL);
1002 ScanObject(obj);
1003 }
1004 }
1005};
1006
1007void MarkSweep::ProcessMarkStackParallel() {
1008 CHECK(kDisableFinger) << "parallel mark stack processing cannot work when finger is enabled";
1009 Thread* self = Thread::Current();
1010 ThreadPool* thread_pool = GetHeap()->GetThreadPool();
1011 // Split the current mark stack up into work tasks.
1012 const size_t num_threads = thread_pool->GetThreadCount();
1013 const size_t stack_size = mark_stack_->Size();
1014 const size_t chunk_size =
1015 std::min((stack_size + num_threads - 1) / num_threads,
1016 static_cast<size_t>(MarkStackChunk::max_size));
1017 size_t index = 0;
1018 for (size_t i = 0; i < num_threads || index < stack_size; ++i) {
1019 Object** begin = &mark_stack_->Begin()[std::min(stack_size, index)];
1020 Object** end = &mark_stack_->Begin()[std::min(stack_size, index + chunk_size)];
1021 index += chunk_size;
1022 thread_pool->AddTask(self, new MarkStackChunk(thread_pool, this, begin, end));
1023 }
1024 thread_pool->StartWorkers(self);
1025 mark_stack_->Reset();
1026 thread_pool->Wait(self, true);
1027 //LOG(INFO) << "Idle wait time " << PrettyDuration(thread_pool->GetWaitTime());
1028 CHECK_EQ(work_chunks_created_, work_chunks_deleted_) << " some of the work chunks were leaked";
Carl Shapiro69759ea2011-07-21 18:13:35 -07001029}
1030
Ian Rogers5d76c432011-10-31 21:42:49 -07001031// Scan anything that's on the mark stack.
Carl Shapiro69759ea2011-07-21 18:13:35 -07001032void MarkSweep::ProcessMarkStack() {
Mathieu Chartier02b6a782012-10-26 13:51:26 -07001033 ThreadPool* thread_pool = GetHeap()->GetThreadPool();
1034 if (kParallelMarkStack && thread_pool != NULL && thread_pool->GetThreadCount() > 0) {
1035 ProcessMarkStackParallel();
1036 return;
1037 }
1038
Mathieu Chartierd8195f12012-10-05 12:21:28 -07001039 if (kUseMarkStackPrefetch) {
1040 const size_t fifo_size = 4;
1041 const size_t fifo_mask = fifo_size - 1;
1042 const Object* fifo[fifo_size];
1043 for (size_t i = 0;i < fifo_size;++i) {
1044 fifo[i] = NULL;
Mathieu Chartier357e9be2012-08-01 11:00:14 -07001045 }
Mathieu Chartierd8195f12012-10-05 12:21:28 -07001046 size_t fifo_pos = 0;
1047 size_t fifo_count = 0;
1048 for (;;) {
1049 const Object* obj = fifo[fifo_pos & fifo_mask];
1050 if (obj != NULL) {
1051 ScanObject(obj);
1052 fifo[fifo_pos & fifo_mask] = NULL;
1053 --fifo_count;
1054 }
Mathieu Chartier357e9be2012-08-01 11:00:14 -07001055
Mathieu Chartierd8195f12012-10-05 12:21:28 -07001056 if (!mark_stack_->IsEmpty()) {
1057 const Object* obj = mark_stack_->PopBack();
1058 DCHECK(obj != NULL);
1059 fifo[fifo_pos & fifo_mask] = obj;
1060 __builtin_prefetch(obj);
1061 fifo_count++;
1062 }
1063 fifo_pos++;
1064
1065 if (!fifo_count) {
1066 CHECK(mark_stack_->IsEmpty()) << mark_stack_->Size();
1067 break;
1068 }
1069 }
1070 } else {
1071 while (!mark_stack_->IsEmpty()) {
1072 const Object* obj = mark_stack_->PopBack();
Mathieu Chartier357e9be2012-08-01 11:00:14 -07001073 DCHECK(obj != NULL);
Mathieu Chartierd8195f12012-10-05 12:21:28 -07001074 ScanObject(obj);
Mathieu Chartier357e9be2012-08-01 11:00:14 -07001075 }
1076 }
Carl Shapiro69759ea2011-07-21 18:13:35 -07001077}
1078
Carl Shapiro69759ea2011-07-21 18:13:35 -07001079// Walks the reference list marking any references subject to the
1080// reference clearing policy. References with a black referent are
1081// removed from the list. References with white referents biased
1082// toward saving are blackened and also removed from the list.
1083void MarkSweep::PreserveSomeSoftReferences(Object** list) {
1084 DCHECK(list != NULL);
1085 Object* clear = NULL;
1086 size_t counter = 0;
Mathieu Chartierb43b7d42012-06-19 13:15:09 -07001087
1088 DCHECK(mark_stack_->IsEmpty());
1089
Carl Shapiro69759ea2011-07-21 18:13:35 -07001090 while (*list != NULL) {
Elliott Hughesb3bd5f02012-03-08 21:05:27 -08001091 Object* ref = heap_->DequeuePendingReference(list);
1092 Object* referent = heap_->GetReferenceReferent(ref);
Carl Shapiro69759ea2011-07-21 18:13:35 -07001093 if (referent == NULL) {
1094 // Referent was cleared by the user during marking.
1095 continue;
1096 }
1097 bool is_marked = IsMarked(referent);
1098 if (!is_marked && ((++counter) & 1)) {
1099 // Referent is white and biased toward saving, mark it.
1100 MarkObject(referent);
1101 is_marked = true;
1102 }
1103 if (!is_marked) {
1104 // Referent is white, queue it for clearing.
Elliott Hughesb3bd5f02012-03-08 21:05:27 -08001105 heap_->EnqueuePendingReference(ref, &clear);
Carl Shapiro69759ea2011-07-21 18:13:35 -07001106 }
1107 }
1108 *list = clear;
1109 // Restart the mark with the newly black references added to the
1110 // root set.
1111 ProcessMarkStack();
1112}
1113
Mathieu Chartier7469ebf2012-09-24 16:28:36 -07001114inline bool MarkSweep::IsMarked(const Object* object) const
1115 SHARED_LOCKS_REQUIRED(Locks::heap_bitmap_lock_) {
1116 if (object >= immune_begin_ && object < immune_end_) {
1117 return true;
1118 }
1119 DCHECK(current_mark_bitmap_ != NULL);
1120 if (current_mark_bitmap_->HasAddress(object)) {
1121 return current_mark_bitmap_->Test(object);
1122 }
1123 return heap_->GetMarkBitmap()->Test(object);
1124}
1125
1126
Carl Shapiro69759ea2011-07-21 18:13:35 -07001127// Unlink the reference list clearing references objects with white
1128// referents. Cleared references registered to a reference queue are
1129// scheduled for appending by the heap worker thread.
1130void MarkSweep::ClearWhiteReferences(Object** list) {
1131 DCHECK(list != NULL);
Carl Shapiro69759ea2011-07-21 18:13:35 -07001132 while (*list != NULL) {
Elliott Hughesb3bd5f02012-03-08 21:05:27 -08001133 Object* ref = heap_->DequeuePendingReference(list);
1134 Object* referent = heap_->GetReferenceReferent(ref);
Carl Shapiro69759ea2011-07-21 18:13:35 -07001135 if (referent != NULL && !IsMarked(referent)) {
1136 // Referent is white, clear it.
Elliott Hughesb3bd5f02012-03-08 21:05:27 -08001137 heap_->ClearReferenceReferent(ref);
1138 if (heap_->IsEnqueuable(ref)) {
1139 heap_->EnqueueReference(ref, &cleared_reference_list_);
Carl Shapiro69759ea2011-07-21 18:13:35 -07001140 }
1141 }
1142 }
1143 DCHECK(*list == NULL);
1144}
1145
1146// Enqueues finalizer references with white referents. White
1147// referents are blackened, moved to the zombie field, and the
1148// referent field is cleared.
1149void MarkSweep::EnqueueFinalizerReferences(Object** list) {
1150 DCHECK(list != NULL);
Elliott Hughesb3bd5f02012-03-08 21:05:27 -08001151 MemberOffset zombie_offset = heap_->GetFinalizerReferenceZombieOffset();
Carl Shapiro69759ea2011-07-21 18:13:35 -07001152 bool has_enqueued = false;
1153 while (*list != NULL) {
Elliott Hughesb3bd5f02012-03-08 21:05:27 -08001154 Object* ref = heap_->DequeuePendingReference(list);
1155 Object* referent = heap_->GetReferenceReferent(ref);
Carl Shapiro69759ea2011-07-21 18:13:35 -07001156 if (referent != NULL && !IsMarked(referent)) {
1157 MarkObject(referent);
1158 // If the referent is non-null the reference must queuable.
Elliott Hughesb3bd5f02012-03-08 21:05:27 -08001159 DCHECK(heap_->IsEnqueuable(ref));
Ian Rogers0cfe1fb2011-08-26 03:29:44 -07001160 ref->SetFieldObject(zombie_offset, referent, false);
Elliott Hughesb3bd5f02012-03-08 21:05:27 -08001161 heap_->ClearReferenceReferent(ref);
1162 heap_->EnqueueReference(ref, &cleared_reference_list_);
Carl Shapiro69759ea2011-07-21 18:13:35 -07001163 has_enqueued = true;
1164 }
1165 }
1166 if (has_enqueued) {
1167 ProcessMarkStack();
1168 }
1169 DCHECK(*list == NULL);
1170}
1171
Carl Shapiro58551df2011-07-24 03:09:51 -07001172// Process reference class instances and schedule finalizations.
Carl Shapiro69759ea2011-07-21 18:13:35 -07001173void MarkSweep::ProcessReferences(Object** soft_references, bool clear_soft,
1174 Object** weak_references,
1175 Object** finalizer_references,
1176 Object** phantom_references) {
1177 DCHECK(soft_references != NULL);
1178 DCHECK(weak_references != NULL);
1179 DCHECK(finalizer_references != NULL);
1180 DCHECK(phantom_references != NULL);
1181
1182 // Unless we are in the zygote or required to clear soft references
1183 // with white references, preserve some white referents.
Ian Rogers2945e242012-06-03 14:45:16 -07001184 if (!clear_soft && !Runtime::Current()->IsZygote()) {
Carl Shapiro69759ea2011-07-21 18:13:35 -07001185 PreserveSomeSoftReferences(soft_references);
1186 }
1187
1188 // Clear all remaining soft and weak references with white
1189 // referents.
1190 ClearWhiteReferences(soft_references);
1191 ClearWhiteReferences(weak_references);
1192
1193 // Preserve all white objects with finalize methods and schedule
1194 // them for finalization.
1195 EnqueueFinalizerReferences(finalizer_references);
1196
1197 // Clear all f-reachable soft and weak references with white
1198 // referents.
1199 ClearWhiteReferences(soft_references);
1200 ClearWhiteReferences(weak_references);
1201
1202 // Clear all phantom references with white referents.
1203 ClearWhiteReferences(phantom_references);
1204
1205 // At this point all reference lists should be empty.
1206 DCHECK(*soft_references == NULL);
1207 DCHECK(*weak_references == NULL);
1208 DCHECK(*finalizer_references == NULL);
1209 DCHECK(*phantom_references == NULL);
1210}
1211
Mathieu Chartier7469ebf2012-09-24 16:28:36 -07001212void MarkSweep::UnBindBitmaps() {
1213 const Spaces& spaces = heap_->GetSpaces();
1214 // TODO: C++0x auto
1215 for (Spaces::const_iterator it = spaces.begin(); it != spaces.end(); ++it) {
1216 Space* space = *it;
1217 if (space->IsAllocSpace()) {
Mathieu Chartier1c23e1e2012-10-12 14:14:11 -07001218 DlMallocSpace* alloc_space = space->AsAllocSpace();
Mathieu Chartier7469ebf2012-09-24 16:28:36 -07001219 if (alloc_space->temp_bitmap_.get() != NULL) {
1220 // At this point, the temp_bitmap holds our old mark bitmap.
1221 SpaceBitmap* new_bitmap = alloc_space->temp_bitmap_.release();
1222 GetHeap()->GetMarkBitmap()->ReplaceBitmap(alloc_space->mark_bitmap_.get(), new_bitmap);
1223 CHECK_EQ(alloc_space->mark_bitmap_.release(), alloc_space->live_bitmap_.get());
1224 alloc_space->mark_bitmap_.reset(new_bitmap);
1225 DCHECK(alloc_space->temp_bitmap_.get() == NULL);
1226 }
1227 }
1228 }
1229}
1230
Carl Shapiro69759ea2011-07-21 18:13:35 -07001231MarkSweep::~MarkSweep() {
Mathieu Chartierd22d5482012-11-06 17:14:12 -08001232 if (kCountScannedTypes) {
1233 VLOG(gc) << "MarkSweep scanned classes=" << class_count_ << " arrays=" << array_count_
1234 << " other=" << other_count_;
Mathieu Chartier02b6a782012-10-26 13:51:26 -07001235 }
1236
1237 if (kCountTasks) {
Mathieu Chartierd22d5482012-11-06 17:14:12 -08001238 VLOG(gc) << "Total number of work chunks allocated: " << work_chunks_created_;
Mathieu Chartier02b6a782012-10-26 13:51:26 -07001239 }
1240
1241 if (kMeasureOverhead) {
Mathieu Chartierd22d5482012-11-06 17:14:12 -08001242 VLOG(gc) << "Overhead time " << PrettyDuration(overhead_time_);
Mathieu Chartier02b6a782012-10-26 13:51:26 -07001243 }
1244
1245 if (kProfileLargeObjects) {
Mathieu Chartierd22d5482012-11-06 17:14:12 -08001246 VLOG(gc) << "Large objects tested " << large_object_test_ << " marked " << large_object_mark_;
Mathieu Chartier02b6a782012-10-26 13:51:26 -07001247 }
1248
1249 if (kCountClassesMarked) {
Mathieu Chartierd22d5482012-11-06 17:14:12 -08001250 VLOG(gc) << "Classes marked " << classes_marked_;
1251 }
1252
1253 if (kCountJavaLangRefs) {
1254 VLOG(gc) << "References scanned " << reference_count_;
Mathieu Chartier02b6a782012-10-26 13:51:26 -07001255 }
1256
Mathieu Chartier357e9be2012-08-01 11:00:14 -07001257 // Ensure that the mark stack is empty.
1258 CHECK(mark_stack_->IsEmpty());
1259
Mathieu Chartier02b6a782012-10-26 13:51:26 -07001260 // Clear all of the spaces' mark bitmaps.
Mathieu Chartierb062fdd2012-07-03 09:51:48 -07001261 const Spaces& spaces = heap_->GetSpaces();
1262 // TODO: C++0x auto
Mathieu Chartier357e9be2012-08-01 11:00:14 -07001263 for (Spaces::const_iterator it = spaces.begin(); it != spaces.end(); ++it) {
Mathieu Chartier7469ebf2012-09-24 16:28:36 -07001264 ContinuousSpace* space = *it;
1265 if (space->GetGcRetentionPolicy() != kGcRetentionPolicyNeverCollect) {
1266 space->GetMarkBitmap()->Clear();
Mathieu Chartierb062fdd2012-07-03 09:51:48 -07001267 }
1268 }
Mathieu Chartier5301cd22012-05-31 12:11:36 -07001269 mark_stack_->Reset();
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -07001270
1271 // Reset the marked large objects.
1272 LargeObjectSpace* large_objects = GetHeap()->GetLargeObjectsSpace();
Mathieu Chartiere0f0cb32012-08-28 11:26:00 -07001273 large_objects->GetMarkObjects()->Clear();
Carl Shapiro69759ea2011-07-21 18:13:35 -07001274}
1275
1276} // namespace art