Mercurial > hg > truffle
annotate src/share/vm/gc_implementation/parallelScavenge/parallelScavengeHeap.hpp @ 3772:6747fd0512e0
7004681: G1: Extend marking verification to Full GCs
Summary: Perform a heap verification after the first phase of G1's full GC using objects' mark words to determine liveness. The third parameter of the heap verification routines, which was used in G1 to determine which marking bitmap to use in liveness calculations, has been changed from a boolean to an enum with values defined for using the mark word, and the 'prev' and 'next' bitmaps.
Reviewed-by: tonyp, ysr
author | johnc |
---|---|
date | Tue, 14 Jun 2011 11:01:10 -0700 |
parents | 2aa9ddbb9e60 |
children | c9ca3f51cf41 |
rev | line source |
---|---|
0 | 1 /* |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1387
diff
changeset
|
2 * Copyright (c) 2001, 2010, Oracle and/or its affiliates. All rights reserved. |
0 | 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 * | |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1387
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1387
diff
changeset
|
20 * or visit www.oracle.com if you need additional information or have any |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1387
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
1972 | 25 #ifndef SHARE_VM_GC_IMPLEMENTATION_PARALLELSCAVENGE_PARALLELSCAVENGEHEAP_HPP |
26 #define SHARE_VM_GC_IMPLEMENTATION_PARALLELSCAVENGE_PARALLELSCAVENGEHEAP_HPP | |
27 | |
28 #include "gc_implementation/parallelScavenge/objectStartArray.hpp" | |
29 #include "gc_implementation/parallelScavenge/psGCAdaptivePolicyCounters.hpp" | |
30 #include "gc_implementation/parallelScavenge/psOldGen.hpp" | |
31 #include "gc_implementation/parallelScavenge/psPermGen.hpp" | |
32 #include "gc_implementation/parallelScavenge/psYoungGen.hpp" | |
33 #include "gc_implementation/shared/gcPolicyCounters.hpp" | |
34 #include "gc_interface/collectedHeap.inline.hpp" | |
35 #include "utilities/ostream.hpp" | |
36 | |
0 | 37 class AdjoiningGenerations; |
38 class GCTaskManager; | |
39 class PSAdaptiveSizePolicy; | |
1387
0bfd3fb24150
6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents:
1166
diff
changeset
|
40 class GenerationSizer; |
0bfd3fb24150
6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents:
1166
diff
changeset
|
41 class CollectorPolicy; |
0 | 42 |
43 class ParallelScavengeHeap : public CollectedHeap { | |
44 friend class VMStructs; | |
45 private: | |
46 static PSYoungGen* _young_gen; | |
47 static PSOldGen* _old_gen; | |
48 static PSPermGen* _perm_gen; | |
49 | |
50 // Sizing policy for entire heap | |
51 static PSAdaptiveSizePolicy* _size_policy; | |
52 static PSGCAdaptivePolicyCounters* _gc_policy_counters; | |
53 | |
54 static ParallelScavengeHeap* _psh; | |
55 | |
56 size_t _perm_gen_alignment; | |
57 size_t _young_gen_alignment; | |
58 size_t _old_gen_alignment; | |
59 | |
1387
0bfd3fb24150
6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents:
1166
diff
changeset
|
60 GenerationSizer* _collector_policy; |
0bfd3fb24150
6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents:
1166
diff
changeset
|
61 |
0 | 62 inline size_t set_alignment(size_t& var, size_t val); |
63 | |
64 // Collection of generations that are adjacent in the | |
65 // space reserved for the heap. | |
66 AdjoiningGenerations* _gens; | |
67 | |
68 static GCTaskManager* _gc_task_manager; // The task manager. | |
69 | |
70 protected: | |
71 static inline size_t total_invocations(); | |
72 HeapWord* allocate_new_tlab(size_t size); | |
73 | |
74 public: | |
75 ParallelScavengeHeap() : CollectedHeap() { | |
13
183f41cf8bfe
6557851: CMS: ergonomics defaults are not set with FLAG_SET_ERGO
jmasa
parents:
0
diff
changeset
|
76 set_alignment(_perm_gen_alignment, intra_heap_alignment()); |
183f41cf8bfe
6557851: CMS: ergonomics defaults are not set with FLAG_SET_ERGO
jmasa
parents:
0
diff
changeset
|
77 set_alignment(_young_gen_alignment, intra_heap_alignment()); |
183f41cf8bfe
6557851: CMS: ergonomics defaults are not set with FLAG_SET_ERGO
jmasa
parents:
0
diff
changeset
|
78 set_alignment(_old_gen_alignment, intra_heap_alignment()); |
0 | 79 } |
80 | |
81 // For use by VM operations | |
82 enum CollectionType { | |
83 Scavenge, | |
84 MarkSweep | |
85 }; | |
86 | |
87 ParallelScavengeHeap::Name kind() const { | |
88 return CollectedHeap::ParallelScavengeHeap; | |
89 } | |
90 | |
1387
0bfd3fb24150
6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents:
1166
diff
changeset
|
91 CollectorPolicy* collector_policy() const { return (CollectorPolicy*) _collector_policy; } |
0bfd3fb24150
6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents:
1166
diff
changeset
|
92 // GenerationSizer* collector_policy() const { return _collector_policy; } |
0bfd3fb24150
6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents:
1166
diff
changeset
|
93 |
0 | 94 static PSYoungGen* young_gen() { return _young_gen; } |
95 static PSOldGen* old_gen() { return _old_gen; } | |
96 static PSPermGen* perm_gen() { return _perm_gen; } | |
97 | |
98 virtual PSAdaptiveSizePolicy* size_policy() { return _size_policy; } | |
99 | |
100 static PSGCAdaptivePolicyCounters* gc_policy_counters() { return _gc_policy_counters; } | |
101 | |
102 static ParallelScavengeHeap* heap(); | |
103 | |
104 static GCTaskManager* const gc_task_manager() { return _gc_task_manager; } | |
105 | |
106 AdjoiningGenerations* gens() { return _gens; } | |
107 | |
108 // Returns JNI_OK on success | |
109 virtual jint initialize(); | |
110 | |
111 void post_initialize(); | |
112 void update_counters(); | |
113 // The alignment used for the various generations. | |
114 size_t perm_gen_alignment() const { return _perm_gen_alignment; } | |
115 size_t young_gen_alignment() const { return _young_gen_alignment; } | |
116 size_t old_gen_alignment() const { return _old_gen_alignment; } | |
117 | |
13
183f41cf8bfe
6557851: CMS: ergonomics defaults are not set with FLAG_SET_ERGO
jmasa
parents:
0
diff
changeset
|
118 // The alignment used for eden and survivors within the young gen |
183f41cf8bfe
6557851: CMS: ergonomics defaults are not set with FLAG_SET_ERGO
jmasa
parents:
0
diff
changeset
|
119 // and for boundary between young gen and old gen. |
183f41cf8bfe
6557851: CMS: ergonomics defaults are not set with FLAG_SET_ERGO
jmasa
parents:
0
diff
changeset
|
120 size_t intra_heap_alignment() const { return 64 * K; } |
0 | 121 |
122 size_t capacity() const; | |
123 size_t used() const; | |
124 | |
125 // Return "true" if all generations (but perm) have reached the | |
126 // maximal committed limit that they can reach, without a garbage | |
127 // collection. | |
128 virtual bool is_maximal_no_gc() const; | |
129 | |
3377
2aa9ddbb9e60
7041789: 30% perf regression with c2/arm following 7017732
jmasa
parents:
1972
diff
changeset
|
130 // Return true if the reference points to an object that |
2aa9ddbb9e60
7041789: 30% perf regression with c2/arm following 7017732
jmasa
parents:
1972
diff
changeset
|
131 // can be moved in a partial collection. For currently implemented |
2aa9ddbb9e60
7041789: 30% perf regression with c2/arm following 7017732
jmasa
parents:
1972
diff
changeset
|
132 // generational collectors that means during a collection of |
2aa9ddbb9e60
7041789: 30% perf regression with c2/arm following 7017732
jmasa
parents:
1972
diff
changeset
|
133 // the young gen. |
2aa9ddbb9e60
7041789: 30% perf regression with c2/arm following 7017732
jmasa
parents:
1972
diff
changeset
|
134 virtual bool is_scavengable(const void* addr); |
2aa9ddbb9e60
7041789: 30% perf regression with c2/arm following 7017732
jmasa
parents:
1972
diff
changeset
|
135 |
0 | 136 // Does this heap support heap inspection? (+PrintClassHistogram) |
137 bool supports_heap_inspection() const { return true; } | |
138 | |
139 size_t permanent_capacity() const; | |
140 size_t permanent_used() const; | |
141 | |
142 size_t max_capacity() const; | |
143 | |
144 // Whether p is in the allocated part of the heap | |
145 bool is_in(const void* p) const; | |
146 | |
147 bool is_in_reserved(const void* p) const; | |
148 bool is_in_permanent(const void *p) const { // reserved part | |
149 return perm_gen()->reserved().contains(p); | |
150 } | |
151 | |
3377
2aa9ddbb9e60
7041789: 30% perf regression with c2/arm following 7017732
jmasa
parents:
1972
diff
changeset
|
152 #ifdef ASSERT |
2aa9ddbb9e60
7041789: 30% perf regression with c2/arm following 7017732
jmasa
parents:
1972
diff
changeset
|
153 virtual bool is_in_partial_collection(const void *p); |
2aa9ddbb9e60
7041789: 30% perf regression with c2/arm following 7017732
jmasa
parents:
1972
diff
changeset
|
154 #endif |
2aa9ddbb9e60
7041789: 30% perf regression with c2/arm following 7017732
jmasa
parents:
1972
diff
changeset
|
155 |
0 | 156 bool is_permanent(const void *p) const { // committed part |
157 return perm_gen()->is_in(p); | |
158 } | |
159 | |
1027
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
989
diff
changeset
|
160 inline bool is_in_young(oop p); // reserved part |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
989
diff
changeset
|
161 inline bool is_in_old_or_perm(oop p); // reserved part |
0 | 162 |
163 // Memory allocation. "gc_time_limit_was_exceeded" will | |
164 // be set to true if the adaptive size policy determine that | |
165 // an excessive amount of time is being spent doing collections | |
166 // and caused a NULL to be returned. If a NULL is not returned, | |
167 // "gc_time_limit_was_exceeded" has an undefined meaning. | |
168 | |
169 HeapWord* mem_allocate(size_t size, | |
170 bool is_noref, | |
171 bool is_tlab, | |
172 bool* gc_overhead_limit_was_exceeded); | |
173 HeapWord* failed_mem_allocate(size_t size, bool is_tlab); | |
174 | |
175 HeapWord* permanent_mem_allocate(size_t size); | |
176 HeapWord* failed_permanent_mem_allocate(size_t size); | |
177 | |
178 // Support for System.gc() | |
179 void collect(GCCause::Cause cause); | |
180 | |
181 // This interface assumes that it's being called by the | |
182 // vm thread. It collects the heap assuming that the | |
183 // heap lock is already held and that we are executing in | |
184 // the context of the vm thread. | |
185 void collect_as_vm_thread(GCCause::Cause cause); | |
186 | |
187 // These also should be called by the vm thread at a safepoint (e.g., from a | |
188 // VM operation). | |
189 // | |
190 // The first collects the young generation only, unless the scavenge fails; it | |
191 // will then attempt a full gc. The second collects the entire heap; if | |
192 // maximum_compaction is true, it will compact everything and clear all soft | |
193 // references. | |
194 inline void invoke_scavenge(); | |
195 inline void invoke_full_gc(bool maximum_compaction); | |
196 | |
197 size_t large_typearray_limit() { return FastAllocateSizeLimit; } | |
198 | |
199 bool supports_inline_contig_alloc() const { return !UseNUMA; } | |
141 | 200 |
201 HeapWord** top_addr() const { return !UseNUMA ? young_gen()->top_addr() : (HeapWord**)-1; } | |
202 HeapWord** end_addr() const { return !UseNUMA ? young_gen()->end_addr() : (HeapWord**)-1; } | |
0 | 203 |
204 void ensure_parsability(bool retire_tlabs); | |
205 void accumulate_statistics_all_tlabs(); | |
206 void resize_all_tlabs(); | |
207 | |
208 size_t unsafe_max_alloc(); | |
209 | |
210 bool supports_tlab_allocation() const { return true; } | |
211 | |
212 size_t tlab_capacity(Thread* thr) const; | |
213 size_t unsafe_max_tlab_alloc(Thread* thr) const; | |
214 | |
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
141
diff
changeset
|
215 // Can a compiler initialize a new object without store barriers? |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
141
diff
changeset
|
216 // This permission only extends from the creation of a new object |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
141
diff
changeset
|
217 // via a TLAB up to the first subsequent safepoint. |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
141
diff
changeset
|
218 virtual bool can_elide_tlab_store_barriers() const { |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
141
diff
changeset
|
219 return true; |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
141
diff
changeset
|
220 } |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
141
diff
changeset
|
221 |
1166 | 222 virtual bool card_mark_must_follow_store() const { |
223 return false; | |
224 } | |
225 | |
1027
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
989
diff
changeset
|
226 // Return true if we don't we need a store barrier for |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
989
diff
changeset
|
227 // initializing stores to an object at this address. |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
989
diff
changeset
|
228 virtual bool can_elide_initializing_store_barrier(oop new_obj); |
39b01ab7035a
6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents:
989
diff
changeset
|
229 |
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
141
diff
changeset
|
230 // Can a compiler elide a store barrier when it writes |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
141
diff
changeset
|
231 // a permanent oop into the heap? Applies when the compiler |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
141
diff
changeset
|
232 // is storing x to the heap, where x->is_perm() is true. |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
141
diff
changeset
|
233 virtual bool can_elide_permanent_oop_store_barriers() const { |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
141
diff
changeset
|
234 return true; |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
141
diff
changeset
|
235 } |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
141
diff
changeset
|
236 |
0 | 237 void oop_iterate(OopClosure* cl); |
238 void object_iterate(ObjectClosure* cl); | |
517
e9be0e04635a
6689653: JMapPerm fails with UseConcMarkSweepIncGC and compressed oops off
jmasa
parents:
356
diff
changeset
|
239 void safe_object_iterate(ObjectClosure* cl) { object_iterate(cl); } |
0 | 240 void permanent_oop_iterate(OopClosure* cl); |
241 void permanent_object_iterate(ObjectClosure* cl); | |
242 | |
243 HeapWord* block_start(const void* addr) const; | |
244 size_t block_size(const HeapWord* addr) const; | |
245 bool block_is_obj(const HeapWord* addr) const; | |
246 | |
247 jlong millis_since_last_gc(); | |
248 | |
249 void prepare_for_verify(); | |
250 void print() const; | |
251 void print_on(outputStream* st) const; | |
252 virtual void print_gc_threads_on(outputStream* st) const; | |
253 virtual void gc_threads_do(ThreadClosure* tc) const; | |
254 virtual void print_tracing_info() const; | |
255 | |
3772
6747fd0512e0
7004681: G1: Extend marking verification to Full GCs
johnc
parents:
3377
diff
changeset
|
256 void verify(bool allow_dirty, bool silent, VerifyOption option /* ignored */); |
0 | 257 |
258 void print_heap_change(size_t prev_used); | |
259 | |
260 // Resize the young generation. The reserved space for the | |
261 // generation may be expanded in preparation for the resize. | |
262 void resize_young_gen(size_t eden_size, size_t survivor_size); | |
263 | |
264 // Resize the old generation. The reserved space for the | |
265 // generation may be expanded in preparation for the resize. | |
266 void resize_old_gen(size_t desired_free_space); | |
263
12eea04c8b06
6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents:
141
diff
changeset
|
267 |
12eea04c8b06
6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents:
141
diff
changeset
|
268 // Save the tops of the spaces in all generations |
12eea04c8b06
6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents:
141
diff
changeset
|
269 void record_gen_tops_before_GC() PRODUCT_RETURN; |
12eea04c8b06
6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents:
141
diff
changeset
|
270 |
12eea04c8b06
6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents:
141
diff
changeset
|
271 // Mangle the unused parts of all spaces in the heap |
12eea04c8b06
6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents:
141
diff
changeset
|
272 void gen_mangle_unused_area() PRODUCT_RETURN; |
989
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
845
diff
changeset
|
273 |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
845
diff
changeset
|
274 // Call these in sequential code around the processing of strong roots. |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
845
diff
changeset
|
275 class ParStrongRootsScope : public MarkingCodeBlobClosure::MarkScope { |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
845
diff
changeset
|
276 public: |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
845
diff
changeset
|
277 ParStrongRootsScope(); |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
845
diff
changeset
|
278 ~ParStrongRootsScope(); |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
845
diff
changeset
|
279 }; |
0 | 280 }; |
281 | |
282 inline size_t ParallelScavengeHeap::set_alignment(size_t& var, size_t val) | |
283 { | |
284 assert(is_power_of_2((intptr_t)val), "must be a power of 2"); | |
13
183f41cf8bfe
6557851: CMS: ergonomics defaults are not set with FLAG_SET_ERGO
jmasa
parents:
0
diff
changeset
|
285 var = round_to(val, intra_heap_alignment()); |
0 | 286 return var; |
287 } | |
1972 | 288 |
289 #endif // SHARE_VM_GC_IMPLEMENTATION_PARALLELSCAVENGE_PARALLELSCAVENGEHEAP_HPP |