| OLD | NEW |
| 1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
| 2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
| 3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
| 4 // met: | 4 // met: |
| 5 // | 5 // |
| 6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
| 7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
| 8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
| 9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
| 10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
| (...skipping 170 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 181 MarkBit mark_bit = Marking::MarkBitFrom(HeapObject::cast(obj)); | 181 MarkBit mark_bit = Marking::MarkBitFrom(HeapObject::cast(obj)); |
| 182 if (Marking::IsBlack(mark_bit)) { | 182 if (Marking::IsBlack(mark_bit)) { |
| 183 MemoryChunk::IncrementLiveBytesFromGC(heap_obj->address(), | 183 MemoryChunk::IncrementLiveBytesFromGC(heap_obj->address(), |
| 184 -heap_obj->Size()); | 184 -heap_obj->Size()); |
| 185 } | 185 } |
| 186 Marking::AnyToGrey(mark_bit); | 186 Marking::AnyToGrey(mark_bit); |
| 187 } | 187 } |
| 188 } | 188 } |
| 189 | 189 |
| 190 | 190 |
| 191 static inline void MarkBlackOrKeepGrey(HeapObject* heap_object, |
| 192 MarkBit mark_bit, |
| 193 int size) { |
| 194 ASSERT(!Marking::IsImpossible(mark_bit)); |
| 195 if (mark_bit.Get()) return; |
| 196 mark_bit.Set(); |
| 197 MemoryChunk::IncrementLiveBytesFromGC(heap_object->address(), size); |
| 198 ASSERT(Marking::IsBlack(mark_bit)); |
| 199 } |
| 200 |
| 201 |
| 202 static inline void MarkBlackOrKeepBlack(HeapObject* heap_object, |
| 203 MarkBit mark_bit, |
| 204 int size) { |
| 205 ASSERT(!Marking::IsImpossible(mark_bit)); |
| 206 if (Marking::IsBlack(mark_bit)) return; |
| 207 Marking::MarkBlack(mark_bit); |
| 208 MemoryChunk::IncrementLiveBytesFromGC(heap_object->address(), size); |
| 209 ASSERT(Marking::IsBlack(mark_bit)); |
| 210 } |
| 211 |
| 212 |
| 191 class IncrementalMarkingMarkingVisitor | 213 class IncrementalMarkingMarkingVisitor |
| 192 : public StaticMarkingVisitor<IncrementalMarkingMarkingVisitor> { | 214 : public StaticMarkingVisitor<IncrementalMarkingMarkingVisitor> { |
| 193 public: | 215 public: |
| 194 static void Initialize() { | 216 static void Initialize() { |
| 195 StaticMarkingVisitor<IncrementalMarkingMarkingVisitor>::Initialize(); | 217 StaticMarkingVisitor<IncrementalMarkingMarkingVisitor>::Initialize(); |
| 196 | 218 table_.Register(kVisitFixedArray, &VisitFixedArrayIncremental); |
| 197 table_.Register(kVisitNativeContext, &VisitNativeContextIncremental); | 219 table_.Register(kVisitNativeContext, &VisitNativeContextIncremental); |
| 198 table_.Register(kVisitJSRegExp, &VisitJSRegExp); | 220 table_.Register(kVisitJSRegExp, &VisitJSRegExp); |
| 199 } | 221 } |
| 200 | 222 |
| 223 static const int kProgressBarScanningChunk = 32 * 1024; |
| 224 |
| 225 static void VisitFixedArrayIncremental(Map* map, HeapObject* object) { |
| 226 MemoryChunk* chunk = MemoryChunk::FromAddress(object->address()); |
| 227 // TODO(mstarzinger): Move setting of the flag to the allocation site of |
| 228 // the array. The visitor should just check the flag. |
| 229 if (FLAG_use_marking_progress_bar && |
| 230 chunk->owner()->identity() == LO_SPACE) { |
| 231 chunk->SetFlag(MemoryChunk::HAS_PROGRESS_BAR); |
| 232 } |
| 233 if (chunk->IsFlagSet(MemoryChunk::HAS_PROGRESS_BAR)) { |
| 234 Heap* heap = map->GetHeap(); |
| 235 // When using a progress bar for large fixed arrays, scan only a chunk of |
| 236 // the array and try to push it onto the marking deque again until it is |
| 237 // fully scanned. Fall back to scanning it through to the end in case this |
| 238 // fails because of a full deque. |
| 239 int object_size = FixedArray::BodyDescriptor::SizeOf(map, object); |
| 240 int start_offset = Max(FixedArray::BodyDescriptor::kStartOffset, |
| 241 chunk->progress_bar()); |
| 242 int end_offset = Min(object_size, |
| 243 start_offset + kProgressBarScanningChunk); |
| 244 bool scan_until_end = false; |
| 245 do { |
| 246 VisitPointersWithAnchor(heap, |
| 247 HeapObject::RawField(object, 0), |
| 248 HeapObject::RawField(object, start_offset), |
| 249 HeapObject::RawField(object, end_offset)); |
| 250 start_offset = end_offset; |
| 251 end_offset = Min(object_size, end_offset + kProgressBarScanningChunk); |
| 252 scan_until_end = heap->incremental_marking()->marking_deque()->IsFull(); |
| 253 } while (scan_until_end && start_offset < object_size); |
| 254 chunk->set_progress_bar(start_offset); |
| 255 if (start_offset < object_size) { |
| 256 heap->incremental_marking()->marking_deque()->UnshiftGrey(object); |
| 257 } |
| 258 } else { |
| 259 FixedArrayVisitor::Visit(map, object); |
| 260 } |
| 261 } |
| 262 |
| 201 static void VisitNativeContextIncremental(Map* map, HeapObject* object) { | 263 static void VisitNativeContextIncremental(Map* map, HeapObject* object) { |
| 202 Context* context = Context::cast(object); | 264 Context* context = Context::cast(object); |
| 203 | 265 |
| 204 // We will mark cache black with a separate pass | 266 // We will mark cache black with a separate pass |
| 205 // when we finish marking. | 267 // when we finish marking. |
| 206 MarkObjectGreyDoNotEnqueue(context->normalized_map_cache()); | 268 MarkObjectGreyDoNotEnqueue(context->normalized_map_cache()); |
| 207 VisitNativeContext(map, context); | 269 VisitNativeContext(map, context); |
| 208 } | 270 } |
| 209 | 271 |
| 210 static void VisitJSWeakMap(Map* map, HeapObject* object) { | 272 static void VisitJSWeakMap(Map* map, HeapObject* object) { |
| (...skipping 16 matching lines...) Expand all Loading... |
| 227 INLINE(static void VisitPointers(Heap* heap, Object** start, Object** end)) { | 289 INLINE(static void VisitPointers(Heap* heap, Object** start, Object** end)) { |
| 228 for (Object** p = start; p < end; p++) { | 290 for (Object** p = start; p < end; p++) { |
| 229 Object* obj = *p; | 291 Object* obj = *p; |
| 230 if (obj->NonFailureIsHeapObject()) { | 292 if (obj->NonFailureIsHeapObject()) { |
| 231 heap->mark_compact_collector()->RecordSlot(start, p, obj); | 293 heap->mark_compact_collector()->RecordSlot(start, p, obj); |
| 232 MarkObject(heap, obj); | 294 MarkObject(heap, obj); |
| 233 } | 295 } |
| 234 } | 296 } |
| 235 } | 297 } |
| 236 | 298 |
| 299 INLINE(static void VisitPointersWithAnchor(Heap* heap, |
| 300 Object** anchor, |
| 301 Object** start, |
| 302 Object** end)) { |
| 303 for (Object** p = start; p < end; p++) { |
| 304 Object* obj = *p; |
| 305 if (obj->NonFailureIsHeapObject()) { |
| 306 heap->mark_compact_collector()->RecordSlot(anchor, p, obj); |
| 307 MarkObject(heap, obj); |
| 308 } |
| 309 } |
| 310 } |
| 311 |
| 237 // Marks the object grey and pushes it on the marking stack. | 312 // Marks the object grey and pushes it on the marking stack. |
| 238 INLINE(static void MarkObject(Heap* heap, Object* obj)) { | 313 INLINE(static void MarkObject(Heap* heap, Object* obj)) { |
| 239 HeapObject* heap_object = HeapObject::cast(obj); | 314 HeapObject* heap_object = HeapObject::cast(obj); |
| 240 MarkBit mark_bit = Marking::MarkBitFrom(heap_object); | 315 MarkBit mark_bit = Marking::MarkBitFrom(heap_object); |
| 241 if (mark_bit.data_only()) { | 316 if (mark_bit.data_only()) { |
| 242 if (heap->incremental_marking()->MarkBlackOrKeepGrey(mark_bit)) { | 317 MarkBlackOrKeepGrey(heap_object, mark_bit, heap_object->Size()); |
| 243 MemoryChunk::IncrementLiveBytesFromGC(heap_object->address(), | |
| 244 heap_object->Size()); | |
| 245 } | |
| 246 } else if (Marking::IsWhite(mark_bit)) { | 318 } else if (Marking::IsWhite(mark_bit)) { |
| 247 heap->incremental_marking()->WhiteToGreyAndPush(heap_object, mark_bit); | 319 heap->incremental_marking()->WhiteToGreyAndPush(heap_object, mark_bit); |
| 248 } | 320 } |
| 249 } | 321 } |
| 250 | 322 |
| 251 // Marks the object black without pushing it on the marking stack. | 323 // Marks the object black without pushing it on the marking stack. |
| 252 // Returns true if object needed marking and false otherwise. | 324 // Returns true if object needed marking and false otherwise. |
| 253 INLINE(static bool MarkObjectWithoutPush(Heap* heap, Object* obj)) { | 325 INLINE(static bool MarkObjectWithoutPush(Heap* heap, Object* obj)) { |
| 254 HeapObject* heap_object = HeapObject::cast(obj); | 326 HeapObject* heap_object = HeapObject::cast(obj); |
| 255 MarkBit mark_bit = Marking::MarkBitFrom(heap_object); | 327 MarkBit mark_bit = Marking::MarkBitFrom(heap_object); |
| (...skipping 25 matching lines...) Expand all Loading... |
| 281 } | 353 } |
| 282 | 354 |
| 283 private: | 355 private: |
| 284 void MarkObjectByPointer(Object** p) { | 356 void MarkObjectByPointer(Object** p) { |
| 285 Object* obj = *p; | 357 Object* obj = *p; |
| 286 if (!obj->IsHeapObject()) return; | 358 if (!obj->IsHeapObject()) return; |
| 287 | 359 |
| 288 HeapObject* heap_object = HeapObject::cast(obj); | 360 HeapObject* heap_object = HeapObject::cast(obj); |
| 289 MarkBit mark_bit = Marking::MarkBitFrom(heap_object); | 361 MarkBit mark_bit = Marking::MarkBitFrom(heap_object); |
| 290 if (mark_bit.data_only()) { | 362 if (mark_bit.data_only()) { |
| 291 if (incremental_marking_->MarkBlackOrKeepGrey(mark_bit)) { | 363 MarkBlackOrKeepGrey(heap_object, mark_bit, heap_object->Size()); |
| 292 MemoryChunk::IncrementLiveBytesFromGC(heap_object->address(), | |
| 293 heap_object->Size()); | |
| 294 } | |
| 295 } else { | 364 } else { |
| 296 if (Marking::IsWhite(mark_bit)) { | 365 if (Marking::IsWhite(mark_bit)) { |
| 297 incremental_marking_->WhiteToGreyAndPush(heap_object, mark_bit); | 366 incremental_marking_->WhiteToGreyAndPush(heap_object, mark_bit); |
| 298 } | 367 } |
| 299 } | 368 } |
| 300 } | 369 } |
| 301 | 370 |
| 302 Heap* heap_; | 371 Heap* heap_; |
| 303 IncrementalMarking* incremental_marking_; | 372 IncrementalMarking* incremental_marking_; |
| 304 }; | 373 }; |
| (...skipping 304 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 609 #endif | 678 #endif |
| 610 } | 679 } |
| 611 } else if (obj->map() != filler_map) { | 680 } else if (obj->map() != filler_map) { |
| 612 // Skip one word filler objects that appear on the | 681 // Skip one word filler objects that appear on the |
| 613 // stack when we perform in place array shift. | 682 // stack when we perform in place array shift. |
| 614 array[new_top] = obj; | 683 array[new_top] = obj; |
| 615 new_top = ((new_top + 1) & mask); | 684 new_top = ((new_top + 1) & mask); |
| 616 ASSERT(new_top != marking_deque_.bottom()); | 685 ASSERT(new_top != marking_deque_.bottom()); |
| 617 #ifdef DEBUG | 686 #ifdef DEBUG |
| 618 MarkBit mark_bit = Marking::MarkBitFrom(obj); | 687 MarkBit mark_bit = Marking::MarkBitFrom(obj); |
| 688 MemoryChunk* chunk = MemoryChunk::FromAddress(obj->address()); |
| 619 ASSERT(Marking::IsGrey(mark_bit) || | 689 ASSERT(Marking::IsGrey(mark_bit) || |
| 620 (obj->IsFiller() && Marking::IsWhite(mark_bit))); | 690 (obj->IsFiller() && Marking::IsWhite(mark_bit)) || |
| 691 (chunk->IsFlagSet(MemoryChunk::HAS_PROGRESS_BAR) && |
| 692 Marking::IsBlack(mark_bit))); |
| 621 #endif | 693 #endif |
| 622 } | 694 } |
| 623 } | 695 } |
| 624 marking_deque_.set_top(new_top); | 696 marking_deque_.set_top(new_top); |
| 625 | 697 |
| 626 steps_took_since_last_gc_ = 0; | 698 steps_took_since_last_gc_ = 0; |
| 627 steps_count_since_last_gc_ = 0; | 699 steps_count_since_last_gc_ = 0; |
| 628 longest_step_ = 0.0; | 700 longest_step_ = 0.0; |
| 629 } | 701 } |
| 630 | 702 |
| 631 | 703 |
| 632 void IncrementalMarking::VisitObject(Map* map, HeapObject* obj, int size) { | 704 void IncrementalMarking::VisitObject(Map* map, HeapObject* obj, int size) { |
| 633 MarkBit map_mark_bit = Marking::MarkBitFrom(map); | 705 MarkBit map_mark_bit = Marking::MarkBitFrom(map); |
| 634 if (Marking::IsWhite(map_mark_bit)) { | 706 if (Marking::IsWhite(map_mark_bit)) { |
| 635 WhiteToGreyAndPush(map, map_mark_bit); | 707 WhiteToGreyAndPush(map, map_mark_bit); |
| 636 } | 708 } |
| 637 | 709 |
| 638 IncrementalMarkingMarkingVisitor::IterateBody(map, obj); | 710 IncrementalMarkingMarkingVisitor::IterateBody(map, obj); |
| 639 | 711 |
| 640 MarkBit obj_mark_bit = Marking::MarkBitFrom(obj); | 712 MarkBit mark_bit = Marking::MarkBitFrom(obj); |
| 641 SLOW_ASSERT(Marking::IsGrey(obj_mark_bit) || | 713 #ifdef DEBUG |
| 642 (obj->IsFiller() && Marking::IsWhite(obj_mark_bit))); | 714 MemoryChunk* chunk = MemoryChunk::FromAddress(obj->address()); |
| 643 Marking::MarkBlack(obj_mark_bit); | 715 SLOW_ASSERT(Marking::IsGrey(mark_bit) || |
| 644 MemoryChunk::IncrementLiveBytesFromGC(obj->address(), size); | 716 (obj->IsFiller() && Marking::IsWhite(mark_bit)) || |
| 717 (chunk->IsFlagSet(MemoryChunk::HAS_PROGRESS_BAR) && |
| 718 Marking::IsBlack(mark_bit))); |
| 719 #endif |
| 720 MarkBlackOrKeepBlack(obj, mark_bit, size); |
| 645 } | 721 } |
| 646 | 722 |
| 647 | 723 |
| 648 void IncrementalMarking::ProcessMarkingDeque(intptr_t bytes_to_process) { | 724 void IncrementalMarking::ProcessMarkingDeque(intptr_t bytes_to_process) { |
| 649 Map* filler_map = heap_->one_pointer_filler_map(); | 725 Map* filler_map = heap_->one_pointer_filler_map(); |
| 650 while (!marking_deque_.IsEmpty() && bytes_to_process > 0) { | 726 while (!marking_deque_.IsEmpty() && bytes_to_process > 0) { |
| 651 HeapObject* obj = marking_deque_.Pop(); | 727 HeapObject* obj = marking_deque_.Pop(); |
| 652 | 728 |
| 653 // Explicitly skip one word fillers. Incremental markbit patterns are | 729 // Explicitly skip one word fillers. Incremental markbit patterns are |
| 654 // correct only for objects that occupy at least two words. | 730 // correct only for objects that occupy at least two words. |
| (...skipping 265 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 920 bytes_scanned_ = 0; | 996 bytes_scanned_ = 0; |
| 921 write_barriers_invoked_since_last_step_ = 0; | 997 write_barriers_invoked_since_last_step_ = 0; |
| 922 } | 998 } |
| 923 | 999 |
| 924 | 1000 |
| 925 int64_t IncrementalMarking::SpaceLeftInOldSpace() { | 1001 int64_t IncrementalMarking::SpaceLeftInOldSpace() { |
| 926 return heap_->MaxOldGenerationSize() - heap_->PromotedSpaceSizeOfObjects(); | 1002 return heap_->MaxOldGenerationSize() - heap_->PromotedSpaceSizeOfObjects(); |
| 927 } | 1003 } |
| 928 | 1004 |
| 929 } } // namespace v8::internal | 1005 } } // namespace v8::internal |
| OLD | NEW |