author | tschatzl |
Wed, 25 Nov 2015 14:43:29 +0100 | |
changeset 34300 | 6075c1e0e913 |
parent 33107 | 77bf0d2069a3 |
child 35061 | be6025ebffea |
permissions | -rw-r--r-- |
1374 | 1 |
/* |
29078 | 2 |
* Copyright (c) 2001, 2015, Oracle and/or its affiliates. All rights reserved. |
1374 | 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 |
* |
|
5547
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
4458
diff
changeset
|
19 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
4458
diff
changeset
|
20 |
* or visit www.oracle.com if you need additional information or have any |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
4458
diff
changeset
|
21 |
* questions. |
1374 | 22 |
* |
23 |
*/ |
|
24 |
||
7397 | 25 |
#include "precompiled.hpp" |
30764 | 26 |
#include "gc/g1/concurrentMarkThread.inline.hpp" |
27 |
#include "gc/g1/g1CollectedHeap.inline.hpp" |
|
28 |
#include "gc/g1/g1CollectorPolicy.hpp" |
|
33107
77bf0d2069a3
8134953: Make the GC ID available in a central place
brutisso
parents:
33105
diff
changeset
|
29 |
#include "gc/shared/gcId.hpp" |
30764 | 30 |
#include "gc/g1/g1Log.hpp" |
31 |
#include "gc/g1/vm_operations_g1.hpp" |
|
32 |
#include "gc/shared/gcTimer.hpp" |
|
33 |
#include "gc/shared/gcTraceTime.hpp" |
|
34 |
#include "gc/shared/isGCActiveMark.hpp" |
|
7397 | 35 |
#include "runtime/interfaceSupport.hpp" |
1374 | 36 |
|
29078 | 37 |
VM_G1CollectForAllocation::VM_G1CollectForAllocation(uint gc_count_before, |
38 |
size_t word_size) |
|
12227
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
39 |
: VM_G1OperationWithAllocRequest(gc_count_before, word_size, |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
40 |
GCCause::_allocation_failure) { |
29079
832d35c45d0b
8066771: Refactor VM GC operations caused by allocation failure
mlarsson
parents:
29078
diff
changeset
|
41 |
guarantee(word_size != 0, "An allocation should always be requested with this operation."); |
7398 | 42 |
} |
43 |
||
1374 | 44 |
void VM_G1CollectForAllocation::doit() { |
45 |
G1CollectedHeap* g1h = G1CollectedHeap::heap(); |
|
12628
bd8e0e8f8e5c
7168294: G1: Some Full GCs incorrectly report GC cause as "No GC"
johnc
parents:
12378
diff
changeset
|
46 |
GCCauseSetter x(g1h, _gc_cause); |
26837
72a43d3841e7
8057536: Refactor G1 to allow context specific allocations
sjohanss
parents:
25350
diff
changeset
|
47 |
|
72a43d3841e7
8057536: Refactor G1 to allow context specific allocations
sjohanss
parents:
25350
diff
changeset
|
48 |
_result = g1h->satisfy_failed_allocation(_word_size, allocation_context(), &_pause_succeeded); |
7398 | 49 |
assert(_result == NULL || _pause_succeeded, |
50 |
"if we get back a result, the pause should have succeeded"); |
|
1374 | 51 |
} |
52 |
||
53 |
void VM_G1CollectFull::doit() { |
|
54 |
G1CollectedHeap* g1h = G1CollectedHeap::heap(); |
|
55 |
GCCauseSetter x(g1h, _gc_cause); |
|
56 |
g1h->do_full_collection(false /* clear_all_soft_refs */); |
|
57 |
} |
|
58 |
||
29078 | 59 |
VM_G1IncCollectionPause::VM_G1IncCollectionPause(uint gc_count_before, |
60 |
size_t word_size, |
|
61 |
bool should_initiate_conc_mark, |
|
62 |
double target_pause_time_ms, |
|
63 |
GCCause::Cause gc_cause) |
|
12227
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
64 |
: VM_G1OperationWithAllocRequest(gc_count_before, word_size, gc_cause), |
7398 | 65 |
_should_initiate_conc_mark(should_initiate_conc_mark), |
66 |
_target_pause_time_ms(target_pause_time_ms), |
|
12227
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
67 |
_should_retry_gc(false), |
12934
f9bc0e664918
7172388: G1: _total_full_collections should not be incremented for concurrent cycles
brutisso
parents:
12628
diff
changeset
|
68 |
_old_marking_cycles_completed_before(0) { |
7398 | 69 |
guarantee(target_pause_time_ms > 0.0, |
33105
294e48b4f704
8080775: Better argument formatting for assert() and friends
david
parents:
32185
diff
changeset
|
70 |
"target_pause_time_ms = %1.6lf should be positive", |
294e48b4f704
8080775: Better argument formatting for assert() and friends
david
parents:
32185
diff
changeset
|
71 |
target_pause_time_ms); |
7398 | 72 |
_gc_cause = gc_cause; |
73 |
} |
|
74 |
||
12227
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
75 |
bool VM_G1IncCollectionPause::doit_prologue() { |
29079
832d35c45d0b
8066771: Refactor VM GC operations caused by allocation failure
mlarsson
parents:
29078
diff
changeset
|
76 |
bool res = VM_G1OperationWithAllocRequest::doit_prologue(); |
12227
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
77 |
if (!res) { |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
78 |
if (_should_initiate_conc_mark) { |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
79 |
// The prologue can fail for a couple of reasons. The first is that another GC |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
80 |
// got scheduled and prevented the scheduling of the initial mark GC. The |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
81 |
// second is that the GC locker may be active and the heap can't be expanded. |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
82 |
// In both cases we want to retry the GC so that the initial mark pause is |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
83 |
// actually scheduled. In the second case, however, we should stall until |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
84 |
// until the GC locker is no longer active and then retry the initial mark GC. |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
85 |
_should_retry_gc = true; |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
86 |
} |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
87 |
} |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
88 |
return res; |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
89 |
} |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
90 |
|
1374 | 91 |
void VM_G1IncCollectionPause::doit() { |
92 |
G1CollectedHeap* g1h = G1CollectedHeap::heap(); |
|
27900
d24cd7a1ed38
8065579: WB method to start G1 concurrent mark cycle should be introduced
tschatzl
parents:
27887
diff
changeset
|
93 |
assert(!_should_initiate_conc_mark || g1h->should_do_concurrent_full_gc(_gc_cause), |
d24cd7a1ed38
8065579: WB method to start G1 concurrent mark cycle should be introduced
tschatzl
parents:
27887
diff
changeset
|
94 |
"only a GC locker, a System.gc(), stats update, whitebox, or a hum allocation induced GC should start a cycle"); |
6058
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
95 |
|
7398 | 96 |
if (_word_size > 0) { |
97 |
// An allocation has been requested. So, try to do that first. |
|
32185
49a57ff2c3cb
8073052: Rename and clean up the allocation manager hierarchy in g1Allocator.?pp
tschatzl
parents:
31032
diff
changeset
|
98 |
_result = g1h->attempt_allocation_at_safepoint(_word_size, |
49a57ff2c3cb
8073052: Rename and clean up the allocation manager hierarchy in g1Allocator.?pp
tschatzl
parents:
31032
diff
changeset
|
99 |
allocation_context(), |
49a57ff2c3cb
8073052: Rename and clean up the allocation manager hierarchy in g1Allocator.?pp
tschatzl
parents:
31032
diff
changeset
|
100 |
false /* expect_null_cur_alloc_region */); |
7398 | 101 |
if (_result != NULL) { |
102 |
// If we can successfully allocate before we actually do the |
|
103 |
// pause then we will consider this pause successful. |
|
104 |
_pause_succeeded = true; |
|
105 |
return; |
|
106 |
} |
|
107 |
} |
|
108 |
||
4458
075a9ef4e467
6902303: G1: ScavengeALot should cause an incremental, rather than a full, collection
ysr
parents:
3261
diff
changeset
|
109 |
GCCauseSetter x(g1h, _gc_cause); |
6058
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
110 |
if (_should_initiate_conc_mark) { |
12934
f9bc0e664918
7172388: G1: _total_full_collections should not be incremented for concurrent cycles
brutisso
parents:
12628
diff
changeset
|
111 |
// It's safer to read old_marking_cycles_completed() here, given |
6058
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
112 |
// that noone else will be updating it concurrently. Since we'll |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
113 |
// only need it if we're initiating a marking cycle, no point in |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
114 |
// setting it earlier. |
12934
f9bc0e664918
7172388: G1: _total_full_collections should not be incremented for concurrent cycles
brutisso
parents:
12628
diff
changeset
|
115 |
_old_marking_cycles_completed_before = g1h->old_marking_cycles_completed(); |
6058
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
116 |
|
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
117 |
// At this point we are supposed to start a concurrent cycle. We |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
118 |
// will do so if one is not already in progress. |
10523
cdb54c167ab0
7050392: G1: Introduce flag to generate a log of the G1 ergonomic decisions
tonyp
parents:
9996
diff
changeset
|
119 |
bool res = g1h->g1_policy()->force_initial_mark_if_outside_cycle(_gc_cause); |
9996
3851e45f93e7
7045751: G1: +ExplicitGCInvokesConcurrent causes excessive single region evacuation pauses
johnc
parents:
8921
diff
changeset
|
120 |
|
3851e45f93e7
7045751: G1: +ExplicitGCInvokesConcurrent causes excessive single region evacuation pauses
johnc
parents:
8921
diff
changeset
|
121 |
// The above routine returns true if we were able to force the |
3851e45f93e7
7045751: G1: +ExplicitGCInvokesConcurrent causes excessive single region evacuation pauses
johnc
parents:
8921
diff
changeset
|
122 |
// next GC pause to be an initial mark; it returns false if a |
3851e45f93e7
7045751: G1: +ExplicitGCInvokesConcurrent causes excessive single region evacuation pauses
johnc
parents:
8921
diff
changeset
|
123 |
// marking cycle is already in progress. |
3851e45f93e7
7045751: G1: +ExplicitGCInvokesConcurrent causes excessive single region evacuation pauses
johnc
parents:
8921
diff
changeset
|
124 |
// |
12227
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
125 |
// If a marking cycle is already in progress just return and skip the |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
126 |
// pause below - if the reason for requesting this initial mark pause |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
127 |
// was due to a System.gc() then the requesting thread should block in |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
128 |
// doit_epilogue() until the marking cycle is complete. |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
129 |
// |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
130 |
// If this initial mark pause was requested as part of a humongous |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
131 |
// allocation then we know that the marking cycle must just have |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
132 |
// been started by another thread (possibly also allocating a humongous |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
133 |
// object) as there was no active marking cycle when the requesting |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
134 |
// thread checked before calling collect() in |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
135 |
// attempt_allocation_humongous(). Retrying the GC, in this case, |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
136 |
// will cause the requesting thread to spin inside collect() until the |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
137 |
// just started marking cycle is complete - which may be a while. So |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
138 |
// we do NOT retry the GC. |
9996
3851e45f93e7
7045751: G1: +ExplicitGCInvokesConcurrent causes excessive single region evacuation pauses
johnc
parents:
8921
diff
changeset
|
139 |
if (!res) { |
12227
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
140 |
assert(_word_size == 0, "Concurrent Full GC/Humongous Object IM shouldn't be allocating"); |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
141 |
if (_gc_cause != GCCause::_g1_humongous_allocation) { |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
142 |
_should_retry_gc = true; |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
143 |
} |
9996
3851e45f93e7
7045751: G1: +ExplicitGCInvokesConcurrent causes excessive single region evacuation pauses
johnc
parents:
8921
diff
changeset
|
144 |
return; |
3851e45f93e7
7045751: G1: +ExplicitGCInvokesConcurrent causes excessive single region evacuation pauses
johnc
parents:
8921
diff
changeset
|
145 |
} |
6058
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
146 |
} |
7398 | 147 |
|
148 |
_pause_succeeded = |
|
149 |
g1h->do_collection_pause_at_safepoint(_target_pause_time_ms); |
|
150 |
if (_pause_succeeded && _word_size > 0) { |
|
151 |
// An allocation had been requested. |
|
32185
49a57ff2c3cb
8073052: Rename and clean up the allocation manager hierarchy in g1Allocator.?pp
tschatzl
parents:
31032
diff
changeset
|
152 |
_result = g1h->attempt_allocation_at_safepoint(_word_size, |
49a57ff2c3cb
8073052: Rename and clean up the allocation manager hierarchy in g1Allocator.?pp
tschatzl
parents:
31032
diff
changeset
|
153 |
allocation_context(), |
49a57ff2c3cb
8073052: Rename and clean up the allocation manager hierarchy in g1Allocator.?pp
tschatzl
parents:
31032
diff
changeset
|
154 |
true /* expect_null_cur_alloc_region */); |
7398 | 155 |
} else { |
156 |
assert(_result == NULL, "invariant"); |
|
12227
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
157 |
if (!_pause_succeeded) { |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
158 |
// Another possible reason reason for the pause to not be successful |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
159 |
// is that, again, the GC locker is active (and has become active |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
160 |
// since the prologue was executed). In this case we should retry |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
161 |
// the pause after waiting for the GC locker to become inactive. |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
162 |
_should_retry_gc = true; |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
163 |
} |
7398 | 164 |
} |
6058
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
165 |
} |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
166 |
|
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
167 |
void VM_G1IncCollectionPause::doit_epilogue() { |
29079
832d35c45d0b
8066771: Refactor VM GC operations caused by allocation failure
mlarsson
parents:
29078
diff
changeset
|
168 |
VM_G1OperationWithAllocRequest::doit_epilogue(); |
6058
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
169 |
|
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
170 |
// If the pause was initiated by a System.gc() and |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
171 |
// +ExplicitGCInvokesConcurrent, we have to wait here for the cycle |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
172 |
// that just started (or maybe one that was already in progress) to |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
173 |
// finish. |
31032
8e72621ca186
8072913: [REDO] GCCause should distinguish jcmd GC.run from System.gc()
ysuenaga
parents:
30764
diff
changeset
|
174 |
if (GCCause::is_user_requested_gc(_gc_cause) && |
6058
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
175 |
_should_initiate_conc_mark) { |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
176 |
assert(ExplicitGCInvokesConcurrent, |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
177 |
"the only way to be here is if ExplicitGCInvokesConcurrent is set"); |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
178 |
|
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
179 |
G1CollectedHeap* g1h = G1CollectedHeap::heap(); |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
180 |
|
12934
f9bc0e664918
7172388: G1: _total_full_collections should not be incremented for concurrent cycles
brutisso
parents:
12628
diff
changeset
|
181 |
// In the doit() method we saved g1h->old_marking_cycles_completed() |
f9bc0e664918
7172388: G1: _total_full_collections should not be incremented for concurrent cycles
brutisso
parents:
12628
diff
changeset
|
182 |
// in the _old_marking_cycles_completed_before field. We have to |
f9bc0e664918
7172388: G1: _total_full_collections should not be incremented for concurrent cycles
brutisso
parents:
12628
diff
changeset
|
183 |
// wait until we observe that g1h->old_marking_cycles_completed() |
6058
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
184 |
// has increased by at least one. This can happen if a) we started |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
185 |
// a cycle and it completes, b) a cycle already in progress |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
186 |
// completes, or c) a Full GC happens. |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
187 |
|
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
188 |
// If the condition has already been reached, there's no point in |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
189 |
// actually taking the lock and doing the wait. |
12934
f9bc0e664918
7172388: G1: _total_full_collections should not be incremented for concurrent cycles
brutisso
parents:
12628
diff
changeset
|
190 |
if (g1h->old_marking_cycles_completed() <= |
f9bc0e664918
7172388: G1: _total_full_collections should not be incremented for concurrent cycles
brutisso
parents:
12628
diff
changeset
|
191 |
_old_marking_cycles_completed_before) { |
6058
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
192 |
// The following is largely copied from CMS |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
193 |
|
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
194 |
Thread* thr = Thread::current(); |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
195 |
assert(thr->is_Java_thread(), "invariant"); |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
196 |
JavaThread* jt = (JavaThread*)thr; |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
197 |
ThreadToNativeFromVM native(jt); |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
198 |
|
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
199 |
MutexLockerEx x(FullGCCount_lock, Mutex::_no_safepoint_check_flag); |
12934
f9bc0e664918
7172388: G1: _total_full_collections should not be incremented for concurrent cycles
brutisso
parents:
12628
diff
changeset
|
200 |
while (g1h->old_marking_cycles_completed() <= |
f9bc0e664918
7172388: G1: _total_full_collections should not be incremented for concurrent cycles
brutisso
parents:
12628
diff
changeset
|
201 |
_old_marking_cycles_completed_before) { |
6058
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
202 |
FullGCCount_lock->wait(Mutex::_no_safepoint_check_flag); |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
203 |
} |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
204 |
} |
9c9aec6ab47d
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
5547
diff
changeset
|
205 |
} |
1374 | 206 |
} |
207 |
||
10769
983d377770fd
7099824: G1: we should take the pending list lock before doing the remark pause
johnc
parents:
10523
diff
changeset
|
208 |
void VM_CGC_Operation::acquire_pending_list_lock() { |
12227
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
209 |
assert(_needs_pll, "don't call this otherwise"); |
10769
983d377770fd
7099824: G1: we should take the pending list lock before doing the remark pause
johnc
parents:
10523
diff
changeset
|
210 |
// The caller may block while communicating |
983d377770fd
7099824: G1: we should take the pending list lock before doing the remark pause
johnc
parents:
10523
diff
changeset
|
211 |
// with the SLT thread in order to acquire/release the PLL. |
27678
d1872bc7dd8d
8062036: ConcurrentMarkThread::slt may be invoked before ConcurrentMarkThread::makeSurrogateLockerThread causing intermittent crashes
kbarrett
parents:
27008
diff
changeset
|
212 |
SurrogateLockerThread* slt = ConcurrentMarkThread::slt(); |
d1872bc7dd8d
8062036: ConcurrentMarkThread::slt may be invoked before ConcurrentMarkThread::makeSurrogateLockerThread causing intermittent crashes
kbarrett
parents:
27008
diff
changeset
|
213 |
if (slt != NULL) { |
d1872bc7dd8d
8062036: ConcurrentMarkThread::slt may be invoked before ConcurrentMarkThread::makeSurrogateLockerThread causing intermittent crashes
kbarrett
parents:
27008
diff
changeset
|
214 |
slt->manipulatePLL(SurrogateLockerThread::acquirePLL); |
d1872bc7dd8d
8062036: ConcurrentMarkThread::slt may be invoked before ConcurrentMarkThread::makeSurrogateLockerThread causing intermittent crashes
kbarrett
parents:
27008
diff
changeset
|
215 |
} else { |
d1872bc7dd8d
8062036: ConcurrentMarkThread::slt may be invoked before ConcurrentMarkThread::makeSurrogateLockerThread causing intermittent crashes
kbarrett
parents:
27008
diff
changeset
|
216 |
SurrogateLockerThread::report_missing_slt(); |
d1872bc7dd8d
8062036: ConcurrentMarkThread::slt may be invoked before ConcurrentMarkThread::makeSurrogateLockerThread causing intermittent crashes
kbarrett
parents:
27008
diff
changeset
|
217 |
} |
10769
983d377770fd
7099824: G1: we should take the pending list lock before doing the remark pause
johnc
parents:
10523
diff
changeset
|
218 |
} |
983d377770fd
7099824: G1: we should take the pending list lock before doing the remark pause
johnc
parents:
10523
diff
changeset
|
219 |
|
983d377770fd
7099824: G1: we should take the pending list lock before doing the remark pause
johnc
parents:
10523
diff
changeset
|
220 |
void VM_CGC_Operation::release_and_notify_pending_list_lock() { |
12227
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
221 |
assert(_needs_pll, "don't call this otherwise"); |
10769
983d377770fd
7099824: G1: we should take the pending list lock before doing the remark pause
johnc
parents:
10523
diff
changeset
|
222 |
// The caller may block while communicating |
983d377770fd
7099824: G1: we should take the pending list lock before doing the remark pause
johnc
parents:
10523
diff
changeset
|
223 |
// with the SLT thread in order to acquire/release the PLL. |
983d377770fd
7099824: G1: we should take the pending list lock before doing the remark pause
johnc
parents:
10523
diff
changeset
|
224 |
ConcurrentMarkThread::slt()-> |
983d377770fd
7099824: G1: we should take the pending list lock before doing the remark pause
johnc
parents:
10523
diff
changeset
|
225 |
manipulatePLL(SurrogateLockerThread::releaseAndNotifyPLL); |
983d377770fd
7099824: G1: we should take the pending list lock before doing the remark pause
johnc
parents:
10523
diff
changeset
|
226 |
} |
983d377770fd
7099824: G1: we should take the pending list lock before doing the remark pause
johnc
parents:
10523
diff
changeset
|
227 |
|
1374 | 228 |
void VM_CGC_Operation::doit() { |
12378
ed44b9ecfa2f
7160728: Introduce an extra logging level for G1 logging
brutisso
parents:
12227
diff
changeset
|
229 |
TraceCPUTime tcpu(G1Log::finer(), true, gclog_or_tty); |
30147
af9a41999c6e
8076314: Remove the static instance variable SharedHeap:: _sh
brutisso
parents:
29079
diff
changeset
|
230 |
G1CollectedHeap* g1h = G1CollectedHeap::heap(); |
33107
77bf0d2069a3
8134953: Make the GC ID available in a central place
brutisso
parents:
33105
diff
changeset
|
231 |
GCIdMark gc_id_mark(_gc_id); |
77bf0d2069a3
8134953: Make the GC ID available in a central place
brutisso
parents:
33105
diff
changeset
|
232 |
GCTraceTime t(_printGCMessage, G1Log::fine(), true, g1h->gc_timer_cm()); |
30147
af9a41999c6e
8076314: Remove the static instance variable SharedHeap:: _sh
brutisso
parents:
29079
diff
changeset
|
233 |
IsGCActiveMark x; |
af9a41999c6e
8076314: Remove the static instance variable SharedHeap:: _sh
brutisso
parents:
29079
diff
changeset
|
234 |
_cl->do_void(); |
1374 | 235 |
} |
236 |
||
237 |
bool VM_CGC_Operation::doit_prologue() { |
|
10769
983d377770fd
7099824: G1: we should take the pending list lock before doing the remark pause
johnc
parents:
10523
diff
changeset
|
238 |
// Note the relative order of the locks must match that in |
983d377770fd
7099824: G1: we should take the pending list lock before doing the remark pause
johnc
parents:
10523
diff
changeset
|
239 |
// VM_GC_Operation::doit_prologue() or deadlocks can occur |
12227
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
240 |
if (_needs_pll) { |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
241 |
acquire_pending_list_lock(); |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
242 |
} |
10769
983d377770fd
7099824: G1: we should take the pending list lock before doing the remark pause
johnc
parents:
10523
diff
changeset
|
243 |
|
1374 | 244 |
Heap_lock->lock(); |
245 |
return true; |
|
246 |
} |
|
247 |
||
248 |
void VM_CGC_Operation::doit_epilogue() { |
|
10769
983d377770fd
7099824: G1: we should take the pending list lock before doing the remark pause
johnc
parents:
10523
diff
changeset
|
249 |
// Note the relative order of the unlocks must match that in |
983d377770fd
7099824: G1: we should take the pending list lock before doing the remark pause
johnc
parents:
10523
diff
changeset
|
250 |
// VM_GC_Operation::doit_epilogue() |
1374 | 251 |
Heap_lock->unlock(); |
12227
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
252 |
if (_needs_pll) { |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
253 |
release_and_notify_pending_list_lock(); |
371690c4f281
7147724: G1: hang in SurrogateLockerThread::manipulatePLL
johnc
parents:
11576
diff
changeset
|
254 |
} |
1374 | 255 |
} |