Mercurial > hg > truffle
annotate src/share/vm/runtime/compilationPolicy.hpp @ 9126:bc26f978b0ce
HotSpotResolvedObjectType: implement hasFinalizeSubclass() correctly
don't use the (wrong) cached value, but ask the runtime on each request.
Fixes regression on xml.* benchmarks @ specjvm2008. The problem was:
After the constructor of Object was deoptimized due to an assumption violation,
it was recompiled again after some time. However, on recompilation, the value
of hasFinalizeSubclass for the class was not updated and it was compiled again
with a, now wrong, assumption, which then triggers deoptimization again.
This was repeated until it hit the recompilation limit (defined by
PerMethodRecompilationCutoff), and therefore only executed by the interpreter
from now on, causing the performance regression.
author | Bernhard Urban <bernhard.urban@jku.at> |
---|---|
date | Mon, 15 Apr 2013 19:54:58 +0200 |
parents | 89e4d67fdd2a |
children | cefad50507d8 |
rev | line source |
---|---|
0 | 1 /* |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6197
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:
0
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
0
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:
0
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
1972 | 25 #ifndef SHARE_VM_RUNTIME_COMPILATIONPOLICY_HPP |
26 #define SHARE_VM_RUNTIME_COMPILATIONPOLICY_HPP | |
27 | |
28 #include "code/nmethod.hpp" | |
29 #include "compiler/compileBroker.hpp" | |
30 #include "memory/allocation.hpp" | |
31 #include "runtime/vm_operations.hpp" | |
32 #include "utilities/growableArray.hpp" | |
33 | |
0 | 34 // The CompilationPolicy selects which method (if any) should be compiled. |
35 // It also decides which methods must always be compiled (i.e., are never | |
36 // interpreted). | |
1783 | 37 class CompileTask; |
38 class CompileQueue; | |
0 | 39 |
6197 | 40 class CompilationPolicy : public CHeapObj<mtCompiler> { |
0 | 41 static CompilationPolicy* _policy; |
42 // Accumulated time | |
43 static elapsedTimer _accumulated_time; | |
44 | |
45 static bool _in_vm_startup; | |
1783 | 46 public: |
0 | 47 static void set_in_vm_startup(bool in_vm_startup) { _in_vm_startup = in_vm_startup; } |
48 static void completed_vm_startup(); | |
1783 | 49 static bool delay_compilation_during_startup() { return _in_vm_startup; } |
0 | 50 |
1783 | 51 // m must be compiled before executing it |
52 static bool must_be_compiled(methodHandle m, int comp_level = CompLevel_all); | |
53 // m is allowed to be compiled | |
54 static bool can_be_compiled(methodHandle m, int comp_level = CompLevel_all); | |
55 static bool is_compilation_enabled(); | |
0 | 56 static void set_policy(CompilationPolicy* policy) { _policy = policy; } |
1783 | 57 static CompilationPolicy* policy() { return _policy; } |
0 | 58 |
59 // Profiling | |
60 elapsedTimer* accumulated_time() { return &_accumulated_time; } | |
61 void print_time() PRODUCT_RETURN; | |
3837
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
62 // Return initial compile level that is used with Xcomp |
43f9d800f276
7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents:
3791
diff
changeset
|
63 virtual CompLevel initial_compile_level() = 0; |
1783 | 64 virtual int compiler_count(CompLevel comp_level) = 0; |
65 // main notification entry, return a pointer to an nmethod if the OSR is required, | |
66 // returns NULL otherwise. | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3837
diff
changeset
|
67 virtual nmethod* event(methodHandle method, methodHandle inlinee, int branch_bci, int bci, CompLevel comp_level, nmethod* nm, JavaThread* thread) = 0; |
1783 | 68 // safepoint() is called at the end of the safepoint |
69 virtual void do_safepoint_work() = 0; | |
70 // reprofile request | |
71 virtual void reprofile(ScopeDesc* trap_scope, bool is_osr) = 0; | |
72 // delay_compilation(method) can be called by any component of the runtime to notify the policy | |
73 // 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:
6197
diff
changeset
|
74 virtual void delay_compilation(Method* method) = 0; |
1783 | 75 // disable_compilation() is called whenever the runtime decides to disable compilation of the |
76 // specified method. | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6197
diff
changeset
|
77 virtual void disable_compilation(Method* method) = 0; |
1783 | 78 // Select task is called by CompileBroker. The queue is guaranteed to have at least one |
79 // element and is locked. The function should select one and return it. | |
80 virtual CompileTask* select_task(CompileQueue* compile_queue) = 0; | |
81 // Tell the runtime if we think a given method is adequately profiled. | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6197
diff
changeset
|
82 virtual bool is_mature(Method* method) = 0; |
1783 | 83 // Do policy initialization |
84 virtual void initialize() = 0; | |
3791
2c359f27615c
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
1972
diff
changeset
|
85 virtual bool should_not_inline(ciEnv* env, ciMethod* method) { return false; } |
0 | 86 }; |
87 | |
1783 | 88 // A base class for baseline policies. |
89 class NonTieredCompPolicy : public CompilationPolicy { | |
90 int _compiler_count; | |
91 protected: | |
92 static void trace_frequency_counter_overflow(methodHandle m, int branch_bci, int bci); | |
93 static void trace_osr_request(methodHandle method, nmethod* osr, int bci); | |
94 static void trace_osr_completion(nmethod* osr_nm); | |
95 void reset_counter_for_invocation_event(methodHandle method); | |
96 void reset_counter_for_back_branch_event(methodHandle method); | |
97 public: | |
98 NonTieredCompPolicy() : _compiler_count(0) { } | |
9080
b84fd7d73702
8007288: Additional WB API for compiler's testing
iignatyev
parents:
6725
diff
changeset
|
99 virtual CompLevel initial_compile_level() { return CompLevel_highest_tier; } |
1783 | 100 virtual int compiler_count(CompLevel comp_level); |
101 virtual void do_safepoint_work(); | |
102 virtual void reprofile(ScopeDesc* trap_scope, bool is_osr); | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6197
diff
changeset
|
103 virtual void delay_compilation(Method* method); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6197
diff
changeset
|
104 virtual void disable_compilation(Method* method); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6197
diff
changeset
|
105 virtual bool is_mature(Method* method); |
1783 | 106 virtual void initialize(); |
107 virtual CompileTask* select_task(CompileQueue* compile_queue); | |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3837
diff
changeset
|
108 virtual nmethod* event(methodHandle method, methodHandle inlinee, int branch_bci, int bci, CompLevel comp_level, nmethod* nm, JavaThread* thread); |
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3837
diff
changeset
|
109 virtual void method_invocation_event(methodHandle m, JavaThread* thread) = 0; |
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3837
diff
changeset
|
110 virtual void method_back_branch_event(methodHandle m, int bci, JavaThread* thread) = 0; |
1783 | 111 }; |
112 | |
113 class SimpleCompPolicy : public NonTieredCompPolicy { | |
0 | 114 public: |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3837
diff
changeset
|
115 virtual void method_invocation_event(methodHandle m, JavaThread* thread); |
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3837
diff
changeset
|
116 virtual void method_back_branch_event(methodHandle m, int bci, JavaThread* thread); |
0 | 117 }; |
118 | |
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:
6948
diff
changeset
|
119 #ifdef GRAALVM |
5176
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
5126
diff
changeset
|
120 class GraalCompPolicy : public NonTieredCompPolicy { |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
5126
diff
changeset
|
121 public: |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
5126
diff
changeset
|
122 virtual void method_invocation_event(methodHandle m, JavaThread* thread); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
5126
diff
changeset
|
123 virtual void method_back_branch_event(methodHandle m, int bci, JavaThread* thread); |
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
5126
diff
changeset
|
124 }; |
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:
6948
diff
changeset
|
125 #endif // GRAALVM |
5176
af59b4dfc9e4
compilation queue changes:
Lukas Stadler <lukas.stadler@jku.at>
parents:
5126
diff
changeset
|
126 |
0 | 127 // StackWalkCompPolicy - existing C2 policy |
128 | |
129 #ifdef COMPILER2 | |
1783 | 130 class StackWalkCompPolicy : public NonTieredCompPolicy { |
0 | 131 public: |
4825
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3837
diff
changeset
|
132 virtual void method_invocation_event(methodHandle m, JavaThread* thread); |
20334ed5ed3c
7131259: compile_method and CompilationPolicy::event shouldn't be declared TRAPS
iveresov
parents:
3837
diff
changeset
|
133 virtual void method_back_branch_event(methodHandle m, int bci, JavaThread* thread); |
0 | 134 |
135 private: | |
136 RFrame* findTopInlinableFrame(GrowableArray<RFrame*>* stack); | |
137 RFrame* senderOf(RFrame* rf, GrowableArray<RFrame*>* stack); | |
138 | |
139 // the following variables hold values computed by the last inlining decision | |
140 // they are used for performance debugging only (print better messages) | |
141 static const char* _msg; // reason for not inlining | |
142 | |
143 static const char* shouldInline (methodHandle callee, float frequency, int cnt); | |
144 // positive filter: should send be inlined? returns NULL (--> yes) or rejection msg | |
145 static const char* shouldNotInline(methodHandle callee); | |
146 // negative filter: should send NOT be inlined? returns NULL (--> inline) or rejection msg | |
147 | |
148 }; | |
149 #endif | |
1972 | 150 |
151 #endif // SHARE_VM_RUNTIME_COMPILATIONPOLICY_HPP |