Chromium Code Reviews| 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 1943 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 1954 // pointers. After: the marking stack is empty and there are no overflowed | 1954 // pointers. After: the marking stack is empty and there are no overflowed |
| 1955 // objects in the heap. | 1955 // objects in the heap. |
| 1956 void MarkCompactCollector::ProcessMarkingDeque() { | 1956 void MarkCompactCollector::ProcessMarkingDeque() { |
| 1957 EmptyMarkingDeque(); | 1957 EmptyMarkingDeque(); |
| 1958 while (marking_deque_.overflowed()) { | 1958 while (marking_deque_.overflowed()) { |
| 1959 RefillMarkingDeque(); | 1959 RefillMarkingDeque(); |
| 1960 EmptyMarkingDeque(); | 1960 EmptyMarkingDeque(); |
| 1961 } | 1961 } |
| 1962 } | 1962 } |
| 1963 | 1963 |
| 1964 | |
| 1965 // Mark all objects reachable (transitively) from objects on the marking | 1964 // Mark all objects reachable (transitively) from objects on the marking |
| 1966 // stack including references only considered in the atomic marking pause. | 1965 // stack including references only considered in the atomic marking pause. |
| 1967 void MarkCompactCollector::ProcessEphemeralMarking( | 1966 void MarkCompactCollector::ProcessEphemeralMarking( |
| 1968 ObjectVisitor* visitor, bool only_process_harmony_weak_collections) { | 1967 ObjectVisitor* visitor, bool only_process_harmony_weak_collections) { |
| 1969 bool work_to_do = true; | 1968 bool work_to_do = true; |
| 1970 DCHECK(marking_deque_.IsEmpty() && !marking_deque_.overflowed()); | 1969 DCHECK(marking_deque_.IsEmpty() && !marking_deque_.overflowed()); |
| 1971 while (work_to_do) { | 1970 while (work_to_do) { |
| 1972 if (!only_process_harmony_weak_collections) { | 1971 if (heap()->UsingEmbedderHeapTracer()) { |
| 1972 heap()->embedder_heap_tracer()->TraceWrappableFrom( | |
| 1973 reinterpret_cast<v8::Isolate*>(isolate()), wrappers_to_trace_); | |
| 1974 wrappers_to_trace_.clear(); | |
| 1975 } else if (!only_process_harmony_weak_collections) { | |
| 1973 isolate()->global_handles()->IterateObjectGroups( | 1976 isolate()->global_handles()->IterateObjectGroups( |
| 1974 visitor, &IsUnmarkedHeapObjectWithHeap); | 1977 visitor, &IsUnmarkedHeapObjectWithHeap); |
| 1975 MarkImplicitRefGroups(&MarkCompactMarkingVisitor::MarkObject); | 1978 MarkImplicitRefGroups(&MarkCompactMarkingVisitor::MarkObject); |
| 1976 } | 1979 } |
| 1977 ProcessWeakCollections(); | 1980 ProcessWeakCollections(); |
| 1978 work_to_do = !marking_deque_.IsEmpty(); | 1981 work_to_do = !marking_deque_.IsEmpty(); |
| 1979 ProcessMarkingDeque(); | 1982 ProcessMarkingDeque(); |
| 1980 } | 1983 } |
| 1981 } | 1984 } |
| 1982 | 1985 |
| 1983 | |
| 1984 void MarkCompactCollector::ProcessTopOptimizedFrame(ObjectVisitor* visitor) { | 1986 void MarkCompactCollector::ProcessTopOptimizedFrame(ObjectVisitor* visitor) { |
| 1985 for (StackFrameIterator it(isolate(), isolate()->thread_local_top()); | 1987 for (StackFrameIterator it(isolate(), isolate()->thread_local_top()); |
| 1986 !it.done(); it.Advance()) { | 1988 !it.done(); it.Advance()) { |
| 1987 if (it.frame()->type() == StackFrame::JAVA_SCRIPT) { | 1989 if (it.frame()->type() == StackFrame::JAVA_SCRIPT) { |
| 1988 return; | 1990 return; |
| 1989 } | 1991 } |
| 1990 if (it.frame()->type() == StackFrame::OPTIMIZED) { | 1992 if (it.frame()->type() == StackFrame::OPTIMIZED) { |
| 1991 Code* code = it.frame()->LookupCode(); | 1993 Code* code = it.frame()->LookupCode(); |
| 1992 if (!code->CanDeoptAt(it.frame()->pc())) { | 1994 if (!code->CanDeoptAt(it.frame()->pc())) { |
| 1993 Code::BodyDescriptor::IterateBody(code, visitor); | 1995 Code::BodyDescriptor::IterateBody(code, visitor); |
| (...skipping 134 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 2128 | 2130 |
| 2129 { | 2131 { |
| 2130 TRACE_GC(heap()->tracer(), GCTracer::Scope::MC_MARK_WEAK_CLOSURE); | 2132 TRACE_GC(heap()->tracer(), GCTracer::Scope::MC_MARK_WEAK_CLOSURE); |
| 2131 | 2133 |
| 2132 // The objects reachable from the roots are marked, yet unreachable | 2134 // The objects reachable from the roots are marked, yet unreachable |
| 2133 // objects are unmarked. Mark objects reachable due to host | 2135 // objects are unmarked. Mark objects reachable due to host |
| 2134 // application specific logic or through Harmony weak maps. | 2136 // application specific logic or through Harmony weak maps. |
| 2135 { | 2137 { |
| 2136 TRACE_GC(heap()->tracer(), | 2138 TRACE_GC(heap()->tracer(), |
| 2137 GCTracer::Scope::MC_MARK_WEAK_CLOSURE_EPHEMERAL); | 2139 GCTracer::Scope::MC_MARK_WEAK_CLOSURE_EPHEMERAL); |
| 2140 if (heap()->UsingEmbedderHeapTracer()) { | |
|
Hannes Payer (out of office)
2016/04/07 20:38:31
This piece of code and the code below need separat
Marcel Hlopko
2016/04/08 08:08:10
Let's not make this method more complicated than i
| |
| 2141 heap()->embedder_heap_tracer()->TraceRoots( | |
| 2142 reinterpret_cast<v8::Isolate*>(isolate())); | |
| 2143 } | |
| 2138 ProcessEphemeralMarking(&root_visitor, false); | 2144 ProcessEphemeralMarking(&root_visitor, false); |
| 2139 ProcessMarkingDeque(); | 2145 ProcessMarkingDeque(); |
| 2140 } | 2146 } |
| 2141 | 2147 |
| 2142 // The objects reachable from the roots, weak maps or object groups | 2148 // The objects reachable from the roots, weak maps or object groups |
| 2143 // are marked. Objects pointed to only by weak global handles cannot be | 2149 // are marked. Objects pointed to only by weak global handles cannot be |
| 2144 // immediately reclaimed. Instead, we have to mark them as pending and mark | 2150 // immediately reclaimed. Instead, we have to mark them as pending and mark |
| 2145 // objects reachable from them. | 2151 // objects reachable from them. |
| 2146 // | 2152 // |
| 2147 // First we identify nonlive weak handles and mark them as pending | 2153 // First we identify nonlive weak handles and mark them as pending |
| (...skipping 16 matching lines...) Expand all Loading... | |
| 2164 | 2170 |
| 2165 // Repeat Harmony weak maps marking to mark unmarked objects reachable from | 2171 // Repeat Harmony weak maps marking to mark unmarked objects reachable from |
| 2166 // the weak roots we just marked as pending destruction. | 2172 // the weak roots we just marked as pending destruction. |
| 2167 // | 2173 // |
| 2168 // We only process harmony collections, as all object groups have been fully | 2174 // We only process harmony collections, as all object groups have been fully |
| 2169 // processed and no weakly reachable node can discover new objects groups. | 2175 // processed and no weakly reachable node can discover new objects groups. |
| 2170 { | 2176 { |
| 2171 TRACE_GC(heap()->tracer(), GCTracer::Scope::MC_MARK_WEAK_CLOSURE_HARMONY); | 2177 TRACE_GC(heap()->tracer(), GCTracer::Scope::MC_MARK_WEAK_CLOSURE_HARMONY); |
| 2172 ProcessEphemeralMarking(&root_visitor, true); | 2178 ProcessEphemeralMarking(&root_visitor, true); |
| 2173 ProcessMarkingDeque(); | 2179 ProcessMarkingDeque(); |
| 2180 if (heap()->UsingEmbedderHeapTracer()) { | |
| 2181 heap()->embedder_heap_tracer()->ClearTracingMarks( | |
| 2182 reinterpret_cast<v8::Isolate*>(isolate())); | |
| 2183 } | |
| 2174 } | 2184 } |
| 2175 } | 2185 } |
| 2176 | 2186 |
| 2177 if (FLAG_print_cumulative_gc_stat) { | 2187 if (FLAG_print_cumulative_gc_stat) { |
| 2178 heap_->tracer()->AddMarkingTime(heap_->MonotonicallyIncreasingTimeInMs() - | 2188 heap_->tracer()->AddMarkingTime(heap_->MonotonicallyIncreasingTimeInMs() - |
| 2179 start_time); | 2189 start_time); |
| 2180 } | 2190 } |
| 2181 if (FLAG_track_gc_object_stats) { | 2191 if (FLAG_track_gc_object_stats) { |
| 2182 if (FLAG_trace_gc_object_stats) { | 2192 if (FLAG_trace_gc_object_stats) { |
| 2183 heap()->object_stats_->TraceObjectStats(); | 2193 heap()->object_stats_->TraceObjectStats(); |
| (...skipping 1622 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 3806 MarkBit mark_bit = Marking::MarkBitFrom(host); | 3816 MarkBit mark_bit = Marking::MarkBitFrom(host); |
| 3807 if (Marking::IsBlack(mark_bit)) { | 3817 if (Marking::IsBlack(mark_bit)) { |
| 3808 RelocInfo rinfo(isolate(), pc, RelocInfo::CODE_TARGET, 0, host); | 3818 RelocInfo rinfo(isolate(), pc, RelocInfo::CODE_TARGET, 0, host); |
| 3809 RecordRelocSlot(host, &rinfo, target); | 3819 RecordRelocSlot(host, &rinfo, target); |
| 3810 } | 3820 } |
| 3811 } | 3821 } |
| 3812 } | 3822 } |
| 3813 | 3823 |
| 3814 } // namespace internal | 3824 } // namespace internal |
| 3815 } // namespace v8 | 3825 } // namespace v8 |
| OLD | NEW |