author | coleenp |
Thu, 27 Jun 2019 11:40:18 -0400 | |
changeset 55513 | be05771cdfdf |
parent 55273 | 64b76867851b |
child 55635 | 0fb70c9118ce |
permissions | -rw-r--r-- |
1 | 1 |
/* |
53345
91ab128a65a3
8216556: Unnecessary liveness computation with JVMTI
mdoerr
parents:
52195
diff
changeset
|
2 |
* Copyright (c) 1999, 2019, Oracle and/or its affiliates. All rights reserved. |
1 | 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 |
* |
|
5547
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
5420
diff
changeset
|
19 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
5420
diff
changeset
|
20 |
* or visit www.oracle.com if you need additional information or have any |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
5420
diff
changeset
|
21 |
* questions. |
1 | 22 |
* |
23 |
*/ |
|
24 |
||
7397 | 25 |
#include "precompiled.hpp" |
47765
b7c7428eaab9
8189610: Reconcile jvm.h and all jvm_md.h between java.base and hotspot
coleenp
parents:
47687
diff
changeset
|
26 |
#include "jvm.h" |
7397 | 27 |
#include "ci/ciConstant.hpp" |
28 |
#include "ci/ciEnv.hpp" |
|
29 |
#include "ci/ciField.hpp" |
|
30 |
#include "ci/ciInstance.hpp" |
|
31 |
#include "ci/ciInstanceKlass.hpp" |
|
32 |
#include "ci/ciMethod.hpp" |
|
33 |
#include "ci/ciNullObject.hpp" |
|
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
34 |
#include "ci/ciReplay.hpp" |
49449
ef5d5d343e2a
8199263: Split interfaceSupport.hpp to not require including .inline.hpp files
coleenp
parents:
49359
diff
changeset
|
35 |
#include "ci/ciUtilities.inline.hpp" |
54786 | 36 |
#include "classfile/symbolTable.hpp" |
7397 | 37 |
#include "classfile/systemDictionary.hpp" |
38 |
#include "classfile/vmSymbols.hpp" |
|
26796 | 39 |
#include "code/codeCache.hpp" |
7397 | 40 |
#include "code/scopeDesc.hpp" |
41 |
#include "compiler/compileBroker.hpp" |
|
42 |
#include "compiler/compileLog.hpp" |
|
33451
0712796e4039
8137167: JEP165: Compiler Control: Implementation task
neliasso
parents:
31019
diff
changeset
|
43 |
#include "compiler/disassembler.hpp" |
30764 | 44 |
#include "gc/shared/collectedHeap.inline.hpp" |
7397 | 45 |
#include "interpreter/linkResolver.hpp" |
50113 | 46 |
#include "jfr/jfrEvents.hpp" |
55273 | 47 |
#include "logging/log.hpp" |
7397 | 48 |
#include "memory/allocation.inline.hpp" |
49 |
#include "memory/oopFactory.hpp" |
|
37248 | 50 |
#include "memory/resourceArea.hpp" |
49359
59f6547e151f
8199264: Remove universe.inline.hpp to simplify include dependencies
stefank
parents:
49340
diff
changeset
|
51 |
#include "memory/universe.hpp" |
49340
4e82736053ae
8191102: Incorrect include file use in classLoader.hpp
hseigel
parents:
49192
diff
changeset
|
52 |
#include "oops/constantPool.inline.hpp" |
4e82736053ae
8191102: Incorrect include file use in classLoader.hpp
hseigel
parents:
49192
diff
changeset
|
53 |
#include "oops/cpCache.inline.hpp" |
4e82736053ae
8191102: Incorrect include file use in classLoader.hpp
hseigel
parents:
49192
diff
changeset
|
54 |
#include "oops/method.inline.hpp" |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
55 |
#include "oops/methodData.hpp" |
7397 | 56 |
#include "oops/objArrayKlass.hpp" |
29081
c61eb4914428
8072911: Remove includes of oop.inline.hpp from .hpp files
stefank
parents:
27706
diff
changeset
|
57 |
#include "oops/objArrayOop.inline.hpp" |
7397 | 58 |
#include "oops/oop.inline.hpp" |
59 |
#include "prims/jvmtiExport.hpp" |
|
53582 | 60 |
#include "runtime/handles.inline.hpp" |
7397 | 61 |
#include "runtime/init.hpp" |
62 |
#include "runtime/reflection.hpp" |
|
49192
6734eeef4283
8198474: Move JNIHandles::resolve into jniHandles.inline.hpp
kbarrett
parents:
48826
diff
changeset
|
63 |
#include "runtime/jniHandles.inline.hpp" |
49594
898ef81cbc0e
8200106: Move NoSafepointVerifier out from gcLocker.hpp
stefank
parents:
49449
diff
changeset
|
64 |
#include "runtime/safepointVerifiers.hpp" |
7397 | 65 |
#include "runtime/sharedRuntime.hpp" |
24351
61b33cc6d3cf
8042195: Introduce umbrella header orderAccess.inline.hpp.
goetz
parents:
23496
diff
changeset
|
66 |
#include "runtime/thread.inline.hpp" |
7397 | 67 |
#include "utilities/dtrace.hpp" |
15482
470d0b0c09f1
8005915: Unify SERIALGC and INCLUDE_ALTERNATE_GCS
jprovino
parents:
14490
diff
changeset
|
68 |
#include "utilities/macros.hpp" |
7397 | 69 |
#ifdef COMPILER1 |
70 |
#include "c1/c1_Runtime1.hpp" |
|
71 |
#endif |
|
72 |
#ifdef COMPILER2 |
|
73 |
#include "opto/runtime.hpp" |
|
74 |
#endif |
|
1 | 75 |
|
76 |
// ciEnv |
|
77 |
// |
|
78 |
// This class is the top level broker for requests from the compiler |
|
79 |
// to the VM. |
|
80 |
||
81 |
ciObject* ciEnv::_null_object_instance; |
|
82 |
||
52195 | 83 |
#define WK_KLASS_DEFN(name, ignore_s) ciInstanceKlass* ciEnv::_##name = NULL; |
4571 | 84 |
WK_KLASSES_DO(WK_KLASS_DEFN) |
85 |
#undef WK_KLASS_DEFN |
|
1 | 86 |
|
87 |
ciSymbol* ciEnv::_unloaded_cisymbol = NULL; |
|
88 |
ciInstanceKlass* ciEnv::_unloaded_ciinstance_klass = NULL; |
|
89 |
ciObjArrayKlass* ciEnv::_unloaded_ciobjarrayklass = NULL; |
|
90 |
||
91 |
jobject ciEnv::_ArrayIndexOutOfBoundsException_handle = NULL; |
|
92 |
jobject ciEnv::_ArrayStoreException_handle = NULL; |
|
93 |
jobject ciEnv::_ClassCastException_handle = NULL; |
|
94 |
||
95 |
#ifndef PRODUCT |
|
96 |
static bool firstEnv = true; |
|
97 |
#endif /* PRODUCT */ |
|
98 |
||
99 |
// ------------------------------------------------------------------ |
|
100 |
// ciEnv::ciEnv |
|
25946 | 101 |
ciEnv::ciEnv(CompileTask* task, int system_dictionary_modification_counter) |
102 |
: _ciEnv_arena(mtCompiler) { |
|
1 | 103 |
VM_ENTRY_MARK; |
104 |
||
105 |
// Set up ciEnv::current immediately, for the sake of ciObjectFactory, etc. |
|
106 |
thread->set_env(this); |
|
107 |
assert(ciEnv::current() == this, "sanity"); |
|
108 |
||
109 |
_oop_recorder = NULL; |
|
110 |
_debug_info = NULL; |
|
111 |
_dependencies = NULL; |
|
112 |
_failure_reason = NULL; |
|
43675
a2b322083029
8173338: C2: continuous CallSite relinkage eventually disables compilation for a method
vlivanov
parents:
40664
diff
changeset
|
113 |
_inc_decompile_count_on_failure = true; |
1 | 114 |
_compilable = MethodCompilable; |
115 |
_break_at_compile = false; |
|
116 |
_compiler_data = NULL; |
|
117 |
#ifndef PRODUCT |
|
118 |
assert(!firstEnv, "not initialized properly"); |
|
119 |
#endif /* !PRODUCT */ |
|
120 |
||
121 |
_system_dictionary_modification_counter = system_dictionary_modification_counter; |
|
122 |
_num_inlined_bytecodes = 0; |
|
123 |
assert(task == NULL || thread->task() == task, "sanity"); |
|
54015
cd701366fcf8
8163511: Allocation of compile task fails with assert: "Leaking compilation tasks?"
thartmann
parents:
53911
diff
changeset
|
124 |
if (task != NULL) { |
cd701366fcf8
8163511: Allocation of compile task fails with assert: "Leaking compilation tasks?"
thartmann
parents:
53911
diff
changeset
|
125 |
task->mark_started(os::elapsed_counter()); |
cd701366fcf8
8163511: Allocation of compile task fails with assert: "Leaking compilation tasks?"
thartmann
parents:
53911
diff
changeset
|
126 |
} |
1 | 127 |
_task = task; |
128 |
_log = NULL; |
|
129 |
||
130 |
// Temporary buffer for creating symbols and such. |
|
131 |
_name_buffer = NULL; |
|
132 |
_name_buffer_len = 0; |
|
133 |
||
134 |
_arena = &_ciEnv_arena; |
|
135 |
_factory = new (_arena) ciObjectFactory(_arena, 128); |
|
136 |
||
137 |
// Preload commonly referenced system ciObjects. |
|
138 |
||
139 |
// During VM initialization, these instances have not yet been created. |
|
140 |
// Assertions ensure that these instances are not accessed before |
|
141 |
// their initialization. |
|
142 |
||
143 |
assert(Universe::is_fully_initialized(), "should be complete"); |
|
144 |
||
145 |
oop o = Universe::null_ptr_exception_instance(); |
|
146 |
assert(o != NULL, "should have been initialized"); |
|
147 |
_NullPointerException_instance = get_object(o)->as_instance(); |
|
148 |
o = Universe::arithmetic_exception_instance(); |
|
149 |
assert(o != NULL, "should have been initialized"); |
|
150 |
_ArithmeticException_instance = get_object(o)->as_instance(); |
|
151 |
||
152 |
_ArrayIndexOutOfBoundsException_instance = NULL; |
|
153 |
_ArrayStoreException_instance = NULL; |
|
154 |
_ClassCastException_instance = NULL; |
|
4450
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
155 |
_the_null_string = NULL; |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
156 |
_the_min_jint_string = NULL; |
22893
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
157 |
|
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
158 |
_jvmti_can_hotswap_or_post_breakpoint = false; |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
159 |
_jvmti_can_access_local_variables = false; |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
160 |
_jvmti_can_post_on_exceptions = false; |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
161 |
_jvmti_can_pop_frame = false; |
1 | 162 |
} |
163 |
||
25946 | 164 |
ciEnv::ciEnv(Arena* arena) : _ciEnv_arena(mtCompiler) { |
1 | 165 |
ASSERT_IN_VM; |
166 |
||
167 |
// Set up ciEnv::current immediately, for the sake of ciObjectFactory, etc. |
|
168 |
CompilerThread* current_thread = CompilerThread::current(); |
|
169 |
assert(current_thread->env() == NULL, "must be"); |
|
170 |
current_thread->set_env(this); |
|
171 |
assert(ciEnv::current() == this, "sanity"); |
|
172 |
||
173 |
_oop_recorder = NULL; |
|
174 |
_debug_info = NULL; |
|
175 |
_dependencies = NULL; |
|
176 |
_failure_reason = NULL; |
|
43675
a2b322083029
8173338: C2: continuous CallSite relinkage eventually disables compilation for a method
vlivanov
parents:
40664
diff
changeset
|
177 |
_inc_decompile_count_on_failure = true; |
1 | 178 |
_compilable = MethodCompilable_never; |
179 |
_break_at_compile = false; |
|
180 |
_compiler_data = NULL; |
|
181 |
#ifndef PRODUCT |
|
182 |
assert(firstEnv, "must be first"); |
|
183 |
firstEnv = false; |
|
184 |
#endif /* !PRODUCT */ |
|
185 |
||
186 |
_system_dictionary_modification_counter = 0; |
|
187 |
_num_inlined_bytecodes = 0; |
|
188 |
_task = NULL; |
|
189 |
_log = NULL; |
|
190 |
||
191 |
// Temporary buffer for creating symbols and such. |
|
192 |
_name_buffer = NULL; |
|
193 |
_name_buffer_len = 0; |
|
194 |
||
195 |
_arena = arena; |
|
196 |
_factory = new (_arena) ciObjectFactory(_arena, 128); |
|
197 |
||
198 |
// Preload commonly referenced system ciObjects. |
|
199 |
||
200 |
// During VM initialization, these instances have not yet been created. |
|
201 |
// Assertions ensure that these instances are not accessed before |
|
202 |
// their initialization. |
|
203 |
||
204 |
assert(Universe::is_fully_initialized(), "must be"); |
|
205 |
||
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
206 |
_NullPointerException_instance = NULL; |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
207 |
_ArithmeticException_instance = NULL; |
1 | 208 |
_ArrayIndexOutOfBoundsException_instance = NULL; |
209 |
_ArrayStoreException_instance = NULL; |
|
210 |
_ClassCastException_instance = NULL; |
|
4450
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
211 |
_the_null_string = NULL; |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
212 |
_the_min_jint_string = NULL; |
22893
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
213 |
|
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
214 |
_jvmti_can_hotswap_or_post_breakpoint = false; |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
215 |
_jvmti_can_access_local_variables = false; |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
216 |
_jvmti_can_post_on_exceptions = false; |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
217 |
_jvmti_can_pop_frame = false; |
1 | 218 |
} |
219 |
||
220 |
ciEnv::~ciEnv() { |
|
40057
a0511d037cbe
8098573: Compiler accesses to shared archive fail if archive is remapped
zmajo
parents:
38719
diff
changeset
|
221 |
GUARDED_VM_ENTRY( |
a0511d037cbe
8098573: Compiler accesses to shared archive fail if archive is remapped
zmajo
parents:
38719
diff
changeset
|
222 |
CompilerThread* current_thread = CompilerThread::current(); |
a0511d037cbe
8098573: Compiler accesses to shared archive fail if archive is remapped
zmajo
parents:
38719
diff
changeset
|
223 |
_factory->remove_symbols(); |
a0511d037cbe
8098573: Compiler accesses to shared archive fail if archive is remapped
zmajo
parents:
38719
diff
changeset
|
224 |
// Need safepoint to clear the env on the thread. RedefineClasses might |
a0511d037cbe
8098573: Compiler accesses to shared archive fail if archive is remapped
zmajo
parents:
38719
diff
changeset
|
225 |
// be reading it. |
a0511d037cbe
8098573: Compiler accesses to shared archive fail if archive is remapped
zmajo
parents:
38719
diff
changeset
|
226 |
current_thread->set_env(NULL); |
a0511d037cbe
8098573: Compiler accesses to shared archive fail if archive is remapped
zmajo
parents:
38719
diff
changeset
|
227 |
) |
1 | 228 |
} |
229 |
||
230 |
// ------------------------------------------------------------------ |
|
2867
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
231 |
// Cache Jvmti state |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
232 |
void ciEnv::cache_jvmti_state() { |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
233 |
VM_ENTRY_MARK; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
234 |
// Get Jvmti capabilities under lock to get consistant values. |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
235 |
MutexLocker mu(JvmtiThreadState_lock); |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
236 |
_jvmti_can_hotswap_or_post_breakpoint = JvmtiExport::can_hotswap_or_post_breakpoint(); |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
237 |
_jvmti_can_access_local_variables = JvmtiExport::can_access_local_variables(); |
4761
bdb7375a1fee
6902182: 4/4 Starting with jdwp agent should not incur performance penalty
dcubed
parents:
4571
diff
changeset
|
238 |
_jvmti_can_post_on_exceptions = JvmtiExport::can_post_on_exceptions(); |
22893
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
239 |
_jvmti_can_pop_frame = JvmtiExport::can_pop_frame(); |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
240 |
} |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
241 |
|
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
242 |
bool ciEnv::jvmti_state_changed() const { |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
243 |
if (!_jvmti_can_access_local_variables && |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
244 |
JvmtiExport::can_access_local_variables()) { |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
245 |
return true; |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
246 |
} |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
247 |
if (!_jvmti_can_hotswap_or_post_breakpoint && |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
248 |
JvmtiExport::can_hotswap_or_post_breakpoint()) { |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
249 |
return true; |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
250 |
} |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
251 |
if (!_jvmti_can_post_on_exceptions && |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
252 |
JvmtiExport::can_post_on_exceptions()) { |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
253 |
return true; |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
254 |
} |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
255 |
if (!_jvmti_can_pop_frame && |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
256 |
JvmtiExport::can_pop_frame()) { |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
257 |
return true; |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
258 |
} |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
259 |
return false; |
2867
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
260 |
} |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
261 |
|
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
262 |
// ------------------------------------------------------------------ |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
263 |
// Cache DTrace flags |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
264 |
void ciEnv::cache_dtrace_flags() { |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
265 |
// Need lock? |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
266 |
_dtrace_extended_probes = ExtendedDTraceProbes; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
267 |
if (_dtrace_extended_probes) { |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
268 |
_dtrace_monitor_probes = true; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
269 |
_dtrace_method_probes = true; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
270 |
_dtrace_alloc_probes = true; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
271 |
} else { |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
272 |
_dtrace_monitor_probes = DTraceMonitorProbes; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
273 |
_dtrace_method_probes = DTraceMethodProbes; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
274 |
_dtrace_alloc_probes = DTraceAllocProbes; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
275 |
} |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
276 |
} |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
277 |
|
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
278 |
// ------------------------------------------------------------------ |
1 | 279 |
// helper for lazy exception creation |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
280 |
ciInstance* ciEnv::get_or_create_exception(jobject& handle, Symbol* name) { |
1 | 281 |
VM_ENTRY_MARK; |
282 |
if (handle == NULL) { |
|
283 |
// Cf. universe.cpp, creation of Universe::_null_ptr_exception_instance. |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
284 |
Klass* k = SystemDictionary::find(name, Handle(), Handle(), THREAD); |
1 | 285 |
jobject objh = NULL; |
286 |
if (!HAS_PENDING_EXCEPTION && k != NULL) { |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
287 |
oop obj = InstanceKlass::cast(k)->allocate_instance(THREAD); |
1 | 288 |
if (!HAS_PENDING_EXCEPTION) |
46271
979ebd346ecf
8169881: Remove implicit Handle conversions oop->Handle
coleenp
parents:
46262
diff
changeset
|
289 |
objh = JNIHandles::make_global(Handle(THREAD, obj)); |
1 | 290 |
} |
291 |
if (HAS_PENDING_EXCEPTION) { |
|
292 |
CLEAR_PENDING_EXCEPTION; |
|
293 |
} else { |
|
294 |
handle = objh; |
|
295 |
} |
|
296 |
} |
|
297 |
oop obj = JNIHandles::resolve(handle); |
|
298 |
return obj == NULL? NULL: get_object(obj)->as_instance(); |
|
299 |
} |
|
300 |
||
301 |
ciInstance* ciEnv::ArrayIndexOutOfBoundsException_instance() { |
|
302 |
if (_ArrayIndexOutOfBoundsException_instance == NULL) { |
|
303 |
_ArrayIndexOutOfBoundsException_instance |
|
304 |
= get_or_create_exception(_ArrayIndexOutOfBoundsException_handle, |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
305 |
vmSymbols::java_lang_ArrayIndexOutOfBoundsException()); |
1 | 306 |
} |
307 |
return _ArrayIndexOutOfBoundsException_instance; |
|
308 |
} |
|
309 |
ciInstance* ciEnv::ArrayStoreException_instance() { |
|
310 |
if (_ArrayStoreException_instance == NULL) { |
|
311 |
_ArrayStoreException_instance |
|
312 |
= get_or_create_exception(_ArrayStoreException_handle, |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
313 |
vmSymbols::java_lang_ArrayStoreException()); |
1 | 314 |
} |
315 |
return _ArrayStoreException_instance; |
|
316 |
} |
|
317 |
ciInstance* ciEnv::ClassCastException_instance() { |
|
318 |
if (_ClassCastException_instance == NULL) { |
|
319 |
_ClassCastException_instance |
|
320 |
= get_or_create_exception(_ClassCastException_handle, |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
321 |
vmSymbols::java_lang_ClassCastException()); |
1 | 322 |
} |
323 |
return _ClassCastException_instance; |
|
324 |
} |
|
325 |
||
4450
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
326 |
ciInstance* ciEnv::the_null_string() { |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
327 |
if (_the_null_string == NULL) { |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
328 |
VM_ENTRY_MARK; |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
329 |
_the_null_string = get_object(Universe::the_null_string())->as_instance(); |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
330 |
} |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
331 |
return _the_null_string; |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
332 |
} |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
333 |
|
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
334 |
ciInstance* ciEnv::the_min_jint_string() { |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
335 |
if (_the_min_jint_string == NULL) { |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
336 |
VM_ENTRY_MARK; |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
337 |
_the_min_jint_string = get_object(Universe::the_min_jint_string())->as_instance(); |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
338 |
} |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
339 |
return _the_min_jint_string; |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
340 |
} |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
341 |
|
1 | 342 |
// ------------------------------------------------------------------ |
343 |
// ciEnv::get_method_from_handle |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
344 |
ciMethod* ciEnv::get_method_from_handle(Method* method) { |
1 | 345 |
VM_ENTRY_MARK; |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
346 |
return get_metadata(method)->as_method(); |
1 | 347 |
} |
348 |
||
349 |
// ------------------------------------------------------------------ |
|
350 |
// ciEnv::array_element_offset_in_bytes |
|
351 |
int ciEnv::array_element_offset_in_bytes(ciArray* a_h, ciObject* o_h) { |
|
352 |
VM_ENTRY_MARK; |
|
353 |
objArrayOop a = (objArrayOop)a_h->get_oop(); |
|
354 |
assert(a->is_objArray(), ""); |
|
355 |
int length = a->length(); |
|
356 |
oop o = o_h->get_oop(); |
|
357 |
for (int i = 0; i < length; i++) { |
|
358 |
if (a->obj_at(i) == o) return i; |
|
359 |
} |
|
360 |
return -1; |
|
361 |
} |
|
362 |
||
363 |
||
364 |
// ------------------------------------------------------------------ |
|
365 |
// ciEnv::check_klass_accessiblity |
|
366 |
// |
|
367 |
// Note: the logic of this method should mirror the logic of |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
368 |
// ConstantPool::verify_constant_pool_resolve. |
1 | 369 |
bool ciEnv::check_klass_accessibility(ciKlass* accessing_klass, |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
370 |
Klass* resolved_klass) { |
1 | 371 |
if (accessing_klass == NULL || !accessing_klass->is_loaded()) { |
372 |
return true; |
|
373 |
} |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
374 |
if (accessing_klass->is_obj_array_klass()) { |
1 | 375 |
accessing_klass = accessing_klass->as_obj_array_klass()->base_element_klass(); |
376 |
} |
|
377 |
if (!accessing_klass->is_instance_klass()) { |
|
378 |
return true; |
|
379 |
} |
|
380 |
||
33611
9abd65805e19
8139203: Consistent naming for klass type predicates
coleenp
parents:
33593
diff
changeset
|
381 |
if (resolved_klass->is_objArray_klass()) { |
1 | 382 |
// Find the element klass, if this is an array. |
13952
e3cf184080bc
8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents:
13883
diff
changeset
|
383 |
resolved_klass = ObjArrayKlass::cast(resolved_klass)->bottom_klass(); |
1 | 384 |
} |
33611
9abd65805e19
8139203: Consistent naming for klass type predicates
coleenp
parents:
33593
diff
changeset
|
385 |
if (resolved_klass->is_instance_klass()) { |
36508 | 386 |
return (Reflection::verify_class_access(accessing_klass->get_Klass(), |
46262
83280d968b96
8174092: Remove array-related access checks from Reflection::verify_class_access()
hseigel
parents:
40664
diff
changeset
|
387 |
InstanceKlass::cast(resolved_klass), |
36508 | 388 |
true) == Reflection::ACCESS_OK); |
1 | 389 |
} |
390 |
return true; |
|
391 |
} |
|
392 |
||
393 |
// ------------------------------------------------------------------ |
|
394 |
// ciEnv::get_klass_by_name_impl |
|
395 |
ciKlass* ciEnv::get_klass_by_name_impl(ciKlass* accessing_klass, |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
31019
diff
changeset
|
396 |
const constantPoolHandle& cpool, |
1 | 397 |
ciSymbol* name, |
398 |
bool require_local) { |
|
399 |
ASSERT_IN_VM; |
|
400 |
EXCEPTION_CONTEXT; |
|
401 |
||
402 |
// Now we need to check the SystemDictionary |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
403 |
Symbol* sym = name->get_symbol(); |
51997
9ce37fa2e179
8209138: Symbol constructor uses u1 as the element type of its name argument
hseigel
parents:
50963
diff
changeset
|
404 |
if (sym->char_at(0) == 'L' && |
9ce37fa2e179
8209138: Symbol constructor uses u1 as the element type of its name argument
hseigel
parents:
50963
diff
changeset
|
405 |
sym->char_at(sym->utf8_length()-1) == ';') { |
1 | 406 |
// This is a name from a signature. Strip off the trimmings. |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
407 |
// Call recursive to keep scope of strippedsym. |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
408 |
TempNewSymbol strippedsym = SymbolTable::new_symbol(sym->as_utf8()+1, |
54847
59ea39bb2809
8223657: Remove unused THREAD argument from SymbolTable functions
coleenp
parents:
54786
diff
changeset
|
409 |
sym->utf8_length()-2); |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
410 |
ciSymbol* strippedname = get_symbol(strippedsym); |
10008
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
411 |
return get_klass_by_name_impl(accessing_klass, cpool, strippedname, require_local); |
1 | 412 |
} |
413 |
||
414 |
// Check for prior unloaded klass. The SystemDictionary's answers |
|
415 |
// can vary over time but the compiler needs consistency. |
|
416 |
ciKlass* unloaded_klass = check_get_unloaded_klass(accessing_klass, name); |
|
417 |
if (unloaded_klass != NULL) { |
|
418 |
if (require_local) return NULL; |
|
419 |
return unloaded_klass; |
|
420 |
} |
|
421 |
||
422 |
Handle loader(THREAD, (oop)NULL); |
|
423 |
Handle domain(THREAD, (oop)NULL); |
|
424 |
if (accessing_klass != NULL) { |
|
425 |
loader = Handle(THREAD, accessing_klass->loader()); |
|
426 |
domain = Handle(THREAD, accessing_klass->protection_domain()); |
|
427 |
} |
|
428 |
||
429 |
// setup up the proper type to return on OOM |
|
430 |
ciKlass* fail_type; |
|
51997
9ce37fa2e179
8209138: Symbol constructor uses u1 as the element type of its name argument
hseigel
parents:
50963
diff
changeset
|
431 |
if (sym->char_at(0) == '[') { |
1 | 432 |
fail_type = _unloaded_ciobjarrayklass; |
433 |
} else { |
|
434 |
fail_type = _unloaded_ciinstance_klass; |
|
435 |
} |
|
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
436 |
Klass* found_klass; |
8314
057b1c20fd7e
6354181: nsk.logging.stress.threads.scmhml001 fails assertion in "src/share/vm/oops/instanceKlass.cpp, 111"
never
parents:
8076
diff
changeset
|
437 |
{ |
8333
11a7f6fc6419
7021531: lock ordering problems after fix for 6354181
never
parents:
8314
diff
changeset
|
438 |
ttyUnlocker ttyul; // release tty lock to avoid ordering problems |
8314
057b1c20fd7e
6354181: nsk.logging.stress.threads.scmhml001 fails assertion in "src/share/vm/oops/instanceKlass.cpp, 111"
never
parents:
8076
diff
changeset
|
439 |
MutexLocker ml(Compile_lock); |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
440 |
Klass* kls; |
8314
057b1c20fd7e
6354181: nsk.logging.stress.threads.scmhml001 fails assertion in "src/share/vm/oops/instanceKlass.cpp, 111"
never
parents:
8076
diff
changeset
|
441 |
if (!require_local) { |
057b1c20fd7e
6354181: nsk.logging.stress.threads.scmhml001 fails assertion in "src/share/vm/oops/instanceKlass.cpp, 111"
never
parents:
8076
diff
changeset
|
442 |
kls = SystemDictionary::find_constrained_instance_or_array_klass(sym, loader, |
057b1c20fd7e
6354181: nsk.logging.stress.threads.scmhml001 fails assertion in "src/share/vm/oops/instanceKlass.cpp, 111"
never
parents:
8076
diff
changeset
|
443 |
KILL_COMPILE_ON_FATAL_(fail_type)); |
057b1c20fd7e
6354181: nsk.logging.stress.threads.scmhml001 fails assertion in "src/share/vm/oops/instanceKlass.cpp, 111"
never
parents:
8076
diff
changeset
|
444 |
} else { |
057b1c20fd7e
6354181: nsk.logging.stress.threads.scmhml001 fails assertion in "src/share/vm/oops/instanceKlass.cpp, 111"
never
parents:
8076
diff
changeset
|
445 |
kls = SystemDictionary::find_instance_or_array_klass(sym, loader, domain, |
057b1c20fd7e
6354181: nsk.logging.stress.threads.scmhml001 fails assertion in "src/share/vm/oops/instanceKlass.cpp, 111"
never
parents:
8076
diff
changeset
|
446 |
KILL_COMPILE_ON_FATAL_(fail_type)); |
057b1c20fd7e
6354181: nsk.logging.stress.threads.scmhml001 fails assertion in "src/share/vm/oops/instanceKlass.cpp, 111"
never
parents:
8076
diff
changeset
|
447 |
} |
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
448 |
found_klass = kls; |
1 | 449 |
} |
450 |
||
451 |
// If we fail to find an array klass, look again for its element type. |
|
452 |
// The element type may be available either locally or via constraints. |
|
453 |
// In either case, if we can find the element type in the system dictionary, |
|
454 |
// we must build an array type around it. The CI requires array klasses |
|
455 |
// to be loaded if their element klasses are loaded, except when memory |
|
456 |
// is exhausted. |
|
51997
9ce37fa2e179
8209138: Symbol constructor uses u1 as the element type of its name argument
hseigel
parents:
50963
diff
changeset
|
457 |
if (sym->char_at(0) == '[' && |
9ce37fa2e179
8209138: Symbol constructor uses u1 as the element type of its name argument
hseigel
parents:
50963
diff
changeset
|
458 |
(sym->char_at(1) == '[' || sym->char_at(1) == 'L')) { |
1 | 459 |
// We have an unloaded array. |
460 |
// Build it on the fly if the element class exists. |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
461 |
TempNewSymbol elem_sym = SymbolTable::new_symbol(sym->as_utf8()+1, |
54847
59ea39bb2809
8223657: Remove unused THREAD argument from SymbolTable functions
coleenp
parents:
54786
diff
changeset
|
462 |
sym->utf8_length()-1); |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
463 |
|
1 | 464 |
// Get element ciKlass recursively. |
465 |
ciKlass* elem_klass = |
|
466 |
get_klass_by_name_impl(accessing_klass, |
|
10008
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
467 |
cpool, |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
468 |
get_symbol(elem_sym), |
1 | 469 |
require_local); |
470 |
if (elem_klass != NULL && elem_klass->is_loaded()) { |
|
471 |
// Now make an array for it |
|
472 |
return ciObjArrayKlass::make_impl(elem_klass); |
|
473 |
} |
|
474 |
} |
|
475 |
||
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
476 |
if (found_klass == NULL && !cpool.is_null() && cpool->has_preresolution()) { |
10008
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
477 |
// Look inside the constant pool for pre-resolved class entries. |
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
478 |
for (int i = cpool->length() - 1; i >= 1; i--) { |
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
479 |
if (cpool->tag_at(i).is_klass()) { |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
480 |
Klass* kls = cpool->resolved_klass_at(i); |
14488 | 481 |
if (kls->name() == sym) { |
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
482 |
found_klass = kls; |
10008
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
483 |
break; |
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
484 |
} |
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
485 |
} |
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
486 |
} |
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
487 |
} |
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
488 |
|
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
489 |
if (found_klass != NULL) { |
1 | 490 |
// Found it. Build a CI handle. |
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
491 |
return get_klass(found_klass); |
1 | 492 |
} |
493 |
||
494 |
if (require_local) return NULL; |
|
10734
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10564
diff
changeset
|
495 |
|
1 | 496 |
// Not yet loaded into the VM, or not governed by loader constraints. |
497 |
// Make a CI representative for it. |
|
498 |
return get_unloaded_klass(accessing_klass, name); |
|
499 |
} |
|
500 |
||
501 |
// ------------------------------------------------------------------ |
|
502 |
// ciEnv::get_klass_by_name |
|
503 |
ciKlass* ciEnv::get_klass_by_name(ciKlass* accessing_klass, |
|
504 |
ciSymbol* klass_name, |
|
505 |
bool require_local) { |
|
506 |
GUARDED_VM_ENTRY(return get_klass_by_name_impl(accessing_klass, |
|
10008
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
507 |
constantPoolHandle(), |
1 | 508 |
klass_name, |
509 |
require_local);) |
|
510 |
} |
|
511 |
||
512 |
// ------------------------------------------------------------------ |
|
513 |
// ciEnv::get_klass_by_index_impl |
|
514 |
// |
|
515 |
// Implementation of get_klass_by_index. |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
31019
diff
changeset
|
516 |
ciKlass* ciEnv::get_klass_by_index_impl(const constantPoolHandle& cpool, |
1 | 517 |
int index, |
4567
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
518 |
bool& is_accessible, |
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
519 |
ciInstanceKlass* accessor) { |
1 | 520 |
EXCEPTION_CONTEXT; |
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
521 |
Klass* klass = NULL; |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
522 |
Symbol* klass_name = NULL; |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
523 |
|
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
524 |
if (cpool->tag_at(index).is_symbol()) { |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
525 |
klass_name = cpool->symbol_at(index); |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
526 |
} else { |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
527 |
// Check if it's resolved if it's not a symbol constant pool entry. |
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
528 |
klass = ConstantPool::klass_at_if_loaded(cpool, index); |
25325 | 529 |
// Try to look it up by name. |
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
530 |
if (klass == NULL) { |
25325 | 531 |
klass_name = cpool->klass_name_at(index); |
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
532 |
} |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
533 |
} |
1 | 534 |
|
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
535 |
if (klass == NULL) { |
1 | 536 |
// Not found in constant pool. Use the name to do the lookup. |
537 |
ciKlass* k = get_klass_by_name_impl(accessor, |
|
10008
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
538 |
cpool, |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
539 |
get_symbol(klass_name), |
1 | 540 |
false); |
541 |
// Calculate accessibility the hard way. |
|
542 |
if (!k->is_loaded()) { |
|
543 |
is_accessible = false; |
|
49658 | 544 |
} else if (!oopDesc::equals(k->loader(), accessor->loader()) && |
10008
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
545 |
get_klass_by_name_impl(accessor, cpool, k->name(), true) == NULL) { |
1 | 546 |
// Loaded only remotely. Not linked yet. |
547 |
is_accessible = false; |
|
548 |
} else { |
|
549 |
// Linked locally, and we must also check public/private, etc. |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
550 |
is_accessible = check_klass_accessibility(accessor, k->get_Klass()); |
1 | 551 |
} |
552 |
return k; |
|
553 |
} |
|
554 |
||
555 |
// Check for prior unloaded klass. The SystemDictionary's answers |
|
556 |
// can vary over time but the compiler needs consistency. |
|
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
557 |
ciSymbol* name = get_symbol(klass->name()); |
1 | 558 |
ciKlass* unloaded_klass = check_get_unloaded_klass(accessor, name); |
559 |
if (unloaded_klass != NULL) { |
|
560 |
is_accessible = false; |
|
561 |
return unloaded_klass; |
|
562 |
} |
|
563 |
||
564 |
// It is known to be accessible, since it was found in the constant pool. |
|
565 |
is_accessible = true; |
|
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
566 |
return get_klass(klass); |
1 | 567 |
} |
568 |
||
569 |
// ------------------------------------------------------------------ |
|
570 |
// ciEnv::get_klass_by_index |
|
571 |
// |
|
572 |
// Get a klass from the constant pool. |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
31019
diff
changeset
|
573 |
ciKlass* ciEnv::get_klass_by_index(const constantPoolHandle& cpool, |
1 | 574 |
int index, |
4567
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
575 |
bool& is_accessible, |
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
576 |
ciInstanceKlass* accessor) { |
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
577 |
GUARDED_VM_ENTRY(return get_klass_by_index_impl(cpool, index, is_accessible, accessor);) |
1 | 578 |
} |
579 |
||
580 |
// ------------------------------------------------------------------ |
|
581 |
// ciEnv::get_constant_by_index_impl |
|
582 |
// |
|
583 |
// Implementation of get_constant_by_index(). |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
31019
diff
changeset
|
584 |
ciConstant ciEnv::get_constant_by_index_impl(const constantPoolHandle& cpool, |
5882 | 585 |
int pool_index, int cache_index, |
4567
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
586 |
ciInstanceKlass* accessor) { |
5882 | 587 |
bool ignore_will_link; |
1 | 588 |
EXCEPTION_CONTEXT; |
5882 | 589 |
int index = pool_index; |
590 |
if (cache_index >= 0) { |
|
591 |
assert(index < 0, "only one kind of index at a time"); |
|
48826 | 592 |
index = cpool->object_to_cp_index(cache_index); |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
593 |
oop obj = cpool->resolved_references()->obj_at(cache_index); |
5882 | 594 |
if (obj != NULL) { |
49658 | 595 |
if (oopDesc::equals(obj, Universe::the_null_sentinel())) { |
48826 | 596 |
return ciConstant(T_OBJECT, get_object(NULL)); |
597 |
} |
|
598 |
BasicType bt = T_OBJECT; |
|
599 |
if (cpool->tag_at(index).is_dynamic_constant()) |
|
600 |
bt = FieldType::basic_type(cpool->uncached_signature_ref_at(index)); |
|
601 |
if (is_reference_type(bt)) { |
|
602 |
} else { |
|
603 |
// we have to unbox the primitive value |
|
604 |
if (!is_java_primitive(bt)) return ciConstant(); |
|
605 |
jvalue value; |
|
606 |
BasicType bt2 = java_lang_boxing_object::get_value(obj, &value); |
|
607 |
assert(bt2 == bt, ""); |
|
608 |
switch (bt2) { |
|
609 |
case T_DOUBLE: return ciConstant(value.d); |
|
610 |
case T_FLOAT: return ciConstant(value.f); |
|
611 |
case T_LONG: return ciConstant(value.j); |
|
612 |
case T_INT: return ciConstant(bt2, value.i); |
|
613 |
case T_SHORT: return ciConstant(bt2, value.s); |
|
614 |
case T_BYTE: return ciConstant(bt2, value.b); |
|
615 |
case T_CHAR: return ciConstant(bt2, value.c); |
|
616 |
case T_BOOLEAN: return ciConstant(bt2, value.z); |
|
617 |
default: return ciConstant(); |
|
618 |
} |
|
619 |
} |
|
5882 | 620 |
ciObject* ciobj = get_object(obj); |
26944
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
621 |
if (ciobj->is_array()) { |
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
622 |
return ciConstant(T_ARRAY, ciobj); |
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
623 |
} else { |
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
624 |
assert(ciobj->is_instance(), "should be an instance"); |
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
625 |
return ciConstant(T_OBJECT, ciobj); |
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
626 |
} |
5882 | 627 |
} |
628 |
} |
|
1 | 629 |
constantTag tag = cpool->tag_at(index); |
630 |
if (tag.is_int()) { |
|
631 |
return ciConstant(T_INT, (jint)cpool->int_at(index)); |
|
632 |
} else if (tag.is_long()) { |
|
633 |
return ciConstant((jlong)cpool->long_at(index)); |
|
634 |
} else if (tag.is_float()) { |
|
635 |
return ciConstant((jfloat)cpool->float_at(index)); |
|
636 |
} else if (tag.is_double()) { |
|
637 |
return ciConstant((jdouble)cpool->double_at(index)); |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
638 |
} else if (tag.is_string()) { |
1550
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
639 |
oop string = NULL; |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
640 |
assert(cache_index >= 0, "should have a cache index"); |
1550
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
641 |
if (cpool->is_pseudo_string_at(index)) { |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
642 |
string = cpool->pseudo_string_at(index, cache_index); |
1550
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
643 |
} else { |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
644 |
string = cpool->string_at(index, cache_index, THREAD); |
1550
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
645 |
if (HAS_PENDING_EXCEPTION) { |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
646 |
CLEAR_PENDING_EXCEPTION; |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
647 |
record_out_of_memory_failure(); |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
648 |
return ciConstant(); |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
649 |
} |
1 | 650 |
} |
651 |
ciObject* constant = get_object(string); |
|
26944
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
652 |
if (constant->is_array()) { |
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
653 |
return ciConstant(T_ARRAY, constant); |
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
654 |
} else { |
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
655 |
assert (constant->is_instance(), "must be an instance, or not? "); |
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
656 |
return ciConstant(T_OBJECT, constant); |
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
657 |
} |
1 | 658 |
} else if (tag.is_klass() || tag.is_unresolved_klass()) { |
659 |
// 4881222: allow ldc to take a class type |
|
5882 | 660 |
ciKlass* klass = get_klass_by_index_impl(cpool, index, ignore_will_link, accessor); |
1 | 661 |
if (HAS_PENDING_EXCEPTION) { |
662 |
CLEAR_PENDING_EXCEPTION; |
|
663 |
record_out_of_memory_failure(); |
|
664 |
return ciConstant(); |
|
665 |
} |
|
666 |
assert (klass->is_instance_klass() || klass->is_array_klass(), |
|
667 |
"must be an instance or array klass "); |
|
5882 | 668 |
return ciConstant(T_OBJECT, klass->java_mirror()); |
669 |
} else if (tag.is_method_type()) { |
|
670 |
// must execute Java code to link this CP entry into cache[i].f1 |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
671 |
ciSymbol* signature = get_symbol(cpool->method_type_signature_at(index)); |
5882 | 672 |
ciObject* ciobj = get_unloaded_method_type_constant(signature); |
673 |
return ciConstant(T_OBJECT, ciobj); |
|
674 |
} else if (tag.is_method_handle()) { |
|
675 |
// must execute Java code to link this CP entry into cache[i].f1 |
|
676 |
int ref_kind = cpool->method_handle_ref_kind_at(index); |
|
677 |
int callee_index = cpool->method_handle_klass_index_at(index); |
|
678 |
ciKlass* callee = get_klass_by_index_impl(cpool, callee_index, ignore_will_link, accessor); |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
679 |
ciSymbol* name = get_symbol(cpool->method_handle_name_ref_at(index)); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
680 |
ciSymbol* signature = get_symbol(cpool->method_handle_signature_ref_at(index)); |
5882 | 681 |
ciObject* ciobj = get_unloaded_method_handle_constant(callee, name, signature, ref_kind); |
682 |
return ciConstant(T_OBJECT, ciobj); |
|
48826 | 683 |
} else if (tag.is_dynamic_constant()) { |
684 |
return ciConstant(); |
|
1 | 685 |
} else { |
686 |
ShouldNotReachHere(); |
|
687 |
return ciConstant(); |
|
688 |
} |
|
689 |
} |
|
690 |
||
691 |
// ------------------------------------------------------------------ |
|
692 |
// ciEnv::get_constant_by_index |
|
693 |
// |
|
694 |
// Pull a constant out of the constant pool. How appropriate. |
|
695 |
// |
|
696 |
// Implementation note: this query is currently in no way cached. |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
31019
diff
changeset
|
697 |
ciConstant ciEnv::get_constant_by_index(const constantPoolHandle& cpool, |
5882 | 698 |
int pool_index, int cache_index, |
4567
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
699 |
ciInstanceKlass* accessor) { |
5882 | 700 |
GUARDED_VM_ENTRY(return get_constant_by_index_impl(cpool, pool_index, cache_index, accessor);) |
1 | 701 |
} |
702 |
||
703 |
// ------------------------------------------------------------------ |
|
704 |
// ciEnv::get_field_by_index_impl |
|
705 |
// |
|
706 |
// Implementation of get_field_by_index. |
|
707 |
// |
|
708 |
// Implementation note: the results of field lookups are cached |
|
709 |
// in the accessor klass. |
|
710 |
ciField* ciEnv::get_field_by_index_impl(ciInstanceKlass* accessor, |
|
711 |
int index) { |
|
712 |
ciConstantPoolCache* cache = accessor->field_cache(); |
|
713 |
if (cache == NULL) { |
|
714 |
ciField* field = new (arena()) ciField(accessor, index); |
|
715 |
return field; |
|
716 |
} else { |
|
717 |
ciField* field = (ciField*)cache->get(index); |
|
718 |
if (field == NULL) { |
|
719 |
field = new (arena()) ciField(accessor, index); |
|
720 |
cache->insert(index, field); |
|
721 |
} |
|
722 |
return field; |
|
723 |
} |
|
724 |
} |
|
725 |
||
726 |
// ------------------------------------------------------------------ |
|
727 |
// ciEnv::get_field_by_index |
|
728 |
// |
|
729 |
// Get a field by index from a klass's constant pool. |
|
730 |
ciField* ciEnv::get_field_by_index(ciInstanceKlass* accessor, |
|
731 |
int index) { |
|
732 |
GUARDED_VM_ENTRY(return get_field_by_index_impl(accessor, index);) |
|
733 |
} |
|
734 |
||
735 |
// ------------------------------------------------------------------ |
|
736 |
// ciEnv::lookup_method |
|
737 |
// |
|
738 |
// Perform an appropriate method lookup based on accessor, holder, |
|
739 |
// name, signature, and bytecode. |
|
43938
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
740 |
Method* ciEnv::lookup_method(ciInstanceKlass* accessor, |
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
741 |
ciKlass* holder, |
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
742 |
Symbol* name, |
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
743 |
Symbol* sig, |
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
744 |
Bytecodes::Code bc, |
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
745 |
constantTag tag) { |
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
746 |
// Accessibility checks are performed in ciEnv::get_method_by_index_impl. |
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
747 |
assert(check_klass_accessibility(accessor, holder->get_Klass()), "holder not accessible"); |
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
748 |
|
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
749 |
InstanceKlass* accessor_klass = accessor->get_instanceKlass(); |
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
750 |
Klass* holder_klass = holder->get_Klass(); |
1 | 751 |
methodHandle dest_method; |
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
752 |
LinkInfo link_info(holder_klass, name, sig, accessor_klass, LinkInfo::needs_access_check, tag); |
1 | 753 |
switch (bc) { |
754 |
case Bytecodes::_invokestatic: |
|
755 |
dest_method = |
|
31019 | 756 |
LinkResolver::resolve_static_call_or_null(link_info); |
1 | 757 |
break; |
758 |
case Bytecodes::_invokespecial: |
|
759 |
dest_method = |
|
31019 | 760 |
LinkResolver::resolve_special_call_or_null(link_info); |
1 | 761 |
break; |
762 |
case Bytecodes::_invokeinterface: |
|
763 |
dest_method = |
|
31019 | 764 |
LinkResolver::linktime_resolve_interface_method_or_null(link_info); |
1 | 765 |
break; |
766 |
case Bytecodes::_invokevirtual: |
|
767 |
dest_method = |
|
31019 | 768 |
LinkResolver::linktime_resolve_virtual_method_or_null(link_info); |
1 | 769 |
break; |
770 |
default: ShouldNotReachHere(); |
|
771 |
} |
|
772 |
||
773 |
return dest_method(); |
|
774 |
} |
|
775 |
||
776 |
||
777 |
// ------------------------------------------------------------------ |
|
778 |
// ciEnv::get_method_by_index_impl |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
31019
diff
changeset
|
779 |
ciMethod* ciEnv::get_method_by_index_impl(const constantPoolHandle& cpool, |
4567
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
780 |
int index, Bytecodes::Code bc, |
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
781 |
ciInstanceKlass* accessor) { |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
782 |
if (bc == Bytecodes::_invokedynamic) { |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
783 |
ConstantPoolCacheEntry* cpce = cpool->invokedynamic_cp_cache_entry_at(index); |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
784 |
bool is_resolved = !cpce->is_f1_null(); |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
785 |
// FIXME: code generation could allow for null (unlinked) call site |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
786 |
// The call site could be made patchable as follows: |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
787 |
// Load the appendix argument from the constant pool. |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
788 |
// Test the appendix argument and jump to a known deopt routine if it is null. |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
789 |
// Jump through a patchable call site, which is initially a deopt routine. |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
790 |
// Patch the call site to the nmethod entry point of the static compiled lambda form. |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
791 |
// As with other two-component call sites, both values must be independently verified. |
10008
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
792 |
|
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
793 |
if (is_resolved) { |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
794 |
// Get the invoker Method* from the constant pool. |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
795 |
// (The appendix argument, if any, will be noted in the method's signature.) |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
796 |
Method* adapter = cpce->f1_as_method(); |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
797 |
return get_method(adapter); |
10008
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
798 |
} |
1 | 799 |
|
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
800 |
// Fake a method that is equivalent to a declared method. |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
801 |
ciInstanceKlass* holder = get_instance_klass(SystemDictionary::MethodHandle_klass()); |
13391
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
10734
diff
changeset
|
802 |
ciSymbol* name = ciSymbol::invokeBasic_name(); |
10734
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10564
diff
changeset
|
803 |
ciSymbol* signature = get_symbol(cpool->signature_ref_at(index)); |
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10564
diff
changeset
|
804 |
return get_unloaded_method(holder, name, signature, accessor); |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
805 |
} else { |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
806 |
const int holder_index = cpool->klass_ref_index_at(index); |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
807 |
bool holder_is_accessible; |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
808 |
ciKlass* holder = get_klass_by_index_impl(cpool, holder_index, holder_is_accessible, accessor); |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
809 |
|
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
810 |
// Get the method's name and signature. |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
811 |
Symbol* name_sym = cpool->name_ref_at(index); |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
812 |
Symbol* sig_sym = cpool->signature_ref_at(index); |
4566
b363f6ef4068
6829187: compiler optimizations required for JSR 292
twisti
parents:
4450
diff
changeset
|
813 |
|
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
814 |
if (cpool->has_preresolution() |
36819 | 815 |
|| ((holder == ciEnv::MethodHandle_klass() || holder == ciEnv::VarHandle_klass()) && |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
816 |
MethodHandles::is_signature_polymorphic_name(holder->get_Klass(), name_sym))) { |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
817 |
// Short-circuit lookups for JSR 292-related call sites. |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
818 |
// That is, do not rely only on name-based lookups, because they may fail |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
819 |
// if the names are not resolvable in the boot class loader (7056328). |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
820 |
switch (bc) { |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
821 |
case Bytecodes::_invokevirtual: |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
822 |
case Bytecodes::_invokeinterface: |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
823 |
case Bytecodes::_invokespecial: |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
824 |
case Bytecodes::_invokestatic: |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
825 |
{ |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
826 |
Method* m = ConstantPool::method_at_if_loaded(cpool, index); |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
827 |
if (m != NULL) { |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
828 |
return get_method(m); |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
829 |
} |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
830 |
} |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
831 |
break; |
46630
75aa3e39d02c
8182299: Enable disabled clang warnings, build on OSX 10 + Xcode 8
jwilhelm
parents:
46560
diff
changeset
|
832 |
default: |
75aa3e39d02c
8182299: Enable disabled clang warnings, build on OSX 10 + Xcode 8
jwilhelm
parents:
46560
diff
changeset
|
833 |
break; |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
834 |
} |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
835 |
} |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
836 |
|
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
837 |
if (holder_is_accessible) { // Our declared holder is loaded. |
38719
133bf85c3f36
8145148: InterfaceMethod CP entry pointing to a class should cause ICCE
coleenp
parents:
38133
diff
changeset
|
838 |
constantTag tag = cpool->tag_ref_at(index); |
133bf85c3f36
8145148: InterfaceMethod CP entry pointing to a class should cause ICCE
coleenp
parents:
38133
diff
changeset
|
839 |
assert(accessor->get_instanceKlass() == cpool->pool_holder(), "not the pool holder?"); |
43938
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
840 |
Method* m = lookup_method(accessor, holder, name_sym, sig_sym, bc, tag); |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
841 |
if (m != NULL && |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
842 |
(bc == Bytecodes::_invokestatic |
14391
df0a1573d5bd
8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents:
13974
diff
changeset
|
843 |
? m->method_holder()->is_not_initialized() |
df0a1573d5bd
8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents:
13974
diff
changeset
|
844 |
: !m->method_holder()->is_loaded())) { |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
845 |
m = NULL; |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
846 |
} |
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
847 |
#ifdef ASSERT |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
848 |
if (m != NULL && ReplayCompiles && !ciReplay::is_loaded(m)) { |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
849 |
m = NULL; |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
850 |
} |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
851 |
#endif |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
852 |
if (m != NULL) { |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
853 |
// We found the method. |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
854 |
return get_method(m); |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
855 |
} |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
856 |
} |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
857 |
|
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
858 |
// Either the declared holder was not loaded, or the method could |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
859 |
// not be found. Create a dummy ciMethod to represent the failed |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
860 |
// lookup. |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
861 |
ciSymbol* name = get_symbol(name_sym); |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
862 |
ciSymbol* signature = get_symbol(sig_sym); |
43938
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
863 |
return get_unloaded_method(holder, name, signature, accessor); |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
864 |
} |
4566
b363f6ef4068
6829187: compiler optimizations required for JSR 292
twisti
parents:
4450
diff
changeset
|
865 |
} |
b363f6ef4068
6829187: compiler optimizations required for JSR 292
twisti
parents:
4450
diff
changeset
|
866 |
|
b363f6ef4068
6829187: compiler optimizations required for JSR 292
twisti
parents:
4450
diff
changeset
|
867 |
|
b363f6ef4068
6829187: compiler optimizations required for JSR 292
twisti
parents:
4450
diff
changeset
|
868 |
// ------------------------------------------------------------------ |
1 | 869 |
// ciEnv::get_instance_klass_for_declared_method_holder |
870 |
ciInstanceKlass* ciEnv::get_instance_klass_for_declared_method_holder(ciKlass* method_holder) { |
|
871 |
// For the case of <array>.clone(), the method holder can be a ciArrayKlass |
|
872 |
// instead of a ciInstanceKlass. For that case simply pretend that the |
|
873 |
// declared holder is Object.clone since that's where the call will bottom out. |
|
874 |
// A more correct fix would trickle out through many interfaces in CI, |
|
875 |
// requiring ciInstanceKlass* to become ciKlass* and many more places would |
|
876 |
// require checks to make sure the expected type was found. Given that this |
|
877 |
// only occurs for clone() the more extensive fix seems like overkill so |
|
878 |
// instead we simply smear the array type into Object. |
|
16378
453b42d22a85
8009565: [partfait] Null pointer deference in hotspot/src/share/vm/ci/ciEnv.cpp
morris
parents:
15799
diff
changeset
|
879 |
guarantee(method_holder != NULL, "no method holder"); |
1 | 880 |
if (method_holder->is_instance_klass()) { |
881 |
return method_holder->as_instance_klass(); |
|
882 |
} else if (method_holder->is_array_klass()) { |
|
883 |
return current()->Object_klass(); |
|
884 |
} else { |
|
885 |
ShouldNotReachHere(); |
|
886 |
} |
|
887 |
return NULL; |
|
888 |
} |
|
889 |
||
890 |
||
891 |
// ------------------------------------------------------------------ |
|
892 |
// ciEnv::get_method_by_index |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
31019
diff
changeset
|
893 |
ciMethod* ciEnv::get_method_by_index(const constantPoolHandle& cpool, |
4567
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
894 |
int index, Bytecodes::Code bc, |
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
895 |
ciInstanceKlass* accessor) { |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
896 |
GUARDED_VM_ENTRY(return get_method_by_index_impl(cpool, index, bc, accessor);) |
1 | 897 |
} |
898 |
||
4566
b363f6ef4068
6829187: compiler optimizations required for JSR 292
twisti
parents:
4450
diff
changeset
|
899 |
|
1 | 900 |
// ------------------------------------------------------------------ |
901 |
// ciEnv::name_buffer |
|
902 |
char *ciEnv::name_buffer(int req_len) { |
|
903 |
if (_name_buffer_len < req_len) { |
|
904 |
if (_name_buffer == NULL) { |
|
905 |
_name_buffer = (char*)arena()->Amalloc(sizeof(char)*req_len); |
|
906 |
_name_buffer_len = req_len; |
|
907 |
} else { |
|
908 |
_name_buffer = |
|
909 |
(char*)arena()->Arealloc(_name_buffer, _name_buffer_len, req_len); |
|
910 |
_name_buffer_len = req_len; |
|
911 |
} |
|
912 |
} |
|
913 |
return _name_buffer; |
|
914 |
} |
|
915 |
||
916 |
// ------------------------------------------------------------------ |
|
917 |
// ciEnv::is_in_vm |
|
918 |
bool ciEnv::is_in_vm() { |
|
919 |
return JavaThread::current()->thread_state() == _thread_in_vm; |
|
920 |
} |
|
921 |
||
53469
1d953ae4d39f
8216136: Take Compile_lock for SystemDictionary::_modification_counter with safepoint check
coleenp
parents:
53345
diff
changeset
|
922 |
bool ciEnv::system_dictionary_modification_counter_changed_locked() { |
1d953ae4d39f
8216136: Take Compile_lock for SystemDictionary::_modification_counter with safepoint check
coleenp
parents:
53345
diff
changeset
|
923 |
assert_locked_or_safepoint(Compile_lock); |
1d953ae4d39f
8216136: Take Compile_lock for SystemDictionary::_modification_counter with safepoint check
coleenp
parents:
53345
diff
changeset
|
924 |
return _system_dictionary_modification_counter != SystemDictionary::number_of_modifications(); |
1d953ae4d39f
8216136: Take Compile_lock for SystemDictionary::_modification_counter with safepoint check
coleenp
parents:
53345
diff
changeset
|
925 |
} |
1d953ae4d39f
8216136: Take Compile_lock for SystemDictionary::_modification_counter with safepoint check
coleenp
parents:
53345
diff
changeset
|
926 |
|
1 | 927 |
bool ciEnv::system_dictionary_modification_counter_changed() { |
53469
1d953ae4d39f
8216136: Take Compile_lock for SystemDictionary::_modification_counter with safepoint check
coleenp
parents:
53345
diff
changeset
|
928 |
VM_ENTRY_MARK; |
1d953ae4d39f
8216136: Take Compile_lock for SystemDictionary::_modification_counter with safepoint check
coleenp
parents:
53345
diff
changeset
|
929 |
MutexLocker ml(Compile_lock, THREAD); // lock with safepoint check |
1d953ae4d39f
8216136: Take Compile_lock for SystemDictionary::_modification_counter with safepoint check
coleenp
parents:
53345
diff
changeset
|
930 |
return system_dictionary_modification_counter_changed_locked(); |
1 | 931 |
} |
932 |
||
933 |
// ------------------------------------------------------------------ |
|
10503
04b74421bdea
7083184: JSR 292: don't store context class argument with call site dependencies
twisti
parents:
10008
diff
changeset
|
934 |
// ciEnv::validate_compile_task_dependencies |
04b74421bdea
7083184: JSR 292: don't store context class argument with call site dependencies
twisti
parents:
10008
diff
changeset
|
935 |
// |
04b74421bdea
7083184: JSR 292: don't store context class argument with call site dependencies
twisti
parents:
10008
diff
changeset
|
936 |
// Check for changes during compilation (e.g. class loads, evolution, |
04b74421bdea
7083184: JSR 292: don't store context class argument with call site dependencies
twisti
parents:
10008
diff
changeset
|
937 |
// breakpoints, call site invalidation). |
04b74421bdea
7083184: JSR 292: don't store context class argument with call site dependencies
twisti
parents:
10008
diff
changeset
|
938 |
void ciEnv::validate_compile_task_dependencies(ciMethod* target) { |
1 | 939 |
if (failing()) return; // no need for further checks |
940 |
||
53469
1d953ae4d39f
8216136: Take Compile_lock for SystemDictionary::_modification_counter with safepoint check
coleenp
parents:
53345
diff
changeset
|
941 |
bool counter_changed = system_dictionary_modification_counter_changed_locked(); |
48299
e8f5fc8f5f67
8191052: [Graal] java/lang/invoke/CallSiteTest.java intermittently fails with "Failed dependency of type call_site_target_value" when running with Graal as JIT
never
parents:
48007
diff
changeset
|
942 |
Dependencies::DepType result = dependencies()->validate_dependencies(_task, counter_changed); |
e8f5fc8f5f67
8191052: [Graal] java/lang/invoke/CallSiteTest.java intermittently fails with "Failed dependency of type call_site_target_value" when running with Graal as JIT
never
parents:
48007
diff
changeset
|
943 |
if (result != Dependencies::end_marker) { |
e8f5fc8f5f67
8191052: [Graal] java/lang/invoke/CallSiteTest.java intermittently fails with "Failed dependency of type call_site_target_value" when running with Graal as JIT
never
parents:
48007
diff
changeset
|
944 |
if (result == Dependencies::call_site_target_value) { |
e8f5fc8f5f67
8191052: [Graal] java/lang/invoke/CallSiteTest.java intermittently fails with "Failed dependency of type call_site_target_value" when running with Graal as JIT
never
parents:
48007
diff
changeset
|
945 |
_inc_decompile_count_on_failure = false; |
e8f5fc8f5f67
8191052: [Graal] java/lang/invoke/CallSiteTest.java intermittently fails with "Failed dependency of type call_site_target_value" when running with Graal as JIT
never
parents:
48007
diff
changeset
|
946 |
record_failure("call site target change"); |
e8f5fc8f5f67
8191052: [Graal] java/lang/invoke/CallSiteTest.java intermittently fails with "Failed dependency of type call_site_target_value" when running with Graal as JIT
never
parents:
48007
diff
changeset
|
947 |
} else if (Dependencies::is_klass_type(result)) { |
50963
69b438908512
8206931: Misleading "COMPILE SKIPPED: invalid non-klass dependency" compile log
shade
parents:
50113
diff
changeset
|
948 |
record_failure("concurrent class loading"); |
48299
e8f5fc8f5f67
8191052: [Graal] java/lang/invoke/CallSiteTest.java intermittently fails with "Failed dependency of type call_site_target_value" when running with Graal as JIT
never
parents:
48007
diff
changeset
|
949 |
} else { |
50963
69b438908512
8206931: Misleading "COMPILE SKIPPED: invalid non-klass dependency" compile log
shade
parents:
50113
diff
changeset
|
950 |
record_failure("invalid non-klass dependency"); |
10503
04b74421bdea
7083184: JSR 292: don't store context class argument with call site dependencies
twisti
parents:
10008
diff
changeset
|
951 |
} |
04b74421bdea
7083184: JSR 292: don't store context class argument with call site dependencies
twisti
parents:
10008
diff
changeset
|
952 |
} |
1 | 953 |
} |
954 |
||
955 |
// ------------------------------------------------------------------ |
|
956 |
// ciEnv::register_method |
|
957 |
void ciEnv::register_method(ciMethod* target, |
|
958 |
int entry_bci, |
|
959 |
CodeOffsets* offsets, |
|
960 |
int orig_pc_offset, |
|
961 |
CodeBuffer* code_buffer, |
|
962 |
int frame_words, |
|
963 |
OopMapSet* oop_map_set, |
|
964 |
ExceptionHandlerTable* handler_table, |
|
965 |
ImplicitExceptionTable* inc_table, |
|
966 |
AbstractCompiler* compiler, |
|
13883
6979b9850feb
7196199: java/text/Bidi/Bug6665028.java failed: Bidi run count incorrect
kvn
parents:
13728
diff
changeset
|
967 |
bool has_unsafe_access, |
23491 | 968 |
bool has_wide_vectors, |
969 |
RTMState rtm_state) { |
|
1 | 970 |
VM_ENTRY_MARK; |
971 |
nmethod* nm = NULL; |
|
972 |
{ |
|
973 |
// To prevent compile queue updates. |
|
974 |
MutexLocker locker(MethodCompileQueue_lock, THREAD); |
|
975 |
||
976 |
// Prevent SystemDictionary::add_to_hierarchy from running |
|
977 |
// and invalidating our dependencies until we install this method. |
|
21572
9cd0dd352fcd
8023037: Race between ciEnv::register_method and nmethod::make_not_entrant_or_zombie
vlivanov
parents:
21079
diff
changeset
|
978 |
// No safepoints are allowed. Otherwise, class redefinition can occur in between. |
1 | 979 |
MutexLocker ml(Compile_lock); |
35492
c8c0273e6b91
8146690: Make all classes in GC follow the naming convention.
david
parents:
34238
diff
changeset
|
980 |
NoSafepointVerifier nsv; |
1 | 981 |
|
2867
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
982 |
// Change in Jvmti state may invalidate compilation. |
22893
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
983 |
if (!failing() && jvmti_state_changed()) { |
2867
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
984 |
record_failure("Jvmti state change invalidated dependencies"); |
1 | 985 |
} |
986 |
||
2867
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
987 |
// Change in DTrace flags may invalidate compilation. |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
988 |
if (!failing() && |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
989 |
( (!dtrace_extended_probes() && ExtendedDTraceProbes) || |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
990 |
(!dtrace_method_probes() && DTraceMethodProbes) || |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
991 |
(!dtrace_alloc_probes() && DTraceAllocProbes) )) { |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
992 |
record_failure("DTrace flags change invalidated dependencies"); |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
993 |
} |
1 | 994 |
|
55253
3c905e67e380
8225106: C2: Parse::clinit_deopt asserts when holder klass is in error state
vlivanov
parents:
54847
diff
changeset
|
995 |
if (!failing() && target->needs_clinit_barrier() && |
3c905e67e380
8225106: C2: Parse::clinit_deopt asserts when holder klass is in error state
vlivanov
parents:
54847
diff
changeset
|
996 |
target->holder()->is_in_error_state()) { |
3c905e67e380
8225106: C2: Parse::clinit_deopt asserts when holder klass is in error state
vlivanov
parents:
54847
diff
changeset
|
997 |
record_failure("method holder is in error state"); |
3c905e67e380
8225106: C2: Parse::clinit_deopt asserts when holder klass is in error state
vlivanov
parents:
54847
diff
changeset
|
998 |
} |
3c905e67e380
8225106: C2: Parse::clinit_deopt asserts when holder klass is in error state
vlivanov
parents:
54847
diff
changeset
|
999 |
|
2867
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
1000 |
if (!failing()) { |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
1001 |
if (log() != NULL) { |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
1002 |
// Log the dependencies which this compilation declares. |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
1003 |
dependencies()->log_all_dependencies(); |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
1004 |
} |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
1005 |
|
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
1006 |
// Encode the dependencies now, so we can check them right away. |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
1007 |
dependencies()->encode_content_bytes(); |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
1008 |
|
10503
04b74421bdea
7083184: JSR 292: don't store context class argument with call site dependencies
twisti
parents:
10008
diff
changeset
|
1009 |
// Check for {class loads, evolution, breakpoints, ...} during compilation |
04b74421bdea
7083184: JSR 292: don't store context class argument with call site dependencies
twisti
parents:
10008
diff
changeset
|
1010 |
validate_compile_task_dependencies(target); |
2867
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
1011 |
} |
1 | 1012 |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1013 |
methodHandle method(THREAD, target->get_Method()); |
1 | 1014 |
|
23491 | 1015 |
#if INCLUDE_RTM_OPT |
1016 |
if (!failing() && (rtm_state != NoRTM) && |
|
1017 |
(method()->method_data() != NULL) && |
|
1018 |
(method()->method_data()->rtm_state() != rtm_state)) { |
|
1019 |
// Preemptive decompile if rtm state was changed. |
|
1020 |
record_failure("RTM state change invalidated rtm code"); |
|
1021 |
} |
|
1022 |
#endif |
|
1023 |
||
1 | 1024 |
if (failing()) { |
1025 |
// While not a true deoptimization, it is a preemptive decompile. |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1026 |
MethodData* mdo = method()->method_data(); |
43675
a2b322083029
8173338: C2: continuous CallSite relinkage eventually disables compilation for a method
vlivanov
parents:
40664
diff
changeset
|
1027 |
if (mdo != NULL && _inc_decompile_count_on_failure) { |
1 | 1028 |
mdo->inc_decompile_count(); |
1029 |
} |
|
1030 |
||
1031 |
// All buffers in the CodeBuffer are allocated in the CodeCache. |
|
1032 |
// If the code buffer is created on each compile attempt |
|
1033 |
// as in C2, then it must be freed. |
|
1034 |
code_buffer->free_blob(); |
|
1035 |
return; |
|
1036 |
} |
|
1037 |
||
1038 |
assert(offsets->value(CodeOffsets::Deopt) != -1, "must have deopt entry"); |
|
1039 |
assert(offsets->value(CodeOffsets::Exceptions) != -1, "must have exception entry"); |
|
1040 |
||
1041 |
nm = nmethod::new_nmethod(method, |
|
1042 |
compile_id(), |
|
1043 |
entry_bci, |
|
1044 |
offsets, |
|
1045 |
orig_pc_offset, |
|
1046 |
debug_info(), dependencies(), code_buffer, |
|
1047 |
frame_words, oop_map_set, |
|
1048 |
handler_table, inc_table, |
|
33451
0712796e4039
8137167: JEP165: Compiler Control: Implementation task
neliasso
parents:
31019
diff
changeset
|
1049 |
compiler, task()->comp_level()); |
0712796e4039
8137167: JEP165: Compiler Control: Implementation task
neliasso
parents:
31019
diff
changeset
|
1050 |
|
1 | 1051 |
// Free codeBlobs |
1052 |
code_buffer->free_blob(); |
|
1053 |
||
21727
4a5fc611c9a7
8028306: nsk stress tests, CodeCache fills, then safepoint asserts
anoll
parents:
21572
diff
changeset
|
1054 |
if (nm != NULL) { |
1 | 1055 |
nm->set_has_unsafe_access(has_unsafe_access); |
13883
6979b9850feb
7196199: java/text/Bidi/Bug6665028.java failed: Bidi run count incorrect
kvn
parents:
13728
diff
changeset
|
1056 |
nm->set_has_wide_vectors(has_wide_vectors); |
23496
bfdd90c07bf8
8038286: nm->set_rtm_state() should be called after (nm != NULL) check
kvn
parents:
23491
diff
changeset
|
1057 |
#if INCLUDE_RTM_OPT |
bfdd90c07bf8
8038286: nm->set_rtm_state() should be called after (nm != NULL) check
kvn
parents:
23491
diff
changeset
|
1058 |
nm->set_rtm_state(rtm_state); |
bfdd90c07bf8
8038286: nm->set_rtm_state() should be called after (nm != NULL) check
kvn
parents:
23491
diff
changeset
|
1059 |
#endif |
1 | 1060 |
|
1061 |
// Record successful registration. |
|
1062 |
// (Put nm into the task handle *before* publishing to the Java heap.) |
|
21727
4a5fc611c9a7
8028306: nsk stress tests, CodeCache fills, then safepoint asserts
anoll
parents:
21572
diff
changeset
|
1063 |
if (task() != NULL) { |
4a5fc611c9a7
8028306: nsk stress tests, CodeCache fills, then safepoint asserts
anoll
parents:
21572
diff
changeset
|
1064 |
task()->set_code(nm); |
4a5fc611c9a7
8028306: nsk stress tests, CodeCache fills, then safepoint asserts
anoll
parents:
21572
diff
changeset
|
1065 |
} |
1 | 1066 |
|
1067 |
if (entry_bci == InvocationEntryBci) { |
|
6453 | 1068 |
if (TieredCompilation) { |
1069 |
// If there is an old version we're done with it |
|
38133
78b95467b9f1
8151956: Support non-continuous CodeBlobs in HotSpot
rbackman
parents:
37267
diff
changeset
|
1070 |
CompiledMethod* old = method->code(); |
6453 | 1071 |
if (TraceMethodReplacement && old != NULL) { |
1072 |
ResourceMark rm; |
|
1073 |
char *method_name = method->name_and_sig_as_C_string(); |
|
1074 |
tty->print_cr("Replacing method %s", method_name); |
|
1075 |
} |
|
21572
9cd0dd352fcd
8023037: Race between ciEnv::register_method and nmethod::make_not_entrant_or_zombie
vlivanov
parents:
21079
diff
changeset
|
1076 |
if (old != NULL) { |
38133
78b95467b9f1
8151956: Support non-continuous CodeBlobs in HotSpot
rbackman
parents:
37267
diff
changeset
|
1077 |
old->make_not_used(); |
6453 | 1078 |
} |
1 | 1079 |
} |
55273 | 1080 |
|
1081 |
LogTarget(Info, nmethod, install) lt; |
|
1082 |
if (lt.is_enabled()) { |
|
1 | 1083 |
ResourceMark rm; |
1084 |
char *method_name = method->name_and_sig_as_C_string(); |
|
55273 | 1085 |
lt.print("Installing method (%d) %s ", |
1086 |
task()->comp_level(), method_name); |
|
1 | 1087 |
} |
1088 |
// Allow the code to be executed |
|
1089 |
method->set_code(method, nm); |
|
1090 |
} else { |
|
55273 | 1091 |
LogTarget(Info, nmethod, install) lt; |
1092 |
if (lt.is_enabled()) { |
|
1 | 1093 |
ResourceMark rm; |
1094 |
char *method_name = method->name_and_sig_as_C_string(); |
|
55273 | 1095 |
lt.print("Installing osr method (%d) %s @ %d", |
1096 |
task()->comp_level(), method_name, entry_bci); |
|
1 | 1097 |
} |
14391
df0a1573d5bd
8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents:
13974
diff
changeset
|
1098 |
method->method_holder()->add_osr_nmethod(nm); |
1 | 1099 |
} |
48007
ab3959df2115
8043070: nmethod::verify_interrupt_point() shouldn't enter safepoint
iveresov
parents:
47765
diff
changeset
|
1100 |
nm->make_in_use(); |
1 | 1101 |
} |
21727
4a5fc611c9a7
8028306: nsk stress tests, CodeCache fills, then safepoint asserts
anoll
parents:
21572
diff
changeset
|
1102 |
} // safepoints are allowed again |
4a5fc611c9a7
8028306: nsk stress tests, CodeCache fills, then safepoint asserts
anoll
parents:
21572
diff
changeset
|
1103 |
|
1 | 1104 |
if (nm != NULL) { |
21727
4a5fc611c9a7
8028306: nsk stress tests, CodeCache fills, then safepoint asserts
anoll
parents:
21572
diff
changeset
|
1105 |
// JVMTI -- compiled method notification (must be done outside lock) |
1 | 1106 |
nm->post_compiled_method_load_event(); |
21727
4a5fc611c9a7
8028306: nsk stress tests, CodeCache fills, then safepoint asserts
anoll
parents:
21572
diff
changeset
|
1107 |
} else { |
27420
04e6f914cce1
8046809: vm/mlvm/meth/stress/compiler/deoptimize CodeCache is full.
anoll
parents:
26944
diff
changeset
|
1108 |
// The CodeCache is full. |
21727
4a5fc611c9a7
8028306: nsk stress tests, CodeCache fills, then safepoint asserts
anoll
parents:
21572
diff
changeset
|
1109 |
record_failure("code cache is full"); |
1 | 1110 |
} |
1111 |
} |
|
1112 |
||
1113 |
||
1114 |
// ------------------------------------------------------------------ |
|
1115 |
// ciEnv::find_system_klass |
|
1116 |
ciKlass* ciEnv::find_system_klass(ciSymbol* klass_name) { |
|
1117 |
VM_ENTRY_MARK; |
|
10008
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
1118 |
return get_klass_by_name_impl(NULL, constantPoolHandle(), klass_name, false); |
1 | 1119 |
} |
1120 |
||
1121 |
// ------------------------------------------------------------------ |
|
1122 |
// ciEnv::comp_level |
|
1123 |
int ciEnv::comp_level() { |
|
6453 | 1124 |
if (task() == NULL) return CompLevel_highest_tier; |
1 | 1125 |
return task()->comp_level(); |
1126 |
} |
|
1127 |
||
1128 |
// ------------------------------------------------------------------ |
|
1129 |
// ciEnv::compile_id |
|
1130 |
uint ciEnv::compile_id() { |
|
1131 |
if (task() == NULL) return 0; |
|
1132 |
return task()->compile_id(); |
|
1133 |
} |
|
1134 |
||
1135 |
// ------------------------------------------------------------------ |
|
1136 |
// ciEnv::notice_inlined_method() |
|
1137 |
void ciEnv::notice_inlined_method(ciMethod* method) { |
|
13391
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
10734
diff
changeset
|
1138 |
_num_inlined_bytecodes += method->code_size_for_inlining(); |
1 | 1139 |
} |
1140 |
||
1141 |
// ------------------------------------------------------------------ |
|
1142 |
// ciEnv::num_inlined_bytecodes() |
|
1143 |
int ciEnv::num_inlined_bytecodes() const { |
|
1144 |
return _num_inlined_bytecodes; |
|
1145 |
} |
|
1146 |
||
1147 |
// ------------------------------------------------------------------ |
|
1148 |
// ciEnv::record_failure() |
|
1149 |
void ciEnv::record_failure(const char* reason) { |
|
1150 |
if (_failure_reason == NULL) { |
|
1151 |
// Record the first failure reason. |
|
1152 |
_failure_reason = reason; |
|
1153 |
} |
|
1154 |
} |
|
1155 |
||
27706
3f10f4ac2bd6
8065339: Failed compilation does not always trigger a JFR event 'CompilerFailure'
thartmann
parents:
27420
diff
changeset
|
1156 |
void ciEnv::report_failure(const char* reason) { |
40664
1ec65b303bb7
8164523: Clean up metadata for event based tracing
egahlin
parents:
40057
diff
changeset
|
1157 |
EventCompilationFailure event; |
27706
3f10f4ac2bd6
8065339: Failed compilation does not always trigger a JFR event 'CompilerFailure'
thartmann
parents:
27420
diff
changeset
|
1158 |
if (event.should_commit()) { |
40664
1ec65b303bb7
8164523: Clean up metadata for event based tracing
egahlin
parents:
40057
diff
changeset
|
1159 |
event.set_compileId(compile_id()); |
1ec65b303bb7
8164523: Clean up metadata for event based tracing
egahlin
parents:
40057
diff
changeset
|
1160 |
event.set_failureMessage(reason); |
27706
3f10f4ac2bd6
8065339: Failed compilation does not always trigger a JFR event 'CompilerFailure'
thartmann
parents:
27420
diff
changeset
|
1161 |
event.commit(); |
3f10f4ac2bd6
8065339: Failed compilation does not always trigger a JFR event 'CompilerFailure'
thartmann
parents:
27420
diff
changeset
|
1162 |
} |
3f10f4ac2bd6
8065339: Failed compilation does not always trigger a JFR event 'CompilerFailure'
thartmann
parents:
27420
diff
changeset
|
1163 |
} |
3f10f4ac2bd6
8065339: Failed compilation does not always trigger a JFR event 'CompilerFailure'
thartmann
parents:
27420
diff
changeset
|
1164 |
|
1 | 1165 |
// ------------------------------------------------------------------ |
1166 |
// ciEnv::record_method_not_compilable() |
|
1167 |
void ciEnv::record_method_not_compilable(const char* reason, bool all_tiers) { |
|
1168 |
int new_compilable = |
|
1169 |
all_tiers ? MethodCompilable_never : MethodCompilable_not_at_tier ; |
|
1170 |
||
1171 |
// Only note transitions to a worse state |
|
1172 |
if (new_compilable > _compilable) { |
|
1173 |
if (log() != NULL) { |
|
1174 |
if (all_tiers) { |
|
1175 |
log()->elem("method_not_compilable"); |
|
1176 |
} else { |
|
13964 | 1177 |
log()->elem("method_not_compilable_at_tier level='%d'", |
1178 |
current()->task()->comp_level()); |
|
1 | 1179 |
} |
1180 |
} |
|
1181 |
_compilable = new_compilable; |
|
1182 |
||
1183 |
// Reset failure reason; this one is more important. |
|
1184 |
_failure_reason = NULL; |
|
1185 |
record_failure(reason); |
|
1186 |
} |
|
1187 |
} |
|
1188 |
||
1189 |
// ------------------------------------------------------------------ |
|
1190 |
// ciEnv::record_out_of_memory_failure() |
|
1191 |
void ciEnv::record_out_of_memory_failure() { |
|
1192 |
// If memory is low, we stop compiling methods. |
|
1193 |
record_method_not_compilable("out of memory"); |
|
1194 |
} |
|
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1195 |
|
19710
2f8ca425504e
7199175: JSR 292: C1 needs patching when invokedynamic/invokehandle call site is not linked
roland
parents:
17134
diff
changeset
|
1196 |
ciInstance* ciEnv::unloaded_ciinstance() { |
2f8ca425504e
7199175: JSR 292: C1 needs patching when invokedynamic/invokehandle call site is not linked
roland
parents:
17134
diff
changeset
|
1197 |
GUARDED_VM_ENTRY(return _factory->get_unloaded_object_constant();) |
2f8ca425504e
7199175: JSR 292: C1 needs patching when invokedynamic/invokehandle call site is not linked
roland
parents:
17134
diff
changeset
|
1198 |
} |
2f8ca425504e
7199175: JSR 292: C1 needs patching when invokedynamic/invokehandle call site is not linked
roland
parents:
17134
diff
changeset
|
1199 |
|
20692
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1200 |
// ------------------------------------------------------------------ |
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1201 |
// ciEnv::dump_replay_data* |
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1202 |
|
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1203 |
// Don't change thread state and acquire any locks. |
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1204 |
// Safe to call from VM error reporter. |
22243 | 1205 |
|
1206 |
void ciEnv::dump_compile_data(outputStream* out) { |
|
1207 |
CompileTask* task = this->task(); |
|
48502 | 1208 |
if (task) { |
1209 |
Method* method = task->method(); |
|
1210 |
int entry_bci = task->osr_bci(); |
|
1211 |
int comp_level = task->comp_level(); |
|
1212 |
out->print("compile %s %s %s %d %d", |
|
1213 |
method->klass_name()->as_quoted_ascii(), |
|
1214 |
method->name()->as_quoted_ascii(), |
|
1215 |
method->signature()->as_quoted_ascii(), |
|
1216 |
entry_bci, comp_level); |
|
1217 |
if (compiler_data() != NULL) { |
|
1218 |
if (is_c2_compile(comp_level)) { |
|
22243 | 1219 |
#ifdef COMPILER2 |
48502 | 1220 |
// Dump C2 inlining data. |
1221 |
((Compile*)compiler_data())->dump_inline_data(out); |
|
22243 | 1222 |
#endif |
48502 | 1223 |
} else if (is_c1_compile(comp_level)) { |
22243 | 1224 |
#ifdef COMPILER1 |
48502 | 1225 |
// Dump C1 inlining data. |
1226 |
((Compilation*)compiler_data())->dump_inline_data(out); |
|
22243 | 1227 |
#endif |
48502 | 1228 |
} |
22243 | 1229 |
} |
48502 | 1230 |
out->cr(); |
22243 | 1231 |
} |
1232 |
} |
|
1233 |
||
20692
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1234 |
void ciEnv::dump_replay_data_unsafe(outputStream* out) { |
15471
41f75023e6a6
8006410: allocating without ResourceMark when CompileCommand was specified
vlivanov
parents:
14490
diff
changeset
|
1235 |
ResourceMark rm; |
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1236 |
#if INCLUDE_JVMTI |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1237 |
out->print_cr("JvmtiExport can_access_local_variables %d", _jvmti_can_access_local_variables); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1238 |
out->print_cr("JvmtiExport can_hotswap_or_post_breakpoint %d", _jvmti_can_hotswap_or_post_breakpoint); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1239 |
out->print_cr("JvmtiExport can_post_on_exceptions %d", _jvmti_can_post_on_exceptions); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1240 |
#endif // INCLUDE_JVMTI |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1241 |
|
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1242 |
GrowableArray<ciMetadata*>* objects = _factory->get_ci_metadata(); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1243 |
out->print_cr("# %d ciObject found", objects->length()); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1244 |
for (int i = 0; i < objects->length(); i++) { |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1245 |
objects->at(i)->dump_replay_data(out); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1246 |
} |
22243 | 1247 |
dump_compile_data(out); |
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1248 |
out->flush(); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1249 |
} |
20692
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1250 |
|
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1251 |
void ciEnv::dump_replay_data(outputStream* out) { |
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1252 |
GUARDED_VM_ENTRY( |
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1253 |
MutexLocker ml(Compile_lock); |
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1254 |
dump_replay_data_unsafe(out); |
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1255 |
) |
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1256 |
} |
22243 | 1257 |
|
1258 |
void ciEnv::dump_replay_data(int compile_id) { |
|
1259 |
static char buffer[O_BUFLEN]; |
|
1260 |
int ret = jio_snprintf(buffer, O_BUFLEN, "replay_pid%p_compid%d.log", os::current_process_id(), compile_id); |
|
1261 |
if (ret > 0) { |
|
53911
65f2a401e0eb
8218811: replace open by os::open in hotspot coding
mbaesken
parents:
53582
diff
changeset
|
1262 |
int fd = os::open(buffer, O_RDWR | O_CREAT | O_TRUNC, 0666); |
22243 | 1263 |
if (fd != -1) { |
1264 |
FILE* replay_data_file = os::open(fd, "w"); |
|
1265 |
if (replay_data_file != NULL) { |
|
1266 |
fileStream replay_data_stream(replay_data_file, /*need_close=*/true); |
|
1267 |
dump_replay_data(&replay_data_stream); |
|
24424
2658d7834c6e
8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents:
24351
diff
changeset
|
1268 |
tty->print_cr("# Compiler replay data is saved as: %s", buffer); |
22243 | 1269 |
} else { |
1270 |
tty->print_cr("# Can't open file to dump replay data."); |
|
1271 |
} |
|
1272 |
} |
|
1273 |
} |
|
1274 |
} |
|
1275 |
||
1276 |
void ciEnv::dump_inline_data(int compile_id) { |
|
1277 |
static char buffer[O_BUFLEN]; |
|
1278 |
int ret = jio_snprintf(buffer, O_BUFLEN, "inline_pid%p_compid%d.log", os::current_process_id(), compile_id); |
|
1279 |
if (ret > 0) { |
|
53911
65f2a401e0eb
8218811: replace open by os::open in hotspot coding
mbaesken
parents:
53582
diff
changeset
|
1280 |
int fd = os::open(buffer, O_RDWR | O_CREAT | O_TRUNC, 0666); |
22243 | 1281 |
if (fd != -1) { |
1282 |
FILE* inline_data_file = os::open(fd, "w"); |
|
1283 |
if (inline_data_file != NULL) { |
|
1284 |
fileStream replay_data_stream(inline_data_file, /*need_close=*/true); |
|
1285 |
GUARDED_VM_ENTRY( |
|
1286 |
MutexLocker ml(Compile_lock); |
|
1287 |
dump_compile_data(&replay_data_stream); |
|
1288 |
) |
|
1289 |
replay_data_stream.flush(); |
|
1290 |
tty->print("# Compiler inline data is saved as: "); |
|
24424
2658d7834c6e
8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents:
24351
diff
changeset
|
1291 |
tty->print_cr("%s", buffer); |
22243 | 1292 |
} else { |
1293 |
tty->print_cr("# Can't open file to dump inline data."); |
|
1294 |
} |
|
1295 |
} |
|
1296 |
} |
|
1297 |
} |