blob: 8fe89b4a98c4500ed5527fd602ab55793e21896a [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()));
danno@chromium.org88aa0582012-03-23 15:11:57 +0000181 Code* target = Code::GetCodeFromTargetAddress(rinfo->target_address());
182 if (FLAG_cleanup_code_caches_at_gc && target->is_inline_cache_stub()
183 && (target->ic_age() != heap_->global_ic_age())) {
184 IC::Clear(rinfo->pc());
185 target = Code::GetCodeFromTargetAddress(rinfo->target_address());
186 }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000187 heap_->mark_compact_collector()->RecordRelocSlot(rinfo, Code::cast(target));
188 MarkObject(target);
189 }
190
191 void VisitDebugTarget(RelocInfo* rinfo) {
192 ASSERT((RelocInfo::IsJSReturn(rinfo->rmode()) &&
193 rinfo->IsPatchedReturnSequence()) ||
194 (RelocInfo::IsDebugBreakSlot(rinfo->rmode()) &&
195 rinfo->IsPatchedDebugBreakSlotSequence()));
196 Object* target = Code::GetCodeFromTargetAddress(rinfo->call_address());
197 heap_->mark_compact_collector()->RecordRelocSlot(rinfo, Code::cast(target));
198 MarkObject(target);
199 }
200
201 void VisitCodeEntry(Address entry_address) {
202 Object* target = Code::GetObjectFromEntryAddress(entry_address);
203 heap_->mark_compact_collector()->
204 RecordCodeEntrySlot(entry_address, Code::cast(target));
205 MarkObject(target);
206 }
207
208 void VisitPointer(Object** p) {
209 Object* obj = *p;
210 if (obj->NonFailureIsHeapObject()) {
211 heap_->mark_compact_collector()->RecordSlot(p, p, obj);
212 MarkObject(obj);
213 }
214 }
215
216 void VisitPointers(Object** start, Object** end) {
217 for (Object** p = start; p < end; p++) {
218 Object* obj = *p;
219 if (obj->NonFailureIsHeapObject()) {
220 heap_->mark_compact_collector()->RecordSlot(start, p, obj);
221 MarkObject(obj);
222 }
223 }
224 }
225
226 private:
227 // Mark object pointed to by p.
228 INLINE(void MarkObject(Object* obj)) {
229 HeapObject* heap_object = HeapObject::cast(obj);
230 MarkBit mark_bit = Marking::MarkBitFrom(heap_object);
231 if (mark_bit.data_only()) {
232 if (incremental_marking_->MarkBlackOrKeepGrey(mark_bit)) {
ulan@chromium.org2efb9002012-01-19 15:36:35 +0000233 MemoryChunk::IncrementLiveBytesFromGC(heap_object->address(),
234 heap_object->Size());
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000235 }
236 } else if (Marking::IsWhite(mark_bit)) {
237 incremental_marking_->WhiteToGreyAndPush(heap_object, mark_bit);
238 }
239 }
240
241 Heap* heap_;
242 IncrementalMarking* incremental_marking_;
243};
244
245
246class IncrementalMarkingRootMarkingVisitor : public ObjectVisitor {
247 public:
248 IncrementalMarkingRootMarkingVisitor(Heap* heap,
249 IncrementalMarking* incremental_marking)
250 : heap_(heap),
251 incremental_marking_(incremental_marking) {
252 }
253
254 void VisitPointer(Object** p) {
255 MarkObjectByPointer(p);
256 }
257
258 void VisitPointers(Object** start, Object** end) {
259 for (Object** p = start; p < end; p++) MarkObjectByPointer(p);
260 }
261
262 private:
263 void MarkObjectByPointer(Object** p) {
264 Object* obj = *p;
265 if (!obj->IsHeapObject()) return;
266
267 HeapObject* heap_object = HeapObject::cast(obj);
268 MarkBit mark_bit = Marking::MarkBitFrom(heap_object);
269 if (mark_bit.data_only()) {
270 if (incremental_marking_->MarkBlackOrKeepGrey(mark_bit)) {
ulan@chromium.org2efb9002012-01-19 15:36:35 +0000271 MemoryChunk::IncrementLiveBytesFromGC(heap_object->address(),
272 heap_object->Size());
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000273 }
274 } else {
275 if (Marking::IsWhite(mark_bit)) {
276 incremental_marking_->WhiteToGreyAndPush(heap_object, mark_bit);
277 }
278 }
279 }
280
281 Heap* heap_;
282 IncrementalMarking* incremental_marking_;
283};
284
285
286void IncrementalMarking::SetOldSpacePageFlags(MemoryChunk* chunk,
287 bool is_marking,
288 bool is_compacting) {
289 if (is_marking) {
290 chunk->SetFlag(MemoryChunk::POINTERS_TO_HERE_ARE_INTERESTING);
291 chunk->SetFlag(MemoryChunk::POINTERS_FROM_HERE_ARE_INTERESTING);
292
293 // It's difficult to filter out slots recorded for large objects.
294 if (chunk->owner()->identity() == LO_SPACE &&
295 chunk->size() > static_cast<size_t>(Page::kPageSize) &&
296 is_compacting) {
297 chunk->SetFlag(MemoryChunk::RESCAN_ON_EVACUATION);
298 }
299 } else if (chunk->owner()->identity() == CELL_SPACE ||
300 chunk->scan_on_scavenge()) {
301 chunk->ClearFlag(MemoryChunk::POINTERS_TO_HERE_ARE_INTERESTING);
302 chunk->ClearFlag(MemoryChunk::POINTERS_FROM_HERE_ARE_INTERESTING);
303 } else {
304 chunk->ClearFlag(MemoryChunk::POINTERS_TO_HERE_ARE_INTERESTING);
305 chunk->SetFlag(MemoryChunk::POINTERS_FROM_HERE_ARE_INTERESTING);
306 }
307}
308
309
310void IncrementalMarking::SetNewSpacePageFlags(NewSpacePage* chunk,
311 bool is_marking) {
312 chunk->SetFlag(MemoryChunk::POINTERS_TO_HERE_ARE_INTERESTING);
313 if (is_marking) {
314 chunk->SetFlag(MemoryChunk::POINTERS_FROM_HERE_ARE_INTERESTING);
315 } else {
316 chunk->ClearFlag(MemoryChunk::POINTERS_FROM_HERE_ARE_INTERESTING);
317 }
318 chunk->SetFlag(MemoryChunk::SCAN_ON_SCAVENGE);
319}
320
321
322void IncrementalMarking::DeactivateIncrementalWriteBarrierForSpace(
323 PagedSpace* space) {
324 PageIterator it(space);
325 while (it.has_next()) {
326 Page* p = it.next();
327 SetOldSpacePageFlags(p, false, false);
328 }
329}
330
331
332void IncrementalMarking::DeactivateIncrementalWriteBarrierForSpace(
333 NewSpace* space) {
334 NewSpacePageIterator it(space);
335 while (it.has_next()) {
336 NewSpacePage* p = it.next();
337 SetNewSpacePageFlags(p, false);
338 }
339}
340
341
342void IncrementalMarking::DeactivateIncrementalWriteBarrier() {
343 DeactivateIncrementalWriteBarrierForSpace(heap_->old_pointer_space());
344 DeactivateIncrementalWriteBarrierForSpace(heap_->old_data_space());
345 DeactivateIncrementalWriteBarrierForSpace(heap_->cell_space());
346 DeactivateIncrementalWriteBarrierForSpace(heap_->map_space());
347 DeactivateIncrementalWriteBarrierForSpace(heap_->code_space());
348 DeactivateIncrementalWriteBarrierForSpace(heap_->new_space());
349
350 LargePage* lop = heap_->lo_space()->first_page();
351 while (lop->is_valid()) {
352 SetOldSpacePageFlags(lop, false, false);
353 lop = lop->next_page();
354 }
355}
356
357
358void IncrementalMarking::ActivateIncrementalWriteBarrier(PagedSpace* space) {
359 PageIterator it(space);
360 while (it.has_next()) {
361 Page* p = it.next();
362 SetOldSpacePageFlags(p, true, is_compacting_);
363 }
364}
365
366
367void IncrementalMarking::ActivateIncrementalWriteBarrier(NewSpace* space) {
368 NewSpacePageIterator it(space->ToSpaceStart(), space->ToSpaceEnd());
369 while (it.has_next()) {
370 NewSpacePage* p = it.next();
371 SetNewSpacePageFlags(p, true);
372 }
373}
374
375
376void IncrementalMarking::ActivateIncrementalWriteBarrier() {
377 ActivateIncrementalWriteBarrier(heap_->old_pointer_space());
378 ActivateIncrementalWriteBarrier(heap_->old_data_space());
379 ActivateIncrementalWriteBarrier(heap_->cell_space());
380 ActivateIncrementalWriteBarrier(heap_->map_space());
381 ActivateIncrementalWriteBarrier(heap_->code_space());
382 ActivateIncrementalWriteBarrier(heap_->new_space());
383
384 LargePage* lop = heap_->lo_space()->first_page();
385 while (lop->is_valid()) {
386 SetOldSpacePageFlags(lop, true, is_compacting_);
387 lop = lop->next_page();
388 }
389}
390
391
392bool IncrementalMarking::WorthActivating() {
393#ifndef DEBUG
394 static const intptr_t kActivationThreshold = 8 * MB;
395#else
396 // TODO(gc) consider setting this to some low level so that some
397 // debug tests run with incremental marking and some without.
398 static const intptr_t kActivationThreshold = 0;
399#endif
400
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000401 return !FLAG_expose_gc &&
402 FLAG_incremental_marking &&
rossberg@chromium.orgb4b2aa62011-10-13 09:49:59 +0000403 !Serializer::enabled() &&
yangguo@chromium.org154ff992012-03-13 08:09:54 +0000404 heap_->PromotedSpaceSizeOfObjects() > kActivationThreshold;
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000405}
406
407
408void IncrementalMarking::ActivateGeneratedStub(Code* stub) {
409 ASSERT(RecordWriteStub::GetMode(stub) ==
410 RecordWriteStub::STORE_BUFFER_ONLY);
411
412 if (!IsMarking()) {
413 // Initially stub is generated in STORE_BUFFER_ONLY mode thus
414 // we don't need to do anything if incremental marking is
415 // not active.
416 } else if (IsCompacting()) {
417 RecordWriteStub::Patch(stub, RecordWriteStub::INCREMENTAL_COMPACTION);
418 } else {
419 RecordWriteStub::Patch(stub, RecordWriteStub::INCREMENTAL);
420 }
421}
422
423
424static void PatchIncrementalMarkingRecordWriteStubs(
425 Heap* heap, RecordWriteStub::Mode mode) {
erik.corry@gmail.comf2038fb2012-01-16 11:42:08 +0000426 UnseededNumberDictionary* stubs = heap->code_stubs();
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000427
428 int capacity = stubs->Capacity();
429 for (int i = 0; i < capacity; i++) {
430 Object* k = stubs->KeyAt(i);
431 if (stubs->IsKey(k)) {
432 uint32_t key = NumberToUint32(k);
433
434 if (CodeStub::MajorKeyFromKey(key) ==
435 CodeStub::RecordWrite) {
436 Object* e = stubs->ValueAt(i);
437 if (e->IsCode()) {
438 RecordWriteStub::Patch(Code::cast(e), mode);
439 }
440 }
441 }
442 }
443}
444
445
446void IncrementalMarking::EnsureMarkingDequeIsCommitted() {
447 if (marking_deque_memory_ == NULL) {
448 marking_deque_memory_ = new VirtualMemory(4 * MB);
danno@chromium.orgc612e022011-11-10 11:38:15 +0000449 }
450 if (!marking_deque_memory_committed_) {
451 bool success = marking_deque_memory_->Commit(
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000452 reinterpret_cast<Address>(marking_deque_memory_->address()),
453 marking_deque_memory_->size(),
454 false); // Not executable.
danno@chromium.orgc612e022011-11-10 11:38:15 +0000455 CHECK(success);
456 marking_deque_memory_committed_ = true;
457 }
458}
459
460void IncrementalMarking::UncommitMarkingDeque() {
ricow@chromium.org27bf2882011-11-17 08:34:43 +0000461 if (state_ == STOPPED && marking_deque_memory_committed_) {
danno@chromium.orgc612e022011-11-10 11:38:15 +0000462 bool success = marking_deque_memory_->Uncommit(
463 reinterpret_cast<Address>(marking_deque_memory_->address()),
464 marking_deque_memory_->size());
465 CHECK(success);
466 marking_deque_memory_committed_ = false;
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000467 }
468}
469
470
471void IncrementalMarking::Start() {
472 if (FLAG_trace_incremental_marking) {
473 PrintF("[IncrementalMarking] Start\n");
474 }
475 ASSERT(FLAG_incremental_marking);
476 ASSERT(state_ == STOPPED);
477
478 ResetStepCounters();
479
480 if (heap_->old_pointer_space()->IsSweepingComplete() &&
481 heap_->old_data_space()->IsSweepingComplete()) {
ricow@chromium.orgfa52deb2011-10-11 19:09:42 +0000482 StartMarking(ALLOW_COMPACTION);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000483 } else {
484 if (FLAG_trace_incremental_marking) {
485 PrintF("[IncrementalMarking] Start sweeping.\n");
486 }
487 state_ = SWEEPING;
488 }
489
490 heap_->new_space()->LowerInlineAllocationLimit(kAllocatedThreshold);
491}
492
493
494static void MarkObjectGreyDoNotEnqueue(Object* obj) {
495 if (obj->IsHeapObject()) {
496 HeapObject* heap_obj = HeapObject::cast(obj);
497 MarkBit mark_bit = Marking::MarkBitFrom(HeapObject::cast(obj));
498 if (Marking::IsBlack(mark_bit)) {
ulan@chromium.org2efb9002012-01-19 15:36:35 +0000499 MemoryChunk::IncrementLiveBytesFromGC(heap_obj->address(),
500 -heap_obj->Size());
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000501 }
502 Marking::AnyToGrey(mark_bit);
503 }
504}
505
506
ricow@chromium.orgfa52deb2011-10-11 19:09:42 +0000507void IncrementalMarking::StartMarking(CompactionFlag flag) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000508 if (FLAG_trace_incremental_marking) {
509 PrintF("[IncrementalMarking] Start marking\n");
510 }
511
ricow@chromium.orgfa52deb2011-10-11 19:09:42 +0000512 is_compacting_ = !FLAG_never_compact && (flag == ALLOW_COMPACTION) &&
jkummerow@chromium.orgab7dad42012-02-07 12:07:34 +0000513 heap_->mark_compact_collector()->StartCompaction(
514 MarkCompactCollector::INCREMENTAL_COMPACTION);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000515
516 state_ = MARKING;
517
518 RecordWriteStub::Mode mode = is_compacting_ ?
519 RecordWriteStub::INCREMENTAL_COMPACTION : RecordWriteStub::INCREMENTAL;
520
521 PatchIncrementalMarkingRecordWriteStubs(heap_, mode);
522
523 EnsureMarkingDequeIsCommitted();
524
525 // Initialize marking stack.
526 Address addr = static_cast<Address>(marking_deque_memory_->address());
527 size_t size = marking_deque_memory_->size();
528 if (FLAG_force_marking_deque_overflows) size = 64 * kPointerSize;
529 marking_deque_.Initialize(addr, addr + size);
530
531 ActivateIncrementalWriteBarrier();
532
533#ifdef DEBUG
534 // Marking bits are cleared by the sweeper.
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000535 if (FLAG_verify_heap) {
536 heap_->mark_compact_collector()->VerifyMarkbitsAreClean();
537 }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000538#endif
539
540 heap_->CompletelyClearInstanceofCache();
541 heap_->isolate()->compilation_cache()->MarkCompactPrologue();
542
543 if (FLAG_cleanup_code_caches_at_gc) {
544 // We will mark cache black with a separate pass
545 // when we finish marking.
546 MarkObjectGreyDoNotEnqueue(heap_->polymorphic_code_cache());
547 }
548
549 // Mark strong roots grey.
550 IncrementalMarkingRootMarkingVisitor visitor(heap_, this);
551 heap_->IterateStrongRoots(&visitor, VISIT_ONLY_STRONG);
552
553 // Ready to start incremental marking.
554 if (FLAG_trace_incremental_marking) {
555 PrintF("[IncrementalMarking] Running\n");
556 }
557}
558
559
560void IncrementalMarking::PrepareForScavenge() {
561 if (!IsMarking()) return;
562 NewSpacePageIterator it(heap_->new_space()->FromSpaceStart(),
563 heap_->new_space()->FromSpaceEnd());
564 while (it.has_next()) {
565 Bitmap::Clear(it.next());
566 }
567}
568
569
570void IncrementalMarking::UpdateMarkingDequeAfterScavenge() {
571 if (!IsMarking()) return;
572
573 int current = marking_deque_.bottom();
574 int mask = marking_deque_.mask();
575 int limit = marking_deque_.top();
576 HeapObject** array = marking_deque_.array();
577 int new_top = current;
578
579 Map* filler_map = heap_->one_pointer_filler_map();
580
581 while (current != limit) {
582 HeapObject* obj = array[current];
583 ASSERT(obj->IsHeapObject());
584 current = ((current + 1) & mask);
585 if (heap_->InNewSpace(obj)) {
586 MapWord map_word = obj->map_word();
587 if (map_word.IsForwardingAddress()) {
588 HeapObject* dest = map_word.ToForwardingAddress();
589 array[new_top] = dest;
590 new_top = ((new_top + 1) & mask);
591 ASSERT(new_top != marking_deque_.bottom());
ricow@chromium.orgfa52deb2011-10-11 19:09:42 +0000592#ifdef DEBUG
593 MarkBit mark_bit = Marking::MarkBitFrom(obj);
594 ASSERT(Marking::IsGrey(mark_bit) ||
595 (obj->IsFiller() && Marking::IsWhite(mark_bit)));
596#endif
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000597 }
598 } else if (obj->map() != filler_map) {
599 // Skip one word filler objects that appear on the
600 // stack when we perform in place array shift.
601 array[new_top] = obj;
602 new_top = ((new_top + 1) & mask);
603 ASSERT(new_top != marking_deque_.bottom());
ricow@chromium.orgfa52deb2011-10-11 19:09:42 +0000604#ifdef DEBUG
605 MarkBit mark_bit = Marking::MarkBitFrom(obj);
606 ASSERT(Marking::IsGrey(mark_bit) ||
607 (obj->IsFiller() && Marking::IsWhite(mark_bit)));
608#endif
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000609 }
610 }
611 marking_deque_.set_top(new_top);
612
613 steps_took_since_last_gc_ = 0;
614 steps_count_since_last_gc_ = 0;
615 longest_step_ = 0.0;
616}
617
618
619void IncrementalMarking::VisitGlobalContext(Context* ctx, ObjectVisitor* v) {
620 v->VisitPointers(
621 HeapObject::RawField(
622 ctx, Context::MarkCompactBodyDescriptor::kStartOffset),
623 HeapObject::RawField(
624 ctx, Context::MarkCompactBodyDescriptor::kEndOffset));
625
626 MarkCompactCollector* collector = heap_->mark_compact_collector();
627 for (int idx = Context::FIRST_WEAK_SLOT;
628 idx < Context::GLOBAL_CONTEXT_SLOTS;
629 ++idx) {
630 Object** slot =
631 HeapObject::RawField(ctx, FixedArray::OffsetOfElementAt(idx));
632 collector->RecordSlot(slot, slot, *slot);
633 }
634}
635
636
637void IncrementalMarking::Hurry() {
638 if (state() == MARKING) {
639 double start = 0.0;
640 if (FLAG_trace_incremental_marking) {
641 PrintF("[IncrementalMarking] Hurry\n");
642 start = OS::TimeCurrentMillis();
643 }
644 // TODO(gc) hurry can mark objects it encounters black as mutator
645 // was stopped.
646 Map* filler_map = heap_->one_pointer_filler_map();
647 Map* global_context_map = heap_->global_context_map();
648 IncrementalMarkingMarkingVisitor marking_visitor(heap_, this);
649 while (!marking_deque_.IsEmpty()) {
650 HeapObject* obj = marking_deque_.Pop();
651
652 // Explicitly skip one word fillers. Incremental markbit patterns are
653 // correct only for objects that occupy at least two words.
654 Map* map = obj->map();
655 if (map == filler_map) {
656 continue;
657 } else if (map == global_context_map) {
658 // Global contexts have weak fields.
659 VisitGlobalContext(Context::cast(obj), &marking_visitor);
660 } else {
661 obj->Iterate(&marking_visitor);
662 }
663
664 MarkBit mark_bit = Marking::MarkBitFrom(obj);
665 ASSERT(!Marking::IsBlack(mark_bit));
666 Marking::MarkBlack(mark_bit);
ulan@chromium.org2efb9002012-01-19 15:36:35 +0000667 MemoryChunk::IncrementLiveBytesFromGC(obj->address(), obj->Size());
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000668 }
669 state_ = COMPLETE;
670 if (FLAG_trace_incremental_marking) {
671 double end = OS::TimeCurrentMillis();
672 PrintF("[IncrementalMarking] Complete (hurry), spent %d ms.\n",
673 static_cast<int>(end - start));
674 }
675 }
676
677 if (FLAG_cleanup_code_caches_at_gc) {
678 PolymorphicCodeCache* poly_cache = heap_->polymorphic_code_cache();
679 Marking::GreyToBlack(Marking::MarkBitFrom(poly_cache));
ulan@chromium.org2efb9002012-01-19 15:36:35 +0000680 MemoryChunk::IncrementLiveBytesFromGC(poly_cache->address(),
681 PolymorphicCodeCache::kSize);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000682 }
683
684 Object* context = heap_->global_contexts_list();
685 while (!context->IsUndefined()) {
ricow@chromium.org7ad65222011-12-19 12:13:11 +0000686 // GC can happen when the context is not fully initialized,
687 // so the cache can be undefined.
688 HeapObject* cache = HeapObject::cast(
689 Context::cast(context)->get(Context::NORMALIZED_MAP_CACHE_INDEX));
690 if (!cache->IsUndefined()) {
691 MarkBit mark_bit = Marking::MarkBitFrom(cache);
692 if (Marking::IsGrey(mark_bit)) {
693 Marking::GreyToBlack(mark_bit);
ulan@chromium.org2efb9002012-01-19 15:36:35 +0000694 MemoryChunk::IncrementLiveBytesFromGC(cache->address(), cache->Size());
ricow@chromium.org7ad65222011-12-19 12:13:11 +0000695 }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000696 }
697 context = Context::cast(context)->get(Context::NEXT_CONTEXT_LINK);
698 }
699}
700
701
702void IncrementalMarking::Abort() {
703 if (IsStopped()) return;
704 if (FLAG_trace_incremental_marking) {
705 PrintF("[IncrementalMarking] Aborting.\n");
706 }
707 heap_->new_space()->LowerInlineAllocationLimit(0);
708 IncrementalMarking::set_should_hurry(false);
709 ResetStepCounters();
710 if (IsMarking()) {
711 PatchIncrementalMarkingRecordWriteStubs(heap_,
712 RecordWriteStub::STORE_BUFFER_ONLY);
713 DeactivateIncrementalWriteBarrier();
714
715 if (is_compacting_) {
716 LargeObjectIterator it(heap_->lo_space());
717 for (HeapObject* obj = it.Next(); obj != NULL; obj = it.Next()) {
718 Page* p = Page::FromAddress(obj->address());
719 if (p->IsFlagSet(Page::RESCAN_ON_EVACUATION)) {
720 p->ClearFlag(Page::RESCAN_ON_EVACUATION);
721 }
722 }
723 }
724 }
725 heap_->isolate()->stack_guard()->Continue(GC_REQUEST);
726 state_ = STOPPED;
727 is_compacting_ = false;
728}
729
730
731void IncrementalMarking::Finalize() {
732 Hurry();
733 state_ = STOPPED;
734 is_compacting_ = false;
735 heap_->new_space()->LowerInlineAllocationLimit(0);
736 IncrementalMarking::set_should_hurry(false);
737 ResetStepCounters();
738 PatchIncrementalMarkingRecordWriteStubs(heap_,
739 RecordWriteStub::STORE_BUFFER_ONLY);
740 DeactivateIncrementalWriteBarrier();
741 ASSERT(marking_deque_.IsEmpty());
742 heap_->isolate()->stack_guard()->Continue(GC_REQUEST);
743}
744
745
746void IncrementalMarking::MarkingComplete() {
747 state_ = COMPLETE;
748 // We will set the stack guard to request a GC now. This will mean the rest
749 // of the GC gets performed as soon as possible (we can't do a GC here in a
750 // record-write context). If a few things get allocated between now and then
751 // that shouldn't make us do a scavenge and keep being incremental, so we set
752 // the should-hurry flag to indicate that there can't be much work left to do.
753 set_should_hurry(true);
754 if (FLAG_trace_incremental_marking) {
755 PrintF("[IncrementalMarking] Complete (normal).\n");
756 }
svenpanne@chromium.orgecb9dd62011-12-01 08:22:35 +0000757 if (!heap_->idle_notification_will_schedule_next_gc()) {
758 heap_->isolate()->stack_guard()->RequestGC();
759 }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000760}
761
762
763void IncrementalMarking::Step(intptr_t allocated_bytes) {
764 if (heap_->gc_state() != Heap::NOT_IN_GC ||
765 !FLAG_incremental_marking ||
766 !FLAG_incremental_marking_steps ||
767 (state_ != SWEEPING && state_ != MARKING)) {
768 return;
769 }
770
771 allocated_ += allocated_bytes;
772
773 if (allocated_ < kAllocatedThreshold) return;
774
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000775 if (state_ == MARKING && no_marking_scope_depth_ > 0) return;
776
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000777 intptr_t bytes_to_process = allocated_ * allocation_marking_factor_;
danno@chromium.orgc612e022011-11-10 11:38:15 +0000778 bytes_scanned_ += bytes_to_process;
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000779
780 double start = 0;
781
782 if (FLAG_trace_incremental_marking || FLAG_trace_gc) {
783 start = OS::TimeCurrentMillis();
784 }
785
786 if (state_ == SWEEPING) {
svenpanne@chromium.orgecb9dd62011-12-01 08:22:35 +0000787 if (heap_->AdvanceSweepers(static_cast<int>(bytes_to_process))) {
danno@chromium.orgc612e022011-11-10 11:38:15 +0000788 bytes_scanned_ = 0;
ricow@chromium.orgfa52deb2011-10-11 19:09:42 +0000789 StartMarking(PREVENT_COMPACTION);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000790 }
791 } else if (state_ == MARKING) {
792 Map* filler_map = heap_->one_pointer_filler_map();
793 Map* global_context_map = heap_->global_context_map();
794 IncrementalMarkingMarkingVisitor marking_visitor(heap_, this);
795 while (!marking_deque_.IsEmpty() && bytes_to_process > 0) {
796 HeapObject* obj = marking_deque_.Pop();
797
798 // Explicitly skip one word fillers. Incremental markbit patterns are
799 // correct only for objects that occupy at least two words.
800 Map* map = obj->map();
801 if (map == filler_map) continue;
802
danno@chromium.org88aa0582012-03-23 15:11:57 +0000803 if (obj->IsMap()) {
804 Map* map = Map::cast(obj);
805 heap_->ClearCacheOnMap(map);
806 }
807
808
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000809 int size = obj->SizeFromMap(map);
810 bytes_to_process -= size;
811 MarkBit map_mark_bit = Marking::MarkBitFrom(map);
812 if (Marking::IsWhite(map_mark_bit)) {
813 WhiteToGreyAndPush(map, map_mark_bit);
814 }
815
816 // TODO(gc) switch to static visitor instead of normal visitor.
817 if (map == global_context_map) {
818 // Global contexts have weak fields.
819 Context* ctx = Context::cast(obj);
820
821 // We will mark cache black with a separate pass
822 // when we finish marking.
823 MarkObjectGreyDoNotEnqueue(ctx->normalized_map_cache());
824
825 VisitGlobalContext(ctx, &marking_visitor);
826 } else {
827 obj->IterateBody(map->instance_type(), size, &marking_visitor);
828 }
829
830 MarkBit obj_mark_bit = Marking::MarkBitFrom(obj);
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000831 SLOW_ASSERT(Marking::IsGrey(obj_mark_bit) ||
832 (obj->IsFiller() && Marking::IsWhite(obj_mark_bit)));
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000833 Marking::MarkBlack(obj_mark_bit);
ulan@chromium.org2efb9002012-01-19 15:36:35 +0000834 MemoryChunk::IncrementLiveBytesFromGC(obj->address(), size);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000835 }
836 if (marking_deque_.IsEmpty()) MarkingComplete();
837 }
838
839 allocated_ = 0;
840
841 steps_count_++;
842 steps_count_since_last_gc_++;
843
844 bool speed_up = false;
845
danno@chromium.orgc612e022011-11-10 11:38:15 +0000846 if ((steps_count_ % kAllocationMarkingFactorSpeedupInterval) == 0) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000847 if (FLAG_trace_gc) {
danno@chromium.orgc612e022011-11-10 11:38:15 +0000848 PrintF("Speed up marking after %d steps\n",
849 static_cast<int>(kAllocationMarkingFactorSpeedupInterval));
850 }
851 speed_up = true;
852 }
853
854 bool space_left_is_very_small =
855 (old_generation_space_available_at_start_of_incremental_ < 10 * MB);
856
857 bool only_1_nth_of_space_that_was_available_still_left =
858 (SpaceLeftInOldSpace() * (allocation_marking_factor_ + 1) <
859 old_generation_space_available_at_start_of_incremental_);
860
861 if (space_left_is_very_small ||
862 only_1_nth_of_space_that_was_available_still_left) {
863 if (FLAG_trace_gc) PrintF("Speed up marking because of low space left\n");
864 speed_up = true;
865 }
866
867 bool size_of_old_space_multiplied_by_n_during_marking =
868 (heap_->PromotedTotalSize() >
869 (allocation_marking_factor_ + 1) *
870 old_generation_space_used_at_start_of_incremental_);
871 if (size_of_old_space_multiplied_by_n_during_marking) {
872 speed_up = true;
873 if (FLAG_trace_gc) {
874 PrintF("Speed up marking because of heap size increase\n");
875 }
876 }
877
878 int64_t promoted_during_marking = heap_->PromotedTotalSize()
879 - old_generation_space_used_at_start_of_incremental_;
880 intptr_t delay = allocation_marking_factor_ * MB;
881 intptr_t scavenge_slack = heap_->MaxSemiSpaceSize();
882
883 // We try to scan at at least twice the speed that we are allocating.
884 if (promoted_during_marking > bytes_scanned_ / 2 + scavenge_slack + delay) {
885 if (FLAG_trace_gc) {
886 PrintF("Speed up marking because marker was not keeping up\n");
887 }
888 speed_up = true;
889 }
890
891 if (speed_up) {
892 if (state_ != MARKING) {
893 if (FLAG_trace_gc) {
894 PrintF("Postponing speeding up marking until marking starts\n");
895 }
896 } else {
897 allocation_marking_factor_ += kAllocationMarkingFactorSpeedup;
898 allocation_marking_factor_ = static_cast<int>(
899 Min(kMaxAllocationMarkingFactor,
900 static_cast<intptr_t>(allocation_marking_factor_ * 1.3)));
901 if (FLAG_trace_gc) {
902 PrintF("Marking speed increased to %d\n", allocation_marking_factor_);
903 }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000904 }
905 }
906
907 if (FLAG_trace_incremental_marking || FLAG_trace_gc) {
908 double end = OS::TimeCurrentMillis();
909 double delta = (end - start);
910 longest_step_ = Max(longest_step_, delta);
911 steps_took_ += delta;
912 steps_took_since_last_gc_ += delta;
913 }
914}
915
916
917void IncrementalMarking::ResetStepCounters() {
918 steps_count_ = 0;
919 steps_took_ = 0;
920 longest_step_ = 0.0;
921 old_generation_space_available_at_start_of_incremental_ =
922 SpaceLeftInOldSpace();
923 old_generation_space_used_at_start_of_incremental_ =
924 heap_->PromotedTotalSize();
925 steps_count_since_last_gc_ = 0;
926 steps_took_since_last_gc_ = 0;
927 bytes_rescanned_ = 0;
928 allocation_marking_factor_ = kInitialAllocationMarkingFactor;
danno@chromium.orgc612e022011-11-10 11:38:15 +0000929 bytes_scanned_ = 0;
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000930}
931
932
933int64_t IncrementalMarking::SpaceLeftInOldSpace() {
934 return heap_->MaxOldGenerationSize() - heap_->PromotedSpaceSize();
935}
936
937} } // namespace v8::internal