author | rprotacio |
Mon, 23 Nov 2015 16:16:46 -0500 | |
changeset 34262 | 43560e879d6d |
parent 33593 | 60764a78fa5c |
child 35155 | db692d3ebbcc |
permissions | -rw-r--r-- |
8667 | 1 |
/* |
33160
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
2 |
* Copyright (c) 2010, 2015, Oracle and/or its affiliates. All rights reserved. |
9625 | 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 |
*/ |
|
8667 | 24 |
|
25 |
#include "precompiled.hpp" |
|
25715
d5a8dbdc5150
8049325: Introduce and clean up umbrella headers for the files in the cpu subdirectories.
goetz
parents:
24443
diff
changeset
|
26 |
#include "code/codeCache.hpp" |
33160
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
27 |
#include "compiler/compileTask.hpp" |
8667 | 28 |
#include "runtime/advancedThresholdPolicy.hpp" |
29 |
#include "runtime/simpleThresholdPolicy.inline.hpp" |
|
30 |
||
31 |
#ifdef TIERED |
|
32 |
// Print an event. |
|
33 |
void AdvancedThresholdPolicy::print_specific(EventType type, methodHandle mh, methodHandle imh, |
|
34 |
int bci, CompLevel level) { |
|
13891
35dabd293e56
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
13728
diff
changeset
|
35 |
tty->print(" rate="); |
8667 | 36 |
if (mh->prev_time() == 0) tty->print("n/a"); |
37 |
else tty->print("%f", mh->rate()); |
|
38 |
||
13891
35dabd293e56
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
13728
diff
changeset
|
39 |
tty->print(" k=%.2lf,%.2lf", threshold_scale(CompLevel_full_profile, Tier3LoadFeedback), |
35dabd293e56
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
13728
diff
changeset
|
40 |
threshold_scale(CompLevel_full_optimization, Tier4LoadFeedback)); |
8667 | 41 |
|
42 |
} |
|
43 |
||
44 |
void AdvancedThresholdPolicy::initialize() { |
|
45 |
// Turn on ergonomic compiler count selection |
|
46 |
if (FLAG_IS_DEFAULT(CICompilerCountPerCPU) && FLAG_IS_DEFAULT(CICompilerCount)) { |
|
47 |
FLAG_SET_DEFAULT(CICompilerCountPerCPU, true); |
|
48 |
} |
|
49 |
int count = CICompilerCount; |
|
50 |
if (CICompilerCountPerCPU) { |
|
51 |
// Simple log n seems to grow too slowly for tiered, try something faster: log n * log log n |
|
52 |
int log_cpu = log2_intptr(os::active_processor_count()); |
|
53 |
int loglog_cpu = log2_intptr(MAX2(log_cpu, 1)); |
|
54 |
count = MAX2(log_cpu * loglog_cpu, 1) * 3 / 2; |
|
55 |
} |
|
56 |
||
57 |
set_c1_count(MAX2(count / 3, 1)); |
|
24013
1d16b0f1060d
8029436: CICompilerCount is not updated when the number of compiler threads is adjusted to the number of CPUs
anoll
parents:
22551
diff
changeset
|
58 |
set_c2_count(MAX2(count - c1_count(), 1)); |
1d16b0f1060d
8029436: CICompilerCount is not updated when the number of compiler threads is adjusted to the number of CPUs
anoll
parents:
22551
diff
changeset
|
59 |
FLAG_SET_ERGO(intx, CICompilerCount, c1_count() + c2_count()); |
8667 | 60 |
|
61 |
// Some inlining tuning |
|
62 |
#ifdef X86 |
|
63 |
if (FLAG_IS_DEFAULT(InlineSmallCode)) { |
|
64 |
FLAG_SET_DEFAULT(InlineSmallCode, 2000); |
|
65 |
} |
|
66 |
#endif |
|
67 |
||
31053
91b652361bce
8085805: aarch64: AdvancedThresholdPolicy lacks tuning of InlineSmallCode size
enevill
parents:
29335
diff
changeset
|
68 |
#if defined SPARC || defined AARCH64 |
8667 | 69 |
if (FLAG_IS_DEFAULT(InlineSmallCode)) { |
70 |
FLAG_SET_DEFAULT(InlineSmallCode, 2500); |
|
71 |
} |
|
72 |
#endif |
|
73 |
||
17617
4e330bce1812
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
17000
diff
changeset
|
74 |
set_increase_threshold_at_ratio(); |
8667 | 75 |
set_start_time(os::javaTimeMillis()); |
76 |
} |
|
77 |
||
78 |
// update_rate() is called from select_task() while holding a compile queue lock. |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
11572
diff
changeset
|
79 |
void AdvancedThresholdPolicy::update_rate(jlong t, Method* m) { |
24443
7aaf1b306b55
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
24321
diff
changeset
|
80 |
// Skip update if counters are absent. |
7aaf1b306b55
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
24321
diff
changeset
|
81 |
// Can't allocate them since we are holding compile queue lock. |
7aaf1b306b55
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
24321
diff
changeset
|
82 |
if (m->method_counters() == NULL) return; |
7aaf1b306b55
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
24321
diff
changeset
|
83 |
|
8667 | 84 |
if (is_old(m)) { |
85 |
// We don't remove old methods from the queue, |
|
86 |
// so we can just zero the rate. |
|
24443
7aaf1b306b55
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
24321
diff
changeset
|
87 |
m->set_rate(0); |
8667 | 88 |
return; |
89 |
} |
|
90 |
||
91 |
// We don't update the rate if we've just came out of a safepoint. |
|
92 |
// delta_s is the time since last safepoint in milliseconds. |
|
93 |
jlong delta_s = t - SafepointSynchronize::end_of_last_safepoint(); |
|
94 |
jlong delta_t = t - (m->prev_time() != 0 ? m->prev_time() : start_time()); // milliseconds since the last measurement |
|
95 |
// How many events were there since the last time? |
|
96 |
int event_count = m->invocation_count() + m->backedge_count(); |
|
97 |
int delta_e = event_count - m->prev_event_count(); |
|
98 |
||
99 |
// We should be running for at least 1ms. |
|
100 |
if (delta_s >= TieredRateUpdateMinTime) { |
|
101 |
// And we must've taken the previous point at least 1ms before. |
|
102 |
if (delta_t >= TieredRateUpdateMinTime && delta_e > 0) { |
|
24443
7aaf1b306b55
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
24321
diff
changeset
|
103 |
m->set_prev_time(t); |
7aaf1b306b55
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
24321
diff
changeset
|
104 |
m->set_prev_event_count(event_count); |
7aaf1b306b55
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
24321
diff
changeset
|
105 |
m->set_rate((float)delta_e / (float)delta_t); // Rate is events per millisecond |
7aaf1b306b55
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
24321
diff
changeset
|
106 |
} else { |
8667 | 107 |
if (delta_t > TieredRateUpdateMaxTime && delta_e == 0) { |
108 |
// If nothing happened for 25ms, zero the rate. Don't modify prev values. |
|
24443
7aaf1b306b55
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
24321
diff
changeset
|
109 |
m->set_rate(0); |
8667 | 110 |
} |
24443
7aaf1b306b55
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
24321
diff
changeset
|
111 |
} |
8667 | 112 |
} |
113 |
} |
|
114 |
||
115 |
// Check if this method has been stale from a given number of milliseconds. |
|
116 |
// See select_task(). |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
11572
diff
changeset
|
117 |
bool AdvancedThresholdPolicy::is_stale(jlong t, jlong timeout, Method* m) { |
8667 | 118 |
jlong delta_s = t - SafepointSynchronize::end_of_last_safepoint(); |
119 |
jlong delta_t = t - m->prev_time(); |
|
120 |
if (delta_t > timeout && delta_s > timeout) { |
|
121 |
int event_count = m->invocation_count() + m->backedge_count(); |
|
122 |
int delta_e = event_count - m->prev_event_count(); |
|
123 |
// Return true if there were no events. |
|
124 |
return delta_e == 0; |
|
125 |
} |
|
126 |
return false; |
|
127 |
} |
|
128 |
||
129 |
// We don't remove old methods from the compile queue even if they have |
|
130 |
// very low activity. See select_task(). |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
11572
diff
changeset
|
131 |
bool AdvancedThresholdPolicy::is_old(Method* method) { |
8667 | 132 |
return method->invocation_count() > 50000 || method->backedge_count() > 500000; |
133 |
} |
|
134 |
||
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
11572
diff
changeset
|
135 |
double AdvancedThresholdPolicy::weight(Method* method) { |
8667 | 136 |
return (method->rate() + 1) * ((method->invocation_count() + 1) * (method->backedge_count() + 1)); |
137 |
} |
|
138 |
||
139 |
// Apply heuristics and return true if x should be compiled before y |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
11572
diff
changeset
|
140 |
bool AdvancedThresholdPolicy::compare_methods(Method* x, Method* y) { |
8667 | 141 |
if (x->highest_comp_level() > y->highest_comp_level()) { |
142 |
// recompilation after deopt |
|
143 |
return true; |
|
144 |
} else |
|
145 |
if (x->highest_comp_level() == y->highest_comp_level()) { |
|
146 |
if (weight(x) > weight(y)) { |
|
147 |
return true; |
|
148 |
} |
|
149 |
} |
|
150 |
return false; |
|
151 |
} |
|
152 |
||
153 |
// Is method profiled enough? |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
11572
diff
changeset
|
154 |
bool AdvancedThresholdPolicy::is_method_profiled(Method* method) { |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
11572
diff
changeset
|
155 |
MethodData* mdo = method->method_data(); |
8667 | 156 |
if (mdo != NULL) { |
157 |
int i = mdo->invocation_count_delta(); |
|
158 |
int b = mdo->backedge_count_delta(); |
|
28650
772aaab2582f
8059606: Enable per-method usage of CompileThresholdScaling (per-method compilation thresholds)
zmajo
parents:
27643
diff
changeset
|
159 |
return call_predicate_helper<CompLevel_full_profile>(i, b, 1, method); |
8667 | 160 |
} |
161 |
return false; |
|
162 |
} |
|
163 |
||
164 |
// Called with the queue locked and with at least one element |
|
165 |
CompileTask* AdvancedThresholdPolicy::select_task(CompileQueue* compile_queue) { |
|
33160
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
166 |
#if INCLUDE_JVMCI |
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
167 |
CompileTask *max_non_jvmci_task = NULL; |
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
168 |
#endif |
8667 | 169 |
CompileTask *max_task = NULL; |
13952
e3cf184080bc
8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents:
13891
diff
changeset
|
170 |
Method* max_method = NULL; |
8667 | 171 |
jlong t = os::javaTimeMillis(); |
172 |
// Iterate through the queue and find a method with a maximum rate. |
|
173 |
for (CompileTask* task = compile_queue->first(); task != NULL;) { |
|
174 |
CompileTask* next_task = task->next(); |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
11572
diff
changeset
|
175 |
Method* method = task->method(); |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
11572
diff
changeset
|
176 |
update_rate(t, method); |
8667 | 177 |
if (max_task == NULL) { |
178 |
max_task = task; |
|
179 |
max_method = method; |
|
180 |
} else { |
|
181 |
// If a method has been stale for some time, remove it from the queue. |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
11572
diff
changeset
|
182 |
if (is_stale(t, TieredCompileTaskTimeout, method) && !is_old(method)) { |
8667 | 183 |
if (PrintTieredEvents) { |
10014
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
184 |
print_event(REMOVE_FROM_QUEUE, method, method, task->osr_bci(), (CompLevel)task->comp_level()); |
8667 | 185 |
} |
33160
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
186 |
task->log_task_dequeued("stale"); |
24443
7aaf1b306b55
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
24321
diff
changeset
|
187 |
compile_queue->remove_and_mark_stale(task); |
8667 | 188 |
method->clear_queued_for_compilation(); |
189 |
task = next_task; |
|
190 |
continue; |
|
191 |
} |
|
192 |
||
193 |
// Select a method with a higher rate |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
11572
diff
changeset
|
194 |
if (compare_methods(method, max_method)) { |
8667 | 195 |
max_task = task; |
196 |
max_method = method; |
|
197 |
} |
|
198 |
} |
|
199 |
task = next_task; |
|
200 |
} |
|
201 |
||
33160
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
202 |
#if INCLUDE_JVMCI |
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
203 |
if (UseJVMCICompiler) { |
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
204 |
if (max_non_jvmci_task != NULL) { |
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
205 |
max_task = max_non_jvmci_task; |
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
206 |
max_method = max_task->method(); |
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
207 |
} |
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
208 |
} |
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
209 |
#endif |
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
210 |
|
10250
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
211 |
if (max_task->comp_level() == CompLevel_full_profile && TieredStopAtLevel > CompLevel_full_profile |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
11572
diff
changeset
|
212 |
&& is_method_profiled(max_method)) { |
8667 | 213 |
max_task->set_comp_level(CompLevel_limited_profile); |
214 |
if (PrintTieredEvents) { |
|
10014
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
215 |
print_event(UPDATE_IN_QUEUE, max_method, max_method, max_task->osr_bci(), (CompLevel)max_task->comp_level()); |
8667 | 216 |
} |
217 |
} |
|
218 |
||
219 |
return max_task; |
|
220 |
} |
|
221 |
||
222 |
double AdvancedThresholdPolicy::threshold_scale(CompLevel level, int feedback_k) { |
|
223 |
double queue_size = CompileBroker::queue_size(level); |
|
224 |
int comp_count = compiler_count(level); |
|
225 |
double k = queue_size / (feedback_k * comp_count) + 1; |
|
17617
4e330bce1812
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
17000
diff
changeset
|
226 |
|
4e330bce1812
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
17000
diff
changeset
|
227 |
// Increase C1 compile threshold when the code cache is filled more |
4e330bce1812
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
17000
diff
changeset
|
228 |
// than specified by IncreaseFirstTierCompileThresholdAt percentage. |
4e330bce1812
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
17000
diff
changeset
|
229 |
// The main intention is to keep enough free space for C2 compiled code |
4e330bce1812
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
17000
diff
changeset
|
230 |
// to achieve peak performance if the code cache is under stress. |
4e330bce1812
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
17000
diff
changeset
|
231 |
if ((TieredStopAtLevel == CompLevel_full_optimization) && (level != CompLevel_full_optimization)) { |
26796 | 232 |
double current_reverse_free_ratio = CodeCache::reverse_free_ratio(CodeCache::get_code_blob_type(level)); |
17617
4e330bce1812
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
17000
diff
changeset
|
233 |
if (current_reverse_free_ratio > _increase_threshold_at_ratio) { |
4e330bce1812
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
17000
diff
changeset
|
234 |
k *= exp(current_reverse_free_ratio - _increase_threshold_at_ratio); |
4e330bce1812
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
17000
diff
changeset
|
235 |
} |
4e330bce1812
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
17000
diff
changeset
|
236 |
} |
8667 | 237 |
return k; |
238 |
} |
|
239 |
||
240 |
// Call and loop predicates determine whether a transition to a higher |
|
241 |
// compilation level should be performed (pointers to predicate functions |
|
242 |
// are passed to common()). |
|
243 |
// Tier?LoadFeedback is basically a coefficient that determines of |
|
244 |
// how many methods per compiler thread can be in the queue before |
|
245 |
// the threshold values double. |
|
28650
772aaab2582f
8059606: Enable per-method usage of CompileThresholdScaling (per-method compilation thresholds)
zmajo
parents:
27643
diff
changeset
|
246 |
bool AdvancedThresholdPolicy::loop_predicate(int i, int b, CompLevel cur_level, Method* method) { |
8667 | 247 |
switch(cur_level) { |
248 |
case CompLevel_none: |
|
249 |
case CompLevel_limited_profile: { |
|
250 |
double k = threshold_scale(CompLevel_full_profile, Tier3LoadFeedback); |
|
28650
772aaab2582f
8059606: Enable per-method usage of CompileThresholdScaling (per-method compilation thresholds)
zmajo
parents:
27643
diff
changeset
|
251 |
return loop_predicate_helper<CompLevel_none>(i, b, k, method); |
8667 | 252 |
} |
253 |
case CompLevel_full_profile: { |
|
254 |
double k = threshold_scale(CompLevel_full_optimization, Tier4LoadFeedback); |
|
28650
772aaab2582f
8059606: Enable per-method usage of CompileThresholdScaling (per-method compilation thresholds)
zmajo
parents:
27643
diff
changeset
|
255 |
return loop_predicate_helper<CompLevel_full_profile>(i, b, k, method); |
8667 | 256 |
} |
257 |
default: |
|
258 |
return true; |
|
259 |
} |
|
260 |
} |
|
261 |
||
28650
772aaab2582f
8059606: Enable per-method usage of CompileThresholdScaling (per-method compilation thresholds)
zmajo
parents:
27643
diff
changeset
|
262 |
bool AdvancedThresholdPolicy::call_predicate(int i, int b, CompLevel cur_level, Method* method) { |
8667 | 263 |
switch(cur_level) { |
264 |
case CompLevel_none: |
|
265 |
case CompLevel_limited_profile: { |
|
266 |
double k = threshold_scale(CompLevel_full_profile, Tier3LoadFeedback); |
|
28650
772aaab2582f
8059606: Enable per-method usage of CompileThresholdScaling (per-method compilation thresholds)
zmajo
parents:
27643
diff
changeset
|
267 |
return call_predicate_helper<CompLevel_none>(i, b, k, method); |
8667 | 268 |
} |
269 |
case CompLevel_full_profile: { |
|
270 |
double k = threshold_scale(CompLevel_full_optimization, Tier4LoadFeedback); |
|
28650
772aaab2582f
8059606: Enable per-method usage of CompileThresholdScaling (per-method compilation thresholds)
zmajo
parents:
27643
diff
changeset
|
271 |
return call_predicate_helper<CompLevel_full_profile>(i, b, k, method); |
8667 | 272 |
} |
273 |
default: |
|
274 |
return true; |
|
275 |
} |
|
276 |
} |
|
277 |
||
278 |
// If a method is old enough and is still in the interpreter we would want to |
|
279 |
// start profiling without waiting for the compiled method to arrive. |
|
280 |
// We also take the load on compilers into the account. |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
11572
diff
changeset
|
281 |
bool AdvancedThresholdPolicy::should_create_mdo(Method* method, CompLevel cur_level) { |
8667 | 282 |
if (cur_level == CompLevel_none && |
283 |
CompileBroker::queue_size(CompLevel_full_optimization) <= |
|
284 |
Tier3DelayOn * compiler_count(CompLevel_full_optimization)) { |
|
285 |
int i = method->invocation_count(); |
|
286 |
int b = method->backedge_count(); |
|
287 |
double k = Tier0ProfilingStartPercentage / 100.0; |
|
28650
772aaab2582f
8059606: Enable per-method usage of CompileThresholdScaling (per-method compilation thresholds)
zmajo
parents:
27643
diff
changeset
|
288 |
return call_predicate_helper<CompLevel_none>(i, b, k, method) || loop_predicate_helper<CompLevel_none>(i, b, k, method); |
8667 | 289 |
} |
290 |
return false; |
|
291 |
} |
|
292 |
||
10014
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
293 |
// Inlining control: if we're compiling a profiled method with C1 and the callee |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
294 |
// is known to have OSRed in a C2 version, don't inline it. |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
295 |
bool AdvancedThresholdPolicy::should_not_inline(ciEnv* env, ciMethod* callee) { |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
296 |
CompLevel comp_level = (CompLevel)env->comp_level(); |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
297 |
if (comp_level == CompLevel_full_profile || |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
298 |
comp_level == CompLevel_limited_profile) { |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
299 |
return callee->highest_osr_comp_level() == CompLevel_full_optimization; |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
300 |
} |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
301 |
return false; |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
302 |
} |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
303 |
|
8667 | 304 |
// Create MDO if necessary. |
11572
84afef481892
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
11424
diff
changeset
|
305 |
void AdvancedThresholdPolicy::create_mdo(methodHandle mh, JavaThread* THREAD) { |
29335 | 306 |
if (mh->is_native() || |
307 |
mh->is_abstract() || |
|
308 |
mh->is_accessor() || |
|
309 |
mh->is_constant_getter()) { |
|
310 |
return; |
|
311 |
} |
|
8667 | 312 |
if (mh->method_data() == NULL) { |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
11572
diff
changeset
|
313 |
Method::build_interpreter_method_data(mh, CHECK_AND_CLEAR); |
8667 | 314 |
} |
315 |
} |
|
316 |
||
317 |
||
318 |
/* |
|
319 |
* Method states: |
|
320 |
* 0 - interpreter (CompLevel_none) |
|
321 |
* 1 - pure C1 (CompLevel_simple) |
|
322 |
* 2 - C1 with invocation and backedge counting (CompLevel_limited_profile) |
|
323 |
* 3 - C1 with full profiling (CompLevel_full_profile) |
|
324 |
* 4 - C2 (CompLevel_full_optimization) |
|
325 |
* |
|
326 |
* Common state transition patterns: |
|
327 |
* a. 0 -> 3 -> 4. |
|
328 |
* The most common path. But note that even in this straightforward case |
|
329 |
* profiling can start at level 0 and finish at level 3. |
|
330 |
* |
|
331 |
* b. 0 -> 2 -> 3 -> 4. |
|
22551 | 332 |
* This case occurs when the load on C2 is deemed too high. So, instead of transitioning |
8667 | 333 |
* into state 3 directly and over-profiling while a method is in the C2 queue we transition to |
334 |
* level 2 and wait until the load on C2 decreases. This path is disabled for OSRs. |
|
335 |
* |
|
336 |
* c. 0 -> (3->2) -> 4. |
|
337 |
* In this case we enqueue a method for compilation at level 3, but the C1 queue is long enough |
|
338 |
* to enable the profiling to fully occur at level 0. In this case we change the compilation level |
|
27643
fe8f95a2d9bc
8056071: compiler/whitebox/IsMethodCompilableTest.java fails with 'method() is not compilable after 3 iterations'
thartmann
parents:
26796
diff
changeset
|
339 |
* of the method to 2 while the request is still in-queue, because it'll allow it to run much faster |
fe8f95a2d9bc
8056071: compiler/whitebox/IsMethodCompilableTest.java fails with 'method() is not compilable after 3 iterations'
thartmann
parents:
26796
diff
changeset
|
340 |
* without full profiling while c2 is compiling. |
8667 | 341 |
* |
342 |
* d. 0 -> 3 -> 1 or 0 -> 2 -> 1. |
|
343 |
* After a method was once compiled with C1 it can be identified as trivial and be compiled to |
|
344 |
* level 1. These transition can also occur if a method can't be compiled with C2 but can with C1. |
|
345 |
* |
|
346 |
* e. 0 -> 4. |
|
347 |
* This can happen if a method fails C1 compilation (it will still be profiled in the interpreter) |
|
348 |
* or because of a deopt that didn't require reprofiling (compilation won't happen in this case because |
|
349 |
* the compiled version already exists). |
|
350 |
* |
|
351 |
* Note that since state 0 can be reached from any other state via deoptimization different loops |
|
352 |
* are possible. |
|
353 |
* |
|
354 |
*/ |
|
355 |
||
356 |
// Common transition function. Given a predicate determines if a method should transition to another level. |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
11572
diff
changeset
|
357 |
CompLevel AdvancedThresholdPolicy::common(Predicate p, Method* method, CompLevel cur_level, bool disable_feedback) { |
8667 | 358 |
CompLevel next_level = cur_level; |
359 |
int i = method->invocation_count(); |
|
360 |
int b = method->backedge_count(); |
|
361 |
||
10250
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
362 |
if (is_trivial(method)) { |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
363 |
next_level = CompLevel_simple; |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
364 |
} else { |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
365 |
switch(cur_level) { |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
366 |
case CompLevel_none: |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
367 |
// If we were at full profile level, would we switch to full opt? |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
368 |
if (common(p, method, CompLevel_full_profile, disable_feedback) == CompLevel_full_optimization) { |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
369 |
next_level = CompLevel_full_optimization; |
28650
772aaab2582f
8059606: Enable per-method usage of CompileThresholdScaling (per-method compilation thresholds)
zmajo
parents:
27643
diff
changeset
|
370 |
} else if ((this->*p)(i, b, cur_level, method)) { |
33160
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
371 |
#if INCLUDE_JVMCI |
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
372 |
if (UseJVMCICompiler) { |
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
373 |
// Since JVMCI takes a while to warm up, its queue inevitably backs up during |
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
374 |
// early VM execution. |
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
375 |
next_level = CompLevel_full_profile; |
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
376 |
break; |
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
377 |
} |
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
378 |
#endif |
10250
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
379 |
// C1-generated fully profiled code is about 30% slower than the limited profile |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
380 |
// code that has only invocation and backedge counters. The observation is that |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
381 |
// if C2 queue is large enough we can spend too much time in the fully profiled code |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
382 |
// while waiting for C2 to pick the method from the queue. To alleviate this problem |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
383 |
// we introduce a feedback on the C2 queue size. If the C2 queue is sufficiently long |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
384 |
// we choose to compile a limited profiled version and then recompile with full profiling |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
385 |
// when the load on C2 goes down. |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
386 |
if (!disable_feedback && CompileBroker::queue_size(CompLevel_full_optimization) > |
33160
c59f1676d27e
8136421: JEP 243: Java-Level JVM Compiler Interface
twisti
parents:
31053
diff
changeset
|
387 |
Tier3DelayOn * compiler_count(CompLevel_full_optimization)) { |
10250
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
388 |
next_level = CompLevel_limited_profile; |
8667 | 389 |
} else { |
10250
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
390 |
next_level = CompLevel_full_profile; |
8667 | 391 |
} |
392 |
} |
|
10250
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
393 |
break; |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
394 |
case CompLevel_limited_profile: |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
395 |
if (is_method_profiled(method)) { |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
396 |
// Special case: we got here because this method was fully profiled in the interpreter. |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
397 |
next_level = CompLevel_full_optimization; |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
398 |
} else { |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
11572
diff
changeset
|
399 |
MethodData* mdo = method->method_data(); |
10250
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
400 |
if (mdo != NULL) { |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
401 |
if (mdo->would_profile()) { |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
402 |
if (disable_feedback || (CompileBroker::queue_size(CompLevel_full_optimization) <= |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
403 |
Tier3DelayOff * compiler_count(CompLevel_full_optimization) && |
28650
772aaab2582f
8059606: Enable per-method usage of CompileThresholdScaling (per-method compilation thresholds)
zmajo
parents:
27643
diff
changeset
|
404 |
(this->*p)(i, b, cur_level, method))) { |
10250
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
405 |
next_level = CompLevel_full_profile; |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
406 |
} |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
407 |
} else { |
8667 | 408 |
next_level = CompLevel_full_optimization; |
409 |
} |
|
410 |
} |
|
411 |
} |
|
10250
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
412 |
break; |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
413 |
case CompLevel_full_profile: |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
414 |
{ |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
11572
diff
changeset
|
415 |
MethodData* mdo = method->method_data(); |
10250
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
416 |
if (mdo != NULL) { |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
417 |
if (mdo->would_profile()) { |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
418 |
int mdo_i = mdo->invocation_count_delta(); |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
419 |
int mdo_b = mdo->backedge_count_delta(); |
28650
772aaab2582f
8059606: Enable per-method usage of CompileThresholdScaling (per-method compilation thresholds)
zmajo
parents:
27643
diff
changeset
|
420 |
if ((this->*p)(mdo_i, mdo_b, cur_level, method)) { |
10250
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
421 |
next_level = CompLevel_full_optimization; |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
422 |
} |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
423 |
} else { |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
424 |
next_level = CompLevel_full_optimization; |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
425 |
} |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
426 |
} |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
427 |
} |
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
428 |
break; |
8667 | 429 |
} |
430 |
} |
|
10250
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
431 |
return MIN2(next_level, (CompLevel)TieredStopAtLevel); |
8667 | 432 |
} |
433 |
||
434 |
// Determine if a method should be compiled with a normal entry point at a different level. |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
11572
diff
changeset
|
435 |
CompLevel AdvancedThresholdPolicy::call_event(Method* method, CompLevel cur_level) { |
10013
714ad59b56cb
7058689: Tiered: Reprofiling doesn't happen in presence of level 4 OSR methods
iveresov
parents:
9625
diff
changeset
|
436 |
CompLevel osr_level = MIN2((CompLevel) method->highest_osr_comp_level(), |
10250
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
437 |
common(&AdvancedThresholdPolicy::loop_predicate, method, cur_level, true)); |
8667 | 438 |
CompLevel next_level = common(&AdvancedThresholdPolicy::call_predicate, method, cur_level); |
439 |
||
440 |
// If OSR method level is greater than the regular method level, the levels should be |
|
441 |
// equalized by raising the regular method level in order to avoid OSRs during each |
|
442 |
// invocation of the method. |
|
443 |
if (osr_level == CompLevel_full_optimization && cur_level == CompLevel_full_profile) { |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
11572
diff
changeset
|
444 |
MethodData* mdo = method->method_data(); |
8667 | 445 |
guarantee(mdo != NULL, "MDO should not be NULL"); |
446 |
if (mdo->invocation_count() >= 1) { |
|
447 |
next_level = CompLevel_full_optimization; |
|
448 |
} |
|
449 |
} else { |
|
450 |
next_level = MAX2(osr_level, next_level); |
|
451 |
} |
|
452 |
return next_level; |
|
453 |
} |
|
454 |
||
455 |
// Determine if we should do an OSR compilation of a given method. |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
11572
diff
changeset
|
456 |
CompLevel AdvancedThresholdPolicy::loop_event(Method* method, CompLevel cur_level) { |
10250
0794cd144834
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
10014
diff
changeset
|
457 |
CompLevel next_level = common(&AdvancedThresholdPolicy::loop_predicate, method, cur_level, true); |
8667 | 458 |
if (cur_level == CompLevel_none) { |
459 |
// If there is a live OSR method that means that we deopted to the interpreter |
|
460 |
// for the transition. |
|
10013
714ad59b56cb
7058689: Tiered: Reprofiling doesn't happen in presence of level 4 OSR methods
iveresov
parents:
9625
diff
changeset
|
461 |
CompLevel osr_level = MIN2((CompLevel)method->highest_osr_comp_level(), next_level); |
8667 | 462 |
if (osr_level > CompLevel_none) { |
463 |
return osr_level; |
|
464 |
} |
|
465 |
} |
|
10013
714ad59b56cb
7058689: Tiered: Reprofiling doesn't happen in presence of level 4 OSR methods
iveresov
parents:
9625
diff
changeset
|
466 |
return next_level; |
8667 | 467 |
} |
468 |
||
469 |
// Update the rate and submit compile |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
33160
diff
changeset
|
470 |
void AdvancedThresholdPolicy::submit_compile(const methodHandle& mh, int bci, CompLevel level, JavaThread* thread) { |
8667 | 471 |
int hot_count = (bci == InvocationEntryBci) ? mh->invocation_count() : mh->backedge_count(); |
472 |
update_rate(os::javaTimeMillis(), mh()); |
|
11572
84afef481892
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
11424
diff
changeset
|
473 |
CompileBroker::compile_method(mh, bci, level, mh, hot_count, "tiered", thread); |
8667 | 474 |
} |
475 |
||
476 |
// Handle the invocation event. |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
33160
diff
changeset
|
477 |
void AdvancedThresholdPolicy::method_invocation_event(const methodHandle& mh, const methodHandle& imh, |
11572
84afef481892
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
11424
diff
changeset
|
478 |
CompLevel level, nmethod* nm, JavaThread* thread) { |
8667 | 479 |
if (should_create_mdo(mh(), level)) { |
11572
84afef481892
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
11424
diff
changeset
|
480 |
create_mdo(mh, thread); |
8667 | 481 |
} |
24321
621f7e09fc0a
8040798: compiler/startup/SmallCodeCacheStartup.java timed out in RT_Baseline
anoll
parents:
24013
diff
changeset
|
482 |
if (is_compilation_enabled() && !CompileBroker::compilation_is_in_queue(mh)) { |
8667 | 483 |
CompLevel next_level = call_event(mh(), level); |
484 |
if (next_level != level) { |
|
11572
84afef481892
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
11424
diff
changeset
|
485 |
compile(mh, InvocationEntryBci, next_level, thread); |
8667 | 486 |
} |
487 |
} |
|
488 |
} |
|
489 |
||
490 |
// Handle the back branch event. Notice that we can compile the method |
|
491 |
// with a regular entry from here. |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
33160
diff
changeset
|
492 |
void AdvancedThresholdPolicy::method_back_branch_event(const methodHandle& mh, const methodHandle& imh, |
11572
84afef481892
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
11424
diff
changeset
|
493 |
int bci, CompLevel level, nmethod* nm, JavaThread* thread) { |
8667 | 494 |
if (should_create_mdo(mh(), level)) { |
11572
84afef481892
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
11424
diff
changeset
|
495 |
create_mdo(mh, thread); |
8667 | 496 |
} |
10014
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
497 |
// Check if MDO should be created for the inlined method |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
498 |
if (should_create_mdo(imh(), level)) { |
11572
84afef481892
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
11424
diff
changeset
|
499 |
create_mdo(imh, thread); |
10014
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
500 |
} |
8667 | 501 |
|
10014
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
502 |
if (is_compilation_enabled()) { |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
503 |
CompLevel next_osr_level = loop_event(imh(), level); |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
504 |
CompLevel max_osr_level = (CompLevel)imh->highest_osr_comp_level(); |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
505 |
// At the very least compile the OSR version |
24321
621f7e09fc0a
8040798: compiler/startup/SmallCodeCacheStartup.java timed out in RT_Baseline
anoll
parents:
24013
diff
changeset
|
506 |
if (!CompileBroker::compilation_is_in_queue(imh) && (next_osr_level != level)) { |
11572
84afef481892
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
11424
diff
changeset
|
507 |
compile(imh, bci, next_osr_level, thread); |
8667 | 508 |
} |
509 |
||
10014
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
510 |
// Use loop event as an opportunity to also check if there's been |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
511 |
// enough calls. |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
512 |
CompLevel cur_level, next_level; |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
513 |
if (mh() != imh()) { // If there is an enclosing method |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
514 |
guarantee(nm != NULL, "Should have nmethod here"); |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
515 |
cur_level = comp_level(mh()); |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
516 |
next_level = call_event(mh(), cur_level); |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
517 |
|
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
518 |
if (max_osr_level == CompLevel_full_optimization) { |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
519 |
// The inlinee OSRed to full opt, we need to modify the enclosing method to avoid deopts |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
520 |
bool make_not_entrant = false; |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
521 |
if (nm->is_osr_method()) { |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
522 |
// This is an osr method, just make it not entrant and recompile later if needed |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
523 |
make_not_entrant = true; |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
524 |
} else { |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
525 |
if (next_level != CompLevel_full_optimization) { |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
526 |
// next_level is not full opt, so we need to recompile the |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
527 |
// enclosing method without the inlinee |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
528 |
cur_level = CompLevel_none; |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
529 |
make_not_entrant = true; |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
530 |
} |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
531 |
} |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
532 |
if (make_not_entrant) { |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
533 |
if (PrintTieredEvents) { |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
534 |
int osr_bci = nm->is_osr_method() ? nm->osr_entry_bci() : InvocationEntryBci; |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
535 |
print_event(MAKE_NOT_ENTRANT, mh(), mh(), osr_bci, level); |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
536 |
} |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
537 |
nm->make_not_entrant(); |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
538 |
} |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
539 |
} |
24321
621f7e09fc0a
8040798: compiler/startup/SmallCodeCacheStartup.java timed out in RT_Baseline
anoll
parents:
24013
diff
changeset
|
540 |
if (!CompileBroker::compilation_is_in_queue(mh)) { |
10014
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
541 |
// Fix up next_level if necessary to avoid deopts |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
542 |
if (next_level == CompLevel_limited_profile && max_osr_level == CompLevel_full_profile) { |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
543 |
next_level = CompLevel_full_profile; |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
544 |
} |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
545 |
if (cur_level != next_level) { |
11572
84afef481892
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
11424
diff
changeset
|
546 |
compile(mh, InvocationEntryBci, next_level, thread); |
10014
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
547 |
} |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
548 |
} |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
549 |
} else { |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
550 |
cur_level = comp_level(imh()); |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
551 |
next_level = call_event(imh(), cur_level); |
24321
621f7e09fc0a
8040798: compiler/startup/SmallCodeCacheStartup.java timed out in RT_Baseline
anoll
parents:
24013
diff
changeset
|
552 |
if (!CompileBroker::compilation_is_in_queue(imh) && (next_level != cur_level)) { |
11572
84afef481892
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
11424
diff
changeset
|
553 |
compile(imh, InvocationEntryBci, next_level, thread); |
10014
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10013
diff
changeset
|
554 |
} |
8667 | 555 |
} |
556 |
} |
|
557 |
} |
|
558 |
||
559 |
#endif // TIERED |