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