Mercurial > hg > graal-jvmci-8
annotate src/share/vm/gc_implementation/g1/vm_operations_g1.cpp @ 3772:6747fd0512e0
7004681: G1: Extend marking verification to Full GCs
Summary: Perform a heap verification after the first phase of G1's full GC using objects' mark words to determine liveness. The third parameter of the heap verification routines, which was used in G1 to determine which marking bitmap to use in liveness calculations, has been changed from a boolean to an enum with values defined for using the mark word, and the 'prev' and 'next' bitmaps.
Reviewed-by: tonyp, ysr
author | johnc |
---|---|
date | Tue, 14 Jun 2011 11:01:10 -0700 |
parents | 1d1603768966 |
children | 5130fa1b24f1 |
rev | line source |
---|---|
342 | 1 /* |
2426
1d1603768966
7010070: Update all 2010 Oracle-changed OpenJDK files to have the proper copyright dates - second pass
trims
parents:
2125
diff
changeset
|
2 * Copyright (c) 2001, 2011, Oracle and/or its affiliates. All rights reserved. |
342 | 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * | |
5 * This code is free software; you can redistribute it and/or modify it | |
6 * under the terms of the GNU General Public License version 2 only, as | |
7 * published by the Free Software Foundation. | |
8 * | |
9 * This code is distributed in the hope that it will be useful, but WITHOUT | |
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
12 * version 2 for more details (a copy is included in the LICENSE file that | |
13 * accompanied this code). | |
14 * | |
15 * You should have received a copy of the GNU General Public License version | |
16 * 2 along with this work; if not, write to the Free Software Foundation, | |
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
18 * | |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1088
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1088
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:
1088
diff
changeset
|
21 * questions. |
342 | 22 * |
23 */ | |
24 | |
1972 | 25 #include "precompiled.hpp" |
26 #include "gc_implementation/g1/g1CollectedHeap.inline.hpp" | |
27 #include "gc_implementation/g1/g1CollectorPolicy.hpp" | |
28 #include "gc_implementation/g1/vm_operations_g1.hpp" | |
29 #include "gc_implementation/shared/isGCActiveMark.hpp" | |
1973 | 30 #include "gc_implementation/g1/vm_operations_g1.hpp" |
1972 | 31 #include "runtime/interfaceSupport.hpp" |
342 | 32 |
1973 | 33 VM_G1CollectForAllocation::VM_G1CollectForAllocation( |
34 unsigned int gc_count_before, | |
35 size_t word_size) | |
36 : VM_G1OperationWithAllocRequest(gc_count_before, word_size) { | |
37 guarantee(word_size > 0, "an allocation should always be requested"); | |
38 } | |
39 | |
342 | 40 void VM_G1CollectForAllocation::doit() { |
41 G1CollectedHeap* g1h = G1CollectedHeap::heap(); | |
1973 | 42 _result = g1h->satisfy_failed_allocation(_word_size, &_pause_succeeded); |
43 assert(_result == NULL || _pause_succeeded, | |
44 "if we get back a result, the pause should have succeeded"); | |
342 | 45 } |
46 | |
47 void VM_G1CollectFull::doit() { | |
48 G1CollectedHeap* g1h = G1CollectedHeap::heap(); | |
49 GCCauseSetter x(g1h, _gc_cause); | |
50 g1h->do_full_collection(false /* clear_all_soft_refs */); | |
51 } | |
52 | |
1973 | 53 VM_G1IncCollectionPause::VM_G1IncCollectionPause( |
54 unsigned int gc_count_before, | |
55 size_t word_size, | |
56 bool should_initiate_conc_mark, | |
57 double target_pause_time_ms, | |
58 GCCause::Cause gc_cause) | |
59 : VM_G1OperationWithAllocRequest(gc_count_before, word_size), | |
60 _should_initiate_conc_mark(should_initiate_conc_mark), | |
61 _target_pause_time_ms(target_pause_time_ms), | |
62 _full_collections_completed_before(0) { | |
63 guarantee(target_pause_time_ms > 0.0, | |
64 err_msg("target_pause_time_ms = %1.6lf should be positive", | |
65 target_pause_time_ms)); | |
66 guarantee(word_size == 0 || gc_cause == GCCause::_g1_inc_collection_pause, | |
67 "we can only request an allocation if the GC cause is for " | |
68 "an incremental GC pause"); | |
69 _gc_cause = gc_cause; | |
70 } | |
71 | |
342 | 72 void VM_G1IncCollectionPause::doit() { |
73 G1CollectedHeap* g1h = G1CollectedHeap::heap(); | |
1656
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
74 assert(!_should_initiate_conc_mark || |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
75 ((_gc_cause == GCCause::_gc_locker && GCLockerInvokesConcurrent) || |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
76 (_gc_cause == GCCause::_java_lang_system_gc && ExplicitGCInvokesConcurrent)), |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
77 "only a GC locker or a System.gc() induced GC should start a cycle"); |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
78 |
1973 | 79 if (_word_size > 0) { |
80 // An allocation has been requested. So, try to do that first. | |
81 _result = g1h->attempt_allocation_at_safepoint(_word_size, | |
82 false /* expect_null_cur_alloc_region */); | |
83 if (_result != NULL) { | |
84 // If we can successfully allocate before we actually do the | |
85 // pause then we will consider this pause successful. | |
86 _pause_succeeded = true; | |
87 return; | |
88 } | |
89 } | |
90 | |
1088
3fc996d4edd2
6902303: G1: ScavengeALot should cause an incremental, rather than a full, collection
ysr
parents:
844
diff
changeset
|
91 GCCauseSetter x(g1h, _gc_cause); |
1656
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
92 if (_should_initiate_conc_mark) { |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
93 // It's safer to read full_collections_completed() here, given |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
94 // that noone else will be updating it concurrently. Since we'll |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
95 // only need it if we're initiating a marking cycle, no point in |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
96 // setting it earlier. |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
97 _full_collections_completed_before = g1h->full_collections_completed(); |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
98 |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
99 // At this point we are supposed to start a concurrent cycle. We |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
100 // will do so if one is not already in progress. |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
101 bool res = g1h->g1_policy()->force_initial_mark_if_outside_cycle(); |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
102 } |
1973 | 103 |
104 _pause_succeeded = | |
105 g1h->do_collection_pause_at_safepoint(_target_pause_time_ms); | |
106 if (_pause_succeeded && _word_size > 0) { | |
107 // An allocation had been requested. | |
108 _result = g1h->attempt_allocation_at_safepoint(_word_size, | |
109 true /* expect_null_cur_alloc_region */); | |
110 } else { | |
111 assert(_result == NULL, "invariant"); | |
112 } | |
1656
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
113 } |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
114 |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
115 void VM_G1IncCollectionPause::doit_epilogue() { |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
116 VM_GC_Operation::doit_epilogue(); |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
117 |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
118 // If the pause was initiated by a System.gc() and |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
119 // +ExplicitGCInvokesConcurrent, we have to wait here for the cycle |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
120 // that just started (or maybe one that was already in progress) to |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
121 // finish. |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
122 if (_gc_cause == GCCause::_java_lang_system_gc && |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
123 _should_initiate_conc_mark) { |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
124 assert(ExplicitGCInvokesConcurrent, |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
125 "the only way to be here is if ExplicitGCInvokesConcurrent is set"); |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
126 |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
127 G1CollectedHeap* g1h = G1CollectedHeap::heap(); |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
128 |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
129 // In the doit() method we saved g1h->full_collections_completed() |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
130 // in the _full_collections_completed_before field. We have to |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
131 // wait until we observe that g1h->full_collections_completed() |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
132 // has increased by at least one. This can happen if a) we started |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
133 // a cycle and it completes, b) a cycle already in progress |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
134 // completes, or c) a Full GC happens. |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
135 |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
136 // If the condition has already been reached, there's no point in |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
137 // actually taking the lock and doing the wait. |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
138 if (g1h->full_collections_completed() <= |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
139 _full_collections_completed_before) { |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
140 // The following is largely copied from CMS |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
141 |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
142 Thread* thr = Thread::current(); |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
143 assert(thr->is_Java_thread(), "invariant"); |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
144 JavaThread* jt = (JavaThread*)thr; |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
145 ThreadToNativeFromVM native(jt); |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
146 |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
147 MutexLockerEx x(FullGCCount_lock, Mutex::_no_safepoint_check_flag); |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
148 while (g1h->full_collections_completed() <= |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
149 _full_collections_completed_before) { |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
150 FullGCCount_lock->wait(Mutex::_no_safepoint_check_flag); |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
151 } |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
152 } |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1552
diff
changeset
|
153 } |
342 | 154 } |
155 | |
156 void VM_CGC_Operation::doit() { | |
157 gclog_or_tty->date_stamp(PrintGC && PrintGCDateStamps); | |
158 TraceCPUTime tcpu(PrintGCDetails, true, gclog_or_tty); | |
159 TraceTime t(_printGCMessage, PrintGC, true, gclog_or_tty); | |
160 SharedHeap* sh = SharedHeap::heap(); | |
161 // This could go away if CollectedHeap gave access to _gc_is_active... | |
162 if (sh != NULL) { | |
163 IsGCActiveMark x; | |
164 _cl->do_void(); | |
165 } else { | |
166 _cl->do_void(); | |
167 } | |
168 } | |
169 | |
170 bool VM_CGC_Operation::doit_prologue() { | |
171 Heap_lock->lock(); | |
172 SharedHeap::heap()->_thread_holds_heap_lock_for_gc = true; | |
173 return true; | |
174 } | |
175 | |
176 void VM_CGC_Operation::doit_epilogue() { | |
177 SharedHeap::heap()->_thread_holds_heap_lock_for_gc = false; | |
178 Heap_lock->unlock(); | |
179 } |