author | goetz |
Wed, 02 Apr 2014 09:17:38 +0200 | |
changeset 23543 | 0625da57ab78 |
parent 23450 | c7c6202fc7e2 |
child 24100 | 7e71ac14ec06 |
permissions | -rw-r--r-- |
1374 | 1 |
/* |
22234
da823d78ad65
8029233: Update copyright year to match last edit in jdk8 hotspot repository for 2013
mikael
parents:
20403
diff
changeset
|
2 |
* Copyright (c) 2001, 2013, 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:
2742
diff
changeset
|
19 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
2742
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:
2742
diff
changeset
|
21 |
* questions. |
1374 | 22 |
* |
23 |
*/ |
|
24 |
||
7397 | 25 |
#ifndef SHARE_VM_GC_IMPLEMENTATION_G1_G1COLLECTEDHEAP_INLINE_HPP |
26 |
#define SHARE_VM_GC_IMPLEMENTATION_G1_G1COLLECTEDHEAP_INLINE_HPP |
|
27 |
||
28 |
#include "gc_implementation/g1/concurrentMark.hpp" |
|
29 |
#include "gc_implementation/g1/g1CollectedHeap.hpp" |
|
8928
e5c53268bef5
7023069: G1: Introduce symmetric locking in the slow allocation path
tonyp
parents:
7923
diff
changeset
|
30 |
#include "gc_implementation/g1/g1AllocRegion.inline.hpp" |
7398 | 31 |
#include "gc_implementation/g1/g1CollectorPolicy.hpp" |
23543 | 32 |
#include "gc_implementation/g1/g1RemSet.inline.hpp" |
20403
45a89fbcd8f7
8014555: G1: Memory ordering problem with Conc refinement and card marking
mgerdin
parents:
20309
diff
changeset
|
33 |
#include "gc_implementation/g1/g1SATBCardTableModRefBS.hpp" |
23450
c7c6202fc7e2
8034079: G1: Refactor the HeapRegionSet hierarchy
brutisso
parents:
22234
diff
changeset
|
34 |
#include "gc_implementation/g1/heapRegionSet.inline.hpp" |
7920 | 35 |
#include "gc_implementation/g1/heapRegionSeq.inline.hpp" |
7397 | 36 |
#include "utilities/taskqueue.hpp" |
37 |
||
1374 | 38 |
// Inline functions for G1CollectedHeap |
39 |
||
23543 | 40 |
// Return the region with the given index. It assumes the index is valid. |
41 |
inline HeapRegion* G1CollectedHeap::region_at(uint index) const { return _hrs.at(index); } |
|
42 |
||
9989 | 43 |
template <class T> |
1374 | 44 |
inline HeapRegion* |
9989 | 45 |
G1CollectedHeap::heap_region_containing(const T addr) const { |
46 |
HeapRegion* hr = _hrs.addr_to_region((HeapWord*) addr); |
|
1374 | 47 |
// hr can be null if addr in perm_gen |
48 |
if (hr != NULL && hr->continuesHumongous()) { |
|
49 |
hr = hr->humongous_start_region(); |
|
50 |
} |
|
51 |
return hr; |
|
52 |
} |
|
53 |
||
9989 | 54 |
template <class T> |
1374 | 55 |
inline HeapRegion* |
9989 | 56 |
G1CollectedHeap::heap_region_containing_raw(const T addr) const { |
57 |
assert(_g1_reserved.contains((const void*) addr), "invariant"); |
|
58 |
HeapRegion* res = _hrs.addr_to_region_unsafe((HeapWord*) addr); |
|
1374 | 59 |
return res; |
60 |
} |
|
61 |
||
23543 | 62 |
inline void G1CollectedHeap::old_set_remove(HeapRegion* hr) { |
63 |
_old_set.remove(hr); |
|
64 |
} |
|
65 |
||
1374 | 66 |
inline bool G1CollectedHeap::obj_in_cs(oop obj) { |
9989 | 67 |
HeapRegion* r = _hrs.addr_to_region((HeapWord*) obj); |
1374 | 68 |
return r != NULL && r->in_collection_set(); |
69 |
} |
|
70 |
||
7398 | 71 |
inline HeapWord* |
8928
e5c53268bef5
7023069: G1: Introduce symmetric locking in the slow allocation path
tonyp
parents:
7923
diff
changeset
|
72 |
G1CollectedHeap::attempt_allocation(size_t word_size, |
16604
800a65bfe347
7014552: gc/lock/jni/jnilockXXX works too slow on 1-processor machine
mgerdin
parents:
13517
diff
changeset
|
73 |
unsigned int* gc_count_before_ret, |
800a65bfe347
7014552: gc/lock/jni/jnilockXXX works too slow on 1-processor machine
mgerdin
parents:
13517
diff
changeset
|
74 |
int* gclocker_retry_count_ret) { |
7905
cc7740616b03
6994297: G1: do first-level slow-path allocations with a CAS
tonyp
parents:
7416
diff
changeset
|
75 |
assert_heap_not_locked_and_not_at_safepoint(); |
8928
e5c53268bef5
7023069: G1: Introduce symmetric locking in the slow allocation path
tonyp
parents:
7923
diff
changeset
|
76 |
assert(!isHumongous(word_size), "attempt_allocation() should not " |
e5c53268bef5
7023069: G1: Introduce symmetric locking in the slow allocation path
tonyp
parents:
7923
diff
changeset
|
77 |
"be called for humongous allocation requests"); |
7398 | 78 |
|
8928
e5c53268bef5
7023069: G1: Introduce symmetric locking in the slow allocation path
tonyp
parents:
7923
diff
changeset
|
79 |
HeapWord* result = _mutator_alloc_region.attempt_allocation(word_size, |
e5c53268bef5
7023069: G1: Introduce symmetric locking in the slow allocation path
tonyp
parents:
7923
diff
changeset
|
80 |
false /* bot_updates */); |
e5c53268bef5
7023069: G1: Introduce symmetric locking in the slow allocation path
tonyp
parents:
7923
diff
changeset
|
81 |
if (result == NULL) { |
16604
800a65bfe347
7014552: gc/lock/jni/jnilockXXX works too slow on 1-processor machine
mgerdin
parents:
13517
diff
changeset
|
82 |
result = attempt_allocation_slow(word_size, |
800a65bfe347
7014552: gc/lock/jni/jnilockXXX works too slow on 1-processor machine
mgerdin
parents:
13517
diff
changeset
|
83 |
gc_count_before_ret, |
800a65bfe347
7014552: gc/lock/jni/jnilockXXX works too slow on 1-processor machine
mgerdin
parents:
13517
diff
changeset
|
84 |
gclocker_retry_count_ret); |
1374 | 85 |
} |
8928
e5c53268bef5
7023069: G1: Introduce symmetric locking in the slow allocation path
tonyp
parents:
7923
diff
changeset
|
86 |
assert_heap_not_locked(); |
e5c53268bef5
7023069: G1: Introduce symmetric locking in the slow allocation path
tonyp
parents:
7923
diff
changeset
|
87 |
if (result != NULL) { |
e5c53268bef5
7023069: G1: Introduce symmetric locking in the slow allocation path
tonyp
parents:
7923
diff
changeset
|
88 |
dirty_young_block(result, word_size); |
7905
cc7740616b03
6994297: G1: do first-level slow-path allocations with a CAS
tonyp
parents:
7416
diff
changeset
|
89 |
} |
8928
e5c53268bef5
7023069: G1: Introduce symmetric locking in the slow allocation path
tonyp
parents:
7923
diff
changeset
|
90 |
return result; |
7905
cc7740616b03
6994297: G1: do first-level slow-path allocations with a CAS
tonyp
parents:
7416
diff
changeset
|
91 |
} |
cc7740616b03
6994297: G1: do first-level slow-path allocations with a CAS
tonyp
parents:
7416
diff
changeset
|
92 |
|
10243
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
93 |
inline HeapWord* G1CollectedHeap::survivor_attempt_allocation(size_t |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
94 |
word_size) { |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
95 |
assert(!isHumongous(word_size), |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
96 |
"we should not be seeing humongous-size allocations in this path"); |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
97 |
|
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
98 |
HeapWord* result = _survivor_gc_alloc_region.attempt_allocation(word_size, |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
99 |
false /* bot_updates */); |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
100 |
if (result == NULL) { |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
101 |
MutexLockerEx x(FreeList_lock, Mutex::_no_safepoint_check_flag); |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
102 |
result = _survivor_gc_alloc_region.attempt_allocation_locked(word_size, |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
103 |
false /* bot_updates */); |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
104 |
} |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
105 |
if (result != NULL) { |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
106 |
dirty_young_block(result, word_size); |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
107 |
} |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
108 |
return result; |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
109 |
} |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
110 |
|
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
111 |
inline HeapWord* G1CollectedHeap::old_attempt_allocation(size_t word_size) { |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
112 |
assert(!isHumongous(word_size), |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
113 |
"we should not be seeing humongous-size allocations in this path"); |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
114 |
|
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
115 |
HeapWord* result = _old_gc_alloc_region.attempt_allocation(word_size, |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
116 |
true /* bot_updates */); |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
117 |
if (result == NULL) { |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
118 |
MutexLockerEx x(FreeList_lock, Mutex::_no_safepoint_check_flag); |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
119 |
result = _old_gc_alloc_region.attempt_allocation_locked(word_size, |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
120 |
true /* bot_updates */); |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
121 |
} |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
122 |
return result; |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
123 |
} |
d00a21009f1f
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
9989
diff
changeset
|
124 |
|
7398 | 125 |
// It dirties the cards that cover the block so that so that the post |
126 |
// write barrier never queues anything when updating objects on this |
|
127 |
// block. It is assumed (and in fact we assert) that the block |
|
128 |
// belongs to a young region. |
|
129 |
inline void |
|
130 |
G1CollectedHeap::dirty_young_block(HeapWord* start, size_t word_size) { |
|
131 |
assert_heap_not_locked(); |
|
132 |
||
133 |
// Assign the containing region to containing_hr so that we don't |
|
134 |
// have to keep calling heap_region_containing_raw() in the |
|
135 |
// asserts below. |
|
136 |
DEBUG_ONLY(HeapRegion* containing_hr = heap_region_containing_raw(start);) |
|
137 |
assert(containing_hr != NULL && start != NULL && word_size > 0, |
|
138 |
"pre-condition"); |
|
139 |
assert(containing_hr->is_in(start), "it should contain start"); |
|
140 |
assert(containing_hr->is_young(), "it should be young"); |
|
141 |
assert(!containing_hr->isHumongous(), "it should not be humongous"); |
|
142 |
||
143 |
HeapWord* end = start + word_size; |
|
144 |
assert(containing_hr->is_in(end - 1), "it should also contain end - 1"); |
|
145 |
||
146 |
MemRegion mr(start, end); |
|
20403
45a89fbcd8f7
8014555: G1: Memory ordering problem with Conc refinement and card marking
mgerdin
parents:
20309
diff
changeset
|
147 |
g1_barrier_set()->g1_mark_as_young(mr); |
1374 | 148 |
} |
149 |
||
6251 | 150 |
inline RefToScanQueue* G1CollectedHeap::task_queue(int i) const { |
1374 | 151 |
return _task_queues->queue(i); |
152 |
} |
|
153 |
||
13517
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
154 |
inline bool G1CollectedHeap::isMarkedPrev(oop obj) const { |
1374 | 155 |
return _cm->prevMarkBitMap()->isMarked((HeapWord *)obj); |
156 |
} |
|
157 |
||
158 |
inline bool G1CollectedHeap::isMarkedNext(oop obj) const { |
|
159 |
return _cm->nextMarkBitMap()->isMarked((HeapWord *)obj); |
|
160 |
} |
|
7397 | 161 |
|
23543 | 162 |
|
163 |
// This is a fast test on whether a reference points into the |
|
164 |
// collection set or not. Assume that the reference |
|
165 |
// points into the heap. |
|
166 |
inline bool G1CollectedHeap::in_cset_fast_test(oop obj) { |
|
167 |
assert(_in_cset_fast_test != NULL, "sanity"); |
|
168 |
assert(_g1_committed.contains((HeapWord*) obj), err_msg("Given reference outside of heap, is "PTR_FORMAT, (HeapWord*)obj)); |
|
169 |
// no need to subtract the bottom of the heap from obj, |
|
170 |
// _in_cset_fast_test is biased |
|
171 |
uintx index = cast_from_oop<uintx>(obj) >> HeapRegion::LogOfHRGrainBytes; |
|
172 |
bool ret = _in_cset_fast_test[index]; |
|
173 |
// let's make sure the result is consistent with what the slower |
|
174 |
// test returns |
|
175 |
assert( ret || !obj_in_cs(obj), "sanity"); |
|
176 |
assert(!ret || obj_in_cs(obj), "sanity"); |
|
177 |
return ret; |
|
178 |
} |
|
179 |
||
13517
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
180 |
#ifndef PRODUCT |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
181 |
// Support for G1EvacuationFailureALot |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
182 |
|
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
183 |
inline bool |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
184 |
G1CollectedHeap::evacuation_failure_alot_for_gc_type(bool gcs_are_young, |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
185 |
bool during_initial_mark, |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
186 |
bool during_marking) { |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
187 |
bool res = false; |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
188 |
if (during_marking) { |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
189 |
res |= G1EvacuationFailureALotDuringConcMark; |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
190 |
} |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
191 |
if (during_initial_mark) { |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
192 |
res |= G1EvacuationFailureALotDuringInitialMark; |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
193 |
} |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
194 |
if (gcs_are_young) { |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
195 |
res |= G1EvacuationFailureALotDuringYoungGC; |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
196 |
} else { |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
197 |
// GCs are mixed |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
198 |
res |= G1EvacuationFailureALotDuringMixedGC; |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
199 |
} |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
200 |
return res; |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
201 |
} |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
202 |
|
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
203 |
inline void |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
204 |
G1CollectedHeap::set_evacuation_failure_alot_for_current_gc() { |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
205 |
if (G1EvacuationFailureALot) { |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
206 |
// Note we can't assert that _evacuation_failure_alot_for_current_gc |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
207 |
// is clear here. It may have been set during a previous GC but that GC |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
208 |
// did not copy enough objects (i.e. G1EvacuationFailureALotCount) to |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
209 |
// trigger an evacuation failure and clear the flags and and counts. |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
210 |
|
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
211 |
// Check if we have gone over the interval. |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
212 |
const size_t gc_num = total_collections(); |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
213 |
const size_t elapsed_gcs = gc_num - _evacuation_failure_alot_gc_number; |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
214 |
|
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
215 |
_evacuation_failure_alot_for_current_gc = (elapsed_gcs >= G1EvacuationFailureALotInterval); |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
216 |
|
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
217 |
// Now check if G1EvacuationFailureALot is enabled for the current GC type. |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
218 |
const bool gcs_are_young = g1_policy()->gcs_are_young(); |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
219 |
const bool during_im = g1_policy()->during_initial_mark_pause(); |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
220 |
const bool during_marking = mark_in_progress(); |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
221 |
|
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
222 |
_evacuation_failure_alot_for_current_gc &= |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
223 |
evacuation_failure_alot_for_gc_type(gcs_are_young, |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
224 |
during_im, |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
225 |
during_marking); |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
226 |
} |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
227 |
} |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
228 |
|
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
229 |
inline bool |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
230 |
G1CollectedHeap::evacuation_should_fail() { |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
231 |
if (!G1EvacuationFailureALot || !_evacuation_failure_alot_for_current_gc) { |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
232 |
return false; |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
233 |
} |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
234 |
// G1EvacuationFailureALot is in effect for current GC |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
235 |
// Access to _evacuation_failure_alot_count is not atomic; |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
236 |
// the value does not have to be exact. |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
237 |
if (++_evacuation_failure_alot_count < G1EvacuationFailureALotCount) { |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
238 |
return false; |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
239 |
} |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
240 |
_evacuation_failure_alot_count = 0; |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
241 |
return true; |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
242 |
} |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
243 |
|
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
244 |
inline void G1CollectedHeap::reset_evacuation_should_fail() { |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
245 |
if (G1EvacuationFailureALot) { |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
246 |
_evacuation_failure_alot_gc_number = total_collections(); |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
247 |
_evacuation_failure_alot_count = 0; |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
248 |
_evacuation_failure_alot_for_current_gc = false; |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
249 |
} |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
250 |
} |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
251 |
#endif // #ifndef PRODUCT |
f158a0c702d4
7041879: G1: introduce stress testing parameter to cause frequent evacuation failures
johnc
parents:
10243
diff
changeset
|
252 |
|
23543 | 253 |
inline bool G1CollectedHeap::is_in_young(const oop obj) { |
254 |
HeapRegion* hr = heap_region_containing(obj); |
|
255 |
return hr != NULL && hr->is_young(); |
|
256 |
} |
|
257 |
||
258 |
// We don't need barriers for initializing stores to objects |
|
259 |
// in the young gen: for the SATB pre-barrier, there is no |
|
260 |
// pre-value that needs to be remembered; for the remembered-set |
|
261 |
// update logging post-barrier, we don't maintain remembered set |
|
262 |
// information for young gen objects. |
|
263 |
inline bool G1CollectedHeap::can_elide_initializing_store_barrier(oop new_obj) { |
|
264 |
return is_in_young(new_obj); |
|
265 |
} |
|
266 |
||
267 |
inline bool G1CollectedHeap::is_obj_dead(const oop obj) const { |
|
268 |
const HeapRegion* hr = heap_region_containing(obj); |
|
269 |
if (hr == NULL) { |
|
270 |
if (obj == NULL) return false; |
|
271 |
else return true; |
|
272 |
} |
|
273 |
else return is_obj_dead(obj, hr); |
|
274 |
} |
|
275 |
||
276 |
inline bool G1CollectedHeap::is_obj_ill(const oop obj) const { |
|
277 |
const HeapRegion* hr = heap_region_containing(obj); |
|
278 |
if (hr == NULL) { |
|
279 |
if (obj == NULL) return false; |
|
280 |
else return true; |
|
281 |
} |
|
282 |
else return is_obj_ill(obj, hr); |
|
283 |
} |
|
284 |
||
285 |
template <class T> inline void G1ParScanThreadState::immediate_rs_update(HeapRegion* from, T* p, int tid) { |
|
286 |
if (!from->is_survivor()) { |
|
287 |
_g1_rem->par_write_ref(from, p, tid); |
|
288 |
} |
|
289 |
} |
|
290 |
||
291 |
template <class T> void G1ParScanThreadState::update_rs(HeapRegion* from, T* p, int tid) { |
|
292 |
if (G1DeferredRSUpdate) { |
|
293 |
deferred_rs_update(from, p, tid); |
|
294 |
} else { |
|
295 |
immediate_rs_update(from, p, tid); |
|
296 |
} |
|
297 |
} |
|
298 |
||
299 |
||
300 |
inline void G1ParScanThreadState::do_oop_partial_array(oop* p) { |
|
301 |
assert(has_partial_array_mask(p), "invariant"); |
|
302 |
oop from_obj = clear_partial_array_mask(p); |
|
303 |
||
304 |
assert(Universe::heap()->is_in_reserved(from_obj), "must be in heap."); |
|
305 |
assert(from_obj->is_objArray(), "must be obj array"); |
|
306 |
objArrayOop from_obj_array = objArrayOop(from_obj); |
|
307 |
// The from-space object contains the real length. |
|
308 |
int length = from_obj_array->length(); |
|
309 |
||
310 |
assert(from_obj->is_forwarded(), "must be forwarded"); |
|
311 |
oop to_obj = from_obj->forwardee(); |
|
312 |
assert(from_obj != to_obj, "should not be chunking self-forwarded objects"); |
|
313 |
objArrayOop to_obj_array = objArrayOop(to_obj); |
|
314 |
// We keep track of the next start index in the length field of the |
|
315 |
// to-space object. |
|
316 |
int next_index = to_obj_array->length(); |
|
317 |
assert(0 <= next_index && next_index < length, |
|
318 |
err_msg("invariant, next index: %d, length: %d", next_index, length)); |
|
319 |
||
320 |
int start = next_index; |
|
321 |
int end = length; |
|
322 |
int remainder = end - start; |
|
323 |
// We'll try not to push a range that's smaller than ParGCArrayScanChunk. |
|
324 |
if (remainder > 2 * ParGCArrayScanChunk) { |
|
325 |
end = start + ParGCArrayScanChunk; |
|
326 |
to_obj_array->set_length(end); |
|
327 |
// Push the remainder before we process the range in case another |
|
328 |
// worker has run out of things to do and can steal it. |
|
329 |
oop* from_obj_p = set_partial_array_mask(from_obj); |
|
330 |
push_on_queue(from_obj_p); |
|
331 |
} else { |
|
332 |
assert(length == end, "sanity"); |
|
333 |
// We'll process the final range for this object. Restore the length |
|
334 |
// so that the heap remains parsable in case of evacuation failure. |
|
335 |
to_obj_array->set_length(end); |
|
336 |
} |
|
337 |
_scanner.set_region(_g1h->heap_region_containing_raw(to_obj)); |
|
338 |
// Process indexes [start,end). It will also process the header |
|
339 |
// along with the first chunk (i.e., the chunk with start == 0). |
|
340 |
// Note that at this point the length field of to_obj_array is not |
|
341 |
// correct given that we are using it to keep track of the next |
|
342 |
// start index. oop_iterate_range() (thankfully!) ignores the length |
|
343 |
// field and only relies on the start / end parameters. It does |
|
344 |
// however return the size of the object which will be incorrect. So |
|
345 |
// we have to ignore it even if we wanted to use it. |
|
346 |
to_obj_array->oop_iterate_range(&_scanner, start, end); |
|
347 |
} |
|
348 |
||
349 |
template <class T> inline void G1ParScanThreadState::deal_with_reference(T* ref_to_scan) { |
|
350 |
if (!has_partial_array_mask(ref_to_scan)) { |
|
351 |
// Note: we can use "raw" versions of "region_containing" because |
|
352 |
// "obj_to_scan" is definitely in the heap, and is not in a |
|
353 |
// humongous region. |
|
354 |
HeapRegion* r = _g1h->heap_region_containing_raw(ref_to_scan); |
|
355 |
do_oop_evac(ref_to_scan, r); |
|
356 |
} else { |
|
357 |
do_oop_partial_array((oop*)ref_to_scan); |
|
358 |
} |
|
359 |
} |
|
360 |
||
361 |
inline void G1ParScanThreadState::deal_with_reference(StarTask ref) { |
|
362 |
assert(verify_task(ref), "sanity"); |
|
363 |
if (ref.is_narrow()) { |
|
364 |
deal_with_reference((narrowOop*)ref); |
|
365 |
} else { |
|
366 |
deal_with_reference((oop*)ref); |
|
367 |
} |
|
368 |
} |
|
369 |
||
7397 | 370 |
#endif // SHARE_VM_GC_IMPLEMENTATION_G1_G1COLLECTEDHEAP_INLINE_HPP |