annotate src/share/vm/gc_implementation/g1/g1MarkSweep.cpp @ 20304:a22acf6d7598

8048112: G1 Full GC needs to support the case when the very first region is not available Summary: Refactor preparation for compaction during Full GC so that it lazily initializes the first compaction point. This also avoids problems later when the first region may not be committed. Also reviewed by K. Barrett. Reviewed-by: brutisso
author tschatzl
date Mon, 21 Jul 2014 10:00:31 +0200
parents 2c6ef90f030a
children d35872270666
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
1 /*
17764
595c0f60d50d 8029075: String deduplication in G1
pliden
parents: 17736
diff changeset
2 * Copyright (c) 2001, 2014, Oracle and/or its affiliates. All rights reserved.
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
4 *
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
7 * published by the Free Software Foundation.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
8 *
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
13 * accompanied this code).
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
14 *
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
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.
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
22 *
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
23 */
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
24
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
25 #include "precompiled.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
26 #include "classfile/javaClasses.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
27 #include "classfile/symbolTable.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
28 #include "classfile/systemDictionary.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
29 #include "classfile/vmSymbols.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
30 #include "code/codeCache.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
31 #include "code/icBuffer.hpp"
6007
5c86f8211d1e 7160728: Introduce an extra logging level for G1 logging
brutisso
parents: 4872
diff changeset
32 #include "gc_implementation/g1/g1Log.hpp"
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
33 #include "gc_implementation/g1/g1MarkSweep.hpp"
17764
595c0f60d50d 8029075: String deduplication in G1
pliden
parents: 17736
diff changeset
34 #include "gc_implementation/g1/g1StringDedup.hpp"
10405
f2110083203d 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 10188
diff changeset
35 #include "gc_implementation/shared/gcHeapSummary.hpp"
f2110083203d 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 10188
diff changeset
36 #include "gc_implementation/shared/gcTimer.hpp"
f2110083203d 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 10188
diff changeset
37 #include "gc_implementation/shared/gcTrace.hpp"
f2110083203d 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 10188
diff changeset
38 #include "gc_implementation/shared/gcTraceTime.hpp"
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
39 #include "memory/gcLocker.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
40 #include "memory/genCollectedHeap.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
41 #include "memory/modRefBarrierSet.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
42 #include "memory/referencePolicy.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
43 #include "memory/space.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
44 #include "oops/instanceRefKlass.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
45 #include "oops/oop.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
46 #include "prims/jvmtiExport.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
47 #include "runtime/biasedLocking.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
48 #include "runtime/fprofiler.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
49 #include "runtime/synchronizer.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
50 #include "runtime/thread.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
51 #include "runtime/vmThread.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
52 #include "utilities/copy.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1836
diff changeset
53 #include "utilities/events.hpp"
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
54
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
55 class HeapRegion;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
56
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
57 void G1MarkSweep::invoke_at_safepoint(ReferenceProcessor* rp,
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
58 bool clear_all_softrefs) {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
59 assert(SafepointSynchronize::is_at_safepoint(), "must be at a safepoint");
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
60
1387
0bfd3fb24150 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 1311
diff changeset
61 SharedHeap* sh = SharedHeap::heap();
0bfd3fb24150 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 1311
diff changeset
62 #ifdef ASSERT
0bfd3fb24150 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 1311
diff changeset
63 if (sh->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
64 assert(clear_all_softrefs, "Policy should have been checked earler");
0bfd3fb24150 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 1311
diff changeset
65 }
0bfd3fb24150 6858496: Clear all SoftReferences before an out-of-memory due to GC overhead limit.
jmasa
parents: 1311
diff changeset
66 #endif
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
67 // hook up weak ref data so it can be used during Mark-Sweep
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
68 assert(GenMarkSweep::ref_processor() == NULL, "no stomping");
453
c96030fff130 6684579: SoftReference processing can be made more efficient
ysr
parents: 358
diff changeset
69 assert(rp != NULL, "should be non-NULL");
3979
4dfb2df418f2 6484982: G1: process references during evacuation pauses
johnc
parents: 3772
diff changeset
70 assert(rp == G1CollectedHeap::heap()->ref_processor_stw(), "Precondition");
4dfb2df418f2 6484982: G1: process references during evacuation pauses
johnc
parents: 3772
diff changeset
71
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
72 GenMarkSweep::_ref_processor = rp;
457
27a80744a83b 6778647: snap(), snap_policy() should be renamed setup(), setup_policy()
ysr
parents: 453
diff changeset
73 rp->setup_policy(clear_all_softrefs);
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
74
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6254
diff changeset
75 // When collecting the permanent generation Method*s may be moving,
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
76 // so we either have to flush all bcp data or convert it into bci.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
77 CodeCache::gc_prologue();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
78 Threads::gc_prologue();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
79
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
80 bool marked_for_unloading = false;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
81
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
82 allocate_stacks();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
83
358
8651a65ac4b4 6735416: G1: runThese javasoft.sqe.tests.lang.thrd011.thrd01101.thrd01101 fails
iveresov
parents: 342
diff changeset
84 // We should save the marks of the currently locked biased monitors.
8651a65ac4b4 6735416: G1: runThese javasoft.sqe.tests.lang.thrd011.thrd01101.thrd01101 fails
iveresov
parents: 342
diff changeset
85 // The marking doesn't preserve the marks of biased objects.
8651a65ac4b4 6735416: G1: runThese javasoft.sqe.tests.lang.thrd011.thrd01101.thrd01101 fails
iveresov
parents: 342
diff changeset
86 BiasedLocking::preserve_marks();
8651a65ac4b4 6735416: G1: runThese javasoft.sqe.tests.lang.thrd011.thrd01101.thrd01101 fails
iveresov
parents: 342
diff changeset
87
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
88 mark_sweep_phase1(marked_for_unloading, clear_all_softrefs);
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
89
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
90 mark_sweep_phase2();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
91
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
92 // Don't add any more derived pointers during phase3
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
93 COMPILER2_PRESENT(DerivedPointerTable::set_active(false));
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
94
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
95 mark_sweep_phase3();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
96
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
97 mark_sweep_phase4();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
98
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
99 GenMarkSweep::restore_marks();
358
8651a65ac4b4 6735416: G1: runThese javasoft.sqe.tests.lang.thrd011.thrd01101.thrd01101 fails
iveresov
parents: 342
diff changeset
100 BiasedLocking::restore_marks();
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
101 GenMarkSweep::deallocate_stacks();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
102
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
103 // "free at last gc" is calculated from these.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
104 // CHF: cheating for now!!!
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
105 // Universe::set_heap_capacity_at_last_gc(Universe::heap()->capacity());
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
106 // Universe::set_heap_used_at_last_gc(Universe::heap()->used());
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
107
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
108 Threads::gc_epilogue();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
109 CodeCache::gc_epilogue();
2147
9afee0b9fc1d 7012505: BreakpointWithFullGC.sh fails with Internal Error (src/share/vm/oops/methodOop.cpp:220)
kamg
parents: 1972
diff changeset
110 JvmtiExport::gc_epilogue();
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
111
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
112 // refs processing: clean slate
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
113 GenMarkSweep::_ref_processor = NULL;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
114 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
115
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
116
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
117 void G1MarkSweep::allocate_stacks() {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
118 GenMarkSweep::_preserved_count_max = 0;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
119 GenMarkSweep::_preserved_marks = NULL;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
120 GenMarkSweep::_preserved_count = 0;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
121 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
122
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
123 void G1MarkSweep::mark_sweep_phase1(bool& marked_for_unloading,
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
124 bool clear_all_softrefs) {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
125 // Recursively traverse all live objects and mark them
20190
0982ec23da03 8043607: Add a GC id as a log decoration similar to PrintGCTimeStamps
brutisso
parents: 17764
diff changeset
126 GCTraceTime tm("phase 1", G1Log::fine() && Verbose, true, gc_timer(), gc_tracer()->gc_id());
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
127 GenMarkSweep::trace(" 1");
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
128
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
129 SharedHeap* sh = SharedHeap::heap();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
130
20278
2c6ef90f030a 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 20258
diff changeset
131 // Need cleared claim bits for the roots processing
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6254
diff changeset
132 ClassLoaderDataGraph::clear_claimed_marks();
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6254
diff changeset
133
20278
2c6ef90f030a 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 20258
diff changeset
134 MarkingCodeBlobClosure follow_code_closure(&GenMarkSweep::follow_root_closure, !CodeBlobToOopClosure::FixRelocations);
2c6ef90f030a 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 20258
diff changeset
135 sh->process_strong_roots(true, // activate StrongRootsScope
2c6ef90f030a 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 20258
diff changeset
136 SharedHeap::SO_None,
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
137 &GenMarkSweep::follow_root_closure,
20278
2c6ef90f030a 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 20258
diff changeset
138 &GenMarkSweep::follow_cld_closure,
2c6ef90f030a 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 20258
diff changeset
139 &follow_code_closure);
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
140
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
141 // Process reference objects found during marking
453
c96030fff130 6684579: SoftReference processing can be made more efficient
ysr
parents: 358
diff changeset
142 ReferenceProcessor* rp = GenMarkSweep::ref_processor();
3979
4dfb2df418f2 6484982: G1: process references during evacuation pauses
johnc
parents: 3772
diff changeset
143 assert(rp == G1CollectedHeap::heap()->ref_processor_stw(), "Sanity");
4dfb2df418f2 6484982: G1: process references during evacuation pauses
johnc
parents: 3772
diff changeset
144
457
27a80744a83b 6778647: snap(), snap_policy() should be renamed setup(), setup_policy()
ysr
parents: 453
diff changeset
145 rp->setup_policy(clear_all_softrefs);
10405
f2110083203d 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 10188
diff changeset
146 const ReferenceProcessorStats& stats =
f2110083203d 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 10188
diff changeset
147 rp->process_discovered_references(&GenMarkSweep::is_alive,
f2110083203d 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 10188
diff changeset
148 &GenMarkSweep::keep_alive,
f2110083203d 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 10188
diff changeset
149 &GenMarkSweep::follow_stack_closure,
f2110083203d 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 10188
diff changeset
150 NULL,
20190
0982ec23da03 8043607: Add a GC id as a log decoration similar to PrintGCTimeStamps
brutisso
parents: 17764
diff changeset
151 gc_timer(),
0982ec23da03 8043607: Add a GC id as a log decoration similar to PrintGCTimeStamps
brutisso
parents: 17764
diff changeset
152 gc_tracer()->gc_id());
10405
f2110083203d 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 10188
diff changeset
153 gc_tracer()->report_gc_reference_stats(stats);
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
154
10188
2f50bc369470 8013160: NPG: Remove unnecessary mark stack draining after CodeCache::do_unloading
stefank
parents: 10186
diff changeset
155
2f50bc369470 8013160: NPG: Remove unnecessary mark stack draining after CodeCache::do_unloading
stefank
parents: 10186
diff changeset
156 // This is the point where the entire marking should have completed.
2f50bc369470 8013160: NPG: Remove unnecessary mark stack draining after CodeCache::do_unloading
stefank
parents: 10186
diff changeset
157 assert(GenMarkSweep::_marking_stack.is_empty(), "Marking should have completed");
2f50bc369470 8013160: NPG: Remove unnecessary mark stack draining after CodeCache::do_unloading
stefank
parents: 10186
diff changeset
158
2f50bc369470 8013160: NPG: Remove unnecessary mark stack draining after CodeCache::do_unloading
stefank
parents: 10186
diff changeset
159 // Unload classes and purge the SystemDictionary.
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
160 bool purged_class = SystemDictionary::do_unloading(&GenMarkSweep::is_alive);
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
161
10188
2f50bc369470 8013160: NPG: Remove unnecessary mark stack draining after CodeCache::do_unloading
stefank
parents: 10186
diff changeset
162 // Unload nmethods.
6787
8966c2d65d96 7200470: KeepAliveClosure not needed in CodeCache::do_unloading
brutisso
parents: 6725
diff changeset
163 CodeCache::do_unloading(&GenMarkSweep::is_alive, purged_class);
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
164
10188
2f50bc369470 8013160: NPG: Remove unnecessary mark stack draining after CodeCache::do_unloading
stefank
parents: 10186
diff changeset
165 // Prune dead klasses from subklass/sibling/implementor lists.
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6254
diff changeset
166 Klass::clean_weak_klass_links(&GenMarkSweep::is_alive);
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
167
17634
5a32d2a3cc1e 8027476: Improve performance of Stringtable unlink
tschatzl
parents: 12343
diff changeset
168 // Delete entries for dead interned string and clean up unreferenced symbols in symbol table.
5a32d2a3cc1e 8027476: Improve performance of Stringtable unlink
tschatzl
parents: 12343
diff changeset
169 G1CollectedHeap::heap()->unlink_string_and_symbol_table(&GenMarkSweep::is_alive);
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
170
3772
6747fd0512e0 7004681: G1: Extend marking verification to Full GCs
johnc
parents: 2361
diff changeset
171 if (VerifyDuringGC) {
6747fd0512e0 7004681: G1: Extend marking verification to Full GCs
johnc
parents: 2361
diff changeset
172 HandleMark hm; // handle scope
6747fd0512e0 7004681: G1: Extend marking verification to Full GCs
johnc
parents: 2361
diff changeset
173 COMPILER2_PRESENT(DerivedPointerTableDeactivate dpt_deact);
6747fd0512e0 7004681: G1: Extend marking verification to Full GCs
johnc
parents: 2361
diff changeset
174 Universe::heap()->prepare_for_verify();
6747fd0512e0 7004681: G1: Extend marking verification to Full GCs
johnc
parents: 2361
diff changeset
175 // Note: we can verify only the heap here. When an object is
6747fd0512e0 7004681: G1: Extend marking verification to Full GCs
johnc
parents: 2361
diff changeset
176 // marked, the previous value of the mark word (including
6747fd0512e0 7004681: G1: Extend marking verification to Full GCs
johnc
parents: 2361
diff changeset
177 // identity hash values, ages, etc) is preserved, and the mark
6747fd0512e0 7004681: G1: Extend marking verification to Full GCs
johnc
parents: 2361
diff changeset
178 // word is set to markOop::marked_value - effectively removing
6747fd0512e0 7004681: G1: Extend marking verification to Full GCs
johnc
parents: 2361
diff changeset
179 // any hash values from the mark word. These hash values are
6747fd0512e0 7004681: G1: Extend marking verification to Full GCs
johnc
parents: 2361
diff changeset
180 // used when verifying the dictionaries and so removing them
6747fd0512e0 7004681: G1: Extend marking verification to Full GCs
johnc
parents: 2361
diff changeset
181 // from the mark word can make verification of the dictionaries
6747fd0512e0 7004681: G1: Extend marking verification to Full GCs
johnc
parents: 2361
diff changeset
182 // fail. At the end of the GC, the orginal mark word values
6747fd0512e0 7004681: G1: Extend marking verification to Full GCs
johnc
parents: 2361
diff changeset
183 // (including hash values) are restored to the appropriate
6747fd0512e0 7004681: G1: Extend marking verification to Full GCs
johnc
parents: 2361
diff changeset
184 // objects.
10186
b06ac540229e 8013132: Add a flag to turn off the output of the verbose verification code
stefank
parents: 10179
diff changeset
185 if (!VerifySilently) {
b06ac540229e 8013132: Add a flag to turn off the output of the verbose verification code
stefank
parents: 10179
diff changeset
186 gclog_or_tty->print(" VerifyDuringGC:(full)[Verifying ");
b06ac540229e 8013132: Add a flag to turn off the output of the verbose verification code
stefank
parents: 10179
diff changeset
187 }
b06ac540229e 8013132: Add a flag to turn off the output of the verbose verification code
stefank
parents: 10179
diff changeset
188 Universe::heap()->verify(VerifySilently, VerifyOption_G1UseMarkWord);
b06ac540229e 8013132: Add a flag to turn off the output of the verbose verification code
stefank
parents: 10179
diff changeset
189 if (!VerifySilently) {
b06ac540229e 8013132: Add a flag to turn off the output of the verbose verification code
stefank
parents: 10179
diff changeset
190 gclog_or_tty->print_cr("]");
b06ac540229e 8013132: Add a flag to turn off the output of the verbose verification code
stefank
parents: 10179
diff changeset
191 }
3772
6747fd0512e0 7004681: G1: Extend marking verification to Full GCs
johnc
parents: 2361
diff changeset
192 }
10405
f2110083203d 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 10188
diff changeset
193
f2110083203d 8005849: JEP 167: Event-Based JVM Tracing
sla
parents: 10188
diff changeset
194 gc_tracer()->report_object_count_after_gc(&GenMarkSweep::is_alive);
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
195 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
196
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
197 class G1PrepareCompactClosure: public HeapRegionClosure {
2152
0fa27f37d4d4 6977804: G1: remove the zero-filling thread
tonyp
parents: 1972
diff changeset
198 G1CollectedHeap* _g1h;
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
199 ModRefBarrierSet* _mrbs;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
200 CompactPoint _cp;
17736
58fc1b1523dc 8034079: G1: Refactor the HeapRegionSet hierarchy
brutisso
parents: 17634
diff changeset
201 HeapRegionSetCount _humongous_regions_removed;
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
202
20304
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
203 bool is_cp_initialized() const {
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
204 return _cp.space != NULL;
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
205 }
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
206
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
207 void prepare_for_compaction(HeapRegion* hr, HeapWord* end) {
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
208 // If this is the first live region that we came across which we can compact,
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
209 // initialize the CompactPoint.
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
210 if (!is_cp_initialized()) {
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
211 _cp.space = hr;
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
212 _cp.threshold = hr->initialize_threshold();
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
213 }
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
214 hr->prepare_for_compaction(&_cp);
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
215 // Also clear the part of the card table that will be unused after
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
216 // compaction.
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
217 _mrbs->clear(MemRegion(hr->compaction_top(), end));
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
218 }
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
219
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
220 void free_humongous_region(HeapRegion* hr) {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
221 HeapWord* end = hr->end();
2361
1216415d8e35 7014923: G1: code cleanup
tonyp
parents: 2177
diff changeset
222 FreeRegionList dummy_free_list("Dummy Free List for G1MarkSweep");
1216415d8e35 7014923: G1: code cleanup
tonyp
parents: 2177
diff changeset
223
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
224 assert(hr->startsHumongous(),
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
225 "Only the start of a humongous region should be freed.");
17736
58fc1b1523dc 8034079: G1: Refactor the HeapRegionSet hierarchy
brutisso
parents: 17634
diff changeset
226
58fc1b1523dc 8034079: G1: Refactor the HeapRegionSet hierarchy
brutisso
parents: 17634
diff changeset
227 hr->set_containing_set(NULL);
58fc1b1523dc 8034079: G1: Refactor the HeapRegionSet hierarchy
brutisso
parents: 17634
diff changeset
228 _humongous_regions_removed.increment(1u, hr->capacity());
58fc1b1523dc 8034079: G1: Refactor the HeapRegionSet hierarchy
brutisso
parents: 17634
diff changeset
229
58fc1b1523dc 8034079: G1: Refactor the HeapRegionSet hierarchy
brutisso
parents: 17634
diff changeset
230 _g1h->free_humongous_region(hr, &dummy_free_list, false /* par */);
20304
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
231 prepare_for_compaction(hr, end);
2361
1216415d8e35 7014923: G1: code cleanup
tonyp
parents: 2177
diff changeset
232 dummy_free_list.remove_all();
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
233 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
234
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
235 public:
20304
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
236 G1PrepareCompactClosure()
2152
0fa27f37d4d4 6977804: G1: remove the zero-filling thread
tonyp
parents: 1972
diff changeset
237 : _g1h(G1CollectedHeap::heap()),
12343
d55c004e1d4d 8025305: Cleanup CardTableModRefBS usage in G1
mgerdin
parents: 11096
diff changeset
238 _mrbs(_g1h->g1_barrier_set()),
20304
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
239 _cp(NULL),
17736
58fc1b1523dc 8034079: G1: Refactor the HeapRegionSet hierarchy
brutisso
parents: 17634
diff changeset
240 _humongous_regions_removed() { }
2152
0fa27f37d4d4 6977804: G1: remove the zero-filling thread
tonyp
parents: 1972
diff changeset
241
0fa27f37d4d4 6977804: G1: remove the zero-filling thread
tonyp
parents: 1972
diff changeset
242 void update_sets() {
0fa27f37d4d4 6977804: G1: remove the zero-filling thread
tonyp
parents: 1972
diff changeset
243 // We'll recalculate total used bytes and recreate the free list
0fa27f37d4d4 6977804: G1: remove the zero-filling thread
tonyp
parents: 1972
diff changeset
244 // at the end of the GC, so no point in updating those values here.
17736
58fc1b1523dc 8034079: G1: Refactor the HeapRegionSet hierarchy
brutisso
parents: 17634
diff changeset
245 HeapRegionSetCount empty_set;
58fc1b1523dc 8034079: G1: Refactor the HeapRegionSet hierarchy
brutisso
parents: 17634
diff changeset
246 _g1h->remove_from_old_sets(empty_set, _humongous_regions_removed);
2152
0fa27f37d4d4 6977804: G1: remove the zero-filling thread
tonyp
parents: 1972
diff changeset
247 }
0fa27f37d4d4 6977804: G1: remove the zero-filling thread
tonyp
parents: 1972
diff changeset
248
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
249 bool doHeapRegion(HeapRegion* hr) {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
250 if (hr->isHumongous()) {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
251 if (hr->startsHumongous()) {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
252 oop obj = oop(hr->bottom());
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
253 if (obj->is_gc_marked()) {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
254 obj->forward_to(obj);
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
255 } else {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
256 free_humongous_region(hr);
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
257 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
258 } else {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
259 assert(hr->continuesHumongous(), "Invalid humongous.");
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
260 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
261 } else {
20304
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
262 prepare_for_compaction(hr, hr->end());
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
263 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
264 return false;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
265 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
266 };
677
96b229c54d1e 6543938: G1: remove the concept of popularity
apetrusenko
parents: 470
diff changeset
267
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
268 void G1MarkSweep::mark_sweep_phase2() {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
269 // Now all live objects are marked, compute the new object addresses.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
270
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
271 // It is not required that we traverse spaces in the same order in
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
272 // phase2, phase3 and phase4, but the ValidateMarkSweep live oops
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
273 // tracking expects us to do so. See comment under phase4.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
274
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
275 G1CollectedHeap* g1h = G1CollectedHeap::heap();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
276
20190
0982ec23da03 8043607: Add a GC id as a log decoration similar to PrintGCTimeStamps
brutisso
parents: 17764
diff changeset
277 GCTraceTime tm("phase 2", G1Log::fine() && Verbose, true, gc_timer(), gc_tracer()->gc_id());
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
278 GenMarkSweep::trace("2");
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
279
20304
a22acf6d7598 8048112: G1 Full GC needs to support the case when the very first region is not available
tschatzl
parents: 20278
diff changeset
280 G1PrepareCompactClosure blk;
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
281 g1h->heap_region_iterate(&blk);
2152
0fa27f37d4d4 6977804: G1: remove the zero-filling thread
tonyp
parents: 1972
diff changeset
282 blk.update_sets();
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
283 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
284
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
285 class G1AdjustPointersClosure: public HeapRegionClosure {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
286 public:
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
287 bool doHeapRegion(HeapRegion* r) {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
288 if (r->isHumongous()) {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
289 if (r->startsHumongous()) {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
290 // We must adjust the pointers on the single H object.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
291 oop obj = oop(r->bottom());
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
292 // point all the oops to the new location
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
293 obj->adjust_pointers();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
294 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
295 } else {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
296 // This really ought to be "as_CompactibleSpace"...
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
297 r->adjust_pointers();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
298 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
299 return false;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
300 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
301 };
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
302
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
303 void G1MarkSweep::mark_sweep_phase3() {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
304 G1CollectedHeap* g1h = G1CollectedHeap::heap();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
305
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
306 // Adjust the pointers to reflect the new locations
20190
0982ec23da03 8043607: Add a GC id as a log decoration similar to PrintGCTimeStamps
brutisso
parents: 17764
diff changeset
307 GCTraceTime tm("phase 3", G1Log::fine() && Verbose, true, gc_timer(), gc_tracer()->gc_id());
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
308 GenMarkSweep::trace("3");
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
309
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
310 SharedHeap* sh = SharedHeap::heap();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
311
20278
2c6ef90f030a 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 20258
diff changeset
312 // Need cleared claim bits for the roots processing
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6254
diff changeset
313 ClassLoaderDataGraph::clear_claimed_marks();
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6254
diff changeset
314
20278
2c6ef90f030a 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 20258
diff changeset
315 CodeBlobToOopClosure adjust_code_closure(&GenMarkSweep::adjust_pointer_closure, CodeBlobToOopClosure::FixRelocations);
2c6ef90f030a 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 20258
diff changeset
316 sh->process_all_roots(true, // activate StrongRootsScope
2c6ef90f030a 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 20258
diff changeset
317 SharedHeap::SO_AllCodeCache,
2c6ef90f030a 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 20258
diff changeset
318 &GenMarkSweep::adjust_pointer_closure,
2c6ef90f030a 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 20258
diff changeset
319 &GenMarkSweep::adjust_cld_closure,
2c6ef90f030a 8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents: 20258
diff changeset
320 &adjust_code_closure);
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
321
3979
4dfb2df418f2 6484982: G1: process references during evacuation pauses
johnc
parents: 3772
diff changeset
322 assert(GenMarkSweep::ref_processor() == g1h->ref_processor_stw(), "Sanity");
10179
a08c80e9e1e5 8012687: Remove unused is_root checks and closures
stefank
parents: 7448
diff changeset
323 g1h->ref_processor_stw()->weak_oops_do(&GenMarkSweep::adjust_pointer_closure);
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
324
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
325 // Now adjust pointers in remaining weak roots. (All of which should
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
326 // have been cleared if they pointed to non-surviving objects.)
20257
7426d8d76305 8034761: Remove the do_code_roots parameter from process_strong_roots
stefank
parents: 20254
diff changeset
327 sh->process_weak_roots(&GenMarkSweep::adjust_pointer_closure);
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
328
17764
595c0f60d50d 8029075: String deduplication in G1
pliden
parents: 17736
diff changeset
329 if (G1StringDedup::is_enabled()) {
595c0f60d50d 8029075: String deduplication in G1
pliden
parents: 17736
diff changeset
330 G1StringDedup::oops_do(&GenMarkSweep::adjust_pointer_closure);
595c0f60d50d 8029075: String deduplication in G1
pliden
parents: 17736
diff changeset
331 }
595c0f60d50d 8029075: String deduplication in G1
pliden
parents: 17736
diff changeset
332
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
333 GenMarkSweep::adjust_marks();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
334
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
335 G1AdjustPointersClosure blk;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
336 g1h->heap_region_iterate(&blk);
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
337 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
338
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
339 class G1SpaceCompactClosure: public HeapRegionClosure {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
340 public:
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
341 G1SpaceCompactClosure() {}
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
343 bool doHeapRegion(HeapRegion* hr) {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
344 if (hr->isHumongous()) {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
345 if (hr->startsHumongous()) {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
346 oop obj = oop(hr->bottom());
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
347 if (obj->is_gc_marked()) {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
348 obj->init_mark();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
349 } else {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
350 assert(hr->is_empty(), "Should have been cleared in phase 2.");
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
351 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
352 hr->reset_during_compaction();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
353 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
354 } else {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
355 hr->compact();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
356 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
357 return false;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
358 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
359 };
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
360
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
361 void G1MarkSweep::mark_sweep_phase4() {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
362 // All pointers are now adjusted, move objects accordingly
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
363
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
364 // The ValidateMarkSweep live oops tracking expects us to traverse spaces
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
365 // in the same order in phase2, phase3 and phase4. We don't quite do that
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6254
diff changeset
366 // here (code and comment not fixed for perm removal), so we tell the validate code
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
367 // to use a higher index (saved from phase2) when verifying perm_gen.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
368 G1CollectedHeap* g1h = G1CollectedHeap::heap();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
369
20190
0982ec23da03 8043607: Add a GC id as a log decoration similar to PrintGCTimeStamps
brutisso
parents: 17764
diff changeset
370 GCTraceTime tm("phase 4", G1Log::fine() && Verbose, true, gc_timer(), gc_tracer()->gc_id());
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
371 GenMarkSweep::trace("4");
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
372
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
373 G1SpaceCompactClosure blk;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
374 g1h->heap_region_iterate(&blk);
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
375
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
376 }