| 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 1827 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1838 if (!code->CanDeoptAt(it.frame()->pc())) { | 1838 if (!code->CanDeoptAt(it.frame()->pc())) { |
| 1839 Code::BodyDescriptor::IterateBody(code, visitor); | 1839 Code::BodyDescriptor::IterateBody(code, visitor); |
| 1840 } | 1840 } |
| 1841 ProcessMarkingDeque(); | 1841 ProcessMarkingDeque(); |
| 1842 return; | 1842 return; |
| 1843 } | 1843 } |
| 1844 } | 1844 } |
| 1845 } | 1845 } |
| 1846 | 1846 |
| 1847 | 1847 |
| 1848 bool ShouldRetainMap(Map* map, int age) { | |
| 1849 if (age == 0) { | |
| 1850 // The map has aged. Do not retain this map. | |
| 1851 return false; | |
| 1852 } | |
| 1853 Object* constructor = map->GetConstructor(); | |
| 1854 if (!constructor->IsHeapObject() || | |
| 1855 Marking::IsWhite(Marking::MarkBitFrom(HeapObject::cast(constructor)))) { | |
| 1856 // The constructor is dead, no new objects with this map can | |
| 1857 // be created. Do not retain this map. | |
| 1858 return false; | |
| 1859 } | |
| 1860 return true; | |
| 1861 } | |
| 1862 | |
| 1863 | |
| 1864 void MarkCompactCollector::RetainMaps() { | |
| 1865 // Do not retain dead maps if flag disables it or there is | |
| 1866 // - memory pressure (reduce_memory_footprint_), | |
| 1867 // - GC is requested by tests or dev-tools (abort_incremental_marking_). | |
| 1868 bool map_retaining_is_disabled = heap()->ShouldReduceMemory() || | |
| 1869 heap()->ShouldAbortIncrementalMarking() || | |
| 1870 FLAG_retain_maps_for_n_gc == 0; | |
| 1871 | |
| 1872 ArrayList* retained_maps = heap()->retained_maps(); | |
| 1873 int length = retained_maps->Length(); | |
| 1874 int new_length = 0; | |
| 1875 // The number_of_disposed_maps separates maps in the retained_maps | |
| 1876 // array that were created before and after context disposal. | |
| 1877 // We do not age and retain disposed maps to avoid memory leaks. | |
| 1878 int number_of_disposed_maps = heap()->number_of_disposed_maps_; | |
| 1879 int new_number_of_disposed_maps = 0; | |
| 1880 // This loop compacts the array by removing cleared weak cells, | |
| 1881 // ages and retains dead maps. | |
| 1882 for (int i = 0; i < length; i += 2) { | |
| 1883 DCHECK(retained_maps->Get(i)->IsWeakCell()); | |
| 1884 WeakCell* cell = WeakCell::cast(retained_maps->Get(i)); | |
| 1885 if (cell->cleared()) continue; | |
| 1886 int age = Smi::cast(retained_maps->Get(i + 1))->value(); | |
| 1887 int new_age; | |
| 1888 Map* map = Map::cast(cell->value()); | |
| 1889 MarkBit map_mark = Marking::MarkBitFrom(map); | |
| 1890 if (i >= number_of_disposed_maps && !map_retaining_is_disabled && | |
| 1891 Marking::IsWhite(map_mark)) { | |
| 1892 if (ShouldRetainMap(map, age)) { | |
| 1893 MarkObject(map, map_mark); | |
| 1894 } | |
| 1895 Object* prototype = map->prototype(); | |
| 1896 if (age > 0 && prototype->IsHeapObject() && | |
| 1897 Marking::IsWhite(Marking::MarkBitFrom(HeapObject::cast(prototype)))) { | |
| 1898 // The prototype is not marked, age the map. | |
| 1899 new_age = age - 1; | |
| 1900 } else { | |
| 1901 // The prototype and the constructor are marked, this map keeps only | |
| 1902 // transition tree alive, not JSObjects. Do not age the map. | |
| 1903 new_age = age; | |
| 1904 } | |
| 1905 } else { | |
| 1906 new_age = FLAG_retain_maps_for_n_gc; | |
| 1907 } | |
| 1908 // Compact the array and update the age. | |
| 1909 if (i != new_length) { | |
| 1910 retained_maps->Set(new_length, cell); | |
| 1911 Object** slot = retained_maps->Slot(new_length); | |
| 1912 RecordSlot(retained_maps, slot, cell); | |
| 1913 retained_maps->Set(new_length + 1, Smi::FromInt(new_age)); | |
| 1914 } else if (new_age != age) { | |
| 1915 retained_maps->Set(new_length + 1, Smi::FromInt(new_age)); | |
| 1916 } | |
| 1917 if (i < number_of_disposed_maps) { | |
| 1918 new_number_of_disposed_maps++; | |
| 1919 } | |
| 1920 new_length += 2; | |
| 1921 } | |
| 1922 heap()->number_of_disposed_maps_ = new_number_of_disposed_maps; | |
| 1923 Object* undefined = heap()->undefined_value(); | |
| 1924 for (int i = new_length; i < length; i++) { | |
| 1925 retained_maps->Clear(i, undefined); | |
| 1926 } | |
| 1927 if (new_length != length) retained_maps->SetLength(new_length); | |
| 1928 ProcessMarkingDeque(); | |
| 1929 } | |
| 1930 | |
| 1931 | |
| 1932 void MarkCompactCollector::EnsureMarkingDequeIsReserved() { | 1848 void MarkCompactCollector::EnsureMarkingDequeIsReserved() { |
| 1933 DCHECK(!marking_deque_.in_use()); | 1849 DCHECK(!marking_deque_.in_use()); |
| 1934 if (marking_deque_memory_ == NULL) { | 1850 if (marking_deque_memory_ == NULL) { |
| 1935 marking_deque_memory_ = new base::VirtualMemory(kMaxMarkingDequeSize); | 1851 marking_deque_memory_ = new base::VirtualMemory(kMaxMarkingDequeSize); |
| 1936 marking_deque_memory_committed_ = 0; | 1852 marking_deque_memory_committed_ = 0; |
| 1937 } | 1853 } |
| 1938 if (marking_deque_memory_ == NULL) { | 1854 if (marking_deque_memory_ == NULL) { |
| 1939 V8::FatalProcessOutOfMemory("EnsureMarkingDequeIsReserved"); | 1855 V8::FatalProcessOutOfMemory("EnsureMarkingDequeIsReserved"); |
| 1940 } | 1856 } |
| 1941 } | 1857 } |
| (...skipping 113 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2055 { | 1971 { |
| 2056 GCTracer::Scope gc_scope(heap()->tracer(), GCTracer::Scope::MC_MARK_ROOT); | 1972 GCTracer::Scope gc_scope(heap()->tracer(), GCTracer::Scope::MC_MARK_ROOT); |
| 2057 MarkRoots(&root_visitor); | 1973 MarkRoots(&root_visitor); |
| 2058 } | 1974 } |
| 2059 | 1975 |
| 2060 { | 1976 { |
| 2061 GCTracer::Scope gc_scope(heap()->tracer(), GCTracer::Scope::MC_MARK_TOPOPT); | 1977 GCTracer::Scope gc_scope(heap()->tracer(), GCTracer::Scope::MC_MARK_TOPOPT); |
| 2062 ProcessTopOptimizedFrame(&root_visitor); | 1978 ProcessTopOptimizedFrame(&root_visitor); |
| 2063 } | 1979 } |
| 2064 | 1980 |
| 2065 // Retaining dying maps should happen before or during ephemeral marking | |
| 2066 // because a map could keep the key of an ephemeron alive. Note that map | |
| 2067 // aging is imprecise: maps that are kept alive only by ephemerons will age. | |
| 2068 { | |
| 2069 GCTracer::Scope gc_scope(heap()->tracer(), | |
| 2070 GCTracer::Scope::MC_MARK_RETAIN_MAPS); | |
| 2071 RetainMaps(); | |
| 2072 } | |
| 2073 | |
| 2074 { | 1981 { |
| 2075 GCTracer::Scope gc_scope(heap()->tracer(), | 1982 GCTracer::Scope gc_scope(heap()->tracer(), |
| 2076 GCTracer::Scope::MC_MARK_WEAK_CLOSURE); | 1983 GCTracer::Scope::MC_MARK_WEAK_CLOSURE); |
| 2077 | 1984 |
| 2078 // The objects reachable from the roots are marked, yet unreachable | 1985 // The objects reachable from the roots are marked, yet unreachable |
| 2079 // objects are unmarked. Mark objects reachable due to host | 1986 // objects are unmarked. Mark objects reachable due to host |
| 2080 // application specific logic or through Harmony weak maps. | 1987 // application specific logic or through Harmony weak maps. |
| 2081 ProcessEphemeralMarking(&root_visitor, false); | 1988 ProcessEphemeralMarking(&root_visitor, false); |
| 2082 | 1989 |
| 2083 // The objects reachable from the roots, weak maps or object groups | 1990 // The objects reachable from the roots, weak maps or object groups |
| (...skipping 1983 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4067 MarkBit mark_bit = Marking::MarkBitFrom(host); | 3974 MarkBit mark_bit = Marking::MarkBitFrom(host); |
| 4068 if (Marking::IsBlack(mark_bit)) { | 3975 if (Marking::IsBlack(mark_bit)) { |
| 4069 RelocInfo rinfo(isolate(), pc, RelocInfo::CODE_TARGET, 0, host); | 3976 RelocInfo rinfo(isolate(), pc, RelocInfo::CODE_TARGET, 0, host); |
| 4070 RecordRelocSlot(&rinfo, target); | 3977 RecordRelocSlot(&rinfo, target); |
| 4071 } | 3978 } |
| 4072 } | 3979 } |
| 4073 } | 3980 } |
| 4074 | 3981 |
| 4075 } // namespace internal | 3982 } // namespace internal |
| 4076 } // namespace v8 | 3983 } // namespace v8 |
| OLD | NEW |