Thu, 22 Sep 2011 10:57:37 -0700
6484982: G1: process references during evacuation pauses
Summary: G1 now uses two reference processors - one is used by concurrent marking and the other is used by STW GCs (both full and incremental evacuation pauses). In an evacuation pause, the reference processor is embedded into the closures used to scan objects. Doing so causes causes reference objects to be 'discovered' by the reference processor. At the end of the evacuation pause, these discovered reference objects are processed - preserving (and copying) referent objects (and their reachable graphs) as appropriate.
Reviewed-by: ysr, jwilhelm, brutisso, stefank, tonyp
1 /*
2 * Copyright (c) 2002, 2010, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
25 #ifndef SHARE_VM_GC_IMPLEMENTATION_PARALLELSCAVENGE_PSSCAVENGE_HPP
26 #define SHARE_VM_GC_IMPLEMENTATION_PARALLELSCAVENGE_PSSCAVENGE_HPP
28 #include "gc_implementation/parallelScavenge/cardTableExtension.hpp"
29 #include "gc_implementation/parallelScavenge/psVirtualspace.hpp"
30 #include "gc_implementation/shared/collectorCounters.hpp"
31 #include "memory/allocation.hpp"
32 #include "oops/oop.hpp"
33 #include "utilities/stack.hpp"
35 class GCTaskManager;
36 class GCTaskQueue;
37 class OopStack;
38 class ReferenceProcessor;
39 class ParallelScavengeHeap;
40 class PSIsAliveClosure;
41 class PSRefProcTaskExecutor;
43 class PSScavenge: AllStatic {
44 friend class PSIsAliveClosure;
45 friend class PSKeepAliveClosure;
46 friend class PSPromotionManager;
48 enum ScavengeSkippedCause {
49 not_skipped = 0,
50 to_space_not_empty,
51 promoted_too_large,
52 full_follows_scavenge
53 };
55 // Saved value of to_space->top(), used to prevent objects in to_space from
56 // being rescanned.
57 static HeapWord* _to_space_top_before_gc;
59 // Number of consecutive attempts to scavenge that were skipped
60 static int _consecutive_skipped_scavenges;
63 protected:
64 // Flags/counters
65 static ReferenceProcessor* _ref_processor; // Reference processor for scavenging.
66 static PSIsAliveClosure _is_alive_closure; // Closure used for reference processing
67 static CardTableExtension* _card_table; // We cache the card table for fast access.
68 static bool _survivor_overflow; // Overflow this collection
69 static int _tenuring_threshold; // tenuring threshold for next scavenge
70 static elapsedTimer _accumulated_time; // total time spent on scavenge
71 static HeapWord* _young_generation_boundary; // The lowest address possible for the young_gen.
72 // This is used to decide if an oop should be scavenged,
73 // cards should be marked, etc.
74 static Stack<markOop> _preserved_mark_stack; // List of marks to be restored after failed promotion
75 static Stack<oop> _preserved_oop_stack; // List of oops that need their mark restored.
76 static CollectorCounters* _counters; // collector performance counters
77 static bool _promotion_failed;
79 static void clean_up_failed_promotion();
81 static bool should_attempt_scavenge();
83 static HeapWord* to_space_top_before_gc() { return _to_space_top_before_gc; }
84 static inline void save_to_space_top_before_gc();
86 // Private accessors
87 static CardTableExtension* const card_table() { assert(_card_table != NULL, "Sanity"); return _card_table; }
89 public:
90 // Accessors
91 static int tenuring_threshold() { return _tenuring_threshold; }
92 static elapsedTimer* accumulated_time() { return &_accumulated_time; }
93 static bool promotion_failed() { return _promotion_failed; }
94 static int consecutive_skipped_scavenges()
95 { return _consecutive_skipped_scavenges; }
97 // Performance Counters
98 static CollectorCounters* counters() { return _counters; }
100 // Used by scavenge_contents && psMarkSweep
101 static ReferenceProcessor* const reference_processor() {
102 assert(_ref_processor != NULL, "Sanity");
103 return _ref_processor;
104 }
105 // Used to add tasks
106 static GCTaskManager* const gc_task_manager();
107 // The promotion managers tell us if they encountered overflow
108 static void set_survivor_overflow(bool state) {
109 _survivor_overflow = state;
110 }
111 // Adaptive size policy support. When the young generation/old generation
112 // boundary moves, _young_generation_boundary must be reset
113 static void set_young_generation_boundary(HeapWord* v) {
114 _young_generation_boundary = v;
115 }
117 // Called by parallelScavengeHeap to init the tenuring threshold
118 static void initialize();
120 // Scavenge entry point
121 static void invoke();
122 // Return true is a collection was done. Return
123 // false if the collection was skipped.
124 static bool invoke_no_policy();
126 // If an attempt to promote fails, this method is invoked
127 static void oop_promotion_failed(oop obj, markOop obj_mark);
129 template <class T> static inline bool should_scavenge(T* p);
131 // These call should_scavenge() above and, if it returns true, also check that
132 // the object was not newly copied into to_space. The version with the bool
133 // argument is a convenience wrapper that fetches the to_space pointer from
134 // the heap and calls the other version (if the arg is true).
135 template <class T> static inline bool should_scavenge(T* p, MutableSpace* to_space);
136 template <class T> static inline bool should_scavenge(T* p, bool check_to_space);
138 template <class T> inline static void copy_and_push_safe_barrier(PSPromotionManager* pm, T* p);
140 // Is an object in the young generation
141 // This assumes that the HeapWord argument is in the heap,
142 // so it only checks one side of the complete predicate.
143 inline static bool is_obj_in_young(HeapWord* o) {
144 const bool result = (o >= _young_generation_boundary);
145 return result;
146 }
147 };
149 #endif // SHARE_VM_GC_IMPLEMENTATION_PARALLELSCAVENGE_PSSCAVENGE_HPP