| 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 #ifndef V8_HEAP_MARK_COMPACT_H_ | 5 #ifndef V8_HEAP_MARK_COMPACT_H_ |
| 6 #define V8_HEAP_MARK_COMPACT_H_ | 6 #define V8_HEAP_MARK_COMPACT_H_ |
| 7 | 7 |
| 8 #include "src/base/bits.h" | 8 #include "src/base/bits.h" |
| 9 #include "src/heap/spaces.h" | 9 #include "src/heap/spaces.h" |
| 10 | 10 |
| (...skipping 631 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 642 template <class T> | 642 template <class T> |
| 643 void DiscoverGreyObjectsWithIterator(T* it); | 643 void DiscoverGreyObjectsWithIterator(T* it); |
| 644 void DiscoverGreyObjectsOnPage(MemoryChunk* p); | 644 void DiscoverGreyObjectsOnPage(MemoryChunk* p); |
| 645 void DiscoverGreyObjectsInSpace(PagedSpace* space); | 645 void DiscoverGreyObjectsInSpace(PagedSpace* space); |
| 646 void DiscoverGreyObjectsInNewSpace(); | 646 void DiscoverGreyObjectsInNewSpace(); |
| 647 | 647 |
| 648 // Callback function for telling whether the object *p is an unmarked | 648 // Callback function for telling whether the object *p is an unmarked |
| 649 // heap object. | 649 // heap object. |
| 650 static bool IsUnmarkedHeapObject(Object** p); | 650 static bool IsUnmarkedHeapObject(Object** p); |
| 651 | 651 |
| 652 // Map transitions from a live map to a dead map must be killed. | 652 // Clear non-live references in weak cells, transition and descriptor arrays, |
| 653 // We replace them with a null descriptor, with the same key. | 653 // and deoptimize dependent code of non-live maps. |
| 654 void ClearNonLiveReferences(); | 654 void ClearNonLiveReferences(); |
| 655 void ClearNonLiveMapTransitions(Map* map); | 655 void MarkDependentCodeForDeoptimization(DependentCode* list); |
| 656 void ClearMapTransitions(Map* map, Map* dead_transition); | 656 // Find non-live targets of simple transitions in the given list. Clear |
| 657 bool ClearMapBackPointer(Map* map); | 657 // transitions to non-live targets and if needed trim descriptors arrays. |
| 658 void MarkDependentCodeListForDeoptimization(DependentCode* list_head); | 658 void ClearSimpleMapTransitions(Object* non_live_map_list); |
| 659 void TrimDescriptorArray(Map* map, DescriptorArray* descriptors, | 659 void ClearSimpleMapTransition(Map* map, Map* dead_transition); |
| 660 int number_of_own_descriptors); | 660 // Compact every array in the global list of transition arrays and |
| 661 // trim the corresponding descriptor array if a transition target is non-live. |
| 662 void ClearFullMapTransitions(); |
| 663 bool CompactTransitionArray(Map* map, TransitionArray* transitions, |
| 664 DescriptorArray* descriptors); |
| 665 void TrimDescriptorArray(Map* map, DescriptorArray* descriptors); |
| 661 void TrimEnumCache(Map* map, DescriptorArray* descriptors); | 666 void TrimEnumCache(Map* map, DescriptorArray* descriptors); |
| 662 | 667 |
| 663 // Mark all values associated with reachable keys in weak collections | 668 // Mark all values associated with reachable keys in weak collections |
| 664 // encountered so far. This might push new object or even new weak maps onto | 669 // encountered so far. This might push new object or even new weak maps onto |
| 665 // the marking stack. | 670 // the marking stack. |
| 666 void ProcessWeakCollections(); | 671 void ProcessWeakCollections(); |
| 667 | 672 |
| 668 // After all reachable objects have been marked those weak map entries | 673 // After all reachable objects have been marked those weak map entries |
| 669 // with an unreachable key are removed from all encountered weak maps. | 674 // with an unreachable key are removed from all encountered weak maps. |
| 670 // The linked list of all encountered weak maps is destroyed. | 675 // The linked list of all encountered weak maps is destroyed. |
| 671 void ClearWeakCollections(); | 676 void ClearWeakCollections(); |
| 672 | 677 |
| 673 // We have to remove all encountered weak maps from the list of weak | 678 // We have to remove all encountered weak maps from the list of weak |
| 674 // collections when incremental marking is aborted. | 679 // collections when incremental marking is aborted. |
| 675 void AbortWeakCollections(); | 680 void AbortWeakCollections(); |
| 676 | 681 |
| 677 void ProcessAndClearWeakCells(); | 682 void ClearWeakCells(Object** non_live_map_list, |
| 683 DependentCode** dependent_code_list); |
| 678 void AbortWeakCells(); | 684 void AbortWeakCells(); |
| 679 | 685 |
| 680 void ProcessAndClearTransitionArrays(); | |
| 681 void AbortTransitionArrays(); | 686 void AbortTransitionArrays(); |
| 682 | 687 |
| 683 // After all reachable objects have been marked, those entries within | 688 // After all reachable objects have been marked, those entries within |
| 684 // optimized code maps that became unreachable are removed, potentially | 689 // optimized code maps that became unreachable are removed, potentially |
| 685 // trimming or clearing out the entire optimized code map. | 690 // trimming or clearing out the entire optimized code map. |
| 686 void ProcessAndClearOptimizedCodeMaps(); | 691 void ProcessAndClearOptimizedCodeMaps(); |
| 687 | 692 |
| 688 // Process non-live references in maps and optimized code. | |
| 689 void ProcessWeakReferences(); | |
| 690 | |
| 691 // ----------------------------------------------------------------------- | 693 // ----------------------------------------------------------------------- |
| 692 // Phase 2: Sweeping to clear mark bits and free non-live objects for | 694 // Phase 2: Sweeping to clear mark bits and free non-live objects for |
| 693 // a non-compacting collection. | 695 // a non-compacting collection. |
| 694 // | 696 // |
| 695 // Before: Live objects are marked and non-live objects are unmarked. | 697 // Before: Live objects are marked and non-live objects are unmarked. |
| 696 // | 698 // |
| 697 // After: Live objects are unmarked, non-live regions have been added to | 699 // After: Live objects are unmarked, non-live regions have been added to |
| 698 // their space's free list. Active eden semispace is compacted by | 700 // their space's free list. Active eden semispace is compacted by |
| 699 // evacuation. | 701 // evacuation. |
| 700 // | 702 // |
| (...skipping 161 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 862 private: | 864 private: |
| 863 MarkCompactCollector* collector_; | 865 MarkCompactCollector* collector_; |
| 864 }; | 866 }; |
| 865 | 867 |
| 866 | 868 |
| 867 const char* AllocationSpaceName(AllocationSpace space); | 869 const char* AllocationSpaceName(AllocationSpace space); |
| 868 } // namespace internal | 870 } // namespace internal |
| 869 } // namespace v8 | 871 } // namespace v8 |
| 870 | 872 |
| 871 #endif // V8_HEAP_MARK_COMPACT_H_ | 873 #endif // V8_HEAP_MARK_COMPACT_H_ |
| OLD | NEW |