blob: 68b830a4df75e688eda8de939997dfba69ff63ff [file] [log] [blame]
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00001// Copyright 2011 the V8 project authors. All rights reserved.
2// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
6// * Redistributions of source code must retain the above copyright
7// notice, this list of conditions and the following disclaimer.
8// * Redistributions in binary form must reproduce the above
9// copyright notice, this list of conditions and the following
10// disclaimer in the documentation and/or other materials provided
11// with the distribution.
12// * Neither the name of Google Inc. nor the names of its
13// contributors may be used to endorse or promote products derived
14// from this software without specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
28#include "v8.h"
29
30#include "incremental-marking.h"
31
32#include "code-stubs.h"
33#include "compilation-cache.h"
34#include "v8conversions.h"
35
36namespace v8 {
37namespace internal {
38
39
40IncrementalMarking::IncrementalMarking(Heap* heap)
41 : heap_(heap),
42 state_(STOPPED),
43 marking_deque_memory_(NULL),
44 steps_count_(0),
45 steps_took_(0),
46 longest_step_(0.0),
47 old_generation_space_available_at_start_of_incremental_(0),
48 old_generation_space_used_at_start_of_incremental_(0),
49 steps_count_since_last_gc_(0),
50 steps_took_since_last_gc_(0),
51 should_hurry_(false),
52 allocation_marking_factor_(0),
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +000053 allocated_(0),
54 no_marking_scope_depth_(0) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +000055}
56
57
58void IncrementalMarking::TearDown() {
59 delete marking_deque_memory_;
60}
61
62
63void IncrementalMarking::RecordWriteFromCode(HeapObject* obj,
64 Object* value,
65 Isolate* isolate) {
66 ASSERT(obj->IsHeapObject());
67
68 // Fast cases should already be covered by RecordWriteStub.
69 ASSERT(value->IsHeapObject());
70 ASSERT(!value->IsHeapNumber());
svenpanne@chromium.orga8bb4d92011-10-10 13:20:40 +000071 ASSERT(!value->IsString() ||
72 value->IsConsString() ||
73 value->IsSlicedString());
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +000074 ASSERT(Marking::IsWhite(Marking::MarkBitFrom(HeapObject::cast(value))));
75
76 IncrementalMarking* marking = isolate->heap()->incremental_marking();
77 ASSERT(!marking->is_compacting_);
78 marking->RecordWrite(obj, NULL, value);
79}
80
81
82void IncrementalMarking::RecordWriteForEvacuationFromCode(HeapObject* obj,
83 Object** slot,
84 Isolate* isolate) {
85 IncrementalMarking* marking = isolate->heap()->incremental_marking();
86 ASSERT(marking->is_compacting_);
87 marking->RecordWrite(obj, slot, *slot);
88}
89
90
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +000091void IncrementalMarking::RecordCodeTargetPatch(Code* host,
92 Address pc,
93 HeapObject* value) {
94 if (IsMarking()) {
95 RelocInfo rinfo(pc, RelocInfo::CODE_TARGET, 0, host);
96 RecordWriteIntoCode(host, &rinfo, value);
97 }
98}
99
100
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000101void IncrementalMarking::RecordCodeTargetPatch(Address pc, HeapObject* value) {
102 if (IsMarking()) {
103 Code* host = heap_->isolate()->inner_pointer_to_code_cache()->
104 GcSafeFindCodeForInnerPointer(pc);
105 RelocInfo rinfo(pc, RelocInfo::CODE_TARGET, 0, host);
106 RecordWriteIntoCode(host, &rinfo, value);
107 }
108}
109
110
111void IncrementalMarking::RecordWriteOfCodeEntry(JSFunction* host,
112 Object** slot,
113 Code* value) {
114 if (BaseRecordWrite(host, slot, value) && is_compacting_) {
115 ASSERT(slot != NULL);
116 heap_->mark_compact_collector()->
117 RecordCodeEntrySlot(reinterpret_cast<Address>(slot), value);
118 }
119}
120
121
122
123class IncrementalMarkingMarkingVisitor : public ObjectVisitor {
124 public:
125 IncrementalMarkingMarkingVisitor(Heap* heap,
126 IncrementalMarking* incremental_marking)
127 : heap_(heap),
128 incremental_marking_(incremental_marking) {
129 }
130
rossberg@chromium.orgb4b2aa62011-10-13 09:49:59 +0000131 void VisitEmbeddedPointer(RelocInfo* rinfo) {
132 ASSERT(rinfo->rmode() == RelocInfo::EMBEDDED_OBJECT);
133 Object* target = rinfo->target_object();
134 if (target->NonFailureIsHeapObject()) {
135 heap_->mark_compact_collector()->RecordRelocSlot(rinfo, target);
136 MarkObject(target);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000137 }
138 }
139
140 void VisitCodeTarget(RelocInfo* rinfo) {
141 ASSERT(RelocInfo::IsCodeTarget(rinfo->rmode()));
142 Object* target = Code::GetCodeFromTargetAddress(rinfo->target_address());
143 heap_->mark_compact_collector()->RecordRelocSlot(rinfo, Code::cast(target));
144 MarkObject(target);
145 }
146
147 void VisitDebugTarget(RelocInfo* rinfo) {
148 ASSERT((RelocInfo::IsJSReturn(rinfo->rmode()) &&
149 rinfo->IsPatchedReturnSequence()) ||
150 (RelocInfo::IsDebugBreakSlot(rinfo->rmode()) &&
151 rinfo->IsPatchedDebugBreakSlotSequence()));
152 Object* target = Code::GetCodeFromTargetAddress(rinfo->call_address());
153 heap_->mark_compact_collector()->RecordRelocSlot(rinfo, Code::cast(target));
154 MarkObject(target);
155 }
156
157 void VisitCodeEntry(Address entry_address) {
158 Object* target = Code::GetObjectFromEntryAddress(entry_address);
159 heap_->mark_compact_collector()->
160 RecordCodeEntrySlot(entry_address, Code::cast(target));
161 MarkObject(target);
162 }
163
164 void VisitPointer(Object** p) {
165 Object* obj = *p;
166 if (obj->NonFailureIsHeapObject()) {
167 heap_->mark_compact_collector()->RecordSlot(p, p, obj);
168 MarkObject(obj);
169 }
170 }
171
172 void VisitPointers(Object** start, Object** end) {
173 for (Object** p = start; p < end; p++) {
174 Object* obj = *p;
175 if (obj->NonFailureIsHeapObject()) {
176 heap_->mark_compact_collector()->RecordSlot(start, p, obj);
177 MarkObject(obj);
178 }
179 }
180 }
181
182 private:
183 // Mark object pointed to by p.
184 INLINE(void MarkObject(Object* obj)) {
185 HeapObject* heap_object = HeapObject::cast(obj);
186 MarkBit mark_bit = Marking::MarkBitFrom(heap_object);
187 if (mark_bit.data_only()) {
188 if (incremental_marking_->MarkBlackOrKeepGrey(mark_bit)) {
189 MemoryChunk::IncrementLiveBytes(heap_object->address(),
190 heap_object->Size());
191 }
192 } else if (Marking::IsWhite(mark_bit)) {
193 incremental_marking_->WhiteToGreyAndPush(heap_object, mark_bit);
194 }
195 }
196
197 Heap* heap_;
198 IncrementalMarking* incremental_marking_;
199};
200
201
202class IncrementalMarkingRootMarkingVisitor : public ObjectVisitor {
203 public:
204 IncrementalMarkingRootMarkingVisitor(Heap* heap,
205 IncrementalMarking* incremental_marking)
206 : heap_(heap),
207 incremental_marking_(incremental_marking) {
208 }
209
210 void VisitPointer(Object** p) {
211 MarkObjectByPointer(p);
212 }
213
214 void VisitPointers(Object** start, Object** end) {
215 for (Object** p = start; p < end; p++) MarkObjectByPointer(p);
216 }
217
218 private:
219 void MarkObjectByPointer(Object** p) {
220 Object* obj = *p;
221 if (!obj->IsHeapObject()) return;
222
223 HeapObject* heap_object = HeapObject::cast(obj);
224 MarkBit mark_bit = Marking::MarkBitFrom(heap_object);
225 if (mark_bit.data_only()) {
226 if (incremental_marking_->MarkBlackOrKeepGrey(mark_bit)) {
227 MemoryChunk::IncrementLiveBytes(heap_object->address(),
228 heap_object->Size());
229 }
230 } else {
231 if (Marking::IsWhite(mark_bit)) {
232 incremental_marking_->WhiteToGreyAndPush(heap_object, mark_bit);
233 }
234 }
235 }
236
237 Heap* heap_;
238 IncrementalMarking* incremental_marking_;
239};
240
241
242void IncrementalMarking::SetOldSpacePageFlags(MemoryChunk* chunk,
243 bool is_marking,
244 bool is_compacting) {
245 if (is_marking) {
246 chunk->SetFlag(MemoryChunk::POINTERS_TO_HERE_ARE_INTERESTING);
247 chunk->SetFlag(MemoryChunk::POINTERS_FROM_HERE_ARE_INTERESTING);
248
249 // It's difficult to filter out slots recorded for large objects.
250 if (chunk->owner()->identity() == LO_SPACE &&
251 chunk->size() > static_cast<size_t>(Page::kPageSize) &&
252 is_compacting) {
253 chunk->SetFlag(MemoryChunk::RESCAN_ON_EVACUATION);
254 }
255 } else if (chunk->owner()->identity() == CELL_SPACE ||
256 chunk->scan_on_scavenge()) {
257 chunk->ClearFlag(MemoryChunk::POINTERS_TO_HERE_ARE_INTERESTING);
258 chunk->ClearFlag(MemoryChunk::POINTERS_FROM_HERE_ARE_INTERESTING);
259 } else {
260 chunk->ClearFlag(MemoryChunk::POINTERS_TO_HERE_ARE_INTERESTING);
261 chunk->SetFlag(MemoryChunk::POINTERS_FROM_HERE_ARE_INTERESTING);
262 }
263}
264
265
266void IncrementalMarking::SetNewSpacePageFlags(NewSpacePage* chunk,
267 bool is_marking) {
268 chunk->SetFlag(MemoryChunk::POINTERS_TO_HERE_ARE_INTERESTING);
269 if (is_marking) {
270 chunk->SetFlag(MemoryChunk::POINTERS_FROM_HERE_ARE_INTERESTING);
271 } else {
272 chunk->ClearFlag(MemoryChunk::POINTERS_FROM_HERE_ARE_INTERESTING);
273 }
274 chunk->SetFlag(MemoryChunk::SCAN_ON_SCAVENGE);
275}
276
277
278void IncrementalMarking::DeactivateIncrementalWriteBarrierForSpace(
279 PagedSpace* space) {
280 PageIterator it(space);
281 while (it.has_next()) {
282 Page* p = it.next();
283 SetOldSpacePageFlags(p, false, false);
284 }
285}
286
287
288void IncrementalMarking::DeactivateIncrementalWriteBarrierForSpace(
289 NewSpace* space) {
290 NewSpacePageIterator it(space);
291 while (it.has_next()) {
292 NewSpacePage* p = it.next();
293 SetNewSpacePageFlags(p, false);
294 }
295}
296
297
298void IncrementalMarking::DeactivateIncrementalWriteBarrier() {
299 DeactivateIncrementalWriteBarrierForSpace(heap_->old_pointer_space());
300 DeactivateIncrementalWriteBarrierForSpace(heap_->old_data_space());
301 DeactivateIncrementalWriteBarrierForSpace(heap_->cell_space());
302 DeactivateIncrementalWriteBarrierForSpace(heap_->map_space());
303 DeactivateIncrementalWriteBarrierForSpace(heap_->code_space());
304 DeactivateIncrementalWriteBarrierForSpace(heap_->new_space());
305
306 LargePage* lop = heap_->lo_space()->first_page();
307 while (lop->is_valid()) {
308 SetOldSpacePageFlags(lop, false, false);
309 lop = lop->next_page();
310 }
311}
312
313
314void IncrementalMarking::ActivateIncrementalWriteBarrier(PagedSpace* space) {
315 PageIterator it(space);
316 while (it.has_next()) {
317 Page* p = it.next();
318 SetOldSpacePageFlags(p, true, is_compacting_);
319 }
320}
321
322
323void IncrementalMarking::ActivateIncrementalWriteBarrier(NewSpace* space) {
324 NewSpacePageIterator it(space->ToSpaceStart(), space->ToSpaceEnd());
325 while (it.has_next()) {
326 NewSpacePage* p = it.next();
327 SetNewSpacePageFlags(p, true);
328 }
329}
330
331
332void IncrementalMarking::ActivateIncrementalWriteBarrier() {
333 ActivateIncrementalWriteBarrier(heap_->old_pointer_space());
334 ActivateIncrementalWriteBarrier(heap_->old_data_space());
335 ActivateIncrementalWriteBarrier(heap_->cell_space());
336 ActivateIncrementalWriteBarrier(heap_->map_space());
337 ActivateIncrementalWriteBarrier(heap_->code_space());
338 ActivateIncrementalWriteBarrier(heap_->new_space());
339
340 LargePage* lop = heap_->lo_space()->first_page();
341 while (lop->is_valid()) {
342 SetOldSpacePageFlags(lop, true, is_compacting_);
343 lop = lop->next_page();
344 }
345}
346
347
348bool IncrementalMarking::WorthActivating() {
349#ifndef DEBUG
350 static const intptr_t kActivationThreshold = 8 * MB;
351#else
352 // TODO(gc) consider setting this to some low level so that some
353 // debug tests run with incremental marking and some without.
354 static const intptr_t kActivationThreshold = 0;
355#endif
356
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000357 return !FLAG_expose_gc &&
358 FLAG_incremental_marking &&
rossberg@chromium.orgb4b2aa62011-10-13 09:49:59 +0000359 !Serializer::enabled() &&
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000360 heap_->PromotedSpaceSize() > kActivationThreshold;
361}
362
363
364void IncrementalMarking::ActivateGeneratedStub(Code* stub) {
365 ASSERT(RecordWriteStub::GetMode(stub) ==
366 RecordWriteStub::STORE_BUFFER_ONLY);
367
368 if (!IsMarking()) {
369 // Initially stub is generated in STORE_BUFFER_ONLY mode thus
370 // we don't need to do anything if incremental marking is
371 // not active.
372 } else if (IsCompacting()) {
373 RecordWriteStub::Patch(stub, RecordWriteStub::INCREMENTAL_COMPACTION);
374 } else {
375 RecordWriteStub::Patch(stub, RecordWriteStub::INCREMENTAL);
376 }
377}
378
379
380static void PatchIncrementalMarkingRecordWriteStubs(
381 Heap* heap, RecordWriteStub::Mode mode) {
382 NumberDictionary* stubs = heap->code_stubs();
383
384 int capacity = stubs->Capacity();
385 for (int i = 0; i < capacity; i++) {
386 Object* k = stubs->KeyAt(i);
387 if (stubs->IsKey(k)) {
388 uint32_t key = NumberToUint32(k);
389
390 if (CodeStub::MajorKeyFromKey(key) ==
391 CodeStub::RecordWrite) {
392 Object* e = stubs->ValueAt(i);
393 if (e->IsCode()) {
394 RecordWriteStub::Patch(Code::cast(e), mode);
395 }
396 }
397 }
398 }
399}
400
401
402void IncrementalMarking::EnsureMarkingDequeIsCommitted() {
403 if (marking_deque_memory_ == NULL) {
404 marking_deque_memory_ = new VirtualMemory(4 * MB);
405 marking_deque_memory_->Commit(
406 reinterpret_cast<Address>(marking_deque_memory_->address()),
407 marking_deque_memory_->size(),
408 false); // Not executable.
409 }
410}
411
412
413void IncrementalMarking::Start() {
414 if (FLAG_trace_incremental_marking) {
415 PrintF("[IncrementalMarking] Start\n");
416 }
417 ASSERT(FLAG_incremental_marking);
418 ASSERT(state_ == STOPPED);
419
420 ResetStepCounters();
421
422 if (heap_->old_pointer_space()->IsSweepingComplete() &&
423 heap_->old_data_space()->IsSweepingComplete()) {
ricow@chromium.orgfa52deb2011-10-11 19:09:42 +0000424 StartMarking(ALLOW_COMPACTION);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000425 } else {
426 if (FLAG_trace_incremental_marking) {
427 PrintF("[IncrementalMarking] Start sweeping.\n");
428 }
429 state_ = SWEEPING;
430 }
431
432 heap_->new_space()->LowerInlineAllocationLimit(kAllocatedThreshold);
433}
434
435
436static void MarkObjectGreyDoNotEnqueue(Object* obj) {
437 if (obj->IsHeapObject()) {
438 HeapObject* heap_obj = HeapObject::cast(obj);
439 MarkBit mark_bit = Marking::MarkBitFrom(HeapObject::cast(obj));
440 if (Marking::IsBlack(mark_bit)) {
441 MemoryChunk::IncrementLiveBytes(heap_obj->address(),
442 -heap_obj->Size());
443 }
444 Marking::AnyToGrey(mark_bit);
445 }
446}
447
448
ricow@chromium.orgfa52deb2011-10-11 19:09:42 +0000449void IncrementalMarking::StartMarking(CompactionFlag flag) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000450 if (FLAG_trace_incremental_marking) {
451 PrintF("[IncrementalMarking] Start marking\n");
452 }
453
ricow@chromium.orgfa52deb2011-10-11 19:09:42 +0000454 is_compacting_ = !FLAG_never_compact && (flag == ALLOW_COMPACTION) &&
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000455 heap_->mark_compact_collector()->StartCompaction();
456
457 state_ = MARKING;
458
459 RecordWriteStub::Mode mode = is_compacting_ ?
460 RecordWriteStub::INCREMENTAL_COMPACTION : RecordWriteStub::INCREMENTAL;
461
462 PatchIncrementalMarkingRecordWriteStubs(heap_, mode);
463
464 EnsureMarkingDequeIsCommitted();
465
466 // Initialize marking stack.
467 Address addr = static_cast<Address>(marking_deque_memory_->address());
468 size_t size = marking_deque_memory_->size();
469 if (FLAG_force_marking_deque_overflows) size = 64 * kPointerSize;
470 marking_deque_.Initialize(addr, addr + size);
471
472 ActivateIncrementalWriteBarrier();
473
474#ifdef DEBUG
475 // Marking bits are cleared by the sweeper.
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000476 if (FLAG_verify_heap) {
477 heap_->mark_compact_collector()->VerifyMarkbitsAreClean();
478 }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000479#endif
480
481 heap_->CompletelyClearInstanceofCache();
482 heap_->isolate()->compilation_cache()->MarkCompactPrologue();
483
484 if (FLAG_cleanup_code_caches_at_gc) {
485 // We will mark cache black with a separate pass
486 // when we finish marking.
487 MarkObjectGreyDoNotEnqueue(heap_->polymorphic_code_cache());
488 }
489
490 // Mark strong roots grey.
491 IncrementalMarkingRootMarkingVisitor visitor(heap_, this);
492 heap_->IterateStrongRoots(&visitor, VISIT_ONLY_STRONG);
493
494 // Ready to start incremental marking.
495 if (FLAG_trace_incremental_marking) {
496 PrintF("[IncrementalMarking] Running\n");
497 }
498}
499
500
501void IncrementalMarking::PrepareForScavenge() {
502 if (!IsMarking()) return;
503 NewSpacePageIterator it(heap_->new_space()->FromSpaceStart(),
504 heap_->new_space()->FromSpaceEnd());
505 while (it.has_next()) {
506 Bitmap::Clear(it.next());
507 }
508}
509
510
511void IncrementalMarking::UpdateMarkingDequeAfterScavenge() {
512 if (!IsMarking()) return;
513
514 int current = marking_deque_.bottom();
515 int mask = marking_deque_.mask();
516 int limit = marking_deque_.top();
517 HeapObject** array = marking_deque_.array();
518 int new_top = current;
519
520 Map* filler_map = heap_->one_pointer_filler_map();
521
522 while (current != limit) {
523 HeapObject* obj = array[current];
524 ASSERT(obj->IsHeapObject());
525 current = ((current + 1) & mask);
526 if (heap_->InNewSpace(obj)) {
527 MapWord map_word = obj->map_word();
528 if (map_word.IsForwardingAddress()) {
529 HeapObject* dest = map_word.ToForwardingAddress();
530 array[new_top] = dest;
531 new_top = ((new_top + 1) & mask);
532 ASSERT(new_top != marking_deque_.bottom());
ricow@chromium.orgfa52deb2011-10-11 19:09:42 +0000533#ifdef DEBUG
534 MarkBit mark_bit = Marking::MarkBitFrom(obj);
535 ASSERT(Marking::IsGrey(mark_bit) ||
536 (obj->IsFiller() && Marking::IsWhite(mark_bit)));
537#endif
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000538 }
539 } else if (obj->map() != filler_map) {
540 // Skip one word filler objects that appear on the
541 // stack when we perform in place array shift.
542 array[new_top] = obj;
543 new_top = ((new_top + 1) & mask);
544 ASSERT(new_top != marking_deque_.bottom());
ricow@chromium.orgfa52deb2011-10-11 19:09:42 +0000545#ifdef DEBUG
546 MarkBit mark_bit = Marking::MarkBitFrom(obj);
547 ASSERT(Marking::IsGrey(mark_bit) ||
548 (obj->IsFiller() && Marking::IsWhite(mark_bit)));
549#endif
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000550 }
551 }
552 marking_deque_.set_top(new_top);
553
554 steps_took_since_last_gc_ = 0;
555 steps_count_since_last_gc_ = 0;
556 longest_step_ = 0.0;
557}
558
559
560void IncrementalMarking::VisitGlobalContext(Context* ctx, ObjectVisitor* v) {
561 v->VisitPointers(
562 HeapObject::RawField(
563 ctx, Context::MarkCompactBodyDescriptor::kStartOffset),
564 HeapObject::RawField(
565 ctx, Context::MarkCompactBodyDescriptor::kEndOffset));
566
567 MarkCompactCollector* collector = heap_->mark_compact_collector();
568 for (int idx = Context::FIRST_WEAK_SLOT;
569 idx < Context::GLOBAL_CONTEXT_SLOTS;
570 ++idx) {
571 Object** slot =
572 HeapObject::RawField(ctx, FixedArray::OffsetOfElementAt(idx));
573 collector->RecordSlot(slot, slot, *slot);
574 }
575}
576
577
578void IncrementalMarking::Hurry() {
579 if (state() == MARKING) {
580 double start = 0.0;
581 if (FLAG_trace_incremental_marking) {
582 PrintF("[IncrementalMarking] Hurry\n");
583 start = OS::TimeCurrentMillis();
584 }
585 // TODO(gc) hurry can mark objects it encounters black as mutator
586 // was stopped.
587 Map* filler_map = heap_->one_pointer_filler_map();
588 Map* global_context_map = heap_->global_context_map();
589 IncrementalMarkingMarkingVisitor marking_visitor(heap_, this);
590 while (!marking_deque_.IsEmpty()) {
591 HeapObject* obj = marking_deque_.Pop();
592
593 // Explicitly skip one word fillers. Incremental markbit patterns are
594 // correct only for objects that occupy at least two words.
595 Map* map = obj->map();
596 if (map == filler_map) {
597 continue;
598 } else if (map == global_context_map) {
599 // Global contexts have weak fields.
600 VisitGlobalContext(Context::cast(obj), &marking_visitor);
601 } else {
602 obj->Iterate(&marking_visitor);
603 }
604
605 MarkBit mark_bit = Marking::MarkBitFrom(obj);
606 ASSERT(!Marking::IsBlack(mark_bit));
607 Marking::MarkBlack(mark_bit);
608 MemoryChunk::IncrementLiveBytes(obj->address(), obj->Size());
609 }
610 state_ = COMPLETE;
611 if (FLAG_trace_incremental_marking) {
612 double end = OS::TimeCurrentMillis();
613 PrintF("[IncrementalMarking] Complete (hurry), spent %d ms.\n",
614 static_cast<int>(end - start));
615 }
616 }
617
618 if (FLAG_cleanup_code_caches_at_gc) {
619 PolymorphicCodeCache* poly_cache = heap_->polymorphic_code_cache();
620 Marking::GreyToBlack(Marking::MarkBitFrom(poly_cache));
621 MemoryChunk::IncrementLiveBytes(poly_cache->address(),
622 PolymorphicCodeCache::kSize);
623 }
624
625 Object* context = heap_->global_contexts_list();
626 while (!context->IsUndefined()) {
627 NormalizedMapCache* cache = Context::cast(context)->normalized_map_cache();
628 MarkBit mark_bit = Marking::MarkBitFrom(cache);
629 if (Marking::IsGrey(mark_bit)) {
630 Marking::GreyToBlack(mark_bit);
631 MemoryChunk::IncrementLiveBytes(cache->address(), cache->Size());
632 }
633 context = Context::cast(context)->get(Context::NEXT_CONTEXT_LINK);
634 }
635}
636
637
638void IncrementalMarking::Abort() {
639 if (IsStopped()) return;
640 if (FLAG_trace_incremental_marking) {
641 PrintF("[IncrementalMarking] Aborting.\n");
642 }
643 heap_->new_space()->LowerInlineAllocationLimit(0);
644 IncrementalMarking::set_should_hurry(false);
645 ResetStepCounters();
646 if (IsMarking()) {
647 PatchIncrementalMarkingRecordWriteStubs(heap_,
648 RecordWriteStub::STORE_BUFFER_ONLY);
649 DeactivateIncrementalWriteBarrier();
650
651 if (is_compacting_) {
652 LargeObjectIterator it(heap_->lo_space());
653 for (HeapObject* obj = it.Next(); obj != NULL; obj = it.Next()) {
654 Page* p = Page::FromAddress(obj->address());
655 if (p->IsFlagSet(Page::RESCAN_ON_EVACUATION)) {
656 p->ClearFlag(Page::RESCAN_ON_EVACUATION);
657 }
658 }
659 }
660 }
661 heap_->isolate()->stack_guard()->Continue(GC_REQUEST);
662 state_ = STOPPED;
663 is_compacting_ = false;
664}
665
666
667void IncrementalMarking::Finalize() {
668 Hurry();
669 state_ = STOPPED;
670 is_compacting_ = false;
671 heap_->new_space()->LowerInlineAllocationLimit(0);
672 IncrementalMarking::set_should_hurry(false);
673 ResetStepCounters();
674 PatchIncrementalMarkingRecordWriteStubs(heap_,
675 RecordWriteStub::STORE_BUFFER_ONLY);
676 DeactivateIncrementalWriteBarrier();
677 ASSERT(marking_deque_.IsEmpty());
678 heap_->isolate()->stack_guard()->Continue(GC_REQUEST);
679}
680
681
682void IncrementalMarking::MarkingComplete() {
683 state_ = COMPLETE;
684 // We will set the stack guard to request a GC now. This will mean the rest
685 // of the GC gets performed as soon as possible (we can't do a GC here in a
686 // record-write context). If a few things get allocated between now and then
687 // that shouldn't make us do a scavenge and keep being incremental, so we set
688 // the should-hurry flag to indicate that there can't be much work left to do.
689 set_should_hurry(true);
690 if (FLAG_trace_incremental_marking) {
691 PrintF("[IncrementalMarking] Complete (normal).\n");
692 }
693 heap_->isolate()->stack_guard()->RequestGC();
694}
695
696
697void IncrementalMarking::Step(intptr_t allocated_bytes) {
698 if (heap_->gc_state() != Heap::NOT_IN_GC ||
699 !FLAG_incremental_marking ||
700 !FLAG_incremental_marking_steps ||
701 (state_ != SWEEPING && state_ != MARKING)) {
702 return;
703 }
704
705 allocated_ += allocated_bytes;
706
707 if (allocated_ < kAllocatedThreshold) return;
708
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000709 if (state_ == MARKING && no_marking_scope_depth_ > 0) return;
710
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000711 intptr_t bytes_to_process = allocated_ * allocation_marking_factor_;
712
713 double start = 0;
714
715 if (FLAG_trace_incremental_marking || FLAG_trace_gc) {
716 start = OS::TimeCurrentMillis();
717 }
718
719 if (state_ == SWEEPING) {
720 if (heap_->old_pointer_space()->AdvanceSweeper(bytes_to_process) &&
721 heap_->old_data_space()->AdvanceSweeper(bytes_to_process)) {
ricow@chromium.orgfa52deb2011-10-11 19:09:42 +0000722 StartMarking(PREVENT_COMPACTION);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000723 }
724 } else if (state_ == MARKING) {
725 Map* filler_map = heap_->one_pointer_filler_map();
726 Map* global_context_map = heap_->global_context_map();
727 IncrementalMarkingMarkingVisitor marking_visitor(heap_, this);
728 while (!marking_deque_.IsEmpty() && bytes_to_process > 0) {
729 HeapObject* obj = marking_deque_.Pop();
730
731 // Explicitly skip one word fillers. Incremental markbit patterns are
732 // correct only for objects that occupy at least two words.
733 Map* map = obj->map();
734 if (map == filler_map) continue;
735
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000736 int size = obj->SizeFromMap(map);
737 bytes_to_process -= size;
738 MarkBit map_mark_bit = Marking::MarkBitFrom(map);
739 if (Marking::IsWhite(map_mark_bit)) {
740 WhiteToGreyAndPush(map, map_mark_bit);
741 }
742
743 // TODO(gc) switch to static visitor instead of normal visitor.
744 if (map == global_context_map) {
745 // Global contexts have weak fields.
746 Context* ctx = Context::cast(obj);
747
748 // We will mark cache black with a separate pass
749 // when we finish marking.
750 MarkObjectGreyDoNotEnqueue(ctx->normalized_map_cache());
751
752 VisitGlobalContext(ctx, &marking_visitor);
753 } else {
754 obj->IterateBody(map->instance_type(), size, &marking_visitor);
755 }
756
757 MarkBit obj_mark_bit = Marking::MarkBitFrom(obj);
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000758 SLOW_ASSERT(Marking::IsGrey(obj_mark_bit) ||
759 (obj->IsFiller() && Marking::IsWhite(obj_mark_bit)));
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000760 Marking::MarkBlack(obj_mark_bit);
761 MemoryChunk::IncrementLiveBytes(obj->address(), size);
762 }
763 if (marking_deque_.IsEmpty()) MarkingComplete();
764 }
765
766 allocated_ = 0;
767
768 steps_count_++;
769 steps_count_since_last_gc_++;
770
771 bool speed_up = false;
772
773 if (old_generation_space_available_at_start_of_incremental_ < 10 * MB ||
774 SpaceLeftInOldSpace() <
775 old_generation_space_available_at_start_of_incremental_ >> 1) {
776 // Half of the space that was available is gone while we were
777 // incrementally marking.
778 speed_up = true;
779 old_generation_space_available_at_start_of_incremental_ =
780 SpaceLeftInOldSpace();
781 }
782
783 if (heap_->PromotedTotalSize() >
784 old_generation_space_used_at_start_of_incremental_ << 1) {
785 // Size of old space doubled while we were incrementally marking.
786 speed_up = true;
787 old_generation_space_used_at_start_of_incremental_ =
788 heap_->PromotedTotalSize();
789 }
790
791 if ((steps_count_ % kAllocationMarkingFactorSpeedupInterval) == 0 &&
792 allocation_marking_factor_ < kMaxAllocationMarkingFactor) {
793 speed_up = true;
794 }
795
796 if (speed_up && 0) {
797 allocation_marking_factor_ += kAllocationMarkingFactorSpeedup;
798 allocation_marking_factor_ =
799 static_cast<int>(allocation_marking_factor_ * 1.3);
800 if (FLAG_trace_gc) {
801 PrintF("Marking speed increased to %d\n", allocation_marking_factor_);
802 }
803 }
804
805 if (FLAG_trace_incremental_marking || FLAG_trace_gc) {
806 double end = OS::TimeCurrentMillis();
807 double delta = (end - start);
808 longest_step_ = Max(longest_step_, delta);
809 steps_took_ += delta;
810 steps_took_since_last_gc_ += delta;
811 }
812}
813
814
815void IncrementalMarking::ResetStepCounters() {
816 steps_count_ = 0;
817 steps_took_ = 0;
818 longest_step_ = 0.0;
819 old_generation_space_available_at_start_of_incremental_ =
820 SpaceLeftInOldSpace();
821 old_generation_space_used_at_start_of_incremental_ =
822 heap_->PromotedTotalSize();
823 steps_count_since_last_gc_ = 0;
824 steps_took_since_last_gc_ = 0;
825 bytes_rescanned_ = 0;
826 allocation_marking_factor_ = kInitialAllocationMarkingFactor;
827}
828
829
830int64_t IncrementalMarking::SpaceLeftInOldSpace() {
831 return heap_->MaxOldGenerationSize() - heap_->PromotedSpaceSize();
832}
833
834} } // namespace v8::internal