annotate src/share/vm/memory/genMarkSweep.cpp @ 1721:413ad0331a0c

6977924: Changes for 6975078 produce build error with certain gcc versions Summary: The changes introduced for 6975078 assign badHeapOopVal to the _allocation field in the ResourceObj class. In 32 bit linux builds with certain versions of gcc this assignment will be flagged as an error while compiling allocation.cpp. In 32 bit builds the constant value badHeapOopVal (which is cast to an intptr_t) is negative. The _allocation field is typed as an unsigned intptr_t and gcc catches this as an error. Reviewed-by: jcoomes, ysr, phh
author johnc
date Wed, 18 Aug 2010 10:59:06 -0700
parents c18cbe5936b8
children 894b1d7c7e01
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
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
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
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
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
a61af66fc99e Initial load
duke
parents:
diff changeset
25 #include "incls/_precompiled.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
26 #include "incls/_genMarkSweep.cpp.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
27
a61af66fc99e Initial load
duke
parents:
diff changeset
28 void GenMarkSweep::invoke_at_safepoint(int level, ReferenceProcessor* rp,
a61af66fc99e Initial load
duke
parents:
diff changeset
29 bool clear_all_softrefs) {
a61af66fc99e Initial load
duke
parents:
diff changeset
30 assert(SafepointSynchronize::is_at_safepoint(), "must be at a safepoint");
a61af66fc99e Initial load
duke
parents:
diff changeset
31
1387
0bfd3fb24150 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 1311
diff changeset
32 GenCollectedHeap* gch = GenCollectedHeap::heap();
0bfd3fb24150 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 1311
diff changeset
33 #ifdef ASSERT
0bfd3fb24150 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 1311
diff changeset
34 if (gch->collector_policy()->should_clear_all_soft_refs()) {
0bfd3fb24150 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 1311
diff changeset
35 assert(clear_all_softrefs, "Policy should have been checked earlier");
0bfd3fb24150 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 1311
diff changeset
36 }
0bfd3fb24150 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 1311
diff changeset
37 #endif
0bfd3fb24150 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 1311
diff changeset
38
0
a61af66fc99e Initial load
duke
parents:
diff changeset
39 // hook up weak ref data so it can be used during Mark-Sweep
a61af66fc99e Initial load
duke
parents:
diff changeset
40 assert(ref_processor() == NULL, "no stomping");
453
c96030fff130 6684579: SoftReference processing can be made more efficient
ysr
parents: 356
diff changeset
41 assert(rp != NULL, "should be non-NULL");
0
a61af66fc99e Initial load
duke
parents:
diff changeset
42 _ref_processor = rp;
457
27a80744a83b 6778647: snap(), snap_policy() should be renamed setup(), setup_policy()
ysr
parents: 453
diff changeset
43 rp->setup_policy(clear_all_softrefs);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
44
a61af66fc99e Initial load
duke
parents:
diff changeset
45 TraceTime t1("Full GC", PrintGC && !PrintGCDetails, true, gclog_or_tty);
a61af66fc99e Initial load
duke
parents:
diff changeset
46
a61af66fc99e Initial load
duke
parents:
diff changeset
47 // When collecting the permanent generation methodOops may be moving,
a61af66fc99e Initial load
duke
parents:
diff changeset
48 // so we either have to flush all bcp data or convert it into bci.
a61af66fc99e Initial load
duke
parents:
diff changeset
49 CodeCache::gc_prologue();
a61af66fc99e Initial load
duke
parents:
diff changeset
50 Threads::gc_prologue();
a61af66fc99e Initial load
duke
parents:
diff changeset
51
a61af66fc99e Initial load
duke
parents:
diff changeset
52 // Increment the invocation count for the permanent generation, since it is
a61af66fc99e Initial load
duke
parents:
diff changeset
53 // implicitly collected whenever we do a full mark sweep collection.
a61af66fc99e Initial load
duke
parents:
diff changeset
54 gch->perm_gen()->stat_record()->invocations++;
a61af66fc99e Initial load
duke
parents:
diff changeset
55
a61af66fc99e Initial load
duke
parents:
diff changeset
56 // Capture heap size before collection for printing.
a61af66fc99e Initial load
duke
parents:
diff changeset
57 size_t gch_prev_used = gch->used();
a61af66fc99e Initial load
duke
parents:
diff changeset
58
a61af66fc99e Initial load
duke
parents:
diff changeset
59 // Some of the card table updates below assume that the perm gen is
a61af66fc99e Initial load
duke
parents:
diff changeset
60 // also being collected.
a61af66fc99e Initial load
duke
parents:
diff changeset
61 assert(level == gch->n_gens() - 1,
a61af66fc99e Initial load
duke
parents:
diff changeset
62 "All generations are being collected, ergo perm gen too.");
a61af66fc99e Initial load
duke
parents:
diff changeset
63
a61af66fc99e Initial load
duke
parents:
diff changeset
64 // Capture used regions for each generation that will be
a61af66fc99e Initial load
duke
parents:
diff changeset
65 // subject to collection, so that card table adjustments can
a61af66fc99e Initial load
duke
parents:
diff changeset
66 // be made intelligently (see clear / invalidate further below).
a61af66fc99e Initial load
duke
parents:
diff changeset
67 gch->save_used_regions(level, true /* perm */);
a61af66fc99e Initial load
duke
parents:
diff changeset
68
a61af66fc99e Initial load
duke
parents:
diff changeset
69 allocate_stacks();
a61af66fc99e Initial load
duke
parents:
diff changeset
70
a61af66fc99e Initial load
duke
parents:
diff changeset
71 mark_sweep_phase1(level, clear_all_softrefs);
a61af66fc99e Initial load
duke
parents:
diff changeset
72
a61af66fc99e Initial load
duke
parents:
diff changeset
73 mark_sweep_phase2();
a61af66fc99e Initial load
duke
parents:
diff changeset
74
a61af66fc99e Initial load
duke
parents:
diff changeset
75 // Don't add any more derived pointers during phase3
a61af66fc99e Initial load
duke
parents:
diff changeset
76 COMPILER2_PRESENT(assert(DerivedPointerTable::is_active(), "Sanity"));
a61af66fc99e Initial load
duke
parents:
diff changeset
77 COMPILER2_PRESENT(DerivedPointerTable::set_active(false));
a61af66fc99e Initial load
duke
parents:
diff changeset
78
a61af66fc99e Initial load
duke
parents:
diff changeset
79 mark_sweep_phase3(level);
a61af66fc99e Initial load
duke
parents:
diff changeset
80
a61af66fc99e Initial load
duke
parents:
diff changeset
81 VALIDATE_MARK_SWEEP_ONLY(
a61af66fc99e Initial load
duke
parents:
diff changeset
82 if (ValidateMarkSweep) {
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
83 guarantee(_root_refs_stack->length() == 0, "should be empty by now");
0
a61af66fc99e Initial load
duke
parents:
diff changeset
84 }
a61af66fc99e Initial load
duke
parents:
diff changeset
85 )
a61af66fc99e Initial load
duke
parents:
diff changeset
86
a61af66fc99e Initial load
duke
parents:
diff changeset
87 mark_sweep_phase4();
a61af66fc99e Initial load
duke
parents:
diff changeset
88
a61af66fc99e Initial load
duke
parents:
diff changeset
89 VALIDATE_MARK_SWEEP_ONLY(
a61af66fc99e Initial load
duke
parents:
diff changeset
90 if (ValidateMarkSweep) {
a61af66fc99e Initial load
duke
parents:
diff changeset
91 guarantee(_live_oops->length() == _live_oops_moved_to->length(),
a61af66fc99e Initial load
duke
parents:
diff changeset
92 "should be the same size");
a61af66fc99e Initial load
duke
parents:
diff changeset
93 }
a61af66fc99e Initial load
duke
parents:
diff changeset
94 )
a61af66fc99e Initial load
duke
parents:
diff changeset
95
a61af66fc99e Initial load
duke
parents:
diff changeset
96 restore_marks();
a61af66fc99e Initial load
duke
parents:
diff changeset
97
a61af66fc99e Initial load
duke
parents:
diff changeset
98 // Set saved marks for allocation profiler (and other things? -- dld)
a61af66fc99e Initial load
duke
parents:
diff changeset
99 // (Should this be in general part?)
a61af66fc99e Initial load
duke
parents:
diff changeset
100 gch->save_marks();
a61af66fc99e Initial load
duke
parents:
diff changeset
101
a61af66fc99e Initial load
duke
parents:
diff changeset
102 deallocate_stacks();
a61af66fc99e Initial load
duke
parents:
diff changeset
103
a61af66fc99e Initial load
duke
parents:
diff changeset
104 // If compaction completely evacuated all generations younger than this
a61af66fc99e Initial load
duke
parents:
diff changeset
105 // one, then we can clear the card table. Otherwise, we must invalidate
a61af66fc99e Initial load
duke
parents:
diff changeset
106 // it (consider all cards dirty). In the future, we might consider doing
a61af66fc99e Initial load
duke
parents:
diff changeset
107 // compaction within generations only, and doing card-table sliding.
a61af66fc99e Initial load
duke
parents:
diff changeset
108 bool all_empty = true;
a61af66fc99e Initial load
duke
parents:
diff changeset
109 for (int i = 0; all_empty && i < level; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
110 Generation* g = gch->get_gen(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
111 all_empty = all_empty && gch->get_gen(i)->used() == 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
112 }
a61af66fc99e Initial load
duke
parents:
diff changeset
113 GenRemSet* rs = gch->rem_set();
a61af66fc99e Initial load
duke
parents:
diff changeset
114 // Clear/invalidate below make use of the "prev_used_regions" saved earlier.
a61af66fc99e Initial load
duke
parents:
diff changeset
115 if (all_empty) {
a61af66fc99e Initial load
duke
parents:
diff changeset
116 // We've evacuated all generations below us.
a61af66fc99e Initial load
duke
parents:
diff changeset
117 Generation* g = gch->get_gen(level);
a61af66fc99e Initial load
duke
parents:
diff changeset
118 rs->clear_into_younger(g, true /* perm */);
a61af66fc99e Initial load
duke
parents:
diff changeset
119 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
120 // Invalidate the cards corresponding to the currently used
a61af66fc99e Initial load
duke
parents:
diff changeset
121 // region and clear those corresponding to the evacuated region
a61af66fc99e Initial load
duke
parents:
diff changeset
122 // of all generations just collected (i.e. level and younger).
a61af66fc99e Initial load
duke
parents:
diff changeset
123 rs->invalidate_or_clear(gch->get_gen(level),
a61af66fc99e Initial load
duke
parents:
diff changeset
124 true /* younger */,
a61af66fc99e Initial load
duke
parents:
diff changeset
125 true /* perm */);
a61af66fc99e Initial load
duke
parents:
diff changeset
126 }
a61af66fc99e Initial load
duke
parents:
diff changeset
127
a61af66fc99e Initial load
duke
parents:
diff changeset
128 Threads::gc_epilogue();
a61af66fc99e Initial load
duke
parents:
diff changeset
129 CodeCache::gc_epilogue();
a61af66fc99e Initial load
duke
parents:
diff changeset
130
a61af66fc99e Initial load
duke
parents:
diff changeset
131 if (PrintGC && !PrintGCDetails) {
a61af66fc99e Initial load
duke
parents:
diff changeset
132 gch->print_heap_change(gch_prev_used);
a61af66fc99e Initial load
duke
parents:
diff changeset
133 }
a61af66fc99e Initial load
duke
parents:
diff changeset
134
a61af66fc99e Initial load
duke
parents:
diff changeset
135 // refs processing: clean slate
a61af66fc99e Initial load
duke
parents:
diff changeset
136 _ref_processor = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
137
a61af66fc99e Initial load
duke
parents:
diff changeset
138 // Update heap occupancy information which is used as
a61af66fc99e Initial load
duke
parents:
diff changeset
139 // input to soft ref clearing policy at the next gc.
a61af66fc99e Initial load
duke
parents:
diff changeset
140 Universe::update_heap_info_at_gc();
a61af66fc99e Initial load
duke
parents:
diff changeset
141
a61af66fc99e Initial load
duke
parents:
diff changeset
142 // Update time of last gc for all generations we collected
a61af66fc99e Initial load
duke
parents:
diff changeset
143 // (which curently is all the generations in the heap).
a61af66fc99e Initial load
duke
parents:
diff changeset
144 gch->update_time_of_last_gc(os::javaTimeMillis());
a61af66fc99e Initial load
duke
parents:
diff changeset
145 }
a61af66fc99e Initial load
duke
parents:
diff changeset
146
a61af66fc99e Initial load
duke
parents:
diff changeset
147 void GenMarkSweep::allocate_stacks() {
a61af66fc99e Initial load
duke
parents:
diff changeset
148 GenCollectedHeap* gch = GenCollectedHeap::heap();
a61af66fc99e Initial load
duke
parents:
diff changeset
149 // Scratch request on behalf of oldest generation; will do no
a61af66fc99e Initial load
duke
parents:
diff changeset
150 // allocation.
a61af66fc99e Initial load
duke
parents:
diff changeset
151 ScratchBlock* scratch = gch->gather_scratch(gch->_gens[gch->_n_gens-1], 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
152
a61af66fc99e Initial load
duke
parents:
diff changeset
153 // $$$ To cut a corner, we'll only use the first scratch block, and then
a61af66fc99e Initial load
duke
parents:
diff changeset
154 // revert to malloc.
a61af66fc99e Initial load
duke
parents:
diff changeset
155 if (scratch != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
156 _preserved_count_max =
a61af66fc99e Initial load
duke
parents:
diff changeset
157 scratch->num_words * HeapWordSize / sizeof(PreservedMark);
a61af66fc99e Initial load
duke
parents:
diff changeset
158 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
159 _preserved_count_max = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
160 }
a61af66fc99e Initial load
duke
parents:
diff changeset
161
a61af66fc99e Initial load
duke
parents:
diff changeset
162 _preserved_marks = (PreservedMark*)scratch;
a61af66fc99e Initial load
duke
parents:
diff changeset
163 _preserved_count = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
164 _preserved_mark_stack = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
165 _preserved_oop_stack = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
166
a61af66fc99e Initial load
duke
parents:
diff changeset
167 _marking_stack = new (ResourceObj::C_HEAP) GrowableArray<oop>(4000, true);
1311
2a1472c30599 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 1000
diff changeset
168 _objarray_stack = new (ResourceObj::C_HEAP) GrowableArray<ObjArrayTask>(50, true);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
169
a61af66fc99e Initial load
duke
parents:
diff changeset
170 int size = SystemDictionary::number_of_classes() * 2;
a61af66fc99e Initial load
duke
parents:
diff changeset
171 _revisit_klass_stack = new (ResourceObj::C_HEAP) GrowableArray<Klass*>(size, true);
941
8b46c4d82093 4957990: Perm heap bloat in JVM
ysr
parents: 457
diff changeset
172 // (#klass/k)^2 for k ~ 10 appears to be a better fit, but this will have to do for
8b46c4d82093 4957990: Perm heap bloat in JVM
ysr
parents: 457
diff changeset
173 // now until we have had a chance to investigate a more optimal setting.
8b46c4d82093 4957990: Perm heap bloat in JVM
ysr
parents: 457
diff changeset
174 _revisit_mdo_stack = new (ResourceObj::C_HEAP) GrowableArray<DataLayout*>(2*size, true);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
175
a61af66fc99e Initial load
duke
parents:
diff changeset
176 #ifdef VALIDATE_MARK_SWEEP
a61af66fc99e Initial load
duke
parents:
diff changeset
177 if (ValidateMarkSweep) {
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
178 _root_refs_stack = new (ResourceObj::C_HEAP) GrowableArray<void*>(100, true);
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
179 _other_refs_stack = new (ResourceObj::C_HEAP) GrowableArray<void*>(100, true);
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
180 _adjusted_pointers = new (ResourceObj::C_HEAP) GrowableArray<void*>(100, true);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
181 _live_oops = new (ResourceObj::C_HEAP) GrowableArray<oop>(100, true);
a61af66fc99e Initial load
duke
parents:
diff changeset
182 _live_oops_moved_to = new (ResourceObj::C_HEAP) GrowableArray<oop>(100, true);
a61af66fc99e Initial load
duke
parents:
diff changeset
183 _live_oops_size = new (ResourceObj::C_HEAP) GrowableArray<size_t>(100, true);
a61af66fc99e Initial load
duke
parents:
diff changeset
184 }
a61af66fc99e Initial load
duke
parents:
diff changeset
185 if (RecordMarkSweepCompaction) {
a61af66fc99e Initial load
duke
parents:
diff changeset
186 if (_cur_gc_live_oops == NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
187 _cur_gc_live_oops = new(ResourceObj::C_HEAP) GrowableArray<HeapWord*>(100, true);
a61af66fc99e Initial load
duke
parents:
diff changeset
188 _cur_gc_live_oops_moved_to = new(ResourceObj::C_HEAP) GrowableArray<HeapWord*>(100, true);
a61af66fc99e Initial load
duke
parents:
diff changeset
189 _cur_gc_live_oops_size = new(ResourceObj::C_HEAP) GrowableArray<size_t>(100, true);
a61af66fc99e Initial load
duke
parents:
diff changeset
190 _last_gc_live_oops = new(ResourceObj::C_HEAP) GrowableArray<HeapWord*>(100, true);
a61af66fc99e Initial load
duke
parents:
diff changeset
191 _last_gc_live_oops_moved_to = new(ResourceObj::C_HEAP) GrowableArray<HeapWord*>(100, true);
a61af66fc99e Initial load
duke
parents:
diff changeset
192 _last_gc_live_oops_size = new(ResourceObj::C_HEAP) GrowableArray<size_t>(100, true);
a61af66fc99e Initial load
duke
parents:
diff changeset
193 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
194 _cur_gc_live_oops->clear();
a61af66fc99e Initial load
duke
parents:
diff changeset
195 _cur_gc_live_oops_moved_to->clear();
a61af66fc99e Initial load
duke
parents:
diff changeset
196 _cur_gc_live_oops_size->clear();
a61af66fc99e Initial load
duke
parents:
diff changeset
197 }
a61af66fc99e Initial load
duke
parents:
diff changeset
198 }
a61af66fc99e Initial load
duke
parents:
diff changeset
199 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
200 }
a61af66fc99e Initial load
duke
parents:
diff changeset
201
a61af66fc99e Initial load
duke
parents:
diff changeset
202
a61af66fc99e Initial load
duke
parents:
diff changeset
203 void GenMarkSweep::deallocate_stacks() {
356
tonyp
parents: 269
diff changeset
204 if (!UseG1GC) {
tonyp
parents: 269
diff changeset
205 GenCollectedHeap* gch = GenCollectedHeap::heap();
tonyp
parents: 269
diff changeset
206 gch->release_scratch();
tonyp
parents: 269
diff changeset
207 }
263
12eea04c8b06 6672698: mangle_unused_area() should not remangle the entire heap at each collection.
jmasa
parents: 113
diff changeset
208
0
a61af66fc99e Initial load
duke
parents:
diff changeset
209 if (_preserved_oop_stack) {
a61af66fc99e Initial load
duke
parents:
diff changeset
210 delete _preserved_mark_stack;
a61af66fc99e Initial load
duke
parents:
diff changeset
211 _preserved_mark_stack = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
212 delete _preserved_oop_stack;
a61af66fc99e Initial load
duke
parents:
diff changeset
213 _preserved_oop_stack = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
214 }
a61af66fc99e Initial load
duke
parents:
diff changeset
215
a61af66fc99e Initial load
duke
parents:
diff changeset
216 delete _marking_stack;
1311
2a1472c30599 4396719: Mark Sweep stack overflow on deeply nested Object arrays
jcoomes
parents: 1000
diff changeset
217 delete _objarray_stack;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
218 delete _revisit_klass_stack;
941
8b46c4d82093 4957990: Perm heap bloat in JVM
ysr
parents: 457
diff changeset
219 delete _revisit_mdo_stack;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
220
a61af66fc99e Initial load
duke
parents:
diff changeset
221 #ifdef VALIDATE_MARK_SWEEP
a61af66fc99e Initial load
duke
parents:
diff changeset
222 if (ValidateMarkSweep) {
a61af66fc99e Initial load
duke
parents:
diff changeset
223 delete _root_refs_stack;
a61af66fc99e Initial load
duke
parents:
diff changeset
224 delete _other_refs_stack;
a61af66fc99e Initial load
duke
parents:
diff changeset
225 delete _adjusted_pointers;
a61af66fc99e Initial load
duke
parents:
diff changeset
226 delete _live_oops;
a61af66fc99e Initial load
duke
parents:
diff changeset
227 delete _live_oops_size;
a61af66fc99e Initial load
duke
parents:
diff changeset
228 delete _live_oops_moved_to;
a61af66fc99e Initial load
duke
parents:
diff changeset
229 _live_oops_index = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
230 _live_oops_index_at_perm = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
231 }
a61af66fc99e Initial load
duke
parents:
diff changeset
232 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
233 }
a61af66fc99e Initial load
duke
parents:
diff changeset
234
a61af66fc99e Initial load
duke
parents:
diff changeset
235 void GenMarkSweep::mark_sweep_phase1(int level,
a61af66fc99e Initial load
duke
parents:
diff changeset
236 bool clear_all_softrefs) {
a61af66fc99e Initial load
duke
parents:
diff changeset
237 // Recursively traverse all live objects and mark them
a61af66fc99e Initial load
duke
parents:
diff changeset
238 EventMark m("1 mark object");
a61af66fc99e Initial load
duke
parents:
diff changeset
239 TraceTime tm("phase 1", PrintGC && Verbose, true, gclog_or_tty);
a61af66fc99e Initial load
duke
parents:
diff changeset
240 trace(" 1");
a61af66fc99e Initial load
duke
parents:
diff changeset
241
a61af66fc99e Initial load
duke
parents:
diff changeset
242 VALIDATE_MARK_SWEEP_ONLY(reset_live_oop_tracking(false));
a61af66fc99e Initial load
duke
parents:
diff changeset
243
a61af66fc99e Initial load
duke
parents:
diff changeset
244 GenCollectedHeap* gch = GenCollectedHeap::heap();
a61af66fc99e Initial load
duke
parents:
diff changeset
245
a61af66fc99e Initial load
duke
parents:
diff changeset
246 // Because follow_root_closure is created statically, cannot
a61af66fc99e Initial load
duke
parents:
diff changeset
247 // use OopsInGenClosure constructor which takes a generation,
a61af66fc99e Initial load
duke
parents:
diff changeset
248 // as the Universe has not been created when the static constructors
a61af66fc99e Initial load
duke
parents:
diff changeset
249 // are run.
a61af66fc99e Initial load
duke
parents:
diff changeset
250 follow_root_closure.set_orig_generation(gch->get_gen(level));
a61af66fc99e Initial load
duke
parents:
diff changeset
251
a61af66fc99e Initial load
duke
parents:
diff changeset
252 gch->gen_process_strong_roots(level,
a61af66fc99e Initial load
duke
parents:
diff changeset
253 false, // Younger gens are not roots.
989
148e5441d916 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 457
diff changeset
254 true, // activate StrongRootsScope
0
a61af66fc99e Initial load
duke
parents:
diff changeset
255 true, // Collecting permanent generation.
a61af66fc99e Initial load
duke
parents:
diff changeset
256 SharedHeap::SO_SystemClasses,
989
148e5441d916 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 457
diff changeset
257 &follow_root_closure,
148e5441d916 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 457
diff changeset
258 true, // walk code active on stacks
148e5441d916 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 457
diff changeset
259 &follow_root_closure);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
260
a61af66fc99e Initial load
duke
parents:
diff changeset
261 // Process reference objects found during marking
a61af66fc99e Initial load
duke
parents:
diff changeset
262 {
457
27a80744a83b 6778647: snap(), snap_policy() should be renamed setup(), setup_policy()
ysr
parents: 453
diff changeset
263 ref_processor()->setup_policy(clear_all_softrefs);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
264 ref_processor()->process_discovered_references(
453
c96030fff130 6684579: SoftReference processing can be made more efficient
ysr
parents: 356
diff changeset
265 &is_alive, &keep_alive, &follow_stack_closure, NULL);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
266 }
a61af66fc99e Initial load
duke
parents:
diff changeset
267
a61af66fc99e Initial load
duke
parents:
diff changeset
268 // Follow system dictionary roots and unload classes
a61af66fc99e Initial load
duke
parents:
diff changeset
269 bool purged_class = SystemDictionary::do_unloading(&is_alive);
a61af66fc99e Initial load
duke
parents:
diff changeset
270
a61af66fc99e Initial load
duke
parents:
diff changeset
271 // Follow code cache roots
a61af66fc99e Initial load
duke
parents:
diff changeset
272 CodeCache::do_unloading(&is_alive, &keep_alive, purged_class);
a61af66fc99e Initial load
duke
parents:
diff changeset
273 follow_stack(); // Flush marking stack
a61af66fc99e Initial load
duke
parents:
diff changeset
274
a61af66fc99e Initial load
duke
parents:
diff changeset
275 // Update subklass/sibling/implementor links of live klasses
a61af66fc99e Initial load
duke
parents:
diff changeset
276 follow_weak_klass_links();
a61af66fc99e Initial load
duke
parents:
diff changeset
277 assert(_marking_stack->is_empty(), "just drained");
a61af66fc99e Initial load
duke
parents:
diff changeset
278
941
8b46c4d82093 4957990: Perm heap bloat in JVM
ysr
parents: 457
diff changeset
279 // Visit memoized MDO's and clear any unmarked weak refs
8b46c4d82093 4957990: Perm heap bloat in JVM
ysr
parents: 457
diff changeset
280 follow_mdo_weak_refs();
8b46c4d82093 4957990: Perm heap bloat in JVM
ysr
parents: 457
diff changeset
281 assert(_marking_stack->is_empty(), "just drained");
8b46c4d82093 4957990: Perm heap bloat in JVM
ysr
parents: 457
diff changeset
282
0
a61af66fc99e Initial load
duke
parents:
diff changeset
283 // Visit symbol and interned string tables and delete unmarked oops
a61af66fc99e Initial load
duke
parents:
diff changeset
284 SymbolTable::unlink(&is_alive);
a61af66fc99e Initial load
duke
parents:
diff changeset
285 StringTable::unlink(&is_alive);
a61af66fc99e Initial load
duke
parents:
diff changeset
286
a61af66fc99e Initial load
duke
parents:
diff changeset
287 assert(_marking_stack->is_empty(), "stack should be empty by now");
a61af66fc99e Initial load
duke
parents:
diff changeset
288 }
a61af66fc99e Initial load
duke
parents:
diff changeset
289
a61af66fc99e Initial load
duke
parents:
diff changeset
290
a61af66fc99e Initial load
duke
parents:
diff changeset
291 void GenMarkSweep::mark_sweep_phase2() {
a61af66fc99e Initial load
duke
parents:
diff changeset
292 // Now all live objects are marked, compute the new object addresses.
a61af66fc99e Initial load
duke
parents:
diff changeset
293
a61af66fc99e Initial load
duke
parents:
diff changeset
294 // It is imperative that we traverse perm_gen LAST. If dead space is
a61af66fc99e Initial load
duke
parents:
diff changeset
295 // allowed a range of dead object may get overwritten by a dead int
a61af66fc99e Initial load
duke
parents:
diff changeset
296 // array. If perm_gen is not traversed last a klassOop may get
a61af66fc99e Initial load
duke
parents:
diff changeset
297 // overwritten. This is fine since it is dead, but if the class has dead
a61af66fc99e Initial load
duke
parents:
diff changeset
298 // instances we have to skip them, and in order to find their size we
a61af66fc99e Initial load
duke
parents:
diff changeset
299 // need the klassOop!
a61af66fc99e Initial load
duke
parents:
diff changeset
300 //
a61af66fc99e Initial load
duke
parents:
diff changeset
301 // It is not required that we traverse spaces in the same order in
a61af66fc99e Initial load
duke
parents:
diff changeset
302 // phase2, phase3 and phase4, but the ValidateMarkSweep live oops
a61af66fc99e Initial load
duke
parents:
diff changeset
303 // tracking expects us to do so. See comment under phase4.
a61af66fc99e Initial load
duke
parents:
diff changeset
304
a61af66fc99e Initial load
duke
parents:
diff changeset
305 GenCollectedHeap* gch = GenCollectedHeap::heap();
a61af66fc99e Initial load
duke
parents:
diff changeset
306 Generation* pg = gch->perm_gen();
a61af66fc99e Initial load
duke
parents:
diff changeset
307
a61af66fc99e Initial load
duke
parents:
diff changeset
308 EventMark m("2 compute new addresses");
a61af66fc99e Initial load
duke
parents:
diff changeset
309 TraceTime tm("phase 2", PrintGC && Verbose, true, gclog_or_tty);
a61af66fc99e Initial load
duke
parents:
diff changeset
310 trace("2");
a61af66fc99e Initial load
duke
parents:
diff changeset
311
a61af66fc99e Initial load
duke
parents:
diff changeset
312 VALIDATE_MARK_SWEEP_ONLY(reset_live_oop_tracking(false));
a61af66fc99e Initial load
duke
parents:
diff changeset
313
a61af66fc99e Initial load
duke
parents:
diff changeset
314 gch->prepare_for_compaction();
a61af66fc99e Initial load
duke
parents:
diff changeset
315
a61af66fc99e Initial load
duke
parents:
diff changeset
316 VALIDATE_MARK_SWEEP_ONLY(_live_oops_index_at_perm = _live_oops_index);
a61af66fc99e Initial load
duke
parents:
diff changeset
317 CompactPoint perm_cp(pg, NULL, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
318 pg->prepare_for_compaction(&perm_cp);
a61af66fc99e Initial load
duke
parents:
diff changeset
319 }
a61af66fc99e Initial load
duke
parents:
diff changeset
320
a61af66fc99e Initial load
duke
parents:
diff changeset
321 class GenAdjustPointersClosure: public GenCollectedHeap::GenClosure {
a61af66fc99e Initial load
duke
parents:
diff changeset
322 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
323 void do_generation(Generation* gen) {
a61af66fc99e Initial load
duke
parents:
diff changeset
324 gen->adjust_pointers();
a61af66fc99e Initial load
duke
parents:
diff changeset
325 }
a61af66fc99e Initial load
duke
parents:
diff changeset
326 };
a61af66fc99e Initial load
duke
parents:
diff changeset
327
a61af66fc99e Initial load
duke
parents:
diff changeset
328 void GenMarkSweep::mark_sweep_phase3(int level) {
a61af66fc99e Initial load
duke
parents:
diff changeset
329 GenCollectedHeap* gch = GenCollectedHeap::heap();
a61af66fc99e Initial load
duke
parents:
diff changeset
330 Generation* pg = gch->perm_gen();
a61af66fc99e Initial load
duke
parents:
diff changeset
331
a61af66fc99e Initial load
duke
parents:
diff changeset
332 // Adjust the pointers to reflect the new locations
a61af66fc99e Initial load
duke
parents:
diff changeset
333 EventMark m("3 adjust pointers");
a61af66fc99e Initial load
duke
parents:
diff changeset
334 TraceTime tm("phase 3", PrintGC && Verbose, true, gclog_or_tty);
a61af66fc99e Initial load
duke
parents:
diff changeset
335 trace("3");
a61af66fc99e Initial load
duke
parents:
diff changeset
336
a61af66fc99e Initial load
duke
parents:
diff changeset
337 VALIDATE_MARK_SWEEP_ONLY(reset_live_oop_tracking(false));
a61af66fc99e Initial load
duke
parents:
diff changeset
338
a61af66fc99e Initial load
duke
parents:
diff changeset
339 // Needs to be done before the system dictionary is adjusted.
a61af66fc99e Initial load
duke
parents:
diff changeset
340 pg->pre_adjust_pointers();
a61af66fc99e Initial load
duke
parents:
diff changeset
341
a61af66fc99e Initial load
duke
parents:
diff changeset
342 // Because the two closures below are created statically, cannot
a61af66fc99e Initial load
duke
parents:
diff changeset
343 // use OopsInGenClosure constructor which takes a generation,
a61af66fc99e Initial load
duke
parents:
diff changeset
344 // as the Universe has not been created when the static constructors
a61af66fc99e Initial load
duke
parents:
diff changeset
345 // are run.
a61af66fc99e Initial load
duke
parents:
diff changeset
346 adjust_root_pointer_closure.set_orig_generation(gch->get_gen(level));
a61af66fc99e Initial load
duke
parents:
diff changeset
347 adjust_pointer_closure.set_orig_generation(gch->get_gen(level));
a61af66fc99e Initial load
duke
parents:
diff changeset
348
a61af66fc99e Initial load
duke
parents:
diff changeset
349 gch->gen_process_strong_roots(level,
a61af66fc99e Initial load
duke
parents:
diff changeset
350 false, // Younger gens are not roots.
989
148e5441d916 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 457
diff changeset
351 true, // activate StrongRootsScope
0
a61af66fc99e Initial load
duke
parents:
diff changeset
352 true, // Collecting permanent generation.
a61af66fc99e Initial load
duke
parents:
diff changeset
353 SharedHeap::SO_AllClasses,
a61af66fc99e Initial load
duke
parents:
diff changeset
354 &adjust_root_pointer_closure,
989
148e5441d916 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 457
diff changeset
355 false, // do not walk code
0
a61af66fc99e Initial load
duke
parents:
diff changeset
356 &adjust_root_pointer_closure);
a61af66fc99e Initial load
duke
parents:
diff changeset
357
a61af66fc99e Initial load
duke
parents:
diff changeset
358 // Now adjust pointers in remaining weak roots. (All of which should
a61af66fc99e Initial load
duke
parents:
diff changeset
359 // have been cleared if they pointed to non-surviving objects.)
989
148e5441d916 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 457
diff changeset
360 CodeBlobToOopClosure adjust_code_pointer_closure(&adjust_pointer_closure,
148e5441d916 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 457
diff changeset
361 /*do_marking=*/ false);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
362 gch->gen_process_weak_roots(&adjust_root_pointer_closure,
989
148e5441d916 6863023: need non-perm oops in code cache for JSR 292
jrose
parents: 457
diff changeset
363 &adjust_code_pointer_closure,
0
a61af66fc99e Initial load
duke
parents:
diff changeset
364 &adjust_pointer_closure);
a61af66fc99e Initial load
duke
parents:
diff changeset
365
a61af66fc99e Initial load
duke
parents:
diff changeset
366 adjust_marks();
a61af66fc99e Initial load
duke
parents:
diff changeset
367 GenAdjustPointersClosure blk;
a61af66fc99e Initial load
duke
parents:
diff changeset
368 gch->generation_iterate(&blk, true);
a61af66fc99e Initial load
duke
parents:
diff changeset
369 pg->adjust_pointers();
a61af66fc99e Initial load
duke
parents:
diff changeset
370 }
a61af66fc99e Initial load
duke
parents:
diff changeset
371
a61af66fc99e Initial load
duke
parents:
diff changeset
372 class GenCompactClosure: public GenCollectedHeap::GenClosure {
a61af66fc99e Initial load
duke
parents:
diff changeset
373 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
374 void do_generation(Generation* gen) {
a61af66fc99e Initial load
duke
parents:
diff changeset
375 gen->compact();
a61af66fc99e Initial load
duke
parents:
diff changeset
376 }
a61af66fc99e Initial load
duke
parents:
diff changeset
377 };
a61af66fc99e Initial load
duke
parents:
diff changeset
378
a61af66fc99e Initial load
duke
parents:
diff changeset
379 void GenMarkSweep::mark_sweep_phase4() {
a61af66fc99e Initial load
duke
parents:
diff changeset
380 // All pointers are now adjusted, move objects accordingly
a61af66fc99e Initial load
duke
parents:
diff changeset
381
a61af66fc99e Initial load
duke
parents:
diff changeset
382 // It is imperative that we traverse perm_gen first in phase4. All
a61af66fc99e Initial load
duke
parents:
diff changeset
383 // classes must be allocated earlier than their instances, and traversing
a61af66fc99e Initial load
duke
parents:
diff changeset
384 // perm_gen first makes sure that all klassOops have moved to their new
a61af66fc99e Initial load
duke
parents:
diff changeset
385 // location before any instance does a dispatch through it's klass!
a61af66fc99e Initial load
duke
parents:
diff changeset
386
a61af66fc99e Initial load
duke
parents:
diff changeset
387 // The ValidateMarkSweep live oops tracking expects us to traverse spaces
a61af66fc99e Initial load
duke
parents:
diff changeset
388 // in the same order in phase2, phase3 and phase4. We don't quite do that
a61af66fc99e Initial load
duke
parents:
diff changeset
389 // here (perm_gen first rather than last), so we tell the validate code
a61af66fc99e Initial load
duke
parents:
diff changeset
390 // to use a higher index (saved from phase2) when verifying perm_gen.
a61af66fc99e Initial load
duke
parents:
diff changeset
391 GenCollectedHeap* gch = GenCollectedHeap::heap();
a61af66fc99e Initial load
duke
parents:
diff changeset
392 Generation* pg = gch->perm_gen();
a61af66fc99e Initial load
duke
parents:
diff changeset
393
a61af66fc99e Initial load
duke
parents:
diff changeset
394 EventMark m("4 compact heap");
a61af66fc99e Initial load
duke
parents:
diff changeset
395 TraceTime tm("phase 4", PrintGC && Verbose, true, gclog_or_tty);
a61af66fc99e Initial load
duke
parents:
diff changeset
396 trace("4");
a61af66fc99e Initial load
duke
parents:
diff changeset
397
a61af66fc99e Initial load
duke
parents:
diff changeset
398 VALIDATE_MARK_SWEEP_ONLY(reset_live_oop_tracking(true));
a61af66fc99e Initial load
duke
parents:
diff changeset
399
a61af66fc99e Initial load
duke
parents:
diff changeset
400 pg->compact();
a61af66fc99e Initial load
duke
parents:
diff changeset
401
a61af66fc99e Initial load
duke
parents:
diff changeset
402 VALIDATE_MARK_SWEEP_ONLY(reset_live_oop_tracking(false));
a61af66fc99e Initial load
duke
parents:
diff changeset
403
a61af66fc99e Initial load
duke
parents:
diff changeset
404 GenCompactClosure blk;
a61af66fc99e Initial load
duke
parents:
diff changeset
405 gch->generation_iterate(&blk, true);
a61af66fc99e Initial load
duke
parents:
diff changeset
406
a61af66fc99e Initial load
duke
parents:
diff changeset
407 VALIDATE_MARK_SWEEP_ONLY(compaction_complete());
a61af66fc99e Initial load
duke
parents:
diff changeset
408
a61af66fc99e Initial load
duke
parents:
diff changeset
409 pg->post_compact(); // Shared spaces verification.
a61af66fc99e Initial load
duke
parents:
diff changeset
410 }