Mercurial > hg > graal-compiler
annotate src/share/vm/runtime/compilationPolicy.cpp @ 7226:8a3efb8c831d
Merge.
author | Christian Haeubl <haeubl@ssw.jku.at> |
---|---|
date | Fri, 14 Dec 2012 13:02:49 +0100 |
parents | fb16d8681ddc 5d0bb7d52783 |
children | bbf97d6688d3 |
rev | line source |
---|---|
0 | 1 /* |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
2 * Copyright (c) 2000, 2012, Oracle and/or its affiliates. All rights reserved. |
0 | 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * | |
5 * This code is free software; you can redistribute it and/or modify it | |
6 * under the terms of the GNU General Public License version 2 only, as | |
7 * published by the Free Software Foundation. | |
8 * | |
9 * This code is distributed in the hope that it will be useful, but WITHOUT | |
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
12 * version 2 for more details (a copy is included in the LICENSE file that | |
13 * accompanied this code). | |
14 * | |
15 * You should have received a copy of the GNU General Public License version | |
16 * 2 along with this work; if not, write to the Free Software Foundation, | |
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
18 * | |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1202
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1202
diff
changeset
|
20 * or visit www.oracle.com if you need additional information or have any |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1202
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
1972 | 25 #include "precompiled.hpp" |
26 #include "code/compiledIC.hpp" | |
27 #include "code/nmethod.hpp" | |
28 #include "code/scopeDesc.hpp" | |
29 #include "compiler/compilerOracle.hpp" | |
30 #include "interpreter/interpreter.hpp" | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
31 #include "oops/methodData.hpp" |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
32 #include "oops/method.hpp" |
1972 | 33 #include "oops/oop.inline.hpp" |
34 #include "prims/nativeLookup.hpp" | |
2348
5d8f5a6dced7
7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
1972
diff
changeset
|
35 #include "runtime/advancedThresholdPolicy.hpp" |
1972 | 36 #include "runtime/compilationPolicy.hpp" |
37 #include "runtime/frame.hpp" | |
38 #include "runtime/handles.inline.hpp" | |
39 #include "runtime/rframe.hpp" | |
40 #include "runtime/simpleThresholdPolicy.hpp" | |
41 #include "runtime/stubRoutines.hpp" | |
42 #include "runtime/thread.hpp" | |
43 #include "runtime/timer.hpp" | |
44 #include "runtime/vframe.hpp" | |
45 #include "runtime/vm_operations.hpp" | |
46 #include "utilities/events.hpp" | |
47 #include "utilities/globalDefinitions.hpp" | |
0 | 48 |
49 CompilationPolicy* CompilationPolicy::_policy; | |
50 elapsedTimer CompilationPolicy::_accumulated_time; | |
51 bool CompilationPolicy::_in_vm_startup; | |
52 | |
53 // Determine compilation policy based on command line argument | |
54 void compilationPolicy_init() { | |
55 CompilationPolicy::set_in_vm_startup(DelayCompilationDuringStartup); | |
56 | |
57 switch(CompilationPolicyChoice) { | |
58 case 0: | |
59 CompilationPolicy::set_policy(new SimpleCompPolicy()); | |
60 break; | |
61 | |
62 case 1: | |
7154
5d0bb7d52783
changes to support Graal co-existing with the other HotSpot compiler(s) and being used for explicit compilation requests and code installation via the Graal API
Doug Simon <doug.simon@oracle.com>
parents:
7125
diff
changeset
|
63 #if defined(COMPILER2) |
0 | 64 CompilationPolicy::set_policy(new StackWalkCompPolicy()); |
65 #else | |
66 Unimplemented(); | |
67 #endif | |
68 break; | |
1783 | 69 case 2: |
70 #ifdef TIERED | |
71 CompilationPolicy::set_policy(new SimpleThresholdPolicy()); | |
72 #else | |
73 Unimplemented(); | |
74 #endif | |
75 break; | |
2348
5d8f5a6dced7
7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
1972
diff
changeset
|
76 case 3: |
5d8f5a6dced7
7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
1972
diff
changeset
|
77 #ifdef TIERED |
5d8f5a6dced7
7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
1972
diff
changeset
|
78 CompilationPolicy::set_policy(new AdvancedThresholdPolicy()); |
5d8f5a6dced7
7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
1972
diff
changeset
|
79 #else |
5d8f5a6dced7
7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
1972
diff
changeset
|
80 Unimplemented(); |
5d8f5a6dced7
7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
1972
diff
changeset
|
81 #endif |
5d8f5a6dced7
7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
1972
diff
changeset
|
82 break; |
5176
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
83 case 4: |
7154
5d0bb7d52783
changes to support Graal co-existing with the other HotSpot compiler(s) and being used for explicit compilation requests and code installation via the Graal API
Doug Simon <doug.simon@oracle.com>
parents:
7125
diff
changeset
|
84 #if defined(GRAALVM) |
5176
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
85 CompilationPolicy::set_policy(new GraalCompPolicy()); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
86 #else |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
87 Unimplemented(); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
88 #endif |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
89 break; |
0 | 90 default: |
5176
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
91 fatal("CompilationPolicyChoice must be in the range: [0-4]"); |
0 | 92 } |
1783 | 93 CompilationPolicy::policy()->initialize(); |
0 | 94 } |
95 | |
96 void CompilationPolicy::completed_vm_startup() { | |
97 if (TraceCompilationPolicy) { | |
98 tty->print("CompilationPolicy: completed vm startup.\n"); | |
99 } | |
100 _in_vm_startup = false; | |
101 } | |
102 | |
103 // Returns true if m must be compiled before executing it | |
104 // This is intended to force compiles for methods (usually for | |
105 // debugging) that would otherwise be interpreted for some reason. | |
1783 | 106 bool CompilationPolicy::must_be_compiled(methodHandle m, int comp_level) { |
6972
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6940
diff
changeset
|
107 // Don't allow Xcomp to cause compiles in replay mode |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6940
diff
changeset
|
108 if (ReplayCompiles) return false; |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6940
diff
changeset
|
109 |
0 | 110 if (m->has_compiled_code()) return false; // already compiled |
1783 | 111 if (!can_be_compiled(m, comp_level)) return false; |
0 | 112 |
113 return !UseInterpreter || // must compile all methods | |
1202 | 114 (UseCompiler && AlwaysCompileLoopMethods && m->has_loops() && CompileBroker::should_compile_new_jobs()); // eagerly compile loop methods |
0 | 115 } |
116 | |
117 // Returns true if m is allowed to be compiled | |
1783 | 118 bool CompilationPolicy::can_be_compiled(methodHandle m, int comp_level) { |
0 | 119 if (m->is_abstract()) return false; |
120 if (DontCompileHugeMethods && m->code_size() > HugeMethodLimit) return false; | |
121 | |
1174
ddb7834449d0
6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents:
0
diff
changeset
|
122 // Math intrinsics should never be compiled as this can lead to |
ddb7834449d0
6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents:
0
diff
changeset
|
123 // monotonicity problems because the interpreter will prefer the |
ddb7834449d0
6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents:
0
diff
changeset
|
124 // compiled code to the intrinsic version. This can't happen in |
ddb7834449d0
6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents:
0
diff
changeset
|
125 // production because the invocation counter can't be incremented |
ddb7834449d0
6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents:
0
diff
changeset
|
126 // but we shouldn't expose the system to this problem in testing |
ddb7834449d0
6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents:
0
diff
changeset
|
127 // modes. |
ddb7834449d0
6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents:
0
diff
changeset
|
128 if (!AbstractInterpreter::can_be_compiled(m)) { |
ddb7834449d0
6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents:
0
diff
changeset
|
129 return false; |
ddb7834449d0
6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents:
0
diff
changeset
|
130 } |
1783 | 131 if (comp_level == CompLevel_all) { |
132 return !m->is_not_compilable(CompLevel_simple) && !m->is_not_compilable(CompLevel_full_optimization); | |
133 } else { | |
134 return !m->is_not_compilable(comp_level); | |
135 } | |
136 } | |
1174
ddb7834449d0
6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents:
0
diff
changeset
|
137 |
1783 | 138 bool CompilationPolicy::is_compilation_enabled() { |
139 // NOTE: CompileBroker::should_compile_new_jobs() checks for UseCompiler | |
140 return !delay_compilation_during_startup() && CompileBroker::should_compile_new_jobs(); | |
0 | 141 } |
142 | |
143 #ifndef PRODUCT | |
144 void CompilationPolicy::print_time() { | |
145 tty->print_cr ("Accumulated compilationPolicy times:"); | |
146 tty->print_cr ("---------------------------"); | |
147 tty->print_cr (" Total: %3.3f sec.", _accumulated_time.seconds()); | |
148 } | |
149 | |
1783 | 150 void NonTieredCompPolicy::trace_osr_completion(nmethod* osr_nm) { |
0 | 151 if (TraceOnStackReplacement) { |
152 if (osr_nm == NULL) tty->print_cr("compilation failed"); | |
153 else tty->print_cr("nmethod " INTPTR_FORMAT, osr_nm); | |
154 } | |
155 } | |
156 #endif // !PRODUCT | |
157 | |
1783 | 158 void NonTieredCompPolicy::initialize() { |
159 // Setup the compiler thread numbers | |
160 if (CICompilerCountPerCPU) { | |
161 // Example: if CICompilerCountPerCPU is true, then we get | |
162 // max(log2(8)-1,1) = 2 compiler threads on an 8-way machine. | |
163 // May help big-app startup time. | |
164 _compiler_count = MAX2(log2_intptr(os::active_processor_count())-1,1); | |
165 } else { | |
166 _compiler_count = CICompilerCount; | |
167 } | |
168 } | |
169 | |
1821
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
170 // Note: this policy is used ONLY if TieredCompilation is off. |
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
171 // compiler_count() behaves the following way: |
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
172 // - with TIERED build (with both COMPILER1 and COMPILER2 defined) it should return |
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
173 // zero for the c1 compilation levels, hence the particular ordering of the |
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
174 // statements. |
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
175 // - the same should happen when COMPILER2 is defined and COMPILER1 is not |
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
176 // (server build without TIERED defined). |
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
177 // - if only COMPILER1 is defined (client build), zero should be returned for |
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
178 // the c2 level. |
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
179 // - if neither is defined - always return zero. |
1783 | 180 int NonTieredCompPolicy::compiler_count(CompLevel comp_level) { |
1821
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
181 assert(!TieredCompilation, "This policy should not be used with TieredCompilation"); |
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
182 #ifdef COMPILER2 |
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
183 if (is_c2_compile(comp_level)) { |
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
184 return _compiler_count; |
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
185 } else { |
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
186 return 0; |
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
187 } |
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
188 #endif |
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
189 |
1783 | 190 #ifdef COMPILER1 |
7154
5d0bb7d52783
changes to support Graal co-existing with the other HotSpot compiler(s) and being used for explicit compilation requests and code installation via the Graal API
Doug Simon <doug.simon@oracle.com>
parents:
7125
diff
changeset
|
191 GRAALVM_ONLY(ShouldNotReachHere();) |
1783 | 192 if (is_c1_compile(comp_level)) { |
193 return _compiler_count; | |
1821
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
194 } else { |
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
195 return 0; |
1783 | 196 } |
197 #endif | |
198 | |
199 return 0; | |
200 } | |
201 | |
202 void NonTieredCompPolicy::reset_counter_for_invocation_event(methodHandle m) { | |
0 | 203 // Make sure invocation and backedge counter doesn't overflow again right away |
204 // as would be the case for native methods. | |
205 | |
206 // BUT also make sure the method doesn't look like it was never executed. | |
207 // Set carry bit and reduce counter's value to min(count, CompileThreshold/2). | |
208 m->invocation_counter()->set_carry(); | |
209 m->backedge_counter()->set_carry(); | |
210 | |
211 assert(!m->was_never_executed(), "don't reset to 0 -- could be mistaken for never-executed"); | |
212 } | |
213 | |
1783 | 214 void NonTieredCompPolicy::reset_counter_for_back_branch_event(methodHandle m) { |
6674
fd71ca8c5f88
VM infrstructure for OnStackReplacement
Lukas Stadler <lukas.stadler@jku.at>
parents:
5263
diff
changeset
|
215 // GRAAL_ONLY(assert(false, "unexpected")); |
0 | 216 // Delay next back-branch event but pump up invocation counter to triger |
217 // whole method compilation. | |
218 InvocationCounter* i = m->invocation_counter(); | |
219 InvocationCounter* b = m->backedge_counter(); | |
220 | |
221 // Don't set invocation_counter's value too low otherwise the method will | |
222 // look like immature (ic < ~5300) which prevents the inlining based on | |
223 // the type profiling. | |
224 i->set(i->state(), CompileThreshold); | |
225 // Don't reset counter too low - it is used to check if OSR method is ready. | |
226 b->set(b->state(), CompileThreshold / 2); | |
227 } | |
228 | |
1783 | 229 // |
230 // CounterDecay | |
231 // | |
232 // Interates through invocation counters and decrements them. This | |
233 // is done at each safepoint. | |
234 // | |
235 class CounterDecay : public AllStatic { | |
236 static jlong _last_timestamp; | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
237 static void do_method(Method* m) { |
1783 | 238 m->invocation_counter()->decay(); |
239 } | |
240 public: | |
241 static void decay(); | |
242 static bool is_decay_needed() { | |
243 return (os::javaTimeMillis() - _last_timestamp) > CounterDecayMinIntervalLength; | |
244 } | |
245 }; | |
246 | |
247 jlong CounterDecay::_last_timestamp = 0; | |
248 | |
249 void CounterDecay::decay() { | |
250 _last_timestamp = os::javaTimeMillis(); | |
251 | |
252 // This operation is going to be performed only at the end of a safepoint | |
253 // and hence GC's will not be going on, all Java mutators are suspended | |
254 // at this point and hence SystemDictionary_lock is also not needed. | |
255 assert(SafepointSynchronize::is_at_safepoint(), "can only be executed at a safepoint"); | |
256 int nclasses = SystemDictionary::number_of_classes(); | |
257 double classes_per_tick = nclasses * (CounterDecayMinIntervalLength * 1e-3 / | |
258 CounterHalfLifeTime); | |
259 for (int i = 0; i < classes_per_tick; i++) { | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
260 Klass* k = SystemDictionary::try_get_next_class(); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
261 if (k != NULL && k->oop_is_instance()) { |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
262 InstanceKlass::cast(k)->methods_do(do_method); |
1783 | 263 } |
264 } | |
265 } | |
266 | |
267 // Called at the end of the safepoint | |
268 void NonTieredCompPolicy::do_safepoint_work() { | |
269 if(UseCounterDecay && CounterDecay::is_decay_needed()) { | |
270 CounterDecay::decay(); | |
271 } | |
272 } | |
273 | |
274 void NonTieredCompPolicy::reprofile(ScopeDesc* trap_scope, bool is_osr) { | |
275 ScopeDesc* sd = trap_scope; | |
276 for (; !sd->is_top(); sd = sd->sender()) { | |
277 // Reset ICs of inlined methods, since they can trigger compilations also. | |
278 sd->method()->invocation_counter()->reset(); | |
279 } | |
280 InvocationCounter* c = sd->method()->invocation_counter(); | |
281 if (is_osr) { | |
282 // It was an OSR method, so bump the count higher. | |
283 c->set(c->state(), CompileThreshold); | |
284 } else { | |
285 c->reset(); | |
286 } | |
287 sd->method()->backedge_counter()->reset(); | |
288 } | |
289 | |
290 // This method can be called by any component of the runtime to notify the policy | |
291 // that it's recommended to delay the complation of this method. | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
292 void NonTieredCompPolicy::delay_compilation(Method* method) { |
1783 | 293 method->invocation_counter()->decay(); |
294 method->backedge_counter()->decay(); | |
295 } | |
296 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
297 void NonTieredCompPolicy::disable_compilation(Method* method) { |
1783 | 298 method->invocation_counter()->set_state(InvocationCounter::wait_for_nothing); |
299 method->backedge_counter()->set_state(InvocationCounter::wait_for_nothing); | |
300 } | |
301 | |
302 CompileTask* NonTieredCompPolicy::select_task(CompileQueue* compile_queue) { | |
303 return compile_queue->first(); | |
304 } | |
305 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
306 bool NonTieredCompPolicy::is_mature(Method* method) { |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
307 MethodData* mdo = method->method_data(); |
1783 | 308 assert(mdo != NULL, "Should be"); |
309 uint current = mdo->mileage_of(method); | |
310 uint initial = mdo->creation_mileage(); | |
311 if (current < initial) | |
312 return true; // some sort of overflow | |
313 uint target; | |
314 if (ProfileMaturityPercentage <= 0) | |
315 target = (uint) -ProfileMaturityPercentage; // absolute value | |
316 else | |
317 target = (uint)( (ProfileMaturityPercentage * CompileThreshold) / 100 ); | |
318 return (current >= initial + target); | |
319 } | |
320 | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
321 nmethod* NonTieredCompPolicy::event(methodHandle method, methodHandle inlinee, int branch_bci, |
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
322 int bci, CompLevel comp_level, nmethod* nm, JavaThread* thread) { |
1783 | 323 assert(comp_level == CompLevel_none, "This should be only called from the interpreter"); |
324 NOT_PRODUCT(trace_frequency_counter_overflow(method, branch_bci, bci)); | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
325 if (JvmtiExport::can_post_interpreter_events() && thread->is_interp_only_mode()) { |
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
326 // If certain JVMTI events (e.g. frame pop event) are requested then the |
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
327 // thread is forced to remain in interpreted code. This is |
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
328 // implemented partly by a check in the run_compiled_code |
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
329 // section of the interpreter whether we should skip running |
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
330 // compiled code, and partly by skipping OSR compiles for |
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
331 // interpreted-only threads. |
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
332 if (bci != InvocationEntryBci) { |
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
333 reset_counter_for_back_branch_event(method); |
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
334 return NULL; |
1783 | 335 } |
336 } | |
6972
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6940
diff
changeset
|
337 if (CompileTheWorld || ReplayCompiles) { |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6940
diff
changeset
|
338 // Don't trigger other compiles in testing mode |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6940
diff
changeset
|
339 if (bci == InvocationEntryBci) { |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6940
diff
changeset
|
340 reset_counter_for_invocation_event(method); |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6940
diff
changeset
|
341 } else { |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6940
diff
changeset
|
342 reset_counter_for_back_branch_event(method); |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6940
diff
changeset
|
343 } |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6940
diff
changeset
|
344 return NULL; |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6940
diff
changeset
|
345 } |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6940
diff
changeset
|
346 |
1783 | 347 if (bci == InvocationEntryBci) { |
348 // when code cache is full, compilation gets switched off, UseCompiler | |
349 // is set to false | |
350 if (!method->has_compiled_code() && UseCompiler) { | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
351 method_invocation_event(method, thread); |
1783 | 352 } else { |
353 // Force counter overflow on method entry, even if no compilation | |
354 // happened. (The method_invocation_event call does this also.) | |
355 reset_counter_for_invocation_event(method); | |
356 } | |
357 // compilation at an invocation overflow no longer goes and retries test for | |
358 // compiled method. We always run the loser of the race as interpreted. | |
359 // so return NULL | |
360 return NULL; | |
361 } else { | |
362 // counter overflow in a loop => try to do on-stack-replacement | |
363 nmethod* osr_nm = method->lookup_osr_nmethod_for(bci, CompLevel_highest_tier, true); | |
364 NOT_PRODUCT(trace_osr_request(method, osr_nm, bci)); | |
365 // when code cache is full, we should not compile any more... | |
366 if (osr_nm == NULL && UseCompiler) { | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
367 method_back_branch_event(method, bci, thread); |
1783 | 368 osr_nm = method->lookup_osr_nmethod_for(bci, CompLevel_highest_tier, true); |
369 } | |
370 if (osr_nm == NULL) { | |
371 reset_counter_for_back_branch_event(method); | |
372 return NULL; | |
373 } | |
374 return osr_nm; | |
375 } | |
376 return NULL; | |
377 } | |
378 | |
379 #ifndef PRODUCT | |
380 void NonTieredCompPolicy::trace_frequency_counter_overflow(methodHandle m, int branch_bci, int bci) { | |
381 if (TraceInvocationCounterOverflow) { | |
382 InvocationCounter* ic = m->invocation_counter(); | |
383 InvocationCounter* bc = m->backedge_counter(); | |
384 ResourceMark rm; | |
385 const char* msg = | |
386 bci == InvocationEntryBci | |
387 ? "comp-policy cntr ovfl @ %d in entry of " | |
388 : "comp-policy cntr ovfl @ %d in loop of "; | |
389 tty->print(msg, bci); | |
390 m->print_value(); | |
391 tty->cr(); | |
392 ic->print(); | |
393 bc->print(); | |
394 if (ProfileInterpreter) { | |
395 if (bci != InvocationEntryBci) { | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
396 MethodData* mdo = m->method_data(); |
1783 | 397 if (mdo != NULL) { |
398 int count = mdo->bci_to_data(branch_bci)->as_JumpData()->taken(); | |
399 tty->print_cr("back branch count = %d", count); | |
400 } | |
401 } | |
402 } | |
403 } | |
404 } | |
405 | |
406 void NonTieredCompPolicy::trace_osr_request(methodHandle method, nmethod* osr, int bci) { | |
407 if (TraceOnStackReplacement) { | |
408 ResourceMark rm; | |
409 tty->print(osr != NULL ? "Reused OSR entry for " : "Requesting OSR entry for "); | |
410 method->print_short_name(tty); | |
411 tty->print_cr(" at bci %d", bci); | |
412 } | |
413 } | |
414 #endif // !PRODUCT | |
415 | |
0 | 416 // SimpleCompPolicy - compile current method |
417 | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
418 void SimpleCompPolicy::method_invocation_event(methodHandle m, JavaThread* thread) { |
6800
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
419 const int comp_level = CompLevel_highest_tier; |
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
420 const int hot_count = m->invocation_count(); |
0 | 421 reset_counter_for_invocation_event(m); |
422 const char* comment = "count"; | |
423 | |
1783 | 424 if (is_compilation_enabled() && can_be_compiled(m)) { |
0 | 425 nmethod* nm = m->code(); |
426 if (nm == NULL ) { | |
6800
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
427 CompileBroker::compile_method(m, InvocationEntryBci, comp_level, m, hot_count, comment, thread); |
0 | 428 } |
429 } | |
430 } | |
431 | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
432 void SimpleCompPolicy::method_back_branch_event(methodHandle m, int bci, JavaThread* thread) { |
6800
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
433 const int comp_level = CompLevel_highest_tier; |
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
434 const int hot_count = m->backedge_count(); |
0 | 435 const char* comment = "backedge_count"; |
436 | |
6800
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
437 if (is_compilation_enabled() && !m->is_not_osr_compilable(comp_level) && can_be_compiled(m)) { |
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
438 CompileBroker::compile_method(m, bci, comp_level, m, hot_count, comment, thread); |
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
439 NOT_PRODUCT(trace_osr_completion(m->lookup_osr_nmethod_for(bci, comp_level, true));) |
0 | 440 } |
441 } | |
5176
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
442 |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
443 // GraalCompPolicy - compile current method |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
444 |
7154
5d0bb7d52783
changes to support Graal co-existing with the other HotSpot compiler(s) and being used for explicit compilation requests and code installation via the Graal API
Doug Simon <doug.simon@oracle.com>
parents:
7125
diff
changeset
|
445 #ifdef GRAALVM |
5176
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
446 |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
447 void GraalCompPolicy::method_invocation_event(methodHandle m, JavaThread* thread) { |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
448 int hot_count = m->invocation_count(); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
449 jlong hot_time = m->graal_invocation_time(); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
450 reset_counter_for_invocation_event(m); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
451 |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
452 if (is_compilation_enabled() && can_be_compiled(m)) { |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
453 nmethod* nm = m->code(); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
454 if (nm == NULL) { |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
455 if (hot_count > 1) { |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
456 jlong current_time = os::javaTimeNanos(); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
457 int time_per_call = (int) ((current_time - hot_time) / hot_count); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
458 m->set_graal_invocation_time(current_time); |
5263
d87155082c4d
guard all compilation queue accesses, to avoid deadlocks
Lukas Stadler <lukas.stadler@jku.at>
parents:
5176
diff
changeset
|
459 if (UseNewCode) { |
d87155082c4d
guard all compilation queue accesses, to avoid deadlocks
Lukas Stadler <lukas.stadler@jku.at>
parents:
5176
diff
changeset
|
460 if (m->queued_for_compilation()) { |
d87155082c4d
guard all compilation queue accesses, to avoid deadlocks
Lukas Stadler <lukas.stadler@jku.at>
parents:
5176
diff
changeset
|
461 if (time_per_call < (m->graal_priority() / 5)) { |
d87155082c4d
guard all compilation queue accesses, to avoid deadlocks
Lukas Stadler <lukas.stadler@jku.at>
parents:
5176
diff
changeset
|
462 m->set_graal_priority(time_per_call); |
d87155082c4d
guard all compilation queue accesses, to avoid deadlocks
Lukas Stadler <lukas.stadler@jku.at>
parents:
5176
diff
changeset
|
463 m->clear_queued_for_compilation(); |
d87155082c4d
guard all compilation queue accesses, to avoid deadlocks
Lukas Stadler <lukas.stadler@jku.at>
parents:
5176
diff
changeset
|
464 } |
d87155082c4d
guard all compilation queue accesses, to avoid deadlocks
Lukas Stadler <lukas.stadler@jku.at>
parents:
5176
diff
changeset
|
465 } else { |
d87155082c4d
guard all compilation queue accesses, to avoid deadlocks
Lukas Stadler <lukas.stadler@jku.at>
parents:
5176
diff
changeset
|
466 if (time_per_call < m->graal_priority()) { |
d87155082c4d
guard all compilation queue accesses, to avoid deadlocks
Lukas Stadler <lukas.stadler@jku.at>
parents:
5176
diff
changeset
|
467 m->set_graal_priority(time_per_call); |
d87155082c4d
guard all compilation queue accesses, to avoid deadlocks
Lukas Stadler <lukas.stadler@jku.at>
parents:
5176
diff
changeset
|
468 } |
5176
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
469 } |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
470 } else { |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
471 if (time_per_call < m->graal_priority()) { |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
472 m->set_graal_priority(time_per_call); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
473 } |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
474 } |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
475 } |
7062
8c5333c80cfd
increased CompileThreshold to increase reliability of profiling information
Christian Haeubl <haeubl@ssw.jku.at>
parents:
6674
diff
changeset
|
476 |
5176
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
477 if (!m->queued_for_compilation()) { |
7062
8c5333c80cfd
increased CompileThreshold to increase reliability of profiling information
Christian Haeubl <haeubl@ssw.jku.at>
parents:
6674
diff
changeset
|
478 if (TraceCompilationPolicy) { |
8c5333c80cfd
increased CompileThreshold to increase reliability of profiling information
Christian Haeubl <haeubl@ssw.jku.at>
parents:
6674
diff
changeset
|
479 tty->print("method invocation trigger: "); |
8c5333c80cfd
increased CompileThreshold to increase reliability of profiling information
Christian Haeubl <haeubl@ssw.jku.at>
parents:
6674
diff
changeset
|
480 m->print_short_name(tty); |
8c5333c80cfd
increased CompileThreshold to increase reliability of profiling information
Christian Haeubl <haeubl@ssw.jku.at>
parents:
6674
diff
changeset
|
481 tty->print_cr(" ( interpreted " INTPTR_FORMAT ", size=%d, hotCount=%d, hotTime=" UINT64_FORMAT " ) ", (address)m(), m->code_size(), hot_count, hot_time); |
8c5333c80cfd
increased CompileThreshold to increase reliability of profiling information
Christian Haeubl <haeubl@ssw.jku.at>
parents:
6674
diff
changeset
|
482 } |
8c5333c80cfd
increased CompileThreshold to increase reliability of profiling information
Christian Haeubl <haeubl@ssw.jku.at>
parents:
6674
diff
changeset
|
483 |
8c5333c80cfd
increased CompileThreshold to increase reliability of profiling information
Christian Haeubl <haeubl@ssw.jku.at>
parents:
6674
diff
changeset
|
484 assert(m->is_native() || m->method_data() != NULL, "do not compile code methods"); |
5176
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
485 CompileBroker::compile_method(m, InvocationEntryBci, CompLevel_highest_tier, m, hot_count, "count", thread); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
486 } |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
487 } |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
488 } |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
489 } |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
490 |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
491 void GraalCompPolicy::method_back_branch_event(methodHandle m, int bci, JavaThread* thread) { |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
492 int hot_count = m->backedge_count(); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
493 const char* comment = "backedge_count"; |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
494 |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
495 if (is_compilation_enabled() && !m->is_not_osr_compilable() && can_be_compiled(m)) { |
7224
fb16d8681ddc
bugfixes for compiler intrinsics
Christian Haeubl <haeubl@ssw.jku.at>
parents:
7125
diff
changeset
|
496 if (TraceCompilationPolicy) { |
fb16d8681ddc
bugfixes for compiler intrinsics
Christian Haeubl <haeubl@ssw.jku.at>
parents:
7125
diff
changeset
|
497 tty->print("backedge invocation trigger: "); |
fb16d8681ddc
bugfixes for compiler intrinsics
Christian Haeubl <haeubl@ssw.jku.at>
parents:
7125
diff
changeset
|
498 m->print_short_name(tty); |
fb16d8681ddc
bugfixes for compiler intrinsics
Christian Haeubl <haeubl@ssw.jku.at>
parents:
7125
diff
changeset
|
499 tty->print_cr(" ( interpreted " INTPTR_FORMAT ", size=%d, hotCount=%d ) ", (address)m(), m->code_size(), hot_count); |
fb16d8681ddc
bugfixes for compiler intrinsics
Christian Haeubl <haeubl@ssw.jku.at>
parents:
7125
diff
changeset
|
500 } |
fb16d8681ddc
bugfixes for compiler intrinsics
Christian Haeubl <haeubl@ssw.jku.at>
parents:
7125
diff
changeset
|
501 |
5176
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
502 CompileBroker::compile_method(m, bci, CompLevel_highest_tier, |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
503 m, hot_count, comment, thread); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
504 NOT_PRODUCT(trace_osr_completion(m->lookup_osr_nmethod_for(bci, CompLevel_highest_tier, true));) |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
505 } |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
506 } |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
507 |
7154
5d0bb7d52783
changes to support Graal co-existing with the other HotSpot compiler(s) and being used for explicit compilation requests and code installation via the Graal API
Doug Simon <doug.simon@oracle.com>
parents:
7125
diff
changeset
|
508 #endif // GRAALVM |
5176
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
509 |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
510 |
0 | 511 // StackWalkCompPolicy - walk up stack to find a suitable method to compile |
512 | |
7154
5d0bb7d52783
changes to support Graal co-existing with the other HotSpot compiler(s) and being used for explicit compilation requests and code installation via the Graal API
Doug Simon <doug.simon@oracle.com>
parents:
7125
diff
changeset
|
513 #if defined(COMPILER2) |
0 | 514 const char* StackWalkCompPolicy::_msg = NULL; |
515 | |
516 | |
517 // Consider m for compilation | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
518 void StackWalkCompPolicy::method_invocation_event(methodHandle m, JavaThread* thread) { |
6800
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
519 const int comp_level = CompLevel_highest_tier; |
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
520 const int hot_count = m->invocation_count(); |
0 | 521 reset_counter_for_invocation_event(m); |
522 const char* comment = "count"; | |
523 | |
1783 | 524 if (is_compilation_enabled() && m->code() == NULL && can_be_compiled(m)) { |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
525 ResourceMark rm(thread); |
0 | 526 frame fr = thread->last_frame(); |
527 assert(fr.is_interpreted_frame(), "must be interpreted"); | |
528 assert(fr.interpreter_frame_method() == m(), "bad method"); | |
529 | |
530 if (TraceCompilationPolicy) { | |
531 tty->print("method invocation trigger: "); | |
532 m->print_short_name(tty); | |
533 tty->print(" ( interpreted " INTPTR_FORMAT ", size=%d ) ", (address)m(), m->code_size()); | |
534 } | |
535 RegisterMap reg_map(thread, false); | |
536 javaVFrame* triggerVF = thread->last_java_vframe(®_map); | |
537 // triggerVF is the frame that triggered its counter | |
538 RFrame* first = new InterpretedRFrame(triggerVF->fr(), thread, m); | |
539 | |
540 if (first->top_method()->code() != NULL) { | |
541 // called obsolete method/nmethod -- no need to recompile | |
542 if (TraceCompilationPolicy) tty->print_cr(" --> " INTPTR_FORMAT, first->top_method()->code()); | |
543 } else { | |
544 if (TimeCompilationPolicy) accumulated_time()->start(); | |
545 GrowableArray<RFrame*>* stack = new GrowableArray<RFrame*>(50); | |
546 stack->push(first); | |
547 RFrame* top = findTopInlinableFrame(stack); | |
548 if (TimeCompilationPolicy) accumulated_time()->stop(); | |
549 assert(top != NULL, "findTopInlinableFrame returned null"); | |
550 if (TraceCompilationPolicy) top->print(); | |
6800
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
551 CompileBroker::compile_method(top->top_method(), InvocationEntryBci, comp_level, |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
552 m, hot_count, comment, thread); |
0 | 553 } |
554 } | |
555 } | |
556 | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
557 void StackWalkCompPolicy::method_back_branch_event(methodHandle m, int bci, JavaThread* thread) { |
6800
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
558 const int comp_level = CompLevel_highest_tier; |
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
559 const int hot_count = m->backedge_count(); |
0 | 560 const char* comment = "backedge_count"; |
561 | |
6800
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
562 if (is_compilation_enabled() && !m->is_not_osr_compilable(comp_level) && can_be_compiled(m)) { |
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
563 CompileBroker::compile_method(m, bci, comp_level, m, hot_count, comment, thread); |
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
564 NOT_PRODUCT(trace_osr_completion(m->lookup_osr_nmethod_for(bci, comp_level, true));) |
0 | 565 } |
566 } | |
567 | |
568 RFrame* StackWalkCompPolicy::findTopInlinableFrame(GrowableArray<RFrame*>* stack) { | |
569 // go up the stack until finding a frame that (probably) won't be inlined | |
570 // into its caller | |
571 RFrame* current = stack->at(0); // current choice for stopping | |
572 assert( current && !current->is_compiled(), "" ); | |
573 const char* msg = NULL; | |
574 | |
575 while (1) { | |
576 | |
577 // before going up the stack further, check if doing so would get us into | |
578 // compiled code | |
579 RFrame* next = senderOf(current, stack); | |
580 if( !next ) // No next frame up the stack? | |
581 break; // Then compile with current frame | |
582 | |
583 methodHandle m = current->top_method(); | |
584 methodHandle next_m = next->top_method(); | |
585 | |
586 if (TraceCompilationPolicy && Verbose) { | |
587 tty->print("[caller: "); | |
588 next_m->print_short_name(tty); | |
589 tty->print("] "); | |
590 } | |
591 | |
592 if( !Inline ) { // Inlining turned off | |
593 msg = "Inlining turned off"; | |
594 break; | |
595 } | |
596 if (next_m->is_not_compilable()) { // Did fail to compile this before/ | |
597 msg = "caller not compilable"; | |
598 break; | |
599 } | |
600 if (next->num() > MaxRecompilationSearchLength) { | |
601 // don't go up too high when searching for recompilees | |
602 msg = "don't go up any further: > MaxRecompilationSearchLength"; | |
603 break; | |
604 } | |
605 if (next->distance() > MaxInterpretedSearchLength) { | |
606 // don't go up too high when searching for recompilees | |
607 msg = "don't go up any further: next > MaxInterpretedSearchLength"; | |
608 break; | |
609 } | |
610 // Compiled frame above already decided not to inline; | |
611 // do not recompile him. | |
612 if (next->is_compiled()) { | |
613 msg = "not going up into optimized code"; | |
614 break; | |
615 } | |
616 | |
617 // Interpreted frame above us was already compiled. Do not force | |
618 // a recompile, although if the frame above us runs long enough an | |
619 // OSR might still happen. | |
620 if( current->is_interpreted() && next_m->has_compiled_code() ) { | |
621 msg = "not going up -- already compiled caller"; | |
622 break; | |
623 } | |
624 | |
625 // Compute how frequent this call site is. We have current method 'm'. | |
626 // We know next method 'next_m' is interpreted. Find the call site and | |
627 // check the various invocation counts. | |
628 int invcnt = 0; // Caller counts | |
629 if (ProfileInterpreter) { | |
630 invcnt = next_m->interpreter_invocation_count(); | |
631 } | |
632 int cnt = 0; // Call site counts | |
633 if (ProfileInterpreter && next_m->method_data() != NULL) { | |
634 ResourceMark rm; | |
635 int bci = next->top_vframe()->bci(); | |
636 ProfileData* data = next_m->method_data()->bci_to_data(bci); | |
637 if (data != NULL && data->is_CounterData()) | |
638 cnt = data->as_CounterData()->count(); | |
639 } | |
640 | |
641 // Caller counts / call-site counts; i.e. is this call site | |
642 // a hot call site for method next_m? | |
643 int freq = (invcnt) ? cnt/invcnt : cnt; | |
644 | |
645 // Check size and frequency limits | |
646 if ((msg = shouldInline(m, freq, cnt)) != NULL) { | |
647 break; | |
648 } | |
649 // Check inlining negative tests | |
650 if ((msg = shouldNotInline(m)) != NULL) { | |
651 break; | |
652 } | |
653 | |
654 | |
655 // If the caller method is too big or something then we do not want to | |
656 // compile it just to inline a method | |
1783 | 657 if (!can_be_compiled(next_m)) { |
0 | 658 msg = "caller cannot be compiled"; |
659 break; | |
660 } | |
661 | |
662 if( next_m->name() == vmSymbols::class_initializer_name() ) { | |
663 msg = "do not compile class initializer (OSR ok)"; | |
664 break; | |
665 } | |
666 | |
667 if (TraceCompilationPolicy && Verbose) { | |
668 tty->print("\n\t check caller: "); | |
669 next_m->print_short_name(tty); | |
670 tty->print(" ( interpreted " INTPTR_FORMAT ", size=%d ) ", (address)next_m(), next_m->code_size()); | |
671 } | |
672 | |
673 current = next; | |
674 } | |
675 | |
676 assert( !current || !current->is_compiled(), "" ); | |
677 | |
678 if (TraceCompilationPolicy && msg) tty->print("(%s)\n", msg); | |
679 | |
680 return current; | |
681 } | |
682 | |
683 RFrame* StackWalkCompPolicy::senderOf(RFrame* rf, GrowableArray<RFrame*>* stack) { | |
684 RFrame* sender = rf->caller(); | |
685 if (sender && sender->num() == stack->length()) stack->push(sender); | |
686 return sender; | |
687 } | |
688 | |
689 | |
690 const char* StackWalkCompPolicy::shouldInline(methodHandle m, float freq, int cnt) { | |
691 // Allows targeted inlining | |
692 // positive filter: should send be inlined? returns NULL (--> yes) | |
693 // or rejection msg | |
694 int max_size = MaxInlineSize; | |
695 int cost = m->code_size(); | |
696 | |
697 // Check for too many throws (and not too huge) | |
698 if (m->interpreter_throwout_count() > InlineThrowCount && cost < InlineThrowMaxSize ) { | |
699 return NULL; | |
700 } | |
701 | |
702 // bump the max size if the call is frequent | |
703 if ((freq >= InlineFrequencyRatio) || (cnt >= InlineFrequencyCount)) { | |
704 if (TraceFrequencyInlining) { | |
705 tty->print("(Inlined frequent method)\n"); | |
706 m->print(); | |
707 } | |
708 max_size = FreqInlineSize; | |
709 } | |
710 if (cost > max_size) { | |
711 return (_msg = "too big"); | |
712 } | |
713 return NULL; | |
714 } | |
715 | |
716 | |
717 const char* StackWalkCompPolicy::shouldNotInline(methodHandle m) { | |
718 // negative filter: should send NOT be inlined? returns NULL (--> inline) or rejection msg | |
719 if (m->is_abstract()) return (_msg = "abstract method"); | |
720 // note: we allow ik->is_abstract() | |
6940
18fb7da42534
8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents:
6800
diff
changeset
|
721 if (!m->method_holder()->is_initialized()) return (_msg = "method holder not initialized"); |
0 | 722 if (m->is_native()) return (_msg = "native method"); |
723 nmethod* m_code = m->code(); | |
1748 | 724 if (m_code != NULL && m_code->code_size() > InlineSmallCode) |
0 | 725 return (_msg = "already compiled into a big method"); |
726 | |
727 // use frequency-based objections only for non-trivial methods | |
728 if (m->code_size() <= MaxTrivialSize) return NULL; | |
729 if (UseInterpreter) { // don't use counts with -Xcomp | |
730 if ((m->code() == NULL) && m->was_never_executed()) return (_msg = "never executed"); | |
731 if (!m->was_executed_more_than(MIN2(MinInliningThreshold, CompileThreshold >> 1))) return (_msg = "executed < MinInliningThreshold times"); | |
732 } | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
733 if (Method::has_unloaded_classes_in_signature(m, JavaThread::current())) return (_msg = "unloaded signature classes"); |
0 | 734 |
735 return NULL; | |
736 } | |
737 | |
738 | |
739 | |
7154
5d0bb7d52783
changes to support Graal co-existing with the other HotSpot compiler(s) and being used for explicit compilation requests and code installation via the Graal API
Doug Simon <doug.simon@oracle.com>
parents:
7125
diff
changeset
|
740 #endif // COMPILER2 |