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 245 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
256 bool overflowed_; | 256 bool overflowed_; |
257 bool in_use_; | 257 bool in_use_; |
258 | 258 |
259 DISALLOW_COPY_AND_ASSIGN(MarkingDeque); | 259 DISALLOW_COPY_AND_ASSIGN(MarkingDeque); |
260 }; | 260 }; |
261 | 261 |
262 | 262 |
263 // CodeFlusher collects candidates for code flushing during marking and | 263 // CodeFlusher collects candidates for code flushing during marking and |
264 // processes those candidates after marking has completed in order to | 264 // processes those candidates after marking has completed in order to |
265 // reset those functions referencing code objects that would otherwise | 265 // reset those functions referencing code objects that would otherwise |
266 // be unreachable. Code objects can be referenced in two ways: | 266 // be unreachable. Code objects can be referenced in three ways: |
267 // - SharedFunctionInfo references unoptimized code. | 267 // - SharedFunctionInfo references unoptimized code. |
268 // - JSFunction references either unoptimized or optimized code. | 268 // - JSFunction references either unoptimized or optimized code. |
| 269 // - OptimizedCodeMap references optimized code. |
269 // We are not allowed to flush unoptimized code for functions that got | 270 // We are not allowed to flush unoptimized code for functions that got |
270 // optimized or inlined into optimized code, because we might bailout | 271 // optimized or inlined into optimized code, because we might bailout |
271 // into the unoptimized code again during deoptimization. | 272 // into the unoptimized code again during deoptimization. |
272 class CodeFlusher { | 273 class CodeFlusher { |
273 public: | 274 public: |
274 explicit CodeFlusher(Isolate* isolate) | 275 explicit CodeFlusher(Isolate* isolate) |
275 : isolate_(isolate), | 276 : isolate_(isolate), |
276 jsfunction_candidates_head_(nullptr), | 277 jsfunction_candidates_head_(NULL), |
277 shared_function_info_candidates_head_(nullptr) {} | 278 shared_function_info_candidates_head_(NULL), |
| 279 optimized_code_map_holder_head_(NULL) {} |
278 | 280 |
279 inline void AddCandidate(SharedFunctionInfo* shared_info); | 281 inline void AddCandidate(SharedFunctionInfo* shared_info); |
280 inline void AddCandidate(JSFunction* function); | 282 inline void AddCandidate(JSFunction* function); |
| 283 inline void AddOptimizedCodeMap(SharedFunctionInfo* code_map_holder); |
281 | 284 |
| 285 void EvictOptimizedCodeMap(SharedFunctionInfo* code_map_holder); |
282 void EvictCandidate(SharedFunctionInfo* shared_info); | 286 void EvictCandidate(SharedFunctionInfo* shared_info); |
283 void EvictCandidate(JSFunction* function); | 287 void EvictCandidate(JSFunction* function); |
284 | 288 |
285 void ProcessCandidates() { | 289 void ProcessCandidates() { |
| 290 ProcessOptimizedCodeMaps(); |
286 ProcessSharedFunctionInfoCandidates(); | 291 ProcessSharedFunctionInfoCandidates(); |
287 ProcessJSFunctionCandidates(); | 292 ProcessJSFunctionCandidates(); |
288 } | 293 } |
289 | 294 |
290 void EvictAllCandidates() { | 295 void EvictAllCandidates() { |
| 296 EvictOptimizedCodeMaps(); |
291 EvictJSFunctionCandidates(); | 297 EvictJSFunctionCandidates(); |
292 EvictSharedFunctionInfoCandidates(); | 298 EvictSharedFunctionInfoCandidates(); |
293 } | 299 } |
294 | 300 |
295 void IteratePointersToFromSpace(ObjectVisitor* v); | 301 void IteratePointersToFromSpace(ObjectVisitor* v); |
296 | 302 |
297 private: | 303 private: |
| 304 void ProcessOptimizedCodeMaps(); |
298 void ProcessJSFunctionCandidates(); | 305 void ProcessJSFunctionCandidates(); |
299 void ProcessSharedFunctionInfoCandidates(); | 306 void ProcessSharedFunctionInfoCandidates(); |
| 307 void EvictOptimizedCodeMaps(); |
300 void EvictJSFunctionCandidates(); | 308 void EvictJSFunctionCandidates(); |
301 void EvictSharedFunctionInfoCandidates(); | 309 void EvictSharedFunctionInfoCandidates(); |
302 | 310 |
303 static inline JSFunction** GetNextCandidateSlot(JSFunction* candidate); | 311 static inline JSFunction** GetNextCandidateSlot(JSFunction* candidate); |
304 static inline JSFunction* GetNextCandidate(JSFunction* candidate); | 312 static inline JSFunction* GetNextCandidate(JSFunction* candidate); |
305 static inline void SetNextCandidate(JSFunction* candidate, | 313 static inline void SetNextCandidate(JSFunction* candidate, |
306 JSFunction* next_candidate); | 314 JSFunction* next_candidate); |
307 static inline void ClearNextCandidate(JSFunction* candidate, | 315 static inline void ClearNextCandidate(JSFunction* candidate, |
308 Object* undefined); | 316 Object* undefined); |
309 | 317 |
310 static inline SharedFunctionInfo* GetNextCandidate( | 318 static inline SharedFunctionInfo* GetNextCandidate( |
311 SharedFunctionInfo* candidate); | 319 SharedFunctionInfo* candidate); |
312 static inline void SetNextCandidate(SharedFunctionInfo* candidate, | 320 static inline void SetNextCandidate(SharedFunctionInfo* candidate, |
313 SharedFunctionInfo* next_candidate); | 321 SharedFunctionInfo* next_candidate); |
314 static inline void ClearNextCandidate(SharedFunctionInfo* candidate); | 322 static inline void ClearNextCandidate(SharedFunctionInfo* candidate); |
315 | 323 |
| 324 static inline SharedFunctionInfo* GetNextCodeMap(SharedFunctionInfo* holder); |
| 325 static inline void SetNextCodeMap(SharedFunctionInfo* holder, |
| 326 SharedFunctionInfo* next_holder); |
| 327 static inline void ClearNextCodeMap(SharedFunctionInfo* holder); |
| 328 |
316 Isolate* isolate_; | 329 Isolate* isolate_; |
317 JSFunction* jsfunction_candidates_head_; | 330 JSFunction* jsfunction_candidates_head_; |
318 SharedFunctionInfo* shared_function_info_candidates_head_; | 331 SharedFunctionInfo* shared_function_info_candidates_head_; |
| 332 SharedFunctionInfo* optimized_code_map_holder_head_; |
319 | 333 |
320 DISALLOW_COPY_AND_ASSIGN(CodeFlusher); | 334 DISALLOW_COPY_AND_ASSIGN(CodeFlusher); |
321 }; | 335 }; |
322 | 336 |
323 | 337 |
324 // Defined in isolate.h. | 338 // Defined in isolate.h. |
325 class ThreadLocalTop; | 339 class ThreadLocalTop; |
326 | 340 |
327 | 341 |
328 // ------------------------------------------------------------------------- | 342 // ------------------------------------------------------------------------- |
(...skipping 344 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
673 | 687 |
674 // After all reachable objects have been marked those weak map entries | 688 // After all reachable objects have been marked those weak map entries |
675 // with an unreachable key are removed from all encountered weak maps. | 689 // with an unreachable key are removed from all encountered weak maps. |
676 // The linked list of all encountered weak maps is destroyed. | 690 // The linked list of all encountered weak maps is destroyed. |
677 void ClearWeakCollections(); | 691 void ClearWeakCollections(); |
678 | 692 |
679 // We have to remove all encountered weak maps from the list of weak | 693 // We have to remove all encountered weak maps from the list of weak |
680 // collections when incremental marking is aborted. | 694 // collections when incremental marking is aborted. |
681 void AbortWeakCollections(); | 695 void AbortWeakCollections(); |
682 | 696 |
| 697 |
683 void ProcessAndClearWeakCells(); | 698 void ProcessAndClearWeakCells(); |
684 void AbortWeakCells(); | 699 void AbortWeakCells(); |
685 | 700 |
686 // After all reachable objects have been marked, those entries within | |
687 // optimized code maps that became unreachable are removed, potentially | |
688 // trimming or clearing out the entire optimized code map. | |
689 void ProcessAndClearOptimizedCodeMaps(); | |
690 | |
691 // ----------------------------------------------------------------------- | 701 // ----------------------------------------------------------------------- |
692 // Phase 2: Sweeping to clear mark bits and free non-live objects for | 702 // Phase 2: Sweeping to clear mark bits and free non-live objects for |
693 // a non-compacting collection. | 703 // a non-compacting collection. |
694 // | 704 // |
695 // Before: Live objects are marked and non-live objects are unmarked. | 705 // Before: Live objects are marked and non-live objects are unmarked. |
696 // | 706 // |
697 // After: Live objects are unmarked, non-live regions have been added to | 707 // After: Live objects are unmarked, non-live regions have been added to |
698 // their space's free list. Active eden semispace is compacted by | 708 // their space's free list. Active eden semispace is compacted by |
699 // evacuation. | 709 // evacuation. |
700 // | 710 // |
(...skipping 161 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
862 private: | 872 private: |
863 MarkCompactCollector* collector_; | 873 MarkCompactCollector* collector_; |
864 }; | 874 }; |
865 | 875 |
866 | 876 |
867 const char* AllocationSpaceName(AllocationSpace space); | 877 const char* AllocationSpaceName(AllocationSpace space); |
868 } // namespace internal | 878 } // namespace internal |
869 } // namespace v8 | 879 } // namespace v8 |
870 | 880 |
871 #endif // V8_HEAP_MARK_COMPACT_H_ | 881 #endif // V8_HEAP_MARK_COMPACT_H_ |
OLD | NEW |