Mercurial > hg > truffle
annotate src/share/vm/runtime/advancedThresholdPolicy.cpp @ 20162:ba0f264a71cf
added support for inlining graphs derived from InvocationPlugins
author | Doug Simon <doug.simon@oracle.com> |
---|---|
date | Sat, 04 Apr 2015 19:47:04 +0200 |
parents | f2bdbfe9201b |
children | 7848fc12602b |
rev | line source |
---|---|
2348 | 1 /* |
10105
aeaca88565e6
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
6831
diff
changeset
|
2 * Copyright (c) 2010, 2013, Oracle and/or its affiliates. All rights reserved. |
3358 | 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * | |
5 * This code is free software; you can redistribute it and/or modify it | |
6 * under the terms of the GNU General Public License version 2 only, as | |
7 * published by the Free Software Foundation. | |
8 * | |
9 * This code is distributed in the hope that it will be useful, but WITHOUT | |
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
12 * version 2 for more details (a copy is included in the LICENSE file that | |
13 * accompanied this code). | |
14 * | |
15 * You should have received a copy of the GNU General Public License version | |
16 * 2 along with this work; if not, write to the Free Software Foundation, | |
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
18 * | |
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA | |
20 * or visit www.oracle.com if you need additional information or have any | |
21 * questions. | |
22 * | |
23 */ | |
2348 | 24 |
25 #include "precompiled.hpp" | |
26 #include "runtime/advancedThresholdPolicy.hpp" | |
27 #include "runtime/simpleThresholdPolicy.inline.hpp" | |
28 | |
29 #ifdef TIERED | |
30 // Print an event. | |
31 void AdvancedThresholdPolicy::print_specific(EventType type, methodHandle mh, methodHandle imh, | |
32 int bci, CompLevel level) { | |
6800
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
33 tty->print(" rate="); |
2348 | 34 if (mh->prev_time() == 0) tty->print("n/a"); |
35 else tty->print("%f", mh->rate()); | |
36 | |
6800
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
37 tty->print(" k=%.2lf,%.2lf", threshold_scale(CompLevel_full_profile, Tier3LoadFeedback), |
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
38 threshold_scale(CompLevel_full_optimization, Tier4LoadFeedback)); |
2348 | 39 |
40 } | |
41 | |
42 void AdvancedThresholdPolicy::initialize() { | |
43 // Turn on ergonomic compiler count selection | |
44 if (FLAG_IS_DEFAULT(CICompilerCountPerCPU) && FLAG_IS_DEFAULT(CICompilerCount)) { | |
45 FLAG_SET_DEFAULT(CICompilerCountPerCPU, true); | |
46 } | |
47 int count = CICompilerCount; | |
48 if (CICompilerCountPerCPU) { | |
49 // Simple log n seems to grow too slowly for tiered, try something faster: log n * log log n | |
50 int log_cpu = log2_intptr(os::active_processor_count()); | |
51 int loglog_cpu = log2_intptr(MAX2(log_cpu, 1)); | |
52 count = MAX2(log_cpu * loglog_cpu, 1) * 3 / 2; | |
53 } | |
54 | |
55 set_c1_count(MAX2(count / 3, 1)); | |
17906
7150b16fda52
8029436: CICompilerCount is not updated when the number of compiler threads is adjusted to the number of CPUs
anoll
parents:
10319
diff
changeset
|
56 set_c2_count(MAX2(count - c1_count(), 1)); |
7150b16fda52
8029436: CICompilerCount is not updated when the number of compiler threads is adjusted to the number of CPUs
anoll
parents:
10319
diff
changeset
|
57 FLAG_SET_ERGO(intx, CICompilerCount, c1_count() + c2_count()); |
2348 | 58 |
59 // Some inlining tuning | |
60 #ifdef X86 | |
61 if (FLAG_IS_DEFAULT(InlineSmallCode)) { | |
62 FLAG_SET_DEFAULT(InlineSmallCode, 2000); | |
63 } | |
64 #endif | |
65 | |
66 #ifdef SPARC | |
67 if (FLAG_IS_DEFAULT(InlineSmallCode)) { | |
68 FLAG_SET_DEFAULT(InlineSmallCode, 2500); | |
69 } | |
70 #endif | |
71 | |
10319
91eba9f82325
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
10105
diff
changeset
|
72 set_increase_threshold_at_ratio(); |
2348 | 73 set_start_time(os::javaTimeMillis()); |
74 } | |
75 | |
76 // update_rate() is called from select_task() while holding a compile queue lock. | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
77 void AdvancedThresholdPolicy::update_rate(jlong t, Method* m) { |
10105
aeaca88565e6
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
6831
diff
changeset
|
78 JavaThread* THREAD = JavaThread::current(); |
2348 | 79 if (is_old(m)) { |
80 // We don't remove old methods from the queue, | |
81 // so we can just zero the rate. | |
10105
aeaca88565e6
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
6831
diff
changeset
|
82 m->set_rate(0, THREAD); |
2348 | 83 return; |
84 } | |
85 | |
86 // We don't update the rate if we've just came out of a safepoint. | |
87 // delta_s is the time since last safepoint in milliseconds. | |
88 jlong delta_s = t - SafepointSynchronize::end_of_last_safepoint(); | |
89 jlong delta_t = t - (m->prev_time() != 0 ? m->prev_time() : start_time()); // milliseconds since the last measurement | |
90 // How many events were there since the last time? | |
91 int event_count = m->invocation_count() + m->backedge_count(); | |
92 int delta_e = event_count - m->prev_event_count(); | |
93 | |
94 // We should be running for at least 1ms. | |
95 if (delta_s >= TieredRateUpdateMinTime) { | |
96 // And we must've taken the previous point at least 1ms before. | |
97 if (delta_t >= TieredRateUpdateMinTime && delta_e > 0) { | |
10105
aeaca88565e6
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
6831
diff
changeset
|
98 m->set_prev_time(t, THREAD); |
aeaca88565e6
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
6831
diff
changeset
|
99 m->set_prev_event_count(event_count, THREAD); |
aeaca88565e6
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
6831
diff
changeset
|
100 m->set_rate((float)delta_e / (float)delta_t, THREAD); // Rate is events per millisecond |
2348 | 101 } else |
102 if (delta_t > TieredRateUpdateMaxTime && delta_e == 0) { | |
103 // If nothing happened for 25ms, zero the rate. Don't modify prev values. | |
10105
aeaca88565e6
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
6831
diff
changeset
|
104 m->set_rate(0, THREAD); |
2348 | 105 } |
106 } | |
107 } | |
108 | |
109 // Check if this method has been stale from a given number of milliseconds. | |
110 // See select_task(). | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
111 bool AdvancedThresholdPolicy::is_stale(jlong t, jlong timeout, Method* m) { |
2348 | 112 jlong delta_s = t - SafepointSynchronize::end_of_last_safepoint(); |
113 jlong delta_t = t - m->prev_time(); | |
114 if (delta_t > timeout && delta_s > timeout) { | |
115 int event_count = m->invocation_count() + m->backedge_count(); | |
116 int delta_e = event_count - m->prev_event_count(); | |
117 // Return true if there were no events. | |
118 return delta_e == 0; | |
119 } | |
120 return false; | |
121 } | |
122 | |
123 // We don't remove old methods from the compile queue even if they have | |
124 // very low activity. See select_task(). | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
125 bool AdvancedThresholdPolicy::is_old(Method* method) { |
2348 | 126 return method->invocation_count() > 50000 || method->backedge_count() > 500000; |
127 } | |
128 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
129 double AdvancedThresholdPolicy::weight(Method* method) { |
2348 | 130 return (method->rate() + 1) * ((method->invocation_count() + 1) * (method->backedge_count() + 1)); |
131 } | |
132 | |
133 // Apply heuristics and return true if x should be compiled before y | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
134 bool AdvancedThresholdPolicy::compare_methods(Method* x, Method* y) { |
2348 | 135 if (x->highest_comp_level() > y->highest_comp_level()) { |
136 // recompilation after deopt | |
137 return true; | |
138 } else | |
139 if (x->highest_comp_level() == y->highest_comp_level()) { | |
140 if (weight(x) > weight(y)) { | |
141 return true; | |
142 } | |
143 } | |
144 return false; | |
145 } | |
146 | |
147 // Is method profiled enough? | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
148 bool AdvancedThresholdPolicy::is_method_profiled(Method* method) { |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
149 MethodData* mdo = method->method_data(); |
2348 | 150 if (mdo != NULL) { |
151 int i = mdo->invocation_count_delta(); | |
152 int b = mdo->backedge_count_delta(); | |
153 return call_predicate_helper<CompLevel_full_profile>(i, b, 1); | |
154 } | |
155 return false; | |
156 } | |
157 | |
158 // Called with the queue locked and with at least one element | |
159 CompileTask* AdvancedThresholdPolicy::select_task(CompileQueue* compile_queue) { | |
19941
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
160 #ifdef COMPILERGRAAL |
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
161 CompileTask *max_non_graal_task = NULL; |
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
162 #endif |
2348 | 163 CompileTask *max_task = NULL; |
6831
d8ce2825b193
8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents:
6800
diff
changeset
|
164 Method* max_method = NULL; |
2348 | 165 jlong t = os::javaTimeMillis(); |
166 // Iterate through the queue and find a method with a maximum rate. | |
167 for (CompileTask* task = compile_queue->first(); task != NULL;) { | |
168 CompileTask* next_task = task->next(); | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
169 Method* method = task->method(); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
170 MethodData* mdo = method->method_data(); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
171 update_rate(t, method); |
2348 | 172 if (max_task == NULL) { |
173 max_task = task; | |
174 max_method = method; | |
175 } else { | |
176 // If a method has been stale for some time, remove it from the queue. | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
177 if (is_stale(t, TieredCompileTaskTimeout, method) && !is_old(method)) { |
2348 | 178 if (PrintTieredEvents) { |
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
179 print_event(REMOVE_FROM_QUEUE, method, method, task->osr_bci(), (CompLevel)task->comp_level()); |
2348 | 180 } |
19939
5119e7f07d93
Log dequeue of methods from CompileQueue
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
18041
diff
changeset
|
181 task->log_task_dequeued("stale"); |
2348 | 182 CompileTaskWrapper ctw(task); // Frees the task |
183 compile_queue->remove(task); | |
184 method->clear_queued_for_compilation(); | |
185 task = next_task; | |
186 continue; | |
187 } | |
188 | |
189 // Select a method with a higher rate | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
190 if (compare_methods(method, max_method)) { |
2348 | 191 max_task = task; |
192 max_method = method; | |
193 } | |
194 } | |
19941
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
195 #ifdef COMPILERGRAAL |
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
196 if (GraalCompileAppFirst && (task->comp_level() == CompLevel_full_optimization || !method->has_compiled_code()) && |
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
197 SystemDictionary::graal_loader() != NULL && |
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
198 method->method_holder()->class_loader() != SystemDictionary::graal_loader()) { |
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
199 if (max_non_graal_task == NULL) { |
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
200 max_non_graal_task = task; |
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
201 } else { |
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
202 // Select a method with a higher rate |
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
203 if (compare_methods(method, max_non_graal_task->method())) { |
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
204 max_non_graal_task = task; |
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
205 } |
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
206 } |
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
207 } |
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
208 #endif |
2348 | 209 task = next_task; |
210 } | |
211 | |
19941
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
212 #ifdef COMPILERGRAAL |
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
213 if (max_non_graal_task != NULL) { |
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
214 max_task = max_non_graal_task; |
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
215 max_method = max_task->method(); |
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
216 } |
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
217 #endif |
f2bdbfe9201b
Experimentally disallow Graal compiling itself in tiered
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
19939
diff
changeset
|
218 |
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
219 if (max_task->comp_level() == CompLevel_full_profile && TieredStopAtLevel > CompLevel_full_profile |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
220 && is_method_profiled(max_method)) { |
2348 | 221 max_task->set_comp_level(CompLevel_limited_profile); |
222 if (PrintTieredEvents) { | |
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
223 print_event(UPDATE_IN_QUEUE, max_method, max_method, max_task->osr_bci(), (CompLevel)max_task->comp_level()); |
2348 | 224 } |
225 } | |
226 | |
227 return max_task; | |
228 } | |
229 | |
230 double AdvancedThresholdPolicy::threshold_scale(CompLevel level, int feedback_k) { | |
231 double queue_size = CompileBroker::queue_size(level); | |
232 int comp_count = compiler_count(level); | |
233 double k = queue_size / (feedback_k * comp_count) + 1; | |
10319
91eba9f82325
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
10105
diff
changeset
|
234 |
91eba9f82325
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
10105
diff
changeset
|
235 // Increase C1 compile threshold when the code cache is filled more |
91eba9f82325
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
10105
diff
changeset
|
236 // than specified by IncreaseFirstTierCompileThresholdAt percentage. |
91eba9f82325
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
10105
diff
changeset
|
237 // The main intention is to keep enough free space for C2 compiled code |
91eba9f82325
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
10105
diff
changeset
|
238 // to achieve peak performance if the code cache is under stress. |
91eba9f82325
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
10105
diff
changeset
|
239 if ((TieredStopAtLevel == CompLevel_full_optimization) && (level != CompLevel_full_optimization)) { |
91eba9f82325
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
10105
diff
changeset
|
240 double current_reverse_free_ratio = CodeCache::reverse_free_ratio(); |
91eba9f82325
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
10105
diff
changeset
|
241 if (current_reverse_free_ratio > _increase_threshold_at_ratio) { |
91eba9f82325
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
10105
diff
changeset
|
242 k *= exp(current_reverse_free_ratio - _increase_threshold_at_ratio); |
91eba9f82325
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
10105
diff
changeset
|
243 } |
91eba9f82325
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
10105
diff
changeset
|
244 } |
2348 | 245 return k; |
246 } | |
247 | |
248 // Call and loop predicates determine whether a transition to a higher | |
249 // compilation level should be performed (pointers to predicate functions | |
250 // are passed to common()). | |
251 // Tier?LoadFeedback is basically a coefficient that determines of | |
252 // how many methods per compiler thread can be in the queue before | |
253 // the threshold values double. | |
254 bool AdvancedThresholdPolicy::loop_predicate(int i, int b, CompLevel cur_level) { | |
255 switch(cur_level) { | |
256 case CompLevel_none: | |
257 case CompLevel_limited_profile: { | |
258 double k = threshold_scale(CompLevel_full_profile, Tier3LoadFeedback); | |
259 return loop_predicate_helper<CompLevel_none>(i, b, k); | |
260 } | |
261 case CompLevel_full_profile: { | |
262 double k = threshold_scale(CompLevel_full_optimization, Tier4LoadFeedback); | |
263 return loop_predicate_helper<CompLevel_full_profile>(i, b, k); | |
264 } | |
265 default: | |
266 return true; | |
267 } | |
268 } | |
269 | |
270 bool AdvancedThresholdPolicy::call_predicate(int i, int b, CompLevel cur_level) { | |
271 switch(cur_level) { | |
272 case CompLevel_none: | |
273 case CompLevel_limited_profile: { | |
274 double k = threshold_scale(CompLevel_full_profile, Tier3LoadFeedback); | |
275 return call_predicate_helper<CompLevel_none>(i, b, k); | |
276 } | |
277 case CompLevel_full_profile: { | |
278 double k = threshold_scale(CompLevel_full_optimization, Tier4LoadFeedback); | |
279 return call_predicate_helper<CompLevel_full_profile>(i, b, k); | |
280 } | |
281 default: | |
282 return true; | |
283 } | |
284 } | |
285 | |
286 // If a method is old enough and is still in the interpreter we would want to | |
287 // start profiling without waiting for the compiled method to arrive. | |
288 // We also take the load on compilers into the account. | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
289 bool AdvancedThresholdPolicy::should_create_mdo(Method* method, CompLevel cur_level) { |
2348 | 290 if (cur_level == CompLevel_none && |
291 CompileBroker::queue_size(CompLevel_full_optimization) <= | |
292 Tier3DelayOn * compiler_count(CompLevel_full_optimization)) { | |
293 int i = method->invocation_count(); | |
294 int b = method->backedge_count(); | |
295 double k = Tier0ProfilingStartPercentage / 100.0; | |
296 return call_predicate_helper<CompLevel_none>(i, b, k) || loop_predicate_helper<CompLevel_none>(i, b, k); | |
297 } | |
298 return false; | |
299 } | |
300 | |
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
301 // Inlining control: if we're compiling a profiled method with C1 and the callee |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
302 // is known to have OSRed in a C2 version, don't inline it. |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
303 bool AdvancedThresholdPolicy::should_not_inline(ciEnv* env, ciMethod* callee) { |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
304 CompLevel comp_level = (CompLevel)env->comp_level(); |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
305 if (comp_level == CompLevel_full_profile || |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
306 comp_level == CompLevel_limited_profile) { |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
307 return callee->highest_osr_comp_level() == CompLevel_full_optimization; |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
308 } |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
309 return false; |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
310 } |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
311 |
2348 | 312 // Create MDO if necessary. |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
313 void AdvancedThresholdPolicy::create_mdo(methodHandle mh, JavaThread* THREAD) { |
2348 | 314 if (mh->is_native() || mh->is_abstract() || mh->is_accessor()) return; |
315 if (mh->method_data() == NULL) { | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
316 Method::build_interpreter_method_data(mh, CHECK_AND_CLEAR); |
2348 | 317 } |
318 } | |
319 | |
320 | |
321 /* | |
322 * Method states: | |
323 * 0 - interpreter (CompLevel_none) | |
324 * 1 - pure C1 (CompLevel_simple) | |
325 * 2 - C1 with invocation and backedge counting (CompLevel_limited_profile) | |
326 * 3 - C1 with full profiling (CompLevel_full_profile) | |
327 * 4 - C2 (CompLevel_full_optimization) | |
328 * | |
329 * Common state transition patterns: | |
330 * a. 0 -> 3 -> 4. | |
331 * The most common path. But note that even in this straightforward case | |
332 * profiling can start at level 0 and finish at level 3. | |
333 * | |
334 * b. 0 -> 2 -> 3 -> 4. | |
335 * This case occures when the load on C2 is deemed too high. So, instead of transitioning | |
336 * into state 3 directly and over-profiling while a method is in the C2 queue we transition to | |
337 * level 2 and wait until the load on C2 decreases. This path is disabled for OSRs. | |
338 * | |
339 * c. 0 -> (3->2) -> 4. | |
340 * In this case we enqueue a method for compilation at level 3, but the C1 queue is long enough | |
341 * to enable the profiling to fully occur at level 0. In this case we change the compilation level | |
342 * of the method to 2, because it'll allow it to run much faster without full profiling while c2 | |
343 * is compiling. | |
344 * | |
345 * d. 0 -> 3 -> 1 or 0 -> 2 -> 1. | |
346 * After a method was once compiled with C1 it can be identified as trivial and be compiled to | |
347 * level 1. These transition can also occur if a method can't be compiled with C2 but can with C1. | |
348 * | |
349 * e. 0 -> 4. | |
350 * This can happen if a method fails C1 compilation (it will still be profiled in the interpreter) | |
351 * or because of a deopt that didn't require reprofiling (compilation won't happen in this case because | |
352 * the compiled version already exists). | |
353 * | |
354 * Note that since state 0 can be reached from any other state via deoptimization different loops | |
355 * are possible. | |
356 * | |
357 */ | |
358 | |
359 // Common transition function. Given a predicate determines if a method should transition to another level. | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
360 CompLevel AdvancedThresholdPolicy::common(Predicate p, Method* method, CompLevel cur_level, bool disable_feedback) { |
2348 | 361 CompLevel next_level = cur_level; |
362 int i = method->invocation_count(); | |
363 int b = method->backedge_count(); | |
364 | |
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
365 if (is_trivial(method)) { |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
366 next_level = CompLevel_simple; |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
367 } else { |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
368 switch(cur_level) { |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
369 case CompLevel_none: |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
370 // If we were at full profile level, would we switch to full opt? |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
371 if (common(p, method, CompLevel_full_profile, disable_feedback) == CompLevel_full_optimization) { |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
372 next_level = CompLevel_full_optimization; |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
373 } else if ((this->*p)(i, b, cur_level)) { |
16107
c7db9dc73694
disabled dialing C1 compilation back to partial profiling when Graal is the top tier compiler
Doug Simon <doug.simon@oracle.com>
parents:
14909
diff
changeset
|
374 #ifdef COMPILERGRAAL |
c7db9dc73694
disabled dialing C1 compilation back to partial profiling when Graal is the top tier compiler
Doug Simon <doug.simon@oracle.com>
parents:
14909
diff
changeset
|
375 // Since Graal takes a while to warm up, its queue inevitably backs up during |
c7db9dc73694
disabled dialing C1 compilation back to partial profiling when Graal is the top tier compiler
Doug Simon <doug.simon@oracle.com>
parents:
14909
diff
changeset
|
376 // early VM execution. As of 2014-06-13, Graal's inliner assumes that the root |
c7db9dc73694
disabled dialing C1 compilation back to partial profiling when Graal is the top tier compiler
Doug Simon <doug.simon@oracle.com>
parents:
14909
diff
changeset
|
377 // compilation method and all potential inlinees have mature profiles (which |
c7db9dc73694
disabled dialing C1 compilation back to partial profiling when Graal is the top tier compiler
Doug Simon <doug.simon@oracle.com>
parents:
14909
diff
changeset
|
378 // includes type profiling). If it sees immature profiles, Graal's inliner |
c7db9dc73694
disabled dialing C1 compilation back to partial profiling when Graal is the top tier compiler
Doug Simon <doug.simon@oracle.com>
parents:
14909
diff
changeset
|
379 // can perform pathologically bad (e.g., causing OutOfMemoryErrors due to |
c7db9dc73694
disabled dialing C1 compilation back to partial profiling when Graal is the top tier compiler
Doug Simon <doug.simon@oracle.com>
parents:
14909
diff
changeset
|
380 // exploring/inlining too many graphs). Since a rewrite of the inliner is |
c7db9dc73694
disabled dialing C1 compilation back to partial profiling when Graal is the top tier compiler
Doug Simon <doug.simon@oracle.com>
parents:
14909
diff
changeset
|
381 // in progress, we simply disable the dialing back heuristic for now and will |
c7db9dc73694
disabled dialing C1 compilation back to partial profiling when Graal is the top tier compiler
Doug Simon <doug.simon@oracle.com>
parents:
14909
diff
changeset
|
382 // revisit this decision once the new inliner is completed. |
c7db9dc73694
disabled dialing C1 compilation back to partial profiling when Graal is the top tier compiler
Doug Simon <doug.simon@oracle.com>
parents:
14909
diff
changeset
|
383 next_level = CompLevel_full_profile; |
c7db9dc73694
disabled dialing C1 compilation back to partial profiling when Graal is the top tier compiler
Doug Simon <doug.simon@oracle.com>
parents:
14909
diff
changeset
|
384 #else |
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
385 // C1-generated fully profiled code is about 30% slower than the limited profile |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
386 // code that has only invocation and backedge counters. The observation is that |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
387 // if C2 queue is large enough we can spend too much time in the fully profiled code |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
388 // while waiting for C2 to pick the method from the queue. To alleviate this problem |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
389 // we introduce a feedback on the C2 queue size. If the C2 queue is sufficiently long |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
390 // we choose to compile a limited profiled version and then recompile with full profiling |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
391 // when the load on C2 goes down. |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
392 if (!disable_feedback && CompileBroker::queue_size(CompLevel_full_optimization) > |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
393 Tier3DelayOn * compiler_count(CompLevel_full_optimization)) { |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
394 next_level = CompLevel_limited_profile; |
2348 | 395 } else { |
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
396 next_level = CompLevel_full_profile; |
2348 | 397 } |
16107
c7db9dc73694
disabled dialing C1 compilation back to partial profiling when Graal is the top tier compiler
Doug Simon <doug.simon@oracle.com>
parents:
14909
diff
changeset
|
398 #endif |
2348 | 399 } |
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
400 break; |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
401 case CompLevel_limited_profile: |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
402 if (is_method_profiled(method)) { |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
403 // Special case: we got here because this method was fully profiled in the interpreter. |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
404 next_level = CompLevel_full_optimization; |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
405 } else { |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
406 MethodData* mdo = method->method_data(); |
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
407 if (mdo != NULL) { |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
408 if (mdo->would_profile()) { |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
409 if (disable_feedback || (CompileBroker::queue_size(CompLevel_full_optimization) <= |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
410 Tier3DelayOff * compiler_count(CompLevel_full_optimization) && |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
411 (this->*p)(i, b, cur_level))) { |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
412 next_level = CompLevel_full_profile; |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
413 } |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
414 } else { |
2348 | 415 next_level = CompLevel_full_optimization; |
416 } | |
417 } | |
418 } | |
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
419 break; |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
420 case CompLevel_full_profile: |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
421 { |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
422 MethodData* mdo = method->method_data(); |
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
423 if (mdo != NULL) { |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
424 if (mdo->would_profile()) { |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
425 int mdo_i = mdo->invocation_count_delta(); |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
426 int mdo_b = mdo->backedge_count_delta(); |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
427 if ((this->*p)(mdo_i, mdo_b, cur_level)) { |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
428 next_level = CompLevel_full_optimization; |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
429 } |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
430 } else { |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
431 next_level = CompLevel_full_optimization; |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
432 } |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
433 } |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
434 } |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
435 break; |
2348 | 436 } |
437 } | |
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
438 return MIN2(next_level, (CompLevel)TieredStopAtLevel); |
2348 | 439 } |
440 | |
441 // Determine if a method should be compiled with a normal entry point at a different level. | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
442 CompLevel AdvancedThresholdPolicy::call_event(Method* method, CompLevel cur_level) { |
3790
6f6e91603a45
7058689: Tiered: Reprofiling doesn't happen in presence of level 4 OSR methods
iveresov
parents:
3358
diff
changeset
|
443 CompLevel osr_level = MIN2((CompLevel) method->highest_osr_comp_level(), |
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
444 common(&AdvancedThresholdPolicy::loop_predicate, method, cur_level, true)); |
2348 | 445 CompLevel next_level = common(&AdvancedThresholdPolicy::call_predicate, method, cur_level); |
446 | |
447 // If OSR method level is greater than the regular method level, the levels should be | |
448 // equalized by raising the regular method level in order to avoid OSRs during each | |
449 // invocation of the method. | |
450 if (osr_level == CompLevel_full_optimization && cur_level == CompLevel_full_profile) { | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
451 MethodData* mdo = method->method_data(); |
2348 | 452 guarantee(mdo != NULL, "MDO should not be NULL"); |
453 if (mdo->invocation_count() >= 1) { | |
454 next_level = CompLevel_full_optimization; | |
455 } | |
456 } else { | |
457 next_level = MAX2(osr_level, next_level); | |
458 } | |
459 return next_level; | |
460 } | |
461 | |
462 // Determine if we should do an OSR compilation of a given method. | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
463 CompLevel AdvancedThresholdPolicy::loop_event(Method* method, CompLevel cur_level) { |
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
464 CompLevel next_level = common(&AdvancedThresholdPolicy::loop_predicate, method, cur_level, true); |
2348 | 465 if (cur_level == CompLevel_none) { |
466 // If there is a live OSR method that means that we deopted to the interpreter | |
467 // for the transition. | |
3790
6f6e91603a45
7058689: Tiered: Reprofiling doesn't happen in presence of level 4 OSR methods
iveresov
parents:
3358
diff
changeset
|
468 CompLevel osr_level = MIN2((CompLevel)method->highest_osr_comp_level(), next_level); |
2348 | 469 if (osr_level > CompLevel_none) { |
470 return osr_level; | |
471 } | |
472 } | |
3790
6f6e91603a45
7058689: Tiered: Reprofiling doesn't happen in presence of level 4 OSR methods
iveresov
parents:
3358
diff
changeset
|
473 return next_level; |
2348 | 474 } |
475 | |
476 // Update the rate and submit compile | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
477 void AdvancedThresholdPolicy::submit_compile(methodHandle mh, int bci, CompLevel level, JavaThread* thread) { |
2348 | 478 int hot_count = (bci == InvocationEntryBci) ? mh->invocation_count() : mh->backedge_count(); |
479 update_rate(os::javaTimeMillis(), mh()); | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
480 CompileBroker::compile_method(mh, bci, level, mh, hot_count, "tiered", thread); |
2348 | 481 } |
482 | |
483 // Handle the invocation event. | |
484 void AdvancedThresholdPolicy::method_invocation_event(methodHandle mh, methodHandle imh, | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
485 CompLevel level, nmethod* nm, JavaThread* thread) { |
2348 | 486 if (should_create_mdo(mh(), level)) { |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
487 create_mdo(mh, thread); |
2348 | 488 } |
489 if (is_compilation_enabled() && !CompileBroker::compilation_is_in_queue(mh, InvocationEntryBci)) { | |
490 CompLevel next_level = call_event(mh(), level); | |
491 if (next_level != level) { | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
492 compile(mh, InvocationEntryBci, next_level, thread); |
2348 | 493 } |
494 } | |
495 } | |
496 | |
497 // Handle the back branch event. Notice that we can compile the method | |
498 // with a regular entry from here. | |
499 void AdvancedThresholdPolicy::method_back_branch_event(methodHandle mh, methodHandle imh, | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
500 int bci, CompLevel level, nmethod* nm, JavaThread* thread) { |
2348 | 501 if (should_create_mdo(mh(), level)) { |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
502 create_mdo(mh, thread); |
2348 | 503 } |
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
504 // Check if MDO should be created for the inlined method |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
505 if (should_create_mdo(imh(), level)) { |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
506 create_mdo(imh, thread); |
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
507 } |
2348 | 508 |
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
509 if (is_compilation_enabled()) { |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
510 CompLevel next_osr_level = loop_event(imh(), level); |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
511 CompLevel max_osr_level = (CompLevel)imh->highest_osr_comp_level(); |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
512 // At the very least compile the OSR version |
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
513 if (!CompileBroker::compilation_is_in_queue(imh, bci) && next_osr_level != level) { |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
514 compile(imh, bci, next_osr_level, thread); |
2348 | 515 } |
516 | |
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
517 // Use loop event as an opportunity to also check if there's been |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
518 // enough calls. |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
519 CompLevel cur_level, next_level; |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
520 if (mh() != imh()) { // If there is an enclosing method |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
521 guarantee(nm != NULL, "Should have nmethod here"); |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
522 cur_level = comp_level(mh()); |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
523 next_level = call_event(mh(), cur_level); |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
524 |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
525 if (max_osr_level == CompLevel_full_optimization) { |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
526 // The inlinee OSRed to full opt, we need to modify the enclosing method to avoid deopts |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
527 bool make_not_entrant = false; |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
528 if (nm->is_osr_method()) { |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
529 // This is an osr method, just make it not entrant and recompile later if needed |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
530 make_not_entrant = true; |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
531 } else { |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
532 if (next_level != CompLevel_full_optimization) { |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
533 // next_level is not full opt, so we need to recompile the |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
534 // enclosing method without the inlinee |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
535 cur_level = CompLevel_none; |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
536 make_not_entrant = true; |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
537 } |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
538 } |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
539 if (make_not_entrant) { |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
540 if (PrintTieredEvents) { |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
541 int osr_bci = nm->is_osr_method() ? nm->osr_entry_bci() : InvocationEntryBci; |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
542 print_event(MAKE_NOT_ENTRANT, mh(), mh(), osr_bci, level); |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
543 } |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
544 nm->make_not_entrant(); |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
545 } |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
546 } |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
547 if (!CompileBroker::compilation_is_in_queue(mh, InvocationEntryBci)) { |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
548 // Fix up next_level if necessary to avoid deopts |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
549 if (next_level == CompLevel_limited_profile && max_osr_level == CompLevel_full_profile) { |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
550 next_level = CompLevel_full_profile; |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
551 } |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
552 if (cur_level != next_level) { |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
553 compile(mh, InvocationEntryBci, next_level, thread); |
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
554 } |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
555 } |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
556 } else { |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
557 cur_level = comp_level(imh()); |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
558 next_level = call_event(imh(), cur_level); |
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
559 if (!CompileBroker::compilation_is_in_queue(imh, bci) && next_level != cur_level) { |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
560 compile(imh, InvocationEntryBci, next_level, thread); |
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
561 } |
2348 | 562 } |
563 } | |
564 } | |
565 | |
566 #endif // TIERED |