Mercurial > hg > truffle
annotate src/share/vm/runtime/compilationPolicy.cpp @ 8366:733e2b88ff26
moved HotSpot specific AMD64FrameOmissionTest to (new) project com.oracle.graal.hotspot.amd64.test and renamed it to AMD64HotSpotFrameOmissionTest
author | Doug Simon <doug.simon@oracle.com> |
---|---|
date | Tue, 19 Mar 2013 09:56:56 +0100 |
parents | b8f261ba79c6 |
children | 89e4d67fdd2a |
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: | |
8151
b8f261ba79c6
Minimize diff to plain HotSpot version.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
7684
diff
changeset
|
63 #ifdef 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: |
8151
b8f261ba79c6
Minimize diff to plain HotSpot version.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
7684
diff
changeset
|
84 #ifdef 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 |
191 if (is_c1_compile(comp_level)) { | |
192 return _compiler_count; | |
1821
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
193 } else { |
df015ec64052
6987115: Non-tiered compilation policy creates unnecessary C1 threads
iveresov
parents:
1783
diff
changeset
|
194 return 0; |
1783 | 195 } |
196 #endif | |
197 | |
198 return 0; | |
199 } | |
200 | |
201 void NonTieredCompPolicy::reset_counter_for_invocation_event(methodHandle m) { | |
0 | 202 // Make sure invocation and backedge counter doesn't overflow again right away |
203 // as would be the case for native methods. | |
204 | |
205 // BUT also make sure the method doesn't look like it was never executed. | |
206 // Set carry bit and reduce counter's value to min(count, CompileThreshold/2). | |
207 m->invocation_counter()->set_carry(); | |
208 m->backedge_counter()->set_carry(); | |
209 | |
210 assert(!m->was_never_executed(), "don't reset to 0 -- could be mistaken for never-executed"); | |
211 } | |
212 | |
1783 | 213 void NonTieredCompPolicy::reset_counter_for_back_branch_event(methodHandle m) { |
0 | 214 // Delay next back-branch event but pump up invocation counter to triger |
215 // whole method compilation. | |
216 InvocationCounter* i = m->invocation_counter(); | |
217 InvocationCounter* b = m->backedge_counter(); | |
218 | |
219 // Don't set invocation_counter's value too low otherwise the method will | |
220 // look like immature (ic < ~5300) which prevents the inlining based on | |
221 // the type profiling. | |
222 i->set(i->state(), CompileThreshold); | |
223 // Don't reset counter too low - it is used to check if OSR method is ready. | |
224 b->set(b->state(), CompileThreshold / 2); | |
225 } | |
226 | |
1783 | 227 // |
228 // CounterDecay | |
229 // | |
230 // Interates through invocation counters and decrements them. This | |
231 // is done at each safepoint. | |
232 // | |
233 class CounterDecay : public AllStatic { | |
234 static jlong _last_timestamp; | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
235 static void do_method(Method* m) { |
1783 | 236 m->invocation_counter()->decay(); |
237 } | |
238 public: | |
239 static void decay(); | |
240 static bool is_decay_needed() { | |
241 return (os::javaTimeMillis() - _last_timestamp) > CounterDecayMinIntervalLength; | |
242 } | |
243 }; | |
244 | |
245 jlong CounterDecay::_last_timestamp = 0; | |
246 | |
247 void CounterDecay::decay() { | |
248 _last_timestamp = os::javaTimeMillis(); | |
249 | |
250 // This operation is going to be performed only at the end of a safepoint | |
251 // and hence GC's will not be going on, all Java mutators are suspended | |
252 // at this point and hence SystemDictionary_lock is also not needed. | |
253 assert(SafepointSynchronize::is_at_safepoint(), "can only be executed at a safepoint"); | |
254 int nclasses = SystemDictionary::number_of_classes(); | |
255 double classes_per_tick = nclasses * (CounterDecayMinIntervalLength * 1e-3 / | |
256 CounterHalfLifeTime); | |
257 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
|
258 Klass* k = SystemDictionary::try_get_next_class(); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
259 if (k != NULL && k->oop_is_instance()) { |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
260 InstanceKlass::cast(k)->methods_do(do_method); |
1783 | 261 } |
262 } | |
263 } | |
264 | |
265 // Called at the end of the safepoint | |
266 void NonTieredCompPolicy::do_safepoint_work() { | |
267 if(UseCounterDecay && CounterDecay::is_decay_needed()) { | |
268 CounterDecay::decay(); | |
269 } | |
270 } | |
271 | |
272 void NonTieredCompPolicy::reprofile(ScopeDesc* trap_scope, bool is_osr) { | |
273 ScopeDesc* sd = trap_scope; | |
274 for (; !sd->is_top(); sd = sd->sender()) { | |
275 // Reset ICs of inlined methods, since they can trigger compilations also. | |
276 sd->method()->invocation_counter()->reset(); | |
277 } | |
278 InvocationCounter* c = sd->method()->invocation_counter(); | |
279 if (is_osr) { | |
280 // It was an OSR method, so bump the count higher. | |
281 c->set(c->state(), CompileThreshold); | |
282 } else { | |
283 c->reset(); | |
284 } | |
285 sd->method()->backedge_counter()->reset(); | |
286 } | |
287 | |
288 // This method can be called by any component of the runtime to notify the policy | |
289 // 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
|
290 void NonTieredCompPolicy::delay_compilation(Method* method) { |
1783 | 291 method->invocation_counter()->decay(); |
292 method->backedge_counter()->decay(); | |
293 } | |
294 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
295 void NonTieredCompPolicy::disable_compilation(Method* method) { |
1783 | 296 method->invocation_counter()->set_state(InvocationCounter::wait_for_nothing); |
297 method->backedge_counter()->set_state(InvocationCounter::wait_for_nothing); | |
298 } | |
299 | |
300 CompileTask* NonTieredCompPolicy::select_task(CompileQueue* compile_queue) { | |
301 return compile_queue->first(); | |
302 } | |
303 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
304 bool NonTieredCompPolicy::is_mature(Method* method) { |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
305 MethodData* mdo = method->method_data(); |
1783 | 306 assert(mdo != NULL, "Should be"); |
307 uint current = mdo->mileage_of(method); | |
308 uint initial = mdo->creation_mileage(); | |
309 if (current < initial) | |
310 return true; // some sort of overflow | |
311 uint target; | |
312 if (ProfileMaturityPercentage <= 0) | |
313 target = (uint) -ProfileMaturityPercentage; // absolute value | |
314 else | |
315 target = (uint)( (ProfileMaturityPercentage * CompileThreshold) / 100 ); | |
316 return (current >= initial + target); | |
317 } | |
318 | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
319 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
|
320 int bci, CompLevel comp_level, nmethod* nm, JavaThread* thread) { |
1783 | 321 assert(comp_level == CompLevel_none, "This should be only called from the interpreter"); |
322 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
|
323 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
|
324 // 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
|
325 // 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
|
326 // 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
|
327 // 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
|
328 // 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
|
329 // interpreted-only threads. |
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
330 if (bci != InvocationEntryBci) { |
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
331 reset_counter_for_back_branch_event(method); |
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
332 return NULL; |
1783 | 333 } |
334 } | |
6972
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6940
diff
changeset
|
335 if (CompileTheWorld || ReplayCompiles) { |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6940
diff
changeset
|
336 // Don't trigger other compiles in testing mode |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6940
diff
changeset
|
337 if (bci == InvocationEntryBci) { |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6940
diff
changeset
|
338 reset_counter_for_invocation_event(method); |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6940
diff
changeset
|
339 } else { |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6940
diff
changeset
|
340 reset_counter_for_back_branch_event(method); |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6940
diff
changeset
|
341 } |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6940
diff
changeset
|
342 return NULL; |
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 |
1783 | 345 if (bci == InvocationEntryBci) { |
346 // when code cache is full, compilation gets switched off, UseCompiler | |
347 // is set to false | |
348 if (!method->has_compiled_code() && UseCompiler) { | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
349 method_invocation_event(method, thread); |
1783 | 350 } else { |
351 // Force counter overflow on method entry, even if no compilation | |
352 // happened. (The method_invocation_event call does this also.) | |
353 reset_counter_for_invocation_event(method); | |
354 } | |
355 // compilation at an invocation overflow no longer goes and retries test for | |
356 // compiled method. We always run the loser of the race as interpreted. | |
357 // so return NULL | |
358 return NULL; | |
359 } else { | |
360 // counter overflow in a loop => try to do on-stack-replacement | |
361 nmethod* osr_nm = method->lookup_osr_nmethod_for(bci, CompLevel_highest_tier, true); | |
362 NOT_PRODUCT(trace_osr_request(method, osr_nm, bci)); | |
363 // when code cache is full, we should not compile any more... | |
364 if (osr_nm == NULL && UseCompiler) { | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
365 method_back_branch_event(method, bci, thread); |
1783 | 366 osr_nm = method->lookup_osr_nmethod_for(bci, CompLevel_highest_tier, true); |
367 } | |
368 if (osr_nm == NULL) { | |
369 reset_counter_for_back_branch_event(method); | |
370 return NULL; | |
371 } | |
372 return osr_nm; | |
373 } | |
374 return NULL; | |
375 } | |
376 | |
377 #ifndef PRODUCT | |
378 void NonTieredCompPolicy::trace_frequency_counter_overflow(methodHandle m, int branch_bci, int bci) { | |
379 if (TraceInvocationCounterOverflow) { | |
380 InvocationCounter* ic = m->invocation_counter(); | |
381 InvocationCounter* bc = m->backedge_counter(); | |
382 ResourceMark rm; | |
383 const char* msg = | |
384 bci == InvocationEntryBci | |
385 ? "comp-policy cntr ovfl @ %d in entry of " | |
386 : "comp-policy cntr ovfl @ %d in loop of "; | |
387 tty->print(msg, bci); | |
388 m->print_value(); | |
389 tty->cr(); | |
390 ic->print(); | |
391 bc->print(); | |
392 if (ProfileInterpreter) { | |
393 if (bci != InvocationEntryBci) { | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
394 MethodData* mdo = m->method_data(); |
1783 | 395 if (mdo != NULL) { |
396 int count = mdo->bci_to_data(branch_bci)->as_JumpData()->taken(); | |
397 tty->print_cr("back branch count = %d", count); | |
398 } | |
399 } | |
400 } | |
401 } | |
402 } | |
403 | |
404 void NonTieredCompPolicy::trace_osr_request(methodHandle method, nmethod* osr, int bci) { | |
405 if (TraceOnStackReplacement) { | |
406 ResourceMark rm; | |
407 tty->print(osr != NULL ? "Reused OSR entry for " : "Requesting OSR entry for "); | |
408 method->print_short_name(tty); | |
409 tty->print_cr(" at bci %d", bci); | |
410 } | |
411 } | |
412 #endif // !PRODUCT | |
413 | |
0 | 414 // SimpleCompPolicy - compile current method |
415 | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
416 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
|
417 const int comp_level = CompLevel_highest_tier; |
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
418 const int hot_count = m->invocation_count(); |
0 | 419 reset_counter_for_invocation_event(m); |
420 const char* comment = "count"; | |
421 | |
1783 | 422 if (is_compilation_enabled() && can_be_compiled(m)) { |
0 | 423 nmethod* nm = m->code(); |
424 if (nm == NULL ) { | |
6800
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
425 CompileBroker::compile_method(m, InvocationEntryBci, comp_level, m, hot_count, comment, thread); |
0 | 426 } |
427 } | |
428 } | |
429 | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
430 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
|
431 const int comp_level = CompLevel_highest_tier; |
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
432 const int hot_count = m->backedge_count(); |
0 | 433 const char* comment = "backedge_count"; |
434 | |
6800
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
435 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
|
436 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
|
437 NOT_PRODUCT(trace_osr_completion(m->lookup_osr_nmethod_for(bci, comp_level, true));) |
0 | 438 } |
439 } | |
5176
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
440 |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
441 // GraalCompPolicy - compile current method |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
442 |
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
|
443 #ifdef GRAALVM |
5176
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
444 |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
445 void GraalCompPolicy::method_invocation_event(methodHandle m, JavaThread* thread) { |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
446 int hot_count = m->invocation_count(); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
447 jlong hot_time = m->graal_invocation_time(); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
448 reset_counter_for_invocation_event(m); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
449 |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
450 if (is_compilation_enabled() && can_be_compiled(m)) { |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
451 nmethod* nm = m->code(); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
452 if (nm == NULL) { |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
453 if (hot_count > 1) { |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
454 jlong current_time = os::javaTimeNanos(); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
455 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
|
456 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
|
457 if (UseNewCode) { |
d87155082c4d
guard all compilation queue accesses, to avoid deadlocks
Lukas Stadler <lukas.stadler@jku.at>
parents:
5176
diff
changeset
|
458 if (m->queued_for_compilation()) { |
d87155082c4d
guard all compilation queue accesses, to avoid deadlocks
Lukas Stadler <lukas.stadler@jku.at>
parents:
5176
diff
changeset
|
459 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
|
460 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
|
461 m->clear_queued_for_compilation(); |
d87155082c4d
guard all compilation queue accesses, to avoid deadlocks
Lukas Stadler <lukas.stadler@jku.at>
parents:
5176
diff
changeset
|
462 } |
d87155082c4d
guard all compilation queue accesses, to avoid deadlocks
Lukas Stadler <lukas.stadler@jku.at>
parents:
5176
diff
changeset
|
463 } else { |
d87155082c4d
guard all compilation queue accesses, to avoid deadlocks
Lukas Stadler <lukas.stadler@jku.at>
parents:
5176
diff
changeset
|
464 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
|
465 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
|
466 } |
5176
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
467 } |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
468 } else { |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
469 if (time_per_call < m->graal_priority()) { |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
470 m->set_graal_priority(time_per_call); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
471 } |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
472 } |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
473 } |
7062
8c5333c80cfd
increased CompileThreshold to increase reliability of profiling information
Christian Haeubl <haeubl@ssw.jku.at>
parents:
6674
diff
changeset
|
474 |
5176
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
475 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
|
476 if (TraceCompilationPolicy) { |
8c5333c80cfd
increased CompileThreshold to increase reliability of profiling information
Christian Haeubl <haeubl@ssw.jku.at>
parents:
6674
diff
changeset
|
477 tty->print("method invocation trigger: "); |
8c5333c80cfd
increased CompileThreshold to increase reliability of profiling information
Christian Haeubl <haeubl@ssw.jku.at>
parents:
6674
diff
changeset
|
478 m->print_short_name(tty); |
8c5333c80cfd
increased CompileThreshold to increase reliability of profiling information
Christian Haeubl <haeubl@ssw.jku.at>
parents:
6674
diff
changeset
|
479 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
|
480 } |
8c5333c80cfd
increased CompileThreshold to increase reliability of profiling information
Christian Haeubl <haeubl@ssw.jku.at>
parents:
6674
diff
changeset
|
481 |
8c5333c80cfd
increased CompileThreshold to increase reliability of profiling information
Christian Haeubl <haeubl@ssw.jku.at>
parents:
6674
diff
changeset
|
482 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
|
483 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
|
484 } |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
485 } |
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 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
|
490 int hot_count = m->backedge_count(); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
491 const char* comment = "backedge_count"; |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
492 |
7684
bbf97d6688d3
cleanup for the inlining policies
Christian Haeubl <haeubl@ssw.jku.at>
parents:
7226
diff
changeset
|
493 if (is_compilation_enabled() && !m->is_not_osr_compilable() && can_be_compiled(m) && !m->queued_for_compilation() && m->code() == NULL) { |
7224
fb16d8681ddc
bugfixes for compiler intrinsics
Christian Haeubl <haeubl@ssw.jku.at>
parents:
7125
diff
changeset
|
494 if (TraceCompilationPolicy) { |
fb16d8681ddc
bugfixes for compiler intrinsics
Christian Haeubl <haeubl@ssw.jku.at>
parents:
7125
diff
changeset
|
495 tty->print("backedge invocation trigger: "); |
fb16d8681ddc
bugfixes for compiler intrinsics
Christian Haeubl <haeubl@ssw.jku.at>
parents:
7125
diff
changeset
|
496 m->print_short_name(tty); |
fb16d8681ddc
bugfixes for compiler intrinsics
Christian Haeubl <haeubl@ssw.jku.at>
parents:
7125
diff
changeset
|
497 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
|
498 } |
fb16d8681ddc
bugfixes for compiler intrinsics
Christian Haeubl <haeubl@ssw.jku.at>
parents:
7125
diff
changeset
|
499 |
5176
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
500 CompileBroker::compile_method(m, bci, CompLevel_highest_tier, |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
501 m, hot_count, comment, thread); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
502 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
|
503 } |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
504 } |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
505 |
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
|
506 #endif // GRAALVM |
5176
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
507 |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4977
diff
changeset
|
508 |
0 | 509 // StackWalkCompPolicy - walk up stack to find a suitable method to compile |
510 | |
8151
b8f261ba79c6
Minimize diff to plain HotSpot version.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
7684
diff
changeset
|
511 #ifdef COMPILER2 |
0 | 512 const char* StackWalkCompPolicy::_msg = NULL; |
513 | |
514 | |
515 // Consider m for compilation | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
516 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
|
517 const int comp_level = CompLevel_highest_tier; |
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
518 const int hot_count = m->invocation_count(); |
0 | 519 reset_counter_for_invocation_event(m); |
520 const char* comment = "count"; | |
521 | |
1783 | 522 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
|
523 ResourceMark rm(thread); |
0 | 524 frame fr = thread->last_frame(); |
525 assert(fr.is_interpreted_frame(), "must be interpreted"); | |
526 assert(fr.interpreter_frame_method() == m(), "bad method"); | |
527 | |
528 if (TraceCompilationPolicy) { | |
529 tty->print("method invocation trigger: "); | |
530 m->print_short_name(tty); | |
531 tty->print(" ( interpreted " INTPTR_FORMAT ", size=%d ) ", (address)m(), m->code_size()); | |
532 } | |
533 RegisterMap reg_map(thread, false); | |
534 javaVFrame* triggerVF = thread->last_java_vframe(®_map); | |
535 // triggerVF is the frame that triggered its counter | |
536 RFrame* first = new InterpretedRFrame(triggerVF->fr(), thread, m); | |
537 | |
538 if (first->top_method()->code() != NULL) { | |
539 // called obsolete method/nmethod -- no need to recompile | |
540 if (TraceCompilationPolicy) tty->print_cr(" --> " INTPTR_FORMAT, first->top_method()->code()); | |
541 } else { | |
542 if (TimeCompilationPolicy) accumulated_time()->start(); | |
543 GrowableArray<RFrame*>* stack = new GrowableArray<RFrame*>(50); | |
544 stack->push(first); | |
545 RFrame* top = findTopInlinableFrame(stack); | |
546 if (TimeCompilationPolicy) accumulated_time()->stop(); | |
547 assert(top != NULL, "findTopInlinableFrame returned null"); | |
548 if (TraceCompilationPolicy) top->print(); | |
6800
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
549 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
|
550 m, hot_count, comment, thread); |
0 | 551 } |
552 } | |
553 } | |
554 | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3791
diff
changeset
|
555 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
|
556 const int comp_level = CompLevel_highest_tier; |
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
557 const int hot_count = m->backedge_count(); |
0 | 558 const char* comment = "backedge_count"; |
559 | |
6800
9191895df19d
7200001: failed C1 OSR compile doesn't get recompiled with C2
twisti
parents:
6725
diff
changeset
|
560 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
|
561 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
|
562 NOT_PRODUCT(trace_osr_completion(m->lookup_osr_nmethod_for(bci, comp_level, true));) |
0 | 563 } |
564 } | |
565 | |
566 RFrame* StackWalkCompPolicy::findTopInlinableFrame(GrowableArray<RFrame*>* stack) { | |
567 // go up the stack until finding a frame that (probably) won't be inlined | |
568 // into its caller | |
569 RFrame* current = stack->at(0); // current choice for stopping | |
570 assert( current && !current->is_compiled(), "" ); | |
571 const char* msg = NULL; | |
572 | |
573 while (1) { | |
574 | |
575 // before going up the stack further, check if doing so would get us into | |
576 // compiled code | |
577 RFrame* next = senderOf(current, stack); | |
578 if( !next ) // No next frame up the stack? | |
579 break; // Then compile with current frame | |
580 | |
581 methodHandle m = current->top_method(); | |
582 methodHandle next_m = next->top_method(); | |
583 | |
584 if (TraceCompilationPolicy && Verbose) { | |
585 tty->print("[caller: "); | |
586 next_m->print_short_name(tty); | |
587 tty->print("] "); | |
588 } | |
589 | |
590 if( !Inline ) { // Inlining turned off | |
591 msg = "Inlining turned off"; | |
592 break; | |
593 } | |
594 if (next_m->is_not_compilable()) { // Did fail to compile this before/ | |
595 msg = "caller not compilable"; | |
596 break; | |
597 } | |
598 if (next->num() > MaxRecompilationSearchLength) { | |
599 // don't go up too high when searching for recompilees | |
600 msg = "don't go up any further: > MaxRecompilationSearchLength"; | |
601 break; | |
602 } | |
603 if (next->distance() > MaxInterpretedSearchLength) { | |
604 // don't go up too high when searching for recompilees | |
605 msg = "don't go up any further: next > MaxInterpretedSearchLength"; | |
606 break; | |
607 } | |
608 // Compiled frame above already decided not to inline; | |
609 // do not recompile him. | |
610 if (next->is_compiled()) { | |
611 msg = "not going up into optimized code"; | |
612 break; | |
613 } | |
614 | |
615 // Interpreted frame above us was already compiled. Do not force | |
616 // a recompile, although if the frame above us runs long enough an | |
617 // OSR might still happen. | |
618 if( current->is_interpreted() && next_m->has_compiled_code() ) { | |
619 msg = "not going up -- already compiled caller"; | |
620 break; | |
621 } | |
622 | |
623 // Compute how frequent this call site is. We have current method 'm'. | |
624 // We know next method 'next_m' is interpreted. Find the call site and | |
625 // check the various invocation counts. | |
626 int invcnt = 0; // Caller counts | |
627 if (ProfileInterpreter) { | |
628 invcnt = next_m->interpreter_invocation_count(); | |
629 } | |
630 int cnt = 0; // Call site counts | |
631 if (ProfileInterpreter && next_m->method_data() != NULL) { | |
632 ResourceMark rm; | |
633 int bci = next->top_vframe()->bci(); | |
634 ProfileData* data = next_m->method_data()->bci_to_data(bci); | |
635 if (data != NULL && data->is_CounterData()) | |
636 cnt = data->as_CounterData()->count(); | |
637 } | |
638 | |
639 // Caller counts / call-site counts; i.e. is this call site | |
640 // a hot call site for method next_m? | |
641 int freq = (invcnt) ? cnt/invcnt : cnt; | |
642 | |
643 // Check size and frequency limits | |
644 if ((msg = shouldInline(m, freq, cnt)) != NULL) { | |
645 break; | |
646 } | |
647 // Check inlining negative tests | |
648 if ((msg = shouldNotInline(m)) != NULL) { | |
649 break; | |
650 } | |
651 | |
652 | |
653 // If the caller method is too big or something then we do not want to | |
654 // compile it just to inline a method | |
1783 | 655 if (!can_be_compiled(next_m)) { |
0 | 656 msg = "caller cannot be compiled"; |
657 break; | |
658 } | |
659 | |
660 if( next_m->name() == vmSymbols::class_initializer_name() ) { | |
661 msg = "do not compile class initializer (OSR ok)"; | |
662 break; | |
663 } | |
664 | |
665 if (TraceCompilationPolicy && Verbose) { | |
666 tty->print("\n\t check caller: "); | |
667 next_m->print_short_name(tty); | |
668 tty->print(" ( interpreted " INTPTR_FORMAT ", size=%d ) ", (address)next_m(), next_m->code_size()); | |
669 } | |
670 | |
671 current = next; | |
672 } | |
673 | |
674 assert( !current || !current->is_compiled(), "" ); | |
675 | |
676 if (TraceCompilationPolicy && msg) tty->print("(%s)\n", msg); | |
677 | |
678 return current; | |
679 } | |
680 | |
681 RFrame* StackWalkCompPolicy::senderOf(RFrame* rf, GrowableArray<RFrame*>* stack) { | |
682 RFrame* sender = rf->caller(); | |
683 if (sender && sender->num() == stack->length()) stack->push(sender); | |
684 return sender; | |
685 } | |
686 | |
687 | |
688 const char* StackWalkCompPolicy::shouldInline(methodHandle m, float freq, int cnt) { | |
689 // Allows targeted inlining | |
690 // positive filter: should send be inlined? returns NULL (--> yes) | |
691 // or rejection msg | |
692 int max_size = MaxInlineSize; | |
693 int cost = m->code_size(); | |
694 | |
695 // Check for too many throws (and not too huge) | |
696 if (m->interpreter_throwout_count() > InlineThrowCount && cost < InlineThrowMaxSize ) { | |
697 return NULL; | |
698 } | |
699 | |
700 // bump the max size if the call is frequent | |
701 if ((freq >= InlineFrequencyRatio) || (cnt >= InlineFrequencyCount)) { | |
702 if (TraceFrequencyInlining) { | |
703 tty->print("(Inlined frequent method)\n"); | |
704 m->print(); | |
705 } | |
706 max_size = FreqInlineSize; | |
707 } | |
708 if (cost > max_size) { | |
709 return (_msg = "too big"); | |
710 } | |
711 return NULL; | |
712 } | |
713 | |
714 | |
715 const char* StackWalkCompPolicy::shouldNotInline(methodHandle m) { | |
716 // negative filter: should send NOT be inlined? returns NULL (--> inline) or rejection msg | |
717 if (m->is_abstract()) return (_msg = "abstract method"); | |
718 // 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
|
719 if (!m->method_holder()->is_initialized()) return (_msg = "method holder not initialized"); |
0 | 720 if (m->is_native()) return (_msg = "native method"); |
721 nmethod* m_code = m->code(); | |
1748 | 722 if (m_code != NULL && m_code->code_size() > InlineSmallCode) |
0 | 723 return (_msg = "already compiled into a big method"); |
724 | |
725 // use frequency-based objections only for non-trivial methods | |
726 if (m->code_size() <= MaxTrivialSize) return NULL; | |
727 if (UseInterpreter) { // don't use counts with -Xcomp | |
728 if ((m->code() == NULL) && m->was_never_executed()) return (_msg = "never executed"); | |
729 if (!m->was_executed_more_than(MIN2(MinInliningThreshold, CompileThreshold >> 1))) return (_msg = "executed < MinInliningThreshold times"); | |
730 } | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
4825
diff
changeset
|
731 if (Method::has_unloaded_classes_in_signature(m, JavaThread::current())) return (_msg = "unloaded signature classes"); |
0 | 732 |
733 return NULL; | |
734 } | |
735 | |
736 | |
737 | |
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
|
738 #endif // COMPILER2 |