Tue, 05 May 2009 22:15:35 -0700
6833576: G1: assert illegal index, growableArray.hpp:186
Summary: The code that calculates the heap region index for an object address incorrectly used signed arithmetic.
Reviewed-by: jcoomes, ysr
ysr@777 | 1 | /* |
xdono@1014 | 2 | * Copyright 2001-2009 Sun Microsystems, Inc. All Rights Reserved. |
ysr@777 | 3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
ysr@777 | 4 | * |
ysr@777 | 5 | * This code is free software; you can redistribute it and/or modify it |
ysr@777 | 6 | * under the terms of the GNU General Public License version 2 only, as |
ysr@777 | 7 | * published by the Free Software Foundation. |
ysr@777 | 8 | * |
ysr@777 | 9 | * This code is distributed in the hope that it will be useful, but WITHOUT |
ysr@777 | 10 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
ysr@777 | 11 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
ysr@777 | 12 | * version 2 for more details (a copy is included in the LICENSE file that |
ysr@777 | 13 | * accompanied this code). |
ysr@777 | 14 | * |
ysr@777 | 15 | * You should have received a copy of the GNU General Public License version |
ysr@777 | 16 | * 2 along with this work; if not, write to the Free Software Foundation, |
ysr@777 | 17 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
ysr@777 | 18 | * |
ysr@777 | 19 | * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara, |
ysr@777 | 20 | * CA 95054 USA or visit www.sun.com if you need additional information or |
ysr@777 | 21 | * have any questions. |
ysr@777 | 22 | * |
ysr@777 | 23 | */ |
ysr@777 | 24 | |
ysr@777 | 25 | // A G1CollectorPolicy makes policy decisions that determine the |
ysr@777 | 26 | // characteristics of the collector. Examples include: |
ysr@777 | 27 | // * choice of collection set. |
ysr@777 | 28 | // * when to collect. |
ysr@777 | 29 | |
ysr@777 | 30 | class HeapRegion; |
ysr@777 | 31 | class CollectionSetChooser; |
ysr@777 | 32 | |
ysr@777 | 33 | // Yes, this is a bit unpleasant... but it saves replicating the same thing |
ysr@777 | 34 | // over and over again and introducing subtle problems through small typos and |
ysr@777 | 35 | // cutting and pasting mistakes. The macros below introduces a number |
ysr@777 | 36 | // sequnce into the following two classes and the methods that access it. |
ysr@777 | 37 | |
ysr@777 | 38 | #define define_num_seq(name) \ |
ysr@777 | 39 | private: \ |
ysr@777 | 40 | NumberSeq _all_##name##_times_ms; \ |
ysr@777 | 41 | public: \ |
ysr@777 | 42 | void record_##name##_time_ms(double ms) { \ |
ysr@777 | 43 | _all_##name##_times_ms.add(ms); \ |
ysr@777 | 44 | } \ |
ysr@777 | 45 | NumberSeq* get_##name##_seq() { \ |
ysr@777 | 46 | return &_all_##name##_times_ms; \ |
ysr@777 | 47 | } |
ysr@777 | 48 | |
ysr@777 | 49 | class MainBodySummary; |
ysr@777 | 50 | |
apetrusenko@984 | 51 | class PauseSummary: public CHeapObj { |
ysr@777 | 52 | define_num_seq(total) |
ysr@777 | 53 | define_num_seq(other) |
ysr@777 | 54 | |
ysr@777 | 55 | public: |
ysr@777 | 56 | virtual MainBodySummary* main_body_summary() { return NULL; } |
ysr@777 | 57 | }; |
ysr@777 | 58 | |
apetrusenko@984 | 59 | class MainBodySummary: public CHeapObj { |
ysr@777 | 60 | define_num_seq(satb_drain) // optional |
ysr@777 | 61 | define_num_seq(parallel) // parallel only |
ysr@777 | 62 | define_num_seq(ext_root_scan) |
ysr@777 | 63 | define_num_seq(mark_stack_scan) |
ysr@777 | 64 | define_num_seq(scan_only) |
ysr@777 | 65 | define_num_seq(update_rs) |
ysr@777 | 66 | define_num_seq(scan_rs) |
ysr@777 | 67 | define_num_seq(scan_new_refs) // Only for temp use; added to |
ysr@777 | 68 | // in parallel case. |
ysr@777 | 69 | define_num_seq(obj_copy) |
ysr@777 | 70 | define_num_seq(termination) // parallel only |
ysr@777 | 71 | define_num_seq(parallel_other) // parallel only |
ysr@777 | 72 | define_num_seq(mark_closure) |
ysr@777 | 73 | define_num_seq(clear_ct) // parallel only |
ysr@777 | 74 | }; |
ysr@777 | 75 | |
apetrusenko@1112 | 76 | class Summary: public PauseSummary, |
apetrusenko@1112 | 77 | public MainBodySummary { |
ysr@777 | 78 | public: |
ysr@777 | 79 | virtual MainBodySummary* main_body_summary() { return this; } |
ysr@777 | 80 | }; |
ysr@777 | 81 | |
apetrusenko@1112 | 82 | class AbandonedSummary: public PauseSummary { |
ysr@777 | 83 | }; |
ysr@777 | 84 | |
ysr@777 | 85 | class G1CollectorPolicy: public CollectorPolicy { |
ysr@777 | 86 | protected: |
ysr@777 | 87 | // The number of pauses during the execution. |
ysr@777 | 88 | long _n_pauses; |
ysr@777 | 89 | |
ysr@777 | 90 | // either equal to the number of parallel threads, if ParallelGCThreads |
ysr@777 | 91 | // has been set, or 1 otherwise |
ysr@777 | 92 | int _parallel_gc_threads; |
ysr@777 | 93 | |
ysr@777 | 94 | enum SomePrivateConstants { |
ysr@777 | 95 | NumPrevPausesForHeuristics = 10, |
ysr@777 | 96 | NumPrevGCsForHeuristics = 10, |
ysr@777 | 97 | NumAPIs = HeapRegion::MaxAge |
ysr@777 | 98 | }; |
ysr@777 | 99 | |
ysr@777 | 100 | G1MMUTracker* _mmu_tracker; |
ysr@777 | 101 | |
ysr@777 | 102 | void initialize_flags(); |
ysr@777 | 103 | |
ysr@777 | 104 | void initialize_all() { |
ysr@777 | 105 | initialize_flags(); |
ysr@777 | 106 | initialize_size_info(); |
ysr@777 | 107 | initialize_perm_generation(PermGen::MarkSweepCompact); |
ysr@777 | 108 | } |
ysr@777 | 109 | |
ysr@777 | 110 | virtual size_t default_init_heap_size() { |
ysr@777 | 111 | // Pick some reasonable default. |
ysr@777 | 112 | return 8*M; |
ysr@777 | 113 | } |
ysr@777 | 114 | |
ysr@777 | 115 | |
ysr@777 | 116 | double _cur_collection_start_sec; |
ysr@777 | 117 | size_t _cur_collection_pause_used_at_start_bytes; |
ysr@777 | 118 | size_t _cur_collection_pause_used_regions_at_start; |
ysr@777 | 119 | size_t _prev_collection_pause_used_at_end_bytes; |
ysr@777 | 120 | double _cur_collection_par_time_ms; |
ysr@777 | 121 | double _cur_satb_drain_time_ms; |
ysr@777 | 122 | double _cur_clear_ct_time_ms; |
ysr@777 | 123 | bool _satb_drain_time_set; |
ysr@777 | 124 | |
ysr@777 | 125 | double _cur_CH_strong_roots_end_sec; |
ysr@777 | 126 | double _cur_CH_strong_roots_dur_ms; |
ysr@777 | 127 | double _cur_G1_strong_roots_end_sec; |
ysr@777 | 128 | double _cur_G1_strong_roots_dur_ms; |
ysr@777 | 129 | |
ysr@777 | 130 | // Statistics for recent GC pauses. See below for how indexed. |
ysr@777 | 131 | TruncatedSeq* _recent_CH_strong_roots_times_ms; |
ysr@777 | 132 | TruncatedSeq* _recent_G1_strong_roots_times_ms; |
ysr@777 | 133 | TruncatedSeq* _recent_evac_times_ms; |
ysr@777 | 134 | // These exclude marking times. |
ysr@777 | 135 | TruncatedSeq* _recent_pause_times_ms; |
ysr@777 | 136 | TruncatedSeq* _recent_gc_times_ms; |
ysr@777 | 137 | |
ysr@777 | 138 | TruncatedSeq* _recent_CS_bytes_used_before; |
ysr@777 | 139 | TruncatedSeq* _recent_CS_bytes_surviving; |
ysr@777 | 140 | |
ysr@777 | 141 | TruncatedSeq* _recent_rs_sizes; |
ysr@777 | 142 | |
ysr@777 | 143 | TruncatedSeq* _concurrent_mark_init_times_ms; |
ysr@777 | 144 | TruncatedSeq* _concurrent_mark_remark_times_ms; |
ysr@777 | 145 | TruncatedSeq* _concurrent_mark_cleanup_times_ms; |
ysr@777 | 146 | |
apetrusenko@1112 | 147 | Summary* _summary; |
apetrusenko@1112 | 148 | AbandonedSummary* _abandoned_summary; |
ysr@777 | 149 | |
ysr@777 | 150 | NumberSeq* _all_pause_times_ms; |
ysr@777 | 151 | NumberSeq* _all_full_gc_times_ms; |
ysr@777 | 152 | double _stop_world_start; |
ysr@777 | 153 | NumberSeq* _all_stop_world_times_ms; |
ysr@777 | 154 | NumberSeq* _all_yield_times_ms; |
ysr@777 | 155 | |
ysr@777 | 156 | size_t _region_num_young; |
ysr@777 | 157 | size_t _region_num_tenured; |
ysr@777 | 158 | size_t _prev_region_num_young; |
ysr@777 | 159 | size_t _prev_region_num_tenured; |
ysr@777 | 160 | |
ysr@777 | 161 | NumberSeq* _all_mod_union_times_ms; |
ysr@777 | 162 | |
ysr@777 | 163 | int _aux_num; |
ysr@777 | 164 | NumberSeq* _all_aux_times_ms; |
ysr@777 | 165 | double* _cur_aux_start_times_ms; |
ysr@777 | 166 | double* _cur_aux_times_ms; |
ysr@777 | 167 | bool* _cur_aux_times_set; |
ysr@777 | 168 | |
ysr@777 | 169 | double* _par_last_ext_root_scan_times_ms; |
ysr@777 | 170 | double* _par_last_mark_stack_scan_times_ms; |
ysr@777 | 171 | double* _par_last_scan_only_times_ms; |
ysr@777 | 172 | double* _par_last_scan_only_regions_scanned; |
ysr@777 | 173 | double* _par_last_update_rs_start_times_ms; |
ysr@777 | 174 | double* _par_last_update_rs_times_ms; |
ysr@777 | 175 | double* _par_last_update_rs_processed_buffers; |
ysr@777 | 176 | double* _par_last_scan_rs_start_times_ms; |
ysr@777 | 177 | double* _par_last_scan_rs_times_ms; |
ysr@777 | 178 | double* _par_last_scan_new_refs_times_ms; |
ysr@777 | 179 | double* _par_last_obj_copy_times_ms; |
ysr@777 | 180 | double* _par_last_termination_times_ms; |
ysr@777 | 181 | |
ysr@777 | 182 | // indicates that we are in young GC mode |
ysr@777 | 183 | bool _in_young_gc_mode; |
ysr@777 | 184 | |
ysr@777 | 185 | // indicates whether we are in full young or partially young GC mode |
ysr@777 | 186 | bool _full_young_gcs; |
ysr@777 | 187 | |
ysr@777 | 188 | // if true, then it tries to dynamically adjust the length of the |
ysr@777 | 189 | // young list |
ysr@777 | 190 | bool _adaptive_young_list_length; |
ysr@777 | 191 | size_t _young_list_min_length; |
ysr@777 | 192 | size_t _young_list_target_length; |
ysr@777 | 193 | size_t _young_list_so_prefix_length; |
ysr@777 | 194 | size_t _young_list_fixed_length; |
ysr@777 | 195 | |
ysr@777 | 196 | size_t _young_cset_length; |
ysr@777 | 197 | bool _last_young_gc_full; |
ysr@777 | 198 | |
ysr@777 | 199 | double _target_pause_time_ms; |
ysr@777 | 200 | |
ysr@777 | 201 | unsigned _full_young_pause_num; |
ysr@777 | 202 | unsigned _partial_young_pause_num; |
ysr@777 | 203 | |
ysr@777 | 204 | bool _during_marking; |
ysr@777 | 205 | bool _in_marking_window; |
ysr@777 | 206 | bool _in_marking_window_im; |
ysr@777 | 207 | |
ysr@777 | 208 | SurvRateGroup* _short_lived_surv_rate_group; |
ysr@777 | 209 | SurvRateGroup* _survivor_surv_rate_group; |
ysr@777 | 210 | // add here any more surv rate groups |
ysr@777 | 211 | |
ysr@777 | 212 | bool during_marking() { |
ysr@777 | 213 | return _during_marking; |
ysr@777 | 214 | } |
ysr@777 | 215 | |
ysr@777 | 216 | // <NEW PREDICTION> |
ysr@777 | 217 | |
ysr@777 | 218 | private: |
ysr@777 | 219 | enum PredictionConstants { |
ysr@777 | 220 | TruncatedSeqLength = 10 |
ysr@777 | 221 | }; |
ysr@777 | 222 | |
ysr@777 | 223 | TruncatedSeq* _alloc_rate_ms_seq; |
ysr@777 | 224 | double _prev_collection_pause_end_ms; |
ysr@777 | 225 | |
ysr@777 | 226 | TruncatedSeq* _pending_card_diff_seq; |
ysr@777 | 227 | TruncatedSeq* _rs_length_diff_seq; |
ysr@777 | 228 | TruncatedSeq* _cost_per_card_ms_seq; |
ysr@777 | 229 | TruncatedSeq* _cost_per_scan_only_region_ms_seq; |
ysr@777 | 230 | TruncatedSeq* _fully_young_cards_per_entry_ratio_seq; |
ysr@777 | 231 | TruncatedSeq* _partially_young_cards_per_entry_ratio_seq; |
ysr@777 | 232 | TruncatedSeq* _cost_per_entry_ms_seq; |
ysr@777 | 233 | TruncatedSeq* _partially_young_cost_per_entry_ms_seq; |
ysr@777 | 234 | TruncatedSeq* _cost_per_byte_ms_seq; |
ysr@777 | 235 | TruncatedSeq* _constant_other_time_ms_seq; |
ysr@777 | 236 | TruncatedSeq* _young_other_cost_per_region_ms_seq; |
ysr@777 | 237 | TruncatedSeq* _non_young_other_cost_per_region_ms_seq; |
ysr@777 | 238 | |
ysr@777 | 239 | TruncatedSeq* _pending_cards_seq; |
ysr@777 | 240 | TruncatedSeq* _scanned_cards_seq; |
ysr@777 | 241 | TruncatedSeq* _rs_lengths_seq; |
ysr@777 | 242 | |
ysr@777 | 243 | TruncatedSeq* _cost_per_byte_ms_during_cm_seq; |
ysr@777 | 244 | TruncatedSeq* _cost_per_scan_only_region_ms_during_cm_seq; |
ysr@777 | 245 | |
ysr@777 | 246 | TruncatedSeq* _young_gc_eff_seq; |
ysr@777 | 247 | |
ysr@777 | 248 | TruncatedSeq* _max_conc_overhead_seq; |
ysr@777 | 249 | |
ysr@777 | 250 | size_t _recorded_young_regions; |
ysr@777 | 251 | size_t _recorded_scan_only_regions; |
ysr@777 | 252 | size_t _recorded_non_young_regions; |
ysr@777 | 253 | size_t _recorded_region_num; |
ysr@777 | 254 | |
ysr@777 | 255 | size_t _free_regions_at_end_of_collection; |
ysr@777 | 256 | size_t _scan_only_regions_at_end_of_collection; |
ysr@777 | 257 | |
ysr@777 | 258 | size_t _recorded_rs_lengths; |
ysr@777 | 259 | size_t _max_rs_lengths; |
ysr@777 | 260 | |
ysr@777 | 261 | size_t _recorded_marked_bytes; |
ysr@777 | 262 | size_t _recorded_young_bytes; |
ysr@777 | 263 | |
ysr@777 | 264 | size_t _predicted_pending_cards; |
ysr@777 | 265 | size_t _predicted_cards_scanned; |
ysr@777 | 266 | size_t _predicted_rs_lengths; |
ysr@777 | 267 | size_t _predicted_bytes_to_copy; |
ysr@777 | 268 | |
ysr@777 | 269 | double _predicted_survival_ratio; |
ysr@777 | 270 | double _predicted_rs_update_time_ms; |
ysr@777 | 271 | double _predicted_rs_scan_time_ms; |
ysr@777 | 272 | double _predicted_scan_only_scan_time_ms; |
ysr@777 | 273 | double _predicted_object_copy_time_ms; |
ysr@777 | 274 | double _predicted_constant_other_time_ms; |
ysr@777 | 275 | double _predicted_young_other_time_ms; |
ysr@777 | 276 | double _predicted_non_young_other_time_ms; |
ysr@777 | 277 | double _predicted_pause_time_ms; |
ysr@777 | 278 | |
ysr@777 | 279 | double _vtime_diff_ms; |
ysr@777 | 280 | |
ysr@777 | 281 | double _recorded_young_free_cset_time_ms; |
ysr@777 | 282 | double _recorded_non_young_free_cset_time_ms; |
ysr@777 | 283 | |
ysr@777 | 284 | double _sigma; |
ysr@777 | 285 | double _expensive_region_limit_ms; |
ysr@777 | 286 | |
ysr@777 | 287 | size_t _rs_lengths_prediction; |
ysr@777 | 288 | |
ysr@777 | 289 | size_t _known_garbage_bytes; |
ysr@777 | 290 | double _known_garbage_ratio; |
ysr@777 | 291 | |
ysr@777 | 292 | double sigma() { |
ysr@777 | 293 | return _sigma; |
ysr@777 | 294 | } |
ysr@777 | 295 | |
ysr@777 | 296 | // A function that prevents us putting too much stock in small sample |
ysr@777 | 297 | // sets. Returns a number between 2.0 and 1.0, depending on the number |
ysr@777 | 298 | // of samples. 5 or more samples yields one; fewer scales linearly from |
ysr@777 | 299 | // 2.0 at 1 sample to 1.0 at 5. |
ysr@777 | 300 | double confidence_factor(int samples) { |
ysr@777 | 301 | if (samples > 4) return 1.0; |
ysr@777 | 302 | else return 1.0 + sigma() * ((double)(5 - samples))/2.0; |
ysr@777 | 303 | } |
ysr@777 | 304 | |
ysr@777 | 305 | double get_new_neg_prediction(TruncatedSeq* seq) { |
ysr@777 | 306 | return seq->davg() - sigma() * seq->dsd(); |
ysr@777 | 307 | } |
ysr@777 | 308 | |
ysr@777 | 309 | #ifndef PRODUCT |
ysr@777 | 310 | bool verify_young_ages(HeapRegion* head, SurvRateGroup *surv_rate_group); |
ysr@777 | 311 | #endif // PRODUCT |
ysr@777 | 312 | |
ysr@777 | 313 | protected: |
ysr@777 | 314 | double _pause_time_target_ms; |
ysr@777 | 315 | double _recorded_young_cset_choice_time_ms; |
ysr@777 | 316 | double _recorded_non_young_cset_choice_time_ms; |
ysr@777 | 317 | bool _within_target; |
ysr@777 | 318 | size_t _pending_cards; |
ysr@777 | 319 | size_t _max_pending_cards; |
ysr@777 | 320 | |
ysr@777 | 321 | public: |
ysr@777 | 322 | |
ysr@777 | 323 | void set_region_short_lived(HeapRegion* hr) { |
ysr@777 | 324 | hr->install_surv_rate_group(_short_lived_surv_rate_group); |
ysr@777 | 325 | } |
ysr@777 | 326 | |
ysr@777 | 327 | void set_region_survivors(HeapRegion* hr) { |
ysr@777 | 328 | hr->install_surv_rate_group(_survivor_surv_rate_group); |
ysr@777 | 329 | } |
ysr@777 | 330 | |
ysr@777 | 331 | #ifndef PRODUCT |
ysr@777 | 332 | bool verify_young_ages(); |
ysr@777 | 333 | #endif // PRODUCT |
ysr@777 | 334 | |
ysr@777 | 335 | void tag_scan_only(size_t short_lived_scan_only_length); |
ysr@777 | 336 | |
ysr@777 | 337 | double get_new_prediction(TruncatedSeq* seq) { |
ysr@777 | 338 | return MAX2(seq->davg() + sigma() * seq->dsd(), |
ysr@777 | 339 | seq->davg() * confidence_factor(seq->num())); |
ysr@777 | 340 | } |
ysr@777 | 341 | |
ysr@777 | 342 | size_t young_cset_length() { |
ysr@777 | 343 | return _young_cset_length; |
ysr@777 | 344 | } |
ysr@777 | 345 | |
ysr@777 | 346 | void record_max_rs_lengths(size_t rs_lengths) { |
ysr@777 | 347 | _max_rs_lengths = rs_lengths; |
ysr@777 | 348 | } |
ysr@777 | 349 | |
ysr@777 | 350 | size_t predict_pending_card_diff() { |
ysr@777 | 351 | double prediction = get_new_neg_prediction(_pending_card_diff_seq); |
ysr@777 | 352 | if (prediction < 0.00001) |
ysr@777 | 353 | return 0; |
ysr@777 | 354 | else |
ysr@777 | 355 | return (size_t) prediction; |
ysr@777 | 356 | } |
ysr@777 | 357 | |
ysr@777 | 358 | size_t predict_pending_cards() { |
ysr@777 | 359 | size_t max_pending_card_num = _g1->max_pending_card_num(); |
ysr@777 | 360 | size_t diff = predict_pending_card_diff(); |
ysr@777 | 361 | size_t prediction; |
ysr@777 | 362 | if (diff > max_pending_card_num) |
ysr@777 | 363 | prediction = max_pending_card_num; |
ysr@777 | 364 | else |
ysr@777 | 365 | prediction = max_pending_card_num - diff; |
ysr@777 | 366 | |
ysr@777 | 367 | return prediction; |
ysr@777 | 368 | } |
ysr@777 | 369 | |
ysr@777 | 370 | size_t predict_rs_length_diff() { |
ysr@777 | 371 | return (size_t) get_new_prediction(_rs_length_diff_seq); |
ysr@777 | 372 | } |
ysr@777 | 373 | |
ysr@777 | 374 | double predict_alloc_rate_ms() { |
ysr@777 | 375 | return get_new_prediction(_alloc_rate_ms_seq); |
ysr@777 | 376 | } |
ysr@777 | 377 | |
ysr@777 | 378 | double predict_cost_per_card_ms() { |
ysr@777 | 379 | return get_new_prediction(_cost_per_card_ms_seq); |
ysr@777 | 380 | } |
ysr@777 | 381 | |
ysr@777 | 382 | double predict_rs_update_time_ms(size_t pending_cards) { |
ysr@777 | 383 | return (double) pending_cards * predict_cost_per_card_ms(); |
ysr@777 | 384 | } |
ysr@777 | 385 | |
ysr@777 | 386 | double predict_fully_young_cards_per_entry_ratio() { |
ysr@777 | 387 | return get_new_prediction(_fully_young_cards_per_entry_ratio_seq); |
ysr@777 | 388 | } |
ysr@777 | 389 | |
ysr@777 | 390 | double predict_partially_young_cards_per_entry_ratio() { |
ysr@777 | 391 | if (_partially_young_cards_per_entry_ratio_seq->num() < 2) |
ysr@777 | 392 | return predict_fully_young_cards_per_entry_ratio(); |
ysr@777 | 393 | else |
ysr@777 | 394 | return get_new_prediction(_partially_young_cards_per_entry_ratio_seq); |
ysr@777 | 395 | } |
ysr@777 | 396 | |
ysr@777 | 397 | size_t predict_young_card_num(size_t rs_length) { |
ysr@777 | 398 | return (size_t) ((double) rs_length * |
ysr@777 | 399 | predict_fully_young_cards_per_entry_ratio()); |
ysr@777 | 400 | } |
ysr@777 | 401 | |
ysr@777 | 402 | size_t predict_non_young_card_num(size_t rs_length) { |
ysr@777 | 403 | return (size_t) ((double) rs_length * |
ysr@777 | 404 | predict_partially_young_cards_per_entry_ratio()); |
ysr@777 | 405 | } |
ysr@777 | 406 | |
ysr@777 | 407 | double predict_rs_scan_time_ms(size_t card_num) { |
ysr@777 | 408 | if (full_young_gcs()) |
ysr@777 | 409 | return (double) card_num * get_new_prediction(_cost_per_entry_ms_seq); |
ysr@777 | 410 | else |
ysr@777 | 411 | return predict_partially_young_rs_scan_time_ms(card_num); |
ysr@777 | 412 | } |
ysr@777 | 413 | |
ysr@777 | 414 | double predict_partially_young_rs_scan_time_ms(size_t card_num) { |
ysr@777 | 415 | if (_partially_young_cost_per_entry_ms_seq->num() < 3) |
ysr@777 | 416 | return (double) card_num * get_new_prediction(_cost_per_entry_ms_seq); |
ysr@777 | 417 | else |
ysr@777 | 418 | return (double) card_num * |
ysr@777 | 419 | get_new_prediction(_partially_young_cost_per_entry_ms_seq); |
ysr@777 | 420 | } |
ysr@777 | 421 | |
ysr@777 | 422 | double predict_scan_only_time_ms_during_cm(size_t scan_only_region_num) { |
ysr@777 | 423 | if (_cost_per_scan_only_region_ms_during_cm_seq->num() < 3) |
ysr@777 | 424 | return 1.5 * (double) scan_only_region_num * |
ysr@777 | 425 | get_new_prediction(_cost_per_scan_only_region_ms_seq); |
ysr@777 | 426 | else |
ysr@777 | 427 | return (double) scan_only_region_num * |
ysr@777 | 428 | get_new_prediction(_cost_per_scan_only_region_ms_during_cm_seq); |
ysr@777 | 429 | } |
ysr@777 | 430 | |
ysr@777 | 431 | double predict_scan_only_time_ms(size_t scan_only_region_num) { |
ysr@777 | 432 | if (_in_marking_window_im) |
ysr@777 | 433 | return predict_scan_only_time_ms_during_cm(scan_only_region_num); |
ysr@777 | 434 | else |
ysr@777 | 435 | return (double) scan_only_region_num * |
ysr@777 | 436 | get_new_prediction(_cost_per_scan_only_region_ms_seq); |
ysr@777 | 437 | } |
ysr@777 | 438 | |
ysr@777 | 439 | double predict_object_copy_time_ms_during_cm(size_t bytes_to_copy) { |
ysr@777 | 440 | if (_cost_per_byte_ms_during_cm_seq->num() < 3) |
ysr@777 | 441 | return 1.1 * (double) bytes_to_copy * |
ysr@777 | 442 | get_new_prediction(_cost_per_byte_ms_seq); |
ysr@777 | 443 | else |
ysr@777 | 444 | return (double) bytes_to_copy * |
ysr@777 | 445 | get_new_prediction(_cost_per_byte_ms_during_cm_seq); |
ysr@777 | 446 | } |
ysr@777 | 447 | |
ysr@777 | 448 | double predict_object_copy_time_ms(size_t bytes_to_copy) { |
ysr@777 | 449 | if (_in_marking_window && !_in_marking_window_im) |
ysr@777 | 450 | return predict_object_copy_time_ms_during_cm(bytes_to_copy); |
ysr@777 | 451 | else |
ysr@777 | 452 | return (double) bytes_to_copy * |
ysr@777 | 453 | get_new_prediction(_cost_per_byte_ms_seq); |
ysr@777 | 454 | } |
ysr@777 | 455 | |
ysr@777 | 456 | double predict_constant_other_time_ms() { |
ysr@777 | 457 | return get_new_prediction(_constant_other_time_ms_seq); |
ysr@777 | 458 | } |
ysr@777 | 459 | |
ysr@777 | 460 | double predict_young_other_time_ms(size_t young_num) { |
ysr@777 | 461 | return |
ysr@777 | 462 | (double) young_num * |
ysr@777 | 463 | get_new_prediction(_young_other_cost_per_region_ms_seq); |
ysr@777 | 464 | } |
ysr@777 | 465 | |
ysr@777 | 466 | double predict_non_young_other_time_ms(size_t non_young_num) { |
ysr@777 | 467 | return |
ysr@777 | 468 | (double) non_young_num * |
ysr@777 | 469 | get_new_prediction(_non_young_other_cost_per_region_ms_seq); |
ysr@777 | 470 | } |
ysr@777 | 471 | |
ysr@777 | 472 | void check_if_region_is_too_expensive(double predicted_time_ms); |
ysr@777 | 473 | |
ysr@777 | 474 | double predict_young_collection_elapsed_time_ms(size_t adjustment); |
ysr@777 | 475 | double predict_base_elapsed_time_ms(size_t pending_cards); |
ysr@777 | 476 | double predict_base_elapsed_time_ms(size_t pending_cards, |
ysr@777 | 477 | size_t scanned_cards); |
ysr@777 | 478 | size_t predict_bytes_to_copy(HeapRegion* hr); |
ysr@777 | 479 | double predict_region_elapsed_time_ms(HeapRegion* hr, bool young); |
ysr@777 | 480 | |
ysr@777 | 481 | // for use by: calculate_optimal_so_length(length) |
ysr@777 | 482 | void predict_gc_eff(size_t young_region_num, |
ysr@777 | 483 | size_t so_length, |
ysr@777 | 484 | double base_time_ms, |
ysr@777 | 485 | double *gc_eff, |
ysr@777 | 486 | double *pause_time_ms); |
ysr@777 | 487 | |
ysr@777 | 488 | // for use by: calculate_young_list_target_config(rs_length) |
ysr@777 | 489 | bool predict_gc_eff(size_t young_region_num, |
ysr@777 | 490 | size_t so_length, |
ysr@777 | 491 | double base_time_with_so_ms, |
ysr@777 | 492 | size_t init_free_regions, |
ysr@777 | 493 | double target_pause_time_ms, |
ysr@777 | 494 | double* gc_eff); |
ysr@777 | 495 | |
ysr@777 | 496 | void start_recording_regions(); |
ysr@777 | 497 | void record_cset_region(HeapRegion* hr, bool young); |
ysr@777 | 498 | void record_scan_only_regions(size_t scan_only_length); |
ysr@777 | 499 | void end_recording_regions(); |
ysr@777 | 500 | |
ysr@777 | 501 | void record_vtime_diff_ms(double vtime_diff_ms) { |
ysr@777 | 502 | _vtime_diff_ms = vtime_diff_ms; |
ysr@777 | 503 | } |
ysr@777 | 504 | |
ysr@777 | 505 | void record_young_free_cset_time_ms(double time_ms) { |
ysr@777 | 506 | _recorded_young_free_cset_time_ms = time_ms; |
ysr@777 | 507 | } |
ysr@777 | 508 | |
ysr@777 | 509 | void record_non_young_free_cset_time_ms(double time_ms) { |
ysr@777 | 510 | _recorded_non_young_free_cset_time_ms = time_ms; |
ysr@777 | 511 | } |
ysr@777 | 512 | |
ysr@777 | 513 | double predict_young_gc_eff() { |
ysr@777 | 514 | return get_new_neg_prediction(_young_gc_eff_seq); |
ysr@777 | 515 | } |
ysr@777 | 516 | |
apetrusenko@980 | 517 | double predict_survivor_regions_evac_time(); |
apetrusenko@980 | 518 | |
ysr@777 | 519 | // </NEW PREDICTION> |
ysr@777 | 520 | |
ysr@777 | 521 | public: |
ysr@777 | 522 | void cset_regions_freed() { |
ysr@777 | 523 | bool propagate = _last_young_gc_full && !_in_marking_window; |
ysr@777 | 524 | _short_lived_surv_rate_group->all_surviving_words_recorded(propagate); |
ysr@777 | 525 | _survivor_surv_rate_group->all_surviving_words_recorded(propagate); |
ysr@777 | 526 | // also call it on any more surv rate groups |
ysr@777 | 527 | } |
ysr@777 | 528 | |
ysr@777 | 529 | void set_known_garbage_bytes(size_t known_garbage_bytes) { |
ysr@777 | 530 | _known_garbage_bytes = known_garbage_bytes; |
ysr@777 | 531 | size_t heap_bytes = _g1->capacity(); |
ysr@777 | 532 | _known_garbage_ratio = (double) _known_garbage_bytes / (double) heap_bytes; |
ysr@777 | 533 | } |
ysr@777 | 534 | |
ysr@777 | 535 | void decrease_known_garbage_bytes(size_t known_garbage_bytes) { |
ysr@777 | 536 | guarantee( _known_garbage_bytes >= known_garbage_bytes, "invariant" ); |
ysr@777 | 537 | |
ysr@777 | 538 | _known_garbage_bytes -= known_garbage_bytes; |
ysr@777 | 539 | size_t heap_bytes = _g1->capacity(); |
ysr@777 | 540 | _known_garbage_ratio = (double) _known_garbage_bytes / (double) heap_bytes; |
ysr@777 | 541 | } |
ysr@777 | 542 | |
ysr@777 | 543 | G1MMUTracker* mmu_tracker() { |
ysr@777 | 544 | return _mmu_tracker; |
ysr@777 | 545 | } |
ysr@777 | 546 | |
ysr@777 | 547 | double predict_init_time_ms() { |
ysr@777 | 548 | return get_new_prediction(_concurrent_mark_init_times_ms); |
ysr@777 | 549 | } |
ysr@777 | 550 | |
ysr@777 | 551 | double predict_remark_time_ms() { |
ysr@777 | 552 | return get_new_prediction(_concurrent_mark_remark_times_ms); |
ysr@777 | 553 | } |
ysr@777 | 554 | |
ysr@777 | 555 | double predict_cleanup_time_ms() { |
ysr@777 | 556 | return get_new_prediction(_concurrent_mark_cleanup_times_ms); |
ysr@777 | 557 | } |
ysr@777 | 558 | |
ysr@777 | 559 | // Returns an estimate of the survival rate of the region at yg-age |
ysr@777 | 560 | // "yg_age". |
apetrusenko@980 | 561 | double predict_yg_surv_rate(int age, SurvRateGroup* surv_rate_group) { |
apetrusenko@980 | 562 | TruncatedSeq* seq = surv_rate_group->get_seq(age); |
ysr@777 | 563 | if (seq->num() == 0) |
ysr@777 | 564 | gclog_or_tty->print("BARF! age is %d", age); |
ysr@777 | 565 | guarantee( seq->num() > 0, "invariant" ); |
ysr@777 | 566 | double pred = get_new_prediction(seq); |
ysr@777 | 567 | if (pred > 1.0) |
ysr@777 | 568 | pred = 1.0; |
ysr@777 | 569 | return pred; |
ysr@777 | 570 | } |
ysr@777 | 571 | |
apetrusenko@980 | 572 | double predict_yg_surv_rate(int age) { |
apetrusenko@980 | 573 | return predict_yg_surv_rate(age, _short_lived_surv_rate_group); |
apetrusenko@980 | 574 | } |
apetrusenko@980 | 575 | |
ysr@777 | 576 | double accum_yg_surv_rate_pred(int age) { |
ysr@777 | 577 | return _short_lived_surv_rate_group->accum_surv_rate_pred(age); |
ysr@777 | 578 | } |
ysr@777 | 579 | |
ysr@777 | 580 | protected: |
ysr@777 | 581 | void print_stats (int level, const char* str, double value); |
ysr@777 | 582 | void print_stats (int level, const char* str, int value); |
ysr@777 | 583 | void print_par_stats (int level, const char* str, double* data) { |
ysr@777 | 584 | print_par_stats(level, str, data, true); |
ysr@777 | 585 | } |
ysr@777 | 586 | void print_par_stats (int level, const char* str, double* data, bool summary); |
ysr@777 | 587 | void print_par_buffers (int level, const char* str, double* data, bool summary); |
ysr@777 | 588 | |
ysr@777 | 589 | void check_other_times(int level, |
ysr@777 | 590 | NumberSeq* other_times_ms, |
ysr@777 | 591 | NumberSeq* calc_other_times_ms) const; |
ysr@777 | 592 | |
ysr@777 | 593 | void print_summary (PauseSummary* stats) const; |
apetrusenko@1112 | 594 | void print_abandoned_summary(PauseSummary* summary) const; |
ysr@777 | 595 | |
ysr@777 | 596 | void print_summary (int level, const char* str, NumberSeq* seq) const; |
ysr@777 | 597 | void print_summary_sd (int level, const char* str, NumberSeq* seq) const; |
ysr@777 | 598 | |
ysr@777 | 599 | double avg_value (double* data); |
ysr@777 | 600 | double max_value (double* data); |
ysr@777 | 601 | double sum_of_values (double* data); |
ysr@777 | 602 | double max_sum (double* data1, double* data2); |
ysr@777 | 603 | |
ysr@777 | 604 | int _last_satb_drain_processed_buffers; |
ysr@777 | 605 | int _last_update_rs_processed_buffers; |
ysr@777 | 606 | double _last_pause_time_ms; |
ysr@777 | 607 | |
ysr@777 | 608 | size_t _bytes_in_to_space_before_gc; |
ysr@777 | 609 | size_t _bytes_in_to_space_after_gc; |
ysr@777 | 610 | size_t bytes_in_to_space_during_gc() { |
ysr@777 | 611 | return |
ysr@777 | 612 | _bytes_in_to_space_after_gc - _bytes_in_to_space_before_gc; |
ysr@777 | 613 | } |
ysr@777 | 614 | size_t _bytes_in_collection_set_before_gc; |
ysr@777 | 615 | // Used to count used bytes in CS. |
ysr@777 | 616 | friend class CountCSClosure; |
ysr@777 | 617 | |
ysr@777 | 618 | // Statistics kept per GC stoppage, pause or full. |
ysr@777 | 619 | TruncatedSeq* _recent_prev_end_times_for_all_gcs_sec; |
ysr@777 | 620 | |
ysr@777 | 621 | // We track markings. |
ysr@777 | 622 | int _num_markings; |
ysr@777 | 623 | double _mark_thread_startup_sec; // Time at startup of marking thread |
ysr@777 | 624 | |
ysr@777 | 625 | // Add a new GC of the given duration and end time to the record. |
ysr@777 | 626 | void update_recent_gc_times(double end_time_sec, double elapsed_ms); |
ysr@777 | 627 | |
ysr@777 | 628 | // The head of the list (via "next_in_collection_set()") representing the |
ysr@777 | 629 | // current collection set. |
ysr@777 | 630 | HeapRegion* _collection_set; |
ysr@777 | 631 | size_t _collection_set_size; |
ysr@777 | 632 | size_t _collection_set_bytes_used_before; |
ysr@777 | 633 | |
ysr@777 | 634 | // Info about marking. |
ysr@777 | 635 | int _n_marks; // Sticky at 2, so we know when we've done at least 2. |
ysr@777 | 636 | |
ysr@777 | 637 | // The number of collection pauses at the end of the last mark. |
ysr@777 | 638 | size_t _n_pauses_at_mark_end; |
ysr@777 | 639 | |
ysr@777 | 640 | // ==== This section is for stats related to starting Conc Refinement on time. |
ysr@777 | 641 | size_t _conc_refine_enabled; |
ysr@777 | 642 | size_t _conc_refine_zero_traversals; |
ysr@777 | 643 | size_t _conc_refine_max_traversals; |
ysr@777 | 644 | // In # of heap regions. |
ysr@777 | 645 | size_t _conc_refine_current_delta; |
ysr@777 | 646 | |
ysr@777 | 647 | // At the beginning of a collection pause, update the variables above, |
ysr@777 | 648 | // especially the "delta". |
ysr@777 | 649 | void update_conc_refine_data(); |
ysr@777 | 650 | // ==== |
ysr@777 | 651 | |
ysr@777 | 652 | // Stash a pointer to the g1 heap. |
ysr@777 | 653 | G1CollectedHeap* _g1; |
ysr@777 | 654 | |
ysr@777 | 655 | // The average time in ms per collection pause, averaged over recent pauses. |
ysr@777 | 656 | double recent_avg_time_for_pauses_ms(); |
ysr@777 | 657 | |
ysr@777 | 658 | // The average time in ms for processing CollectedHeap strong roots, per |
ysr@777 | 659 | // collection pause, averaged over recent pauses. |
ysr@777 | 660 | double recent_avg_time_for_CH_strong_ms(); |
ysr@777 | 661 | |
ysr@777 | 662 | // The average time in ms for processing the G1 remembered set, per |
ysr@777 | 663 | // pause, averaged over recent pauses. |
ysr@777 | 664 | double recent_avg_time_for_G1_strong_ms(); |
ysr@777 | 665 | |
ysr@777 | 666 | // The average time in ms for "evacuating followers", per pause, averaged |
ysr@777 | 667 | // over recent pauses. |
ysr@777 | 668 | double recent_avg_time_for_evac_ms(); |
ysr@777 | 669 | |
ysr@777 | 670 | // The number of "recent" GCs recorded in the number sequences |
ysr@777 | 671 | int number_of_recent_gcs(); |
ysr@777 | 672 | |
ysr@777 | 673 | // The average survival ratio, computed by the total number of bytes |
ysr@777 | 674 | // suriviving / total number of bytes before collection over the last |
ysr@777 | 675 | // several recent pauses. |
ysr@777 | 676 | double recent_avg_survival_fraction(); |
ysr@777 | 677 | // The survival fraction of the most recent pause; if there have been no |
ysr@777 | 678 | // pauses, returns 1.0. |
ysr@777 | 679 | double last_survival_fraction(); |
ysr@777 | 680 | |
ysr@777 | 681 | // Returns a "conservative" estimate of the recent survival rate, i.e., |
ysr@777 | 682 | // one that may be higher than "recent_avg_survival_fraction". |
ysr@777 | 683 | // This is conservative in several ways: |
ysr@777 | 684 | // If there have been few pauses, it will assume a potential high |
ysr@777 | 685 | // variance, and err on the side of caution. |
ysr@777 | 686 | // It puts a lower bound (currently 0.1) on the value it will return. |
ysr@777 | 687 | // To try to detect phase changes, if the most recent pause ("latest") has a |
ysr@777 | 688 | // higher-than average ("avg") survival rate, it returns that rate. |
ysr@777 | 689 | // "work" version is a utility function; young is restricted to young regions. |
ysr@777 | 690 | double conservative_avg_survival_fraction_work(double avg, |
ysr@777 | 691 | double latest); |
ysr@777 | 692 | |
ysr@777 | 693 | // The arguments are the two sequences that keep track of the number of bytes |
ysr@777 | 694 | // surviving and the total number of bytes before collection, resp., |
ysr@777 | 695 | // over the last evereal recent pauses |
ysr@777 | 696 | // Returns the survival rate for the category in the most recent pause. |
ysr@777 | 697 | // If there have been no pauses, returns 1.0. |
ysr@777 | 698 | double last_survival_fraction_work(TruncatedSeq* surviving, |
ysr@777 | 699 | TruncatedSeq* before); |
ysr@777 | 700 | |
ysr@777 | 701 | // The arguments are the two sequences that keep track of the number of bytes |
ysr@777 | 702 | // surviving and the total number of bytes before collection, resp., |
ysr@777 | 703 | // over the last several recent pauses |
ysr@777 | 704 | // Returns the average survival ration over the last several recent pauses |
ysr@777 | 705 | // If there have been no pauses, return 1.0 |
ysr@777 | 706 | double recent_avg_survival_fraction_work(TruncatedSeq* surviving, |
ysr@777 | 707 | TruncatedSeq* before); |
ysr@777 | 708 | |
ysr@777 | 709 | double conservative_avg_survival_fraction() { |
ysr@777 | 710 | double avg = recent_avg_survival_fraction(); |
ysr@777 | 711 | double latest = last_survival_fraction(); |
ysr@777 | 712 | return conservative_avg_survival_fraction_work(avg, latest); |
ysr@777 | 713 | } |
ysr@777 | 714 | |
ysr@777 | 715 | // The ratio of gc time to elapsed time, computed over recent pauses. |
ysr@777 | 716 | double _recent_avg_pause_time_ratio; |
ysr@777 | 717 | |
ysr@777 | 718 | double recent_avg_pause_time_ratio() { |
ysr@777 | 719 | return _recent_avg_pause_time_ratio; |
ysr@777 | 720 | } |
ysr@777 | 721 | |
ysr@777 | 722 | // Number of pauses between concurrent marking. |
ysr@777 | 723 | size_t _pauses_btwn_concurrent_mark; |
ysr@777 | 724 | |
ysr@777 | 725 | size_t _n_marks_since_last_pause; |
ysr@777 | 726 | |
ysr@777 | 727 | // True iff CM has been initiated. |
ysr@777 | 728 | bool _conc_mark_initiated; |
ysr@777 | 729 | |
ysr@777 | 730 | // True iff CM should be initiated |
ysr@777 | 731 | bool _should_initiate_conc_mark; |
ysr@777 | 732 | bool _should_revert_to_full_young_gcs; |
ysr@777 | 733 | bool _last_full_young_gc; |
ysr@777 | 734 | |
ysr@777 | 735 | // This set of variables tracks the collector efficiency, in order to |
ysr@777 | 736 | // determine whether we should initiate a new marking. |
ysr@777 | 737 | double _cur_mark_stop_world_time_ms; |
ysr@777 | 738 | double _mark_init_start_sec; |
ysr@777 | 739 | double _mark_remark_start_sec; |
ysr@777 | 740 | double _mark_cleanup_start_sec; |
ysr@777 | 741 | double _mark_closure_time_ms; |
ysr@777 | 742 | |
ysr@777 | 743 | void calculate_young_list_min_length(); |
ysr@777 | 744 | void calculate_young_list_target_config(); |
ysr@777 | 745 | void calculate_young_list_target_config(size_t rs_lengths); |
ysr@777 | 746 | size_t calculate_optimal_so_length(size_t young_list_length); |
ysr@777 | 747 | |
ysr@777 | 748 | public: |
ysr@777 | 749 | |
ysr@777 | 750 | G1CollectorPolicy(); |
ysr@777 | 751 | |
ysr@777 | 752 | virtual G1CollectorPolicy* as_g1_policy() { return this; } |
ysr@777 | 753 | |
ysr@777 | 754 | virtual CollectorPolicy::Name kind() { |
ysr@777 | 755 | return CollectorPolicy::G1CollectorPolicyKind; |
ysr@777 | 756 | } |
ysr@777 | 757 | |
ysr@777 | 758 | void check_prediction_validity(); |
ysr@777 | 759 | |
ysr@777 | 760 | size_t bytes_in_collection_set() { |
ysr@777 | 761 | return _bytes_in_collection_set_before_gc; |
ysr@777 | 762 | } |
ysr@777 | 763 | |
ysr@777 | 764 | size_t bytes_in_to_space() { |
ysr@777 | 765 | return bytes_in_to_space_during_gc(); |
ysr@777 | 766 | } |
ysr@777 | 767 | |
ysr@777 | 768 | unsigned calc_gc_alloc_time_stamp() { |
ysr@777 | 769 | return _all_pause_times_ms->num() + 1; |
ysr@777 | 770 | } |
ysr@777 | 771 | |
ysr@777 | 772 | protected: |
ysr@777 | 773 | |
ysr@777 | 774 | // Count the number of bytes used in the CS. |
ysr@777 | 775 | void count_CS_bytes_used(); |
ysr@777 | 776 | |
ysr@777 | 777 | // Together these do the base cleanup-recording work. Subclasses might |
ysr@777 | 778 | // want to put something between them. |
ysr@777 | 779 | void record_concurrent_mark_cleanup_end_work1(size_t freed_bytes, |
ysr@777 | 780 | size_t max_live_bytes); |
ysr@777 | 781 | void record_concurrent_mark_cleanup_end_work2(); |
ysr@777 | 782 | |
ysr@777 | 783 | public: |
ysr@777 | 784 | |
ysr@777 | 785 | virtual void init(); |
ysr@777 | 786 | |
apetrusenko@980 | 787 | // Create jstat counters for the policy. |
apetrusenko@980 | 788 | virtual void initialize_gc_policy_counters(); |
apetrusenko@980 | 789 | |
ysr@777 | 790 | virtual HeapWord* mem_allocate_work(size_t size, |
ysr@777 | 791 | bool is_tlab, |
ysr@777 | 792 | bool* gc_overhead_limit_was_exceeded); |
ysr@777 | 793 | |
ysr@777 | 794 | // This method controls how a collector handles one or more |
ysr@777 | 795 | // of its generations being fully allocated. |
ysr@777 | 796 | virtual HeapWord* satisfy_failed_allocation(size_t size, |
ysr@777 | 797 | bool is_tlab); |
ysr@777 | 798 | |
ysr@777 | 799 | BarrierSet::Name barrier_set_name() { return BarrierSet::G1SATBCTLogging; } |
ysr@777 | 800 | |
ysr@777 | 801 | GenRemSet::Name rem_set_name() { return GenRemSet::CardTable; } |
ysr@777 | 802 | |
ysr@777 | 803 | // The number of collection pauses so far. |
ysr@777 | 804 | long n_pauses() const { return _n_pauses; } |
ysr@777 | 805 | |
ysr@777 | 806 | // Update the heuristic info to record a collection pause of the given |
ysr@777 | 807 | // start time, where the given number of bytes were used at the start. |
ysr@777 | 808 | // This may involve changing the desired size of a collection set. |
ysr@777 | 809 | |
ysr@777 | 810 | virtual void record_stop_world_start(); |
ysr@777 | 811 | |
ysr@777 | 812 | virtual void record_collection_pause_start(double start_time_sec, |
ysr@777 | 813 | size_t start_used); |
ysr@777 | 814 | |
ysr@777 | 815 | // Must currently be called while the world is stopped. |
ysr@777 | 816 | virtual void record_concurrent_mark_init_start(); |
ysr@777 | 817 | virtual void record_concurrent_mark_init_end(); |
ysr@777 | 818 | void record_concurrent_mark_init_end_pre(double |
ysr@777 | 819 | mark_init_elapsed_time_ms); |
ysr@777 | 820 | |
ysr@777 | 821 | void record_mark_closure_time(double mark_closure_time_ms); |
ysr@777 | 822 | |
ysr@777 | 823 | virtual void record_concurrent_mark_remark_start(); |
ysr@777 | 824 | virtual void record_concurrent_mark_remark_end(); |
ysr@777 | 825 | |
ysr@777 | 826 | virtual void record_concurrent_mark_cleanup_start(); |
ysr@777 | 827 | virtual void record_concurrent_mark_cleanup_end(size_t freed_bytes, |
ysr@777 | 828 | size_t max_live_bytes); |
ysr@777 | 829 | virtual void record_concurrent_mark_cleanup_completed(); |
ysr@777 | 830 | |
ysr@777 | 831 | virtual void record_concurrent_pause(); |
ysr@777 | 832 | virtual void record_concurrent_pause_end(); |
ysr@777 | 833 | |
ysr@777 | 834 | virtual void record_collection_pause_end_CH_strong_roots(); |
ysr@777 | 835 | virtual void record_collection_pause_end_G1_strong_roots(); |
ysr@777 | 836 | |
apetrusenko@1112 | 837 | virtual void record_collection_pause_end(bool abandoned); |
ysr@777 | 838 | |
ysr@777 | 839 | // Record the fact that a full collection occurred. |
ysr@777 | 840 | virtual void record_full_collection_start(); |
ysr@777 | 841 | virtual void record_full_collection_end(); |
ysr@777 | 842 | |
ysr@777 | 843 | void record_ext_root_scan_time(int worker_i, double ms) { |
ysr@777 | 844 | _par_last_ext_root_scan_times_ms[worker_i] = ms; |
ysr@777 | 845 | } |
ysr@777 | 846 | |
ysr@777 | 847 | void record_mark_stack_scan_time(int worker_i, double ms) { |
ysr@777 | 848 | _par_last_mark_stack_scan_times_ms[worker_i] = ms; |
ysr@777 | 849 | } |
ysr@777 | 850 | |
ysr@777 | 851 | void record_scan_only_time(int worker_i, double ms, int n) { |
ysr@777 | 852 | _par_last_scan_only_times_ms[worker_i] = ms; |
ysr@777 | 853 | _par_last_scan_only_regions_scanned[worker_i] = (double) n; |
ysr@777 | 854 | } |
ysr@777 | 855 | |
ysr@777 | 856 | void record_satb_drain_time(double ms) { |
ysr@777 | 857 | _cur_satb_drain_time_ms = ms; |
ysr@777 | 858 | _satb_drain_time_set = true; |
ysr@777 | 859 | } |
ysr@777 | 860 | |
ysr@777 | 861 | void record_satb_drain_processed_buffers (int processed_buffers) { |
ysr@777 | 862 | _last_satb_drain_processed_buffers = processed_buffers; |
ysr@777 | 863 | } |
ysr@777 | 864 | |
ysr@777 | 865 | void record_mod_union_time(double ms) { |
ysr@777 | 866 | _all_mod_union_times_ms->add(ms); |
ysr@777 | 867 | } |
ysr@777 | 868 | |
ysr@777 | 869 | void record_update_rs_start_time(int thread, double ms) { |
ysr@777 | 870 | _par_last_update_rs_start_times_ms[thread] = ms; |
ysr@777 | 871 | } |
ysr@777 | 872 | |
ysr@777 | 873 | void record_update_rs_time(int thread, double ms) { |
ysr@777 | 874 | _par_last_update_rs_times_ms[thread] = ms; |
ysr@777 | 875 | } |
ysr@777 | 876 | |
ysr@777 | 877 | void record_update_rs_processed_buffers (int thread, |
ysr@777 | 878 | double processed_buffers) { |
ysr@777 | 879 | _par_last_update_rs_processed_buffers[thread] = processed_buffers; |
ysr@777 | 880 | } |
ysr@777 | 881 | |
ysr@777 | 882 | void record_scan_rs_start_time(int thread, double ms) { |
ysr@777 | 883 | _par_last_scan_rs_start_times_ms[thread] = ms; |
ysr@777 | 884 | } |
ysr@777 | 885 | |
ysr@777 | 886 | void record_scan_rs_time(int thread, double ms) { |
ysr@777 | 887 | _par_last_scan_rs_times_ms[thread] = ms; |
ysr@777 | 888 | } |
ysr@777 | 889 | |
ysr@777 | 890 | void record_scan_new_refs_time(int thread, double ms) { |
ysr@777 | 891 | _par_last_scan_new_refs_times_ms[thread] = ms; |
ysr@777 | 892 | } |
ysr@777 | 893 | |
ysr@777 | 894 | double get_scan_new_refs_time(int thread) { |
ysr@777 | 895 | return _par_last_scan_new_refs_times_ms[thread]; |
ysr@777 | 896 | } |
ysr@777 | 897 | |
ysr@777 | 898 | void reset_obj_copy_time(int thread) { |
ysr@777 | 899 | _par_last_obj_copy_times_ms[thread] = 0.0; |
ysr@777 | 900 | } |
ysr@777 | 901 | |
ysr@777 | 902 | void reset_obj_copy_time() { |
ysr@777 | 903 | reset_obj_copy_time(0); |
ysr@777 | 904 | } |
ysr@777 | 905 | |
ysr@777 | 906 | void record_obj_copy_time(int thread, double ms) { |
ysr@777 | 907 | _par_last_obj_copy_times_ms[thread] += ms; |
ysr@777 | 908 | } |
ysr@777 | 909 | |
ysr@777 | 910 | void record_obj_copy_time(double ms) { |
ysr@777 | 911 | record_obj_copy_time(0, ms); |
ysr@777 | 912 | } |
ysr@777 | 913 | |
ysr@777 | 914 | void record_termination_time(int thread, double ms) { |
ysr@777 | 915 | _par_last_termination_times_ms[thread] = ms; |
ysr@777 | 916 | } |
ysr@777 | 917 | |
ysr@777 | 918 | void record_termination_time(double ms) { |
ysr@777 | 919 | record_termination_time(0, ms); |
ysr@777 | 920 | } |
ysr@777 | 921 | |
tonyp@1030 | 922 | void record_pause_time_ms(double ms) { |
ysr@777 | 923 | _last_pause_time_ms = ms; |
ysr@777 | 924 | } |
ysr@777 | 925 | |
ysr@777 | 926 | void record_clear_ct_time(double ms) { |
ysr@777 | 927 | _cur_clear_ct_time_ms = ms; |
ysr@777 | 928 | } |
ysr@777 | 929 | |
ysr@777 | 930 | void record_par_time(double ms) { |
ysr@777 | 931 | _cur_collection_par_time_ms = ms; |
ysr@777 | 932 | } |
ysr@777 | 933 | |
ysr@777 | 934 | void record_aux_start_time(int i) { |
ysr@777 | 935 | guarantee(i < _aux_num, "should be within range"); |
ysr@777 | 936 | _cur_aux_start_times_ms[i] = os::elapsedTime() * 1000.0; |
ysr@777 | 937 | } |
ysr@777 | 938 | |
ysr@777 | 939 | void record_aux_end_time(int i) { |
ysr@777 | 940 | guarantee(i < _aux_num, "should be within range"); |
ysr@777 | 941 | double ms = os::elapsedTime() * 1000.0 - _cur_aux_start_times_ms[i]; |
ysr@777 | 942 | _cur_aux_times_set[i] = true; |
ysr@777 | 943 | _cur_aux_times_ms[i] += ms; |
ysr@777 | 944 | } |
ysr@777 | 945 | |
ysr@777 | 946 | // Record the fact that "bytes" bytes allocated in a region. |
ysr@777 | 947 | void record_before_bytes(size_t bytes); |
ysr@777 | 948 | void record_after_bytes(size_t bytes); |
ysr@777 | 949 | |
ysr@777 | 950 | // Returns "true" if this is a good time to do a collection pause. |
ysr@777 | 951 | // The "word_size" argument, if non-zero, indicates the size of an |
ysr@777 | 952 | // allocation request that is prompting this query. |
ysr@777 | 953 | virtual bool should_do_collection_pause(size_t word_size) = 0; |
ysr@777 | 954 | |
ysr@777 | 955 | // Choose a new collection set. Marks the chosen regions as being |
ysr@777 | 956 | // "in_collection_set", and links them together. The head and number of |
ysr@777 | 957 | // the collection set are available via access methods. |
apetrusenko@1112 | 958 | virtual void choose_collection_set() = 0; |
ysr@777 | 959 | |
ysr@777 | 960 | void clear_collection_set() { _collection_set = NULL; } |
ysr@777 | 961 | |
ysr@777 | 962 | // The head of the list (via "next_in_collection_set()") representing the |
ysr@777 | 963 | // current collection set. |
ysr@777 | 964 | HeapRegion* collection_set() { return _collection_set; } |
ysr@777 | 965 | |
ysr@777 | 966 | // The number of elements in the current collection set. |
ysr@777 | 967 | size_t collection_set_size() { return _collection_set_size; } |
ysr@777 | 968 | |
ysr@777 | 969 | // Add "hr" to the CS. |
ysr@777 | 970 | void add_to_collection_set(HeapRegion* hr); |
ysr@777 | 971 | |
ysr@777 | 972 | bool should_initiate_conc_mark() { return _should_initiate_conc_mark; } |
ysr@777 | 973 | void set_should_initiate_conc_mark() { _should_initiate_conc_mark = true; } |
ysr@777 | 974 | void unset_should_initiate_conc_mark(){ _should_initiate_conc_mark = false; } |
ysr@777 | 975 | |
ysr@777 | 976 | void checkpoint_conc_overhead(); |
ysr@777 | 977 | |
ysr@777 | 978 | // If an expansion would be appropriate, because recent GC overhead had |
ysr@777 | 979 | // exceeded the desired limit, return an amount to expand by. |
ysr@777 | 980 | virtual size_t expansion_amount(); |
ysr@777 | 981 | |
ysr@777 | 982 | // note start of mark thread |
ysr@777 | 983 | void note_start_of_mark_thread(); |
ysr@777 | 984 | |
ysr@777 | 985 | // The marked bytes of the "r" has changed; reclassify it's desirability |
ysr@777 | 986 | // for marking. Also asserts that "r" is eligible for a CS. |
ysr@777 | 987 | virtual void note_change_in_marked_bytes(HeapRegion* r) = 0; |
ysr@777 | 988 | |
ysr@777 | 989 | #ifndef PRODUCT |
ysr@777 | 990 | // Check any appropriate marked bytes info, asserting false if |
ysr@777 | 991 | // something's wrong, else returning "true". |
ysr@777 | 992 | virtual bool assertMarkedBytesDataOK() = 0; |
ysr@777 | 993 | #endif |
ysr@777 | 994 | |
ysr@777 | 995 | // Print tracing information. |
ysr@777 | 996 | void print_tracing_info() const; |
ysr@777 | 997 | |
ysr@777 | 998 | // Print stats on young survival ratio |
ysr@777 | 999 | void print_yg_surv_rate_info() const; |
ysr@777 | 1000 | |
apetrusenko@980 | 1001 | void finished_recalculating_age_indexes(bool is_survivors) { |
apetrusenko@980 | 1002 | if (is_survivors) { |
apetrusenko@980 | 1003 | _survivor_surv_rate_group->finished_recalculating_age_indexes(); |
apetrusenko@980 | 1004 | } else { |
apetrusenko@980 | 1005 | _short_lived_surv_rate_group->finished_recalculating_age_indexes(); |
apetrusenko@980 | 1006 | } |
ysr@777 | 1007 | // do that for any other surv rate groups |
ysr@777 | 1008 | } |
ysr@777 | 1009 | |
ysr@777 | 1010 | bool should_add_next_region_to_young_list(); |
ysr@777 | 1011 | |
ysr@777 | 1012 | bool in_young_gc_mode() { |
ysr@777 | 1013 | return _in_young_gc_mode; |
ysr@777 | 1014 | } |
ysr@777 | 1015 | void set_in_young_gc_mode(bool in_young_gc_mode) { |
ysr@777 | 1016 | _in_young_gc_mode = in_young_gc_mode; |
ysr@777 | 1017 | } |
ysr@777 | 1018 | |
ysr@777 | 1019 | bool full_young_gcs() { |
ysr@777 | 1020 | return _full_young_gcs; |
ysr@777 | 1021 | } |
ysr@777 | 1022 | void set_full_young_gcs(bool full_young_gcs) { |
ysr@777 | 1023 | _full_young_gcs = full_young_gcs; |
ysr@777 | 1024 | } |
ysr@777 | 1025 | |
ysr@777 | 1026 | bool adaptive_young_list_length() { |
ysr@777 | 1027 | return _adaptive_young_list_length; |
ysr@777 | 1028 | } |
ysr@777 | 1029 | void set_adaptive_young_list_length(bool adaptive_young_list_length) { |
ysr@777 | 1030 | _adaptive_young_list_length = adaptive_young_list_length; |
ysr@777 | 1031 | } |
ysr@777 | 1032 | |
ysr@777 | 1033 | inline double get_gc_eff_factor() { |
ysr@777 | 1034 | double ratio = _known_garbage_ratio; |
ysr@777 | 1035 | |
ysr@777 | 1036 | double square = ratio * ratio; |
ysr@777 | 1037 | // square = square * square; |
ysr@777 | 1038 | double ret = square * 9.0 + 1.0; |
ysr@777 | 1039 | #if 0 |
ysr@777 | 1040 | gclog_or_tty->print_cr("ratio = %1.2lf, ret = %1.2lf", ratio, ret); |
ysr@777 | 1041 | #endif // 0 |
ysr@777 | 1042 | guarantee(0.0 <= ret && ret < 10.0, "invariant!"); |
ysr@777 | 1043 | return ret; |
ysr@777 | 1044 | } |
ysr@777 | 1045 | |
ysr@777 | 1046 | // |
ysr@777 | 1047 | // Survivor regions policy. |
ysr@777 | 1048 | // |
ysr@777 | 1049 | protected: |
ysr@777 | 1050 | |
ysr@777 | 1051 | // Current tenuring threshold, set to 0 if the collector reaches the |
ysr@777 | 1052 | // maximum amount of suvivors regions. |
ysr@777 | 1053 | int _tenuring_threshold; |
ysr@777 | 1054 | |
apetrusenko@980 | 1055 | // The limit on the number of regions allocated for survivors. |
apetrusenko@980 | 1056 | size_t _max_survivor_regions; |
apetrusenko@980 | 1057 | |
apetrusenko@980 | 1058 | // The amount of survor regions after a collection. |
apetrusenko@980 | 1059 | size_t _recorded_survivor_regions; |
apetrusenko@980 | 1060 | // List of survivor regions. |
apetrusenko@980 | 1061 | HeapRegion* _recorded_survivor_head; |
apetrusenko@980 | 1062 | HeapRegion* _recorded_survivor_tail; |
apetrusenko@980 | 1063 | |
apetrusenko@980 | 1064 | ageTable _survivors_age_table; |
apetrusenko@980 | 1065 | |
ysr@777 | 1066 | public: |
ysr@777 | 1067 | |
ysr@777 | 1068 | inline GCAllocPurpose |
ysr@777 | 1069 | evacuation_destination(HeapRegion* src_region, int age, size_t word_sz) { |
ysr@777 | 1070 | if (age < _tenuring_threshold && src_region->is_young()) { |
ysr@777 | 1071 | return GCAllocForSurvived; |
ysr@777 | 1072 | } else { |
ysr@777 | 1073 | return GCAllocForTenured; |
ysr@777 | 1074 | } |
ysr@777 | 1075 | } |
ysr@777 | 1076 | |
ysr@777 | 1077 | inline bool track_object_age(GCAllocPurpose purpose) { |
ysr@777 | 1078 | return purpose == GCAllocForSurvived; |
ysr@777 | 1079 | } |
ysr@777 | 1080 | |
ysr@777 | 1081 | inline GCAllocPurpose alternative_purpose(int purpose) { |
ysr@777 | 1082 | return GCAllocForTenured; |
ysr@777 | 1083 | } |
ysr@777 | 1084 | |
apetrusenko@980 | 1085 | static const size_t REGIONS_UNLIMITED = ~(size_t)0; |
apetrusenko@980 | 1086 | |
apetrusenko@980 | 1087 | size_t max_regions(int purpose); |
ysr@777 | 1088 | |
ysr@777 | 1089 | // The limit on regions for a particular purpose is reached. |
ysr@777 | 1090 | void note_alloc_region_limit_reached(int purpose) { |
ysr@777 | 1091 | if (purpose == GCAllocForSurvived) { |
ysr@777 | 1092 | _tenuring_threshold = 0; |
ysr@777 | 1093 | } |
ysr@777 | 1094 | } |
ysr@777 | 1095 | |
ysr@777 | 1096 | void note_start_adding_survivor_regions() { |
ysr@777 | 1097 | _survivor_surv_rate_group->start_adding_regions(); |
ysr@777 | 1098 | } |
ysr@777 | 1099 | |
ysr@777 | 1100 | void note_stop_adding_survivor_regions() { |
ysr@777 | 1101 | _survivor_surv_rate_group->stop_adding_regions(); |
ysr@777 | 1102 | } |
apetrusenko@980 | 1103 | |
apetrusenko@980 | 1104 | void record_survivor_regions(size_t regions, |
apetrusenko@980 | 1105 | HeapRegion* head, |
apetrusenko@980 | 1106 | HeapRegion* tail) { |
apetrusenko@980 | 1107 | _recorded_survivor_regions = regions; |
apetrusenko@980 | 1108 | _recorded_survivor_head = head; |
apetrusenko@980 | 1109 | _recorded_survivor_tail = tail; |
apetrusenko@980 | 1110 | } |
apetrusenko@980 | 1111 | |
apetrusenko@980 | 1112 | void record_thread_age_table(ageTable* age_table) |
apetrusenko@980 | 1113 | { |
apetrusenko@980 | 1114 | _survivors_age_table.merge_par(age_table); |
apetrusenko@980 | 1115 | } |
apetrusenko@980 | 1116 | |
apetrusenko@980 | 1117 | // Calculates survivor space parameters. |
apetrusenko@980 | 1118 | void calculate_survivors_policy(); |
apetrusenko@980 | 1119 | |
ysr@777 | 1120 | }; |
ysr@777 | 1121 | |
ysr@777 | 1122 | // This encapsulates a particular strategy for a g1 Collector. |
ysr@777 | 1123 | // |
ysr@777 | 1124 | // Start a concurrent mark when our heap size is n bytes |
ysr@777 | 1125 | // greater then our heap size was at the last concurrent |
ysr@777 | 1126 | // mark. Where n is a function of the CMSTriggerRatio |
ysr@777 | 1127 | // and the MinHeapFreeRatio. |
ysr@777 | 1128 | // |
ysr@777 | 1129 | // Start a g1 collection pause when we have allocated the |
ysr@777 | 1130 | // average number of bytes currently being freed in |
ysr@777 | 1131 | // a collection, but only if it is at least one region |
ysr@777 | 1132 | // full |
ysr@777 | 1133 | // |
ysr@777 | 1134 | // Resize Heap based on desired |
ysr@777 | 1135 | // allocation space, where desired allocation space is |
ysr@777 | 1136 | // a function of survival rate and desired future to size. |
ysr@777 | 1137 | // |
ysr@777 | 1138 | // Choose collection set by first picking all older regions |
ysr@777 | 1139 | // which have a survival rate which beats our projected young |
ysr@777 | 1140 | // survival rate. Then fill out the number of needed regions |
ysr@777 | 1141 | // with young regions. |
ysr@777 | 1142 | |
ysr@777 | 1143 | class G1CollectorPolicy_BestRegionsFirst: public G1CollectorPolicy { |
ysr@777 | 1144 | CollectionSetChooser* _collectionSetChooser; |
ysr@777 | 1145 | // If the estimated is less then desirable, resize if possible. |
ysr@777 | 1146 | void expand_if_possible(size_t numRegions); |
ysr@777 | 1147 | |
apetrusenko@1112 | 1148 | virtual void choose_collection_set(); |
ysr@777 | 1149 | virtual void record_collection_pause_start(double start_time_sec, |
ysr@777 | 1150 | size_t start_used); |
ysr@777 | 1151 | virtual void record_concurrent_mark_cleanup_end(size_t freed_bytes, |
ysr@777 | 1152 | size_t max_live_bytes); |
ysr@777 | 1153 | virtual void record_full_collection_end(); |
ysr@777 | 1154 | |
ysr@777 | 1155 | public: |
ysr@777 | 1156 | G1CollectorPolicy_BestRegionsFirst() { |
ysr@777 | 1157 | _collectionSetChooser = new CollectionSetChooser(); |
ysr@777 | 1158 | } |
apetrusenko@1112 | 1159 | void record_collection_pause_end(bool abandoned); |
ysr@777 | 1160 | bool should_do_collection_pause(size_t word_size); |
ysr@777 | 1161 | // This is not needed any more, after the CSet choosing code was |
ysr@777 | 1162 | // changed to use the pause prediction work. But let's leave the |
ysr@777 | 1163 | // hook in just in case. |
ysr@777 | 1164 | void note_change_in_marked_bytes(HeapRegion* r) { } |
ysr@777 | 1165 | #ifndef PRODUCT |
ysr@777 | 1166 | bool assertMarkedBytesDataOK(); |
ysr@777 | 1167 | #endif |
ysr@777 | 1168 | }; |
ysr@777 | 1169 | |
ysr@777 | 1170 | // This should move to some place more general... |
ysr@777 | 1171 | |
ysr@777 | 1172 | // If we have "n" measurements, and we've kept track of their "sum" and the |
ysr@777 | 1173 | // "sum_of_squares" of the measurements, this returns the variance of the |
ysr@777 | 1174 | // sequence. |
ysr@777 | 1175 | inline double variance(int n, double sum_of_squares, double sum) { |
ysr@777 | 1176 | double n_d = (double)n; |
ysr@777 | 1177 | double avg = sum/n_d; |
ysr@777 | 1178 | return (sum_of_squares - 2.0 * avg * sum + n_d * avg * avg) / n_d; |
ysr@777 | 1179 | } |
ysr@777 | 1180 | |
ysr@777 | 1181 | // Local Variables: *** |
ysr@777 | 1182 | // c-indentation-style: gnu *** |
ysr@777 | 1183 | // End: *** |