Mercurial > hg > graal-jvmci-8
annotate src/share/vm/runtime/advancedThresholdPolicy.cpp @ 24234:ea6f94ab283b default tip
Added tag jvmci-0.36 for changeset 8128b98d4736
| author | Gilles Duboscq <gilles.m.duboscq@oracle.com> |
|---|---|
| date | Mon, 18 Sep 2017 18:49:45 +0200 |
| parents | 3ef45d0a6d77 |
| children |
| 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" | |
|
23404
3ef45d0a6d77
Remove jvmci VM configuration, and backport UseJVMCICompiler flag.
Roland Schatz <roland.schatz@oracle.com>
parents:
23379
diff
changeset
|
28 #if INCLUDE_JVMCI |
|
23379
24505bf61633
allow JVMCI compiler to change the compilation policy for a method (JDK-8152311)
Doug Simon <doug.simon@oracle.com>
parents:
22762
diff
changeset
|
29 #include "jvmci/jvmciRuntime.hpp" |
|
24505bf61633
allow JVMCI compiler to change the compilation policy for a method (JDK-8152311)
Doug Simon <doug.simon@oracle.com>
parents:
22762
diff
changeset
|
30 #endif |
| 2348 | 31 |
| 32 #ifdef TIERED | |
| 33 // Print an event. | |
| 34 void AdvancedThresholdPolicy::print_specific(EventType type, methodHandle mh, methodHandle imh, | |
| 35 int bci, CompLevel level) { | |
|
6800
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
36 tty->print(" rate="); |
| 2348 | 37 if (mh->prev_time() == 0) tty->print("n/a"); |
| 38 else tty->print("%f", mh->rate()); | |
| 39 | |
|
6800
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
40 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
|
41 threshold_scale(CompLevel_full_optimization, Tier4LoadFeedback)); |
| 2348 | 42 |
| 43 } | |
| 44 | |
| 45 void AdvancedThresholdPolicy::initialize() { | |
| 46 // Turn on ergonomic compiler count selection | |
| 47 if (FLAG_IS_DEFAULT(CICompilerCountPerCPU) && FLAG_IS_DEFAULT(CICompilerCount)) { | |
| 48 FLAG_SET_DEFAULT(CICompilerCountPerCPU, true); | |
| 49 } | |
| 50 int count = CICompilerCount; | |
| 51 if (CICompilerCountPerCPU) { | |
| 52 // Simple log n seems to grow too slowly for tiered, try something faster: log n * log log n | |
| 53 int log_cpu = log2_intptr(os::active_processor_count()); | |
| 54 int loglog_cpu = log2_intptr(MAX2(log_cpu, 1)); | |
| 55 count = MAX2(log_cpu * loglog_cpu, 1) * 3 / 2; | |
| 56 } | |
| 57 | |
| 58 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
|
59 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
|
60 FLAG_SET_ERGO(intx, CICompilerCount, c1_count() + c2_count()); |
| 2348 | 61 |
| 62 // Some inlining tuning | |
| 63 #ifdef X86 | |
| 64 if (FLAG_IS_DEFAULT(InlineSmallCode)) { | |
| 65 FLAG_SET_DEFAULT(InlineSmallCode, 2000); | |
| 66 } | |
| 67 #endif | |
| 68 | |
| 69 #ifdef SPARC | |
| 70 if (FLAG_IS_DEFAULT(InlineSmallCode)) { | |
| 71 FLAG_SET_DEFAULT(InlineSmallCode, 2500); | |
| 72 } | |
| 73 #endif | |
| 74 | |
|
10319
91eba9f82325
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
10105
diff
changeset
|
75 set_increase_threshold_at_ratio(); |
| 2348 | 76 set_start_time(os::javaTimeMillis()); |
| 77 } | |
| 78 | |
| 79 // 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
|
80 void AdvancedThresholdPolicy::update_rate(jlong t, Method* m) { |
|
20465
7301840ea20e
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
17906
diff
changeset
|
81 // Skip update if counters are absent. |
|
7301840ea20e
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
17906
diff
changeset
|
82 // Can't allocate them since we are holding compile queue lock. |
|
7301840ea20e
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
17906
diff
changeset
|
83 if (m->method_counters() == NULL) return; |
|
7301840ea20e
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
17906
diff
changeset
|
84 |
| 2348 | 85 if (is_old(m)) { |
| 86 // We don't remove old methods from the queue, | |
| 87 // so we can just zero the rate. | |
|
20465
7301840ea20e
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
17906
diff
changeset
|
88 m->set_rate(0); |
| 2348 | 89 return; |
| 90 } | |
| 91 | |
| 92 // We don't update the rate if we've just came out of a safepoint. | |
| 93 // delta_s is the time since last safepoint in milliseconds. | |
| 94 jlong delta_s = t - SafepointSynchronize::end_of_last_safepoint(); | |
| 95 jlong delta_t = t - (m->prev_time() != 0 ? m->prev_time() : start_time()); // milliseconds since the last measurement | |
| 96 // How many events were there since the last time? | |
| 97 int event_count = m->invocation_count() + m->backedge_count(); | |
| 98 int delta_e = event_count - m->prev_event_count(); | |
| 99 | |
| 100 // We should be running for at least 1ms. | |
| 101 if (delta_s >= TieredRateUpdateMinTime) { | |
| 102 // And we must've taken the previous point at least 1ms before. | |
| 103 if (delta_t >= TieredRateUpdateMinTime && delta_e > 0) { | |
|
20465
7301840ea20e
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
17906
diff
changeset
|
104 m->set_prev_time(t); |
|
7301840ea20e
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
17906
diff
changeset
|
105 m->set_prev_event_count(event_count); |
|
7301840ea20e
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
17906
diff
changeset
|
106 m->set_rate((float)delta_e / (float)delta_t); // Rate is events per millisecond |
|
7301840ea20e
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
17906
diff
changeset
|
107 } else { |
| 2348 | 108 if (delta_t > TieredRateUpdateMaxTime && delta_e == 0) { |
| 109 // If nothing happened for 25ms, zero the rate. Don't modify prev values. | |
|
20465
7301840ea20e
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
17906
diff
changeset
|
110 m->set_rate(0); |
| 2348 | 111 } |
|
20465
7301840ea20e
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
17906
diff
changeset
|
112 } |
| 2348 | 113 } |
| 114 } | |
| 115 | |
| 116 // Check if this method has been stale from a given number of milliseconds. | |
| 117 // See select_task(). | |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
118 bool AdvancedThresholdPolicy::is_stale(jlong t, jlong timeout, Method* m) { |
| 2348 | 119 jlong delta_s = t - SafepointSynchronize::end_of_last_safepoint(); |
| 120 jlong delta_t = t - m->prev_time(); | |
| 121 if (delta_t > timeout && delta_s > timeout) { | |
| 122 int event_count = m->invocation_count() + m->backedge_count(); | |
| 123 int delta_e = event_count - m->prev_event_count(); | |
| 124 // Return true if there were no events. | |
| 125 return delta_e == 0; | |
| 126 } | |
| 127 return false; | |
| 128 } | |
| 129 | |
| 130 // We don't remove old methods from the compile queue even if they have | |
| 131 // very low activity. See select_task(). | |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
132 bool AdvancedThresholdPolicy::is_old(Method* method) { |
| 2348 | 133 return method->invocation_count() > 50000 || method->backedge_count() > 500000; |
| 134 } | |
| 135 | |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
136 double AdvancedThresholdPolicy::weight(Method* method) { |
| 2348 | 137 return (method->rate() + 1) * ((method->invocation_count() + 1) * (method->backedge_count() + 1)); |
| 138 } | |
| 139 | |
| 140 // 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
|
141 bool AdvancedThresholdPolicy::compare_methods(Method* x, Method* y) { |
| 2348 | 142 if (x->highest_comp_level() > y->highest_comp_level()) { |
| 143 // recompilation after deopt | |
| 144 return true; | |
| 145 } else | |
| 146 if (x->highest_comp_level() == y->highest_comp_level()) { | |
| 147 if (weight(x) > weight(y)) { | |
| 148 return true; | |
| 149 } | |
| 150 } | |
| 151 return false; | |
| 152 } | |
| 153 | |
| 154 // Is method profiled enough? | |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
155 bool AdvancedThresholdPolicy::is_method_profiled(Method* method) { |
|
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
156 MethodData* mdo = method->method_data(); |
| 2348 | 157 if (mdo != NULL) { |
| 158 int i = mdo->invocation_count_delta(); | |
| 159 int b = mdo->backedge_count_delta(); | |
| 160 return call_predicate_helper<CompLevel_full_profile>(i, b, 1); | |
| 161 } | |
| 162 return false; | |
| 163 } | |
| 164 | |
| 165 // Called with the queue locked and with at least one element | |
| 166 CompileTask* AdvancedThresholdPolicy::select_task(CompileQueue* compile_queue) { | |
|
22762
9d78d44d3aac
improved JVMCI support for blocking compilation (GRAAL-1387)
Doug Simon <doug.simon@oracle.com>
parents:
22575
diff
changeset
|
167 CompileTask *max_blocking_task = NULL; |
| 2348 | 168 CompileTask *max_task = NULL; |
|
6831
d8ce2825b193
8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents:
6800
diff
changeset
|
169 Method* max_method = NULL; |
| 2348 | 170 jlong t = os::javaTimeMillis(); |
| 171 // Iterate through the queue and find a method with a maximum rate. | |
| 172 for (CompileTask* task = compile_queue->first(); task != NULL;) { | |
| 173 CompileTask* next_task = task->next(); | |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
174 Method* method = task->method(); |
|
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
175 update_rate(t, method); |
| 2348 | 176 if (max_task == NULL) { |
| 177 max_task = task; | |
| 178 max_method = method; | |
| 179 } else { | |
| 180 // 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
|
181 if (is_stale(t, TieredCompileTaskTimeout, method) && !is_old(method)) { |
| 2348 | 182 if (PrintTieredEvents) { |
|
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
183 print_event(REMOVE_FROM_QUEUE, method, method, task->osr_bci(), (CompLevel)task->comp_level()); |
| 2348 | 184 } |
|
19943
5119e7f07d93
Log dequeue of methods from CompileQueue
Tom Rodriguez <tom.rodriguez@oracle.com>
parents:
18041
diff
changeset
|
185 task->log_task_dequeued("stale"); |
|
20465
7301840ea20e
8023461: Thread holding lock at safepoint that vm can block on: MethodCompileQueue_lock
vlivanov
parents:
17906
diff
changeset
|
186 compile_queue->remove_and_mark_stale(task); |
| 2348 | 187 method->clear_queued_for_compilation(); |
| 188 task = next_task; | |
| 189 continue; | |
| 190 } | |
| 191 | |
| 192 // Select a method with a higher rate | |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
193 if (compare_methods(method, max_method)) { |
| 2348 | 194 max_task = task; |
| 195 max_method = method; | |
| 196 } | |
| 197 } | |
|
22762
9d78d44d3aac
improved JVMCI support for blocking compilation (GRAAL-1387)
Doug Simon <doug.simon@oracle.com>
parents:
22575
diff
changeset
|
198 if (task->is_blocking()) { |
|
9d78d44d3aac
improved JVMCI support for blocking compilation (GRAAL-1387)
Doug Simon <doug.simon@oracle.com>
parents:
22575
diff
changeset
|
199 if (max_blocking_task == NULL || compare_methods(method, max_blocking_task->method())) { |
|
9d78d44d3aac
improved JVMCI support for blocking compilation (GRAAL-1387)
Doug Simon <doug.simon@oracle.com>
parents:
22575
diff
changeset
|
200 max_blocking_task = task; |
|
9d78d44d3aac
improved JVMCI support for blocking compilation (GRAAL-1387)
Doug Simon <doug.simon@oracle.com>
parents:
22575
diff
changeset
|
201 } |
|
9d78d44d3aac
improved JVMCI support for blocking compilation (GRAAL-1387)
Doug Simon <doug.simon@oracle.com>
parents:
22575
diff
changeset
|
202 } |
| 2348 | 203 task = next_task; |
| 204 } | |
| 205 | |
|
22762
9d78d44d3aac
improved JVMCI support for blocking compilation (GRAAL-1387)
Doug Simon <doug.simon@oracle.com>
parents:
22575
diff
changeset
|
206 if (max_blocking_task != NULL) { |
|
9d78d44d3aac
improved JVMCI support for blocking compilation (GRAAL-1387)
Doug Simon <doug.simon@oracle.com>
parents:
22575
diff
changeset
|
207 // In blocking compilation mode, the CompileBroker will make |
|
9d78d44d3aac
improved JVMCI support for blocking compilation (GRAAL-1387)
Doug Simon <doug.simon@oracle.com>
parents:
22575
diff
changeset
|
208 // compilations submitted by a JVMCI compiler thread non-blocking. These |
|
9d78d44d3aac
improved JVMCI support for blocking compilation (GRAAL-1387)
Doug Simon <doug.simon@oracle.com>
parents:
22575
diff
changeset
|
209 // compilations should be scheduled after all blocking compilations |
|
9d78d44d3aac
improved JVMCI support for blocking compilation (GRAAL-1387)
Doug Simon <doug.simon@oracle.com>
parents:
22575
diff
changeset
|
210 // to service non-compiler related compilations sooner and reduce the |
|
9d78d44d3aac
improved JVMCI support for blocking compilation (GRAAL-1387)
Doug Simon <doug.simon@oracle.com>
parents:
22575
diff
changeset
|
211 // chance of such compilations timing out. |
|
9d78d44d3aac
improved JVMCI support for blocking compilation (GRAAL-1387)
Doug Simon <doug.simon@oracle.com>
parents:
22575
diff
changeset
|
212 max_task = max_blocking_task; |
|
9d78d44d3aac
improved JVMCI support for blocking compilation (GRAAL-1387)
Doug Simon <doug.simon@oracle.com>
parents:
22575
diff
changeset
|
213 max_method = max_task->method(); |
|
9d78d44d3aac
improved JVMCI support for blocking compilation (GRAAL-1387)
Doug Simon <doug.simon@oracle.com>
parents:
22575
diff
changeset
|
214 } |
|
9d78d44d3aac
improved JVMCI support for blocking compilation (GRAAL-1387)
Doug Simon <doug.simon@oracle.com>
parents:
22575
diff
changeset
|
215 |
|
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
216 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
|
217 && is_method_profiled(max_method)) { |
| 2348 | 218 max_task->set_comp_level(CompLevel_limited_profile); |
| 219 if (PrintTieredEvents) { | |
|
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
220 print_event(UPDATE_IN_QUEUE, max_method, max_method, max_task->osr_bci(), (CompLevel)max_task->comp_level()); |
| 2348 | 221 } |
| 222 } | |
| 223 | |
| 224 return max_task; | |
| 225 } | |
| 226 | |
| 227 double AdvancedThresholdPolicy::threshold_scale(CompLevel level, int feedback_k) { | |
| 228 double queue_size = CompileBroker::queue_size(level); | |
| 229 int comp_count = compiler_count(level); | |
| 230 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
|
231 |
|
91eba9f82325
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
10105
diff
changeset
|
232 // 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
|
233 // than specified by IncreaseFirstTierCompileThresholdAt percentage. |
|
91eba9f82325
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
10105
diff
changeset
|
234 // 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
|
235 // 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
|
236 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
|
237 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
|
238 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
|
239 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
|
240 } |
|
91eba9f82325
8012371: Adjust Tiered compile threshold according to available space in code cache
anoll
parents:
10105
diff
changeset
|
241 } |
| 2348 | 242 return k; |
| 243 } | |
| 244 | |
| 245 // Call and loop predicates determine whether a transition to a higher | |
| 246 // compilation level should be performed (pointers to predicate functions | |
| 247 // are passed to common()). | |
| 248 // Tier?LoadFeedback is basically a coefficient that determines of | |
| 249 // how many methods per compiler thread can be in the queue before | |
| 250 // the threshold values double. | |
| 251 bool AdvancedThresholdPolicy::loop_predicate(int i, int b, CompLevel cur_level) { | |
| 252 switch(cur_level) { | |
| 253 case CompLevel_none: | |
| 254 case CompLevel_limited_profile: { | |
| 255 double k = threshold_scale(CompLevel_full_profile, Tier3LoadFeedback); | |
| 256 return loop_predicate_helper<CompLevel_none>(i, b, k); | |
| 257 } | |
| 258 case CompLevel_full_profile: { | |
| 259 double k = threshold_scale(CompLevel_full_optimization, Tier4LoadFeedback); | |
| 260 return loop_predicate_helper<CompLevel_full_profile>(i, b, k); | |
| 261 } | |
| 262 default: | |
| 263 return true; | |
| 264 } | |
| 265 } | |
| 266 | |
| 267 bool AdvancedThresholdPolicy::call_predicate(int i, int b, CompLevel cur_level) { | |
| 268 switch(cur_level) { | |
| 269 case CompLevel_none: | |
| 270 case CompLevel_limited_profile: { | |
| 271 double k = threshold_scale(CompLevel_full_profile, Tier3LoadFeedback); | |
| 272 return call_predicate_helper<CompLevel_none>(i, b, k); | |
| 273 } | |
| 274 case CompLevel_full_profile: { | |
| 275 double k = threshold_scale(CompLevel_full_optimization, Tier4LoadFeedback); | |
| 276 return call_predicate_helper<CompLevel_full_profile>(i, b, k); | |
| 277 } | |
| 278 default: | |
| 279 return true; | |
| 280 } | |
| 281 } | |
| 282 | |
| 283 // If a method is old enough and is still in the interpreter we would want to | |
| 284 // start profiling without waiting for the compiled method to arrive. | |
| 285 // 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
|
286 bool AdvancedThresholdPolicy::should_create_mdo(Method* method, CompLevel cur_level) { |
| 2348 | 287 if (cur_level == CompLevel_none && |
| 288 CompileBroker::queue_size(CompLevel_full_optimization) <= | |
| 289 Tier3DelayOn * compiler_count(CompLevel_full_optimization)) { | |
| 290 int i = method->invocation_count(); | |
| 291 int b = method->backedge_count(); | |
| 292 double k = Tier0ProfilingStartPercentage / 100.0; | |
| 293 return call_predicate_helper<CompLevel_none>(i, b, k) || loop_predicate_helper<CompLevel_none>(i, b, k); | |
| 294 } | |
| 295 return false; | |
| 296 } | |
| 297 | |
|
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
298 // 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
|
299 // 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
|
300 bool AdvancedThresholdPolicy::should_not_inline(ciEnv* env, ciMethod* callee) { |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
301 CompLevel comp_level = (CompLevel)env->comp_level(); |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
302 if (comp_level == CompLevel_full_profile || |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
303 comp_level == CompLevel_limited_profile) { |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
304 return callee->highest_osr_comp_level() == CompLevel_full_optimization; |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
305 } |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
306 return false; |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
307 } |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
308 |
| 2348 | 309 // Create MDO if necessary. |
|
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
310 void AdvancedThresholdPolicy::create_mdo(methodHandle mh, JavaThread* THREAD) { |
| 2348 | 311 if (mh->is_native() || mh->is_abstract() || mh->is_accessor()) return; |
| 312 if (mh->method_data() == NULL) { | |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
313 Method::build_interpreter_method_data(mh, CHECK_AND_CLEAR); |
| 2348 | 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. | |
| 332 * This case occures when the load on C2 is deemed too high. So, instead of transitioning | |
| 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 | |
|
20651
600c44255e5f
8056071: compiler/whitebox/IsMethodCompilableTest.java fails with 'method() is not compilable after 3 iterations'
thartmann
parents:
20588
diff
changeset
|
339 * of the method to 2 while the request is still in-queue, because it'll allow it to run much faster |
|
600c44255e5f
8056071: compiler/whitebox/IsMethodCompilableTest.java fails with 'method() is not compilable after 3 iterations'
thartmann
parents:
20588
diff
changeset
|
340 * without full profiling while c2 is compiling. |
| 2348 | 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. | |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
357 CompLevel AdvancedThresholdPolicy::common(Predicate p, Method* method, CompLevel cur_level, bool disable_feedback) { |
| 2348 | 358 CompLevel next_level = cur_level; |
| 359 int i = method->invocation_count(); | |
| 360 int b = method->backedge_count(); | |
| 361 | |
|
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
362 if (is_trivial(method)) { |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
363 next_level = CompLevel_simple; |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
364 } else { |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
365 switch(cur_level) { |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
366 case CompLevel_none: |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
367 // 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
|
368 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
|
369 next_level = CompLevel_full_optimization; |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
370 } else if ((this->*p)(i, b, cur_level)) { |
|
23404
3ef45d0a6d77
Remove jvmci VM configuration, and backport UseJVMCICompiler flag.
Roland Schatz <roland.schatz@oracle.com>
parents:
23379
diff
changeset
|
371 #if INCLUDE_JVMCI |
|
3ef45d0a6d77
Remove jvmci VM configuration, and backport UseJVMCICompiler flag.
Roland Schatz <roland.schatz@oracle.com>
parents:
23379
diff
changeset
|
372 if (UseJVMCICompiler) { |
|
3ef45d0a6d77
Remove jvmci VM configuration, and backport UseJVMCICompiler flag.
Roland Schatz <roland.schatz@oracle.com>
parents:
23379
diff
changeset
|
373 // Since JVMCI takes a while to warm up, its queue inevitably backs up during |
|
3ef45d0a6d77
Remove jvmci VM configuration, and backport UseJVMCICompiler flag.
Roland Schatz <roland.schatz@oracle.com>
parents:
23379
diff
changeset
|
374 // early VM execution. |
|
3ef45d0a6d77
Remove jvmci VM configuration, and backport UseJVMCICompiler flag.
Roland Schatz <roland.schatz@oracle.com>
parents:
23379
diff
changeset
|
375 next_level = CompLevel_full_profile; |
|
3ef45d0a6d77
Remove jvmci VM configuration, and backport UseJVMCICompiler flag.
Roland Schatz <roland.schatz@oracle.com>
parents:
23379
diff
changeset
|
376 break; |
|
3ef45d0a6d77
Remove jvmci VM configuration, and backport UseJVMCICompiler flag.
Roland Schatz <roland.schatz@oracle.com>
parents:
23379
diff
changeset
|
377 } |
|
3ef45d0a6d77
Remove jvmci VM configuration, and backport UseJVMCICompiler flag.
Roland Schatz <roland.schatz@oracle.com>
parents:
23379
diff
changeset
|
378 #endif |
|
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
379 // 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
|
380 // 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
|
381 // 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
|
382 // 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
|
383 // 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
|
384 // 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
|
385 // when the load on C2 goes down. |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
386 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
|
387 Tier3DelayOn * compiler_count(CompLevel_full_optimization)) { |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
388 next_level = CompLevel_limited_profile; |
| 2348 | 389 } else { |
|
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
390 next_level = CompLevel_full_profile; |
| 2348 | 391 } |
| 392 } | |
|
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
393 break; |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
394 case CompLevel_limited_profile: |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
395 if (is_method_profiled(method)) { |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
396 // 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
|
397 next_level = CompLevel_full_optimization; |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
398 } else { |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
399 MethodData* mdo = method->method_data(); |
|
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
400 if (mdo != NULL) { |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
401 if (mdo->would_profile()) { |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
402 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
|
403 Tier3DelayOff * compiler_count(CompLevel_full_optimization) && |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
404 (this->*p)(i, b, cur_level))) { |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
405 next_level = CompLevel_full_profile; |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
406 } |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
407 } else { |
| 2348 | 408 next_level = CompLevel_full_optimization; |
| 409 } | |
| 410 } | |
| 411 } | |
|
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
412 break; |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
413 case CompLevel_full_profile: |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
414 { |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
415 MethodData* mdo = method->method_data(); |
|
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
416 if (mdo != NULL) { |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
417 if (mdo->would_profile()) { |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
418 int mdo_i = mdo->invocation_count_delta(); |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
419 int mdo_b = mdo->backedge_count_delta(); |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
420 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
|
421 next_level = CompLevel_full_optimization; |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
422 } |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
423 } else { |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
424 next_level = CompLevel_full_optimization; |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
425 } |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
426 } |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
427 } |
|
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
428 break; |
| 2348 | 429 } |
| 430 } | |
|
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
431 return MIN2(next_level, (CompLevel)TieredStopAtLevel); |
| 2348 | 432 } |
| 433 | |
| 434 // Determine if a method should be compiled with a normal entry point at a different level. | |
|
23379
24505bf61633
allow JVMCI compiler to change the compilation policy for a method (JDK-8152311)
Doug Simon <doug.simon@oracle.com>
parents:
22762
diff
changeset
|
435 CompLevel AdvancedThresholdPolicy::call_event(Method* method, CompLevel cur_level, JavaThread * thread) { |
|
3790
6f6e91603a45
7058689: Tiered: Reprofiling doesn't happen in presence of level 4 OSR methods
iveresov
parents:
3358
diff
changeset
|
436 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
|
437 common(&AdvancedThresholdPolicy::loop_predicate, method, cur_level, true)); |
| 2348 | 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) { | |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
444 MethodData* mdo = method->method_data(); |
| 2348 | 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 } | |
|
23404
3ef45d0a6d77
Remove jvmci VM configuration, and backport UseJVMCICompiler flag.
Roland Schatz <roland.schatz@oracle.com>
parents:
23379
diff
changeset
|
452 #if INCLUDE_JVMCI |
|
3ef45d0a6d77
Remove jvmci VM configuration, and backport UseJVMCICompiler flag.
Roland Schatz <roland.schatz@oracle.com>
parents:
23379
diff
changeset
|
453 if (UseJVMCICompiler) { |
|
3ef45d0a6d77
Remove jvmci VM configuration, and backport UseJVMCICompiler flag.
Roland Schatz <roland.schatz@oracle.com>
parents:
23379
diff
changeset
|
454 next_level = JVMCIRuntime::adjust_comp_level(method, false, next_level, thread); |
|
3ef45d0a6d77
Remove jvmci VM configuration, and backport UseJVMCICompiler flag.
Roland Schatz <roland.schatz@oracle.com>
parents:
23379
diff
changeset
|
455 } |
|
3ef45d0a6d77
Remove jvmci VM configuration, and backport UseJVMCICompiler flag.
Roland Schatz <roland.schatz@oracle.com>
parents:
23379
diff
changeset
|
456 #endif |
| 2348 | 457 return next_level; |
| 458 } | |
| 459 | |
| 460 // Determine if we should do an OSR compilation of a given method. | |
|
23379
24505bf61633
allow JVMCI compiler to change the compilation policy for a method (JDK-8152311)
Doug Simon <doug.simon@oracle.com>
parents:
22762
diff
changeset
|
461 CompLevel AdvancedThresholdPolicy::loop_event(Method* method, CompLevel cur_level, JavaThread * thread) { |
|
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
462 CompLevel next_level = common(&AdvancedThresholdPolicy::loop_predicate, method, cur_level, true); |
| 2348 | 463 if (cur_level == CompLevel_none) { |
| 464 // If there is a live OSR method that means that we deopted to the interpreter | |
| 465 // for the transition. | |
|
3790
6f6e91603a45
7058689: Tiered: Reprofiling doesn't happen in presence of level 4 OSR methods
iveresov
parents:
3358
diff
changeset
|
466 CompLevel osr_level = MIN2((CompLevel)method->highest_osr_comp_level(), next_level); |
| 2348 | 467 if (osr_level > CompLevel_none) { |
| 468 return osr_level; | |
| 469 } | |
| 470 } | |
|
23404
3ef45d0a6d77
Remove jvmci VM configuration, and backport UseJVMCICompiler flag.
Roland Schatz <roland.schatz@oracle.com>
parents:
23379
diff
changeset
|
471 #if INCLUDE_JVMCI |
|
3ef45d0a6d77
Remove jvmci VM configuration, and backport UseJVMCICompiler flag.
Roland Schatz <roland.schatz@oracle.com>
parents:
23379
diff
changeset
|
472 if (UseJVMCICompiler) { |
|
3ef45d0a6d77
Remove jvmci VM configuration, and backport UseJVMCICompiler flag.
Roland Schatz <roland.schatz@oracle.com>
parents:
23379
diff
changeset
|
473 next_level = JVMCIRuntime::adjust_comp_level(method, true, next_level, thread); |
|
3ef45d0a6d77
Remove jvmci VM configuration, and backport UseJVMCICompiler flag.
Roland Schatz <roland.schatz@oracle.com>
parents:
23379
diff
changeset
|
474 } |
|
3ef45d0a6d77
Remove jvmci VM configuration, and backport UseJVMCICompiler flag.
Roland Schatz <roland.schatz@oracle.com>
parents:
23379
diff
changeset
|
475 #endif |
|
3790
6f6e91603a45
7058689: Tiered: Reprofiling doesn't happen in presence of level 4 OSR methods
iveresov
parents:
3358
diff
changeset
|
476 return next_level; |
| 2348 | 477 } |
| 478 | |
| 479 // Update the rate and submit compile | |
|
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
480 void AdvancedThresholdPolicy::submit_compile(methodHandle mh, int bci, CompLevel level, JavaThread* thread) { |
| 2348 | 481 int hot_count = (bci == InvocationEntryBci) ? mh->invocation_count() : mh->backedge_count(); |
| 482 update_rate(os::javaTimeMillis(), mh()); | |
|
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
483 CompileBroker::compile_method(mh, bci, level, mh, hot_count, "tiered", thread); |
| 2348 | 484 } |
| 485 | |
| 486 // Handle the invocation event. | |
| 487 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
|
488 CompLevel level, nmethod* nm, JavaThread* thread) { |
| 2348 | 489 if (should_create_mdo(mh(), level)) { |
|
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
490 create_mdo(mh, thread); |
| 2348 | 491 } |
|
20588
41dcdd636080
8040798: compiler/startup/SmallCodeCacheStartup.java timed out in RT_Baseline
anoll
parents:
20465
diff
changeset
|
492 if (is_compilation_enabled() && !CompileBroker::compilation_is_in_queue(mh)) { |
|
23379
24505bf61633
allow JVMCI compiler to change the compilation policy for a method (JDK-8152311)
Doug Simon <doug.simon@oracle.com>
parents:
22762
diff
changeset
|
493 CompLevel next_level = call_event(mh(), level, thread); |
| 2348 | 494 if (next_level != level) { |
|
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
495 compile(mh, InvocationEntryBci, next_level, thread); |
| 2348 | 496 } |
| 497 } | |
| 498 } | |
| 499 | |
| 500 // Handle the back branch event. Notice that we can compile the method | |
| 501 // with a regular entry from here. | |
| 502 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
|
503 int bci, CompLevel level, nmethod* nm, JavaThread* thread) { |
| 2348 | 504 if (should_create_mdo(mh(), level)) { |
|
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
505 create_mdo(mh, thread); |
| 2348 | 506 } |
|
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
507 // 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
|
508 if (should_create_mdo(imh(), level)) { |
|
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
509 create_mdo(imh, thread); |
|
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
510 } |
| 2348 | 511 |
|
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
512 if (is_compilation_enabled()) { |
|
23379
24505bf61633
allow JVMCI compiler to change the compilation policy for a method (JDK-8152311)
Doug Simon <doug.simon@oracle.com>
parents:
22762
diff
changeset
|
513 CompLevel next_osr_level = loop_event(imh(), level, thread); |
|
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
514 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
|
515 // At the very least compile the OSR version |
|
20588
41dcdd636080
8040798: compiler/startup/SmallCodeCacheStartup.java timed out in RT_Baseline
anoll
parents:
20465
diff
changeset
|
516 if (!CompileBroker::compilation_is_in_queue(imh) && (next_osr_level != level)) { |
|
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
517 compile(imh, bci, next_osr_level, thread); |
| 2348 | 518 } |
| 519 | |
|
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
520 // 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
|
521 // enough calls. |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
522 CompLevel cur_level, next_level; |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
523 if (mh() != imh()) { // If there is an enclosing method |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
524 guarantee(nm != NULL, "Should have nmethod here"); |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
525 cur_level = comp_level(mh()); |
|
23379
24505bf61633
allow JVMCI compiler to change the compilation policy for a method (JDK-8152311)
Doug Simon <doug.simon@oracle.com>
parents:
22762
diff
changeset
|
526 next_level = call_event(mh(), cur_level, thread); |
|
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
527 |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
528 if (max_osr_level == CompLevel_full_optimization) { |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
529 // 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
|
530 bool make_not_entrant = false; |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
531 if (nm->is_osr_method()) { |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
532 // 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
|
533 make_not_entrant = true; |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
534 } else { |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
535 if (next_level != CompLevel_full_optimization) { |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
536 // 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
|
537 // enclosing method without the inlinee |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
538 cur_level = CompLevel_none; |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
539 make_not_entrant = true; |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
540 } |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
541 } |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
542 if (make_not_entrant) { |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
543 if (PrintTieredEvents) { |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
544 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
|
545 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
|
546 } |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
547 nm->make_not_entrant(); |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
548 } |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
549 } |
|
20588
41dcdd636080
8040798: compiler/startup/SmallCodeCacheStartup.java timed out in RT_Baseline
anoll
parents:
20465
diff
changeset
|
550 if (!CompileBroker::compilation_is_in_queue(mh)) { |
|
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
551 // Fix up next_level if necessary to avoid deopts |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
552 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
|
553 next_level = CompLevel_full_profile; |
|
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 if (cur_level != next_level) { |
|
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
556 compile(mh, InvocationEntryBci, next_level, thread); |
|
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
557 } |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
558 } |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
559 } else { |
|
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
560 cur_level = comp_level(imh()); |
|
23379
24505bf61633
allow JVMCI compiler to change the compilation policy for a method (JDK-8152311)
Doug Simon <doug.simon@oracle.com>
parents:
22762
diff
changeset
|
561 next_level = call_event(imh(), cur_level, thread); |
|
20588
41dcdd636080
8040798: compiler/startup/SmallCodeCacheStartup.java timed out in RT_Baseline
anoll
parents:
20465
diff
changeset
|
562 if (!CompileBroker::compilation_is_in_queue(imh) && (next_level != cur_level)) { |
|
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
4756
diff
changeset
|
563 compile(imh, InvocationEntryBci, next_level, thread); |
|
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
3790
diff
changeset
|
564 } |
| 2348 | 565 } |
| 566 } | |
| 567 } | |
| 568 | |
| 569 #endif // TIERED |