| OLD | NEW |
| 1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #include "src/heap/mark-compact.h" | 5 #include "src/heap/mark-compact.h" |
| 6 | 6 |
| 7 #include "src/base/atomicops.h" | 7 #include "src/base/atomicops.h" |
| 8 #include "src/base/bits.h" | 8 #include "src/base/bits.h" |
| 9 #include "src/base/sys-info.h" | 9 #include "src/base/sys-info.h" |
| 10 #include "src/code-stubs.h" | 10 #include "src/code-stubs.h" |
| (...skipping 3285 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3296 MemoryChunk::kSweepingDone); | 3296 MemoryChunk::kSweepingDone); |
| 3297 if (p->parallel_compaction_state().TrySetValue( | 3297 if (p->parallel_compaction_state().TrySetValue( |
| 3298 MemoryChunk::kCompactingDone, MemoryChunk::kCompactingInProgress)) { | 3298 MemoryChunk::kCompactingDone, MemoryChunk::kCompactingInProgress)) { |
| 3299 if (p->IsEvacuationCandidate()) { | 3299 if (p->IsEvacuationCandidate()) { |
| 3300 DCHECK_EQ(p->parallel_compaction_state().Value(), | 3300 DCHECK_EQ(p->parallel_compaction_state().Value(), |
| 3301 MemoryChunk::kCompactingInProgress); | 3301 MemoryChunk::kCompactingInProgress); |
| 3302 double start = heap()->MonotonicallyIncreasingTimeInMs(); | 3302 double start = heap()->MonotonicallyIncreasingTimeInMs(); |
| 3303 intptr_t live_bytes = p->LiveBytes(); | 3303 intptr_t live_bytes = p->LiveBytes(); |
| 3304 AlwaysAllocateScope always_allocate(isolate()); | 3304 AlwaysAllocateScope always_allocate(isolate()); |
| 3305 if (VisitLiveObjects(p, &visitor, kClearMarkbits)) { | 3305 if (VisitLiveObjects(p, &visitor, kClearMarkbits)) { |
| 3306 p->ResetLiveBytes(); | |
| 3307 p->parallel_compaction_state().SetValue( | 3306 p->parallel_compaction_state().SetValue( |
| 3308 MemoryChunk::kCompactingFinalize); | 3307 MemoryChunk::kCompactingFinalize); |
| 3309 compaction_spaces->ReportCompactionProgress( | 3308 compaction_spaces->ReportCompactionProgress( |
| 3310 heap()->MonotonicallyIncreasingTimeInMs() - start, live_bytes); | 3309 heap()->MonotonicallyIncreasingTimeInMs() - start, live_bytes); |
| 3311 } else { | 3310 } else { |
| 3312 p->parallel_compaction_state().SetValue( | 3311 p->parallel_compaction_state().SetValue( |
| 3313 MemoryChunk::kCompactingAborted); | 3312 MemoryChunk::kCompactingAborted); |
| 3314 } | 3313 } |
| 3315 } else { | 3314 } else { |
| 3316 // There could be popular pages in the list of evacuation candidates | 3315 // There could be popular pages in the list of evacuation candidates |
| (...skipping 436 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3753 // Update pointers from external string table. | 3752 // Update pointers from external string table. |
| 3754 heap_->UpdateReferencesInExternalStringTable( | 3753 heap_->UpdateReferencesInExternalStringTable( |
| 3755 &UpdateReferenceInExternalStringTableEntry); | 3754 &UpdateReferenceInExternalStringTableEntry); |
| 3756 | 3755 |
| 3757 EvacuationWeakObjectRetainer evacuation_object_retainer; | 3756 EvacuationWeakObjectRetainer evacuation_object_retainer; |
| 3758 heap()->ProcessAllWeakReferences(&evacuation_object_retainer); | 3757 heap()->ProcessAllWeakReferences(&evacuation_object_retainer); |
| 3759 } | 3758 } |
| 3760 } | 3759 } |
| 3761 | 3760 |
| 3762 | 3761 |
| 3763 void MarkCompactCollector::MoveEvacuationCandidatesToEndOfPagesList() { | |
| 3764 int npages = evacuation_candidates_.length(); | |
| 3765 for (int i = 0; i < npages; i++) { | |
| 3766 Page* p = evacuation_candidates_[i]; | |
| 3767 if (!p->IsEvacuationCandidate()) continue; | |
| 3768 p->Unlink(); | |
| 3769 PagedSpace* space = static_cast<PagedSpace*>(p->owner()); | |
| 3770 p->InsertAfter(space->LastPage()); | |
| 3771 } | |
| 3772 } | |
| 3773 | |
| 3774 | |
| 3775 void MarkCompactCollector::ReleaseEvacuationCandidates() { | 3762 void MarkCompactCollector::ReleaseEvacuationCandidates() { |
| 3776 int npages = evacuation_candidates_.length(); | 3763 int npages = evacuation_candidates_.length(); |
| 3777 for (int i = 0; i < npages; i++) { | 3764 for (int i = 0; i < npages; i++) { |
| 3778 Page* p = evacuation_candidates_[i]; | 3765 Page* p = evacuation_candidates_[i]; |
| 3779 if (!p->IsEvacuationCandidate()) continue; | 3766 if (!p->IsEvacuationCandidate()) continue; |
| 3780 PagedSpace* space = static_cast<PagedSpace*>(p->owner()); | 3767 PagedSpace* space = static_cast<PagedSpace*>(p->owner()); |
| 3781 space->Free(p->area_start(), p->area_size()); | 3768 space->Free(p->area_start(), p->area_size()); |
| 3782 p->set_scan_on_scavenge(false); | 3769 p->set_scan_on_scavenge(false); |
| 3783 p->ResetLiveBytes(); | 3770 p->ResetLiveBytes(); |
| 3784 CHECK(p->WasSwept()); | 3771 CHECK(p->WasSwept()); |
| 3785 space->ReleasePage(p); | 3772 space->ReleasePage(p); |
| 3786 } | 3773 } |
| 3787 evacuation_candidates_.Rewind(0); | 3774 evacuation_candidates_.Rewind(0); |
| 3788 compacting_ = false; | 3775 compacting_ = false; |
| 3789 heap()->FilterStoreBufferEntriesOnAboutToBeFreedPages(); | 3776 heap()->FilterStoreBufferEntriesOnAboutToBeFreedPages(); |
| 3790 heap()->FreeQueuedChunks(); | 3777 heap()->FreeQueuedChunks(); |
| 3791 } | 3778 } |
| 3792 | 3779 |
| 3793 | 3780 |
| 3794 int MarkCompactCollector::SweepInParallel(PagedSpace* space, | 3781 int MarkCompactCollector::SweepInParallel(PagedSpace* space, |
| 3795 int required_freed_bytes) { | 3782 int required_freed_bytes, |
| 3783 int max_pages) { |
| 3796 int max_freed = 0; | 3784 int max_freed = 0; |
| 3797 int max_freed_overall = 0; | 3785 int max_freed_overall = 0; |
| 3798 PageIterator it(space); | 3786 int page_count = 0; |
| 3799 while (it.has_next()) { | 3787 for (Page* p : sweeping_list(space)) { |
| 3800 Page* p = it.next(); | |
| 3801 max_freed = SweepInParallel(p, space); | 3788 max_freed = SweepInParallel(p, space); |
| 3802 DCHECK(max_freed >= 0); | 3789 DCHECK(max_freed >= 0); |
| 3803 if (required_freed_bytes > 0 && max_freed >= required_freed_bytes) { | 3790 if (required_freed_bytes > 0 && max_freed >= required_freed_bytes) { |
| 3804 return max_freed; | 3791 return max_freed; |
| 3805 } | 3792 } |
| 3806 max_freed_overall = Max(max_freed, max_freed_overall); | 3793 max_freed_overall = Max(max_freed, max_freed_overall); |
| 3807 if (p == space->end_of_unswept_pages()) break; | 3794 page_count++; |
| 3795 if (max_pages > 0 && page_count >= max_pages) { |
| 3796 break; |
| 3797 } |
| 3808 } | 3798 } |
| 3809 return max_freed_overall; | 3799 return max_freed_overall; |
| 3810 } | 3800 } |
| 3811 | 3801 |
| 3812 | 3802 |
| 3813 int MarkCompactCollector::SweepInParallel(Page* page, PagedSpace* space) { | 3803 int MarkCompactCollector::SweepInParallel(Page* page, PagedSpace* space) { |
| 3814 int max_freed = 0; | 3804 int max_freed = 0; |
| 3815 if (page->TryLock()) { | 3805 if (page->TryLock()) { |
| 3816 // If this page was already swept in the meantime, we can return here. | 3806 // If this page was already swept in the meantime, we can return here. |
| 3817 if (page->parallel_sweeping_state().Value() != | 3807 if (page->parallel_sweeping_state().Value() != |
| (...skipping 23 matching lines...) Expand all Loading... |
| 3841 free_list->Concatenate(&private_free_list); | 3831 free_list->Concatenate(&private_free_list); |
| 3842 page->mutex()->Unlock(); | 3832 page->mutex()->Unlock(); |
| 3843 } | 3833 } |
| 3844 return max_freed; | 3834 return max_freed; |
| 3845 } | 3835 } |
| 3846 | 3836 |
| 3847 | 3837 |
| 3848 void MarkCompactCollector::StartSweepSpace(PagedSpace* space) { | 3838 void MarkCompactCollector::StartSweepSpace(PagedSpace* space) { |
| 3849 space->ClearStats(); | 3839 space->ClearStats(); |
| 3850 | 3840 |
| 3851 // We defensively initialize end_of_unswept_pages_ here with the first page | |
| 3852 // of the pages list. | |
| 3853 space->set_end_of_unswept_pages(space->FirstPage()); | |
| 3854 | |
| 3855 PageIterator it(space); | 3841 PageIterator it(space); |
| 3856 | 3842 |
| 3857 int pages_swept = 0; | 3843 int will_be_swept = 0; |
| 3858 bool unused_page_present = false; | 3844 bool unused_page_present = false; |
| 3859 bool parallel_sweeping_active = false; | |
| 3860 | 3845 |
| 3861 while (it.has_next()) { | 3846 while (it.has_next()) { |
| 3862 Page* p = it.next(); | 3847 Page* p = it.next(); |
| 3863 DCHECK(p->parallel_sweeping_state().Value() == MemoryChunk::kSweepingDone); | 3848 DCHECK(p->parallel_sweeping_state().Value() == MemoryChunk::kSweepingDone); |
| 3864 | 3849 |
| 3865 // Clear sweeping flags indicating that marking bits are still intact. | 3850 // Clear sweeping flags indicating that marking bits are still intact. |
| 3866 p->ClearWasSwept(); | 3851 p->ClearWasSwept(); |
| 3867 | 3852 |
| 3868 if (p->IsFlagSet(Page::RESCAN_ON_EVACUATION) || | 3853 if (p->IsFlagSet(Page::RESCAN_ON_EVACUATION) || |
| 3869 p->IsEvacuationCandidate()) { | 3854 p->IsEvacuationCandidate()) { |
| (...skipping 17 matching lines...) Expand all Loading... |
| 3887 if (unused_page_present) { | 3872 if (unused_page_present) { |
| 3888 if (FLAG_gc_verbose) { | 3873 if (FLAG_gc_verbose) { |
| 3889 PrintIsolate(isolate(), "sweeping: released page: %p", p); | 3874 PrintIsolate(isolate(), "sweeping: released page: %p", p); |
| 3890 } | 3875 } |
| 3891 space->ReleasePage(p); | 3876 space->ReleasePage(p); |
| 3892 continue; | 3877 continue; |
| 3893 } | 3878 } |
| 3894 unused_page_present = true; | 3879 unused_page_present = true; |
| 3895 } | 3880 } |
| 3896 | 3881 |
| 3897 if (!parallel_sweeping_active) { | 3882 sweeping_list(space).push_back(p); |
| 3898 if (FLAG_gc_verbose) { | 3883 p->parallel_sweeping_state().SetValue(MemoryChunk::kSweepingPending); |
| 3899 PrintIsolate(isolate(), "sweeping: %p", p); | 3884 int to_sweep = p->area_size() - p->LiveBytes(); |
| 3900 } | 3885 space->accounting_stats_.ShrinkSpace(to_sweep); |
| 3901 if (space->identity() == CODE_SPACE) { | 3886 will_be_swept++; |
| 3902 if (FLAG_zap_code_space) { | |
| 3903 Sweep<SWEEP_ONLY, SWEEP_ON_MAIN_THREAD, REBUILD_SKIP_LIST, | |
| 3904 ZAP_FREE_SPACE>(space, NULL, p, NULL); | |
| 3905 } else { | |
| 3906 Sweep<SWEEP_ONLY, SWEEP_ON_MAIN_THREAD, REBUILD_SKIP_LIST, | |
| 3907 IGNORE_FREE_SPACE>(space, NULL, p, NULL); | |
| 3908 } | |
| 3909 } else { | |
| 3910 Sweep<SWEEP_ONLY, SWEEP_ON_MAIN_THREAD, IGNORE_SKIP_LIST, | |
| 3911 IGNORE_FREE_SPACE>(space, NULL, p, NULL); | |
| 3912 } | |
| 3913 pages_swept++; | |
| 3914 parallel_sweeping_active = true; | |
| 3915 } else { | |
| 3916 if (FLAG_gc_verbose) { | |
| 3917 PrintIsolate(isolate(), "sweeping: initialized for parallel: %p", p); | |
| 3918 } | |
| 3919 p->parallel_sweeping_state().SetValue(MemoryChunk::kSweepingPending); | |
| 3920 int to_sweep = p->area_size() - p->LiveBytes(); | |
| 3921 space->accounting_stats_.ShrinkSpace(to_sweep); | |
| 3922 } | |
| 3923 space->set_end_of_unswept_pages(p); | |
| 3924 } | 3887 } |
| 3925 | 3888 |
| 3926 if (FLAG_gc_verbose) { | 3889 if (FLAG_gc_verbose) { |
| 3927 PrintIsolate(isolate(), "sweeping: space=%s pages_swept=%d", | 3890 PrintIsolate(isolate(), "sweeping: space=%s initialized_for_sweeping=%d", |
| 3928 AllocationSpaceName(space->identity()), pages_swept); | 3891 AllocationSpaceName(space->identity()), will_be_swept); |
| 3929 } | 3892 } |
| 3893 std::sort(sweeping_list(space).begin(), sweeping_list(space).end(), |
| 3894 [](Page* a, Page* b) { return a->LiveBytes() < b->LiveBytes(); }); |
| 3930 } | 3895 } |
| 3931 | 3896 |
| 3932 | 3897 |
| 3933 void MarkCompactCollector::SweepSpaces() { | 3898 void MarkCompactCollector::SweepSpaces() { |
| 3934 GCTracer::Scope gc_scope(heap()->tracer(), GCTracer::Scope::MC_SWEEP); | 3899 GCTracer::Scope gc_scope(heap()->tracer(), GCTracer::Scope::MC_SWEEP); |
| 3935 double start_time = 0.0; | 3900 double start_time = 0.0; |
| 3936 if (FLAG_print_cumulative_gc_stat) { | 3901 if (FLAG_print_cumulative_gc_stat) { |
| 3937 start_time = heap_->MonotonicallyIncreasingTimeInMs(); | 3902 start_time = heap_->MonotonicallyIncreasingTimeInMs(); |
| 3938 } | 3903 } |
| 3939 | 3904 |
| 3940 #ifdef DEBUG | 3905 #ifdef DEBUG |
| 3941 state_ = SWEEP_SPACES; | 3906 state_ = SWEEP_SPACES; |
| 3942 #endif | 3907 #endif |
| 3943 | 3908 |
| 3944 MoveEvacuationCandidatesToEndOfPagesList(); | |
| 3945 | |
| 3946 { | 3909 { |
| 3947 sweeping_in_progress_ = true; | 3910 sweeping_in_progress_ = true; |
| 3948 { | 3911 { |
| 3949 GCTracer::Scope sweep_scope(heap()->tracer(), | 3912 GCTracer::Scope sweep_scope(heap()->tracer(), |
| 3950 GCTracer::Scope::MC_SWEEP_OLD); | 3913 GCTracer::Scope::MC_SWEEP_OLD); |
| 3951 StartSweepSpace(heap()->old_space()); | 3914 StartSweepSpace(heap()->old_space()); |
| 3952 } | 3915 } |
| 3953 { | 3916 { |
| 3954 GCTracer::Scope sweep_scope(heap()->tracer(), | 3917 GCTracer::Scope sweep_scope(heap()->tracer(), |
| 3955 GCTracer::Scope::MC_SWEEP_CODE); | 3918 GCTracer::Scope::MC_SWEEP_CODE); |
| (...skipping 17 matching lines...) Expand all Loading... |
| 3973 heap()->FreeQueuedChunks(); | 3936 heap()->FreeQueuedChunks(); |
| 3974 | 3937 |
| 3975 if (FLAG_print_cumulative_gc_stat) { | 3938 if (FLAG_print_cumulative_gc_stat) { |
| 3976 heap_->tracer()->AddSweepingTime(heap_->MonotonicallyIncreasingTimeInMs() - | 3939 heap_->tracer()->AddSweepingTime(heap_->MonotonicallyIncreasingTimeInMs() - |
| 3977 start_time); | 3940 start_time); |
| 3978 } | 3941 } |
| 3979 } | 3942 } |
| 3980 | 3943 |
| 3981 | 3944 |
| 3982 void MarkCompactCollector::ParallelSweepSpaceComplete(PagedSpace* space) { | 3945 void MarkCompactCollector::ParallelSweepSpaceComplete(PagedSpace* space) { |
| 3983 PageIterator it(space); | 3946 for (Page* p : sweeping_list(space)) { |
| 3984 while (it.has_next()) { | |
| 3985 Page* p = it.next(); | |
| 3986 if (p->parallel_sweeping_state().Value() == | 3947 if (p->parallel_sweeping_state().Value() == |
| 3987 MemoryChunk::kSweepingFinalize) { | 3948 MemoryChunk::kSweepingFinalize) { |
| 3988 p->parallel_sweeping_state().SetValue(MemoryChunk::kSweepingDone); | 3949 p->parallel_sweeping_state().SetValue(MemoryChunk::kSweepingDone); |
| 3989 p->SetWasSwept(); | 3950 p->SetWasSwept(); |
| 3990 } | 3951 } |
| 3991 DCHECK(p->parallel_sweeping_state().Value() == MemoryChunk::kSweepingDone); | 3952 DCHECK(p->parallel_sweeping_state().Value() == MemoryChunk::kSweepingDone); |
| 3992 } | 3953 } |
| 3993 } | 3954 } |
| 3994 | 3955 |
| 3995 | 3956 |
| 3996 void MarkCompactCollector::ParallelSweepSpacesComplete() { | 3957 void MarkCompactCollector::ParallelSweepSpacesComplete() { |
| 3997 ParallelSweepSpaceComplete(heap()->old_space()); | 3958 ParallelSweepSpaceComplete(heap()->old_space()); |
| 3998 ParallelSweepSpaceComplete(heap()->code_space()); | 3959 ParallelSweepSpaceComplete(heap()->code_space()); |
| 3999 ParallelSweepSpaceComplete(heap()->map_space()); | 3960 ParallelSweepSpaceComplete(heap()->map_space()); |
| 3961 sweeping_list(heap()->old_space()).clear(); |
| 3962 sweeping_list(heap()->code_space()).clear(); |
| 3963 sweeping_list(heap()->map_space()).clear(); |
| 4000 } | 3964 } |
| 4001 | 3965 |
| 4002 | 3966 |
| 4003 // TODO(1466) ReportDeleteIfNeeded is not called currently. | 3967 // TODO(1466) ReportDeleteIfNeeded is not called currently. |
| 4004 // Our profiling tools do not expect intersections between | 3968 // Our profiling tools do not expect intersections between |
| 4005 // code objects. We should either reenable it or change our tools. | 3969 // code objects. We should either reenable it or change our tools. |
| 4006 void MarkCompactCollector::ReportDeleteIfNeeded(HeapObject* obj, | 3970 void MarkCompactCollector::ReportDeleteIfNeeded(HeapObject* obj, |
| 4007 Isolate* isolate) { | 3971 Isolate* isolate) { |
| 4008 if (obj->IsCode()) { | 3972 if (obj->IsCode()) { |
| 4009 PROFILE(isolate, CodeDeleteEvent(obj->address())); | 3973 PROFILE(isolate, CodeDeleteEvent(obj->address())); |
| (...skipping 57 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4067 MarkBit mark_bit = Marking::MarkBitFrom(host); | 4031 MarkBit mark_bit = Marking::MarkBitFrom(host); |
| 4068 if (Marking::IsBlack(mark_bit)) { | 4032 if (Marking::IsBlack(mark_bit)) { |
| 4069 RelocInfo rinfo(isolate(), pc, RelocInfo::CODE_TARGET, 0, host); | 4033 RelocInfo rinfo(isolate(), pc, RelocInfo::CODE_TARGET, 0, host); |
| 4070 RecordRelocSlot(&rinfo, target); | 4034 RecordRelocSlot(&rinfo, target); |
| 4071 } | 4035 } |
| 4072 } | 4036 } |
| 4073 } | 4037 } |
| 4074 | 4038 |
| 4075 } // namespace internal | 4039 } // namespace internal |
| 4076 } // namespace v8 | 4040 } // namespace v8 |
| OLD | NEW |