Mercurial > hg > truffle
annotate src/share/vm/gc_implementation/g1/g1CollectorPolicy.cpp @ 2403:1927db75dd85
7024475: loop doesn't terminate when compiled
Reviewed-by: kvn
author | never |
---|---|
date | Sun, 27 Mar 2011 00:00:14 -0700 |
parents | c93aa6caa02f |
children | 5c0b591e1074 |
rev | line source |
---|---|
342 | 1 /* |
2152 | 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 #include "precompiled.hpp" |
26 #include "gc_implementation/g1/concurrentG1Refine.hpp" | |
27 #include "gc_implementation/g1/concurrentMark.hpp" | |
28 #include "gc_implementation/g1/concurrentMarkThread.inline.hpp" | |
29 #include "gc_implementation/g1/g1CollectedHeap.inline.hpp" | |
30 #include "gc_implementation/g1/g1CollectorPolicy.hpp" | |
31 #include "gc_implementation/g1/heapRegionRemSet.hpp" | |
32 #include "gc_implementation/shared/gcPolicyCounters.hpp" | |
33 #include "runtime/arguments.hpp" | |
34 #include "runtime/java.hpp" | |
35 #include "runtime/mutexLocker.hpp" | |
36 #include "utilities/debug.hpp" | |
342 | 37 |
38 #define PREDICTIONS_VERBOSE 0 | |
39 | |
40 // <NEW PREDICTION> | |
41 | |
42 // Different defaults for different number of GC threads | |
43 // They were chosen by running GCOld and SPECjbb on debris with different | |
44 // numbers of GC threads and choosing them based on the results | |
45 | |
46 // all the same | |
47 static double rs_length_diff_defaults[] = { | |
48 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 | |
49 }; | |
50 | |
51 static double cost_per_card_ms_defaults[] = { | |
52 0.01, 0.005, 0.005, 0.003, 0.003, 0.002, 0.002, 0.0015 | |
53 }; | |
54 | |
55 // all the same | |
56 static double fully_young_cards_per_entry_ratio_defaults[] = { | |
57 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0 | |
58 }; | |
59 | |
60 static double cost_per_entry_ms_defaults[] = { | |
61 0.015, 0.01, 0.01, 0.008, 0.008, 0.0055, 0.0055, 0.005 | |
62 }; | |
63 | |
64 static double cost_per_byte_ms_defaults[] = { | |
65 0.00006, 0.00003, 0.00003, 0.000015, 0.000015, 0.00001, 0.00001, 0.000009 | |
66 }; | |
67 | |
68 // these should be pretty consistent | |
69 static double constant_other_time_ms_defaults[] = { | |
70 5.0, 5.0, 5.0, 5.0, 5.0, 5.0, 5.0, 5.0 | |
71 }; | |
72 | |
73 | |
74 static double young_other_cost_per_region_ms_defaults[] = { | |
75 0.3, 0.2, 0.2, 0.15, 0.15, 0.12, 0.12, 0.1 | |
76 }; | |
77 | |
78 static double non_young_other_cost_per_region_ms_defaults[] = { | |
79 1.0, 0.7, 0.7, 0.5, 0.5, 0.42, 0.42, 0.30 | |
80 }; | |
81 | |
82 // </NEW PREDICTION> | |
83 | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
84 // Help class for avoiding interleaved logging |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
85 class LineBuffer: public StackObj { |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
86 |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
87 private: |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
88 static const int BUFFER_LEN = 1024; |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
89 static const int INDENT_CHARS = 3; |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
90 char _buffer[BUFFER_LEN]; |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
91 int _indent_level; |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
92 int _cur; |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
93 |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
94 void vappend(const char* format, va_list ap) { |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
95 int res = vsnprintf(&_buffer[_cur], BUFFER_LEN - _cur, format, ap); |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
96 if (res != -1) { |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
97 _cur += res; |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
98 } else { |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
99 DEBUG_ONLY(warning("buffer too small in LineBuffer");) |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
100 _buffer[BUFFER_LEN -1] = 0; |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
101 _cur = BUFFER_LEN; // vsnprintf above should not add to _buffer if we are called again |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
102 } |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
103 } |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
104 |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
105 public: |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
106 explicit LineBuffer(int indent_level): _indent_level(indent_level), _cur(0) { |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
107 for (; (_cur < BUFFER_LEN && _cur < (_indent_level * INDENT_CHARS)); _cur++) { |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
108 _buffer[_cur] = ' '; |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
109 } |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
110 } |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
111 |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
112 #ifndef PRODUCT |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
113 ~LineBuffer() { |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
114 assert(_cur == _indent_level * INDENT_CHARS, "pending data in buffer - append_and_print_cr() not called?"); |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
115 } |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
116 #endif |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
117 |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
118 void append(const char* format, ...) { |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
119 va_list ap; |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
120 va_start(ap, format); |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
121 vappend(format, ap); |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
122 va_end(ap); |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
123 } |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
124 |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
125 void append_and_print_cr(const char* format, ...) { |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
126 va_list ap; |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
127 va_start(ap, format); |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
128 vappend(format, ap); |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
129 va_end(ap); |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
130 gclog_or_tty->print_cr("%s", _buffer); |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
131 _cur = _indent_level * INDENT_CHARS; |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
132 } |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
133 }; |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
134 |
342 | 135 G1CollectorPolicy::G1CollectorPolicy() : |
1833
8b10f48633dc
6984287: Regularize how GC parallel workers are specified.
jmasa
parents:
1779
diff
changeset
|
136 _parallel_gc_threads(G1CollectedHeap::use_parallel_gc_threads() |
8b10f48633dc
6984287: Regularize how GC parallel workers are specified.
jmasa
parents:
1779
diff
changeset
|
137 ? ParallelGCThreads : 1), |
8b10f48633dc
6984287: Regularize how GC parallel workers are specified.
jmasa
parents:
1779
diff
changeset
|
138 |
8b10f48633dc
6984287: Regularize how GC parallel workers are specified.
jmasa
parents:
1779
diff
changeset
|
139 |
342 | 140 _n_pauses(0), |
141 _recent_CH_strong_roots_times_ms(new TruncatedSeq(NumPrevPausesForHeuristics)), | |
142 _recent_G1_strong_roots_times_ms(new TruncatedSeq(NumPrevPausesForHeuristics)), | |
143 _recent_evac_times_ms(new TruncatedSeq(NumPrevPausesForHeuristics)), | |
144 _recent_pause_times_ms(new TruncatedSeq(NumPrevPausesForHeuristics)), | |
145 _recent_rs_sizes(new TruncatedSeq(NumPrevPausesForHeuristics)), | |
146 _recent_gc_times_ms(new TruncatedSeq(NumPrevPausesForHeuristics)), | |
147 _all_pause_times_ms(new NumberSeq()), | |
148 _stop_world_start(0.0), | |
149 _all_stop_world_times_ms(new NumberSeq()), | |
150 _all_yield_times_ms(new NumberSeq()), | |
151 | |
152 _all_mod_union_times_ms(new NumberSeq()), | |
153 | |
677 | 154 _summary(new Summary()), |
342 | 155 |
890
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
845
diff
changeset
|
156 #ifndef PRODUCT |
342 | 157 _cur_clear_ct_time_ms(0.0), |
890
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
845
diff
changeset
|
158 _min_clear_cc_time_ms(-1.0), |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
845
diff
changeset
|
159 _max_clear_cc_time_ms(-1.0), |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
845
diff
changeset
|
160 _cur_clear_cc_time_ms(0.0), |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
845
diff
changeset
|
161 _cum_clear_cc_time_ms(0.0), |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
845
diff
changeset
|
162 _num_cc_clears(0L), |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
845
diff
changeset
|
163 #endif |
342 | 164 |
165 _region_num_young(0), | |
166 _region_num_tenured(0), | |
167 _prev_region_num_young(0), | |
168 _prev_region_num_tenured(0), | |
169 | |
170 _aux_num(10), | |
171 _all_aux_times_ms(new NumberSeq[_aux_num]), | |
172 _cur_aux_start_times_ms(new double[_aux_num]), | |
173 _cur_aux_times_ms(new double[_aux_num]), | |
174 _cur_aux_times_set(new bool[_aux_num]), | |
175 | |
176 _concurrent_mark_init_times_ms(new TruncatedSeq(NumPrevPausesForHeuristics)), | |
177 _concurrent_mark_remark_times_ms(new TruncatedSeq(NumPrevPausesForHeuristics)), | |
178 _concurrent_mark_cleanup_times_ms(new TruncatedSeq(NumPrevPausesForHeuristics)), | |
179 | |
180 // <NEW PREDICTION> | |
181 | |
182 _alloc_rate_ms_seq(new TruncatedSeq(TruncatedSeqLength)), | |
183 _prev_collection_pause_end_ms(0.0), | |
184 _pending_card_diff_seq(new TruncatedSeq(TruncatedSeqLength)), | |
185 _rs_length_diff_seq(new TruncatedSeq(TruncatedSeqLength)), | |
186 _cost_per_card_ms_seq(new TruncatedSeq(TruncatedSeqLength)), | |
187 _fully_young_cards_per_entry_ratio_seq(new TruncatedSeq(TruncatedSeqLength)), | |
188 _partially_young_cards_per_entry_ratio_seq( | |
189 new TruncatedSeq(TruncatedSeqLength)), | |
190 _cost_per_entry_ms_seq(new TruncatedSeq(TruncatedSeqLength)), | |
191 _partially_young_cost_per_entry_ms_seq(new TruncatedSeq(TruncatedSeqLength)), | |
192 _cost_per_byte_ms_seq(new TruncatedSeq(TruncatedSeqLength)), | |
193 _cost_per_byte_ms_during_cm_seq(new TruncatedSeq(TruncatedSeqLength)), | |
194 _constant_other_time_ms_seq(new TruncatedSeq(TruncatedSeqLength)), | |
195 _young_other_cost_per_region_ms_seq(new TruncatedSeq(TruncatedSeqLength)), | |
196 _non_young_other_cost_per_region_ms_seq( | |
197 new TruncatedSeq(TruncatedSeqLength)), | |
198 | |
199 _pending_cards_seq(new TruncatedSeq(TruncatedSeqLength)), | |
200 _scanned_cards_seq(new TruncatedSeq(TruncatedSeqLength)), | |
201 _rs_lengths_seq(new TruncatedSeq(TruncatedSeqLength)), | |
202 | |
751 | 203 _pause_time_target_ms((double) MaxGCPauseMillis), |
342 | 204 |
205 // </NEW PREDICTION> | |
206 | |
207 _in_young_gc_mode(false), | |
208 _full_young_gcs(true), | |
209 _full_young_pause_num(0), | |
210 _partial_young_pause_num(0), | |
211 | |
212 _during_marking(false), | |
213 _in_marking_window(false), | |
214 _in_marking_window_im(false), | |
215 | |
216 _known_garbage_ratio(0.0), | |
217 _known_garbage_bytes(0), | |
218 | |
219 _young_gc_eff_seq(new TruncatedSeq(TruncatedSeqLength)), | |
220 | |
221 _recent_prev_end_times_for_all_gcs_sec(new TruncatedSeq(NumPrevPausesForHeuristics)), | |
222 | |
223 _recent_CS_bytes_used_before(new TruncatedSeq(NumPrevPausesForHeuristics)), | |
224 _recent_CS_bytes_surviving(new TruncatedSeq(NumPrevPausesForHeuristics)), | |
225 | |
226 _recent_avg_pause_time_ratio(0.0), | |
227 _num_markings(0), | |
228 _n_marks(0), | |
229 _n_pauses_at_mark_end(0), | |
230 | |
231 _all_full_gc_times_ms(new NumberSeq()), | |
232 | |
233 // G1PausesBtwnConcMark defaults to -1 | |
234 // so the hack is to do the cast QQQ FIXME | |
235 _pauses_btwn_concurrent_mark((size_t)G1PausesBtwnConcMark), | |
236 _n_marks_since_last_pause(0), | |
1359
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
237 _initiate_conc_mark_if_possible(false), |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
238 _during_initial_mark_pause(false), |
342 | 239 _should_revert_to_full_young_gcs(false), |
240 _last_full_young_gc(false), | |
241 | |
242 _prev_collection_pause_used_at_end_bytes(0), | |
243 | |
244 _collection_set(NULL), | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
245 _collection_set_size(0), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
246 _collection_set_bytes_used_before(0), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
247 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
248 // Incremental CSet attributes |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
249 _inc_cset_build_state(Inactive), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
250 _inc_cset_head(NULL), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
251 _inc_cset_tail(NULL), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
252 _inc_cset_size(0), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
253 _inc_cset_young_index(0), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
254 _inc_cset_bytes_used_before(0), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
255 _inc_cset_max_finger(NULL), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
256 _inc_cset_recorded_young_bytes(0), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
257 _inc_cset_recorded_rs_lengths(0), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
258 _inc_cset_predicted_elapsed_time_ms(0.0), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
259 _inc_cset_predicted_bytes_to_copy(0), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
260 |
342 | 261 #ifdef _MSC_VER // the use of 'this' below gets a warning, make it go away |
262 #pragma warning( disable:4355 ) // 'this' : used in base member initializer list | |
263 #endif // _MSC_VER | |
264 | |
265 _short_lived_surv_rate_group(new SurvRateGroup(this, "Short Lived", | |
266 G1YoungSurvRateNumRegionsSummary)), | |
267 _survivor_surv_rate_group(new SurvRateGroup(this, "Survivor", | |
545 | 268 G1YoungSurvRateNumRegionsSummary)), |
342 | 269 // add here any more surv rate groups |
545 | 270 _recorded_survivor_regions(0), |
271 _recorded_survivor_head(NULL), | |
272 _recorded_survivor_tail(NULL), | |
1356 | 273 _survivors_age_table(true), |
274 | |
275 _gc_overhead_perc(0.0) | |
545 | 276 |
342 | 277 { |
942
2c79770d1f6e
6819085: G1: use larger and/or user settable region size
tonyp
parents:
936
diff
changeset
|
278 // Set up the region size and associated fields. Given that the |
2c79770d1f6e
6819085: G1: use larger and/or user settable region size
tonyp
parents:
936
diff
changeset
|
279 // policy is created before the heap, we have to set this up here, |
2c79770d1f6e
6819085: G1: use larger and/or user settable region size
tonyp
parents:
936
diff
changeset
|
280 // so it's done as soon as possible. |
2c79770d1f6e
6819085: G1: use larger and/or user settable region size
tonyp
parents:
936
diff
changeset
|
281 HeapRegion::setup_heap_region_size(Arguments::min_heap_size()); |
1261
0414c1049f15
6923991: G1: improve scalability of RSet scanning
iveresov
parents:
1111
diff
changeset
|
282 HeapRegionRemSet::setup_remset_size(); |
942
2c79770d1f6e
6819085: G1: use larger and/or user settable region size
tonyp
parents:
936
diff
changeset
|
283 |
1391
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1388
diff
changeset
|
284 // Verify PLAB sizes |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1388
diff
changeset
|
285 const uint region_size = HeapRegion::GrainWords; |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1388
diff
changeset
|
286 if (YoungPLABSize > region_size || OldPLABSize > region_size) { |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1388
diff
changeset
|
287 char buffer[128]; |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1388
diff
changeset
|
288 jio_snprintf(buffer, sizeof(buffer), "%sPLABSize should be at most %u", |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1388
diff
changeset
|
289 OldPLABSize > region_size ? "Old" : "Young", region_size); |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1388
diff
changeset
|
290 vm_exit_during_initialization(buffer); |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1388
diff
changeset
|
291 } |
79e419e5ea3b
6942253: G1: replace G1ParallelGCAllocBufferSize with YoungPLABSize and OldPLABSize
apetrusenko
parents:
1388
diff
changeset
|
292 |
342 | 293 _recent_prev_end_times_for_all_gcs_sec->add(os::elapsedTime()); |
294 _prev_collection_pause_end_ms = os::elapsedTime() * 1000.0; | |
295 | |
1611 | 296 _par_last_gc_worker_start_times_ms = new double[_parallel_gc_threads]; |
342 | 297 _par_last_ext_root_scan_times_ms = new double[_parallel_gc_threads]; |
298 _par_last_mark_stack_scan_times_ms = new double[_parallel_gc_threads]; | |
299 | |
300 _par_last_update_rs_times_ms = new double[_parallel_gc_threads]; | |
301 _par_last_update_rs_processed_buffers = new double[_parallel_gc_threads]; | |
302 | |
303 _par_last_scan_rs_times_ms = new double[_parallel_gc_threads]; | |
304 | |
305 _par_last_obj_copy_times_ms = new double[_parallel_gc_threads]; | |
306 | |
307 _par_last_termination_times_ms = new double[_parallel_gc_threads]; | |
1611 | 308 _par_last_termination_attempts = new double[_parallel_gc_threads]; |
309 _par_last_gc_worker_end_times_ms = new double[_parallel_gc_threads]; | |
342 | 310 |
311 // start conservatively | |
751 | 312 _expensive_region_limit_ms = 0.5 * (double) MaxGCPauseMillis; |
342 | 313 |
314 // <NEW PREDICTION> | |
315 | |
316 int index; | |
317 if (ParallelGCThreads == 0) | |
318 index = 0; | |
319 else if (ParallelGCThreads > 8) | |
320 index = 7; | |
321 else | |
322 index = ParallelGCThreads - 1; | |
323 | |
324 _pending_card_diff_seq->add(0.0); | |
325 _rs_length_diff_seq->add(rs_length_diff_defaults[index]); | |
326 _cost_per_card_ms_seq->add(cost_per_card_ms_defaults[index]); | |
327 _fully_young_cards_per_entry_ratio_seq->add( | |
328 fully_young_cards_per_entry_ratio_defaults[index]); | |
329 _cost_per_entry_ms_seq->add(cost_per_entry_ms_defaults[index]); | |
330 _cost_per_byte_ms_seq->add(cost_per_byte_ms_defaults[index]); | |
331 _constant_other_time_ms_seq->add(constant_other_time_ms_defaults[index]); | |
332 _young_other_cost_per_region_ms_seq->add( | |
333 young_other_cost_per_region_ms_defaults[index]); | |
334 _non_young_other_cost_per_region_ms_seq->add( | |
335 non_young_other_cost_per_region_ms_defaults[index]); | |
336 | |
337 // </NEW PREDICTION> | |
338 | |
1610
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
339 // Below, we might need to calculate the pause time target based on |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
340 // the pause interval. When we do so we are going to give G1 maximum |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
341 // flexibility and allow it to do pauses when it needs to. So, we'll |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
342 // arrange that the pause interval to be pause time target + 1 to |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
343 // ensure that a) the pause time target is maximized with respect to |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
344 // the pause interval and b) we maintain the invariant that pause |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
345 // time target < pause interval. If the user does not want this |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
346 // maximum flexibility, they will have to set the pause interval |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
347 // explicitly. |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
348 |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
349 // First make sure that, if either parameter is set, its value is |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
350 // reasonable. |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
351 if (!FLAG_IS_DEFAULT(MaxGCPauseMillis)) { |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
352 if (MaxGCPauseMillis < 1) { |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
353 vm_exit_during_initialization("MaxGCPauseMillis should be " |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
354 "greater than 0"); |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
355 } |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
356 } |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
357 if (!FLAG_IS_DEFAULT(GCPauseIntervalMillis)) { |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
358 if (GCPauseIntervalMillis < 1) { |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
359 vm_exit_during_initialization("GCPauseIntervalMillis should be " |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
360 "greater than 0"); |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
361 } |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
362 } |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
363 |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
364 // Then, if the pause time target parameter was not set, set it to |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
365 // the default value. |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
366 if (FLAG_IS_DEFAULT(MaxGCPauseMillis)) { |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
367 if (FLAG_IS_DEFAULT(GCPauseIntervalMillis)) { |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
368 // The default pause time target in G1 is 200ms |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
369 FLAG_SET_DEFAULT(MaxGCPauseMillis, 200); |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
370 } else { |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
371 // We do not allow the pause interval to be set without the |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
372 // pause time target |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
373 vm_exit_during_initialization("GCPauseIntervalMillis cannot be set " |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
374 "without setting MaxGCPauseMillis"); |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
375 } |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
376 } |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
377 |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
378 // Then, if the interval parameter was not set, set it according to |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
379 // the pause time target (this will also deal with the case when the |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
380 // pause time target is the default value). |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
381 if (FLAG_IS_DEFAULT(GCPauseIntervalMillis)) { |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
382 FLAG_SET_DEFAULT(GCPauseIntervalMillis, MaxGCPauseMillis + 1); |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
383 } |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
384 |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
385 // Finally, make sure that the two parameters are consistent. |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
386 if (MaxGCPauseMillis >= GCPauseIntervalMillis) { |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
387 char buffer[256]; |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
388 jio_snprintf(buffer, 256, |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
389 "MaxGCPauseMillis (%u) should be less than " |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
390 "GCPauseIntervalMillis (%u)", |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
391 MaxGCPauseMillis, GCPauseIntervalMillis); |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
392 vm_exit_during_initialization(buffer); |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
393 } |
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
394 |
751 | 395 double max_gc_time = (double) MaxGCPauseMillis / 1000.0; |
1610
79107c3a6bd5
6949307: G1: raise a vm error, do not core dump, if target pause time and target interval are inconsistent
tonyp
parents:
1579
diff
changeset
|
396 double time_slice = (double) GCPauseIntervalMillis / 1000.0; |
342 | 397 _mmu_tracker = new G1MMUTrackerQueue(time_slice, max_gc_time); |
751 | 398 _sigma = (double) G1ConfidencePercent / 100.0; |
342 | 399 |
400 // start conservatively (around 50ms is about right) | |
401 _concurrent_mark_init_times_ms->add(0.05); | |
402 _concurrent_mark_remark_times_ms->add(0.05); | |
403 _concurrent_mark_cleanup_times_ms->add(0.20); | |
404 _tenuring_threshold = MaxTenuringThreshold; | |
405 | |
1282 | 406 // if G1FixedSurvivorSpaceSize is 0 which means the size is not |
407 // fixed, then _max_survivor_regions will be calculated at | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
408 // calculate_young_list_target_length during initialization |
1282 | 409 _max_survivor_regions = G1FixedSurvivorSpaceSize / HeapRegion::GrainBytes; |
545 | 410 |
1356 | 411 assert(GCTimeRatio > 0, |
412 "we should have set it to a default value set_g1_gc_flags() " | |
413 "if a user set it to 0"); | |
414 _gc_overhead_perc = 100.0 * (1.0 / (1.0 + GCTimeRatio)); | |
415 | |
342 | 416 initialize_all(); |
417 } | |
418 | |
419 // Increment "i", mod "len" | |
420 static void inc_mod(int& i, int len) { | |
421 i++; if (i == len) i = 0; | |
422 } | |
423 | |
424 void G1CollectorPolicy::initialize_flags() { | |
425 set_min_alignment(HeapRegion::GrainBytes); | |
426 set_max_alignment(GenRemSet::max_alignment_constraint(rem_set_name())); | |
547
1e458753107d
6802413: G1: G1FixedSurvivorSpaceSize should be converted into regions in calculate_survivors_policy()
apetrusenko
parents:
545
diff
changeset
|
427 if (SurvivorRatio < 1) { |
1e458753107d
6802413: G1: G1FixedSurvivorSpaceSize should be converted into regions in calculate_survivors_policy()
apetrusenko
parents:
545
diff
changeset
|
428 vm_exit_during_initialization("Invalid survivor ratio specified"); |
1e458753107d
6802413: G1: G1FixedSurvivorSpaceSize should be converted into regions in calculate_survivors_policy()
apetrusenko
parents:
545
diff
changeset
|
429 } |
342 | 430 CollectorPolicy::initialize_flags(); |
431 } | |
432 | |
1285
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
433 // The easiest way to deal with the parsing of the NewSize / |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
434 // MaxNewSize / etc. parameteres is to re-use the code in the |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
435 // TwoGenerationCollectorPolicy class. This is similar to what |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
436 // ParallelScavenge does with its GenerationSizer class (see |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
437 // ParallelScavengeHeap::initialize()). We might change this in the |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
438 // future, but it's a good start. |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
439 class G1YoungGenSizer : public TwoGenerationCollectorPolicy { |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
440 size_t size_to_region_num(size_t byte_size) { |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
441 return MAX2((size_t) 1, byte_size / HeapRegion::GrainBytes); |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
442 } |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
443 |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
444 public: |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
445 G1YoungGenSizer() { |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
446 initialize_flags(); |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
447 initialize_size_info(); |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
448 } |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
449 |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
450 size_t min_young_region_num() { |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
451 return size_to_region_num(_min_gen0_size); |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
452 } |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
453 size_t initial_young_region_num() { |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
454 return size_to_region_num(_initial_gen0_size); |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
455 } |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
456 size_t max_young_region_num() { |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
457 return size_to_region_num(_max_gen0_size); |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
458 } |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
459 }; |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
460 |
342 | 461 void G1CollectorPolicy::init() { |
462 // Set aside an initial future to_space. | |
463 _g1 = G1CollectedHeap::heap(); | |
464 | |
465 assert(Heap_lock->owned_by_self(), "Locking discipline."); | |
466 | |
545 | 467 initialize_gc_policy_counters(); |
468 | |
342 | 469 if (G1Gen) { |
470 _in_young_gc_mode = true; | |
471 | |
1285
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
472 G1YoungGenSizer sizer; |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
473 size_t initial_region_num = sizer.initial_young_region_num(); |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
474 |
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
475 if (UseAdaptiveSizePolicy) { |
342 | 476 set_adaptive_young_list_length(true); |
477 _young_list_fixed_length = 0; | |
478 } else { | |
479 set_adaptive_young_list_length(false); | |
1285
a1c410de27e4
6928065: G1: use existing command line parameters to set the young generation size
tonyp
parents:
1283
diff
changeset
|
480 _young_list_fixed_length = initial_region_num; |
342 | 481 } |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
482 _free_regions_at_end_of_collection = _g1->free_regions(); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
483 calculate_young_list_min_length(); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
484 guarantee( _young_list_min_length == 0, "invariant, not enough info" ); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
485 calculate_young_list_target_length(); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
486 } else { |
342 | 487 _young_list_fixed_length = 0; |
488 _in_young_gc_mode = false; | |
489 } | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
490 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
491 // We may immediately start allocating regions and placing them on the |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
492 // collection set list. Initialize the per-collection set info |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
493 start_incremental_cset_building(); |
342 | 494 } |
495 | |
545 | 496 // Create the jstat counters for the policy. |
497 void G1CollectorPolicy::initialize_gc_policy_counters() | |
498 { | |
499 _gc_policy_counters = new GCPolicyCounters("GarbageFirst", 1, 2 + G1Gen); | |
500 } | |
501 | |
342 | 502 void G1CollectorPolicy::calculate_young_list_min_length() { |
503 _young_list_min_length = 0; | |
504 | |
505 if (!adaptive_young_list_length()) | |
506 return; | |
507 | |
508 if (_alloc_rate_ms_seq->num() > 3) { | |
509 double now_sec = os::elapsedTime(); | |
510 double when_ms = _mmu_tracker->when_max_gc_sec(now_sec) * 1000.0; | |
511 double alloc_rate_ms = predict_alloc_rate_ms(); | |
1973 | 512 size_t min_regions = (size_t) ceil(alloc_rate_ms * when_ms); |
513 size_t current_region_num = _g1->young_list()->length(); | |
342 | 514 _young_list_min_length = min_regions + current_region_num; |
515 } | |
516 } | |
517 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
518 void G1CollectorPolicy::calculate_young_list_target_length() { |
342 | 519 if (adaptive_young_list_length()) { |
520 size_t rs_lengths = (size_t) get_new_prediction(_rs_lengths_seq); | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
521 calculate_young_list_target_length(rs_lengths); |
342 | 522 } else { |
523 if (full_young_gcs()) | |
524 _young_list_target_length = _young_list_fixed_length; | |
525 else | |
526 _young_list_target_length = _young_list_fixed_length / 2; | |
527 } | |
1973 | 528 |
529 // Make sure we allow the application to allocate at least one | |
530 // region before we need to do a collection again. | |
531 size_t min_length = _g1->young_list()->length() + 1; | |
532 _young_list_target_length = MAX2(_young_list_target_length, min_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
|
533 calculate_max_gc_locker_expansion(); |
545 | 534 calculate_survivors_policy(); |
342 | 535 } |
536 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
537 void G1CollectorPolicy::calculate_young_list_target_length(size_t rs_lengths) { |
342 | 538 guarantee( adaptive_young_list_length(), "pre-condition" ); |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
539 guarantee( !_in_marking_window || !_last_full_young_gc, "invariant" ); |
342 | 540 |
541 double start_time_sec = os::elapsedTime(); | |
1282 | 542 size_t min_reserve_perc = MAX2((size_t)2, (size_t)G1ReservePercent); |
342 | 543 min_reserve_perc = MIN2((size_t) 50, min_reserve_perc); |
544 size_t reserve_regions = | |
545 (size_t) ((double) min_reserve_perc * (double) _g1->n_regions() / 100.0); | |
546 | |
547 if (full_young_gcs() && _free_regions_at_end_of_collection > 0) { | |
548 // we are in fully-young mode and there are free regions in the heap | |
549 | |
545 | 550 double survivor_regions_evac_time = |
551 predict_survivor_regions_evac_time(); | |
552 | |
342 | 553 double target_pause_time_ms = _mmu_tracker->max_gc_time() * 1000.0; |
554 size_t pending_cards = (size_t) get_new_prediction(_pending_cards_seq); | |
555 size_t adj_rs_lengths = rs_lengths + predict_rs_length_diff(); | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
556 size_t scanned_cards = predict_young_card_num(adj_rs_lengths); |
545 | 557 double base_time_ms = predict_base_elapsed_time_ms(pending_cards, scanned_cards) |
558 + survivor_regions_evac_time; | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
559 |
342 | 560 // the result |
561 size_t final_young_length = 0; | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
562 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
563 size_t init_free_regions = |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
564 MAX2((size_t)0, _free_regions_at_end_of_collection - reserve_regions); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
565 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
566 // if we're still under the pause target... |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
567 if (base_time_ms <= target_pause_time_ms) { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
568 // We make sure that the shortest young length that makes sense |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
569 // fits within the target pause time. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
570 size_t min_young_length = 1; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
571 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
572 if (predict_will_fit(min_young_length, base_time_ms, |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
573 init_free_regions, target_pause_time_ms)) { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
574 // The shortest young length will fit within the target pause time; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
575 // we'll now check whether the absolute maximum number of young |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
576 // regions will fit in the target pause time. If not, we'll do |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
577 // a binary search between min_young_length and max_young_length |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
578 size_t abs_max_young_length = _free_regions_at_end_of_collection - 1; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
579 size_t max_young_length = abs_max_young_length; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
580 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
581 if (max_young_length > min_young_length) { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
582 // Let's check if the initial max young length will fit within the |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
583 // target pause. If so then there is no need to search for a maximal |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
584 // young length - we'll return the initial maximum |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
585 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
586 if (predict_will_fit(max_young_length, base_time_ms, |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
587 init_free_regions, target_pause_time_ms)) { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
588 // The maximum young length will satisfy the target pause time. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
589 // We are done so set min young length to this maximum length. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
590 // The code after the loop will then set final_young_length using |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
591 // the value cached in the minimum length. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
592 min_young_length = max_young_length; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
593 } else { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
594 // The maximum possible number of young regions will not fit within |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
595 // the target pause time so let's search.... |
342 | 596 |
597 size_t diff = (max_young_length - min_young_length) / 2; | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
598 max_young_length = min_young_length + diff; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
599 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
600 while (max_young_length > min_young_length) { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
601 if (predict_will_fit(max_young_length, base_time_ms, |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
602 init_free_regions, target_pause_time_ms)) { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
603 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
604 // The current max young length will fit within the target |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
605 // pause time. Note we do not exit the loop here. By setting |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
606 // min = max, and then increasing the max below means that |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
607 // we will continue searching for an upper bound in the |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
608 // range [max..max+diff] |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
609 min_young_length = max_young_length; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
610 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
611 diff = (max_young_length - min_young_length) / 2; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
612 max_young_length = min_young_length + diff; |
342 | 613 } |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
614 // the above loop found a maximal young length that will fit |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
615 // within the target pause time. |
342 | 616 } |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
617 assert(min_young_length <= abs_max_young_length, "just checking"); |
342 | 618 } |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
619 final_young_length = min_young_length; |
342 | 620 } |
621 } | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
622 // and we're done! |
342 | 623 |
624 // we should have at least one region in the target young length | |
545 | 625 _young_list_target_length = |
1973 | 626 final_young_length + _recorded_survivor_regions; |
342 | 627 |
628 // let's keep an eye of how long we spend on this calculation | |
629 // right now, I assume that we'll print it when we need it; we | |
630 // should really adde it to the breakdown of a pause | |
631 double end_time_sec = os::elapsedTime(); | |
632 double elapsed_time_ms = (end_time_sec - start_time_sec) * 1000.0; | |
633 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
634 #ifdef TRACE_CALC_YOUNG_LENGTH |
342 | 635 // leave this in for debugging, just in case |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
636 gclog_or_tty->print_cr("target = %1.1lf ms, young = " SIZE_FORMAT ", " |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
637 "elapsed %1.2lf ms, (%s%s) " SIZE_FORMAT SIZE_FORMAT, |
342 | 638 target_pause_time_ms, |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
639 _young_list_target_length |
342 | 640 elapsed_time_ms, |
641 full_young_gcs() ? "full" : "partial", | |
1359
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
642 during_initial_mark_pause() ? " i-m" : "", |
545 | 643 _in_marking_window, |
644 _in_marking_window_im); | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
645 #endif // TRACE_CALC_YOUNG_LENGTH |
342 | 646 |
647 if (_young_list_target_length < _young_list_min_length) { | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
648 // bummer; this means that, if we do a pause when the maximal |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
649 // length dictates, we'll violate the pause spacing target (the |
342 | 650 // min length was calculate based on the application's current |
651 // alloc rate); | |
652 | |
653 // so, we have to bite the bullet, and allocate the minimum | |
654 // number. We'll violate our target, but we just can't meet it. | |
655 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
656 #ifdef TRACE_CALC_YOUNG_LENGTH |
342 | 657 // leave this in for debugging, just in case |
658 gclog_or_tty->print_cr("adjusted target length from " | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
659 SIZE_FORMAT " to " SIZE_FORMAT, |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
660 _young_list_target_length, _young_list_min_length); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
661 #endif // TRACE_CALC_YOUNG_LENGTH |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
662 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
663 _young_list_target_length = _young_list_min_length; |
342 | 664 } |
665 } else { | |
666 // we are in a partially-young mode or we've run out of regions (due | |
667 // to evacuation failure) | |
668 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
669 #ifdef TRACE_CALC_YOUNG_LENGTH |
342 | 670 // leave this in for debugging, just in case |
671 gclog_or_tty->print_cr("(partial) setting target to " SIZE_FORMAT | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
672 _young_list_min_length); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
673 #endif // TRACE_CALC_YOUNG_LENGTH |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
674 // we'll do the pause as soon as possible by choosing the minimum |
1973 | 675 _young_list_target_length = _young_list_min_length; |
342 | 676 } |
677 | |
678 _rs_lengths_prediction = rs_lengths; | |
679 } | |
680 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
681 // This is used by: calculate_young_list_target_length(rs_length). It |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
682 // returns true iff: |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
683 // the predicted pause time for the given young list will not overflow |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
684 // the target pause time |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
685 // and: |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
686 // the predicted amount of surviving data will not overflow the |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
687 // the amount of free space available for survivor regions. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
688 // |
342 | 689 bool |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
690 G1CollectorPolicy::predict_will_fit(size_t young_length, |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
691 double base_time_ms, |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
692 size_t init_free_regions, |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
693 double target_pause_time_ms) { |
342 | 694 |
695 if (young_length >= init_free_regions) | |
696 // end condition 1: not enough space for the young regions | |
697 return false; | |
698 | |
699 double accum_surv_rate_adj = 0.0; | |
700 double accum_surv_rate = | |
701 accum_yg_surv_rate_pred((int)(young_length - 1)) - accum_surv_rate_adj; | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
702 |
342 | 703 size_t bytes_to_copy = |
704 (size_t) (accum_surv_rate * (double) HeapRegion::GrainBytes); | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
705 |
342 | 706 double copy_time_ms = predict_object_copy_time_ms(bytes_to_copy); |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
707 |
342 | 708 double young_other_time_ms = |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
709 predict_young_other_time_ms(young_length); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
710 |
342 | 711 double pause_time_ms = |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
712 base_time_ms + copy_time_ms + young_other_time_ms; |
342 | 713 |
714 if (pause_time_ms > target_pause_time_ms) | |
715 // end condition 2: over the target pause time | |
716 return false; | |
717 | |
718 size_t free_bytes = | |
719 (init_free_regions - young_length) * HeapRegion::GrainBytes; | |
720 | |
721 if ((2.0 + sigma()) * (double) bytes_to_copy > (double) free_bytes) | |
722 // end condition 3: out of to-space (conservatively) | |
723 return false; | |
724 | |
725 // success! | |
726 return true; | |
727 } | |
728 | |
545 | 729 double G1CollectorPolicy::predict_survivor_regions_evac_time() { |
730 double survivor_regions_evac_time = 0.0; | |
731 for (HeapRegion * r = _recorded_survivor_head; | |
732 r != NULL && r != _recorded_survivor_tail->get_next_young_region(); | |
733 r = r->get_next_young_region()) { | |
734 survivor_regions_evac_time += predict_region_elapsed_time_ms(r, true); | |
735 } | |
736 return survivor_regions_evac_time; | |
737 } | |
738 | |
342 | 739 void G1CollectorPolicy::check_prediction_validity() { |
740 guarantee( adaptive_young_list_length(), "should not call this otherwise" ); | |
741 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
742 size_t rs_lengths = _g1->young_list()->sampled_rs_lengths(); |
342 | 743 if (rs_lengths > _rs_lengths_prediction) { |
744 // add 10% to avoid having to recalculate often | |
745 size_t rs_lengths_prediction = rs_lengths * 1100 / 1000; | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
746 calculate_young_list_target_length(rs_lengths_prediction); |
342 | 747 } |
748 } | |
749 | |
750 HeapWord* G1CollectorPolicy::mem_allocate_work(size_t size, | |
751 bool is_tlab, | |
752 bool* gc_overhead_limit_was_exceeded) { | |
753 guarantee(false, "Not using this policy feature yet."); | |
754 return NULL; | |
755 } | |
756 | |
757 // This method controls how a collector handles one or more | |
758 // of its generations being fully allocated. | |
759 HeapWord* G1CollectorPolicy::satisfy_failed_allocation(size_t size, | |
760 bool is_tlab) { | |
761 guarantee(false, "Not using this policy feature yet."); | |
762 return NULL; | |
763 } | |
764 | |
765 | |
766 #ifndef PRODUCT | |
767 bool G1CollectorPolicy::verify_young_ages() { | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
768 HeapRegion* head = _g1->young_list()->first_region(); |
342 | 769 return |
770 verify_young_ages(head, _short_lived_surv_rate_group); | |
771 // also call verify_young_ages on any additional surv rate groups | |
772 } | |
773 | |
774 bool | |
775 G1CollectorPolicy::verify_young_ages(HeapRegion* head, | |
776 SurvRateGroup *surv_rate_group) { | |
777 guarantee( surv_rate_group != NULL, "pre-condition" ); | |
778 | |
779 const char* name = surv_rate_group->name(); | |
780 bool ret = true; | |
781 int prev_age = -1; | |
782 | |
783 for (HeapRegion* curr = head; | |
784 curr != NULL; | |
785 curr = curr->get_next_young_region()) { | |
786 SurvRateGroup* group = curr->surv_rate_group(); | |
787 if (group == NULL && !curr->is_survivor()) { | |
788 gclog_or_tty->print_cr("## %s: encountered NULL surv_rate_group", name); | |
789 ret = false; | |
790 } | |
791 | |
792 if (surv_rate_group == group) { | |
793 int age = curr->age_in_surv_rate_group(); | |
794 | |
795 if (age < 0) { | |
796 gclog_or_tty->print_cr("## %s: encountered negative age", name); | |
797 ret = false; | |
798 } | |
799 | |
800 if (age <= prev_age) { | |
801 gclog_or_tty->print_cr("## %s: region ages are not strictly increasing " | |
802 "(%d, %d)", name, age, prev_age); | |
803 ret = false; | |
804 } | |
805 prev_age = age; | |
806 } | |
807 } | |
808 | |
809 return ret; | |
810 } | |
811 #endif // PRODUCT | |
812 | |
813 void G1CollectorPolicy::record_full_collection_start() { | |
814 _cur_collection_start_sec = os::elapsedTime(); | |
815 // Release the future to-space so that it is available for compaction into. | |
816 _g1->set_full_collection(); | |
817 } | |
818 | |
819 void G1CollectorPolicy::record_full_collection_end() { | |
820 // Consider this like a collection pause for the purposes of allocation | |
821 // since last pause. | |
822 double end_sec = os::elapsedTime(); | |
823 double full_gc_time_sec = end_sec - _cur_collection_start_sec; | |
824 double full_gc_time_ms = full_gc_time_sec * 1000.0; | |
825 | |
826 _all_full_gc_times_ms->add(full_gc_time_ms); | |
827 | |
595
3698e8f47799
6804746: G1: guarantee(variance() > -1.0,"variance should be >= 0") (due to evacuation failure)
tonyp
parents:
547
diff
changeset
|
828 update_recent_gc_times(end_sec, full_gc_time_ms); |
342 | 829 |
830 _g1->clear_full_collection(); | |
831 | |
832 // "Nuke" the heuristics that control the fully/partially young GC | |
833 // transitions and make sure we start with fully young GCs after the | |
834 // Full GC. | |
835 set_full_young_gcs(true); | |
836 _last_full_young_gc = false; | |
837 _should_revert_to_full_young_gcs = false; | |
1359
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
838 clear_initiate_conc_mark_if_possible(); |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
839 clear_during_initial_mark_pause(); |
342 | 840 _known_garbage_bytes = 0; |
841 _known_garbage_ratio = 0.0; | |
842 _in_marking_window = false; | |
843 _in_marking_window_im = false; | |
844 | |
845 _short_lived_surv_rate_group->start_adding_regions(); | |
846 // also call this on any additional surv rate groups | |
847 | |
545 | 848 record_survivor_regions(0, NULL, NULL); |
849 | |
342 | 850 _prev_region_num_young = _region_num_young; |
851 _prev_region_num_tenured = _region_num_tenured; | |
852 | |
853 _free_regions_at_end_of_collection = _g1->free_regions(); | |
545 | 854 // Reset survivors SurvRateGroup. |
855 _survivor_surv_rate_group->reset(); | |
342 | 856 calculate_young_list_min_length(); |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
857 calculate_young_list_target_length(); |
1973 | 858 } |
342 | 859 |
860 void G1CollectorPolicy::record_before_bytes(size_t bytes) { | |
861 _bytes_in_to_space_before_gc += bytes; | |
862 } | |
863 | |
864 void G1CollectorPolicy::record_after_bytes(size_t bytes) { | |
865 _bytes_in_to_space_after_gc += bytes; | |
866 } | |
867 | |
868 void G1CollectorPolicy::record_stop_world_start() { | |
869 _stop_world_start = os::elapsedTime(); | |
870 } | |
871 | |
872 void G1CollectorPolicy::record_collection_pause_start(double start_time_sec, | |
873 size_t start_used) { | |
874 if (PrintGCDetails) { | |
875 gclog_or_tty->stamp(PrintGCTimeStamps); | |
876 gclog_or_tty->print("[GC pause"); | |
877 if (in_young_gc_mode()) | |
878 gclog_or_tty->print(" (%s)", full_young_gcs() ? "young" : "partial"); | |
879 } | |
880 | |
1973 | 881 assert(_g1->used() == _g1->recalculate_used(), |
882 err_msg("sanity, used: "SIZE_FORMAT" recalculate_used: "SIZE_FORMAT, | |
883 _g1->used(), _g1->recalculate_used())); | |
342 | 884 |
885 double s_w_t_ms = (start_time_sec - _stop_world_start) * 1000.0; | |
886 _all_stop_world_times_ms->add(s_w_t_ms); | |
887 _stop_world_start = 0.0; | |
888 | |
889 _cur_collection_start_sec = start_time_sec; | |
890 _cur_collection_pause_used_at_start_bytes = start_used; | |
891 _cur_collection_pause_used_regions_at_start = _g1->used_regions(); | |
892 _pending_cards = _g1->pending_card_num(); | |
893 _max_pending_cards = _g1->max_pending_card_num(); | |
894 | |
895 _bytes_in_to_space_before_gc = 0; | |
896 _bytes_in_to_space_after_gc = 0; | |
897 _bytes_in_collection_set_before_gc = 0; | |
898 | |
899 #ifdef DEBUG | |
900 // initialise these to something well known so that we can spot | |
901 // if they are not set properly | |
902 | |
903 for (int i = 0; i < _parallel_gc_threads; ++i) { | |
1611 | 904 _par_last_gc_worker_start_times_ms[i] = -1234.0; |
905 _par_last_ext_root_scan_times_ms[i] = -1234.0; | |
906 _par_last_mark_stack_scan_times_ms[i] = -1234.0; | |
907 _par_last_update_rs_times_ms[i] = -1234.0; | |
908 _par_last_update_rs_processed_buffers[i] = -1234.0; | |
909 _par_last_scan_rs_times_ms[i] = -1234.0; | |
910 _par_last_obj_copy_times_ms[i] = -1234.0; | |
911 _par_last_termination_times_ms[i] = -1234.0; | |
912 _par_last_termination_attempts[i] = -1234.0; | |
913 _par_last_gc_worker_end_times_ms[i] = -1234.0; | |
342 | 914 } |
915 #endif | |
916 | |
917 for (int i = 0; i < _aux_num; ++i) { | |
918 _cur_aux_times_ms[i] = 0.0; | |
919 _cur_aux_times_set[i] = false; | |
920 } | |
921 | |
922 _satb_drain_time_set = false; | |
923 _last_satb_drain_processed_buffers = -1; | |
924 | |
925 if (in_young_gc_mode()) | |
926 _last_young_gc_full = false; | |
927 | |
928 // do that for any other surv rate groups | |
929 _short_lived_surv_rate_group->stop_adding_regions(); | |
1282 | 930 _survivors_age_table.clear(); |
545 | 931 |
342 | 932 assert( verify_young_ages(), "region age verification" ); |
933 } | |
934 | |
935 void G1CollectorPolicy::record_mark_closure_time(double mark_closure_time_ms) { | |
936 _mark_closure_time_ms = mark_closure_time_ms; | |
937 } | |
938 | |
939 void G1CollectorPolicy::record_concurrent_mark_init_start() { | |
940 _mark_init_start_sec = os::elapsedTime(); | |
941 guarantee(!in_young_gc_mode(), "should not do be here in young GC mode"); | |
942 } | |
943 | |
944 void G1CollectorPolicy::record_concurrent_mark_init_end_pre(double | |
945 mark_init_elapsed_time_ms) { | |
946 _during_marking = true; | |
1359
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
947 assert(!initiate_conc_mark_if_possible(), "we should have cleared it by now"); |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
948 clear_during_initial_mark_pause(); |
342 | 949 _cur_mark_stop_world_time_ms = mark_init_elapsed_time_ms; |
950 } | |
951 | |
952 void G1CollectorPolicy::record_concurrent_mark_init_end() { | |
953 double end_time_sec = os::elapsedTime(); | |
954 double elapsed_time_ms = (end_time_sec - _mark_init_start_sec) * 1000.0; | |
955 _concurrent_mark_init_times_ms->add(elapsed_time_ms); | |
956 record_concurrent_mark_init_end_pre(elapsed_time_ms); | |
957 | |
958 _mmu_tracker->add_pause(_mark_init_start_sec, end_time_sec, true); | |
959 } | |
960 | |
961 void G1CollectorPolicy::record_concurrent_mark_remark_start() { | |
962 _mark_remark_start_sec = os::elapsedTime(); | |
963 _during_marking = false; | |
964 } | |
965 | |
966 void G1CollectorPolicy::record_concurrent_mark_remark_end() { | |
967 double end_time_sec = os::elapsedTime(); | |
968 double elapsed_time_ms = (end_time_sec - _mark_remark_start_sec)*1000.0; | |
969 _concurrent_mark_remark_times_ms->add(elapsed_time_ms); | |
970 _cur_mark_stop_world_time_ms += elapsed_time_ms; | |
971 _prev_collection_pause_end_ms += elapsed_time_ms; | |
972 | |
973 _mmu_tracker->add_pause(_mark_remark_start_sec, end_time_sec, true); | |
974 } | |
975 | |
976 void G1CollectorPolicy::record_concurrent_mark_cleanup_start() { | |
977 _mark_cleanup_start_sec = os::elapsedTime(); | |
978 } | |
979 | |
980 void | |
981 G1CollectorPolicy::record_concurrent_mark_cleanup_end(size_t freed_bytes, | |
982 size_t max_live_bytes) { | |
983 record_concurrent_mark_cleanup_end_work1(freed_bytes, max_live_bytes); | |
984 record_concurrent_mark_cleanup_end_work2(); | |
985 } | |
986 | |
987 void | |
988 G1CollectorPolicy:: | |
989 record_concurrent_mark_cleanup_end_work1(size_t freed_bytes, | |
990 size_t max_live_bytes) { | |
991 if (_n_marks < 2) _n_marks++; | |
992 if (G1PolicyVerbose > 0) | |
993 gclog_or_tty->print_cr("At end of marking, max_live is " SIZE_FORMAT " MB " | |
994 " (of " SIZE_FORMAT " MB heap).", | |
995 max_live_bytes/M, _g1->capacity()/M); | |
996 } | |
997 | |
998 // The important thing about this is that it includes "os::elapsedTime". | |
999 void G1CollectorPolicy::record_concurrent_mark_cleanup_end_work2() { | |
1000 double end_time_sec = os::elapsedTime(); | |
1001 double elapsed_time_ms = (end_time_sec - _mark_cleanup_start_sec)*1000.0; | |
1002 _concurrent_mark_cleanup_times_ms->add(elapsed_time_ms); | |
1003 _cur_mark_stop_world_time_ms += elapsed_time_ms; | |
1004 _prev_collection_pause_end_ms += elapsed_time_ms; | |
1005 | |
1006 _mmu_tracker->add_pause(_mark_cleanup_start_sec, end_time_sec, true); | |
1007 | |
1008 _num_markings++; | |
1009 | |
1010 // We did a marking, so reset the "since_last_mark" variables. | |
1011 double considerConcMarkCost = 1.0; | |
1012 // If there are available processors, concurrent activity is free... | |
1013 if (Threads::number_of_non_daemon_threads() * 2 < | |
1014 os::active_processor_count()) { | |
1015 considerConcMarkCost = 0.0; | |
1016 } | |
1017 _n_pauses_at_mark_end = _n_pauses; | |
1018 _n_marks_since_last_pause++; | |
1019 } | |
1020 | |
1021 void | |
1022 G1CollectorPolicy::record_concurrent_mark_cleanup_completed() { | |
1023 if (in_young_gc_mode()) { | |
1024 _should_revert_to_full_young_gcs = false; | |
1025 _last_full_young_gc = true; | |
1026 _in_marking_window = false; | |
1027 if (adaptive_young_list_length()) | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1028 calculate_young_list_target_length(); |
342 | 1029 } |
1030 } | |
1031 | |
1032 void G1CollectorPolicy::record_concurrent_pause() { | |
1033 if (_stop_world_start > 0.0) { | |
1034 double yield_ms = (os::elapsedTime() - _stop_world_start) * 1000.0; | |
1035 _all_yield_times_ms->add(yield_ms); | |
1036 } | |
1037 } | |
1038 | |
1039 void G1CollectorPolicy::record_concurrent_pause_end() { | |
1040 } | |
1041 | |
1042 void G1CollectorPolicy::record_collection_pause_end_CH_strong_roots() { | |
1043 _cur_CH_strong_roots_end_sec = os::elapsedTime(); | |
1044 _cur_CH_strong_roots_dur_ms = | |
1045 (_cur_CH_strong_roots_end_sec - _cur_collection_start_sec) * 1000.0; | |
1046 } | |
1047 | |
1048 void G1CollectorPolicy::record_collection_pause_end_G1_strong_roots() { | |
1049 _cur_G1_strong_roots_end_sec = os::elapsedTime(); | |
1050 _cur_G1_strong_roots_dur_ms = | |
1051 (_cur_G1_strong_roots_end_sec - _cur_CH_strong_roots_end_sec) * 1000.0; | |
1052 } | |
1053 | |
1054 template<class T> | |
1055 T sum_of(T* sum_arr, int start, int n, int N) { | |
1056 T sum = (T)0; | |
1057 for (int i = 0; i < n; i++) { | |
1058 int j = (start + i) % N; | |
1059 sum += sum_arr[j]; | |
1060 } | |
1061 return sum; | |
1062 } | |
1063 | |
1611 | 1064 void G1CollectorPolicy::print_par_stats(int level, |
1065 const char* str, | |
1066 double* data, | |
342 | 1067 bool summary) { |
1068 double min = data[0], max = data[0]; | |
1069 double total = 0.0; | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
1070 LineBuffer buf(level); |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
1071 buf.append("[%s (ms):", str); |
342 | 1072 for (uint i = 0; i < ParallelGCThreads; ++i) { |
1073 double val = data[i]; | |
1074 if (val < min) | |
1075 min = val; | |
1076 if (val > max) | |
1077 max = val; | |
1078 total += val; | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
1079 buf.append(" %3.1lf", val); |
342 | 1080 } |
1081 if (summary) { | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
1082 buf.append_and_print_cr(""); |
342 | 1083 double avg = total / (double) ParallelGCThreads; |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
1084 buf.append(" "); |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
1085 buf.append("Avg: %5.1lf, Min: %5.1lf, Max: %5.1lf", |
342 | 1086 avg, min, max); |
1087 } | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
1088 buf.append_and_print_cr("]"); |
342 | 1089 } |
1090 | |
1611 | 1091 void G1CollectorPolicy::print_par_sizes(int level, |
1092 const char* str, | |
1093 double* data, | |
1094 bool summary) { | |
342 | 1095 double min = data[0], max = data[0]; |
1096 double total = 0.0; | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
1097 LineBuffer buf(level); |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
1098 buf.append("[%s :", str); |
342 | 1099 for (uint i = 0; i < ParallelGCThreads; ++i) { |
1100 double val = data[i]; | |
1101 if (val < min) | |
1102 min = val; | |
1103 if (val > max) | |
1104 max = val; | |
1105 total += val; | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
1106 buf.append(" %d", (int) val); |
342 | 1107 } |
1108 if (summary) { | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
1109 buf.append_and_print_cr(""); |
342 | 1110 double avg = total / (double) ParallelGCThreads; |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
1111 buf.append(" "); |
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
1112 buf.append("Sum: %d, Avg: %d, Min: %d, Max: %d", |
342 | 1113 (int)total, (int)avg, (int)min, (int)max); |
1114 } | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
1115 buf.append_and_print_cr("]"); |
342 | 1116 } |
1117 | |
1118 void G1CollectorPolicy::print_stats (int level, | |
1119 const char* str, | |
1120 double value) { | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
1121 LineBuffer(level).append_and_print_cr("[%s: %5.1lf ms]", str, value); |
342 | 1122 } |
1123 | |
1124 void G1CollectorPolicy::print_stats (int level, | |
1125 const char* str, | |
1126 int value) { | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
1127 LineBuffer(level).append_and_print_cr("[%s: %d]", str, value); |
342 | 1128 } |
1129 | |
1130 double G1CollectorPolicy::avg_value (double* data) { | |
1833
8b10f48633dc
6984287: Regularize how GC parallel workers are specified.
jmasa
parents:
1779
diff
changeset
|
1131 if (G1CollectedHeap::use_parallel_gc_threads()) { |
342 | 1132 double ret = 0.0; |
1133 for (uint i = 0; i < ParallelGCThreads; ++i) | |
1134 ret += data[i]; | |
1135 return ret / (double) ParallelGCThreads; | |
1136 } else { | |
1137 return data[0]; | |
1138 } | |
1139 } | |
1140 | |
1141 double G1CollectorPolicy::max_value (double* data) { | |
1833
8b10f48633dc
6984287: Regularize how GC parallel workers are specified.
jmasa
parents:
1779
diff
changeset
|
1142 if (G1CollectedHeap::use_parallel_gc_threads()) { |
342 | 1143 double ret = data[0]; |
1144 for (uint i = 1; i < ParallelGCThreads; ++i) | |
1145 if (data[i] > ret) | |
1146 ret = data[i]; | |
1147 return ret; | |
1148 } else { | |
1149 return data[0]; | |
1150 } | |
1151 } | |
1152 | |
1153 double G1CollectorPolicy::sum_of_values (double* data) { | |
1833
8b10f48633dc
6984287: Regularize how GC parallel workers are specified.
jmasa
parents:
1779
diff
changeset
|
1154 if (G1CollectedHeap::use_parallel_gc_threads()) { |
342 | 1155 double sum = 0.0; |
1156 for (uint i = 0; i < ParallelGCThreads; i++) | |
1157 sum += data[i]; | |
1158 return sum; | |
1159 } else { | |
1160 return data[0]; | |
1161 } | |
1162 } | |
1163 | |
1164 double G1CollectorPolicy::max_sum (double* data1, | |
1165 double* data2) { | |
1166 double ret = data1[0] + data2[0]; | |
1167 | |
1833
8b10f48633dc
6984287: Regularize how GC parallel workers are specified.
jmasa
parents:
1779
diff
changeset
|
1168 if (G1CollectedHeap::use_parallel_gc_threads()) { |
342 | 1169 for (uint i = 1; i < ParallelGCThreads; ++i) { |
1170 double data = data1[i] + data2[i]; | |
1171 if (data > ret) | |
1172 ret = data; | |
1173 } | |
1174 } | |
1175 return ret; | |
1176 } | |
1177 | |
1178 // Anything below that is considered to be zero | |
1179 #define MIN_TIMER_GRANULARITY 0.0000001 | |
1180 | |
1707 | 1181 void G1CollectorPolicy::record_collection_pause_end() { |
342 | 1182 double end_time_sec = os::elapsedTime(); |
1183 double elapsed_ms = _last_pause_time_ms; | |
1833
8b10f48633dc
6984287: Regularize how GC parallel workers are specified.
jmasa
parents:
1779
diff
changeset
|
1184 bool parallel = G1CollectedHeap::use_parallel_gc_threads(); |
342 | 1185 double evac_ms = (end_time_sec - _cur_G1_strong_roots_end_sec) * 1000.0; |
1186 size_t rs_size = | |
1187 _cur_collection_pause_used_regions_at_start - collection_set_size(); | |
1188 size_t cur_used_bytes = _g1->used(); | |
1189 assert(cur_used_bytes == _g1->recalculate_used(), "It should!"); | |
1190 bool last_pause_included_initial_mark = false; | |
1707 | 1191 bool update_stats = !_g1->evacuation_failed(); |
342 | 1192 |
1193 #ifndef PRODUCT | |
1194 if (G1YoungSurvRateVerbose) { | |
1195 gclog_or_tty->print_cr(""); | |
1196 _short_lived_surv_rate_group->print(); | |
1197 // do that for any other surv rate groups too | |
1198 } | |
1199 #endif // PRODUCT | |
1200 | |
1201 if (in_young_gc_mode()) { | |
1359
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1202 last_pause_included_initial_mark = during_initial_mark_pause(); |
342 | 1203 if (last_pause_included_initial_mark) |
1204 record_concurrent_mark_init_end_pre(0.0); | |
1205 | |
1206 size_t min_used_targ = | |
1283
1c72304f1885
6928073: G1: use existing command line parameters for marking cycle initiation
tonyp
parents:
1282
diff
changeset
|
1207 (_g1->capacity() / 100) * InitiatingHeapOccupancyPercent; |
342 | 1208 |
1359
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1209 |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1210 if (!_g1->mark_in_progress() && !_last_full_young_gc) { |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1211 assert(!last_pause_included_initial_mark, "invariant"); |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1212 if (cur_used_bytes > min_used_targ && |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1213 cur_used_bytes > _prev_collection_pause_used_at_end_bytes) { |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1214 assert(!during_initial_mark_pause(), "we should not see this here"); |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1215 |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1216 // Note: this might have already been set, if during the last |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1217 // pause we decided to start a cycle but at the beginning of |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1218 // this pause we decided to postpone it. That's OK. |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1219 set_initiate_conc_mark_if_possible(); |
342 | 1220 } |
1221 } | |
1222 | |
1223 _prev_collection_pause_used_at_end_bytes = cur_used_bytes; | |
1224 } | |
1225 | |
1226 _mmu_tracker->add_pause(end_time_sec - elapsed_ms/1000.0, | |
1227 end_time_sec, false); | |
1228 | |
1229 guarantee(_cur_collection_pause_used_regions_at_start >= | |
1230 collection_set_size(), | |
1231 "Negative RS size?"); | |
1232 | |
1233 // This assert is exempted when we're doing parallel collection pauses, | |
1234 // because the fragmentation caused by the parallel GC allocation buffers | |
1235 // can lead to more memory being used during collection than was used | |
1236 // before. Best leave this out until the fragmentation problem is fixed. | |
1237 // Pauses in which evacuation failed can also lead to negative | |
1238 // collections, since no space is reclaimed from a region containing an | |
1239 // object whose evacuation failed. | |
1240 // Further, we're now always doing parallel collection. But I'm still | |
1241 // leaving this here as a placeholder for a more precise assertion later. | |
1242 // (DLD, 10/05.) | |
1243 assert((true || parallel) // Always using GC LABs now. | |
1244 || _g1->evacuation_failed() | |
1245 || _cur_collection_pause_used_at_start_bytes >= cur_used_bytes, | |
1246 "Negative collection"); | |
1247 | |
1248 size_t freed_bytes = | |
1249 _cur_collection_pause_used_at_start_bytes - cur_used_bytes; | |
1250 size_t surviving_bytes = _collection_set_bytes_used_before - freed_bytes; | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1251 |
342 | 1252 double survival_fraction = |
1253 (double)surviving_bytes/ | |
1254 (double)_collection_set_bytes_used_before; | |
1255 | |
1256 _n_pauses++; | |
1257 | |
595
3698e8f47799
6804746: G1: guarantee(variance() > -1.0,"variance should be >= 0") (due to evacuation failure)
tonyp
parents:
547
diff
changeset
|
1258 if (update_stats) { |
342 | 1259 _recent_CH_strong_roots_times_ms->add(_cur_CH_strong_roots_dur_ms); |
1260 _recent_G1_strong_roots_times_ms->add(_cur_G1_strong_roots_dur_ms); | |
1261 _recent_evac_times_ms->add(evac_ms); | |
1262 _recent_pause_times_ms->add(elapsed_ms); | |
1263 | |
1264 _recent_rs_sizes->add(rs_size); | |
1265 | |
1266 // We exempt parallel collection from this check because Alloc Buffer | |
1267 // fragmentation can produce negative collections. Same with evac | |
1268 // failure. | |
1269 // Further, we're now always doing parallel collection. But I'm still | |
1270 // leaving this here as a placeholder for a more precise assertion later. | |
1271 // (DLD, 10/05. | |
1272 assert((true || parallel) | |
1273 || _g1->evacuation_failed() | |
1274 || surviving_bytes <= _collection_set_bytes_used_before, | |
1275 "Or else negative collection!"); | |
1276 _recent_CS_bytes_used_before->add(_collection_set_bytes_used_before); | |
1277 _recent_CS_bytes_surviving->add(surviving_bytes); | |
1278 | |
1279 // this is where we update the allocation rate of the application | |
1280 double app_time_ms = | |
1281 (_cur_collection_start_sec * 1000.0 - _prev_collection_pause_end_ms); | |
1282 if (app_time_ms < MIN_TIMER_GRANULARITY) { | |
1283 // This usually happens due to the timer not having the required | |
1284 // granularity. Some Linuxes are the usual culprits. | |
1285 // We'll just set it to something (arbitrarily) small. | |
1286 app_time_ms = 1.0; | |
1287 } | |
1288 size_t regions_allocated = | |
1289 (_region_num_young - _prev_region_num_young) + | |
1290 (_region_num_tenured - _prev_region_num_tenured); | |
1291 double alloc_rate_ms = (double) regions_allocated / app_time_ms; | |
1292 _alloc_rate_ms_seq->add(alloc_rate_ms); | |
1293 _prev_region_num_young = _region_num_young; | |
1294 _prev_region_num_tenured = _region_num_tenured; | |
1295 | |
1296 double interval_ms = | |
1297 (end_time_sec - _recent_prev_end_times_for_all_gcs_sec->oldest()) * 1000.0; | |
1298 update_recent_gc_times(end_time_sec, elapsed_ms); | |
1299 _recent_avg_pause_time_ratio = _recent_gc_times_ms->sum()/interval_ms; | |
1086
89f1b9ae8991
6898948: G1: forensic instrumentation for out-of-bounds recent_avg_pause_time_ratio()
ysr
parents:
1043
diff
changeset
|
1300 if (recent_avg_pause_time_ratio() < 0.0 || |
89f1b9ae8991
6898948: G1: forensic instrumentation for out-of-bounds recent_avg_pause_time_ratio()
ysr
parents:
1043
diff
changeset
|
1301 (recent_avg_pause_time_ratio() - 1.0 > 0.0)) { |
89f1b9ae8991
6898948: G1: forensic instrumentation for out-of-bounds recent_avg_pause_time_ratio()
ysr
parents:
1043
diff
changeset
|
1302 #ifndef PRODUCT |
89f1b9ae8991
6898948: G1: forensic instrumentation for out-of-bounds recent_avg_pause_time_ratio()
ysr
parents:
1043
diff
changeset
|
1303 // Dump info to allow post-facto debugging |
89f1b9ae8991
6898948: G1: forensic instrumentation for out-of-bounds recent_avg_pause_time_ratio()
ysr
parents:
1043
diff
changeset
|
1304 gclog_or_tty->print_cr("recent_avg_pause_time_ratio() out of bounds"); |
89f1b9ae8991
6898948: G1: forensic instrumentation for out-of-bounds recent_avg_pause_time_ratio()
ysr
parents:
1043
diff
changeset
|
1305 gclog_or_tty->print_cr("-------------------------------------------"); |
89f1b9ae8991
6898948: G1: forensic instrumentation for out-of-bounds recent_avg_pause_time_ratio()
ysr
parents:
1043
diff
changeset
|
1306 gclog_or_tty->print_cr("Recent GC Times (ms):"); |
89f1b9ae8991
6898948: G1: forensic instrumentation for out-of-bounds recent_avg_pause_time_ratio()
ysr
parents:
1043
diff
changeset
|
1307 _recent_gc_times_ms->dump(); |
89f1b9ae8991
6898948: G1: forensic instrumentation for out-of-bounds recent_avg_pause_time_ratio()
ysr
parents:
1043
diff
changeset
|
1308 gclog_or_tty->print_cr("(End Time=%3.3f) Recent GC End Times (s):", end_time_sec); |
89f1b9ae8991
6898948: G1: forensic instrumentation for out-of-bounds recent_avg_pause_time_ratio()
ysr
parents:
1043
diff
changeset
|
1309 _recent_prev_end_times_for_all_gcs_sec->dump(); |
89f1b9ae8991
6898948: G1: forensic instrumentation for out-of-bounds recent_avg_pause_time_ratio()
ysr
parents:
1043
diff
changeset
|
1310 gclog_or_tty->print_cr("GC = %3.3f, Interval = %3.3f, Ratio = %3.3f", |
89f1b9ae8991
6898948: G1: forensic instrumentation for out-of-bounds recent_avg_pause_time_ratio()
ysr
parents:
1043
diff
changeset
|
1311 _recent_gc_times_ms->sum(), interval_ms, recent_avg_pause_time_ratio()); |
1087
23b9a8d315fc
6902701: G1: protect debugging code related to 6898948 with a debug flag
ysr
parents:
1086
diff
changeset
|
1312 // In debug mode, terminate the JVM if the user wants to debug at this point. |
23b9a8d315fc
6902701: G1: protect debugging code related to 6898948 with a debug flag
ysr
parents:
1086
diff
changeset
|
1313 assert(!G1FailOnFPError, "Debugging data for CR 6898948 has been dumped above"); |
23b9a8d315fc
6902701: G1: protect debugging code related to 6898948 with a debug flag
ysr
parents:
1086
diff
changeset
|
1314 #endif // !PRODUCT |
23b9a8d315fc
6902701: G1: protect debugging code related to 6898948 with a debug flag
ysr
parents:
1086
diff
changeset
|
1315 // Clip ratio between 0.0 and 1.0, and continue. This will be fixed in |
23b9a8d315fc
6902701: G1: protect debugging code related to 6898948 with a debug flag
ysr
parents:
1086
diff
changeset
|
1316 // CR 6902692 by redoing the manner in which the ratio is incrementally computed. |
1086
89f1b9ae8991
6898948: G1: forensic instrumentation for out-of-bounds recent_avg_pause_time_ratio()
ysr
parents:
1043
diff
changeset
|
1317 if (_recent_avg_pause_time_ratio < 0.0) { |
89f1b9ae8991
6898948: G1: forensic instrumentation for out-of-bounds recent_avg_pause_time_ratio()
ysr
parents:
1043
diff
changeset
|
1318 _recent_avg_pause_time_ratio = 0.0; |
89f1b9ae8991
6898948: G1: forensic instrumentation for out-of-bounds recent_avg_pause_time_ratio()
ysr
parents:
1043
diff
changeset
|
1319 } else { |
89f1b9ae8991
6898948: G1: forensic instrumentation for out-of-bounds recent_avg_pause_time_ratio()
ysr
parents:
1043
diff
changeset
|
1320 assert(_recent_avg_pause_time_ratio - 1.0 > 0.0, "Ctl-point invariant"); |
89f1b9ae8991
6898948: G1: forensic instrumentation for out-of-bounds recent_avg_pause_time_ratio()
ysr
parents:
1043
diff
changeset
|
1321 _recent_avg_pause_time_ratio = 1.0; |
89f1b9ae8991
6898948: G1: forensic instrumentation for out-of-bounds recent_avg_pause_time_ratio()
ysr
parents:
1043
diff
changeset
|
1322 } |
89f1b9ae8991
6898948: G1: forensic instrumentation for out-of-bounds recent_avg_pause_time_ratio()
ysr
parents:
1043
diff
changeset
|
1323 } |
342 | 1324 } |
1325 | |
1326 if (G1PolicyVerbose > 1) { | |
1327 gclog_or_tty->print_cr(" Recording collection pause(%d)", _n_pauses); | |
1328 } | |
1329 | |
1707 | 1330 PauseSummary* summary = _summary; |
342 | 1331 |
1332 double ext_root_scan_time = avg_value(_par_last_ext_root_scan_times_ms); | |
1333 double mark_stack_scan_time = avg_value(_par_last_mark_stack_scan_times_ms); | |
1334 double update_rs_time = avg_value(_par_last_update_rs_times_ms); | |
1335 double update_rs_processed_buffers = | |
1336 sum_of_values(_par_last_update_rs_processed_buffers); | |
1337 double scan_rs_time = avg_value(_par_last_scan_rs_times_ms); | |
1338 double obj_copy_time = avg_value(_par_last_obj_copy_times_ms); | |
1339 double termination_time = avg_value(_par_last_termination_times_ms); | |
1340 | |
648
2314b7336582
6820321: G1: Error: guarantee(check_nums(total, n, parts), "all seq lengths should match")
tonyp
parents:
640
diff
changeset
|
1341 double parallel_other_time = _cur_collection_par_time_ms - |
2314b7336582
6820321: G1: Error: guarantee(check_nums(total, n, parts), "all seq lengths should match")
tonyp
parents:
640
diff
changeset
|
1342 (update_rs_time + ext_root_scan_time + mark_stack_scan_time + |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1343 scan_rs_time + obj_copy_time + termination_time); |
595
3698e8f47799
6804746: G1: guarantee(variance() > -1.0,"variance should be >= 0") (due to evacuation failure)
tonyp
parents:
547
diff
changeset
|
1344 if (update_stats) { |
342 | 1345 MainBodySummary* body_summary = summary->main_body_summary(); |
1346 guarantee(body_summary != NULL, "should not be null!"); | |
1347 | |
1348 if (_satb_drain_time_set) | |
1349 body_summary->record_satb_drain_time_ms(_cur_satb_drain_time_ms); | |
1350 else | |
1351 body_summary->record_satb_drain_time_ms(0.0); | |
1352 body_summary->record_ext_root_scan_time_ms(ext_root_scan_time); | |
1353 body_summary->record_mark_stack_scan_time_ms(mark_stack_scan_time); | |
1354 body_summary->record_update_rs_time_ms(update_rs_time); | |
1355 body_summary->record_scan_rs_time_ms(scan_rs_time); | |
1356 body_summary->record_obj_copy_time_ms(obj_copy_time); | |
1357 if (parallel) { | |
1358 body_summary->record_parallel_time_ms(_cur_collection_par_time_ms); | |
1359 body_summary->record_clear_ct_time_ms(_cur_clear_ct_time_ms); | |
1360 body_summary->record_termination_time_ms(termination_time); | |
1361 body_summary->record_parallel_other_time_ms(parallel_other_time); | |
1362 } | |
1363 body_summary->record_mark_closure_time_ms(_mark_closure_time_ms); | |
1364 } | |
1365 | |
1366 if (G1PolicyVerbose > 1) { | |
1367 gclog_or_tty->print_cr(" ET: %10.6f ms (avg: %10.6f ms)\n" | |
1368 " CH Strong: %10.6f ms (avg: %10.6f ms)\n" | |
1369 " G1 Strong: %10.6f ms (avg: %10.6f ms)\n" | |
1370 " Evac: %10.6f ms (avg: %10.6f ms)\n" | |
1371 " ET-RS: %10.6f ms (avg: %10.6f ms)\n" | |
1372 " |RS|: " SIZE_FORMAT, | |
1373 elapsed_ms, recent_avg_time_for_pauses_ms(), | |
1374 _cur_CH_strong_roots_dur_ms, recent_avg_time_for_CH_strong_ms(), | |
1375 _cur_G1_strong_roots_dur_ms, recent_avg_time_for_G1_strong_ms(), | |
1376 evac_ms, recent_avg_time_for_evac_ms(), | |
1377 scan_rs_time, | |
1378 recent_avg_time_for_pauses_ms() - | |
1379 recent_avg_time_for_G1_strong_ms(), | |
1380 rs_size); | |
1381 | |
1382 gclog_or_tty->print_cr(" Used at start: " SIZE_FORMAT"K" | |
1383 " At end " SIZE_FORMAT "K\n" | |
1384 " garbage : " SIZE_FORMAT "K" | |
1385 " of " SIZE_FORMAT "K\n" | |
1386 " survival : %6.2f%% (%6.2f%% avg)", | |
1387 _cur_collection_pause_used_at_start_bytes/K, | |
1388 _g1->used()/K, freed_bytes/K, | |
1389 _collection_set_bytes_used_before/K, | |
1390 survival_fraction*100.0, | |
1391 recent_avg_survival_fraction()*100.0); | |
1392 gclog_or_tty->print_cr(" Recent %% gc pause time: %6.2f", | |
1393 recent_avg_pause_time_ratio() * 100.0); | |
1394 } | |
1395 | |
1396 double other_time_ms = elapsed_ms; | |
1397 | |
1707 | 1398 if (_satb_drain_time_set) { |
1399 other_time_ms -= _cur_satb_drain_time_ms; | |
1400 } | |
1401 | |
1402 if (parallel) { | |
1403 other_time_ms -= _cur_collection_par_time_ms + _cur_clear_ct_time_ms; | |
1404 } else { | |
1405 other_time_ms -= | |
1406 update_rs_time + | |
1407 ext_root_scan_time + mark_stack_scan_time + | |
1408 scan_rs_time + obj_copy_time; | |
342 | 1409 } |
1410 | |
1411 if (PrintGCDetails) { | |
1707 | 1412 gclog_or_tty->print_cr("%s, %1.8lf secs]", |
342 | 1413 (last_pause_included_initial_mark) ? " (initial-mark)" : "", |
1414 elapsed_ms / 1000.0); | |
1415 | |
1707 | 1416 if (_satb_drain_time_set) { |
1417 print_stats(1, "SATB Drain Time", _cur_satb_drain_time_ms); | |
1418 } | |
1419 if (_last_satb_drain_processed_buffers >= 0) { | |
1420 print_stats(2, "Processed Buffers", _last_satb_drain_processed_buffers); | |
1421 } | |
1422 if (parallel) { | |
1423 print_stats(1, "Parallel Time", _cur_collection_par_time_ms); | |
1424 print_par_stats(2, "GC Worker Start Time", | |
1425 _par_last_gc_worker_start_times_ms, false); | |
1426 print_par_stats(2, "Update RS", _par_last_update_rs_times_ms); | |
1427 print_par_sizes(3, "Processed Buffers", | |
1428 _par_last_update_rs_processed_buffers, true); | |
1429 print_par_stats(2, "Ext Root Scanning", | |
1430 _par_last_ext_root_scan_times_ms); | |
1431 print_par_stats(2, "Mark Stack Scanning", | |
1432 _par_last_mark_stack_scan_times_ms); | |
1433 print_par_stats(2, "Scan RS", _par_last_scan_rs_times_ms); | |
1434 print_par_stats(2, "Object Copy", _par_last_obj_copy_times_ms); | |
1435 print_par_stats(2, "Termination", _par_last_termination_times_ms); | |
1436 print_par_sizes(3, "Termination Attempts", | |
1437 _par_last_termination_attempts, true); | |
1438 print_par_stats(2, "GC Worker End Time", | |
1439 _par_last_gc_worker_end_times_ms, false); | |
1440 print_stats(2, "Other", parallel_other_time); | |
1441 print_stats(1, "Clear CT", _cur_clear_ct_time_ms); | |
1442 } else { | |
1443 print_stats(1, "Update RS", update_rs_time); | |
1444 print_stats(2, "Processed Buffers", | |
1445 (int)update_rs_processed_buffers); | |
1446 print_stats(1, "Ext Root Scanning", ext_root_scan_time); | |
1447 print_stats(1, "Mark Stack Scanning", mark_stack_scan_time); | |
1448 print_stats(1, "Scan RS", scan_rs_time); | |
1449 print_stats(1, "Object Copying", obj_copy_time); | |
342 | 1450 } |
890
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
845
diff
changeset
|
1451 #ifndef PRODUCT |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
845
diff
changeset
|
1452 print_stats(1, "Cur Clear CC", _cur_clear_cc_time_ms); |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
845
diff
changeset
|
1453 print_stats(1, "Cum Clear CC", _cum_clear_cc_time_ms); |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
845
diff
changeset
|
1454 print_stats(1, "Min Clear CC", _min_clear_cc_time_ms); |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
845
diff
changeset
|
1455 print_stats(1, "Max Clear CC", _max_clear_cc_time_ms); |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
845
diff
changeset
|
1456 if (_num_cc_clears > 0) { |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
845
diff
changeset
|
1457 print_stats(1, "Avg Clear CC", _cum_clear_cc_time_ms / ((double)_num_cc_clears)); |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
845
diff
changeset
|
1458 } |
6cb8e9df7174
6819077: G1: first GC thread coming late into the GC.
johnc
parents:
845
diff
changeset
|
1459 #endif |
342 | 1460 print_stats(1, "Other", other_time_ms); |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1461 print_stats(2, "Choose CSet", _recorded_young_cset_choice_time_ms); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1462 |
342 | 1463 for (int i = 0; i < _aux_num; ++i) { |
1464 if (_cur_aux_times_set[i]) { | |
1465 char buffer[96]; | |
1466 sprintf(buffer, "Aux%d", i); | |
1467 print_stats(1, buffer, _cur_aux_times_ms[i]); | |
1468 } | |
1469 } | |
1470 } | |
1471 if (PrintGCDetails) | |
1472 gclog_or_tty->print(" ["); | |
1473 if (PrintGC || PrintGCDetails) | |
1474 _g1->print_size_transition(gclog_or_tty, | |
1475 _cur_collection_pause_used_at_start_bytes, | |
1476 _g1->used(), _g1->capacity()); | |
1477 if (PrintGCDetails) | |
1478 gclog_or_tty->print_cr("]"); | |
1479 | |
1480 _all_pause_times_ms->add(elapsed_ms); | |
648
2314b7336582
6820321: G1: Error: guarantee(check_nums(total, n, parts), "all seq lengths should match")
tonyp
parents:
640
diff
changeset
|
1481 if (update_stats) { |
2314b7336582
6820321: G1: Error: guarantee(check_nums(total, n, parts), "all seq lengths should match")
tonyp
parents:
640
diff
changeset
|
1482 summary->record_total_time_ms(elapsed_ms); |
2314b7336582
6820321: G1: Error: guarantee(check_nums(total, n, parts), "all seq lengths should match")
tonyp
parents:
640
diff
changeset
|
1483 summary->record_other_time_ms(other_time_ms); |
2314b7336582
6820321: G1: Error: guarantee(check_nums(total, n, parts), "all seq lengths should match")
tonyp
parents:
640
diff
changeset
|
1484 } |
342 | 1485 for (int i = 0; i < _aux_num; ++i) |
1486 if (_cur_aux_times_set[i]) | |
1487 _all_aux_times_ms[i].add(_cur_aux_times_ms[i]); | |
1488 | |
1489 // Reset marks-between-pauses counter. | |
1490 _n_marks_since_last_pause = 0; | |
1491 | |
1492 // Update the efficiency-since-mark vars. | |
1493 double proc_ms = elapsed_ms * (double) _parallel_gc_threads; | |
1494 if (elapsed_ms < MIN_TIMER_GRANULARITY) { | |
1495 // This usually happens due to the timer not having the required | |
1496 // granularity. Some Linuxes are the usual culprits. | |
1497 // We'll just set it to something (arbitrarily) small. | |
1498 proc_ms = 1.0; | |
1499 } | |
1500 double cur_efficiency = (double) freed_bytes / proc_ms; | |
1501 | |
1502 bool new_in_marking_window = _in_marking_window; | |
1503 bool new_in_marking_window_im = false; | |
1359
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1504 if (during_initial_mark_pause()) { |
342 | 1505 new_in_marking_window = true; |
1506 new_in_marking_window_im = true; | |
1507 } | |
1508 | |
1509 if (in_young_gc_mode()) { | |
1510 if (_last_full_young_gc) { | |
1511 set_full_young_gcs(false); | |
1512 _last_full_young_gc = false; | |
1513 } | |
1514 | |
1515 if ( !_last_young_gc_full ) { | |
1516 if ( _should_revert_to_full_young_gcs || | |
1517 _known_garbage_ratio < 0.05 || | |
1518 (adaptive_young_list_length() && | |
1519 (get_gc_eff_factor() * cur_efficiency < predict_young_gc_eff())) ) { | |
1520 set_full_young_gcs(true); | |
1521 } | |
1522 } | |
1523 _should_revert_to_full_young_gcs = false; | |
1524 | |
1525 if (_last_young_gc_full && !_during_marking) | |
1526 _young_gc_eff_seq->add(cur_efficiency); | |
1527 } | |
1528 | |
1529 _short_lived_surv_rate_group->start_adding_regions(); | |
1530 // do that for any other surv rate groupsx | |
1531 | |
1532 // <NEW PREDICTION> | |
1533 | |
677 | 1534 if (update_stats) { |
342 | 1535 double pause_time_ms = elapsed_ms; |
1536 | |
1537 size_t diff = 0; | |
1538 if (_max_pending_cards >= _pending_cards) | |
1539 diff = _max_pending_cards - _pending_cards; | |
1540 _pending_card_diff_seq->add((double) diff); | |
1541 | |
1542 double cost_per_card_ms = 0.0; | |
1543 if (_pending_cards > 0) { | |
1544 cost_per_card_ms = update_rs_time / (double) _pending_cards; | |
1545 _cost_per_card_ms_seq->add(cost_per_card_ms); | |
1546 } | |
1547 | |
1548 size_t cards_scanned = _g1->cards_scanned(); | |
1549 | |
1550 double cost_per_entry_ms = 0.0; | |
1551 if (cards_scanned > 10) { | |
1552 cost_per_entry_ms = scan_rs_time / (double) cards_scanned; | |
1553 if (_last_young_gc_full) | |
1554 _cost_per_entry_ms_seq->add(cost_per_entry_ms); | |
1555 else | |
1556 _partially_young_cost_per_entry_ms_seq->add(cost_per_entry_ms); | |
1557 } | |
1558 | |
1559 if (_max_rs_lengths > 0) { | |
1560 double cards_per_entry_ratio = | |
1561 (double) cards_scanned / (double) _max_rs_lengths; | |
1562 if (_last_young_gc_full) | |
1563 _fully_young_cards_per_entry_ratio_seq->add(cards_per_entry_ratio); | |
1564 else | |
1565 _partially_young_cards_per_entry_ratio_seq->add(cards_per_entry_ratio); | |
1566 } | |
1567 | |
1568 size_t rs_length_diff = _max_rs_lengths - _recorded_rs_lengths; | |
1569 if (rs_length_diff >= 0) | |
1570 _rs_length_diff_seq->add((double) rs_length_diff); | |
1571 | |
1572 size_t copied_bytes = surviving_bytes; | |
1573 double cost_per_byte_ms = 0.0; | |
1574 if (copied_bytes > 0) { | |
1575 cost_per_byte_ms = obj_copy_time / (double) copied_bytes; | |
1576 if (_in_marking_window) | |
1577 _cost_per_byte_ms_during_cm_seq->add(cost_per_byte_ms); | |
1578 else | |
1579 _cost_per_byte_ms_seq->add(cost_per_byte_ms); | |
1580 } | |
1581 | |
1582 double all_other_time_ms = pause_time_ms - | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1583 (update_rs_time + scan_rs_time + obj_copy_time + |
342 | 1584 _mark_closure_time_ms + termination_time); |
1585 | |
1586 double young_other_time_ms = 0.0; | |
1587 if (_recorded_young_regions > 0) { | |
1588 young_other_time_ms = | |
1589 _recorded_young_cset_choice_time_ms + | |
1590 _recorded_young_free_cset_time_ms; | |
1591 _young_other_cost_per_region_ms_seq->add(young_other_time_ms / | |
1592 (double) _recorded_young_regions); | |
1593 } | |
1594 double non_young_other_time_ms = 0.0; | |
1595 if (_recorded_non_young_regions > 0) { | |
1596 non_young_other_time_ms = | |
1597 _recorded_non_young_cset_choice_time_ms + | |
1598 _recorded_non_young_free_cset_time_ms; | |
1599 | |
1600 _non_young_other_cost_per_region_ms_seq->add(non_young_other_time_ms / | |
1601 (double) _recorded_non_young_regions); | |
1602 } | |
1603 | |
1604 double constant_other_time_ms = all_other_time_ms - | |
1605 (young_other_time_ms + non_young_other_time_ms); | |
1606 _constant_other_time_ms_seq->add(constant_other_time_ms); | |
1607 | |
1608 double survival_ratio = 0.0; | |
1609 if (_bytes_in_collection_set_before_gc > 0) { | |
1610 survival_ratio = (double) bytes_in_to_space_during_gc() / | |
1611 (double) _bytes_in_collection_set_before_gc; | |
1612 } | |
1613 | |
1614 _pending_cards_seq->add((double) _pending_cards); | |
1615 _scanned_cards_seq->add((double) cards_scanned); | |
1616 _rs_lengths_seq->add((double) _max_rs_lengths); | |
1617 | |
1618 double expensive_region_limit_ms = | |
751 | 1619 (double) MaxGCPauseMillis - predict_constant_other_time_ms(); |
342 | 1620 if (expensive_region_limit_ms < 0.0) { |
1621 // this means that the other time was predicted to be longer than | |
1622 // than the max pause time | |
751 | 1623 expensive_region_limit_ms = (double) MaxGCPauseMillis; |
342 | 1624 } |
1625 _expensive_region_limit_ms = expensive_region_limit_ms; | |
1626 | |
1627 if (PREDICTIONS_VERBOSE) { | |
1628 gclog_or_tty->print_cr(""); | |
1629 gclog_or_tty->print_cr("PREDICTIONS %1.4lf %d " | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1630 "REGIONS %d %d %d " |
342 | 1631 "PENDING_CARDS %d %d " |
1632 "CARDS_SCANNED %d %d " | |
1633 "RS_LENGTHS %d %d " | |
1634 "RS_UPDATE %1.6lf %1.6lf RS_SCAN %1.6lf %1.6lf " | |
1635 "SURVIVAL_RATIO %1.6lf %1.6lf " | |
1636 "OBJECT_COPY %1.6lf %1.6lf OTHER_CONSTANT %1.6lf %1.6lf " | |
1637 "OTHER_YOUNG %1.6lf %1.6lf " | |
1638 "OTHER_NON_YOUNG %1.6lf %1.6lf " | |
1639 "VTIME_DIFF %1.6lf TERMINATION %1.6lf " | |
1640 "ELAPSED %1.6lf %1.6lf ", | |
1641 _cur_collection_start_sec, | |
1642 (!_last_young_gc_full) ? 2 : | |
1643 (last_pause_included_initial_mark) ? 1 : 0, | |
1644 _recorded_region_num, | |
1645 _recorded_young_regions, | |
1646 _recorded_non_young_regions, | |
1647 _predicted_pending_cards, _pending_cards, | |
1648 _predicted_cards_scanned, cards_scanned, | |
1649 _predicted_rs_lengths, _max_rs_lengths, | |
1650 _predicted_rs_update_time_ms, update_rs_time, | |
1651 _predicted_rs_scan_time_ms, scan_rs_time, | |
1652 _predicted_survival_ratio, survival_ratio, | |
1653 _predicted_object_copy_time_ms, obj_copy_time, | |
1654 _predicted_constant_other_time_ms, constant_other_time_ms, | |
1655 _predicted_young_other_time_ms, young_other_time_ms, | |
1656 _predicted_non_young_other_time_ms, | |
1657 non_young_other_time_ms, | |
1658 _vtime_diff_ms, termination_time, | |
1659 _predicted_pause_time_ms, elapsed_ms); | |
1660 } | |
1661 | |
1662 if (G1PolicyVerbose > 0) { | |
1663 gclog_or_tty->print_cr("Pause Time, predicted: %1.4lfms (predicted %s), actual: %1.4lfms", | |
1664 _predicted_pause_time_ms, | |
1665 (_within_target) ? "within" : "outside", | |
1666 elapsed_ms); | |
1667 } | |
1668 | |
1669 } | |
1670 | |
1671 _in_marking_window = new_in_marking_window; | |
1672 _in_marking_window_im = new_in_marking_window_im; | |
1673 _free_regions_at_end_of_collection = _g1->free_regions(); | |
1674 calculate_young_list_min_length(); | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1675 calculate_young_list_target_length(); |
342 | 1676 |
1111 | 1677 // Note that _mmu_tracker->max_gc_time() returns the time in seconds. |
1282 | 1678 double update_rs_time_goal_ms = _mmu_tracker->max_gc_time() * MILLIUNITS * G1RSetUpdatingPauseTimePercent / 100.0; |
1111 | 1679 adjust_concurrent_refinement(update_rs_time, update_rs_processed_buffers, update_rs_time_goal_ms); |
342 | 1680 // </NEW PREDICTION> |
1681 } | |
1682 | |
1683 // <NEW PREDICTION> | |
1684 | |
1111 | 1685 void G1CollectorPolicy::adjust_concurrent_refinement(double update_rs_time, |
1686 double update_rs_processed_buffers, | |
1687 double goal_ms) { | |
1688 DirtyCardQueueSet& dcqs = JavaThread::dirty_card_queue_set(); | |
1689 ConcurrentG1Refine *cg1r = G1CollectedHeap::heap()->concurrent_g1_refine(); | |
1690 | |
1282 | 1691 if (G1UseAdaptiveConcRefinement) { |
1111 | 1692 const int k_gy = 3, k_gr = 6; |
1693 const double inc_k = 1.1, dec_k = 0.9; | |
1694 | |
1695 int g = cg1r->green_zone(); | |
1696 if (update_rs_time > goal_ms) { | |
1697 g = (int)(g * dec_k); // Can become 0, that's OK. That would mean a mutator-only processing. | |
1698 } else { | |
1699 if (update_rs_time < goal_ms && update_rs_processed_buffers > g) { | |
1700 g = (int)MAX2(g * inc_k, g + 1.0); | |
1701 } | |
1702 } | |
1703 // Change the refinement threads params | |
1704 cg1r->set_green_zone(g); | |
1705 cg1r->set_yellow_zone(g * k_gy); | |
1706 cg1r->set_red_zone(g * k_gr); | |
1707 cg1r->reinitialize_threads(); | |
1708 | |
1709 int processing_threshold_delta = MAX2((int)(cg1r->green_zone() * sigma()), 1); | |
1710 int processing_threshold = MIN2(cg1r->green_zone() + processing_threshold_delta, | |
1711 cg1r->yellow_zone()); | |
1712 // Change the barrier params | |
1713 dcqs.set_process_completed_threshold(processing_threshold); | |
1714 dcqs.set_max_completed_queue(cg1r->red_zone()); | |
1715 } | |
1716 | |
1717 int curr_queue_size = dcqs.completed_buffers_num(); | |
1718 if (curr_queue_size >= cg1r->yellow_zone()) { | |
1719 dcqs.set_completed_queue_padding(curr_queue_size); | |
1720 } else { | |
1721 dcqs.set_completed_queue_padding(0); | |
1722 } | |
1723 dcqs.notify_if_necessary(); | |
1724 } | |
1725 | |
342 | 1726 double |
1727 G1CollectorPolicy:: | |
1728 predict_young_collection_elapsed_time_ms(size_t adjustment) { | |
1729 guarantee( adjustment == 0 || adjustment == 1, "invariant" ); | |
1730 | |
1731 G1CollectedHeap* g1h = G1CollectedHeap::heap(); | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1732 size_t young_num = g1h->young_list()->length(); |
342 | 1733 if (young_num == 0) |
1734 return 0.0; | |
1735 | |
1736 young_num += adjustment; | |
1737 size_t pending_cards = predict_pending_cards(); | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1738 size_t rs_lengths = g1h->young_list()->sampled_rs_lengths() + |
342 | 1739 predict_rs_length_diff(); |
1740 size_t card_num; | |
1741 if (full_young_gcs()) | |
1742 card_num = predict_young_card_num(rs_lengths); | |
1743 else | |
1744 card_num = predict_non_young_card_num(rs_lengths); | |
1745 size_t young_byte_size = young_num * HeapRegion::GrainBytes; | |
1746 double accum_yg_surv_rate = | |
1747 _short_lived_surv_rate_group->accum_surv_rate(adjustment); | |
1748 | |
1749 size_t bytes_to_copy = | |
1750 (size_t) (accum_yg_surv_rate * (double) HeapRegion::GrainBytes); | |
1751 | |
1752 return | |
1753 predict_rs_update_time_ms(pending_cards) + | |
1754 predict_rs_scan_time_ms(card_num) + | |
1755 predict_object_copy_time_ms(bytes_to_copy) + | |
1756 predict_young_other_time_ms(young_num) + | |
1757 predict_constant_other_time_ms(); | |
1758 } | |
1759 | |
1760 double | |
1761 G1CollectorPolicy::predict_base_elapsed_time_ms(size_t pending_cards) { | |
1762 size_t rs_length = predict_rs_length_diff(); | |
1763 size_t card_num; | |
1764 if (full_young_gcs()) | |
1765 card_num = predict_young_card_num(rs_length); | |
1766 else | |
1767 card_num = predict_non_young_card_num(rs_length); | |
1768 return predict_base_elapsed_time_ms(pending_cards, card_num); | |
1769 } | |
1770 | |
1771 double | |
1772 G1CollectorPolicy::predict_base_elapsed_time_ms(size_t pending_cards, | |
1773 size_t scanned_cards) { | |
1774 return | |
1775 predict_rs_update_time_ms(pending_cards) + | |
1776 predict_rs_scan_time_ms(scanned_cards) + | |
1777 predict_constant_other_time_ms(); | |
1778 } | |
1779 | |
1780 double | |
1781 G1CollectorPolicy::predict_region_elapsed_time_ms(HeapRegion* hr, | |
1782 bool young) { | |
1783 size_t rs_length = hr->rem_set()->occupied(); | |
1784 size_t card_num; | |
1785 if (full_young_gcs()) | |
1786 card_num = predict_young_card_num(rs_length); | |
1787 else | |
1788 card_num = predict_non_young_card_num(rs_length); | |
1789 size_t bytes_to_copy = predict_bytes_to_copy(hr); | |
1790 | |
1791 double region_elapsed_time_ms = | |
1792 predict_rs_scan_time_ms(card_num) + | |
1793 predict_object_copy_time_ms(bytes_to_copy); | |
1794 | |
1795 if (young) | |
1796 region_elapsed_time_ms += predict_young_other_time_ms(1); | |
1797 else | |
1798 region_elapsed_time_ms += predict_non_young_other_time_ms(1); | |
1799 | |
1800 return region_elapsed_time_ms; | |
1801 } | |
1802 | |
1803 size_t | |
1804 G1CollectorPolicy::predict_bytes_to_copy(HeapRegion* hr) { | |
1805 size_t bytes_to_copy; | |
1806 if (hr->is_marked()) | |
1807 bytes_to_copy = hr->max_live_bytes(); | |
1808 else { | |
1809 guarantee( hr->is_young() && hr->age_in_surv_rate_group() != -1, | |
1810 "invariant" ); | |
1811 int age = hr->age_in_surv_rate_group(); | |
545 | 1812 double yg_surv_rate = predict_yg_surv_rate(age, hr->surv_rate_group()); |
342 | 1813 bytes_to_copy = (size_t) ((double) hr->used() * yg_surv_rate); |
1814 } | |
1815 | |
1816 return bytes_to_copy; | |
1817 } | |
1818 | |
1819 void | |
1820 G1CollectorPolicy::start_recording_regions() { | |
1821 _recorded_rs_lengths = 0; | |
1822 _recorded_young_regions = 0; | |
1823 _recorded_non_young_regions = 0; | |
1824 | |
1825 #if PREDICTIONS_VERBOSE | |
1826 _recorded_marked_bytes = 0; | |
1827 _recorded_young_bytes = 0; | |
1828 _predicted_bytes_to_copy = 0; | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1829 _predicted_rs_lengths = 0; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1830 _predicted_cards_scanned = 0; |
342 | 1831 #endif // PREDICTIONS_VERBOSE |
1832 } | |
1833 | |
1834 void | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1835 G1CollectorPolicy::record_cset_region_info(HeapRegion* hr, bool young) { |
342 | 1836 #if PREDICTIONS_VERBOSE |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1837 if (!young) { |
342 | 1838 _recorded_marked_bytes += hr->max_live_bytes(); |
1839 } | |
1840 _predicted_bytes_to_copy += predict_bytes_to_copy(hr); | |
1841 #endif // PREDICTIONS_VERBOSE | |
1842 | |
1843 size_t rs_length = hr->rem_set()->occupied(); | |
1844 _recorded_rs_lengths += rs_length; | |
1845 } | |
1846 | |
1847 void | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1848 G1CollectorPolicy::record_non_young_cset_region(HeapRegion* hr) { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1849 assert(!hr->is_young(), "should not call this"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1850 ++_recorded_non_young_regions; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1851 record_cset_region_info(hr, false); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1852 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1853 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1854 void |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1855 G1CollectorPolicy::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:
1391
diff
changeset
|
1856 _recorded_young_regions = n_regions; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1857 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1858 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1859 void G1CollectorPolicy::set_recorded_young_bytes(size_t bytes) { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1860 #if PREDICTIONS_VERBOSE |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1861 _recorded_young_bytes = bytes; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1862 #endif // PREDICTIONS_VERBOSE |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1863 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1864 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1865 void G1CollectorPolicy::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:
1391
diff
changeset
|
1866 _recorded_rs_lengths = rs_lengths; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1867 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1868 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1869 void G1CollectorPolicy::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:
1391
diff
changeset
|
1870 _predicted_bytes_to_copy = bytes; |
342 | 1871 } |
1872 | |
1873 void | |
1874 G1CollectorPolicy::end_recording_regions() { | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1875 // The _predicted_pause_time_ms field is referenced in code |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1876 // not under PREDICTIONS_VERBOSE. Let's initialize it. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1877 _predicted_pause_time_ms = -1.0; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
1878 |
342 | 1879 #if PREDICTIONS_VERBOSE |
1880 _predicted_pending_cards = predict_pending_cards(); | |
1881 _predicted_rs_lengths = _recorded_rs_lengths + predict_rs_length_diff(); | |
1882 if (full_young_gcs()) | |
1883 _predicted_cards_scanned += predict_young_card_num(_predicted_rs_lengths); | |
1884 else | |
1885 _predicted_cards_scanned += | |
1886 predict_non_young_card_num(_predicted_rs_lengths); | |
1887 _recorded_region_num = _recorded_young_regions + _recorded_non_young_regions; | |
1888 | |
1889 _predicted_rs_update_time_ms = | |
1890 predict_rs_update_time_ms(_g1->pending_card_num()); | |
1891 _predicted_rs_scan_time_ms = | |
1892 predict_rs_scan_time_ms(_predicted_cards_scanned); | |
1893 _predicted_object_copy_time_ms = | |
1894 predict_object_copy_time_ms(_predicted_bytes_to_copy); | |
1895 _predicted_constant_other_time_ms = | |
1896 predict_constant_other_time_ms(); | |
1897 _predicted_young_other_time_ms = | |
1898 predict_young_other_time_ms(_recorded_young_regions); | |
1899 _predicted_non_young_other_time_ms = | |
1900 predict_non_young_other_time_ms(_recorded_non_young_regions); | |
1901 | |
1902 _predicted_pause_time_ms = | |
1903 _predicted_rs_update_time_ms + | |
1904 _predicted_rs_scan_time_ms + | |
1905 _predicted_object_copy_time_ms + | |
1906 _predicted_constant_other_time_ms + | |
1907 _predicted_young_other_time_ms + | |
1908 _predicted_non_young_other_time_ms; | |
1909 #endif // PREDICTIONS_VERBOSE | |
1910 } | |
1911 | |
1912 void G1CollectorPolicy::check_if_region_is_too_expensive(double | |
1913 predicted_time_ms) { | |
1914 // I don't think we need to do this when in young GC mode since | |
1915 // marking will be initiated next time we hit the soft limit anyway... | |
1916 if (predicted_time_ms > _expensive_region_limit_ms) { | |
1917 if (!in_young_gc_mode()) { | |
1918 set_full_young_gcs(true); | |
1359
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1919 // We might want to do something different here. However, |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1920 // right now we don't support the non-generational G1 mode |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1921 // (and in fact we are planning to remove the associated code, |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1922 // see CR 6814390). So, let's leave it as is and this will be |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1923 // removed some time in the future |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1924 ShouldNotReachHere(); |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
1925 set_during_initial_mark_pause(); |
342 | 1926 } else |
1927 // no point in doing another partial one | |
1928 _should_revert_to_full_young_gcs = true; | |
1929 } | |
1930 } | |
1931 | |
1932 // </NEW PREDICTION> | |
1933 | |
1934 | |
1935 void G1CollectorPolicy::update_recent_gc_times(double end_time_sec, | |
1936 double elapsed_ms) { | |
1937 _recent_gc_times_ms->add(elapsed_ms); | |
1938 _recent_prev_end_times_for_all_gcs_sec->add(end_time_sec); | |
1939 _prev_collection_pause_end_ms = end_time_sec * 1000.0; | |
1940 } | |
1941 | |
1942 double G1CollectorPolicy::recent_avg_time_for_pauses_ms() { | |
751 | 1943 if (_recent_pause_times_ms->num() == 0) return (double) MaxGCPauseMillis; |
342 | 1944 else return _recent_pause_times_ms->avg(); |
1945 } | |
1946 | |
1947 double G1CollectorPolicy::recent_avg_time_for_CH_strong_ms() { | |
1948 if (_recent_CH_strong_roots_times_ms->num() == 0) | |
751 | 1949 return (double)MaxGCPauseMillis/3.0; |
342 | 1950 else return _recent_CH_strong_roots_times_ms->avg(); |
1951 } | |
1952 | |
1953 double G1CollectorPolicy::recent_avg_time_for_G1_strong_ms() { | |
1954 if (_recent_G1_strong_roots_times_ms->num() == 0) | |
751 | 1955 return (double)MaxGCPauseMillis/3.0; |
342 | 1956 else return _recent_G1_strong_roots_times_ms->avg(); |
1957 } | |
1958 | |
1959 double G1CollectorPolicy::recent_avg_time_for_evac_ms() { | |
751 | 1960 if (_recent_evac_times_ms->num() == 0) return (double)MaxGCPauseMillis/3.0; |
342 | 1961 else return _recent_evac_times_ms->avg(); |
1962 } | |
1963 | |
1964 int G1CollectorPolicy::number_of_recent_gcs() { | |
1965 assert(_recent_CH_strong_roots_times_ms->num() == | |
1966 _recent_G1_strong_roots_times_ms->num(), "Sequence out of sync"); | |
1967 assert(_recent_G1_strong_roots_times_ms->num() == | |
1968 _recent_evac_times_ms->num(), "Sequence out of sync"); | |
1969 assert(_recent_evac_times_ms->num() == | |
1970 _recent_pause_times_ms->num(), "Sequence out of sync"); | |
1971 assert(_recent_pause_times_ms->num() == | |
1972 _recent_CS_bytes_used_before->num(), "Sequence out of sync"); | |
1973 assert(_recent_CS_bytes_used_before->num() == | |
1974 _recent_CS_bytes_surviving->num(), "Sequence out of sync"); | |
1975 return _recent_pause_times_ms->num(); | |
1976 } | |
1977 | |
1978 double G1CollectorPolicy::recent_avg_survival_fraction() { | |
1979 return recent_avg_survival_fraction_work(_recent_CS_bytes_surviving, | |
1980 _recent_CS_bytes_used_before); | |
1981 } | |
1982 | |
1983 double G1CollectorPolicy::last_survival_fraction() { | |
1984 return last_survival_fraction_work(_recent_CS_bytes_surviving, | |
1985 _recent_CS_bytes_used_before); | |
1986 } | |
1987 | |
1988 double | |
1989 G1CollectorPolicy::recent_avg_survival_fraction_work(TruncatedSeq* surviving, | |
1990 TruncatedSeq* before) { | |
1991 assert(surviving->num() == before->num(), "Sequence out of sync"); | |
1992 if (before->sum() > 0.0) { | |
1993 double recent_survival_rate = surviving->sum() / before->sum(); | |
1994 // We exempt parallel collection from this check because Alloc Buffer | |
1995 // fragmentation can produce negative collections. | |
1996 // Further, we're now always doing parallel collection. But I'm still | |
1997 // leaving this here as a placeholder for a more precise assertion later. | |
1998 // (DLD, 10/05.) | |
1833
8b10f48633dc
6984287: Regularize how GC parallel workers are specified.
jmasa
parents:
1779
diff
changeset
|
1999 assert((true || G1CollectedHeap::use_parallel_gc_threads()) || |
342 | 2000 _g1->evacuation_failed() || |
2001 recent_survival_rate <= 1.0, "Or bad frac"); | |
2002 return recent_survival_rate; | |
2003 } else { | |
2004 return 1.0; // Be conservative. | |
2005 } | |
2006 } | |
2007 | |
2008 double | |
2009 G1CollectorPolicy::last_survival_fraction_work(TruncatedSeq* surviving, | |
2010 TruncatedSeq* before) { | |
2011 assert(surviving->num() == before->num(), "Sequence out of sync"); | |
2012 if (surviving->num() > 0 && before->last() > 0.0) { | |
2013 double last_survival_rate = surviving->last() / before->last(); | |
2014 // We exempt parallel collection from this check because Alloc Buffer | |
2015 // fragmentation can produce negative collections. | |
2016 // Further, we're now always doing parallel collection. But I'm still | |
2017 // leaving this here as a placeholder for a more precise assertion later. | |
2018 // (DLD, 10/05.) | |
1833
8b10f48633dc
6984287: Regularize how GC parallel workers are specified.
jmasa
parents:
1779
diff
changeset
|
2019 assert((true || G1CollectedHeap::use_parallel_gc_threads()) || |
342 | 2020 last_survival_rate <= 1.0, "Or bad frac"); |
2021 return last_survival_rate; | |
2022 } else { | |
2023 return 1.0; | |
2024 } | |
2025 } | |
2026 | |
2027 static const int survival_min_obs = 5; | |
2028 static double survival_min_obs_limits[] = { 0.9, 0.7, 0.5, 0.3, 0.1 }; | |
2029 static const double min_survival_rate = 0.1; | |
2030 | |
2031 double | |
2032 G1CollectorPolicy::conservative_avg_survival_fraction_work(double avg, | |
2033 double latest) { | |
2034 double res = avg; | |
2035 if (number_of_recent_gcs() < survival_min_obs) { | |
2036 res = MAX2(res, survival_min_obs_limits[number_of_recent_gcs()]); | |
2037 } | |
2038 res = MAX2(res, latest); | |
2039 res = MAX2(res, min_survival_rate); | |
2040 // In the parallel case, LAB fragmentation can produce "negative | |
2041 // collections"; so can evac failure. Cap at 1.0 | |
2042 res = MIN2(res, 1.0); | |
2043 return res; | |
2044 } | |
2045 | |
2046 size_t G1CollectorPolicy::expansion_amount() { | |
1356 | 2047 if ((recent_avg_pause_time_ratio() * 100.0) > _gc_overhead_perc) { |
751 | 2048 // We will double the existing space, or take |
2049 // G1ExpandByPercentOfAvailable % of the available expansion | |
2050 // space, whichever is smaller, bounded below by a minimum | |
2051 // expansion (unless that's all that's left.) | |
342 | 2052 const size_t min_expand_bytes = 1*M; |
2188
c33825b68624
6923430: G1: assert(res != 0,"This should have worked.")
johnc
parents:
2152
diff
changeset
|
2053 size_t reserved_bytes = _g1->max_capacity(); |
342 | 2054 size_t committed_bytes = _g1->capacity(); |
2055 size_t uncommitted_bytes = reserved_bytes - committed_bytes; | |
2056 size_t expand_bytes; | |
2057 size_t expand_bytes_via_pct = | |
751 | 2058 uncommitted_bytes * G1ExpandByPercentOfAvailable / 100; |
342 | 2059 expand_bytes = MIN2(expand_bytes_via_pct, committed_bytes); |
2060 expand_bytes = MAX2(expand_bytes, min_expand_bytes); | |
2061 expand_bytes = MIN2(expand_bytes, uncommitted_bytes); | |
2062 if (G1PolicyVerbose > 1) { | |
2063 gclog_or_tty->print("Decided to expand: ratio = %5.2f, " | |
2064 "committed = %d%s, uncommited = %d%s, via pct = %d%s.\n" | |
2065 " Answer = %d.\n", | |
2066 recent_avg_pause_time_ratio(), | |
2067 byte_size_in_proper_unit(committed_bytes), | |
2068 proper_unit_for_byte_size(committed_bytes), | |
2069 byte_size_in_proper_unit(uncommitted_bytes), | |
2070 proper_unit_for_byte_size(uncommitted_bytes), | |
2071 byte_size_in_proper_unit(expand_bytes_via_pct), | |
2072 proper_unit_for_byte_size(expand_bytes_via_pct), | |
2073 byte_size_in_proper_unit(expand_bytes), | |
2074 proper_unit_for_byte_size(expand_bytes)); | |
2075 } | |
2076 return expand_bytes; | |
2077 } else { | |
2078 return 0; | |
2079 } | |
2080 } | |
2081 | |
2082 void G1CollectorPolicy::note_start_of_mark_thread() { | |
2083 _mark_thread_startup_sec = os::elapsedTime(); | |
2084 } | |
2085 | |
2086 class CountCSClosure: public HeapRegionClosure { | |
2087 G1CollectorPolicy* _g1_policy; | |
2088 public: | |
2089 CountCSClosure(G1CollectorPolicy* g1_policy) : | |
2090 _g1_policy(g1_policy) {} | |
2091 bool doHeapRegion(HeapRegion* r) { | |
2092 _g1_policy->_bytes_in_collection_set_before_gc += r->used(); | |
2093 return false; | |
2094 } | |
2095 }; | |
2096 | |
2097 void G1CollectorPolicy::count_CS_bytes_used() { | |
2098 CountCSClosure cs_closure(this); | |
2099 _g1->collection_set_iterate(&cs_closure); | |
2100 } | |
2101 | |
2102 void G1CollectorPolicy::print_summary (int level, | |
2103 const char* str, | |
2104 NumberSeq* seq) const { | |
2105 double sum = seq->sum(); | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
2106 LineBuffer(level + 1).append_and_print_cr("%-24s = %8.2lf s (avg = %8.2lf ms)", |
342 | 2107 str, sum / 1000.0, seq->avg()); |
2108 } | |
2109 | |
2110 void G1CollectorPolicy::print_summary_sd (int level, | |
2111 const char* str, | |
2112 NumberSeq* seq) const { | |
2113 print_summary(level, str, seq); | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
2114 LineBuffer(level + 6).append_and_print_cr("(num = %5d, std dev = %8.2lf ms, max = %8.2lf ms)", |
342 | 2115 seq->num(), seq->sd(), seq->maximum()); |
2116 } | |
2117 | |
2118 void G1CollectorPolicy::check_other_times(int level, | |
2119 NumberSeq* other_times_ms, | |
2120 NumberSeq* calc_other_times_ms) const { | |
2121 bool should_print = false; | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
2122 LineBuffer buf(level + 2); |
342 | 2123 |
2124 double max_sum = MAX2(fabs(other_times_ms->sum()), | |
2125 fabs(calc_other_times_ms->sum())); | |
2126 double min_sum = MIN2(fabs(other_times_ms->sum()), | |
2127 fabs(calc_other_times_ms->sum())); | |
2128 double sum_ratio = max_sum / min_sum; | |
2129 if (sum_ratio > 1.1) { | |
2130 should_print = true; | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
2131 buf.append_and_print_cr("## CALCULATED OTHER SUM DOESN'T MATCH RECORDED ###"); |
342 | 2132 } |
2133 | |
2134 double max_avg = MAX2(fabs(other_times_ms->avg()), | |
2135 fabs(calc_other_times_ms->avg())); | |
2136 double min_avg = MIN2(fabs(other_times_ms->avg()), | |
2137 fabs(calc_other_times_ms->avg())); | |
2138 double avg_ratio = max_avg / min_avg; | |
2139 if (avg_ratio > 1.1) { | |
2140 should_print = true; | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
2141 buf.append_and_print_cr("## CALCULATED OTHER AVG DOESN'T MATCH RECORDED ###"); |
342 | 2142 } |
2143 | |
2144 if (other_times_ms->sum() < -0.01) { | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
2145 buf.append_and_print_cr("## RECORDED OTHER SUM IS NEGATIVE ###"); |
342 | 2146 } |
2147 | |
2148 if (other_times_ms->avg() < -0.01) { | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
2149 buf.append_and_print_cr("## RECORDED OTHER AVG IS NEGATIVE ###"); |
342 | 2150 } |
2151 | |
2152 if (calc_other_times_ms->sum() < -0.01) { | |
2153 should_print = true; | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
2154 buf.append_and_print_cr("## CALCULATED OTHER SUM IS NEGATIVE ###"); |
342 | 2155 } |
2156 | |
2157 if (calc_other_times_ms->avg() < -0.01) { | |
2158 should_print = true; | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
2159 buf.append_and_print_cr("## CALCULATED OTHER AVG IS NEGATIVE ###"); |
342 | 2160 } |
2161 | |
2162 if (should_print) | |
2163 print_summary(level, "Other(Calc)", calc_other_times_ms); | |
2164 } | |
2165 | |
2166 void G1CollectorPolicy::print_summary(PauseSummary* summary) const { | |
1833
8b10f48633dc
6984287: Regularize how GC parallel workers are specified.
jmasa
parents:
1779
diff
changeset
|
2167 bool parallel = G1CollectedHeap::use_parallel_gc_threads(); |
342 | 2168 MainBodySummary* body_summary = summary->main_body_summary(); |
2169 if (summary->get_total_seq()->num() > 0) { | |
677 | 2170 print_summary_sd(0, "Evacuation Pauses", summary->get_total_seq()); |
342 | 2171 if (body_summary != NULL) { |
2172 print_summary(1, "SATB Drain", body_summary->get_satb_drain_seq()); | |
2173 if (parallel) { | |
2174 print_summary(1, "Parallel Time", body_summary->get_parallel_seq()); | |
2175 print_summary(2, "Update RS", body_summary->get_update_rs_seq()); | |
2176 print_summary(2, "Ext Root Scanning", | |
2177 body_summary->get_ext_root_scan_seq()); | |
2178 print_summary(2, "Mark Stack Scanning", | |
2179 body_summary->get_mark_stack_scan_seq()); | |
2180 print_summary(2, "Scan RS", body_summary->get_scan_rs_seq()); | |
2181 print_summary(2, "Object Copy", body_summary->get_obj_copy_seq()); | |
2182 print_summary(2, "Termination", body_summary->get_termination_seq()); | |
2183 print_summary(2, "Other", body_summary->get_parallel_other_seq()); | |
2184 { | |
2185 NumberSeq* other_parts[] = { | |
2186 body_summary->get_update_rs_seq(), | |
2187 body_summary->get_ext_root_scan_seq(), | |
2188 body_summary->get_mark_stack_scan_seq(), | |
2189 body_summary->get_scan_rs_seq(), | |
2190 body_summary->get_obj_copy_seq(), | |
2191 body_summary->get_termination_seq() | |
2192 }; | |
2193 NumberSeq calc_other_times_ms(body_summary->get_parallel_seq(), | |
1779 | 2194 6, other_parts); |
342 | 2195 check_other_times(2, body_summary->get_parallel_other_seq(), |
2196 &calc_other_times_ms); | |
2197 } | |
2198 print_summary(1, "Mark Closure", body_summary->get_mark_closure_seq()); | |
2199 print_summary(1, "Clear CT", body_summary->get_clear_ct_seq()); | |
2200 } else { | |
2201 print_summary(1, "Update RS", body_summary->get_update_rs_seq()); | |
2202 print_summary(1, "Ext Root Scanning", | |
2203 body_summary->get_ext_root_scan_seq()); | |
2204 print_summary(1, "Mark Stack Scanning", | |
2205 body_summary->get_mark_stack_scan_seq()); | |
2206 print_summary(1, "Scan RS", body_summary->get_scan_rs_seq()); | |
2207 print_summary(1, "Object Copy", body_summary->get_obj_copy_seq()); | |
2208 } | |
2209 } | |
2210 print_summary(1, "Other", summary->get_other_seq()); | |
2211 { | |
1779 | 2212 if (body_summary != NULL) { |
2213 NumberSeq calc_other_times_ms; | |
2214 if (parallel) { | |
2215 // parallel | |
2216 NumberSeq* other_parts[] = { | |
2217 body_summary->get_satb_drain_seq(), | |
2218 body_summary->get_parallel_seq(), | |
2219 body_summary->get_clear_ct_seq() | |
2220 }; | |
2221 calc_other_times_ms = NumberSeq(summary->get_total_seq(), | |
2222 3, other_parts); | |
2223 } else { | |
2224 // serial | |
2225 NumberSeq* other_parts[] = { | |
2226 body_summary->get_satb_drain_seq(), | |
2227 body_summary->get_update_rs_seq(), | |
2228 body_summary->get_ext_root_scan_seq(), | |
2229 body_summary->get_mark_stack_scan_seq(), | |
2230 body_summary->get_scan_rs_seq(), | |
2231 body_summary->get_obj_copy_seq() | |
2232 }; | |
2233 calc_other_times_ms = NumberSeq(summary->get_total_seq(), | |
2234 6, other_parts); | |
2235 } | |
2236 check_other_times(1, summary->get_other_seq(), &calc_other_times_ms); | |
342 | 2237 } |
2238 } | |
2239 } else { | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
2240 LineBuffer(1).append_and_print_cr("none"); |
342 | 2241 } |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
2242 LineBuffer(0).append_and_print_cr(""); |
342 | 2243 } |
2244 | |
2245 void G1CollectorPolicy::print_tracing_info() const { | |
2246 if (TraceGen0Time) { | |
2247 gclog_or_tty->print_cr("ALL PAUSES"); | |
2248 print_summary_sd(0, "Total", _all_pause_times_ms); | |
2249 gclog_or_tty->print_cr(""); | |
2250 gclog_or_tty->print_cr(""); | |
2251 gclog_or_tty->print_cr(" Full Young GC Pauses: %8d", _full_young_pause_num); | |
2252 gclog_or_tty->print_cr(" Partial Young GC Pauses: %8d", _partial_young_pause_num); | |
2253 gclog_or_tty->print_cr(""); | |
2254 | |
677 | 2255 gclog_or_tty->print_cr("EVACUATION PAUSES"); |
2256 print_summary(_summary); | |
342 | 2257 |
2258 gclog_or_tty->print_cr("MISC"); | |
2259 print_summary_sd(0, "Stop World", _all_stop_world_times_ms); | |
2260 print_summary_sd(0, "Yields", _all_yield_times_ms); | |
2261 for (int i = 0; i < _aux_num; ++i) { | |
2262 if (_all_aux_times_ms[i].num() > 0) { | |
2263 char buffer[96]; | |
2264 sprintf(buffer, "Aux%d", i); | |
2265 print_summary_sd(0, buffer, &_all_aux_times_ms[i]); | |
2266 } | |
2267 } | |
2268 | |
2269 size_t all_region_num = _region_num_young + _region_num_tenured; | |
2270 gclog_or_tty->print_cr(" New Regions %8d, Young %8d (%6.2lf%%), " | |
2271 "Tenured %8d (%6.2lf%%)", | |
2272 all_region_num, | |
2273 _region_num_young, | |
2274 (double) _region_num_young / (double) all_region_num * 100.0, | |
2275 _region_num_tenured, | |
2276 (double) _region_num_tenured / (double) all_region_num * 100.0); | |
2277 } | |
2278 if (TraceGen1Time) { | |
2279 if (_all_full_gc_times_ms->num() > 0) { | |
2280 gclog_or_tty->print("\n%4d full_gcs: total time = %8.2f s", | |
2281 _all_full_gc_times_ms->num(), | |
2282 _all_full_gc_times_ms->sum() / 1000.0); | |
2283 gclog_or_tty->print_cr(" (avg = %8.2fms).", _all_full_gc_times_ms->avg()); | |
2284 gclog_or_tty->print_cr(" [std. dev = %8.2f ms, max = %8.2f ms]", | |
2285 _all_full_gc_times_ms->sd(), | |
2286 _all_full_gc_times_ms->maximum()); | |
2287 } | |
2288 } | |
2289 } | |
2290 | |
2291 void G1CollectorPolicy::print_yg_surv_rate_info() const { | |
2292 #ifndef PRODUCT | |
2293 _short_lived_surv_rate_group->print_surv_rate_summary(); | |
2294 // add this call for any other surv rate groups | |
2295 #endif // PRODUCT | |
2296 } | |
2297 | |
1973 | 2298 void |
2299 G1CollectorPolicy::update_region_num(bool young) { | |
2300 if (young) { | |
342 | 2301 ++_region_num_young; |
2302 } else { | |
2303 ++_region_num_tenured; | |
2304 } | |
2305 } | |
2306 | |
2307 #ifndef PRODUCT | |
2308 // for debugging, bit of a hack... | |
2309 static char* | |
2310 region_num_to_mbs(int length) { | |
2311 static char buffer[64]; | |
2312 double bytes = (double) (length * HeapRegion::GrainBytes); | |
2313 double mbs = bytes / (double) (1024 * 1024); | |
2314 sprintf(buffer, "%7.2lfMB", mbs); | |
2315 return buffer; | |
2316 } | |
2317 #endif // PRODUCT | |
2318 | |
545 | 2319 size_t G1CollectorPolicy::max_regions(int purpose) { |
342 | 2320 switch (purpose) { |
2321 case GCAllocForSurvived: | |
545 | 2322 return _max_survivor_regions; |
342 | 2323 case GCAllocForTenured: |
545 | 2324 return REGIONS_UNLIMITED; |
342 | 2325 default: |
545 | 2326 ShouldNotReachHere(); |
2327 return REGIONS_UNLIMITED; | |
342 | 2328 }; |
2329 } | |
2330 | |
1991
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
2331 void G1CollectorPolicy::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
|
2332 size_t expansion_region_num = 0; |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
2333 if (GCLockerEdenExpansionPercent > 0) { |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
2334 double perc = (double) GCLockerEdenExpansionPercent / 100.0; |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
2335 double expansion_region_num_d = perc * (double) _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
|
2336 // We use ceiling so that if expansion_region_num_d is > 0.0 (but |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
2337 // less than 1.0) we'll get 1. |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
2338 expansion_region_num = (size_t) ceil(expansion_region_num_d); |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
2339 } else { |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
2340 assert(expansion_region_num == 0, "sanity"); |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
2341 } |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
2342 _young_list_max_length = _young_list_target_length + expansion_region_num; |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
2343 assert(_young_list_target_length <= _young_list_max_length, "post-condition"); |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
2344 } |
016a3628c885
6994056: G1: when GC locker is active, extend the Eden instead of allocating into the old gen
tonyp
parents:
1973
diff
changeset
|
2345 |
545 | 2346 // Calculates survivor space parameters. |
2347 void G1CollectorPolicy::calculate_survivors_policy() | |
2348 { | |
2349 if (G1FixedSurvivorSpaceSize == 0) { | |
2350 _max_survivor_regions = _young_list_target_length / SurvivorRatio; | |
2351 } else { | |
547
1e458753107d
6802413: G1: G1FixedSurvivorSpaceSize should be converted into regions in calculate_survivors_policy()
apetrusenko
parents:
545
diff
changeset
|
2352 _max_survivor_regions = G1FixedSurvivorSpaceSize / HeapRegion::GrainBytes; |
545 | 2353 } |
2354 | |
2355 if (G1FixedTenuringThreshold) { | |
2356 _tenuring_threshold = MaxTenuringThreshold; | |
2357 } else { | |
2358 _tenuring_threshold = _survivors_age_table.compute_tenuring_threshold( | |
2359 HeapRegion::GrainWords * _max_survivor_regions); | |
2360 } | |
2361 } | |
2362 | |
342 | 2363 #ifndef PRODUCT |
2364 class HRSortIndexIsOKClosure: public HeapRegionClosure { | |
2365 CollectionSetChooser* _chooser; | |
2366 public: | |
2367 HRSortIndexIsOKClosure(CollectionSetChooser* chooser) : | |
2368 _chooser(chooser) {} | |
2369 | |
2370 bool doHeapRegion(HeapRegion* r) { | |
2371 if (!r->continuesHumongous()) { | |
2372 assert(_chooser->regionProperlyOrdered(r), "Ought to be."); | |
2373 } | |
2374 return false; | |
2375 } | |
2376 }; | |
2377 | |
2378 bool G1CollectorPolicy_BestRegionsFirst::assertMarkedBytesDataOK() { | |
2379 HRSortIndexIsOKClosure cl(_collectionSetChooser); | |
2380 _g1->heap_region_iterate(&cl); | |
2381 return true; | |
2382 } | |
2383 #endif | |
2384 | |
1656
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
2385 bool |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
2386 G1CollectorPolicy::force_initial_mark_if_outside_cycle() { |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
2387 bool during_cycle = _g1->concurrent_mark()->cmThread()->during_cycle(); |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
2388 if (!during_cycle) { |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
2389 set_initiate_conc_mark_if_possible(); |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
2390 return true; |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
2391 } else { |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
2392 return false; |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
2393 } |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
2394 } |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
2395 |
342 | 2396 void |
1359
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2397 G1CollectorPolicy::decide_on_conc_mark_initiation() { |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2398 // We are about to decide on whether this pause will be an |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2399 // initial-mark pause. |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2400 |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2401 // First, during_initial_mark_pause() should not be already set. We |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2402 // will set it here if we have to. However, it should be cleared by |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2403 // the end of the pause (it's only set for the duration of an |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2404 // initial-mark pause). |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2405 assert(!during_initial_mark_pause(), "pre-condition"); |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2406 |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2407 if (initiate_conc_mark_if_possible()) { |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2408 // We had noticed on a previous pause that the heap occupancy has |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2409 // gone over the initiating threshold and we should start a |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2410 // concurrent marking cycle. So we might initiate one. |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2411 |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2412 bool during_cycle = _g1->concurrent_mark()->cmThread()->during_cycle(); |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2413 if (!during_cycle) { |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2414 // The concurrent marking thread is not "during a cycle", i.e., |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2415 // it has completed the last one. So we can go ahead and |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2416 // initiate a new cycle. |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2417 |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2418 set_during_initial_mark_pause(); |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2419 |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2420 // And we can now clear initiate_conc_mark_if_possible() as |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2421 // we've already acted on it. |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2422 clear_initiate_conc_mark_if_possible(); |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2423 } else { |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2424 // The concurrent marking thread is still finishing up the |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2425 // previous cycle. If we start one right now the two cycles |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2426 // overlap. In particular, the concurrent marking thread might |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2427 // be in the process of clearing the next marking bitmap (which |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2428 // we will use for the next cycle if we start one). Starting a |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2429 // cycle now will be bad given that parts of the marking |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2430 // information might get cleared by the marking thread. And we |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2431 // cannot wait for the marking thread to finish the cycle as it |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2432 // periodically yields while clearing the next marking bitmap |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2433 // and, if it's in a yield point, it's waiting for us to |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2434 // finish. So, at this point we will not start a cycle and we'll |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2435 // let the concurrent marking thread complete the last one. |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2436 } |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2437 } |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2438 } |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2439 |
23b1b27ac76c
6909756: G1: guarantee(G1CollectedHeap::heap()->mark_in_progress(),"Precondition.")
tonyp
parents:
1356
diff
changeset
|
2440 void |
342 | 2441 G1CollectorPolicy_BestRegionsFirst:: |
2442 record_collection_pause_start(double start_time_sec, size_t start_used) { | |
2443 G1CollectorPolicy::record_collection_pause_start(start_time_sec, start_used); | |
2444 } | |
2445 | |
2446 class NextNonCSElemFinder: public HeapRegionClosure { | |
2447 HeapRegion* _res; | |
2448 public: | |
2449 NextNonCSElemFinder(): _res(NULL) {} | |
2450 bool doHeapRegion(HeapRegion* r) { | |
2451 if (!r->in_collection_set()) { | |
2452 _res = r; | |
2453 return true; | |
2454 } else { | |
2455 return false; | |
2456 } | |
2457 } | |
2458 HeapRegion* res() { return _res; } | |
2459 }; | |
2460 | |
2461 class KnownGarbageClosure: public HeapRegionClosure { | |
2462 CollectionSetChooser* _hrSorted; | |
2463 | |
2464 public: | |
2465 KnownGarbageClosure(CollectionSetChooser* hrSorted) : | |
2466 _hrSorted(hrSorted) | |
2467 {} | |
2468 | |
2469 bool doHeapRegion(HeapRegion* r) { | |
2470 // We only include humongous regions in collection | |
2471 // sets when concurrent mark shows that their contained object is | |
2472 // unreachable. | |
2473 | |
2474 // Do we have any marking information for this region? | |
2475 if (r->is_marked()) { | |
2476 // We don't include humongous regions in collection | |
2477 // sets because we collect them immediately at the end of a marking | |
2478 // cycle. We also don't include young regions because we *must* | |
2479 // include them in the next collection pause. | |
2480 if (!r->isHumongous() && !r->is_young()) { | |
2481 _hrSorted->addMarkedHeapRegion(r); | |
2482 } | |
2483 } | |
2484 return false; | |
2485 } | |
2486 }; | |
2487 | |
2488 class ParKnownGarbageHRClosure: public HeapRegionClosure { | |
2489 CollectionSetChooser* _hrSorted; | |
2490 jint _marked_regions_added; | |
2491 jint _chunk_size; | |
2492 jint _cur_chunk_idx; | |
2493 jint _cur_chunk_end; // Cur chunk [_cur_chunk_idx, _cur_chunk_end) | |
2494 int _worker; | |
2495 int _invokes; | |
2496 | |
2497 void get_new_chunk() { | |
2498 _cur_chunk_idx = _hrSorted->getParMarkedHeapRegionChunk(_chunk_size); | |
2499 _cur_chunk_end = _cur_chunk_idx + _chunk_size; | |
2500 } | |
2501 void add_region(HeapRegion* r) { | |
2502 if (_cur_chunk_idx == _cur_chunk_end) { | |
2503 get_new_chunk(); | |
2504 } | |
2505 assert(_cur_chunk_idx < _cur_chunk_end, "postcondition"); | |
2506 _hrSorted->setMarkedHeapRegion(_cur_chunk_idx, r); | |
2507 _marked_regions_added++; | |
2508 _cur_chunk_idx++; | |
2509 } | |
2510 | |
2511 public: | |
2512 ParKnownGarbageHRClosure(CollectionSetChooser* hrSorted, | |
2513 jint chunk_size, | |
2514 int worker) : | |
2515 _hrSorted(hrSorted), _chunk_size(chunk_size), _worker(worker), | |
2516 _marked_regions_added(0), _cur_chunk_idx(0), _cur_chunk_end(0), | |
2517 _invokes(0) | |
2518 {} | |
2519 | |
2520 bool doHeapRegion(HeapRegion* r) { | |
2521 // We only include humongous regions in collection | |
2522 // sets when concurrent mark shows that their contained object is | |
2523 // unreachable. | |
2524 _invokes++; | |
2525 | |
2526 // Do we have any marking information for this region? | |
2527 if (r->is_marked()) { | |
2528 // We don't include humongous regions in collection | |
2529 // sets because we collect them immediately at the end of a marking | |
2530 // cycle. | |
2531 // We also do not include young regions in collection sets | |
2532 if (!r->isHumongous() && !r->is_young()) { | |
2533 add_region(r); | |
2534 } | |
2535 } | |
2536 return false; | |
2537 } | |
2538 jint marked_regions_added() { return _marked_regions_added; } | |
2539 int invokes() { return _invokes; } | |
2540 }; | |
2541 | |
2542 class ParKnownGarbageTask: public AbstractGangTask { | |
2543 CollectionSetChooser* _hrSorted; | |
2544 jint _chunk_size; | |
2545 G1CollectedHeap* _g1; | |
2546 public: | |
2547 ParKnownGarbageTask(CollectionSetChooser* hrSorted, jint chunk_size) : | |
2548 AbstractGangTask("ParKnownGarbageTask"), | |
2549 _hrSorted(hrSorted), _chunk_size(chunk_size), | |
2550 _g1(G1CollectedHeap::heap()) | |
2551 {} | |
2552 | |
2553 void work(int i) { | |
2554 ParKnownGarbageHRClosure parKnownGarbageCl(_hrSorted, _chunk_size, i); | |
2555 // Back to zero for the claim value. | |
355 | 2556 _g1->heap_region_par_iterate_chunked(&parKnownGarbageCl, i, |
2557 HeapRegion::InitialClaimValue); | |
342 | 2558 jint regions_added = parKnownGarbageCl.marked_regions_added(); |
2559 _hrSorted->incNumMarkedHeapRegions(regions_added); | |
2560 if (G1PrintParCleanupStats) { | |
2363
c93aa6caa02f
7022943: G1: improve logging to avoid interleaved numbers
brutisso
parents:
2188
diff
changeset
|
2561 gclog_or_tty->print_cr(" Thread %d called %d times, added %d regions to list.", |
342 | 2562 i, parKnownGarbageCl.invokes(), regions_added); |
2563 } | |
2564 } | |
2565 }; | |
2566 | |
2567 void | |
2568 G1CollectorPolicy_BestRegionsFirst:: | |
2569 record_concurrent_mark_cleanup_end(size_t freed_bytes, | |
2570 size_t max_live_bytes) { | |
2571 double start; | |
2572 if (G1PrintParCleanupStats) start = os::elapsedTime(); | |
2573 record_concurrent_mark_cleanup_end_work1(freed_bytes, max_live_bytes); | |
2574 | |
2575 _collectionSetChooser->clearMarkedHeapRegions(); | |
2576 double clear_marked_end; | |
2577 if (G1PrintParCleanupStats) { | |
2578 clear_marked_end = os::elapsedTime(); | |
2579 gclog_or_tty->print_cr(" clear marked regions + work1: %8.3f ms.", | |
2580 (clear_marked_end - start)*1000.0); | |
2581 } | |
1833
8b10f48633dc
6984287: Regularize how GC parallel workers are specified.
jmasa
parents:
1779
diff
changeset
|
2582 if (G1CollectedHeap::use_parallel_gc_threads()) { |
342 | 2583 const size_t OverpartitionFactor = 4; |
1571
2d127394260e
6916623: Align object to 16 bytes to use Compressed Oops with java heap up to 64Gb
kvn
parents:
1394
diff
changeset
|
2584 const size_t MinWorkUnit = 8; |
2d127394260e
6916623: Align object to 16 bytes to use Compressed Oops with java heap up to 64Gb
kvn
parents:
1394
diff
changeset
|
2585 const size_t WorkUnit = |
342 | 2586 MAX2(_g1->n_regions() / (ParallelGCThreads * OverpartitionFactor), |
1571
2d127394260e
6916623: Align object to 16 bytes to use Compressed Oops with java heap up to 64Gb
kvn
parents:
1394
diff
changeset
|
2587 MinWorkUnit); |
342 | 2588 _collectionSetChooser->prepareForAddMarkedHeapRegionsPar(_g1->n_regions(), |
1571
2d127394260e
6916623: Align object to 16 bytes to use Compressed Oops with java heap up to 64Gb
kvn
parents:
1394
diff
changeset
|
2589 WorkUnit); |
342 | 2590 ParKnownGarbageTask parKnownGarbageTask(_collectionSetChooser, |
1571
2d127394260e
6916623: Align object to 16 bytes to use Compressed Oops with java heap up to 64Gb
kvn
parents:
1394
diff
changeset
|
2591 (int) WorkUnit); |
342 | 2592 _g1->workers()->run_task(&parKnownGarbageTask); |
355 | 2593 |
2594 assert(_g1->check_heap_region_claim_values(HeapRegion::InitialClaimValue), | |
2595 "sanity check"); | |
342 | 2596 } else { |
2597 KnownGarbageClosure knownGarbagecl(_collectionSetChooser); | |
2598 _g1->heap_region_iterate(&knownGarbagecl); | |
2599 } | |
2600 double known_garbage_end; | |
2601 if (G1PrintParCleanupStats) { | |
2602 known_garbage_end = os::elapsedTime(); | |
2603 gclog_or_tty->print_cr(" compute known garbage: %8.3f ms.", | |
2604 (known_garbage_end - clear_marked_end)*1000.0); | |
2605 } | |
2606 _collectionSetChooser->sortMarkedHeapRegions(); | |
2607 double sort_end; | |
2608 if (G1PrintParCleanupStats) { | |
2609 sort_end = os::elapsedTime(); | |
2610 gclog_or_tty->print_cr(" sorting: %8.3f ms.", | |
2611 (sort_end - known_garbage_end)*1000.0); | |
2612 } | |
2613 | |
2614 record_concurrent_mark_cleanup_end_work2(); | |
2615 double work2_end; | |
2616 if (G1PrintParCleanupStats) { | |
2617 work2_end = os::elapsedTime(); | |
2618 gclog_or_tty->print_cr(" work2: %8.3f ms.", | |
2619 (work2_end - sort_end)*1000.0); | |
2620 } | |
2621 } | |
2622 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2623 // Add the heap region at the head of the non-incremental collection set |
342 | 2624 void G1CollectorPolicy:: |
2625 add_to_collection_set(HeapRegion* hr) { | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2626 assert(_inc_cset_build_state == Active, "Precondition"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2627 assert(!hr->is_young(), "non-incremental add of young region"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2628 |
1282 | 2629 if (G1PrintHeapRegions) { |
1388 | 2630 gclog_or_tty->print_cr("added region to cset " |
2631 "%d:["PTR_FORMAT", "PTR_FORMAT"], " | |
2632 "top "PTR_FORMAT", %s", | |
2633 hr->hrs_index(), hr->bottom(), hr->end(), | |
2634 hr->top(), hr->is_young() ? "YOUNG" : "NOT_YOUNG"); | |
342 | 2635 } |
2636 | |
2637 if (_g1->mark_in_progress()) | |
2638 _g1->concurrent_mark()->registerCSetRegion(hr); | |
2639 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2640 assert(!hr->in_collection_set(), "should not already be in the CSet"); |
342 | 2641 hr->set_in_collection_set(true); |
2642 hr->set_next_in_collection_set(_collection_set); | |
2643 _collection_set = hr; | |
2644 _collection_set_size++; | |
2645 _collection_set_bytes_used_before += hr->used(); | |
526 | 2646 _g1->register_region_with_in_cset_fast_test(hr); |
342 | 2647 } |
2648 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2649 // Initialize the per-collection-set information |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2650 void G1CollectorPolicy::start_incremental_cset_building() { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2651 assert(_inc_cset_build_state == Inactive, "Precondition"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2652 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2653 _inc_cset_head = NULL; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2654 _inc_cset_tail = NULL; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2655 _inc_cset_size = 0; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2656 _inc_cset_bytes_used_before = 0; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2657 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2658 if (in_young_gc_mode()) { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2659 _inc_cset_young_index = 0; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2660 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2661 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2662 _inc_cset_max_finger = 0; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2663 _inc_cset_recorded_young_bytes = 0; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2664 _inc_cset_recorded_rs_lengths = 0; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2665 _inc_cset_predicted_elapsed_time_ms = 0; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2666 _inc_cset_predicted_bytes_to_copy = 0; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2667 _inc_cset_build_state = Active; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2668 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2669 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2670 void G1CollectorPolicy::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:
1391
diff
changeset
|
2671 // This routine is used when: |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2672 // * adding survivor regions to the incremental cset at the end of an |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2673 // evacuation pause, |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2674 // * adding the current allocation region to the incremental cset |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2675 // when it is retired, and |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2676 // * updating existing policy information for a region in the |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2677 // incremental cset via young list RSet sampling. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2678 // Therefore this routine may be called at a safepoint by the |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2679 // VM thread, or in-between safepoints by mutator threads (when |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2680 // retiring the current allocation region) or a concurrent |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2681 // refine thread (RSet sampling). |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2682 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2683 double region_elapsed_time_ms = predict_region_elapsed_time_ms(hr, true); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2684 size_t used_bytes = hr->used(); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2685 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2686 _inc_cset_recorded_rs_lengths += rs_length; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2687 _inc_cset_predicted_elapsed_time_ms += region_elapsed_time_ms; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2688 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2689 _inc_cset_bytes_used_before += used_bytes; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2690 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2691 // Cache the values we have added to the aggregated informtion |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2692 // in the heap region in case we have to remove this region from |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2693 // the incremental collection set, or it is updated by the |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2694 // rset sampling code |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2695 hr->set_recorded_rs_length(rs_length); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2696 hr->set_predicted_elapsed_time_ms(region_elapsed_time_ms); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2697 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2698 #if PREDICTIONS_VERBOSE |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2699 size_t bytes_to_copy = predict_bytes_to_copy(hr); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2700 _inc_cset_predicted_bytes_to_copy += bytes_to_copy; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2701 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2702 // Record the number of bytes used in this region |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2703 _inc_cset_recorded_young_bytes += used_bytes; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2704 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2705 // Cache the values we have added to the aggregated informtion |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2706 // in the heap region in case we have to remove this region from |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2707 // the incremental collection set, or it is updated by the |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2708 // rset sampling code |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2709 hr->set_predicted_bytes_to_copy(bytes_to_copy); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2710 #endif // PREDICTIONS_VERBOSE |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2711 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2712 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2713 void G1CollectorPolicy::remove_from_incremental_cset_info(HeapRegion* hr) { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2714 // This routine is currently only called as part of the updating of |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2715 // existing policy information for regions in the incremental cset that |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2716 // is performed by the concurrent refine thread(s) as part of young list |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2717 // RSet sampling. Therefore we should not be at a safepoint. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2718 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2719 assert(!SafepointSynchronize::is_at_safepoint(), "should not be at safepoint"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2720 assert(hr->is_young(), "it should be"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2721 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2722 size_t used_bytes = hr->used(); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2723 size_t old_rs_length = hr->recorded_rs_length(); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2724 double old_elapsed_time_ms = hr->predicted_elapsed_time_ms(); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2725 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2726 // Subtract the old recorded/predicted policy information for |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2727 // the given heap region from the collection set info. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2728 _inc_cset_recorded_rs_lengths -= old_rs_length; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2729 _inc_cset_predicted_elapsed_time_ms -= old_elapsed_time_ms; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2730 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2731 _inc_cset_bytes_used_before -= used_bytes; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2732 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2733 // Clear the values cached in the heap region |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2734 hr->set_recorded_rs_length(0); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2735 hr->set_predicted_elapsed_time_ms(0); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2736 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2737 #if PREDICTIONS_VERBOSE |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2738 size_t old_predicted_bytes_to_copy = hr->predicted_bytes_to_copy(); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2739 _inc_cset_predicted_bytes_to_copy -= old_predicted_bytes_to_copy; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2740 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2741 // Subtract the number of bytes used in this region |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2742 _inc_cset_recorded_young_bytes -= used_bytes; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2743 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2744 // Clear the values cached in the heap region |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2745 hr->set_predicted_bytes_to_copy(0); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2746 #endif // PREDICTIONS_VERBOSE |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2747 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2748 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2749 void G1CollectorPolicy::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:
1391
diff
changeset
|
2750 // Update the collection set information that is dependent on the new RS length |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2751 assert(hr->is_young(), "Precondition"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2752 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2753 remove_from_incremental_cset_info(hr); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2754 add_to_incremental_cset_info(hr, new_rs_length); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2755 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2756 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2757 void G1CollectorPolicy::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:
1391
diff
changeset
|
2758 assert( hr->is_young(), "invariant"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2759 assert( hr->young_index_in_cset() == -1, "invariant" ); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2760 assert(_inc_cset_build_state == Active, "Precondition"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2761 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2762 // We need to clear and set the cached recorded/cached collection set |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2763 // information in the heap region here (before the region gets added |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2764 // to the collection set). An individual heap region's cached values |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2765 // are calculated, aggregated with the policy collection set info, |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2766 // and cached in the heap region here (initially) and (subsequently) |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2767 // by the Young List sampling code. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2768 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2769 size_t rs_length = hr->rem_set()->occupied(); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2770 add_to_incremental_cset_info(hr, rs_length); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2771 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2772 HeapWord* hr_end = hr->end(); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2773 _inc_cset_max_finger = MAX2(_inc_cset_max_finger, hr_end); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2774 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2775 assert(!hr->in_collection_set(), "invariant"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2776 hr->set_in_collection_set(true); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2777 assert( hr->next_in_collection_set() == NULL, "invariant"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2778 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2779 _inc_cset_size++; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2780 _g1->register_region_with_in_cset_fast_test(hr); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2781 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2782 hr->set_young_index_in_cset((int) _inc_cset_young_index); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2783 ++_inc_cset_young_index; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2784 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2785 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2786 // Add the region at the RHS of the incremental cset |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2787 void G1CollectorPolicy::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:
1391
diff
changeset
|
2788 // We should only ever be appending survivors at the end of a pause |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2789 assert( hr->is_survivor(), "Logic"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2790 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2791 // Do the 'common' stuff |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2792 add_region_to_incremental_cset_common(hr); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2793 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2794 // Now add the region at the right hand side |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2795 if (_inc_cset_tail == NULL) { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2796 assert(_inc_cset_head == NULL, "invariant"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2797 _inc_cset_head = hr; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2798 } else { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2799 _inc_cset_tail->set_next_in_collection_set(hr); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2800 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2801 _inc_cset_tail = hr; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2802 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2803 if (G1PrintHeapRegions) { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2804 gclog_or_tty->print_cr(" added region to incremental cset (RHS) " |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2805 "%d:["PTR_FORMAT", "PTR_FORMAT"], " |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2806 "top "PTR_FORMAT", young %s", |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2807 hr->hrs_index(), hr->bottom(), hr->end(), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2808 hr->top(), (hr->is_young()) ? "YES" : "NO"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2809 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2810 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2811 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2812 // Add the region to the LHS of the incremental cset |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2813 void G1CollectorPolicy::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:
1391
diff
changeset
|
2814 // Survivors should be added to the RHS at the end of a pause |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2815 assert(!hr->is_survivor(), "Logic"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2816 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2817 // Do the 'common' stuff |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2818 add_region_to_incremental_cset_common(hr); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2819 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2820 // Add the region at the left hand side |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2821 hr->set_next_in_collection_set(_inc_cset_head); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2822 if (_inc_cset_head == NULL) { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2823 assert(_inc_cset_tail == NULL, "Invariant"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2824 _inc_cset_tail = hr; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2825 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2826 _inc_cset_head = hr; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2827 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2828 if (G1PrintHeapRegions) { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2829 gclog_or_tty->print_cr(" added region to incremental cset (LHS) " |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2830 "%d:["PTR_FORMAT", "PTR_FORMAT"], " |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2831 "top "PTR_FORMAT", young %s", |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2832 hr->hrs_index(), hr->bottom(), hr->end(), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2833 hr->top(), (hr->is_young()) ? "YES" : "NO"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2834 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2835 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2836 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2837 #ifndef PRODUCT |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2838 void G1CollectorPolicy::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:
1391
diff
changeset
|
2839 assert(list_head == inc_cset_head() || list_head == collection_set(), "must be"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2840 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2841 st->print_cr("\nCollection_set:"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2842 HeapRegion* csr = list_head; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2843 while (csr != NULL) { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2844 HeapRegion* next = csr->next_in_collection_set(); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2845 assert(csr->in_collection_set(), "bad CS"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2846 st->print_cr(" [%08x-%08x], t: %08x, P: %08x, N: %08x, C: %08x, " |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2847 "age: %4d, y: %d, surv: %d", |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2848 csr->bottom(), csr->end(), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2849 csr->top(), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2850 csr->prev_top_at_mark_start(), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2851 csr->next_top_at_mark_start(), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2852 csr->top_at_conc_mark_count(), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2853 csr->age_in_surv_rate_group_cond(), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2854 csr->is_young(), |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2855 csr->is_survivor()); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2856 csr = next; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2857 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2858 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2859 #endif // !PRODUCT |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2860 |
1707 | 2861 void |
1656
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
2862 G1CollectorPolicy_BestRegionsFirst::choose_collection_set( |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
2863 double target_pause_time_ms) { |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2864 // Set this here - in case we're not doing young collections. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2865 double non_young_start_time_sec = os::elapsedTime(); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2866 |
342 | 2867 start_recording_regions(); |
2868 | |
1656
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
2869 guarantee(target_pause_time_ms > 0.0, |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
2870 err_msg("target_pause_time_ms = %1.6lf should be positive", |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
2871 target_pause_time_ms)); |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
2872 guarantee(_collection_set == NULL, "Precondition"); |
342 | 2873 |
2874 double base_time_ms = predict_base_elapsed_time_ms(_pending_cards); | |
2875 double predicted_pause_time_ms = base_time_ms; | |
2876 | |
1656
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
2877 double time_remaining_ms = target_pause_time_ms - base_time_ms; |
342 | 2878 |
2879 // the 10% and 50% values are arbitrary... | |
1656
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
2880 if (time_remaining_ms < 0.10 * target_pause_time_ms) { |
4e5661ba9d98
6944166: G1: explicit GCs are not always handled correctly
tonyp
parents:
1611
diff
changeset
|
2881 time_remaining_ms = 0.50 * target_pause_time_ms; |
342 | 2882 _within_target = false; |
2883 } else { | |
2884 _within_target = true; | |
2885 } | |
2886 | |
2887 // We figure out the number of bytes available for future to-space. | |
2888 // For new regions without marking information, we must assume the | |
2889 // worst-case of complete survival. If we have marking information for a | |
2890 // region, we can bound the amount of live data. We can add a number of | |
2891 // such regions, as long as the sum of the live data bounds does not | |
2892 // exceed the available evacuation space. | |
2893 size_t max_live_bytes = _g1->free_regions() * HeapRegion::GrainBytes; | |
2894 | |
2895 size_t expansion_bytes = | |
2896 _g1->expansion_regions() * HeapRegion::GrainBytes; | |
2897 | |
677 | 2898 _collection_set_bytes_used_before = 0; |
2899 _collection_set_size = 0; | |
342 | 2900 |
2901 // Adjust for expansion and slop. | |
2902 max_live_bytes = max_live_bytes + expansion_bytes; | |
2903 | |
2904 HeapRegion* hr; | |
2905 if (in_young_gc_mode()) { | |
2906 double young_start_time_sec = os::elapsedTime(); | |
2907 | |
2908 if (G1PolicyVerbose > 0) { | |
2909 gclog_or_tty->print_cr("Adding %d young regions to the CSet", | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2910 _g1->young_list()->length()); |
342 | 2911 } |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2912 |
342 | 2913 _young_cset_length = 0; |
2914 _last_young_gc_full = full_young_gcs() ? true : false; | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2915 |
342 | 2916 if (_last_young_gc_full) |
2917 ++_full_young_pause_num; | |
2918 else | |
2919 ++_partial_young_pause_num; | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2920 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2921 // The young list is laid with the survivor regions from the previous |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2922 // pause are appended to the RHS of the young list, i.e. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2923 // [Newly Young Regions ++ Survivors from last pause]. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2924 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2925 hr = _g1->young_list()->first_survivor_region(); |
342 | 2926 while (hr != NULL) { |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2927 assert(hr->is_survivor(), "badly formed young list"); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2928 hr->set_young(); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2929 hr = hr->get_next_young_region(); |
342 | 2930 } |
2931 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2932 // Clear the fields that point to the survivor list - they are |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2933 // all young now. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2934 _g1->young_list()->clear_survivors(); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2935 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2936 if (_g1->mark_in_progress()) |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2937 _g1->concurrent_mark()->register_collection_set_finger(_inc_cset_max_finger); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2938 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2939 _young_cset_length = _inc_cset_young_index; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2940 _collection_set = _inc_cset_head; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2941 _collection_set_size = _inc_cset_size; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2942 _collection_set_bytes_used_before = _inc_cset_bytes_used_before; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2943 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2944 // For young regions in the collection set, we assume the worst |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2945 // case of complete survival |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2946 max_live_bytes -= _inc_cset_size * HeapRegion::GrainBytes; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2947 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2948 time_remaining_ms -= _inc_cset_predicted_elapsed_time_ms; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2949 predicted_pause_time_ms += _inc_cset_predicted_elapsed_time_ms; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2950 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2951 // The number of recorded young regions is the incremental |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2952 // collection set's current size |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2953 set_recorded_young_regions(_inc_cset_size); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2954 set_recorded_rs_lengths(_inc_cset_recorded_rs_lengths); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2955 set_recorded_young_bytes(_inc_cset_recorded_young_bytes); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2956 #if PREDICTIONS_VERBOSE |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2957 set_predicted_bytes_to_copy(_inc_cset_predicted_bytes_to_copy); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2958 #endif // PREDICTIONS_VERBOSE |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2959 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2960 if (G1PolicyVerbose > 0) { |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2961 gclog_or_tty->print_cr(" Added " PTR_FORMAT " Young Regions to CS.", |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2962 _inc_cset_size); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2963 gclog_or_tty->print_cr(" (" SIZE_FORMAT " KB left in heap.)", |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2964 max_live_bytes/K); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2965 } |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2966 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2967 assert(_inc_cset_size == _g1->young_list()->length(), "Invariant"); |
342 | 2968 |
2969 double young_end_time_sec = os::elapsedTime(); | |
2970 _recorded_young_cset_choice_time_ms = | |
2971 (young_end_time_sec - young_start_time_sec) * 1000.0; | |
2972 | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2973 // We are doing young collections so reset this. |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2974 non_young_start_time_sec = young_end_time_sec; |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2975 |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2976 // Note we can use either _collection_set_size or |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2977 // _young_cset_length here |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2978 if (_collection_set_size > 0 && _last_young_gc_full) { |
342 | 2979 // don't bother adding more regions... |
2980 goto choose_collection_set_end; | |
2981 } | |
2982 } | |
2983 | |
2984 if (!in_young_gc_mode() || !full_young_gcs()) { | |
2985 bool should_continue = true; | |
2986 NumberSeq seq; | |
2987 double avg_prediction = 100000000000000000.0; // something very large | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2988 |
342 | 2989 do { |
2990 hr = _collectionSetChooser->getNextMarkedRegion(time_remaining_ms, | |
2991 avg_prediction); | |
677 | 2992 if (hr != NULL) { |
342 | 2993 double predicted_time_ms = predict_region_elapsed_time_ms(hr, false); |
2994 time_remaining_ms -= predicted_time_ms; | |
2995 predicted_pause_time_ms += predicted_time_ms; | |
2996 add_to_collection_set(hr); | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
2997 record_non_young_cset_region(hr); |
342 | 2998 max_live_bytes -= MIN2(hr->max_live_bytes(), max_live_bytes); |
2999 if (G1PolicyVerbose > 0) { | |
3000 gclog_or_tty->print_cr(" (" SIZE_FORMAT " KB left in heap.)", | |
3001 max_live_bytes/K); | |
3002 } | |
3003 seq.add(predicted_time_ms); | |
3004 avg_prediction = seq.avg() + seq.sd(); | |
3005 } | |
3006 should_continue = | |
3007 ( hr != NULL) && | |
3008 ( (adaptive_young_list_length()) ? time_remaining_ms > 0.0 | |
3009 : _collection_set_size < _young_list_fixed_length ); | |
3010 } while (should_continue); | |
3011 | |
3012 if (!adaptive_young_list_length() && | |
3013 _collection_set_size < _young_list_fixed_length) | |
3014 _should_revert_to_full_young_gcs = true; | |
3015 } | |
3016 | |
3017 choose_collection_set_end: | |
1394
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
3018 stop_incremental_cset_building(); |
1316cec51b4d
6819061: G1: eliminate serial Other times that are proportional to the collection set length
johnc
parents:
1391
diff
changeset
|
3019 |
342 | 3020 count_CS_bytes_used(); |
3021 | |
3022 end_recording_regions(); | |
3023 | |
3024 double non_young_end_time_sec = os::elapsedTime(); | |
3025 _recorded_non_young_cset_choice_time_ms = | |
3026 (non_young_end_time_sec - non_young_start_time_sec) * 1000.0; | |
3027 } | |
3028 | |
3029 void G1CollectorPolicy_BestRegionsFirst::record_full_collection_end() { | |
3030 G1CollectorPolicy::record_full_collection_end(); | |
3031 _collectionSetChooser->updateAfterFullCollection(); | |
3032 } | |
3033 | |
3034 void G1CollectorPolicy_BestRegionsFirst:: | |
3035 expand_if_possible(size_t numRegions) { | |
3036 size_t expansion_bytes = numRegions * HeapRegion::GrainBytes; | |
3037 _g1->expand(expansion_bytes); | |
3038 } | |
3039 | |
3040 void G1CollectorPolicy_BestRegionsFirst:: | |
1707 | 3041 record_collection_pause_end() { |
3042 G1CollectorPolicy::record_collection_pause_end(); | |
342 | 3043 assert(assertMarkedBytesDataOK(), "Marked regions not OK at pause end."); |
3044 } |