blob: d0346171d3db3f164831d64c56d9d29e848753c8 [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),
danno@chromium.orgc612e022011-11-10 11:38:15 +000044 marking_deque_memory_committed_(false),
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +000045 steps_count_(0),
46 steps_took_(0),
47 longest_step_(0.0),
48 old_generation_space_available_at_start_of_incremental_(0),
49 old_generation_space_used_at_start_of_incremental_(0),
50 steps_count_since_last_gc_(0),
51 steps_took_since_last_gc_(0),
52 should_hurry_(false),
53 allocation_marking_factor_(0),
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +000054 allocated_(0),
55 no_marking_scope_depth_(0) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +000056}
57
58
59void IncrementalMarking::TearDown() {
60 delete marking_deque_memory_;
61}
62
63
jkummerow@chromium.orgc3b37122011-11-07 10:14:12 +000064void IncrementalMarking::RecordWriteSlow(HeapObject* obj,
65 Object** slot,
66 Object* value) {
67 if (BaseRecordWrite(obj, slot, value) && is_compacting_ && slot != NULL) {
68 MarkBit obj_bit = Marking::MarkBitFrom(obj);
69 if (Marking::IsBlack(obj_bit)) {
70 // Object is not going to be rescanned we need to record the slot.
71 heap_->mark_compact_collector()->RecordSlot(
72 HeapObject::RawField(obj, 0), slot, value);
73 }
74 }
75}
76
77
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +000078void IncrementalMarking::RecordWriteFromCode(HeapObject* obj,
79 Object* value,
80 Isolate* isolate) {
81 ASSERT(obj->IsHeapObject());
82
83 // Fast cases should already be covered by RecordWriteStub.
84 ASSERT(value->IsHeapObject());
85 ASSERT(!value->IsHeapNumber());
svenpanne@chromium.orga8bb4d92011-10-10 13:20:40 +000086 ASSERT(!value->IsString() ||
87 value->IsConsString() ||
88 value->IsSlicedString());
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +000089 ASSERT(Marking::IsWhite(Marking::MarkBitFrom(HeapObject::cast(value))));
90
91 IncrementalMarking* marking = isolate->heap()->incremental_marking();
92 ASSERT(!marking->is_compacting_);
93 marking->RecordWrite(obj, NULL, value);
94}
95
96
97void IncrementalMarking::RecordWriteForEvacuationFromCode(HeapObject* obj,
98 Object** slot,
99 Isolate* isolate) {
100 IncrementalMarking* marking = isolate->heap()->incremental_marking();
101 ASSERT(marking->is_compacting_);
102 marking->RecordWrite(obj, slot, *slot);
103}
104
105
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000106void IncrementalMarking::RecordCodeTargetPatch(Code* host,
107 Address pc,
108 HeapObject* value) {
109 if (IsMarking()) {
110 RelocInfo rinfo(pc, RelocInfo::CODE_TARGET, 0, host);
111 RecordWriteIntoCode(host, &rinfo, value);
112 }
113}
114
115
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000116void IncrementalMarking::RecordCodeTargetPatch(Address pc, HeapObject* value) {
117 if (IsMarking()) {
118 Code* host = heap_->isolate()->inner_pointer_to_code_cache()->
119 GcSafeFindCodeForInnerPointer(pc);
120 RelocInfo rinfo(pc, RelocInfo::CODE_TARGET, 0, host);
121 RecordWriteIntoCode(host, &rinfo, value);
122 }
123}
124
125
jkummerow@chromium.orgc3b37122011-11-07 10:14:12 +0000126void IncrementalMarking::RecordWriteOfCodeEntrySlow(JSFunction* host,
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000127 Object** slot,
128 Code* value) {
129 if (BaseRecordWrite(host, slot, value) && is_compacting_) {
130 ASSERT(slot != NULL);
131 heap_->mark_compact_collector()->
132 RecordCodeEntrySlot(reinterpret_cast<Address>(slot), value);
133 }
134}
135
136
jkummerow@chromium.orgc3b37122011-11-07 10:14:12 +0000137void IncrementalMarking::RecordWriteIntoCodeSlow(HeapObject* obj,
138 RelocInfo* rinfo,
139 Object* value) {
140 MarkBit value_bit = Marking::MarkBitFrom(HeapObject::cast(value));
141 if (Marking::IsWhite(value_bit)) {
142 MarkBit obj_bit = Marking::MarkBitFrom(obj);
143 if (Marking::IsBlack(obj_bit)) {
144 BlackToGreyAndUnshift(obj, obj_bit);
145 RestartIfNotMarking();
146 }
147 // Object is either grey or white. It will be scanned if survives.
148 return;
149 }
150
151 if (is_compacting_) {
152 MarkBit obj_bit = Marking::MarkBitFrom(obj);
153 if (Marking::IsBlack(obj_bit)) {
154 // Object is not going to be rescanned. We need to record the slot.
155 heap_->mark_compact_collector()->RecordRelocSlot(rinfo,
156 Code::cast(value));
157 }
158 }
159}
160
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000161
162class IncrementalMarkingMarkingVisitor : public ObjectVisitor {
163 public:
164 IncrementalMarkingMarkingVisitor(Heap* heap,
165 IncrementalMarking* incremental_marking)
166 : heap_(heap),
167 incremental_marking_(incremental_marking) {
168 }
169
rossberg@chromium.orgb4b2aa62011-10-13 09:49:59 +0000170 void VisitEmbeddedPointer(RelocInfo* rinfo) {
171 ASSERT(rinfo->rmode() == RelocInfo::EMBEDDED_OBJECT);
172 Object* target = rinfo->target_object();
173 if (target->NonFailureIsHeapObject()) {
174 heap_->mark_compact_collector()->RecordRelocSlot(rinfo, target);
175 MarkObject(target);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000176 }
177 }
178
179 void VisitCodeTarget(RelocInfo* rinfo) {
180 ASSERT(RelocInfo::IsCodeTarget(rinfo->rmode()));
181 Object* target = Code::GetCodeFromTargetAddress(rinfo->target_address());
182 heap_->mark_compact_collector()->RecordRelocSlot(rinfo, Code::cast(target));
183 MarkObject(target);
184 }
185
186 void VisitDebugTarget(RelocInfo* rinfo) {
187 ASSERT((RelocInfo::IsJSReturn(rinfo->rmode()) &&
188 rinfo->IsPatchedReturnSequence()) ||
189 (RelocInfo::IsDebugBreakSlot(rinfo->rmode()) &&
190 rinfo->IsPatchedDebugBreakSlotSequence()));
191 Object* target = Code::GetCodeFromTargetAddress(rinfo->call_address());
192 heap_->mark_compact_collector()->RecordRelocSlot(rinfo, Code::cast(target));
193 MarkObject(target);
194 }
195
196 void VisitCodeEntry(Address entry_address) {
197 Object* target = Code::GetObjectFromEntryAddress(entry_address);
198 heap_->mark_compact_collector()->
199 RecordCodeEntrySlot(entry_address, Code::cast(target));
200 MarkObject(target);
201 }
202
203 void VisitPointer(Object** p) {
204 Object* obj = *p;
205 if (obj->NonFailureIsHeapObject()) {
206 heap_->mark_compact_collector()->RecordSlot(p, p, obj);
207 MarkObject(obj);
208 }
209 }
210
211 void VisitPointers(Object** start, Object** end) {
212 for (Object** p = start; p < end; p++) {
213 Object* obj = *p;
214 if (obj->NonFailureIsHeapObject()) {
215 heap_->mark_compact_collector()->RecordSlot(start, p, obj);
216 MarkObject(obj);
217 }
218 }
219 }
220
221 private:
222 // Mark object pointed to by p.
223 INLINE(void MarkObject(Object* obj)) {
224 HeapObject* heap_object = HeapObject::cast(obj);
225 MarkBit mark_bit = Marking::MarkBitFrom(heap_object);
226 if (mark_bit.data_only()) {
227 if (incremental_marking_->MarkBlackOrKeepGrey(mark_bit)) {
ulan@chromium.org2efb9002012-01-19 15:36:35 +0000228 MemoryChunk::IncrementLiveBytesFromGC(heap_object->address(),
229 heap_object->Size());
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000230 }
231 } else if (Marking::IsWhite(mark_bit)) {
232 incremental_marking_->WhiteToGreyAndPush(heap_object, mark_bit);
233 }
234 }
235
236 Heap* heap_;
237 IncrementalMarking* incremental_marking_;
238};
239
240
241class IncrementalMarkingRootMarkingVisitor : public ObjectVisitor {
242 public:
243 IncrementalMarkingRootMarkingVisitor(Heap* heap,
244 IncrementalMarking* incremental_marking)
245 : heap_(heap),
246 incremental_marking_(incremental_marking) {
247 }
248
249 void VisitPointer(Object** p) {
250 MarkObjectByPointer(p);
251 }
252
253 void VisitPointers(Object** start, Object** end) {
254 for (Object** p = start; p < end; p++) MarkObjectByPointer(p);
255 }
256
257 private:
258 void MarkObjectByPointer(Object** p) {
259 Object* obj = *p;
260 if (!obj->IsHeapObject()) return;
261
262 HeapObject* heap_object = HeapObject::cast(obj);
263 MarkBit mark_bit = Marking::MarkBitFrom(heap_object);
264 if (mark_bit.data_only()) {
265 if (incremental_marking_->MarkBlackOrKeepGrey(mark_bit)) {
ulan@chromium.org2efb9002012-01-19 15:36:35 +0000266 MemoryChunk::IncrementLiveBytesFromGC(heap_object->address(),
267 heap_object->Size());
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000268 }
269 } else {
270 if (Marking::IsWhite(mark_bit)) {
271 incremental_marking_->WhiteToGreyAndPush(heap_object, mark_bit);
272 }
273 }
274 }
275
276 Heap* heap_;
277 IncrementalMarking* incremental_marking_;
278};
279
280
281void IncrementalMarking::SetOldSpacePageFlags(MemoryChunk* chunk,
282 bool is_marking,
283 bool is_compacting) {
284 if (is_marking) {
285 chunk->SetFlag(MemoryChunk::POINTERS_TO_HERE_ARE_INTERESTING);
286 chunk->SetFlag(MemoryChunk::POINTERS_FROM_HERE_ARE_INTERESTING);
287
288 // It's difficult to filter out slots recorded for large objects.
289 if (chunk->owner()->identity() == LO_SPACE &&
290 chunk->size() > static_cast<size_t>(Page::kPageSize) &&
291 is_compacting) {
292 chunk->SetFlag(MemoryChunk::RESCAN_ON_EVACUATION);
293 }
294 } else if (chunk->owner()->identity() == CELL_SPACE ||
295 chunk->scan_on_scavenge()) {
296 chunk->ClearFlag(MemoryChunk::POINTERS_TO_HERE_ARE_INTERESTING);
297 chunk->ClearFlag(MemoryChunk::POINTERS_FROM_HERE_ARE_INTERESTING);
298 } else {
299 chunk->ClearFlag(MemoryChunk::POINTERS_TO_HERE_ARE_INTERESTING);
300 chunk->SetFlag(MemoryChunk::POINTERS_FROM_HERE_ARE_INTERESTING);
301 }
302}
303
304
305void IncrementalMarking::SetNewSpacePageFlags(NewSpacePage* chunk,
306 bool is_marking) {
307 chunk->SetFlag(MemoryChunk::POINTERS_TO_HERE_ARE_INTERESTING);
308 if (is_marking) {
309 chunk->SetFlag(MemoryChunk::POINTERS_FROM_HERE_ARE_INTERESTING);
310 } else {
311 chunk->ClearFlag(MemoryChunk::POINTERS_FROM_HERE_ARE_INTERESTING);
312 }
313 chunk->SetFlag(MemoryChunk::SCAN_ON_SCAVENGE);
314}
315
316
317void IncrementalMarking::DeactivateIncrementalWriteBarrierForSpace(
318 PagedSpace* space) {
319 PageIterator it(space);
320 while (it.has_next()) {
321 Page* p = it.next();
322 SetOldSpacePageFlags(p, false, false);
323 }
324}
325
326
327void IncrementalMarking::DeactivateIncrementalWriteBarrierForSpace(
328 NewSpace* space) {
329 NewSpacePageIterator it(space);
330 while (it.has_next()) {
331 NewSpacePage* p = it.next();
332 SetNewSpacePageFlags(p, false);
333 }
334}
335
336
337void IncrementalMarking::DeactivateIncrementalWriteBarrier() {
338 DeactivateIncrementalWriteBarrierForSpace(heap_->old_pointer_space());
339 DeactivateIncrementalWriteBarrierForSpace(heap_->old_data_space());
340 DeactivateIncrementalWriteBarrierForSpace(heap_->cell_space());
341 DeactivateIncrementalWriteBarrierForSpace(heap_->map_space());
342 DeactivateIncrementalWriteBarrierForSpace(heap_->code_space());
343 DeactivateIncrementalWriteBarrierForSpace(heap_->new_space());
344
345 LargePage* lop = heap_->lo_space()->first_page();
346 while (lop->is_valid()) {
347 SetOldSpacePageFlags(lop, false, false);
348 lop = lop->next_page();
349 }
350}
351
352
353void IncrementalMarking::ActivateIncrementalWriteBarrier(PagedSpace* space) {
354 PageIterator it(space);
355 while (it.has_next()) {
356 Page* p = it.next();
357 SetOldSpacePageFlags(p, true, is_compacting_);
358 }
359}
360
361
362void IncrementalMarking::ActivateIncrementalWriteBarrier(NewSpace* space) {
363 NewSpacePageIterator it(space->ToSpaceStart(), space->ToSpaceEnd());
364 while (it.has_next()) {
365 NewSpacePage* p = it.next();
366 SetNewSpacePageFlags(p, true);
367 }
368}
369
370
371void IncrementalMarking::ActivateIncrementalWriteBarrier() {
372 ActivateIncrementalWriteBarrier(heap_->old_pointer_space());
373 ActivateIncrementalWriteBarrier(heap_->old_data_space());
374 ActivateIncrementalWriteBarrier(heap_->cell_space());
375 ActivateIncrementalWriteBarrier(heap_->map_space());
376 ActivateIncrementalWriteBarrier(heap_->code_space());
377 ActivateIncrementalWriteBarrier(heap_->new_space());
378
379 LargePage* lop = heap_->lo_space()->first_page();
380 while (lop->is_valid()) {
381 SetOldSpacePageFlags(lop, true, is_compacting_);
382 lop = lop->next_page();
383 }
384}
385
386
387bool IncrementalMarking::WorthActivating() {
388#ifndef DEBUG
389 static const intptr_t kActivationThreshold = 8 * MB;
390#else
391 // TODO(gc) consider setting this to some low level so that some
392 // debug tests run with incremental marking and some without.
393 static const intptr_t kActivationThreshold = 0;
394#endif
395
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000396 return !FLAG_expose_gc &&
397 FLAG_incremental_marking &&
rossberg@chromium.orgb4b2aa62011-10-13 09:49:59 +0000398 !Serializer::enabled() &&
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000399 heap_->PromotedSpaceSize() > kActivationThreshold;
400}
401
402
403void IncrementalMarking::ActivateGeneratedStub(Code* stub) {
404 ASSERT(RecordWriteStub::GetMode(stub) ==
405 RecordWriteStub::STORE_BUFFER_ONLY);
406
407 if (!IsMarking()) {
408 // Initially stub is generated in STORE_BUFFER_ONLY mode thus
409 // we don't need to do anything if incremental marking is
410 // not active.
411 } else if (IsCompacting()) {
412 RecordWriteStub::Patch(stub, RecordWriteStub::INCREMENTAL_COMPACTION);
413 } else {
414 RecordWriteStub::Patch(stub, RecordWriteStub::INCREMENTAL);
415 }
416}
417
418
419static void PatchIncrementalMarkingRecordWriteStubs(
420 Heap* heap, RecordWriteStub::Mode mode) {
erik.corry@gmail.comf2038fb2012-01-16 11:42:08 +0000421 UnseededNumberDictionary* stubs = heap->code_stubs();
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000422
423 int capacity = stubs->Capacity();
424 for (int i = 0; i < capacity; i++) {
425 Object* k = stubs->KeyAt(i);
426 if (stubs->IsKey(k)) {
427 uint32_t key = NumberToUint32(k);
428
429 if (CodeStub::MajorKeyFromKey(key) ==
430 CodeStub::RecordWrite) {
431 Object* e = stubs->ValueAt(i);
432 if (e->IsCode()) {
433 RecordWriteStub::Patch(Code::cast(e), mode);
434 }
435 }
436 }
437 }
438}
439
440
441void IncrementalMarking::EnsureMarkingDequeIsCommitted() {
442 if (marking_deque_memory_ == NULL) {
443 marking_deque_memory_ = new VirtualMemory(4 * MB);
danno@chromium.orgc612e022011-11-10 11:38:15 +0000444 }
445 if (!marking_deque_memory_committed_) {
446 bool success = marking_deque_memory_->Commit(
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000447 reinterpret_cast<Address>(marking_deque_memory_->address()),
448 marking_deque_memory_->size(),
449 false); // Not executable.
danno@chromium.orgc612e022011-11-10 11:38:15 +0000450 CHECK(success);
451 marking_deque_memory_committed_ = true;
452 }
453}
454
455void IncrementalMarking::UncommitMarkingDeque() {
ricow@chromium.org27bf2882011-11-17 08:34:43 +0000456 if (state_ == STOPPED && marking_deque_memory_committed_) {
danno@chromium.orgc612e022011-11-10 11:38:15 +0000457 bool success = marking_deque_memory_->Uncommit(
458 reinterpret_cast<Address>(marking_deque_memory_->address()),
459 marking_deque_memory_->size());
460 CHECK(success);
461 marking_deque_memory_committed_ = false;
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000462 }
463}
464
465
466void IncrementalMarking::Start() {
467 if (FLAG_trace_incremental_marking) {
468 PrintF("[IncrementalMarking] Start\n");
469 }
470 ASSERT(FLAG_incremental_marking);
471 ASSERT(state_ == STOPPED);
472
473 ResetStepCounters();
474
475 if (heap_->old_pointer_space()->IsSweepingComplete() &&
476 heap_->old_data_space()->IsSweepingComplete()) {
ricow@chromium.orgfa52deb2011-10-11 19:09:42 +0000477 StartMarking(ALLOW_COMPACTION);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000478 } else {
479 if (FLAG_trace_incremental_marking) {
480 PrintF("[IncrementalMarking] Start sweeping.\n");
481 }
482 state_ = SWEEPING;
483 }
484
485 heap_->new_space()->LowerInlineAllocationLimit(kAllocatedThreshold);
486}
487
488
489static void MarkObjectGreyDoNotEnqueue(Object* obj) {
490 if (obj->IsHeapObject()) {
491 HeapObject* heap_obj = HeapObject::cast(obj);
492 MarkBit mark_bit = Marking::MarkBitFrom(HeapObject::cast(obj));
493 if (Marking::IsBlack(mark_bit)) {
ulan@chromium.org2efb9002012-01-19 15:36:35 +0000494 MemoryChunk::IncrementLiveBytesFromGC(heap_obj->address(),
495 -heap_obj->Size());
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000496 }
497 Marking::AnyToGrey(mark_bit);
498 }
499}
500
501
ricow@chromium.orgfa52deb2011-10-11 19:09:42 +0000502void IncrementalMarking::StartMarking(CompactionFlag flag) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000503 if (FLAG_trace_incremental_marking) {
504 PrintF("[IncrementalMarking] Start marking\n");
505 }
506
ricow@chromium.orgfa52deb2011-10-11 19:09:42 +0000507 is_compacting_ = !FLAG_never_compact && (flag == ALLOW_COMPACTION) &&
jkummerow@chromium.orgab7dad42012-02-07 12:07:34 +0000508 heap_->mark_compact_collector()->StartCompaction(
509 MarkCompactCollector::INCREMENTAL_COMPACTION);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000510
511 state_ = MARKING;
512
513 RecordWriteStub::Mode mode = is_compacting_ ?
514 RecordWriteStub::INCREMENTAL_COMPACTION : RecordWriteStub::INCREMENTAL;
515
516 PatchIncrementalMarkingRecordWriteStubs(heap_, mode);
517
518 EnsureMarkingDequeIsCommitted();
519
520 // Initialize marking stack.
521 Address addr = static_cast<Address>(marking_deque_memory_->address());
522 size_t size = marking_deque_memory_->size();
523 if (FLAG_force_marking_deque_overflows) size = 64 * kPointerSize;
524 marking_deque_.Initialize(addr, addr + size);
525
526 ActivateIncrementalWriteBarrier();
527
528#ifdef DEBUG
529 // Marking bits are cleared by the sweeper.
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000530 if (FLAG_verify_heap) {
531 heap_->mark_compact_collector()->VerifyMarkbitsAreClean();
532 }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000533#endif
534
535 heap_->CompletelyClearInstanceofCache();
536 heap_->isolate()->compilation_cache()->MarkCompactPrologue();
537
538 if (FLAG_cleanup_code_caches_at_gc) {
539 // We will mark cache black with a separate pass
540 // when we finish marking.
541 MarkObjectGreyDoNotEnqueue(heap_->polymorphic_code_cache());
542 }
543
544 // Mark strong roots grey.
545 IncrementalMarkingRootMarkingVisitor visitor(heap_, this);
546 heap_->IterateStrongRoots(&visitor, VISIT_ONLY_STRONG);
547
548 // Ready to start incremental marking.
549 if (FLAG_trace_incremental_marking) {
550 PrintF("[IncrementalMarking] Running\n");
551 }
552}
553
554
555void IncrementalMarking::PrepareForScavenge() {
556 if (!IsMarking()) return;
557 NewSpacePageIterator it(heap_->new_space()->FromSpaceStart(),
558 heap_->new_space()->FromSpaceEnd());
559 while (it.has_next()) {
560 Bitmap::Clear(it.next());
561 }
562}
563
564
565void IncrementalMarking::UpdateMarkingDequeAfterScavenge() {
566 if (!IsMarking()) return;
567
568 int current = marking_deque_.bottom();
569 int mask = marking_deque_.mask();
570 int limit = marking_deque_.top();
571 HeapObject** array = marking_deque_.array();
572 int new_top = current;
573
574 Map* filler_map = heap_->one_pointer_filler_map();
575
576 while (current != limit) {
577 HeapObject* obj = array[current];
578 ASSERT(obj->IsHeapObject());
579 current = ((current + 1) & mask);
580 if (heap_->InNewSpace(obj)) {
581 MapWord map_word = obj->map_word();
582 if (map_word.IsForwardingAddress()) {
583 HeapObject* dest = map_word.ToForwardingAddress();
584 array[new_top] = dest;
585 new_top = ((new_top + 1) & mask);
586 ASSERT(new_top != marking_deque_.bottom());
ricow@chromium.orgfa52deb2011-10-11 19:09:42 +0000587#ifdef DEBUG
588 MarkBit mark_bit = Marking::MarkBitFrom(obj);
589 ASSERT(Marking::IsGrey(mark_bit) ||
590 (obj->IsFiller() && Marking::IsWhite(mark_bit)));
591#endif
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000592 }
593 } else if (obj->map() != filler_map) {
594 // Skip one word filler objects that appear on the
595 // stack when we perform in place array shift.
596 array[new_top] = obj;
597 new_top = ((new_top + 1) & mask);
598 ASSERT(new_top != marking_deque_.bottom());
ricow@chromium.orgfa52deb2011-10-11 19:09:42 +0000599#ifdef DEBUG
600 MarkBit mark_bit = Marking::MarkBitFrom(obj);
601 ASSERT(Marking::IsGrey(mark_bit) ||
602 (obj->IsFiller() && Marking::IsWhite(mark_bit)));
603#endif
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000604 }
605 }
606 marking_deque_.set_top(new_top);
607
608 steps_took_since_last_gc_ = 0;
609 steps_count_since_last_gc_ = 0;
610 longest_step_ = 0.0;
611}
612
613
614void IncrementalMarking::VisitGlobalContext(Context* ctx, ObjectVisitor* v) {
615 v->VisitPointers(
616 HeapObject::RawField(
617 ctx, Context::MarkCompactBodyDescriptor::kStartOffset),
618 HeapObject::RawField(
619 ctx, Context::MarkCompactBodyDescriptor::kEndOffset));
620
621 MarkCompactCollector* collector = heap_->mark_compact_collector();
622 for (int idx = Context::FIRST_WEAK_SLOT;
623 idx < Context::GLOBAL_CONTEXT_SLOTS;
624 ++idx) {
625 Object** slot =
626 HeapObject::RawField(ctx, FixedArray::OffsetOfElementAt(idx));
627 collector->RecordSlot(slot, slot, *slot);
628 }
629}
630
631
632void IncrementalMarking::Hurry() {
633 if (state() == MARKING) {
634 double start = 0.0;
635 if (FLAG_trace_incremental_marking) {
636 PrintF("[IncrementalMarking] Hurry\n");
637 start = OS::TimeCurrentMillis();
638 }
639 // TODO(gc) hurry can mark objects it encounters black as mutator
640 // was stopped.
641 Map* filler_map = heap_->one_pointer_filler_map();
642 Map* global_context_map = heap_->global_context_map();
643 IncrementalMarkingMarkingVisitor marking_visitor(heap_, this);
644 while (!marking_deque_.IsEmpty()) {
645 HeapObject* obj = marking_deque_.Pop();
646
647 // Explicitly skip one word fillers. Incremental markbit patterns are
648 // correct only for objects that occupy at least two words.
649 Map* map = obj->map();
650 if (map == filler_map) {
651 continue;
652 } else if (map == global_context_map) {
653 // Global contexts have weak fields.
654 VisitGlobalContext(Context::cast(obj), &marking_visitor);
655 } else {
656 obj->Iterate(&marking_visitor);
657 }
658
659 MarkBit mark_bit = Marking::MarkBitFrom(obj);
660 ASSERT(!Marking::IsBlack(mark_bit));
661 Marking::MarkBlack(mark_bit);
ulan@chromium.org2efb9002012-01-19 15:36:35 +0000662 MemoryChunk::IncrementLiveBytesFromGC(obj->address(), obj->Size());
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000663 }
664 state_ = COMPLETE;
665 if (FLAG_trace_incremental_marking) {
666 double end = OS::TimeCurrentMillis();
667 PrintF("[IncrementalMarking] Complete (hurry), spent %d ms.\n",
668 static_cast<int>(end - start));
669 }
670 }
671
672 if (FLAG_cleanup_code_caches_at_gc) {
673 PolymorphicCodeCache* poly_cache = heap_->polymorphic_code_cache();
674 Marking::GreyToBlack(Marking::MarkBitFrom(poly_cache));
ulan@chromium.org2efb9002012-01-19 15:36:35 +0000675 MemoryChunk::IncrementLiveBytesFromGC(poly_cache->address(),
676 PolymorphicCodeCache::kSize);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000677 }
678
679 Object* context = heap_->global_contexts_list();
680 while (!context->IsUndefined()) {
ricow@chromium.org7ad65222011-12-19 12:13:11 +0000681 // GC can happen when the context is not fully initialized,
682 // so the cache can be undefined.
683 HeapObject* cache = HeapObject::cast(
684 Context::cast(context)->get(Context::NORMALIZED_MAP_CACHE_INDEX));
685 if (!cache->IsUndefined()) {
686 MarkBit mark_bit = Marking::MarkBitFrom(cache);
687 if (Marking::IsGrey(mark_bit)) {
688 Marking::GreyToBlack(mark_bit);
ulan@chromium.org2efb9002012-01-19 15:36:35 +0000689 MemoryChunk::IncrementLiveBytesFromGC(cache->address(), cache->Size());
ricow@chromium.org7ad65222011-12-19 12:13:11 +0000690 }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000691 }
692 context = Context::cast(context)->get(Context::NEXT_CONTEXT_LINK);
693 }
694}
695
696
697void IncrementalMarking::Abort() {
698 if (IsStopped()) return;
699 if (FLAG_trace_incremental_marking) {
700 PrintF("[IncrementalMarking] Aborting.\n");
701 }
702 heap_->new_space()->LowerInlineAllocationLimit(0);
703 IncrementalMarking::set_should_hurry(false);
704 ResetStepCounters();
705 if (IsMarking()) {
706 PatchIncrementalMarkingRecordWriteStubs(heap_,
707 RecordWriteStub::STORE_BUFFER_ONLY);
708 DeactivateIncrementalWriteBarrier();
709
710 if (is_compacting_) {
711 LargeObjectIterator it(heap_->lo_space());
712 for (HeapObject* obj = it.Next(); obj != NULL; obj = it.Next()) {
713 Page* p = Page::FromAddress(obj->address());
714 if (p->IsFlagSet(Page::RESCAN_ON_EVACUATION)) {
715 p->ClearFlag(Page::RESCAN_ON_EVACUATION);
716 }
717 }
718 }
719 }
720 heap_->isolate()->stack_guard()->Continue(GC_REQUEST);
721 state_ = STOPPED;
722 is_compacting_ = false;
723}
724
725
726void IncrementalMarking::Finalize() {
727 Hurry();
728 state_ = STOPPED;
729 is_compacting_ = false;
730 heap_->new_space()->LowerInlineAllocationLimit(0);
731 IncrementalMarking::set_should_hurry(false);
732 ResetStepCounters();
733 PatchIncrementalMarkingRecordWriteStubs(heap_,
734 RecordWriteStub::STORE_BUFFER_ONLY);
735 DeactivateIncrementalWriteBarrier();
736 ASSERT(marking_deque_.IsEmpty());
737 heap_->isolate()->stack_guard()->Continue(GC_REQUEST);
738}
739
740
741void IncrementalMarking::MarkingComplete() {
742 state_ = COMPLETE;
743 // We will set the stack guard to request a GC now. This will mean the rest
744 // of the GC gets performed as soon as possible (we can't do a GC here in a
745 // record-write context). If a few things get allocated between now and then
746 // that shouldn't make us do a scavenge and keep being incremental, so we set
747 // the should-hurry flag to indicate that there can't be much work left to do.
748 set_should_hurry(true);
749 if (FLAG_trace_incremental_marking) {
750 PrintF("[IncrementalMarking] Complete (normal).\n");
751 }
svenpanne@chromium.orgecb9dd62011-12-01 08:22:35 +0000752 if (!heap_->idle_notification_will_schedule_next_gc()) {
753 heap_->isolate()->stack_guard()->RequestGC();
754 }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000755}
756
757
758void IncrementalMarking::Step(intptr_t allocated_bytes) {
759 if (heap_->gc_state() != Heap::NOT_IN_GC ||
760 !FLAG_incremental_marking ||
761 !FLAG_incremental_marking_steps ||
762 (state_ != SWEEPING && state_ != MARKING)) {
763 return;
764 }
765
766 allocated_ += allocated_bytes;
767
768 if (allocated_ < kAllocatedThreshold) return;
769
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000770 if (state_ == MARKING && no_marking_scope_depth_ > 0) return;
771
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000772 intptr_t bytes_to_process = allocated_ * allocation_marking_factor_;
danno@chromium.orgc612e022011-11-10 11:38:15 +0000773 bytes_scanned_ += bytes_to_process;
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000774
775 double start = 0;
776
777 if (FLAG_trace_incremental_marking || FLAG_trace_gc) {
778 start = OS::TimeCurrentMillis();
779 }
780
781 if (state_ == SWEEPING) {
svenpanne@chromium.orgecb9dd62011-12-01 08:22:35 +0000782 if (heap_->AdvanceSweepers(static_cast<int>(bytes_to_process))) {
danno@chromium.orgc612e022011-11-10 11:38:15 +0000783 bytes_scanned_ = 0;
ricow@chromium.orgfa52deb2011-10-11 19:09:42 +0000784 StartMarking(PREVENT_COMPACTION);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000785 }
786 } else if (state_ == MARKING) {
787 Map* filler_map = heap_->one_pointer_filler_map();
788 Map* global_context_map = heap_->global_context_map();
789 IncrementalMarkingMarkingVisitor marking_visitor(heap_, this);
790 while (!marking_deque_.IsEmpty() && bytes_to_process > 0) {
791 HeapObject* obj = marking_deque_.Pop();
792
793 // Explicitly skip one word fillers. Incremental markbit patterns are
794 // correct only for objects that occupy at least two words.
795 Map* map = obj->map();
796 if (map == filler_map) continue;
797
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000798 int size = obj->SizeFromMap(map);
799 bytes_to_process -= size;
800 MarkBit map_mark_bit = Marking::MarkBitFrom(map);
801 if (Marking::IsWhite(map_mark_bit)) {
802 WhiteToGreyAndPush(map, map_mark_bit);
803 }
804
805 // TODO(gc) switch to static visitor instead of normal visitor.
806 if (map == global_context_map) {
807 // Global contexts have weak fields.
808 Context* ctx = Context::cast(obj);
809
810 // We will mark cache black with a separate pass
811 // when we finish marking.
812 MarkObjectGreyDoNotEnqueue(ctx->normalized_map_cache());
813
814 VisitGlobalContext(ctx, &marking_visitor);
815 } else {
816 obj->IterateBody(map->instance_type(), size, &marking_visitor);
817 }
818
819 MarkBit obj_mark_bit = Marking::MarkBitFrom(obj);
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000820 SLOW_ASSERT(Marking::IsGrey(obj_mark_bit) ||
821 (obj->IsFiller() && Marking::IsWhite(obj_mark_bit)));
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000822 Marking::MarkBlack(obj_mark_bit);
ulan@chromium.org2efb9002012-01-19 15:36:35 +0000823 MemoryChunk::IncrementLiveBytesFromGC(obj->address(), size);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000824 }
825 if (marking_deque_.IsEmpty()) MarkingComplete();
826 }
827
828 allocated_ = 0;
829
830 steps_count_++;
831 steps_count_since_last_gc_++;
832
833 bool speed_up = false;
834
danno@chromium.orgc612e022011-11-10 11:38:15 +0000835 if ((steps_count_ % kAllocationMarkingFactorSpeedupInterval) == 0) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000836 if (FLAG_trace_gc) {
danno@chromium.orgc612e022011-11-10 11:38:15 +0000837 PrintF("Speed up marking after %d steps\n",
838 static_cast<int>(kAllocationMarkingFactorSpeedupInterval));
839 }
840 speed_up = true;
841 }
842
843 bool space_left_is_very_small =
844 (old_generation_space_available_at_start_of_incremental_ < 10 * MB);
845
846 bool only_1_nth_of_space_that_was_available_still_left =
847 (SpaceLeftInOldSpace() * (allocation_marking_factor_ + 1) <
848 old_generation_space_available_at_start_of_incremental_);
849
850 if (space_left_is_very_small ||
851 only_1_nth_of_space_that_was_available_still_left) {
852 if (FLAG_trace_gc) PrintF("Speed up marking because of low space left\n");
853 speed_up = true;
854 }
855
856 bool size_of_old_space_multiplied_by_n_during_marking =
857 (heap_->PromotedTotalSize() >
858 (allocation_marking_factor_ + 1) *
859 old_generation_space_used_at_start_of_incremental_);
860 if (size_of_old_space_multiplied_by_n_during_marking) {
861 speed_up = true;
862 if (FLAG_trace_gc) {
863 PrintF("Speed up marking because of heap size increase\n");
864 }
865 }
866
867 int64_t promoted_during_marking = heap_->PromotedTotalSize()
868 - old_generation_space_used_at_start_of_incremental_;
869 intptr_t delay = allocation_marking_factor_ * MB;
870 intptr_t scavenge_slack = heap_->MaxSemiSpaceSize();
871
872 // We try to scan at at least twice the speed that we are allocating.
873 if (promoted_during_marking > bytes_scanned_ / 2 + scavenge_slack + delay) {
874 if (FLAG_trace_gc) {
875 PrintF("Speed up marking because marker was not keeping up\n");
876 }
877 speed_up = true;
878 }
879
880 if (speed_up) {
881 if (state_ != MARKING) {
882 if (FLAG_trace_gc) {
883 PrintF("Postponing speeding up marking until marking starts\n");
884 }
885 } else {
886 allocation_marking_factor_ += kAllocationMarkingFactorSpeedup;
887 allocation_marking_factor_ = static_cast<int>(
888 Min(kMaxAllocationMarkingFactor,
889 static_cast<intptr_t>(allocation_marking_factor_ * 1.3)));
890 if (FLAG_trace_gc) {
891 PrintF("Marking speed increased to %d\n", allocation_marking_factor_);
892 }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000893 }
894 }
895
896 if (FLAG_trace_incremental_marking || FLAG_trace_gc) {
897 double end = OS::TimeCurrentMillis();
898 double delta = (end - start);
899 longest_step_ = Max(longest_step_, delta);
900 steps_took_ += delta;
901 steps_took_since_last_gc_ += delta;
902 }
903}
904
905
906void IncrementalMarking::ResetStepCounters() {
907 steps_count_ = 0;
908 steps_took_ = 0;
909 longest_step_ = 0.0;
910 old_generation_space_available_at_start_of_incremental_ =
911 SpaceLeftInOldSpace();
912 old_generation_space_used_at_start_of_incremental_ =
913 heap_->PromotedTotalSize();
914 steps_count_since_last_gc_ = 0;
915 steps_took_since_last_gc_ = 0;
916 bytes_rescanned_ = 0;
917 allocation_marking_factor_ = kInitialAllocationMarkingFactor;
danno@chromium.orgc612e022011-11-10 11:38:15 +0000918 bytes_scanned_ = 0;
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000919}
920
921
922int64_t IncrementalMarking::SpaceLeftInOldSpace() {
923 return heap_->MaxOldGenerationSize() - heap_->PromotedSpaceSize();
924}
925
926} } // namespace v8::internal