author | kbarrett |
Thu, 29 Aug 2019 18:35:52 -0400 | |
changeset 57953 | d78c910f9069 |
parent 57663 | bf8e76d86d05 |
child 58508 | d6058bd73982 |
permissions | -rw-r--r-- |
38076 | 1 |
/* |
53703
24341625d8f2
8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents:
53116
diff
changeset
|
2 |
* Copyright (c) 2001, 2019, Oracle and/or its affiliates. All rights reserved. |
38076 | 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 |
* |
|
19 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
|
20 |
* or visit www.oracle.com if you need additional information or have any |
|
21 |
* questions. |
|
22 |
* |
|
23 |
*/ |
|
24 |
||
25 |
#include "precompiled.hpp" |
|
26 |
#include "gc/g1/g1Analytics.hpp" |
|
54678
93f09ca4a7f8
8198505: Remove CollectorPolicy and its subclasses
stefank
parents:
54466
diff
changeset
|
27 |
#include "gc/g1/g1Arguments.hpp" |
38076 | 28 |
#include "gc/g1/g1CollectedHeap.inline.hpp" |
29 |
#include "gc/g1/g1CollectionSet.hpp" |
|
53703
24341625d8f2
8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents:
53116
diff
changeset
|
30 |
#include "gc/g1/g1CollectionSetCandidates.hpp" |
38076 | 31 |
#include "gc/g1/g1ConcurrentMark.hpp" |
49659
0ed1370f52bb
8200371: In g1, rename ConcurrentMarkThread to G1ConcurrentMarkThread
lkorinth
parents:
49643
diff
changeset
|
32 |
#include "gc/g1/g1ConcurrentMarkThread.inline.hpp" |
47789
a77a7d3bc4f6
8149127: Rename g1/concurrentMarkThread.* to g1/g1ConcurrentMarkThread.*
tschatzl
parents:
47681
diff
changeset
|
33 |
#include "gc/g1/g1ConcurrentRefine.hpp" |
53704
ef72c85a0534
8217328: Rename CollectionSetChooser to G1CollectionSetChooser
tschatzl
parents:
53703
diff
changeset
|
34 |
#include "gc/g1/g1CollectionSetChooser.hpp" |
53116
bb03098c4dde
8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents:
52975
diff
changeset
|
35 |
#include "gc/g1/g1HeterogeneousHeapPolicy.hpp" |
38172
90f405aac699
8155524: HotCardCache shouldn't be part of ConcurrentG1Refine
kbarrett
parents:
38162
diff
changeset
|
36 |
#include "gc/g1/g1HotCardCache.hpp" |
38076 | 37 |
#include "gc/g1/g1IHOPControl.hpp" |
38 |
#include "gc/g1/g1GCPhaseTimes.hpp" |
|
39 |
#include "gc/g1/g1Policy.hpp" |
|
38186
ccaa890f8617
8155943: Move G1Eden/SurvivorRegions into their own source files
mgerdin
parents:
38185
diff
changeset
|
40 |
#include "gc/g1/g1SurvivorRegions.hpp" |
38076 | 41 |
#include "gc/g1/g1YoungGenSizer.hpp" |
42 |
#include "gc/g1/heapRegion.inline.hpp" |
|
43 |
#include "gc/g1/heapRegionRemSet.hpp" |
|
44 |
#include "gc/shared/gcPolicyCounters.hpp" |
|
38183
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
45 |
#include "logging/logStream.hpp" |
38076 | 46 |
#include "runtime/arguments.hpp" |
47 |
#include "runtime/java.hpp" |
|
48 |
#include "runtime/mutexLocker.hpp" |
|
49 |
#include "utilities/debug.hpp" |
|
38162
4e2c3433a3ae
8150393: Maintain the set of survivor regions in an array between GCs
mgerdin
parents:
38107
diff
changeset
|
50 |
#include "utilities/growableArray.hpp" |
38076 | 51 |
#include "utilities/pair.hpp" |
52 |
||
54678
93f09ca4a7f8
8198505: Remove CollectorPolicy and its subclasses
stefank
parents:
54466
diff
changeset
|
53 |
G1Policy::G1Policy(STWGCTimer* gc_timer) : |
38076 | 54 |
_predictor(G1ConfidencePercent / 100.0), |
55 |
_analytics(new G1Analytics(&_predictor)), |
|
49607
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
56 |
_remset_tracker(), |
38076 | 57 |
_mmu_tracker(new G1MMUTrackerQueue(GCPauseIntervalMillis / 1000.0, MaxGCPauseMillis / 1000.0)), |
58 |
_ihop_control(create_ihop_control(&_predictor)), |
|
48117
d64722b0b371
8080345: With perm gen gone, perfdata counter sun.gc.policy.generations should be 2, not 3
ehelin
parents:
47789
diff
changeset
|
59 |
_policy_counters(new GCPolicyCounters("GarbageFirst", 1, 2)), |
51332 | 60 |
_full_collection_start_sec(0.0), |
61 |
_collection_pause_end_millis(os::javaTimeNanos() / NANOSECS_PER_MILLISEC), |
|
62 |
_young_list_target_length(0), |
|
38076 | 63 |
_young_list_fixed_length(0), |
51332 | 64 |
_young_list_max_length(0), |
38185
c432f8466c73
8155634: Clean out old logging and dead code from SurvRateGroup
mgerdin
parents:
38183
diff
changeset
|
65 |
_short_lived_surv_rate_group(new SurvRateGroup()), |
c432f8466c73
8155634: Clean out old logging and dead code from SurvRateGroup
mgerdin
parents:
38183
diff
changeset
|
66 |
_survivor_surv_rate_group(new SurvRateGroup()), |
38076 | 67 |
_reserve_factor((double) G1ReservePercent / 100.0), |
68 |
_reserve_regions(0), |
|
54678
93f09ca4a7f8
8198505: Remove CollectorPolicy and its subclasses
stefank
parents:
54466
diff
changeset
|
69 |
_young_gen_sizer(G1YoungGenSizer::create_gen_sizer()), |
51332 | 70 |
_free_regions_at_end_of_collection(0), |
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
71 |
_max_rs_length(0), |
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
72 |
_rs_length_prediction(0), |
51332 | 73 |
_pending_cards(0), |
38076 | 74 |
_bytes_allocated_in_old_since_last_gc(0), |
75 |
_initial_mark_to_mixed(), |
|
76 |
_collection_set(NULL), |
|
51332 | 77 |
_bytes_copied_during_gc(0), |
49806 | 78 |
_g1h(NULL), |
46795
623a5e42deb6
8173335: Improve logging for j.l.ref.reference processing
sangheki
parents:
41284
diff
changeset
|
79 |
_phase_times(new G1GCPhaseTimes(gc_timer, ParallelGCThreads)), |
51332 | 80 |
_mark_remark_start_sec(0), |
81 |
_mark_cleanup_start_sec(0), |
|
38076 | 82 |
_tenuring_threshold(MaxTenuringThreshold), |
83 |
_max_survivor_regions(0), |
|
51332 | 84 |
_survivors_age_table(true) |
85 |
{ |
|
49607
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
86 |
} |
38076 | 87 |
|
49375 | 88 |
G1Policy::~G1Policy() { |
38076 | 89 |
delete _ihop_control; |
53116
bb03098c4dde
8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents:
52975
diff
changeset
|
90 |
delete _young_gen_sizer; |
bb03098c4dde
8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents:
52975
diff
changeset
|
91 |
} |
bb03098c4dde
8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents:
52975
diff
changeset
|
92 |
|
54678
93f09ca4a7f8
8198505: Remove CollectorPolicy and its subclasses
stefank
parents:
54466
diff
changeset
|
93 |
G1Policy* G1Policy::create_policy(STWGCTimer* gc_timer_stw) { |
93f09ca4a7f8
8198505: Remove CollectorPolicy and its subclasses
stefank
parents:
54466
diff
changeset
|
94 |
if (G1Arguments::is_heterogeneous_heap()) { |
93f09ca4a7f8
8198505: Remove CollectorPolicy and its subclasses
stefank
parents:
54466
diff
changeset
|
95 |
return new G1HeterogeneousHeapPolicy(gc_timer_stw); |
53116
bb03098c4dde
8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents:
52975
diff
changeset
|
96 |
} else { |
54678
93f09ca4a7f8
8198505: Remove CollectorPolicy and its subclasses
stefank
parents:
54466
diff
changeset
|
97 |
return new G1Policy(gc_timer_stw); |
53116
bb03098c4dde
8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents:
52975
diff
changeset
|
98 |
} |
38076 | 99 |
} |
100 |
||
49806 | 101 |
G1CollectorState* G1Policy::collector_state() const { return _g1h->collector_state(); } |
38076 | 102 |
|
49375 | 103 |
void G1Policy::init(G1CollectedHeap* g1h, G1CollectionSet* collection_set) { |
49806 | 104 |
_g1h = g1h; |
38076 | 105 |
_collection_set = collection_set; |
106 |
||
107 |
assert(Heap_lock->owned_by_self(), "Locking discipline."); |
|
108 |
||
54466
58751415d5f8
8222105: Add "use_" prefix to G1Policy::adaptive_young_list_length
tschatzl
parents:
54465
diff
changeset
|
109 |
if (!use_adaptive_young_list_length()) { |
53116
bb03098c4dde
8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents:
52975
diff
changeset
|
110 |
_young_list_fixed_length = _young_gen_sizer->min_desired_young_length(); |
38076 | 111 |
} |
53116
bb03098c4dde
8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents:
52975
diff
changeset
|
112 |
_young_gen_sizer->adjust_max_new_size(_g1h->max_expandable_regions()); |
38076 | 113 |
|
49806 | 114 |
_free_regions_at_end_of_collection = _g1h->num_free_regions(); |
38076 | 115 |
|
116 |
update_young_list_max_and_target_length(); |
|
117 |
// We may immediately start allocating regions and placing them on the |
|
118 |
// collection set list. Initialize the per-collection set info |
|
119 |
_collection_set->start_incremental_building(); |
|
120 |
} |
|
121 |
||
49375 | 122 |
void G1Policy::note_gc_start() { |
38076 | 123 |
phase_times()->note_gc_start(); |
124 |
} |
|
125 |
||
49392
2956d0ece7a9
8199282: Remove ValueObj class for allocation subclassing for gc code
coleenp
parents:
49375
diff
changeset
|
126 |
class G1YoungLengthPredictor { |
40000 | 127 |
const bool _during_cm; |
128 |
const double _base_time_ms; |
|
129 |
const double _base_free_regions; |
|
130 |
const double _target_pause_time_ms; |
|
49375 | 131 |
const G1Policy* const _policy; |
38076 | 132 |
|
40000 | 133 |
public: |
134 |
G1YoungLengthPredictor(bool during_cm, |
|
135 |
double base_time_ms, |
|
136 |
double base_free_regions, |
|
137 |
double target_pause_time_ms, |
|
49375 | 138 |
const G1Policy* policy) : |
40000 | 139 |
_during_cm(during_cm), |
140 |
_base_time_ms(base_time_ms), |
|
141 |
_base_free_regions(base_free_regions), |
|
142 |
_target_pause_time_ms(target_pause_time_ms), |
|
143 |
_policy(policy) {} |
|
144 |
||
145 |
bool will_fit(uint young_length) const { |
|
146 |
if (young_length >= _base_free_regions) { |
|
147 |
// end condition 1: not enough space for the young regions |
|
148 |
return false; |
|
149 |
} |
|
38076 | 150 |
|
40000 | 151 |
const double accum_surv_rate = _policy->accum_yg_surv_rate_pred((int) young_length - 1); |
152 |
const size_t bytes_to_copy = |
|
153 |
(size_t) (accum_surv_rate * (double) HeapRegion::GrainBytes); |
|
154 |
const double copy_time_ms = |
|
155 |
_policy->analytics()->predict_object_copy_time_ms(bytes_to_copy, _during_cm); |
|
156 |
const double young_other_time_ms = _policy->analytics()->predict_young_other_time_ms(young_length); |
|
157 |
const double pause_time_ms = _base_time_ms + copy_time_ms + young_other_time_ms; |
|
158 |
if (pause_time_ms > _target_pause_time_ms) { |
|
159 |
// end condition 2: prediction is over the target pause time |
|
160 |
return false; |
|
161 |
} |
|
162 |
||
163 |
const size_t free_bytes = (_base_free_regions - young_length) * HeapRegion::GrainBytes; |
|
38076 | 164 |
|
40000 | 165 |
// When copying, we will likely need more bytes free than is live in the region. |
166 |
// Add some safety margin to factor in the confidence of our guess, and the |
|
167 |
// natural expected waste. |
|
168 |
// (100.0 / G1ConfidencePercent) is a scale factor that expresses the uncertainty |
|
169 |
// of the calculation: the lower the confidence, the more headroom. |
|
170 |
// (100 + TargetPLABWastePct) represents the increase in expected bytes during |
|
171 |
// copying due to anticipated waste in the PLABs. |
|
172 |
const double safety_factor = (100.0 / G1ConfidencePercent) * (100 + TargetPLABWastePct) / 100.0; |
|
173 |
const size_t expected_bytes_to_copy = (size_t)(safety_factor * bytes_to_copy); |
|
38076 | 174 |
|
40000 | 175 |
if (expected_bytes_to_copy > free_bytes) { |
176 |
// end condition 3: out-of-space |
|
177 |
return false; |
|
178 |
} |
|
179 |
||
180 |
// success! |
|
181 |
return true; |
|
38076 | 182 |
} |
40000 | 183 |
}; |
38076 | 184 |
|
49375 | 185 |
void G1Policy::record_new_heap_size(uint new_number_of_regions) { |
38076 | 186 |
// re-calculate the necessary reserve |
187 |
double reserve_regions_d = (double) new_number_of_regions * _reserve_factor; |
|
188 |
// We use ceiling so that if reserve_regions_d is > 0.0 (but |
|
189 |
// smaller than 1.0) we'll get 1. |
|
190 |
_reserve_regions = (uint) ceil(reserve_regions_d); |
|
191 |
||
53116
bb03098c4dde
8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents:
52975
diff
changeset
|
192 |
_young_gen_sizer->heap_size_changed(new_number_of_regions); |
38076 | 193 |
|
194 |
_ihop_control->update_target_occupancy(new_number_of_regions * HeapRegion::GrainBytes); |
|
195 |
} |
|
196 |
||
49375 | 197 |
uint G1Policy::calculate_young_list_desired_min_length(uint base_min_length) const { |
38076 | 198 |
uint desired_min_length = 0; |
54466
58751415d5f8
8222105: Add "use_" prefix to G1Policy::adaptive_young_list_length
tschatzl
parents:
54465
diff
changeset
|
199 |
if (use_adaptive_young_list_length()) { |
38076 | 200 |
if (_analytics->num_alloc_rate_ms() > 3) { |
201 |
double now_sec = os::elapsedTime(); |
|
202 |
double when_ms = _mmu_tracker->when_max_gc_sec(now_sec) * 1000.0; |
|
203 |
double alloc_rate_ms = _analytics->predict_alloc_rate_ms(); |
|
204 |
desired_min_length = (uint) ceil(alloc_rate_ms * when_ms); |
|
205 |
} else { |
|
206 |
// otherwise we don't have enough info to make the prediction |
|
207 |
} |
|
208 |
} |
|
209 |
desired_min_length += base_min_length; |
|
210 |
// make sure we don't go below any user-defined minimum bound |
|
53116
bb03098c4dde
8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents:
52975
diff
changeset
|
211 |
return MAX2(_young_gen_sizer->min_desired_young_length(), desired_min_length); |
38076 | 212 |
} |
213 |
||
49375 | 214 |
uint G1Policy::calculate_young_list_desired_max_length() const { |
38076 | 215 |
// Here, we might want to also take into account any additional |
216 |
// constraints (i.e., user-defined minimum bound). Currently, we |
|
217 |
// effectively don't set this bound. |
|
53116
bb03098c4dde
8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents:
52975
diff
changeset
|
218 |
return _young_gen_sizer->max_desired_young_length(); |
38076 | 219 |
} |
220 |
||
49375 | 221 |
uint G1Policy::update_young_list_max_and_target_length() { |
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
222 |
return update_young_list_max_and_target_length(_analytics->predict_rs_length()); |
38076 | 223 |
} |
224 |
||
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
225 |
uint G1Policy::update_young_list_max_and_target_length(size_t rs_length) { |
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
226 |
uint unbounded_target_length = update_young_list_target_length(rs_length); |
38076 | 227 |
update_max_gc_locker_expansion(); |
228 |
return unbounded_target_length; |
|
229 |
} |
|
230 |
||
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
231 |
uint G1Policy::update_young_list_target_length(size_t rs_length) { |
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
232 |
YoungTargetLengths young_lengths = young_list_target_lengths(rs_length); |
38076 | 233 |
_young_list_target_length = young_lengths.first; |
53116
bb03098c4dde
8211425: Allocation of old generation of java heap on alternate memory devices - G1 GC
sangheki
parents:
52975
diff
changeset
|
234 |
|
38076 | 235 |
return young_lengths.second; |
236 |
} |
|
237 |
||
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
238 |
G1Policy::YoungTargetLengths G1Policy::young_list_target_lengths(size_t rs_length) const { |
38076 | 239 |
YoungTargetLengths result; |
240 |
||
241 |
// Calculate the absolute and desired min bounds first. |
|
242 |
||
243 |
// This is how many young regions we already have (currently: the survivors). |
|
49806 | 244 |
const uint base_min_length = _g1h->survivor_regions_count(); |
38076 | 245 |
uint desired_min_length = calculate_young_list_desired_min_length(base_min_length); |
246 |
// This is the absolute minimum young length. Ensure that we |
|
247 |
// will at least have one eden region available for allocation. |
|
49806 | 248 |
uint absolute_min_length = base_min_length + MAX2(_g1h->eden_regions_count(), (uint)1); |
38076 | 249 |
// If we shrank the young list target it should not shrink below the current size. |
250 |
desired_min_length = MAX2(desired_min_length, absolute_min_length); |
|
251 |
// Calculate the absolute and desired max bounds. |
|
252 |
||
253 |
uint desired_max_length = calculate_young_list_desired_max_length(); |
|
254 |
||
255 |
uint young_list_target_length = 0; |
|
54466
58751415d5f8
8222105: Add "use_" prefix to G1Policy::adaptive_young_list_length
tschatzl
parents:
54465
diff
changeset
|
256 |
if (use_adaptive_young_list_length()) { |
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
257 |
if (collector_state()->in_young_only_phase()) { |
38076 | 258 |
young_list_target_length = |
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
259 |
calculate_young_list_target_length(rs_length, |
38076 | 260 |
base_min_length, |
261 |
desired_min_length, |
|
262 |
desired_max_length); |
|
263 |
} else { |
|
264 |
// Don't calculate anything and let the code below bound it to |
|
265 |
// the desired_min_length, i.e., do the next GC as soon as |
|
266 |
// possible to maximize how many old regions we can add to it. |
|
267 |
} |
|
268 |
} else { |
|
269 |
// The user asked for a fixed young gen so we'll fix the young gen |
|
270 |
// whether the next GC is young or mixed. |
|
271 |
young_list_target_length = _young_list_fixed_length; |
|
272 |
} |
|
273 |
||
274 |
result.second = young_list_target_length; |
|
275 |
||
276 |
// We will try our best not to "eat" into the reserve. |
|
277 |
uint absolute_max_length = 0; |
|
278 |
if (_free_regions_at_end_of_collection > _reserve_regions) { |
|
279 |
absolute_max_length = _free_regions_at_end_of_collection - _reserve_regions; |
|
280 |
} |
|
281 |
if (desired_max_length > absolute_max_length) { |
|
282 |
desired_max_length = absolute_max_length; |
|
283 |
} |
|
284 |
||
285 |
// Make sure we don't go over the desired max length, nor under the |
|
286 |
// desired min length. In case they clash, desired_min_length wins |
|
287 |
// which is why that test is second. |
|
288 |
if (young_list_target_length > desired_max_length) { |
|
289 |
young_list_target_length = desired_max_length; |
|
290 |
} |
|
291 |
if (young_list_target_length < desired_min_length) { |
|
292 |
young_list_target_length = desired_min_length; |
|
293 |
} |
|
294 |
||
295 |
assert(young_list_target_length > base_min_length, |
|
296 |
"we should be able to allocate at least one eden region"); |
|
297 |
assert(young_list_target_length >= absolute_min_length, "post-condition"); |
|
298 |
||
299 |
result.first = young_list_target_length; |
|
300 |
return result; |
|
301 |
} |
|
302 |
||
303 |
uint |
|
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
304 |
G1Policy::calculate_young_list_target_length(size_t rs_length, |
38076 | 305 |
uint base_min_length, |
306 |
uint desired_min_length, |
|
307 |
uint desired_max_length) const { |
|
54466
58751415d5f8
8222105: Add "use_" prefix to G1Policy::adaptive_young_list_length
tschatzl
parents:
54465
diff
changeset
|
308 |
assert(use_adaptive_young_list_length(), "pre-condition"); |
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
309 |
assert(collector_state()->in_young_only_phase(), "only call this for young GCs"); |
38076 | 310 |
|
311 |
// In case some edge-condition makes the desired max length too small... |
|
312 |
if (desired_max_length <= desired_min_length) { |
|
313 |
return desired_min_length; |
|
314 |
} |
|
315 |
||
316 |
// We'll adjust min_young_length and max_young_length not to include |
|
317 |
// the already allocated young regions (i.e., so they reflect the |
|
318 |
// min and max eden regions we'll allocate). The base_min_length |
|
319 |
// will be reflected in the predictions by the |
|
320 |
// survivor_regions_evac_time prediction. |
|
321 |
assert(desired_min_length > base_min_length, "invariant"); |
|
322 |
uint min_young_length = desired_min_length - base_min_length; |
|
323 |
assert(desired_max_length > base_min_length, "invariant"); |
|
324 |
uint max_young_length = desired_max_length - base_min_length; |
|
325 |
||
40000 | 326 |
const double target_pause_time_ms = _mmu_tracker->max_gc_time() * 1000.0; |
327 |
const double survivor_regions_evac_time = predict_survivor_regions_evac_time(); |
|
328 |
const size_t pending_cards = _analytics->predict_pending_cards(); |
|
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
329 |
const size_t adj_rs_length = rs_length + _analytics->predict_rs_length_diff(); |
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
330 |
const size_t scanned_cards = _analytics->predict_card_num(adj_rs_length, true /* for_young_gc */); |
40000 | 331 |
const double base_time_ms = |
38076 | 332 |
predict_base_elapsed_time_ms(pending_cards, scanned_cards) + |
333 |
survivor_regions_evac_time; |
|
40000 | 334 |
const uint available_free_regions = _free_regions_at_end_of_collection; |
335 |
const uint base_free_regions = |
|
336 |
available_free_regions > _reserve_regions ? available_free_regions - _reserve_regions : 0; |
|
38076 | 337 |
|
338 |
// Here, we will make sure that the shortest young length that |
|
339 |
// makes sense fits within the target pause time. |
|
340 |
||
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
341 |
G1YoungLengthPredictor p(collector_state()->mark_or_rebuild_in_progress(), |
40000 | 342 |
base_time_ms, |
343 |
base_free_regions, |
|
344 |
target_pause_time_ms, |
|
345 |
this); |
|
346 |
if (p.will_fit(min_young_length)) { |
|
38076 | 347 |
// The shortest young length will fit into the target pause time; |
348 |
// we'll now check whether the absolute maximum number of young |
|
349 |
// regions will fit in the target pause time. If not, we'll do |
|
350 |
// a binary search between min_young_length and max_young_length. |
|
40000 | 351 |
if (p.will_fit(max_young_length)) { |
38076 | 352 |
// The maximum young length will fit into the target pause time. |
353 |
// We are done so set min young length to the maximum length (as |
|
354 |
// the result is assumed to be returned in min_young_length). |
|
355 |
min_young_length = max_young_length; |
|
356 |
} else { |
|
357 |
// The maximum possible number of young regions will not fit within |
|
358 |
// the target pause time so we'll search for the optimal |
|
359 |
// length. The loop invariants are: |
|
360 |
// |
|
361 |
// min_young_length < max_young_length |
|
362 |
// min_young_length is known to fit into the target pause time |
|
363 |
// max_young_length is known not to fit into the target pause time |
|
364 |
// |
|
365 |
// Going into the loop we know the above hold as we've just |
|
366 |
// checked them. Every time around the loop we check whether |
|
367 |
// the middle value between min_young_length and |
|
368 |
// max_young_length fits into the target pause time. If it |
|
369 |
// does, it becomes the new min. If it doesn't, it becomes |
|
370 |
// the new max. This way we maintain the loop invariants. |
|
371 |
||
372 |
assert(min_young_length < max_young_length, "invariant"); |
|
373 |
uint diff = (max_young_length - min_young_length) / 2; |
|
374 |
while (diff > 0) { |
|
375 |
uint young_length = min_young_length + diff; |
|
40000 | 376 |
if (p.will_fit(young_length)) { |
38076 | 377 |
min_young_length = young_length; |
378 |
} else { |
|
379 |
max_young_length = young_length; |
|
380 |
} |
|
381 |
assert(min_young_length < max_young_length, "invariant"); |
|
382 |
diff = (max_young_length - min_young_length) / 2; |
|
383 |
} |
|
384 |
// The results is min_young_length which, according to the |
|
385 |
// loop invariants, should fit within the target pause time. |
|
386 |
||
387 |
// These are the post-conditions of the binary search above: |
|
388 |
assert(min_young_length < max_young_length, |
|
389 |
"otherwise we should have discovered that max_young_length " |
|
390 |
"fits into the pause target and not done the binary search"); |
|
40000 | 391 |
assert(p.will_fit(min_young_length), |
38076 | 392 |
"min_young_length, the result of the binary search, should " |
393 |
"fit into the pause target"); |
|
40000 | 394 |
assert(!p.will_fit(min_young_length + 1), |
38076 | 395 |
"min_young_length, the result of the binary search, should be " |
396 |
"optimal, so no larger length should fit into the pause target"); |
|
397 |
} |
|
398 |
} else { |
|
399 |
// Even the minimum length doesn't fit into the pause time |
|
400 |
// target, return it as the result nevertheless. |
|
401 |
} |
|
402 |
return base_min_length + min_young_length; |
|
403 |
} |
|
404 |
||
49375 | 405 |
double G1Policy::predict_survivor_regions_evac_time() const { |
38076 | 406 |
double survivor_regions_evac_time = 0.0; |
49806 | 407 |
const GrowableArray<HeapRegion*>* survivor_regions = _g1h->survivor()->regions(); |
38162
4e2c3433a3ae
8150393: Maintain the set of survivor regions in an array between GCs
mgerdin
parents:
38107
diff
changeset
|
408 |
|
4e2c3433a3ae
8150393: Maintain the set of survivor regions in an array between GCs
mgerdin
parents:
38107
diff
changeset
|
409 |
for (GrowableArrayIterator<HeapRegion*> it = survivor_regions->begin(); |
4e2c3433a3ae
8150393: Maintain the set of survivor regions in an array between GCs
mgerdin
parents:
38107
diff
changeset
|
410 |
it != survivor_regions->end(); |
4e2c3433a3ae
8150393: Maintain the set of survivor regions in an array between GCs
mgerdin
parents:
38107
diff
changeset
|
411 |
++it) { |
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
412 |
survivor_regions_evac_time += predict_region_elapsed_time_ms(*it, collector_state()->in_young_only_phase()); |
38076 | 413 |
} |
414 |
return survivor_regions_evac_time; |
|
415 |
} |
|
416 |
||
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
417 |
void G1Policy::revise_young_list_target_length_if_necessary(size_t rs_length) { |
54466
58751415d5f8
8222105: Add "use_" prefix to G1Policy::adaptive_young_list_length
tschatzl
parents:
54465
diff
changeset
|
418 |
guarantee(use_adaptive_young_list_length(), "should not call this otherwise" ); |
38076 | 419 |
|
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
420 |
if (rs_length > _rs_length_prediction) { |
38076 | 421 |
// add 10% to avoid having to recalculate often |
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
422 |
size_t rs_length_prediction = rs_length * 1100 / 1000; |
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
423 |
update_rs_length_prediction(rs_length_prediction); |
38076 | 424 |
|
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
425 |
update_young_list_max_and_target_length(rs_length_prediction); |
38076 | 426 |
} |
427 |
} |
|
428 |
||
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
429 |
void G1Policy::update_rs_length_prediction() { |
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
430 |
update_rs_length_prediction(_analytics->predict_rs_length()); |
38076 | 431 |
} |
432 |
||
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
433 |
void G1Policy::update_rs_length_prediction(size_t prediction) { |
54466
58751415d5f8
8222105: Add "use_" prefix to G1Policy::adaptive_young_list_length
tschatzl
parents:
54465
diff
changeset
|
434 |
if (collector_state()->in_young_only_phase() && use_adaptive_young_list_length()) { |
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
435 |
_rs_length_prediction = prediction; |
38076 | 436 |
} |
437 |
} |
|
438 |
||
49375 | 439 |
void G1Policy::record_full_collection_start() { |
38076 | 440 |
_full_collection_start_sec = os::elapsedTime(); |
441 |
// Release the future to-space so that it is available for compaction into. |
|
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
442 |
collector_state()->set_in_young_only_phase(false); |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
443 |
collector_state()->set_in_full_gc(true); |
53703
24341625d8f2
8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents:
53116
diff
changeset
|
444 |
_collection_set->clear_candidates(); |
38076 | 445 |
} |
446 |
||
49375 | 447 |
void G1Policy::record_full_collection_end() { |
38076 | 448 |
// Consider this like a collection pause for the purposes of allocation |
449 |
// since last pause. |
|
450 |
double end_sec = os::elapsedTime(); |
|
451 |
double full_gc_time_sec = end_sec - _full_collection_start_sec; |
|
452 |
double full_gc_time_ms = full_gc_time_sec * 1000.0; |
|
453 |
||
454 |
_analytics->update_recent_gc_times(end_sec, full_gc_time_ms); |
|
455 |
||
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
456 |
collector_state()->set_in_full_gc(false); |
38076 | 457 |
|
458 |
// "Nuke" the heuristics that control the young/mixed GC |
|
459 |
// transitions and make sure we start with young GCs after the Full GC. |
|
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
460 |
collector_state()->set_in_young_only_phase(true); |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
461 |
collector_state()->set_in_young_gc_before_mixed(false); |
38076 | 462 |
collector_state()->set_initiate_conc_mark_if_possible(need_to_start_conc_mark("end of Full GC", 0)); |
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
463 |
collector_state()->set_in_initial_mark_gc(false); |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
464 |
collector_state()->set_mark_or_rebuild_in_progress(false); |
49664 | 465 |
collector_state()->set_clearing_next_bitmap(false); |
38076 | 466 |
|
467 |
_short_lived_surv_rate_group->start_adding_regions(); |
|
468 |
// also call this on any additional surv rate groups |
|
469 |
||
49806 | 470 |
_free_regions_at_end_of_collection = _g1h->num_free_regions(); |
38076 | 471 |
// Reset survivors SurvRateGroup. |
472 |
_survivor_surv_rate_group->reset(); |
|
473 |
update_young_list_max_and_target_length(); |
|
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
474 |
update_rs_length_prediction(); |
38076 | 475 |
|
476 |
_bytes_allocated_in_old_since_last_gc = 0; |
|
477 |
||
478 |
record_pause(FullGC, _full_collection_start_sec, end_sec); |
|
479 |
} |
|
480 |
||
49375 | 481 |
void G1Policy::record_collection_pause_start(double start_time_sec) { |
38076 | 482 |
// We only need to do this here as the policy will only be applied |
483 |
// to the GC we're about to start. so, no point is calculating this |
|
484 |
// every time we calculate / recalculate the target young length. |
|
485 |
update_survivors_policy(); |
|
486 |
||
52975
35e2bbea78b2
8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents:
52918
diff
changeset
|
487 |
assert(max_survivor_regions() + _g1h->num_used_regions() <= _g1h->max_regions(), |
35e2bbea78b2
8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents:
52918
diff
changeset
|
488 |
"Maximum survivor regions %u plus used regions %u exceeds max regions %u", |
35e2bbea78b2
8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents:
52918
diff
changeset
|
489 |
max_survivor_regions(), _g1h->num_used_regions(), _g1h->max_regions()); |
54726
671e35cf611b
8221509: Refactor assert( G1CollectedHeap::used() == recalculate_used() ) with better message
sangheki
parents:
54678
diff
changeset
|
490 |
assert_used_and_recalculate_used_equal(_g1h); |
38076 | 491 |
|
492 |
phase_times()->record_cur_collection_start_sec(start_time_sec); |
|
49806 | 493 |
_pending_cards = _g1h->pending_card_num(); |
38076 | 494 |
|
495 |
_collection_set->reset_bytes_used_before(); |
|
496 |
_bytes_copied_during_gc = 0; |
|
497 |
||
498 |
// do that for any other surv rate groups |
|
499 |
_short_lived_surv_rate_group->stop_adding_regions(); |
|
500 |
_survivors_age_table.clear(); |
|
501 |
||
49806 | 502 |
assert(_g1h->collection_set()->verify_young_ages(), "region age verification failed"); |
38076 | 503 |
} |
504 |
||
49375 | 505 |
void G1Policy::record_concurrent_mark_init_end(double mark_init_elapsed_time_ms) { |
38076 | 506 |
assert(!collector_state()->initiate_conc_mark_if_possible(), "we should have cleared it by now"); |
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
507 |
collector_state()->set_in_initial_mark_gc(false); |
38076 | 508 |
} |
509 |
||
49375 | 510 |
void G1Policy::record_concurrent_mark_remark_start() { |
38076 | 511 |
_mark_remark_start_sec = os::elapsedTime(); |
512 |
} |
|
513 |
||
49375 | 514 |
void G1Policy::record_concurrent_mark_remark_end() { |
38076 | 515 |
double end_time_sec = os::elapsedTime(); |
516 |
double elapsed_time_ms = (end_time_sec - _mark_remark_start_sec)*1000.0; |
|
517 |
_analytics->report_concurrent_mark_remark_times_ms(elapsed_time_ms); |
|
518 |
_analytics->append_prev_collection_pause_end_ms(elapsed_time_ms); |
|
519 |
||
520 |
record_pause(Remark, _mark_remark_start_sec, end_time_sec); |
|
521 |
} |
|
522 |
||
49375 | 523 |
void G1Policy::record_concurrent_mark_cleanup_start() { |
38076 | 524 |
_mark_cleanup_start_sec = os::elapsedTime(); |
525 |
} |
|
526 |
||
49375 | 527 |
double G1Policy::average_time_ms(G1GCPhaseTimes::GCParPhases phase) const { |
38076 | 528 |
return phase_times()->average_time_ms(phase); |
529 |
} |
|
530 |
||
49375 | 531 |
double G1Policy::young_other_time_ms() const { |
38076 | 532 |
return phase_times()->young_cset_choice_time_ms() + |
39979 | 533 |
phase_times()->average_time_ms(G1GCPhaseTimes::YoungFreeCSet); |
38076 | 534 |
} |
535 |
||
49375 | 536 |
double G1Policy::non_young_other_time_ms() const { |
38076 | 537 |
return phase_times()->non_young_cset_choice_time_ms() + |
39979 | 538 |
phase_times()->average_time_ms(G1GCPhaseTimes::NonYoungFreeCSet); |
38076 | 539 |
} |
540 |
||
49375 | 541 |
double G1Policy::other_time_ms(double pause_time_ms) const { |
38107
aee6db99b6c7
8155087: Calculation in other_time_ms() is incorrect
sjohanss
parents:
38106
diff
changeset
|
542 |
return pause_time_ms - phase_times()->cur_collection_par_time_ms(); |
38076 | 543 |
} |
544 |
||
49375 | 545 |
double G1Policy::constant_other_time_ms(double pause_time_ms) const { |
39979 | 546 |
return other_time_ms(pause_time_ms) - phase_times()->total_free_cset_time_ms(); |
38076 | 547 |
} |
548 |
||
49375 | 549 |
bool G1Policy::about_to_start_mixed_phase() const { |
49806 | 550 |
return _g1h->concurrent_mark()->cm_thread()->during_cycle() || collector_state()->in_young_gc_before_mixed(); |
38076 | 551 |
} |
552 |
||
49375 | 553 |
bool G1Policy::need_to_start_conc_mark(const char* source, size_t alloc_word_size) { |
38076 | 554 |
if (about_to_start_mixed_phase()) { |
555 |
return false; |
|
556 |
} |
|
557 |
||
558 |
size_t marking_initiating_used_threshold = _ihop_control->get_conc_mark_start_threshold(); |
|
559 |
||
49806 | 560 |
size_t cur_used_bytes = _g1h->non_young_capacity_bytes(); |
38076 | 561 |
size_t alloc_byte_size = alloc_word_size * HeapWordSize; |
562 |
size_t marking_request_bytes = cur_used_bytes + alloc_byte_size; |
|
563 |
||
564 |
bool result = false; |
|
565 |
if (marking_request_bytes > marking_initiating_used_threshold) { |
|
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
566 |
result = collector_state()->in_young_only_phase() && !collector_state()->in_young_gc_before_mixed(); |
38076 | 567 |
log_debug(gc, ergo, ihop)("%s occupancy: " SIZE_FORMAT "B allocation request: " SIZE_FORMAT "B threshold: " SIZE_FORMAT "B (%1.2f) source: %s", |
568 |
result ? "Request concurrent cycle initiation (occupancy higher than threshold)" : "Do not request concurrent cycle initiation (still doing mixed collections)", |
|
49806 | 569 |
cur_used_bytes, alloc_byte_size, marking_initiating_used_threshold, (double) marking_initiating_used_threshold / _g1h->capacity() * 100, source); |
38076 | 570 |
} |
571 |
||
572 |
return result; |
|
573 |
} |
|
574 |
||
57953
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
575 |
double G1Policy::logged_cards_processing_time() const { |
55510
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
576 |
double all_cards_processing_time = average_time_ms(G1GCPhaseTimes::ScanHR) + average_time_ms(G1GCPhaseTimes::OptScanHR); |
57953
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
577 |
size_t logged_dirty_cards = phase_times()->sum_thread_work_items(G1GCPhaseTimes::MergeLB, G1GCPhaseTimes::MergeLBDirtyCards); |
55510
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
578 |
size_t scan_heap_roots_cards = phase_times()->sum_thread_work_items(G1GCPhaseTimes::ScanHR, G1GCPhaseTimes::ScanHRScannedCards) + |
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
579 |
phase_times()->sum_thread_work_items(G1GCPhaseTimes::OptScanHR, G1GCPhaseTimes::ScanHRScannedCards); |
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
580 |
// This may happen if there are duplicate cards in different log buffers. |
57953
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
581 |
if (logged_dirty_cards > scan_heap_roots_cards) { |
55510
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
582 |
return all_cards_processing_time + average_time_ms(G1GCPhaseTimes::MergeLB); |
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
583 |
} |
57953
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
584 |
return (all_cards_processing_time * logged_dirty_cards / scan_heap_roots_cards) + average_time_ms(G1GCPhaseTimes::MergeLB); |
55510
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
585 |
} |
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
586 |
|
38076 | 587 |
// Anything below that is considered to be zero |
588 |
#define MIN_TIMER_GRANULARITY 0.0000001 |
|
589 |
||
55510
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
590 |
void G1Policy::record_collection_pause_end(double pause_time_ms, size_t heap_used_bytes_before_gc) { |
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
591 |
G1GCPhaseTimes* p = phase_times(); |
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
592 |
|
38076 | 593 |
double end_time_sec = os::elapsedTime(); |
594 |
||
54726
671e35cf611b
8221509: Refactor assert( G1CollectedHeap::used() == recalculate_used() ) with better message
sangheki
parents:
54678
diff
changeset
|
595 |
assert_used_and_recalculate_used_equal(_g1h); |
49806 | 596 |
size_t cur_used_bytes = _g1h->used(); |
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
597 |
bool this_pause_included_initial_mark = false; |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
598 |
bool this_pause_was_young_only = collector_state()->in_young_only_phase(); |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
599 |
|
49806 | 600 |
bool update_stats = !_g1h->evacuation_failed(); |
38076 | 601 |
|
602 |
record_pause(young_gc_pause_kind(), end_time_sec - pause_time_ms / 1000.0, end_time_sec); |
|
603 |
||
41284
b4276ec89d0d
8164482: [REDO] G1 does not implement millis_since_last_gc which is needed by RMI GC
jprovino
parents:
40914
diff
changeset
|
604 |
_collection_pause_end_millis = os::javaTimeNanos() / NANOSECS_PER_MILLISEC; |
b4276ec89d0d
8164482: [REDO] G1 does not implement millis_since_last_gc which is needed by RMI GC
jprovino
parents:
40914
diff
changeset
|
605 |
|
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
606 |
this_pause_included_initial_mark = collector_state()->in_initial_mark_gc(); |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
607 |
if (this_pause_included_initial_mark) { |
38076 | 608 |
record_concurrent_mark_init_end(0.0); |
609 |
} else { |
|
610 |
maybe_start_marking(); |
|
611 |
} |
|
612 |
||
613 |
double app_time_ms = (phase_times()->cur_collection_start_sec() * 1000.0 - _analytics->prev_collection_pause_end_ms()); |
|
614 |
if (app_time_ms < MIN_TIMER_GRANULARITY) { |
|
615 |
// This usually happens due to the timer not having the required |
|
616 |
// granularity. Some Linuxes are the usual culprits. |
|
617 |
// We'll just set it to something (arbitrarily) small. |
|
618 |
app_time_ms = 1.0; |
|
619 |
} |
|
620 |
||
621 |
if (update_stats) { |
|
622 |
// We maintain the invariant that all objects allocated by mutator |
|
623 |
// threads will be allocated out of eden regions. So, we can use |
|
624 |
// the eden region number allocated since the previous GC to |
|
625 |
// calculate the application's allocate rate. The only exception |
|
626 |
// to that is humongous objects that are allocated separately. But |
|
627 |
// given that humongous object allocations do not really affect |
|
628 |
// either the pause's duration nor when the next pause will take |
|
629 |
// place we can safely ignore them here. |
|
630 |
uint regions_allocated = _collection_set->eden_region_length(); |
|
631 |
double alloc_rate_ms = (double) regions_allocated / app_time_ms; |
|
632 |
_analytics->report_alloc_rate_ms(alloc_rate_ms); |
|
633 |
||
634 |
double interval_ms = |
|
40523
20873f6704de
8164124: [BACKOUT] G1 does not implement millis_since_last_gc which is needed by RMI GC
jwilhelm
parents:
40328
diff
changeset
|
635 |
(end_time_sec - _analytics->last_known_gc_end_time_sec()) * 1000.0; |
38076 | 636 |
_analytics->update_recent_gc_times(end_time_sec, pause_time_ms); |
637 |
_analytics->compute_pause_time_ratio(interval_ms, pause_time_ms); |
|
638 |
} |
|
639 |
||
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
640 |
if (collector_state()->in_young_gc_before_mixed()) { |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
641 |
assert(!this_pause_included_initial_mark, "The young GC before mixed is not allowed to be an initial mark GC"); |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
642 |
// This has been the young GC before we start doing mixed GCs. We already |
49607
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
643 |
// decided to start mixed GCs much earlier, so there is nothing to do except |
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
644 |
// advancing the state. |
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
645 |
collector_state()->set_in_young_only_phase(false); |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
646 |
collector_state()->set_in_young_gc_before_mixed(false); |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
647 |
} else if (!this_pause_was_young_only) { |
49607
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
648 |
// This is a mixed GC. Here we decide whether to continue doing more |
38076 | 649 |
// mixed GCs or not. |
650 |
if (!next_gc_should_be_mixed("continue mixed GCs", |
|
651 |
"do not continue mixed GCs")) { |
|
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
652 |
collector_state()->set_in_young_only_phase(true); |
38076 | 653 |
|
49607
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
654 |
clear_collection_set_candidates(); |
38076 | 655 |
maybe_start_marking(); |
656 |
} |
|
657 |
} |
|
658 |
||
659 |
_short_lived_surv_rate_group->start_adding_regions(); |
|
660 |
// Do that for any other surv rate groups |
|
661 |
||
55510
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
662 |
double scan_hcc_time_ms = G1HotCardCache::default_use_cache() ? average_time_ms(G1GCPhaseTimes::MergeHCC) : 0.0; |
38076 | 663 |
|
664 |
if (update_stats) { |
|
57953
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
665 |
double cost_per_logged_card = 0.0; |
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
666 |
size_t const pending_logged_cards = p->sum_thread_work_items(G1GCPhaseTimes::MergeLB, G1GCPhaseTimes::MergeLBDirtyCards); |
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
667 |
if (pending_logged_cards > 0) { |
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
668 |
cost_per_logged_card = logged_cards_processing_time() / pending_logged_cards; |
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
669 |
_analytics->report_cost_per_logged_card_ms(cost_per_logged_card); |
38076 | 670 |
} |
671 |
_analytics->report_cost_scan_hcc(scan_hcc_time_ms); |
|
672 |
||
55510
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
673 |
size_t const total_cards_scanned = p->sum_thread_work_items(G1GCPhaseTimes::ScanHR, G1GCPhaseTimes::ScanHRScannedCards) + |
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
674 |
p->sum_thread_work_items(G1GCPhaseTimes::OptScanHR, G1GCPhaseTimes::ScanHRScannedCards); |
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
675 |
size_t remset_cards_scanned = 0; |
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
676 |
// There might have been duplicate log buffer entries in the queues which could |
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
677 |
// increase this value beyond the cards scanned. In this case attribute all cards |
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
678 |
// to the log buffers. |
57953
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
679 |
if (pending_logged_cards <= total_cards_scanned) { |
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
680 |
remset_cards_scanned = total_cards_scanned - pending_logged_cards; |
55510
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
681 |
} |
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
682 |
|
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
683 |
double cost_per_remset_card_ms = 0.0; |
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
684 |
if (remset_cards_scanned > 10) { |
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
685 |
double avg_time_remset_scan = ((average_time_ms(G1GCPhaseTimes::ScanHR) + average_time_ms(G1GCPhaseTimes::OptScanHR)) * |
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
686 |
remset_cards_scanned / total_cards_scanned) + |
55723
95706898c3ea
8227089: Add timing information for merging humongous remembered sets
tschatzl
parents:
55510
diff
changeset
|
687 |
average_time_ms(G1GCPhaseTimes::MergeER) + |
55724
3504188512e2
8227090: G1 does not account the OptMergeRS in cost per card calculation
tschatzl
parents:
55723
diff
changeset
|
688 |
average_time_ms(G1GCPhaseTimes::MergeRS) + |
3504188512e2
8227090: G1 does not account the OptMergeRS in cost per card calculation
tschatzl
parents:
55723
diff
changeset
|
689 |
average_time_ms(G1GCPhaseTimes::OptMergeRS); |
55510
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
690 |
|
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
691 |
cost_per_remset_card_ms = avg_time_remset_scan / remset_cards_scanned; |
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
692 |
_analytics->report_cost_per_remset_card_ms(cost_per_remset_card_ms, this_pause_was_young_only); |
38076 | 693 |
} |
694 |
||
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
695 |
if (_max_rs_length > 0) { |
38076 | 696 |
double cards_per_entry_ratio = |
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
697 |
(double) remset_cards_scanned / (double) _max_rs_length; |
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
698 |
_analytics->report_cards_per_entry_ratio(cards_per_entry_ratio, this_pause_was_young_only); |
38076 | 699 |
} |
700 |
||
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
701 |
// This is defensive. For a while _max_rs_length could get |
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
702 |
// smaller than _recorded_rs_length which was causing |
38076 | 703 |
// rs_length_diff to get very large and mess up the RSet length |
704 |
// predictions. The reason was unsafe concurrent updates to the |
|
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
705 |
// _inc_cset_recorded_rs_length field which the code below guards |
38076 | 706 |
// against (see CR 7118202). This bug has now been fixed (see CR |
707 |
// 7119027). However, I'm still worried that |
|
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
708 |
// _inc_cset_recorded_rs_length might still end up somewhat |
38076 | 709 |
// inaccurate. The concurrent refinement thread calculates an |
710 |
// RSet's length concurrently with other CR threads updating it |
|
711 |
// which might cause it to calculate the length incorrectly (if, |
|
712 |
// say, it's in mid-coarsening). So I'll leave in the defensive |
|
713 |
// conditional below just in case. |
|
714 |
size_t rs_length_diff = 0; |
|
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
715 |
size_t recorded_rs_length = _collection_set->recorded_rs_length(); |
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
716 |
if (_max_rs_length > recorded_rs_length) { |
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
717 |
rs_length_diff = _max_rs_length - recorded_rs_length; |
38076 | 718 |
} |
719 |
_analytics->report_rs_length_diff((double) rs_length_diff); |
|
720 |
||
721 |
size_t freed_bytes = heap_used_bytes_before_gc - cur_used_bytes; |
|
722 |
size_t copied_bytes = _collection_set->bytes_used_before() - freed_bytes; |
|
723 |
double cost_per_byte_ms = 0.0; |
|
724 |
||
725 |
if (copied_bytes > 0) { |
|
54465
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
726 |
cost_per_byte_ms = (average_time_ms(G1GCPhaseTimes::ObjCopy) + average_time_ms(G1GCPhaseTimes::OptObjCopy)) / (double) copied_bytes; |
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
727 |
_analytics->report_cost_per_byte_ms(cost_per_byte_ms, collector_state()->mark_or_rebuild_in_progress()); |
38076 | 728 |
} |
729 |
||
730 |
if (_collection_set->young_region_length() > 0) { |
|
731 |
_analytics->report_young_other_cost_per_region_ms(young_other_time_ms() / |
|
732 |
_collection_set->young_region_length()); |
|
733 |
} |
|
734 |
||
735 |
if (_collection_set->old_region_length() > 0) { |
|
736 |
_analytics->report_non_young_other_cost_per_region_ms(non_young_other_time_ms() / |
|
737 |
_collection_set->old_region_length()); |
|
738 |
} |
|
739 |
||
740 |
_analytics->report_constant_other_time_ms(constant_other_time_ms(pause_time_ms)); |
|
741 |
||
49805
1ccbcd88f66c
8200723: Suppress rs_length and predicted_cards sampling during mixed gcs
tschatzl
parents:
49664
diff
changeset
|
742 |
// Do not update RS lengths and the number of pending cards with information from mixed gc: |
1ccbcd88f66c
8200723: Suppress rs_length and predicted_cards sampling during mixed gcs
tschatzl
parents:
49664
diff
changeset
|
743 |
// these are is wildly different to during young only gc and mess up young gen sizing right |
1ccbcd88f66c
8200723: Suppress rs_length and predicted_cards sampling during mixed gcs
tschatzl
parents:
49664
diff
changeset
|
744 |
// after the mixed gc phase. |
1ccbcd88f66c
8200723: Suppress rs_length and predicted_cards sampling during mixed gcs
tschatzl
parents:
49664
diff
changeset
|
745 |
// During mixed gc we do not use them for young gen sizing. |
1ccbcd88f66c
8200723: Suppress rs_length and predicted_cards sampling during mixed gcs
tschatzl
parents:
49664
diff
changeset
|
746 |
if (this_pause_was_young_only) { |
1ccbcd88f66c
8200723: Suppress rs_length and predicted_cards sampling during mixed gcs
tschatzl
parents:
49664
diff
changeset
|
747 |
_analytics->report_pending_cards((double) _pending_cards); |
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
748 |
_analytics->report_rs_length((double) _max_rs_length); |
49805
1ccbcd88f66c
8200723: Suppress rs_length and predicted_cards sampling during mixed gcs
tschatzl
parents:
49664
diff
changeset
|
749 |
} |
38076 | 750 |
} |
751 |
||
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
752 |
assert(!(this_pause_included_initial_mark && collector_state()->mark_or_rebuild_in_progress()), |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
753 |
"If the last pause has been an initial mark, we should not have been in the marking window"); |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
754 |
if (this_pause_included_initial_mark) { |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
755 |
collector_state()->set_mark_or_rebuild_in_progress(true); |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
756 |
} |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
757 |
|
49806 | 758 |
_free_regions_at_end_of_collection = _g1h->num_free_regions(); |
52918
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
759 |
|
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
760 |
update_rs_length_prediction(); |
38076 | 761 |
|
52918
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
762 |
// Do not update dynamic IHOP due to G1 periodic collection as it is highly likely |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
763 |
// that in this case we are not running in a "normal" operating mode. |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
764 |
if (_g1h->gc_cause() != GCCause::_g1_periodic_collection) { |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
765 |
// IHOP control wants to know the expected young gen length if it were not |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
766 |
// restrained by the heap reserve. Using the actual length would make the |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
767 |
// prediction too small and the limit the young gen every time we get to the |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
768 |
// predicted target occupancy. |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
769 |
size_t last_unrestrained_young_length = update_young_list_max_and_target_length(); |
38076 | 770 |
|
52918
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
771 |
update_ihop_prediction(app_time_ms / 1000.0, |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
772 |
_bytes_allocated_in_old_since_last_gc, |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
773 |
last_unrestrained_young_length * HeapRegion::GrainBytes, |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
774 |
this_pause_was_young_only); |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
775 |
_bytes_allocated_in_old_since_last_gc = 0; |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
776 |
|
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
777 |
_ihop_control->send_trace_event(_g1h->gc_tracer_stw()); |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
778 |
} else { |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
779 |
// Any garbage collection triggered as periodic collection resets the time-to-mixed |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
780 |
// measurement. Periodic collection typically means that the application is "inactive", i.e. |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
781 |
// the marking threads may have received an uncharacterisic amount of cpu time |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
782 |
// for completing the marking, i.e. are faster than expected. |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
783 |
// This skews the predicted marking length towards smaller values which might cause |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
784 |
// the mark start being too late. |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
785 |
_initial_mark_to_mixed.reset(); |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
786 |
} |
38076 | 787 |
|
788 |
// Note that _mmu_tracker->max_gc_time() returns the time in seconds. |
|
57953
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
789 |
double scan_logged_cards_time_goal_ms = _mmu_tracker->max_gc_time() * MILLIUNITS * G1RSetUpdatingPauseTimePercent / 100.0; |
38076 | 790 |
|
57953
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
791 |
if (scan_logged_cards_time_goal_ms < scan_hcc_time_ms) { |
38076 | 792 |
log_debug(gc, ergo, refine)("Adjust concurrent refinement thresholds (scanning the HCC expected to take longer than Update RS time goal)." |
57953
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
793 |
"Logged Cards Scan time goal: %1.2fms Scan HCC time: %1.2fms", |
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
794 |
scan_logged_cards_time_goal_ms, scan_hcc_time_ms); |
38076 | 795 |
|
57953
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
796 |
scan_logged_cards_time_goal_ms = 0; |
38076 | 797 |
} else { |
57953
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
798 |
scan_logged_cards_time_goal_ms -= scan_hcc_time_ms; |
38076 | 799 |
} |
55510
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
800 |
|
57953
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
801 |
double const logged_cards_time = logged_cards_processing_time(); |
55510
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
802 |
|
57953
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
803 |
log_debug(gc, ergo, refine)("Concurrent refinement times: Logged Cards Scan time goal: %1.2fms Logged Cards Scan time: %1.2fms HCC time: %1.2fms", |
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
804 |
scan_logged_cards_time_goal_ms, logged_cards_time, scan_hcc_time_ms); |
55510
3e31a8beaae4
8213108: Improve work distribution during remembered set scan
tschatzl
parents:
54726
diff
changeset
|
805 |
|
57953
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
806 |
_g1h->concurrent_refine()->adjust(logged_cards_time, |
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
807 |
phase_times()->sum_thread_work_items(G1GCPhaseTimes::MergeLB, G1GCPhaseTimes::MergeLBDirtyCards), |
d78c910f9069
8230109: G1DirtyCardQueueSet should use card counts rather than buffer counts
kbarrett
parents:
57663
diff
changeset
|
808 |
scan_logged_cards_time_goal_ms); |
38076 | 809 |
} |
810 |
||
49375 | 811 |
G1IHOPControl* G1Policy::create_ihop_control(const G1Predictions* predictor){ |
38076 | 812 |
if (G1UseAdaptiveIHOP) { |
813 |
return new G1AdaptiveIHOPControl(InitiatingHeapOccupancyPercent, |
|
814 |
predictor, |
|
815 |
G1ReservePercent, |
|
816 |
G1HeapWastePercent); |
|
817 |
} else { |
|
818 |
return new G1StaticIHOPControl(InitiatingHeapOccupancyPercent); |
|
819 |
} |
|
820 |
} |
|
821 |
||
49375 | 822 |
void G1Policy::update_ihop_prediction(double mutator_time_s, |
38076 | 823 |
size_t mutator_alloc_bytes, |
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
824 |
size_t young_gen_size, |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
825 |
bool this_gc_was_young_only) { |
38076 | 826 |
// Always try to update IHOP prediction. Even evacuation failures give information |
827 |
// about e.g. whether to start IHOP earlier next time. |
|
828 |
||
829 |
// Avoid using really small application times that might create samples with |
|
830 |
// very high or very low values. They may be caused by e.g. back-to-back gcs. |
|
831 |
double const min_valid_time = 1e-6; |
|
832 |
||
833 |
bool report = false; |
|
834 |
||
835 |
double marking_to_mixed_time = -1.0; |
|
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
836 |
if (!this_gc_was_young_only && _initial_mark_to_mixed.has_result()) { |
38076 | 837 |
marking_to_mixed_time = _initial_mark_to_mixed.last_marking_time(); |
838 |
assert(marking_to_mixed_time > 0.0, |
|
839 |
"Initial mark to mixed time must be larger than zero but is %.3f", |
|
840 |
marking_to_mixed_time); |
|
841 |
if (marking_to_mixed_time > min_valid_time) { |
|
842 |
_ihop_control->update_marking_length(marking_to_mixed_time); |
|
843 |
report = true; |
|
844 |
} |
|
845 |
} |
|
846 |
||
847 |
// As an approximation for the young gc promotion rates during marking we use |
|
848 |
// all of them. In many applications there are only a few if any young gcs during |
|
849 |
// marking, which makes any prediction useless. This increases the accuracy of the |
|
850 |
// prediction. |
|
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
851 |
if (this_gc_was_young_only && mutator_time_s > min_valid_time) { |
38076 | 852 |
_ihop_control->update_allocation_info(mutator_time_s, mutator_alloc_bytes, young_gen_size); |
853 |
report = true; |
|
854 |
} |
|
855 |
||
856 |
if (report) { |
|
857 |
report_ihop_statistics(); |
|
858 |
} |
|
859 |
} |
|
860 |
||
49375 | 861 |
void G1Policy::report_ihop_statistics() { |
38076 | 862 |
_ihop_control->print(); |
863 |
} |
|
864 |
||
49375 | 865 |
void G1Policy::print_phases() { |
38076 | 866 |
phase_times()->print(); |
867 |
} |
|
868 |
||
49375 | 869 |
double G1Policy::predict_yg_surv_rate(int age, SurvRateGroup* surv_rate_group) const { |
38076 | 870 |
TruncatedSeq* seq = surv_rate_group->get_seq(age); |
871 |
guarantee(seq->num() > 0, "There should be some young gen survivor samples available. Tried to access with age %d", age); |
|
872 |
double pred = _predictor.get_new_prediction(seq); |
|
873 |
if (pred > 1.0) { |
|
874 |
pred = 1.0; |
|
875 |
} |
|
876 |
return pred; |
|
877 |
} |
|
878 |
||
49375 | 879 |
double G1Policy::accum_yg_surv_rate_pred(int age) const { |
38076 | 880 |
return _short_lived_surv_rate_group->accum_surv_rate_pred(age); |
881 |
} |
|
882 |
||
49375 | 883 |
double G1Policy::predict_base_elapsed_time_ms(size_t pending_cards, |
38076 | 884 |
size_t scanned_cards) const { |
885 |
return |
|
886 |
_analytics->predict_rs_update_time_ms(pending_cards) + |
|
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
887 |
_analytics->predict_rs_scan_time_ms(scanned_cards, collector_state()->in_young_only_phase()) + |
38076 | 888 |
_analytics->predict_constant_other_time_ms(); |
889 |
} |
|
890 |
||
49375 | 891 |
double G1Policy::predict_base_elapsed_time_ms(size_t pending_cards) const { |
57663
bf8e76d86d05
8228503: Rename "rs_lengths" to "rs_length" in ergo code
tschatzl
parents:
55724
diff
changeset
|
892 |
size_t rs_length = _analytics->predict_rs_length() + _analytics->predict_rs_length_diff(); |
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
893 |
size_t card_num = _analytics->predict_card_num(rs_length, collector_state()->in_young_only_phase()); |
38076 | 894 |
return predict_base_elapsed_time_ms(pending_cards, card_num); |
895 |
} |
|
896 |
||
49375 | 897 |
size_t G1Policy::predict_bytes_to_copy(HeapRegion* hr) const { |
38076 | 898 |
size_t bytes_to_copy; |
50441
523c2a73a3dc
8204081: Mismatch in rebuild policy and collection set chooser causes remembered sets to be kept errorneously
tschatzl
parents:
49911
diff
changeset
|
899 |
if (!hr->is_young()) { |
38076 | 900 |
bytes_to_copy = hr->max_live_bytes(); |
50441
523c2a73a3dc
8204081: Mismatch in rebuild policy and collection set chooser causes remembered sets to be kept errorneously
tschatzl
parents:
49911
diff
changeset
|
901 |
} else { |
523c2a73a3dc
8204081: Mismatch in rebuild policy and collection set chooser causes remembered sets to be kept errorneously
tschatzl
parents:
49911
diff
changeset
|
902 |
assert(hr->age_in_surv_rate_group() != -1, "invariant"); |
38076 | 903 |
int age = hr->age_in_surv_rate_group(); |
904 |
double yg_surv_rate = predict_yg_surv_rate(age, hr->surv_rate_group()); |
|
905 |
bytes_to_copy = (size_t) (hr->used() * yg_surv_rate); |
|
906 |
} |
|
907 |
return bytes_to_copy; |
|
908 |
} |
|
909 |
||
49375 | 910 |
double G1Policy::predict_region_elapsed_time_ms(HeapRegion* hr, |
38076 | 911 |
bool for_young_gc) const { |
912 |
size_t rs_length = hr->rem_set()->occupied(); |
|
913 |
// Predicting the number of cards is based on which type of GC |
|
914 |
// we're predicting for. |
|
915 |
size_t card_num = _analytics->predict_card_num(rs_length, for_young_gc); |
|
916 |
size_t bytes_to_copy = predict_bytes_to_copy(hr); |
|
917 |
||
918 |
double region_elapsed_time_ms = |
|
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
919 |
_analytics->predict_rs_scan_time_ms(card_num, collector_state()->in_young_only_phase()) + |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
920 |
_analytics->predict_object_copy_time_ms(bytes_to_copy, collector_state()->mark_or_rebuild_in_progress()); |
38076 | 921 |
|
922 |
// The prediction of the "other" time for this region is based |
|
923 |
// upon the region type and NOT the GC type. |
|
924 |
if (hr->is_young()) { |
|
925 |
region_elapsed_time_ms += _analytics->predict_young_other_time_ms(1); |
|
926 |
} else { |
|
927 |
region_elapsed_time_ms += _analytics->predict_non_young_other_time_ms(1); |
|
928 |
} |
|
929 |
return region_elapsed_time_ms; |
|
930 |
} |
|
931 |
||
49375 | 932 |
bool G1Policy::should_allocate_mutator_region() const { |
49806 | 933 |
uint young_list_length = _g1h->young_regions_count(); |
38076 | 934 |
uint young_list_target_length = _young_list_target_length; |
38106 | 935 |
return young_list_length < young_list_target_length; |
38076 | 936 |
} |
937 |
||
49375 | 938 |
bool G1Policy::can_expand_young_list() const { |
49806 | 939 |
uint young_list_length = _g1h->young_regions_count(); |
38076 | 940 |
uint young_list_max_length = _young_list_max_length; |
941 |
return young_list_length < young_list_max_length; |
|
942 |
} |
|
943 |
||
54466
58751415d5f8
8222105: Add "use_" prefix to G1Policy::adaptive_young_list_length
tschatzl
parents:
54465
diff
changeset
|
944 |
bool G1Policy::use_adaptive_young_list_length() const { |
58751415d5f8
8222105: Add "use_" prefix to G1Policy::adaptive_young_list_length
tschatzl
parents:
54465
diff
changeset
|
945 |
return _young_gen_sizer->use_adaptive_young_list_length(); |
38076 | 946 |
} |
947 |
||
52975
35e2bbea78b2
8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents:
52918
diff
changeset
|
948 |
size_t G1Policy::desired_survivor_size(uint max_regions) const { |
35e2bbea78b2
8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents:
52918
diff
changeset
|
949 |
size_t const survivor_capacity = HeapRegion::GrainWords * max_regions; |
40914
90c87069b39c
8164936: G1 age table printout contains contents from previous GC
tschatzl
parents:
40523
diff
changeset
|
950 |
return (size_t)((((double)survivor_capacity) * TargetSurvivorRatio) / 100); |
90c87069b39c
8164936: G1 age table printout contains contents from previous GC
tschatzl
parents:
40523
diff
changeset
|
951 |
} |
90c87069b39c
8164936: G1 age table printout contains contents from previous GC
tschatzl
parents:
40523
diff
changeset
|
952 |
|
49375 | 953 |
void G1Policy::print_age_table() { |
40914
90c87069b39c
8164936: G1 age table printout contains contents from previous GC
tschatzl
parents:
40523
diff
changeset
|
954 |
_survivors_age_table.print_age_table(_tenuring_threshold); |
90c87069b39c
8164936: G1 age table printout contains contents from previous GC
tschatzl
parents:
40523
diff
changeset
|
955 |
} |
90c87069b39c
8164936: G1 age table printout contains contents from previous GC
tschatzl
parents:
40523
diff
changeset
|
956 |
|
49375 | 957 |
void G1Policy::update_max_gc_locker_expansion() { |
38076 | 958 |
uint expansion_region_num = 0; |
959 |
if (GCLockerEdenExpansionPercent > 0) { |
|
960 |
double perc = (double) GCLockerEdenExpansionPercent / 100.0; |
|
961 |
double expansion_region_num_d = perc * (double) _young_list_target_length; |
|
962 |
// We use ceiling so that if expansion_region_num_d is > 0.0 (but |
|
963 |
// less than 1.0) we'll get 1. |
|
964 |
expansion_region_num = (uint) ceil(expansion_region_num_d); |
|
965 |
} else { |
|
966 |
assert(expansion_region_num == 0, "sanity"); |
|
967 |
} |
|
968 |
_young_list_max_length = _young_list_target_length + expansion_region_num; |
|
969 |
assert(_young_list_target_length <= _young_list_max_length, "post-condition"); |
|
970 |
} |
|
971 |
||
972 |
// Calculates survivor space parameters. |
|
49375 | 973 |
void G1Policy::update_survivors_policy() { |
38076 | 974 |
double max_survivor_regions_d = |
975 |
(double) _young_list_target_length / (double) SurvivorRatio; |
|
976 |
||
52975
35e2bbea78b2
8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents:
52918
diff
changeset
|
977 |
// Calculate desired survivor size based on desired max survivor regions (unconstrained |
35e2bbea78b2
8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents:
52918
diff
changeset
|
978 |
// by remaining heap). Otherwise we may cause undesired promotions as we are |
35e2bbea78b2
8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents:
52918
diff
changeset
|
979 |
// already getting close to end of the heap, impacting performance even more. |
35e2bbea78b2
8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents:
52918
diff
changeset
|
980 |
uint const desired_max_survivor_regions = ceil(max_survivor_regions_d); |
35e2bbea78b2
8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents:
52918
diff
changeset
|
981 |
size_t const survivor_size = desired_survivor_size(desired_max_survivor_regions); |
35e2bbea78b2
8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents:
52918
diff
changeset
|
982 |
|
35e2bbea78b2
8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents:
52918
diff
changeset
|
983 |
_tenuring_threshold = _survivors_age_table.compute_tenuring_threshold(survivor_size); |
40914
90c87069b39c
8164936: G1 age table printout contains contents from previous GC
tschatzl
parents:
40523
diff
changeset
|
984 |
if (UsePerfData) { |
90c87069b39c
8164936: G1 age table printout contains contents from previous GC
tschatzl
parents:
40523
diff
changeset
|
985 |
_policy_counters->tenuring_threshold()->set_value(_tenuring_threshold); |
52975
35e2bbea78b2
8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents:
52918
diff
changeset
|
986 |
_policy_counters->desired_survivor_size()->set_value(survivor_size * oopSize); |
40914
90c87069b39c
8164936: G1 age table printout contains contents from previous GC
tschatzl
parents:
40523
diff
changeset
|
987 |
} |
52975
35e2bbea78b2
8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents:
52918
diff
changeset
|
988 |
// The real maximum survivor size is bounded by the number of regions that can |
35e2bbea78b2
8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents:
52918
diff
changeset
|
989 |
// be allocated into. |
35e2bbea78b2
8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents:
52918
diff
changeset
|
990 |
_max_survivor_regions = MIN2(desired_max_survivor_regions, |
35e2bbea78b2
8152724: Sum of eden before GC and current survivor capacity may be larger than heap size
tschatzl
parents:
52918
diff
changeset
|
991 |
_g1h->num_free_or_available_regions()); |
38076 | 992 |
} |
993 |
||
49375 | 994 |
bool G1Policy::force_initial_mark_if_outside_cycle(GCCause::Cause gc_cause) { |
38076 | 995 |
// We actually check whether we are marking here and not if we are in a |
996 |
// reclamation phase. This means that we will schedule a concurrent mark |
|
997 |
// even while we are still in the process of reclaiming memory. |
|
49806 | 998 |
bool during_cycle = _g1h->concurrent_mark()->cm_thread()->during_cycle(); |
38076 | 999 |
if (!during_cycle) { |
1000 |
log_debug(gc, ergo)("Request concurrent cycle initiation (requested by GC cause). GC cause: %s", GCCause::to_string(gc_cause)); |
|
1001 |
collector_state()->set_initiate_conc_mark_if_possible(true); |
|
1002 |
return true; |
|
1003 |
} else { |
|
1004 |
log_debug(gc, ergo)("Do not request concurrent cycle initiation (concurrent cycle already in progress). GC cause: %s", GCCause::to_string(gc_cause)); |
|
1005 |
return false; |
|
1006 |
} |
|
1007 |
} |
|
1008 |
||
49375 | 1009 |
void G1Policy::initiate_conc_mark() { |
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
1010 |
collector_state()->set_in_initial_mark_gc(true); |
38076 | 1011 |
collector_state()->set_initiate_conc_mark_if_possible(false); |
1012 |
} |
|
1013 |
||
49375 | 1014 |
void G1Policy::decide_on_conc_mark_initiation() { |
38076 | 1015 |
// We are about to decide on whether this pause will be an |
1016 |
// initial-mark pause. |
|
1017 |
||
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
1018 |
// First, collector_state()->in_initial_mark_gc() should not be already set. We |
38076 | 1019 |
// will set it here if we have to. However, it should be cleared by |
1020 |
// the end of the pause (it's only set for the duration of an |
|
1021 |
// initial-mark pause). |
|
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
1022 |
assert(!collector_state()->in_initial_mark_gc(), "pre-condition"); |
38076 | 1023 |
|
1024 |
if (collector_state()->initiate_conc_mark_if_possible()) { |
|
1025 |
// We had noticed on a previous pause that the heap occupancy has |
|
1026 |
// gone over the initiating threshold and we should start a |
|
1027 |
// concurrent marking cycle. So we might initiate one. |
|
1028 |
||
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
1029 |
if (!about_to_start_mixed_phase() && collector_state()->in_young_only_phase()) { |
38076 | 1030 |
// Initiate a new initial mark if there is no marking or reclamation going on. |
1031 |
initiate_conc_mark(); |
|
1032 |
log_debug(gc, ergo)("Initiate concurrent cycle (concurrent cycle initiation requested)"); |
|
49806 | 1033 |
} else if (_g1h->is_user_requested_concurrent_full_gc(_g1h->gc_cause())) { |
38076 | 1034 |
// Initiate a user requested initial mark. An initial mark must be young only |
1035 |
// GC, so the collector state must be updated to reflect this. |
|
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
1036 |
collector_state()->set_in_young_only_phase(true); |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
1037 |
collector_state()->set_in_young_gc_before_mixed(false); |
38076 | 1038 |
|
49607
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1039 |
// We might have ended up coming here about to start a mixed phase with a collection set |
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1040 |
// active. The following remark might change the change the "evacuation efficiency" of |
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1041 |
// the regions in this set, leading to failing asserts later. |
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1042 |
// Since the concurrent cycle will recreate the collection set anyway, simply drop it here. |
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1043 |
clear_collection_set_candidates(); |
38076 | 1044 |
abort_time_to_mixed_tracking(); |
1045 |
initiate_conc_mark(); |
|
1046 |
log_debug(gc, ergo)("Initiate concurrent cycle (user requested concurrent cycle)"); |
|
1047 |
} else { |
|
1048 |
// The concurrent marking thread is still finishing up the |
|
1049 |
// previous cycle. If we start one right now the two cycles |
|
1050 |
// overlap. In particular, the concurrent marking thread might |
|
1051 |
// be in the process of clearing the next marking bitmap (which |
|
1052 |
// we will use for the next cycle if we start one). Starting a |
|
1053 |
// cycle now will be bad given that parts of the marking |
|
1054 |
// information might get cleared by the marking thread. And we |
|
1055 |
// cannot wait for the marking thread to finish the cycle as it |
|
1056 |
// periodically yields while clearing the next marking bitmap |
|
1057 |
// and, if it's in a yield point, it's waiting for us to |
|
1058 |
// finish. So, at this point we will not start a cycle and we'll |
|
1059 |
// let the concurrent marking thread complete the last one. |
|
1060 |
log_debug(gc, ergo)("Do not initiate concurrent cycle (concurrent cycle already in progress)"); |
|
1061 |
} |
|
1062 |
} |
|
1063 |
} |
|
1064 |
||
49375 | 1065 |
void G1Policy::record_concurrent_mark_cleanup_end() { |
53704
ef72c85a0534
8217328: Rename CollectionSetChooser to G1CollectionSetChooser
tschatzl
parents:
53703
diff
changeset
|
1066 |
G1CollectionSetCandidates* candidates = G1CollectionSetChooser::build(_g1h->workers(), _g1h->num_regions()); |
53703
24341625d8f2
8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents:
53116
diff
changeset
|
1067 |
_collection_set->set_candidates(candidates); |
38076 | 1068 |
|
49607
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1069 |
bool mixed_gc_pending = next_gc_should_be_mixed("request mixed gcs", "request young-only gcs"); |
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1070 |
if (!mixed_gc_pending) { |
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1071 |
clear_collection_set_candidates(); |
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1072 |
abort_time_to_mixed_tracking(); |
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1073 |
} |
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
1074 |
collector_state()->set_in_young_gc_before_mixed(mixed_gc_pending); |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
1075 |
collector_state()->set_mark_or_rebuild_in_progress(false); |
49607
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1076 |
|
38076 | 1077 |
double end_sec = os::elapsedTime(); |
1078 |
double elapsed_time_ms = (end_sec - _mark_cleanup_start_sec) * 1000.0; |
|
1079 |
_analytics->report_concurrent_mark_cleanup_times_ms(elapsed_time_ms); |
|
1080 |
_analytics->append_prev_collection_pause_end_ms(elapsed_time_ms); |
|
1081 |
||
1082 |
record_pause(Cleanup, _mark_cleanup_start_sec, end_sec); |
|
1083 |
} |
|
1084 |
||
49375 | 1085 |
double G1Policy::reclaimable_bytes_percent(size_t reclaimable_bytes) const { |
49806 | 1086 |
return percent_of(reclaimable_bytes, _g1h->capacity()); |
38076 | 1087 |
} |
1088 |
||
49607
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1089 |
class G1ClearCollectionSetCandidateRemSets : public HeapRegionClosure { |
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1090 |
virtual bool do_heap_region(HeapRegion* r) { |
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1091 |
r->rem_set()->clear_locked(true /* only_cardset */); |
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1092 |
return false; |
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1093 |
} |
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1094 |
}; |
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1095 |
|
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1096 |
void G1Policy::clear_collection_set_candidates() { |
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1097 |
// Clear remembered sets of remaining candidate regions and the actual candidate |
53703
24341625d8f2
8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents:
53116
diff
changeset
|
1098 |
// set. |
49607
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1099 |
G1ClearCollectionSetCandidateRemSets cl; |
53703
24341625d8f2
8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents:
53116
diff
changeset
|
1100 |
_collection_set->candidates()->iterate(&cl); |
24341625d8f2
8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents:
53116
diff
changeset
|
1101 |
_collection_set->clear_candidates(); |
49607
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1102 |
} |
acffe6ff3ae7
8180415: Rebuild remembered sets during the concurrent cycle
tschatzl
parents:
49412
diff
changeset
|
1103 |
|
49375 | 1104 |
void G1Policy::maybe_start_marking() { |
38076 | 1105 |
if (need_to_start_conc_mark("end of GC")) { |
1106 |
// Note: this might have already been set, if during the last |
|
1107 |
// pause we decided to start a cycle but at the beginning of |
|
1108 |
// this pause we decided to postpone it. That's OK. |
|
1109 |
collector_state()->set_initiate_conc_mark_if_possible(true); |
|
1110 |
} |
|
1111 |
} |
|
1112 |
||
49375 | 1113 |
G1Policy::PauseKind G1Policy::young_gc_pause_kind() const { |
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
1114 |
assert(!collector_state()->in_full_gc(), "must be"); |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
1115 |
if (collector_state()->in_initial_mark_gc()) { |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
1116 |
assert(!collector_state()->in_young_gc_before_mixed(), "must be"); |
38076 | 1117 |
return InitialMarkGC; |
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
1118 |
} else if (collector_state()->in_young_gc_before_mixed()) { |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
1119 |
assert(!collector_state()->in_initial_mark_gc(), "must be"); |
38076 | 1120 |
return LastYoungGC; |
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
1121 |
} else if (collector_state()->in_mixed_phase()) { |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
1122 |
assert(!collector_state()->in_initial_mark_gc(), "must be"); |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
1123 |
assert(!collector_state()->in_young_gc_before_mixed(), "must be"); |
38076 | 1124 |
return MixedGC; |
1125 |
} else { |
|
49643
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
1126 |
assert(!collector_state()->in_initial_mark_gc(), "must be"); |
a3453bbd5418
8199742: Clean up state flags in G1CollectorState
tschatzl
parents:
49632
diff
changeset
|
1127 |
assert(!collector_state()->in_young_gc_before_mixed(), "must be"); |
38076 | 1128 |
return YoungOnlyGC; |
1129 |
} |
|
1130 |
} |
|
1131 |
||
49375 | 1132 |
void G1Policy::record_pause(PauseKind kind, double start, double end) { |
38076 | 1133 |
// Manage the MMU tracker. For some reason it ignores Full GCs. |
1134 |
if (kind != FullGC) { |
|
1135 |
_mmu_tracker->add_pause(start, end); |
|
1136 |
} |
|
1137 |
// Manage the mutator time tracking from initial mark to first mixed gc. |
|
1138 |
switch (kind) { |
|
1139 |
case FullGC: |
|
1140 |
abort_time_to_mixed_tracking(); |
|
1141 |
break; |
|
1142 |
case Cleanup: |
|
1143 |
case Remark: |
|
1144 |
case YoungOnlyGC: |
|
1145 |
case LastYoungGC: |
|
1146 |
_initial_mark_to_mixed.add_pause(end - start); |
|
1147 |
break; |
|
1148 |
case InitialMarkGC: |
|
52918
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
1149 |
if (_g1h->gc_cause() != GCCause::_g1_periodic_collection) { |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
1150 |
_initial_mark_to_mixed.record_initial_mark_end(end); |
f94c7929a44b
8212657: Implementation of JDK-8204089 Promptly Return Unused Committed Memory from G1
tschatzl
parents:
51332
diff
changeset
|
1151 |
} |
38076 | 1152 |
break; |
1153 |
case MixedGC: |
|
1154 |
_initial_mark_to_mixed.record_mixed_gc_start(start); |
|
1155 |
break; |
|
1156 |
default: |
|
1157 |
ShouldNotReachHere(); |
|
1158 |
} |
|
1159 |
} |
|
1160 |
||
49375 | 1161 |
void G1Policy::abort_time_to_mixed_tracking() { |
38076 | 1162 |
_initial_mark_to_mixed.reset(); |
1163 |
} |
|
1164 |
||
49375 | 1165 |
bool G1Policy::next_gc_should_be_mixed(const char* true_action_str, |
38076 | 1166 |
const char* false_action_str) const { |
53703
24341625d8f2
8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents:
53116
diff
changeset
|
1167 |
G1CollectionSetCandidates* candidates = _collection_set->candidates(); |
24341625d8f2
8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents:
53116
diff
changeset
|
1168 |
|
24341625d8f2
8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents:
53116
diff
changeset
|
1169 |
if (candidates->is_empty()) { |
38076 | 1170 |
log_debug(gc, ergo)("%s (candidate old regions not available)", false_action_str); |
1171 |
return false; |
|
1172 |
} |
|
1173 |
||
1174 |
// Is the amount of uncollected reclaimable space above G1HeapWastePercent? |
|
53703
24341625d8f2
8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents:
53116
diff
changeset
|
1175 |
size_t reclaimable_bytes = candidates->remaining_reclaimable_bytes(); |
47681
149745044e48
8189729: Change _perc suffixes in identifiers to _percent
tschatzl
parents:
47679
diff
changeset
|
1176 |
double reclaimable_percent = reclaimable_bytes_percent(reclaimable_bytes); |
38076 | 1177 |
double threshold = (double) G1HeapWastePercent; |
47681
149745044e48
8189729: Change _perc suffixes in identifiers to _percent
tschatzl
parents:
47679
diff
changeset
|
1178 |
if (reclaimable_percent <= threshold) { |
38076 | 1179 |
log_debug(gc, ergo)("%s (reclaimable percentage not over threshold). candidate old regions: %u reclaimable: " SIZE_FORMAT " (%1.2f) threshold: " UINTX_FORMAT, |
53703
24341625d8f2
8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents:
53116
diff
changeset
|
1180 |
false_action_str, candidates->num_remaining(), reclaimable_bytes, reclaimable_percent, G1HeapWastePercent); |
38076 | 1181 |
return false; |
1182 |
} |
|
1183 |
log_debug(gc, ergo)("%s (candidate old regions available). candidate old regions: %u reclaimable: " SIZE_FORMAT " (%1.2f) threshold: " UINTX_FORMAT, |
|
53703
24341625d8f2
8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents:
53116
diff
changeset
|
1184 |
true_action_str, candidates->num_remaining(), reclaimable_bytes, reclaimable_percent, G1HeapWastePercent); |
38076 | 1185 |
return true; |
1186 |
} |
|
1187 |
||
49375 | 1188 |
uint G1Policy::calc_min_old_cset_length() const { |
38076 | 1189 |
// The min old CSet region bound is based on the maximum desired |
1190 |
// number of mixed GCs after a cycle. I.e., even if some old regions |
|
1191 |
// look expensive, we should add them to the CSet anyway to make |
|
1192 |
// sure we go through the available old regions in no more than the |
|
1193 |
// maximum desired number of mixed GCs. |
|
1194 |
// |
|
1195 |
// The calculation is based on the number of marked regions we added |
|
53703
24341625d8f2
8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents:
53116
diff
changeset
|
1196 |
// to the CSet candidates in the first place, not how many remain, so |
38076 | 1197 |
// that the result is the same during all mixed GCs that follow a cycle. |
1198 |
||
53703
24341625d8f2
8217330: Split G1CollectionSetChooser into collection set candidate container and the chooser algorithm
tschatzl
parents:
53116
diff
changeset
|
1199 |
const size_t region_num = _collection_set->candidates()->num_regions(); |
38076 | 1200 |
const size_t gc_num = (size_t) MAX2(G1MixedGCCountTarget, (uintx) 1); |
1201 |
size_t result = region_num / gc_num; |
|
1202 |
// emulate ceiling |
|
1203 |
if (result * gc_num < region_num) { |
|
1204 |
result += 1; |
|
1205 |
} |
|
1206 |
return (uint) result; |
|
1207 |
} |
|
1208 |
||
49375 | 1209 |
uint G1Policy::calc_max_old_cset_length() const { |
38076 | 1210 |
// The max old CSet region bound is based on the threshold expressed |
1211 |
// as a percentage of the heap size. I.e., it should bound the |
|
1212 |
// number of old regions added to the CSet irrespective of how many |
|
1213 |
// of them are available. |
|
1214 |
||
1215 |
const G1CollectedHeap* g1h = G1CollectedHeap::heap(); |
|
1216 |
const size_t region_num = g1h->num_regions(); |
|
1217 |
const size_t perc = (size_t) G1OldCSetRegionThresholdPercent; |
|
1218 |
size_t result = region_num * perc / 100; |
|
1219 |
// emulate ceiling |
|
1220 |
if (100 * result < region_num * perc) { |
|
1221 |
result += 1; |
|
1222 |
} |
|
1223 |
return (uint) result; |
|
1224 |
} |
|
1225 |
||
54465
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1226 |
void G1Policy::calculate_old_collection_set_regions(G1CollectionSetCandidates* candidates, |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1227 |
double time_remaining_ms, |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1228 |
uint& num_initial_regions, |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1229 |
uint& num_optional_regions) { |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1230 |
assert(candidates != NULL, "Must be"); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1231 |
|
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1232 |
num_initial_regions = 0; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1233 |
num_optional_regions = 0; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1234 |
uint num_expensive_regions = 0; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1235 |
|
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1236 |
double predicted_old_time_ms = 0.0; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1237 |
double predicted_initial_time_ms = 0.0; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1238 |
double predicted_optional_time_ms = 0.0; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1239 |
|
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1240 |
double optional_threshold_ms = time_remaining_ms * optional_prediction_fraction(); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1241 |
|
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1242 |
const uint min_old_cset_length = calc_min_old_cset_length(); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1243 |
const uint max_old_cset_length = MAX2(min_old_cset_length, calc_max_old_cset_length()); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1244 |
const uint max_optional_regions = max_old_cset_length - min_old_cset_length; |
54466
58751415d5f8
8222105: Add "use_" prefix to G1Policy::adaptive_young_list_length
tschatzl
parents:
54465
diff
changeset
|
1245 |
bool check_time_remaining = use_adaptive_young_list_length(); |
54465
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1246 |
|
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1247 |
uint candidate_idx = candidates->cur_idx(); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1248 |
|
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1249 |
log_debug(gc, ergo, cset)("Start adding old regions to collection set. Min %u regions, max %u regions, " |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1250 |
"time remaining %1.2fms, optional threshold %1.2fms", |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1251 |
min_old_cset_length, max_old_cset_length, time_remaining_ms, optional_threshold_ms); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1252 |
|
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1253 |
HeapRegion* hr = candidates->at(candidate_idx); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1254 |
while (hr != NULL) { |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1255 |
if (num_initial_regions + num_optional_regions >= max_old_cset_length) { |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1256 |
// Added maximum number of old regions to the CSet. |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1257 |
log_debug(gc, ergo, cset)("Finish adding old regions to collection set (Maximum number of regions). " |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1258 |
"Initial %u regions, optional %u regions", |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1259 |
num_initial_regions, num_optional_regions); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1260 |
break; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1261 |
} |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1262 |
|
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1263 |
// Stop adding regions if the remaining reclaimable space is |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1264 |
// not above G1HeapWastePercent. |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1265 |
size_t reclaimable_bytes = candidates->remaining_reclaimable_bytes(); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1266 |
double reclaimable_percent = reclaimable_bytes_percent(reclaimable_bytes); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1267 |
double threshold = (double) G1HeapWastePercent; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1268 |
if (reclaimable_percent <= threshold) { |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1269 |
// We've added enough old regions that the amount of uncollected |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1270 |
// reclaimable space is at or below the waste threshold. Stop |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1271 |
// adding old regions to the CSet. |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1272 |
log_debug(gc, ergo, cset)("Finish adding old regions to collection set (Reclaimable percentage below threshold). " |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1273 |
"Reclaimable: " SIZE_FORMAT "%s (%1.2f%%) threshold: " UINTX_FORMAT "%%", |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1274 |
byte_size_in_proper_unit(reclaimable_bytes), proper_unit_for_byte_size(reclaimable_bytes), |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1275 |
reclaimable_percent, G1HeapWastePercent); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1276 |
break; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1277 |
} |
54262
1f9ad92e337b
8219100: Improve do_collection_pause_at_safepoint
tschatzl
parents:
53987
diff
changeset
|
1278 |
|
54465
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1279 |
double predicted_time_ms = predict_region_elapsed_time_ms(hr, false); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1280 |
time_remaining_ms = MAX2(time_remaining_ms - predicted_time_ms, 0.0); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1281 |
// Add regions to old set until we reach the minimum amount |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1282 |
if (num_initial_regions < min_old_cset_length) { |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1283 |
predicted_old_time_ms += predicted_time_ms; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1284 |
num_initial_regions++; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1285 |
// Record the number of regions added with no time remaining |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1286 |
if (time_remaining_ms == 0.0) { |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1287 |
num_expensive_regions++; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1288 |
} |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1289 |
} else if (!check_time_remaining) { |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1290 |
// In the non-auto-tuning case, we'll finish adding regions |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1291 |
// to the CSet if we reach the minimum. |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1292 |
log_debug(gc, ergo, cset)("Finish adding old regions to collection set (Region amount reached min)."); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1293 |
break; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1294 |
} else { |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1295 |
// Keep adding regions to old set until we reach the optional threshold |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1296 |
if (time_remaining_ms > optional_threshold_ms) { |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1297 |
predicted_old_time_ms += predicted_time_ms; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1298 |
num_initial_regions++; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1299 |
} else if (time_remaining_ms > 0) { |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1300 |
// Keep adding optional regions until time is up. |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1301 |
assert(num_optional_regions < max_optional_regions, "Should not be possible."); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1302 |
predicted_optional_time_ms += predicted_time_ms; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1303 |
num_optional_regions++; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1304 |
} else { |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1305 |
log_debug(gc, ergo, cset)("Finish adding old regions to collection set (Predicted time too high)."); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1306 |
break; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1307 |
} |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1308 |
} |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1309 |
hr = candidates->at(++candidate_idx); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1310 |
} |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1311 |
if (hr == NULL) { |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1312 |
log_debug(gc, ergo, cset)("Old candidate collection set empty."); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1313 |
} |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1314 |
|
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1315 |
if (num_expensive_regions > 0) { |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1316 |
log_debug(gc, ergo, cset)("Added %u initial old regions to collection set although the predicted time was too high.", |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1317 |
num_expensive_regions); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1318 |
} |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1319 |
|
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1320 |
log_debug(gc, ergo, cset)("Finish choosing collection set old regions. Initial: %u, optional: %u, " |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1321 |
"predicted old time: %1.2fms, predicted optional time: %1.2fms, time remaining: %1.2f", |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1322 |
num_initial_regions, num_optional_regions, |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1323 |
predicted_initial_time_ms, predicted_optional_time_ms, time_remaining_ms); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1324 |
} |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1325 |
|
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1326 |
void G1Policy::calculate_optional_collection_set_regions(G1CollectionSetCandidates* candidates, |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1327 |
uint const max_optional_regions, |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1328 |
double time_remaining_ms, |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1329 |
uint& num_optional_regions) { |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1330 |
assert(_g1h->collector_state()->in_mixed_phase(), "Should only be called in mixed phase"); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1331 |
|
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1332 |
num_optional_regions = 0; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1333 |
double prediction_ms = 0; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1334 |
uint candidate_idx = candidates->cur_idx(); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1335 |
|
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1336 |
HeapRegion* r = candidates->at(candidate_idx); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1337 |
while (num_optional_regions < max_optional_regions) { |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1338 |
assert(r != NULL, "Region must exist"); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1339 |
prediction_ms += predict_region_elapsed_time_ms(r, false); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1340 |
|
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1341 |
if (prediction_ms > time_remaining_ms) { |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1342 |
log_debug(gc, ergo, cset)("Prediction %.3fms for region %u does not fit remaining time: %.3fms.", |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1343 |
prediction_ms, r->hrm_index(), time_remaining_ms); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1344 |
break; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1345 |
} |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1346 |
// This region will be included in the next optional evacuation. |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1347 |
|
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1348 |
time_remaining_ms -= prediction_ms; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1349 |
num_optional_regions++; |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1350 |
r = candidates->at(++candidate_idx); |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1351 |
} |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1352 |
|
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1353 |
log_debug(gc, ergo, cset)("Prepared %u regions out of %u for optional evacuation. Predicted time: %.3fms", |
c4f16445675a
8218668: Clean up evacuation of optional collection set
tschatzl
parents:
54262
diff
changeset
|
1354 |
num_optional_regions, max_optional_regions, prediction_ms); |
38076 | 1355 |
} |
38183
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1356 |
|
49375 | 1357 |
void G1Policy::transfer_survivors_to_cset(const G1SurvivorRegions* survivors) { |
38183
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1358 |
|
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1359 |
// Add survivor regions to SurvRateGroup. |
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1360 |
note_start_adding_survivor_regions(); |
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1361 |
finished_recalculating_age_indexes(true /* is_survivors */); |
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1362 |
|
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1363 |
HeapRegion* last = NULL; |
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1364 |
for (GrowableArrayIterator<HeapRegion*> it = survivors->regions()->begin(); |
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1365 |
it != survivors->regions()->end(); |
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1366 |
++it) { |
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1367 |
HeapRegion* curr = *it; |
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1368 |
set_region_survivor(curr); |
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1369 |
|
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1370 |
// The region is a non-empty survivor so let's add it to |
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1371 |
// the incremental collection set for the next evacuation |
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1372 |
// pause. |
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1373 |
_collection_set->add_survivor_regions(curr); |
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1374 |
|
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1375 |
last = curr; |
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1376 |
} |
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1377 |
note_stop_adding_survivor_regions(); |
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1378 |
|
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1379 |
// Don't clear the survivor list handles until the start of |
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1380 |
// the next evacuation pause - we need it in order to re-tag |
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1381 |
// the survivor regions from this evacuation pause as 'young' |
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1382 |
// at the start of the next. |
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1383 |
|
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1384 |
finished_recalculating_age_indexes(false /* is_survivors */); |
cb68e4923223
8150721: Don't explicitly manage G1 young regions in YoungList
mgerdin
parents:
38172
diff
changeset
|
1385 |
} |