Mercurial > hg > graal-jvmci-8
annotate src/share/vm/gc_implementation/g1/g1CollectorPolicy.hpp @ 3914:20213c8a3c40
7050392: G1: Introduce flag to generate a log of the G1 ergonomic decisions
Summary: It introduces ergonomic decision logging in G1 for the following heuristics: heap sizing, collection set construction, concurrent cycle initiation, and partially-young GC start/end. The code has a bit of refactoring in a few places to make the decision logging possible. It also replaces alternative ad-hoc logging that we have under different parameters and switches (G1_DEBUG, G1PolicyVerbose).
Reviewed-by: johnc, ysr
author | tonyp |
---|---|
date | Wed, 07 Sep 2011 12:21:23 -0400 |
parents | ae73da50be4b |
children | 4f41766176cf |
rev | line source |
---|---|
342 | 1 /* |
3830
f44782f04dd4
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
3823
diff
changeset
|
2 * Copyright (c) 2001, 2011, Oracle and/or its affiliates. All rights reserved. |
342 | 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * | |
5 * This code is free software; you can redistribute it and/or modify it | |
6 * under the terms of the GNU General Public License version 2 only, as | |
7 * published by the Free Software Foundation. | |
8 * | |
9 * This code is distributed in the hope that it will be useful, but WITHOUT | |
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
12 * version 2 for more details (a copy is included in the LICENSE file that | |
13 * accompanied this code). | |
14 * | |
15 * You should have received a copy of the GNU General Public License version | |
16 * 2 along with this work; if not, write to the Free Software Foundation, | |
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
18 * | |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1394
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1394
diff
changeset
|
20 * or visit www.oracle.com if you need additional information or have any |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1394
diff
changeset
|
21 * questions. |
342 | 22 * |
23 */ | |
24 | |
1972 | 25 #ifndef SHARE_VM_GC_IMPLEMENTATION_G1_G1COLLECTORPOLICY_HPP |
26 #define SHARE_VM_GC_IMPLEMENTATION_G1_G1COLLECTORPOLICY_HPP | |
27 | |
28 #include "gc_implementation/g1/collectionSetChooser.hpp" | |
29 #include "gc_implementation/g1/g1MMUTracker.hpp" | |
30 #include "memory/collectorPolicy.hpp" | |
31 | |
342 | 32 // A G1CollectorPolicy makes policy decisions that determine the |
33 // characteristics of the collector. Examples include: | |
34 // * choice of collection set. | |
35 // * when to collect. | |
36 | |
37 class HeapRegion; | |
38 class CollectionSetChooser; | |
39 | |
40 // Yes, this is a bit unpleasant... but it saves replicating the same thing | |
41 // over and over again and introducing subtle problems through small typos and | |
42 // cutting and pasting mistakes. The macros below introduces a number | |
43 // sequnce into the following two classes and the methods that access it. | |
44 | |
45 #define define_num_seq(name) \ | |
46 private: \ | |
47 NumberSeq _all_##name##_times_ms; \ | |
48 public: \ | |
49 void record_##name##_time_ms(double ms) { \ | |
50 _all_##name##_times_ms.add(ms); \ | |
51 } \ | |
52 NumberSeq* get_##name##_seq() { \ | |
53 return &_all_##name##_times_ms; \ | |
54 } | |
55 | |
56 class MainBodySummary; | |
57 | |
549
fe3d7c11b4b7
6700941: G1: allocation spec missing for some G1 classes
apetrusenko
parents:
545
diff
changeset
|
58 class PauseSummary: public CHeapObj { |
342 | 59 define_num_seq(total) |
60 define_num_seq(other) | |
61 | |
62 public: | |
63 virtual MainBodySummary* main_body_summary() { return NULL; } | |
64 }; | |
65 | |
549
fe3d7c11b4b7
6700941: G1: allocation spec missing for some G1 classes
apetrusenko
parents:
545
diff
changeset
|
66 class MainBodySummary: public CHeapObj { |
342 | 67 define_num_seq(satb_drain) // optional |
68 define_num_seq(parallel) // parallel only | |
69 define_num_seq(ext_root_scan) | |
70 define_num_seq(mark_stack_scan) | |
71 define_num_seq(update_rs) | |
72 define_num_seq(scan_rs) | |
73 define_num_seq(obj_copy) | |
74 define_num_seq(termination) // parallel only | |
75 define_num_seq(parallel_other) // parallel only | |
76 define_num_seq(mark_closure) | |
77 define_num_seq(clear_ct) // parallel only | |
78 }; | |
79 | |
677 | 80 class Summary: public PauseSummary, |
81 public MainBodySummary { | |
342 | 82 public: |
83 virtual MainBodySummary* main_body_summary() { return this; } | |
84 }; | |
85 | |
86 class G1CollectorPolicy: public CollectorPolicy { | |
87 protected: | |
88 // The number of pauses during the execution. | |
89 long _n_pauses; | |
90 | |
91 // either equal to the number of parallel threads, if ParallelGCThreads | |
92 // has been set, or 1 otherwise | |
93 int _parallel_gc_threads; | |
94 | |
95 enum SomePrivateConstants { | |
942
2c79770d1f6e
6819085: G1: use larger and/or user settable region size
tonyp
parents:
936
diff
changeset
|
96 NumPrevPausesForHeuristics = 10 |
342 | 97 }; |
98 | |
99 G1MMUTracker* _mmu_tracker; | |
100 | |
101 void initialize_flags(); | |
102 | |
103 void initialize_all() { | |
104 initialize_flags(); | |
105 initialize_size_info(); | |
106 initialize_perm_generation(PermGen::MarkSweepCompact); | |
107 } | |
108 | |
109 virtual size_t default_init_heap_size() { | |
110 // Pick some reasonable default. | |
111 return 8*M; | |
112 } | |
113 | |
114 double _cur_collection_start_sec; | |
115 size_t _cur_collection_pause_used_at_start_bytes; | |
116 size_t _cur_collection_pause_used_regions_at_start; | |
117 size_t _prev_collection_pause_used_at_end_bytes; | |
118 double _cur_collection_par_time_ms; | |
119 double _cur_satb_drain_time_ms; | |
120 double _cur_clear_ct_time_ms; | |
121 bool _satb_drain_time_set; | |
122 | |
890
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
838
diff
changeset
|
123 #ifndef PRODUCT |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
838
diff
changeset
|
124 // Card Table Count Cache stats |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
838
diff
changeset
|
125 double _min_clear_cc_time_ms; // min |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
838
diff
changeset
|
126 double _max_clear_cc_time_ms; // max |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
838
diff
changeset
|
127 double _cur_clear_cc_time_ms; // clearing time during current pause |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
838
diff
changeset
|
128 double _cum_clear_cc_time_ms; // cummulative clearing time |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
838
diff
changeset
|
129 jlong _num_cc_clears; // number of times the card count cache has been cleared |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
838
diff
changeset
|
130 #endif |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
838
diff
changeset
|
131 |
3823
14a2fd14c0db
7068240: G1: Long "parallel other time" and "ext root scanning" when running specific benchmark
johnc
parents:
3764
diff
changeset
|
132 // Statistics for recent GC pauses. See below for how indexed. |
14a2fd14c0db
7068240: G1: Long "parallel other time" and "ext root scanning" when running specific benchmark
johnc
parents:
3764
diff
changeset
|
133 TruncatedSeq* _recent_rs_scan_times_ms; |
342 | 134 |
135 // These exclude marking times. | |
136 TruncatedSeq* _recent_pause_times_ms; | |
137 TruncatedSeq* _recent_gc_times_ms; | |
138 | |
139 TruncatedSeq* _recent_CS_bytes_used_before; | |
140 TruncatedSeq* _recent_CS_bytes_surviving; | |
141 | |
142 TruncatedSeq* _recent_rs_sizes; | |
143 | |
144 TruncatedSeq* _concurrent_mark_remark_times_ms; | |
145 TruncatedSeq* _concurrent_mark_cleanup_times_ms; | |
146 | |
677 | 147 Summary* _summary; |
342 | 148 |
149 NumberSeq* _all_pause_times_ms; | |
150 NumberSeq* _all_full_gc_times_ms; | |
151 double _stop_world_start; | |
152 NumberSeq* _all_stop_world_times_ms; | |
153 NumberSeq* _all_yield_times_ms; | |
154 | |
155 size_t _region_num_young; | |
156 size_t _region_num_tenured; | |
157 size_t _prev_region_num_young; | |
158 size_t _prev_region_num_tenured; | |
159 | |
160 NumberSeq* _all_mod_union_times_ms; | |
161 | |
162 int _aux_num; | |
163 NumberSeq* _all_aux_times_ms; | |
164 double* _cur_aux_start_times_ms; | |
165 double* _cur_aux_times_ms; | |
166 bool* _cur_aux_times_set; | |
167 | |
1611 | 168 double* _par_last_gc_worker_start_times_ms; |
342 | 169 double* _par_last_ext_root_scan_times_ms; |
170 double* _par_last_mark_stack_scan_times_ms; | |
171 double* _par_last_update_rs_times_ms; | |
172 double* _par_last_update_rs_processed_buffers; | |
173 double* _par_last_scan_rs_times_ms; | |
174 double* _par_last_obj_copy_times_ms; | |
175 double* _par_last_termination_times_ms; | |
1611 | 176 double* _par_last_termination_attempts; |
177 double* _par_last_gc_worker_end_times_ms; | |
2430 | 178 double* _par_last_gc_worker_times_ms; |
342 | 179 |
180 // indicates whether we are in full young or partially young GC mode | |
181 bool _full_young_gcs; | |
182 | |
183 // if true, then it tries to dynamically adjust the length of the | |
184 // young list | |
185 bool _adaptive_young_list_length; | |
186 size_t _young_list_min_length; | |
187 size_t _young_list_target_length; | |
188 size_t _young_list_fixed_length; | |
189 | |
1991
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
190 // The max number of regions we can extend the eden by while the GC |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
191 // locker is active. This should be >= _young_list_target_length; |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
192 size_t _young_list_max_length; |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
193 |
342 | 194 size_t _young_cset_length; |
195 bool _last_young_gc_full; | |
196 | |
197 unsigned _full_young_pause_num; | |
198 unsigned _partial_young_pause_num; | |
199 | |
200 bool _during_marking; | |
201 bool _in_marking_window; | |
202 bool _in_marking_window_im; | |
203 | |
204 SurvRateGroup* _short_lived_surv_rate_group; | |
205 SurvRateGroup* _survivor_surv_rate_group; | |
206 // add here any more surv rate groups | |
207 | |
1356 | 208 double _gc_overhead_perc; |
209 | |
342 | 210 bool during_marking() { |
211 return _during_marking; | |
212 } | |
213 | |
214 // <NEW PREDICTION> | |
215 | |
216 private: | |
217 enum PredictionConstants { | |
218 TruncatedSeqLength = 10 | |
219 }; | |
220 | |
221 TruncatedSeq* _alloc_rate_ms_seq; | |
222 double _prev_collection_pause_end_ms; | |
223 | |
224 TruncatedSeq* _pending_card_diff_seq; | |
225 TruncatedSeq* _rs_length_diff_seq; | |
226 TruncatedSeq* _cost_per_card_ms_seq; | |
227 TruncatedSeq* _fully_young_cards_per_entry_ratio_seq; | |
228 TruncatedSeq* _partially_young_cards_per_entry_ratio_seq; | |
229 TruncatedSeq* _cost_per_entry_ms_seq; | |
230 TruncatedSeq* _partially_young_cost_per_entry_ms_seq; | |
231 TruncatedSeq* _cost_per_byte_ms_seq; | |
232 TruncatedSeq* _constant_other_time_ms_seq; | |
233 TruncatedSeq* _young_other_cost_per_region_ms_seq; | |
234 TruncatedSeq* _non_young_other_cost_per_region_ms_seq; | |
235 | |
236 TruncatedSeq* _pending_cards_seq; | |
237 TruncatedSeq* _scanned_cards_seq; | |
238 TruncatedSeq* _rs_lengths_seq; | |
239 | |
240 TruncatedSeq* _cost_per_byte_ms_during_cm_seq; | |
241 | |
242 TruncatedSeq* _young_gc_eff_seq; | |
243 | |
244 TruncatedSeq* _max_conc_overhead_seq; | |
245 | |
246 size_t _recorded_young_regions; | |
247 size_t _recorded_non_young_regions; | |
248 size_t _recorded_region_num; | |
249 | |
250 size_t _free_regions_at_end_of_collection; | |
251 | |
252 size_t _recorded_rs_lengths; | |
253 size_t _max_rs_lengths; | |
254 | |
255 size_t _recorded_marked_bytes; | |
256 size_t _recorded_young_bytes; | |
257 | |
258 size_t _predicted_pending_cards; | |
259 size_t _predicted_cards_scanned; | |
260 size_t _predicted_rs_lengths; | |
261 size_t _predicted_bytes_to_copy; | |
262 | |
263 double _predicted_survival_ratio; | |
264 double _predicted_rs_update_time_ms; | |
265 double _predicted_rs_scan_time_ms; | |
266 double _predicted_object_copy_time_ms; | |
267 double _predicted_constant_other_time_ms; | |
268 double _predicted_young_other_time_ms; | |
269 double _predicted_non_young_other_time_ms; | |
270 double _predicted_pause_time_ms; | |
271 | |
272 double _vtime_diff_ms; | |
273 | |
274 double _recorded_young_free_cset_time_ms; | |
275 double _recorded_non_young_free_cset_time_ms; | |
276 | |
277 double _sigma; | |
278 double _expensive_region_limit_ms; | |
279 | |
280 size_t _rs_lengths_prediction; | |
281 | |
282 size_t _known_garbage_bytes; | |
283 double _known_garbage_ratio; | |
284 | |
285 double sigma() { | |
286 return _sigma; | |
287 } | |
288 | |
289 // A function that prevents us putting too much stock in small sample | |
290 // sets. Returns a number between 2.0 and 1.0, depending on the number | |
291 // of samples. 5 or more samples yields one; fewer scales linearly from | |
292 // 2.0 at 1 sample to 1.0 at 5. | |
293 double confidence_factor(int samples) { | |
294 if (samples > 4) return 1.0; | |
295 else return 1.0 + sigma() * ((double)(5 - samples))/2.0; | |
296 } | |
297 | |
298 double get_new_neg_prediction(TruncatedSeq* seq) { | |
299 return seq->davg() - sigma() * seq->dsd(); | |
300 } | |
301 | |
302 #ifndef PRODUCT | |
303 bool verify_young_ages(HeapRegion* head, SurvRateGroup *surv_rate_group); | |
304 #endif // PRODUCT | |
305 | |
1111 | 306 void adjust_concurrent_refinement(double update_rs_time, |
307 double update_rs_processed_buffers, | |
308 double goal_ms); | |
309 | |
342 | 310 protected: |
311 double _pause_time_target_ms; | |
312 double _recorded_young_cset_choice_time_ms; | |
313 double _recorded_non_young_cset_choice_time_ms; | |
314 bool _within_target; | |
315 size_t _pending_cards; | |
316 size_t _max_pending_cards; | |
317 | |
318 public: | |
319 | |
320 void set_region_short_lived(HeapRegion* hr) { | |
321 hr->install_surv_rate_group(_short_lived_surv_rate_group); | |
322 } | |
323 | |
324 void set_region_survivors(HeapRegion* hr) { | |
325 hr->install_surv_rate_group(_survivor_surv_rate_group); | |
326 } | |
327 | |
328 #ifndef PRODUCT | |
329 bool verify_young_ages(); | |
330 #endif // PRODUCT | |
331 | |
332 double get_new_prediction(TruncatedSeq* seq) { | |
333 return MAX2(seq->davg() + sigma() * seq->dsd(), | |
334 seq->davg() * confidence_factor(seq->num())); | |
335 } | |
336 | |
337 size_t young_cset_length() { | |
338 return _young_cset_length; | |
339 } | |
340 | |
341 void record_max_rs_lengths(size_t rs_lengths) { | |
342 _max_rs_lengths = rs_lengths; | |
343 } | |
344 | |
345 size_t predict_pending_card_diff() { | |
346 double prediction = get_new_neg_prediction(_pending_card_diff_seq); | |
347 if (prediction < 0.00001) | |
348 return 0; | |
349 else | |
350 return (size_t) prediction; | |
351 } | |
352 | |
353 size_t predict_pending_cards() { | |
354 size_t max_pending_card_num = _g1->max_pending_card_num(); | |
355 size_t diff = predict_pending_card_diff(); | |
356 size_t prediction; | |
357 if (diff > max_pending_card_num) | |
358 prediction = max_pending_card_num; | |
359 else | |
360 prediction = max_pending_card_num - diff; | |
361 | |
362 return prediction; | |
363 } | |
364 | |
365 size_t predict_rs_length_diff() { | |
366 return (size_t) get_new_prediction(_rs_length_diff_seq); | |
367 } | |
368 | |
369 double predict_alloc_rate_ms() { | |
370 return get_new_prediction(_alloc_rate_ms_seq); | |
371 } | |
372 | |
373 double predict_cost_per_card_ms() { | |
374 return get_new_prediction(_cost_per_card_ms_seq); | |
375 } | |
376 | |
377 double predict_rs_update_time_ms(size_t pending_cards) { | |
378 return (double) pending_cards * predict_cost_per_card_ms(); | |
379 } | |
380 | |
381 double predict_fully_young_cards_per_entry_ratio() { | |
382 return get_new_prediction(_fully_young_cards_per_entry_ratio_seq); | |
383 } | |
384 | |
385 double predict_partially_young_cards_per_entry_ratio() { | |
386 if (_partially_young_cards_per_entry_ratio_seq->num() < 2) | |
387 return predict_fully_young_cards_per_entry_ratio(); | |
388 else | |
389 return get_new_prediction(_partially_young_cards_per_entry_ratio_seq); | |
390 } | |
391 | |
392 size_t predict_young_card_num(size_t rs_length) { | |
393 return (size_t) ((double) rs_length * | |
394 predict_fully_young_cards_per_entry_ratio()); | |
395 } | |
396 | |
397 size_t predict_non_young_card_num(size_t rs_length) { | |
398 return (size_t) ((double) rs_length * | |
399 predict_partially_young_cards_per_entry_ratio()); | |
400 } | |
401 | |
402 double predict_rs_scan_time_ms(size_t card_num) { | |
403 if (full_young_gcs()) | |
404 return (double) card_num * get_new_prediction(_cost_per_entry_ms_seq); | |
405 else | |
406 return predict_partially_young_rs_scan_time_ms(card_num); | |
407 } | |
408 | |
409 double predict_partially_young_rs_scan_time_ms(size_t card_num) { | |
410 if (_partially_young_cost_per_entry_ms_seq->num() < 3) | |
411 return (double) card_num * get_new_prediction(_cost_per_entry_ms_seq); | |
412 else | |
413 return (double) card_num * | |
414 get_new_prediction(_partially_young_cost_per_entry_ms_seq); | |
415 } | |
416 | |
417 double predict_object_copy_time_ms_during_cm(size_t bytes_to_copy) { | |
418 if (_cost_per_byte_ms_during_cm_seq->num() < 3) | |
419 return 1.1 * (double) bytes_to_copy * | |
420 get_new_prediction(_cost_per_byte_ms_seq); | |
421 else | |
422 return (double) bytes_to_copy * | |
423 get_new_prediction(_cost_per_byte_ms_during_cm_seq); | |
424 } | |
425 | |
426 double predict_object_copy_time_ms(size_t bytes_to_copy) { | |
427 if (_in_marking_window && !_in_marking_window_im) | |
428 return predict_object_copy_time_ms_during_cm(bytes_to_copy); | |
429 else | |
430 return (double) bytes_to_copy * | |
431 get_new_prediction(_cost_per_byte_ms_seq); | |
432 } | |
433 | |
434 double predict_constant_other_time_ms() { | |
435 return get_new_prediction(_constant_other_time_ms_seq); | |
436 } | |
437 | |
438 double predict_young_other_time_ms(size_t young_num) { | |
439 return | |
440 (double) young_num * | |
441 get_new_prediction(_young_other_cost_per_region_ms_seq); | |
442 } | |
443 | |
444 double predict_non_young_other_time_ms(size_t non_young_num) { | |
445 return | |
446 (double) non_young_num * | |
447 get_new_prediction(_non_young_other_cost_per_region_ms_seq); | |
448 } | |
449 | |
450 void check_if_region_is_too_expensive(double predicted_time_ms); | |
451 | |
452 double predict_young_collection_elapsed_time_ms(size_t adjustment); | |
453 double predict_base_elapsed_time_ms(size_t pending_cards); | |
454 double predict_base_elapsed_time_ms(size_t pending_cards, | |
455 size_t scanned_cards); | |
456 size_t predict_bytes_to_copy(HeapRegion* hr); | |
457 double predict_region_elapsed_time_ms(HeapRegion* hr, bool young); | |
458 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
459 // for use by: calculate_young_list_target_length(rs_length) |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
460 bool predict_will_fit(size_t young_region_num, |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
461 double base_time_ms, |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
462 size_t init_free_regions, |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
463 double target_pause_time_ms); |
342 | 464 |
465 void start_recording_regions(); | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
466 void record_cset_region_info(HeapRegion* hr, bool young); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
467 void record_non_young_cset_region(HeapRegion* hr); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
468 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
469 void set_recorded_young_regions(size_t n_regions); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
470 void set_recorded_young_bytes(size_t bytes); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
471 void set_recorded_rs_lengths(size_t rs_lengths); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
472 void set_predicted_bytes_to_copy(size_t bytes); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
473 |
342 | 474 void end_recording_regions(); |
475 | |
476 void record_vtime_diff_ms(double vtime_diff_ms) { | |
477 _vtime_diff_ms = vtime_diff_ms; | |
478 } | |
479 | |
480 void record_young_free_cset_time_ms(double time_ms) { | |
481 _recorded_young_free_cset_time_ms = time_ms; | |
482 } | |
483 | |
484 void record_non_young_free_cset_time_ms(double time_ms) { | |
485 _recorded_non_young_free_cset_time_ms = time_ms; | |
486 } | |
487 | |
488 double predict_young_gc_eff() { | |
489 return get_new_neg_prediction(_young_gc_eff_seq); | |
490 } | |
491 | |
545 | 492 double predict_survivor_regions_evac_time(); |
493 | |
342 | 494 // </NEW PREDICTION> |
495 | |
496 void cset_regions_freed() { | |
497 bool propagate = _last_young_gc_full && !_in_marking_window; | |
498 _short_lived_surv_rate_group->all_surviving_words_recorded(propagate); | |
499 _survivor_surv_rate_group->all_surviving_words_recorded(propagate); | |
500 // also call it on any more surv rate groups | |
501 } | |
502 | |
503 void set_known_garbage_bytes(size_t known_garbage_bytes) { | |
504 _known_garbage_bytes = known_garbage_bytes; | |
505 size_t heap_bytes = _g1->capacity(); | |
506 _known_garbage_ratio = (double) _known_garbage_bytes / (double) heap_bytes; | |
507 } | |
508 | |
509 void decrease_known_garbage_bytes(size_t known_garbage_bytes) { | |
510 guarantee( _known_garbage_bytes >= known_garbage_bytes, "invariant" ); | |
511 | |
512 _known_garbage_bytes -= known_garbage_bytes; | |
513 size_t heap_bytes = _g1->capacity(); | |
514 _known_garbage_ratio = (double) _known_garbage_bytes / (double) heap_bytes; | |
515 } | |
516 | |
517 G1MMUTracker* mmu_tracker() { | |
518 return _mmu_tracker; | |
519 } | |
520 | |
1656
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
521 double max_pause_time_ms() { |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
522 return _mmu_tracker->max_gc_time() * 1000.0; |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
523 } |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
524 |
342 | 525 double predict_remark_time_ms() { |
526 return get_new_prediction(_concurrent_mark_remark_times_ms); | |
527 } | |
528 | |
529 double predict_cleanup_time_ms() { | |
530 return get_new_prediction(_concurrent_mark_cleanup_times_ms); | |
531 } | |
532 | |
533 // Returns an estimate of the survival rate of the region at yg-age | |
534 // "yg_age". | |
545 | 535 double predict_yg_surv_rate(int age, SurvRateGroup* surv_rate_group) { |
536 TruncatedSeq* seq = surv_rate_group->get_seq(age); | |
342 | 537 if (seq->num() == 0) |
538 gclog_or_tty->print("BARF! age is %d", age); | |
539 guarantee( seq->num() > 0, "invariant" ); | |
540 double pred = get_new_prediction(seq); | |
541 if (pred > 1.0) | |
542 pred = 1.0; | |
543 return pred; | |
544 } | |
545 | |
545 | 546 double predict_yg_surv_rate(int age) { |
547 return predict_yg_surv_rate(age, _short_lived_surv_rate_group); | |
548 } | |
549 | |
342 | 550 double accum_yg_surv_rate_pred(int age) { |
551 return _short_lived_surv_rate_group->accum_surv_rate_pred(age); | |
552 } | |
553 | |
554 protected: | |
1611 | 555 void print_stats(int level, const char* str, double value); |
556 void print_stats(int level, const char* str, int value); | |
557 | |
2430 | 558 void print_par_stats(int level, const char* str, double* data); |
559 void print_par_sizes(int level, const char* str, double* data); | |
342 | 560 |
561 void check_other_times(int level, | |
562 NumberSeq* other_times_ms, | |
563 NumberSeq* calc_other_times_ms) const; | |
564 | |
565 void print_summary (PauseSummary* stats) const; | |
566 | |
567 void print_summary (int level, const char* str, NumberSeq* seq) const; | |
568 void print_summary_sd (int level, const char* str, NumberSeq* seq) const; | |
569 | |
570 double avg_value (double* data); | |
571 double max_value (double* data); | |
572 double sum_of_values (double* data); | |
573 double max_sum (double* data1, double* data2); | |
574 | |
575 int _last_satb_drain_processed_buffers; | |
576 int _last_update_rs_processed_buffers; | |
577 double _last_pause_time_ms; | |
578 | |
579 size_t _bytes_in_collection_set_before_gc; | |
3830
f44782f04dd4
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
3823
diff
changeset
|
580 size_t _bytes_copied_during_gc; |
f44782f04dd4
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
3823
diff
changeset
|
581 |
342 | 582 // Used to count used bytes in CS. |
583 friend class CountCSClosure; | |
584 | |
585 // Statistics kept per GC stoppage, pause or full. | |
586 TruncatedSeq* _recent_prev_end_times_for_all_gcs_sec; | |
587 | |
588 // We track markings. | |
589 int _num_markings; | |
590 double _mark_thread_startup_sec; // Time at startup of marking thread | |
591 | |
592 // Add a new GC of the given duration and end time to the record. | |
593 void update_recent_gc_times(double end_time_sec, double elapsed_ms); | |
594 | |
595 // The head of the list (via "next_in_collection_set()") representing the | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
596 // current collection set. Set from the incrementally built collection |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
597 // set at the start of the pause. |
342 | 598 HeapRegion* _collection_set; |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
599 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
600 // The number of regions in the collection set. Set from the incrementally |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
601 // built collection set at the start of an evacuation pause. |
342 | 602 size_t _collection_set_size; |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
603 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
604 // The number of bytes in the collection set before the pause. Set from |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
605 // the incrementally built collection set at the start of an evacuation |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
606 // pause. |
342 | 607 size_t _collection_set_bytes_used_before; |
608 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
609 // The associated information that is maintained while the incremental |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
610 // collection set is being built with young regions. Used to populate |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
611 // the recorded info for the evacuation pause. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
612 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
613 enum CSetBuildType { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
614 Active, // We are actively building the collection set |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
615 Inactive // We are not actively building the collection set |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
616 }; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
617 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
618 CSetBuildType _inc_cset_build_state; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
619 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
620 // The head of the incrementally built collection set. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
621 HeapRegion* _inc_cset_head; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
622 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
623 // The tail of the incrementally built collection set. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
624 HeapRegion* _inc_cset_tail; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
625 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
626 // The number of regions in the incrementally built collection set. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
627 // Used to set _collection_set_size at the start of an evacuation |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
628 // pause. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
629 size_t _inc_cset_size; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
630 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
631 // Used as the index in the surving young words structure |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
632 // which tracks the amount of space, for each young region, |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
633 // that survives the pause. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
634 size_t _inc_cset_young_index; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
635 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
636 // The number of bytes in the incrementally built collection set. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
637 // Used to set _collection_set_bytes_used_before at the start of |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
638 // an evacuation pause. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
639 size_t _inc_cset_bytes_used_before; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
640 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
641 // Used to record the highest end of heap region in collection set |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
642 HeapWord* _inc_cset_max_finger; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
643 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
644 // The number of recorded used bytes in the young regions |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
645 // of the collection set. This is the sum of the used() bytes |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
646 // of retired young regions in the collection set. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
647 size_t _inc_cset_recorded_young_bytes; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
648 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
649 // The RSet lengths recorded for regions in the collection set |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
650 // (updated by the periodic sampling of the regions in the |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
651 // young list/collection set). |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
652 size_t _inc_cset_recorded_rs_lengths; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
653 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
654 // The predicted elapsed time it will take to collect the regions |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
655 // in the collection set (updated by the periodic sampling of the |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
656 // regions in the young list/collection set). |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
657 double _inc_cset_predicted_elapsed_time_ms; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
658 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
659 // The predicted bytes to copy for the regions in the collection |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
660 // set (updated by the periodic sampling of the regions in the |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
661 // young list/collection set). |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
662 size_t _inc_cset_predicted_bytes_to_copy; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
663 |
342 | 664 // Info about marking. |
665 int _n_marks; // Sticky at 2, so we know when we've done at least 2. | |
666 | |
667 // The number of collection pauses at the end of the last mark. | |
668 size_t _n_pauses_at_mark_end; | |
669 | |
670 // Stash a pointer to the g1 heap. | |
671 G1CollectedHeap* _g1; | |
672 | |
673 // The average time in ms per collection pause, averaged over recent pauses. | |
674 double recent_avg_time_for_pauses_ms(); | |
675 | |
3823
14a2fd14c0db
7068240: G1: Long "parallel other time" and "ext root scanning" when running specific benchmark
johnc
parents:
3764
diff
changeset
|
676 // The average time in ms for RS scanning, per pause, averaged |
14a2fd14c0db
7068240: G1: Long "parallel other time" and "ext root scanning" when running specific benchmark
johnc
parents:
3764
diff
changeset
|
677 // over recent pauses. (Note the RS scanning time for a pause |
14a2fd14c0db
7068240: G1: Long "parallel other time" and "ext root scanning" when running specific benchmark
johnc
parents:
3764
diff
changeset
|
678 // is itself an average of the RS scanning time for each worker |
14a2fd14c0db
7068240: G1: Long "parallel other time" and "ext root scanning" when running specific benchmark
johnc
parents:
3764
diff
changeset
|
679 // thread.) |
14a2fd14c0db
7068240: G1: Long "parallel other time" and "ext root scanning" when running specific benchmark
johnc
parents:
3764
diff
changeset
|
680 double recent_avg_time_for_rs_scan_ms(); |
342 | 681 |
682 // The number of "recent" GCs recorded in the number sequences | |
683 int number_of_recent_gcs(); | |
684 | |
685 // The average survival ratio, computed by the total number of bytes | |
686 // suriviving / total number of bytes before collection over the last | |
687 // several recent pauses. | |
688 double recent_avg_survival_fraction(); | |
689 // The survival fraction of the most recent pause; if there have been no | |
690 // pauses, returns 1.0. | |
691 double last_survival_fraction(); | |
692 | |
693 // Returns a "conservative" estimate of the recent survival rate, i.e., | |
694 // one that may be higher than "recent_avg_survival_fraction". | |
695 // This is conservative in several ways: | |
696 // If there have been few pauses, it will assume a potential high | |
697 // variance, and err on the side of caution. | |
698 // It puts a lower bound (currently 0.1) on the value it will return. | |
699 // To try to detect phase changes, if the most recent pause ("latest") has a | |
700 // higher-than average ("avg") survival rate, it returns that rate. | |
701 // "work" version is a utility function; young is restricted to young regions. | |
702 double conservative_avg_survival_fraction_work(double avg, | |
703 double latest); | |
704 | |
705 // The arguments are the two sequences that keep track of the number of bytes | |
706 // surviving and the total number of bytes before collection, resp., | |
707 // over the last evereal recent pauses | |
708 // Returns the survival rate for the category in the most recent pause. | |
709 // If there have been no pauses, returns 1.0. | |
710 double last_survival_fraction_work(TruncatedSeq* surviving, | |
711 TruncatedSeq* before); | |
712 | |
713 // The arguments are the two sequences that keep track of the number of bytes | |
714 // surviving and the total number of bytes before collection, resp., | |
715 // over the last several recent pauses | |
716 // Returns the average survival ration over the last several recent pauses | |
717 // If there have been no pauses, return 1.0 | |
718 double recent_avg_survival_fraction_work(TruncatedSeq* surviving, | |
719 TruncatedSeq* before); | |
720 | |
721 double conservative_avg_survival_fraction() { | |
722 double avg = recent_avg_survival_fraction(); | |
723 double latest = last_survival_fraction(); | |
724 return conservative_avg_survival_fraction_work(avg, latest); | |
725 } | |
726 | |
727 // The ratio of gc time to elapsed time, computed over recent pauses. | |
728 double _recent_avg_pause_time_ratio; | |
729 | |
730 double recent_avg_pause_time_ratio() { | |
731 return _recent_avg_pause_time_ratio; | |
732 } | |
733 | |
734 // Number of pauses between concurrent marking. | |
735 size_t _pauses_btwn_concurrent_mark; | |
736 | |
737 size_t _n_marks_since_last_pause; | |
738 | |
1359
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
739 // At the end of a pause we check the heap occupancy and we decide |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
740 // whether we will start a marking cycle during the next pause. If |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
741 // we decide that we want to do that, we will set this parameter to |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
742 // true. So, this parameter will stay true between the end of a |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
743 // pause and the beginning of a subsequent pause (not necessarily |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
744 // the next one, see the comments on the next field) when we decide |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
745 // that we will indeed start a marking cycle and do the initial-mark |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
746 // work. |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
747 volatile bool _initiate_conc_mark_if_possible; |
342 | 748 |
1359
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
749 // If initiate_conc_mark_if_possible() is set at the beginning of a |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
750 // pause, it is a suggestion that the pause should start a marking |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
751 // cycle by doing the initial-mark work. However, it is possible |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
752 // that the concurrent marking thread is still finishing up the |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
753 // previous marking cycle (e.g., clearing the next marking |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
754 // bitmap). If that is the case we cannot start a new cycle and |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
755 // we'll have to wait for the concurrent marking thread to finish |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
756 // what it is doing. In this case we will postpone the marking cycle |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
757 // initiation decision for the next pause. When we eventually decide |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
758 // to start a cycle, we will set _during_initial_mark_pause which |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
759 // will stay true until the end of the initial-mark pause and it's |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
760 // the condition that indicates that a pause is doing the |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
761 // initial-mark work. |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
762 volatile bool _during_initial_mark_pause; |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
763 |
342 | 764 bool _should_revert_to_full_young_gcs; |
765 bool _last_full_young_gc; | |
766 | |
767 // This set of variables tracks the collector efficiency, in order to | |
768 // determine whether we should initiate a new marking. | |
769 double _cur_mark_stop_world_time_ms; | |
770 double _mark_remark_start_sec; | |
771 double _mark_cleanup_start_sec; | |
772 double _mark_closure_time_ms; | |
773 | |
774 void calculate_young_list_min_length(); | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
775 void calculate_young_list_target_length(); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
776 void calculate_young_list_target_length(size_t rs_lengths); |
342 | 777 |
778 public: | |
779 | |
780 G1CollectorPolicy(); | |
781 | |
782 virtual G1CollectorPolicy* as_g1_policy() { return this; } | |
783 | |
784 virtual CollectorPolicy::Name kind() { | |
785 return CollectorPolicy::G1CollectorPolicyKind; | |
786 } | |
787 | |
788 void check_prediction_validity(); | |
789 | |
790 size_t bytes_in_collection_set() { | |
791 return _bytes_in_collection_set_before_gc; | |
792 } | |
793 | |
794 unsigned calc_gc_alloc_time_stamp() { | |
795 return _all_pause_times_ms->num() + 1; | |
796 } | |
797 | |
798 protected: | |
799 | |
800 // Count the number of bytes used in the CS. | |
801 void count_CS_bytes_used(); | |
802 | |
803 // Together these do the base cleanup-recording work. Subclasses might | |
804 // want to put something between them. | |
805 void record_concurrent_mark_cleanup_end_work1(size_t freed_bytes, | |
806 size_t max_live_bytes); | |
807 void record_concurrent_mark_cleanup_end_work2(); | |
808 | |
809 public: | |
810 | |
811 virtual void init(); | |
812 | |
545 | 813 // Create jstat counters for the policy. |
814 virtual void initialize_gc_policy_counters(); | |
815 | |
342 | 816 virtual HeapWord* mem_allocate_work(size_t size, |
817 bool is_tlab, | |
818 bool* gc_overhead_limit_was_exceeded); | |
819 | |
820 // This method controls how a collector handles one or more | |
821 // of its generations being fully allocated. | |
822 virtual HeapWord* satisfy_failed_allocation(size_t size, | |
823 bool is_tlab); | |
824 | |
825 BarrierSet::Name barrier_set_name() { return BarrierSet::G1SATBCTLogging; } | |
826 | |
827 GenRemSet::Name rem_set_name() { return GenRemSet::CardTable; } | |
828 | |
829 // The number of collection pauses so far. | |
830 long n_pauses() const { return _n_pauses; } | |
831 | |
832 // Update the heuristic info to record a collection pause of the given | |
833 // start time, where the given number of bytes were used at the start. | |
834 // This may involve changing the desired size of a collection set. | |
835 | |
836 virtual void record_stop_world_start(); | |
837 | |
838 virtual void record_collection_pause_start(double start_time_sec, | |
839 size_t start_used); | |
840 | |
841 // Must currently be called while the world is stopped. | |
3867
ff53346271fe
6814390: G1: remove the concept of non-generational G1
brutisso
parents:
3830
diff
changeset
|
842 void record_concurrent_mark_init_end(double |
342 | 843 mark_init_elapsed_time_ms); |
844 | |
845 void record_mark_closure_time(double mark_closure_time_ms); | |
846 | |
847 virtual void record_concurrent_mark_remark_start(); | |
848 virtual void record_concurrent_mark_remark_end(); | |
849 | |
850 virtual void record_concurrent_mark_cleanup_start(); | |
851 virtual void record_concurrent_mark_cleanup_end(size_t freed_bytes, | |
852 size_t max_live_bytes); | |
853 virtual void record_concurrent_mark_cleanup_completed(); | |
854 | |
855 virtual void record_concurrent_pause(); | |
856 virtual void record_concurrent_pause_end(); | |
857 | |
1707 | 858 virtual void record_collection_pause_end(); |
3764
053d84a76d3d
7032531: G1: enhance GC logging to include more accurate eden / survivor size transitions
tonyp
parents:
2430
diff
changeset
|
859 void print_heap_transition(); |
342 | 860 |
861 // Record the fact that a full collection occurred. | |
862 virtual void record_full_collection_start(); | |
863 virtual void record_full_collection_end(); | |
864 | |
1611 | 865 void record_gc_worker_start_time(int worker_i, double ms) { |
866 _par_last_gc_worker_start_times_ms[worker_i] = ms; | |
867 } | |
868 | |
342 | 869 void record_ext_root_scan_time(int worker_i, double ms) { |
870 _par_last_ext_root_scan_times_ms[worker_i] = ms; | |
871 } | |
872 | |
873 void record_mark_stack_scan_time(int worker_i, double ms) { | |
874 _par_last_mark_stack_scan_times_ms[worker_i] = ms; | |
875 } | |
876 | |
877 void record_satb_drain_time(double ms) { | |
878 _cur_satb_drain_time_ms = ms; | |
879 _satb_drain_time_set = true; | |
880 } | |
881 | |
882 void record_satb_drain_processed_buffers (int processed_buffers) { | |
883 _last_satb_drain_processed_buffers = processed_buffers; | |
884 } | |
885 | |
886 void record_mod_union_time(double ms) { | |
887 _all_mod_union_times_ms->add(ms); | |
888 } | |
889 | |
890 void record_update_rs_time(int thread, double ms) { | |
891 _par_last_update_rs_times_ms[thread] = ms; | |
892 } | |
893 | |
894 void record_update_rs_processed_buffers (int thread, | |
895 double processed_buffers) { | |
896 _par_last_update_rs_processed_buffers[thread] = processed_buffers; | |
897 } | |
898 | |
899 void record_scan_rs_time(int thread, double ms) { | |
900 _par_last_scan_rs_times_ms[thread] = ms; | |
901 } | |
902 | |
903 void reset_obj_copy_time(int thread) { | |
904 _par_last_obj_copy_times_ms[thread] = 0.0; | |
905 } | |
906 | |
907 void reset_obj_copy_time() { | |
908 reset_obj_copy_time(0); | |
909 } | |
910 | |
911 void record_obj_copy_time(int thread, double ms) { | |
912 _par_last_obj_copy_times_ms[thread] += ms; | |
913 } | |
914 | |
1611 | 915 void record_termination(int thread, double ms, size_t attempts) { |
916 _par_last_termination_times_ms[thread] = ms; | |
917 _par_last_termination_attempts[thread] = (double) attempts; | |
342 | 918 } |
919 | |
1611 | 920 void record_gc_worker_end_time(int worker_i, double ms) { |
921 _par_last_gc_worker_end_times_ms[worker_i] = ms; | |
342 | 922 } |
923 | |
595
3698e8f47799
6804746: G1: guarantee(variance() > -1.0,"variance should be >= 0") (due to evacuation failure)
tonyp
parents:
549
diff
changeset
|
924 void record_pause_time_ms(double ms) { |
342 | 925 _last_pause_time_ms = ms; |
926 } | |
927 | |
928 void record_clear_ct_time(double ms) { | |
929 _cur_clear_ct_time_ms = ms; | |
930 } | |
931 | |
932 void record_par_time(double ms) { | |
933 _cur_collection_par_time_ms = ms; | |
934 } | |
935 | |
936 void record_aux_start_time(int i) { | |
937 guarantee(i < _aux_num, "should be within range"); | |
938 _cur_aux_start_times_ms[i] = os::elapsedTime() * 1000.0; | |
939 } | |
940 | |
941 void record_aux_end_time(int i) { | |
942 guarantee(i < _aux_num, "should be within range"); | |
943 double ms = os::elapsedTime() * 1000.0 - _cur_aux_start_times_ms[i]; | |
944 _cur_aux_times_set[i] = true; | |
945 _cur_aux_times_ms[i] += ms; | |
946 } | |
947 | |
890
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
838
diff
changeset
|
948 #ifndef PRODUCT |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
838
diff
changeset
|
949 void record_cc_clear_time(double ms) { |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
838
diff
changeset
|
950 if (_min_clear_cc_time_ms < 0.0 || ms <= _min_clear_cc_time_ms) |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
838
diff
changeset
|
951 _min_clear_cc_time_ms = ms; |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
838
diff
changeset
|
952 if (_max_clear_cc_time_ms < 0.0 || ms >= _max_clear_cc_time_ms) |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
838
diff
changeset
|
953 _max_clear_cc_time_ms = ms; |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
838
diff
changeset
|
954 _cur_clear_cc_time_ms = ms; |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
838
diff
changeset
|
955 _cum_clear_cc_time_ms += ms; |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
838
diff
changeset
|
956 _num_cc_clears++; |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
838
diff
changeset
|
957 } |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
838
diff
changeset
|
958 #endif |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
838
diff
changeset
|
959 |
3830
f44782f04dd4
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
3823
diff
changeset
|
960 // Record how much space we copied during a GC. This is typically |
f44782f04dd4
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
3823
diff
changeset
|
961 // called when a GC alloc region is being retired. |
f44782f04dd4
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
3823
diff
changeset
|
962 void record_bytes_copied_during_gc(size_t bytes) { |
f44782f04dd4
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
3823
diff
changeset
|
963 _bytes_copied_during_gc += bytes; |
f44782f04dd4
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
3823
diff
changeset
|
964 } |
f44782f04dd4
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
3823
diff
changeset
|
965 |
f44782f04dd4
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
3823
diff
changeset
|
966 // The amount of space we copied during a GC. |
f44782f04dd4
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
3823
diff
changeset
|
967 size_t bytes_copied_during_gc() { |
f44782f04dd4
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
3823
diff
changeset
|
968 return _bytes_copied_during_gc; |
f44782f04dd4
7039627: G1: avoid BOT updates for survivor allocations and dirty survivor regions incrementally
tonyp
parents:
3823
diff
changeset
|
969 } |
342 | 970 |
971 // Choose a new collection set. Marks the chosen regions as being | |
972 // "in_collection_set", and links them together. The head and number of | |
973 // the collection set are available via access methods. | |
1707 | 974 virtual void choose_collection_set(double target_pause_time_ms) = 0; |
342 | 975 |
976 // The head of the list (via "next_in_collection_set()") representing the | |
977 // current collection set. | |
978 HeapRegion* collection_set() { return _collection_set; } | |
979 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
980 void clear_collection_set() { _collection_set = NULL; } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
981 |
342 | 982 // The number of elements in the current collection set. |
983 size_t collection_set_size() { return _collection_set_size; } | |
984 | |
985 // Add "hr" to the CS. | |
986 void add_to_collection_set(HeapRegion* hr); | |
987 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
988 // Incremental CSet Support |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
989 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
990 // The head of the incrementally built collection set. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
991 HeapRegion* inc_cset_head() { return _inc_cset_head; } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
992 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
993 // The tail of the incrementally built collection set. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
994 HeapRegion* inc_set_tail() { return _inc_cset_tail; } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
995 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
996 // The number of elements in the incrementally built collection set. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
997 size_t inc_cset_size() { return _inc_cset_size; } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
998 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
999 // Initialize incremental collection set info. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1000 void start_incremental_cset_building(); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1001 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1002 void clear_incremental_cset() { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1003 _inc_cset_head = NULL; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1004 _inc_cset_tail = NULL; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1005 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1006 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1007 // Stop adding regions to the incremental collection set |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1008 void stop_incremental_cset_building() { _inc_cset_build_state = Inactive; } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1009 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1010 // Add/remove information about hr to the aggregated information |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1011 // for the incrementally built collection set. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1012 void add_to_incremental_cset_info(HeapRegion* hr, size_t rs_length); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1013 void remove_from_incremental_cset_info(HeapRegion* hr); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1014 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1015 // Update information about hr in the aggregated information for |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1016 // the incrementally built collection set. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1017 void update_incremental_cset_info(HeapRegion* hr, size_t new_rs_length); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1018 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1019 private: |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1020 // Update the incremental cset information when adding a region |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1021 // (should not be called directly). |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1022 void add_region_to_incremental_cset_common(HeapRegion* hr); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1023 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1024 public: |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1025 // Add hr to the LHS of the incremental collection set. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1026 void add_region_to_incremental_cset_lhs(HeapRegion* hr); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1027 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1028 // Add hr to the RHS of the incremental collection set. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1029 void add_region_to_incremental_cset_rhs(HeapRegion* hr); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1030 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1031 #ifndef PRODUCT |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1032 void print_collection_set(HeapRegion* list_head, outputStream* st); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1033 #endif // !PRODUCT |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1359
diff
changeset
|
1034 |
1359
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1035 bool initiate_conc_mark_if_possible() { return _initiate_conc_mark_if_possible; } |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1036 void set_initiate_conc_mark_if_possible() { _initiate_conc_mark_if_possible = true; } |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1037 void clear_initiate_conc_mark_if_possible() { _initiate_conc_mark_if_possible = false; } |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1038 |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1039 bool during_initial_mark_pause() { return _during_initial_mark_pause; } |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1040 void set_during_initial_mark_pause() { _during_initial_mark_pause = true; } |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1041 void clear_during_initial_mark_pause(){ _during_initial_mark_pause = false; } |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1042 |
1656
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
1043 // This sets the initiate_conc_mark_if_possible() flag to start a |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
1044 // new cycle, as long as we are not already in one. It's best if it |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
1045 // is called during a safepoint when the test whether a cycle is in |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
1046 // progress or not is stable. |
3914
20213c8a3c40
7050392: G1: Introduce flag to generate a log of the G1 ergonomic decisions
tonyp
parents:
3868
diff
changeset
|
1047 bool force_initial_mark_if_outside_cycle(GCCause::Cause gc_cause); |
1656
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
1048 |
1359
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1049 // This is called at the very beginning of an evacuation pause (it |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1050 // has to be the first thing that the pause does). If |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1051 // initiate_conc_mark_if_possible() is true, and the concurrent |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1052 // marking thread has completed its work during the previous cycle, |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1053 // it will set during_initial_mark_pause() to so that the pause does |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1054 // the initial-mark work and start a marking cycle. |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1055 void decide_on_conc_mark_initiation(); |
342 | 1056 |
1057 // If an expansion would be appropriate, because recent GC overhead had | |
1058 // exceeded the desired limit, return an amount to expand by. | |
1059 virtual size_t expansion_amount(); | |
1060 | |
1061 // note start of mark thread | |
1062 void note_start_of_mark_thread(); | |
1063 | |
1064 // The marked bytes of the "r" has changed; reclassify it's desirability | |
1065 // for marking. Also asserts that "r" is eligible for a CS. | |
1066 virtual void note_change_in_marked_bytes(HeapRegion* r) = 0; | |
1067 | |
1068 #ifndef PRODUCT | |
1069 // Check any appropriate marked bytes info, asserting false if | |
1070 // something's wrong, else returning "true". | |
1071 virtual bool assertMarkedBytesDataOK() = 0; | |
1072 #endif | |
1073 | |
1074 // Print tracing information. | |
1075 void print_tracing_info() const; | |
1076 | |
1077 // Print stats on young survival ratio | |
1078 void print_yg_surv_rate_info() const; | |
1079 | |
545 | 1080 void finished_recalculating_age_indexes(bool is_survivors) { |
1081 if (is_survivors) { | |
1082 _survivor_surv_rate_group->finished_recalculating_age_indexes(); | |
1083 } else { | |
1084 _short_lived_surv_rate_group->finished_recalculating_age_indexes(); | |
1085 } | |
342 | 1086 // do that for any other surv rate groups |
1087 } | |
1088 | |
1973 | 1089 bool is_young_list_full() { |
1090 size_t young_list_length = _g1->young_list()->length(); | |
1991
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
1091 size_t young_list_target_length = _young_list_target_length; |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
1092 return young_list_length >= young_list_target_length; |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
1093 } |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
1094 |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
1095 bool can_expand_young_list() { |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
1096 size_t young_list_length = _g1->young_list()->length(); |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
1097 size_t young_list_max_length = _young_list_max_length; |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
1098 return young_list_length < young_list_max_length; |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
1099 } |
1973 | 1100 |
1101 void update_region_num(bool young); | |
342 | 1102 |
1103 bool full_young_gcs() { | |
1104 return _full_young_gcs; | |
1105 } | |
1106 void set_full_young_gcs(bool full_young_gcs) { | |
1107 _full_young_gcs = full_young_gcs; | |
1108 } | |
1109 | |
1110 bool adaptive_young_list_length() { | |
1111 return _adaptive_young_list_length; | |
1112 } | |
1113 void set_adaptive_young_list_length(bool adaptive_young_list_length) { | |
1114 _adaptive_young_list_length = adaptive_young_list_length; | |
1115 } | |
1116 | |
1117 inline double get_gc_eff_factor() { | |
1118 double ratio = _known_garbage_ratio; | |
1119 | |
1120 double square = ratio * ratio; | |
1121 // square = square * square; | |
1122 double ret = square * 9.0 + 1.0; | |
1123 #if 0 | |
1124 gclog_or_tty->print_cr("ratio = %1.2lf, ret = %1.2lf", ratio, ret); | |
1125 #endif // 0 | |
1126 guarantee(0.0 <= ret && ret < 10.0, "invariant!"); | |
1127 return ret; | |
1128 } | |
1129 | |
1130 // | |
1131 // Survivor regions policy. | |
1132 // | |
1133 protected: | |
1134 | |
1135 // Current tenuring threshold, set to 0 if the collector reaches the | |
1136 // maximum amount of suvivors regions. | |
1137 int _tenuring_threshold; | |
1138 | |
545 | 1139 // The limit on the number of regions allocated for survivors. |
1140 size_t _max_survivor_regions; | |
1141 | |
3764
053d84a76d3d
7032531: G1: enhance GC logging to include more accurate eden / survivor size transitions
tonyp
parents:
2430
diff
changeset
|
1142 // For reporting purposes. |
053d84a76d3d
7032531: G1: enhance GC logging to include more accurate eden / survivor size transitions
tonyp
parents:
2430
diff
changeset
|
1143 size_t _eden_bytes_before_gc; |
053d84a76d3d
7032531: G1: enhance GC logging to include more accurate eden / survivor size transitions
tonyp
parents:
2430
diff
changeset
|
1144 size_t _survivor_bytes_before_gc; |
053d84a76d3d
7032531: G1: enhance GC logging to include more accurate eden / survivor size transitions
tonyp
parents:
2430
diff
changeset
|
1145 size_t _capacity_before_gc; |
053d84a76d3d
7032531: G1: enhance GC logging to include more accurate eden / survivor size transitions
tonyp
parents:
2430
diff
changeset
|
1146 |
545 | 1147 // The amount of survor regions after a collection. |
1148 size_t _recorded_survivor_regions; | |
1149 // List of survivor regions. | |
1150 HeapRegion* _recorded_survivor_head; | |
1151 HeapRegion* _recorded_survivor_tail; | |
1152 | |
1153 ageTable _survivors_age_table; | |
1154 | |
342 | 1155 public: |
1156 | |
1157 inline GCAllocPurpose | |
1158 evacuation_destination(HeapRegion* src_region, int age, size_t word_sz) { | |
1159 if (age < _tenuring_threshold && src_region->is_young()) { | |
1160 return GCAllocForSurvived; | |
1161 } else { | |
1162 return GCAllocForTenured; | |
1163 } | |
1164 } | |
1165 | |
1166 inline bool track_object_age(GCAllocPurpose purpose) { | |
1167 return purpose == GCAllocForSurvived; | |
1168 } | |
1169 | |
545 | 1170 static const size_t REGIONS_UNLIMITED = ~(size_t)0; |
1171 | |
1172 size_t max_regions(int purpose); | |
342 | 1173 |
1174 // The limit on regions for a particular purpose is reached. | |
1175 void note_alloc_region_limit_reached(int purpose) { | |
1176 if (purpose == GCAllocForSurvived) { | |
1177 _tenuring_threshold = 0; | |
1178 } | |
1179 } | |
1180 | |
1181 void note_start_adding_survivor_regions() { | |
1182 _survivor_surv_rate_group->start_adding_regions(); | |
1183 } | |
1184 | |
1185 void note_stop_adding_survivor_regions() { | |
1186 _survivor_surv_rate_group->stop_adding_regions(); | |
1187 } | |
545 | 1188 |
1189 void record_survivor_regions(size_t regions, | |
1190 HeapRegion* head, | |
1191 HeapRegion* tail) { | |
1192 _recorded_survivor_regions = regions; | |
1193 _recorded_survivor_head = head; | |
1194 _recorded_survivor_tail = tail; | |
1195 } | |
1196 | |
838
0316eac49d5a
6855834: G1: minimize the output when -XX:+PrintHeapAtGC is set
tonyp
parents:
794
diff
changeset
|
1197 size_t recorded_survivor_regions() { |
0316eac49d5a
6855834: G1: minimize the output when -XX:+PrintHeapAtGC is set
tonyp
parents:
794
diff
changeset
|
1198 return _recorded_survivor_regions; |
0316eac49d5a
6855834: G1: minimize the output when -XX:+PrintHeapAtGC is set
tonyp
parents:
794
diff
changeset
|
1199 } |
0316eac49d5a
6855834: G1: minimize the output when -XX:+PrintHeapAtGC is set
tonyp
parents:
794
diff
changeset
|
1200 |
545 | 1201 void record_thread_age_table(ageTable* age_table) |
1202 { | |
1203 _survivors_age_table.merge_par(age_table); | |
1204 } | |
1205 | |
1991
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
1206 void calculate_max_gc_locker_expansion(); |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
1207 |
545 | 1208 // Calculates survivor space parameters. |
1209 void calculate_survivors_policy(); | |
1210 | |
342 | 1211 }; |
1212 | |
1213 // This encapsulates a particular strategy for a g1 Collector. | |
1214 // | |
1215 // Start a concurrent mark when our heap size is n bytes | |
1216 // greater then our heap size was at the last concurrent | |
1217 // mark. Where n is a function of the CMSTriggerRatio | |
1218 // and the MinHeapFreeRatio. | |
1219 // | |
1220 // Start a g1 collection pause when we have allocated the | |
1221 // average number of bytes currently being freed in | |
1222 // a collection, but only if it is at least one region | |
1223 // full | |
1224 // | |
1225 // Resize Heap based on desired | |
1226 // allocation space, where desired allocation space is | |
1227 // a function of survival rate and desired future to size. | |
1228 // | |
1229 // Choose collection set by first picking all older regions | |
1230 // which have a survival rate which beats our projected young | |
1231 // survival rate. Then fill out the number of needed regions | |
1232 // with young regions. | |
1233 | |
1234 class G1CollectorPolicy_BestRegionsFirst: public G1CollectorPolicy { | |
1235 CollectionSetChooser* _collectionSetChooser; | |
1236 | |
1707 | 1237 virtual void choose_collection_set(double target_pause_time_ms); |
342 | 1238 virtual void record_collection_pause_start(double start_time_sec, |
1239 size_t start_used); | |
1240 virtual void record_concurrent_mark_cleanup_end(size_t freed_bytes, | |
1241 size_t max_live_bytes); | |
1242 virtual void record_full_collection_end(); | |
1243 | |
1244 public: | |
1245 G1CollectorPolicy_BestRegionsFirst() { | |
1246 _collectionSetChooser = new CollectionSetChooser(); | |
1247 } | |
1707 | 1248 void record_collection_pause_end(); |
342 | 1249 // This is not needed any more, after the CSet choosing code was |
1250 // changed to use the pause prediction work. But let's leave the | |
1251 // hook in just in case. | |
1252 void note_change_in_marked_bytes(HeapRegion* r) { } | |
1253 #ifndef PRODUCT | |
1254 bool assertMarkedBytesDataOK(); | |
1255 #endif | |
1256 }; | |
1257 | |
1258 // This should move to some place more general... | |
1259 | |
1260 // If we have "n" measurements, and we've kept track of their "sum" and the | |
1261 // "sum_of_squares" of the measurements, this returns the variance of the | |
1262 // sequence. | |
1263 inline double variance(int n, double sum_of_squares, double sum) { | |
1264 double n_d = (double)n; | |
1265 double avg = sum/n_d; | |
1266 return (sum_of_squares - 2.0 * avg * sum + n_d * avg * avg) / n_d; | |
1267 } | |
1268 | |
1972 | 1269 #endif // SHARE_VM_GC_IMPLEMENTATION_G1_G1COLLECTORPOLICY_HPP |