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