author | jwilhelm |
Mon, 30 Nov 2015 19:38:51 +0100 | |
changeset 34317 | e93b85bf4cc2 |
parent 34238 | 60e87df08f1e |
parent 34236 | 4558141028a9 |
child 35592 | 5814f874d736 |
permissions | -rw-r--r-- |
33160 | 1 |
/* |
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
33160
diff
changeset
|
2 |
* Copyright (c) 1999, 2015, Oracle and/or its affiliates. All rights reserved. |
33160 | 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 |
* |
|
19 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
|
20 |
* or visit www.oracle.com if you need additional information or have any |
|
21 |
* questions. |
|
22 |
* |
|
23 |
*/ |
|
24 |
||
25 |
#include "precompiled.hpp" |
|
26 |
#include "jvmci/jvmciEnv.hpp" |
|
27 |
#include "classfile/javaAssertions.hpp" |
|
28 |
#include "classfile/systemDictionary.hpp" |
|
29 |
#include "classfile/vmSymbols.hpp" |
|
30 |
#include "code/codeCache.hpp" |
|
31 |
#include "code/scopeDesc.hpp" |
|
32 |
#include "runtime/sweeper.hpp" |
|
33 |
#include "compiler/compileBroker.hpp" |
|
34 |
#include "compiler/compileLog.hpp" |
|
35 |
#include "compiler/compilerOracle.hpp" |
|
36 |
#include "interpreter/linkResolver.hpp" |
|
37 |
#include "memory/allocation.inline.hpp" |
|
38 |
#include "memory/oopFactory.hpp" |
|
39 |
#include "memory/universe.inline.hpp" |
|
40 |
#include "oops/methodData.hpp" |
|
41 |
#include "oops/objArrayKlass.hpp" |
|
42 |
#include "oops/oop.inline.hpp" |
|
43 |
#include "prims/jvmtiExport.hpp" |
|
44 |
#include "runtime/init.hpp" |
|
45 |
#include "runtime/reflection.hpp" |
|
46 |
#include "runtime/sharedRuntime.hpp" |
|
47 |
#include "utilities/dtrace.hpp" |
|
48 |
#include "jvmci/jvmciRuntime.hpp" |
|
49 |
#include "jvmci/jvmciJavaClasses.hpp" |
|
50 |
||
51 |
JVMCIEnv::JVMCIEnv(CompileTask* task, int system_dictionary_modification_counter) { |
|
52 |
_task = task; |
|
53 |
_system_dictionary_modification_counter = system_dictionary_modification_counter; |
|
54 |
{ |
|
55 |
// Get Jvmti capabilities under lock to get consistent values. |
|
56 |
MutexLocker mu(JvmtiThreadState_lock); |
|
57 |
_jvmti_can_hotswap_or_post_breakpoint = JvmtiExport::can_hotswap_or_post_breakpoint(); |
|
58 |
_jvmti_can_access_local_variables = JvmtiExport::can_access_local_variables(); |
|
59 |
_jvmti_can_post_on_exceptions = JvmtiExport::can_post_on_exceptions(); |
|
60 |
} |
|
61 |
} |
|
62 |
||
63 |
// ------------------------------------------------------------------ |
|
64 |
// Note: the logic of this method should mirror the logic of |
|
65 |
// constantPoolOopDesc::verify_constant_pool_resolve. |
|
66 |
bool JVMCIEnv::check_klass_accessibility(KlassHandle accessing_klass, KlassHandle resolved_klass) { |
|
33611
9abd65805e19
8139203: Consistent naming for klass type predicates
coleenp
parents:
33593
diff
changeset
|
67 |
if (accessing_klass->is_objArray_klass()) { |
33160 | 68 |
accessing_klass = ObjArrayKlass::cast(accessing_klass())->bottom_klass(); |
69 |
} |
|
33611
9abd65805e19
8139203: Consistent naming for klass type predicates
coleenp
parents:
33593
diff
changeset
|
70 |
if (!accessing_klass->is_instance_klass()) { |
33160 | 71 |
return true; |
72 |
} |
|
73 |
||
33611
9abd65805e19
8139203: Consistent naming for klass type predicates
coleenp
parents:
33593
diff
changeset
|
74 |
if (resolved_klass->is_objArray_klass()) { |
33160 | 75 |
// Find the element klass, if this is an array. |
76 |
resolved_klass = ObjArrayKlass::cast(resolved_klass())->bottom_klass(); |
|
77 |
} |
|
33611
9abd65805e19
8139203: Consistent naming for klass type predicates
coleenp
parents:
33593
diff
changeset
|
78 |
if (resolved_klass->is_instance_klass()) { |
33160 | 79 |
return Reflection::verify_class_access(accessing_klass(), resolved_klass(), true); |
80 |
} |
|
81 |
return true; |
|
82 |
} |
|
83 |
||
84 |
// ------------------------------------------------------------------ |
|
85 |
KlassHandle JVMCIEnv::get_klass_by_name_impl(KlassHandle& accessing_klass, |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
33160
diff
changeset
|
86 |
const constantPoolHandle& cpool, |
33160 | 87 |
Symbol* sym, |
88 |
bool require_local) { |
|
89 |
JVMCI_EXCEPTION_CONTEXT; |
|
90 |
||
91 |
// Now we need to check the SystemDictionary |
|
92 |
if (sym->byte_at(0) == 'L' && |
|
93 |
sym->byte_at(sym->utf8_length()-1) == ';') { |
|
94 |
// This is a name from a signature. Strip off the trimmings. |
|
95 |
// Call recursive to keep scope of strippedsym. |
|
96 |
TempNewSymbol strippedsym = SymbolTable::new_symbol(sym->as_utf8()+1, |
|
97 |
sym->utf8_length()-2, |
|
98 |
CHECK_(KlassHandle())); |
|
99 |
return get_klass_by_name_impl(accessing_klass, cpool, strippedsym, require_local); |
|
100 |
} |
|
101 |
||
102 |
Handle loader(THREAD, (oop)NULL); |
|
103 |
Handle domain(THREAD, (oop)NULL); |
|
104 |
if (!accessing_klass.is_null()) { |
|
105 |
loader = Handle(THREAD, accessing_klass->class_loader()); |
|
106 |
domain = Handle(THREAD, accessing_klass->protection_domain()); |
|
107 |
} |
|
108 |
||
109 |
KlassHandle found_klass; |
|
110 |
{ |
|
111 |
ttyUnlocker ttyul; // release tty lock to avoid ordering problems |
|
112 |
MutexLocker ml(Compile_lock); |
|
113 |
Klass* kls; |
|
114 |
if (!require_local) { |
|
115 |
kls = SystemDictionary::find_constrained_instance_or_array_klass(sym, loader, CHECK_(KlassHandle())); |
|
116 |
} else { |
|
117 |
kls = SystemDictionary::find_instance_or_array_klass(sym, loader, domain, CHECK_(KlassHandle())); |
|
118 |
} |
|
119 |
found_klass = KlassHandle(THREAD, kls); |
|
120 |
} |
|
121 |
||
122 |
// If we fail to find an array klass, look again for its element type. |
|
123 |
// The element type may be available either locally or via constraints. |
|
124 |
// In either case, if we can find the element type in the system dictionary, |
|
125 |
// we must build an array type around it. The CI requires array klasses |
|
126 |
// to be loaded if their element klasses are loaded, except when memory |
|
127 |
// is exhausted. |
|
128 |
if (sym->byte_at(0) == '[' && |
|
129 |
(sym->byte_at(1) == '[' || sym->byte_at(1) == 'L')) { |
|
130 |
// We have an unloaded array. |
|
131 |
// Build it on the fly if the element class exists. |
|
132 |
TempNewSymbol elem_sym = SymbolTable::new_symbol(sym->as_utf8()+1, |
|
133 |
sym->utf8_length()-1, |
|
134 |
CHECK_(KlassHandle())); |
|
135 |
||
136 |
// Get element Klass recursively. |
|
137 |
KlassHandle elem_klass = |
|
138 |
get_klass_by_name_impl(accessing_klass, |
|
139 |
cpool, |
|
140 |
elem_sym, |
|
141 |
require_local); |
|
142 |
if (!elem_klass.is_null()) { |
|
143 |
// Now make an array for it |
|
144 |
return elem_klass->array_klass(CHECK_(KlassHandle())); |
|
145 |
} |
|
146 |
} |
|
147 |
||
148 |
if (found_klass.is_null() && !cpool.is_null() && cpool->has_preresolution()) { |
|
149 |
// Look inside the constant pool for pre-resolved class entries. |
|
150 |
for (int i = cpool->length() - 1; i >= 1; i--) { |
|
151 |
if (cpool->tag_at(i).is_klass()) { |
|
152 |
Klass* kls = cpool->resolved_klass_at(i); |
|
153 |
if (kls->name() == sym) { |
|
154 |
return kls; |
|
155 |
} |
|
156 |
} |
|
157 |
} |
|
158 |
} |
|
159 |
||
160 |
return found_klass(); |
|
161 |
} |
|
162 |
||
163 |
// ------------------------------------------------------------------ |
|
34165 | 164 |
KlassHandle JVMCIEnv::get_klass_by_name(KlassHandle accessing_klass, |
33160 | 165 |
Symbol* klass_name, |
166 |
bool require_local) { |
|
167 |
ResourceMark rm; |
|
168 |
constantPoolHandle cpool; |
|
169 |
return get_klass_by_name_impl(accessing_klass, |
|
170 |
cpool, |
|
171 |
klass_name, |
|
172 |
require_local); |
|
173 |
} |
|
174 |
||
175 |
// ------------------------------------------------------------------ |
|
176 |
// Implementation of get_klass_by_index. |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
33160
diff
changeset
|
177 |
KlassHandle JVMCIEnv::get_klass_by_index_impl(const constantPoolHandle& cpool, |
33160 | 178 |
int index, |
179 |
bool& is_accessible, |
|
34165 | 180 |
KlassHandle accessor) { |
33160 | 181 |
JVMCI_EXCEPTION_CONTEXT; |
182 |
KlassHandle klass (THREAD, ConstantPool::klass_at_if_loaded(cpool, index)); |
|
183 |
Symbol* klass_name = NULL; |
|
184 |
if (klass.is_null()) { |
|
185 |
klass_name = cpool->klass_name_at(index); |
|
186 |
} |
|
187 |
||
188 |
if (klass.is_null()) { |
|
189 |
// Not found in constant pool. Use the name to do the lookup. |
|
190 |
KlassHandle k = get_klass_by_name_impl(accessor, |
|
191 |
cpool, |
|
192 |
klass_name, |
|
193 |
false); |
|
194 |
// Calculate accessibility the hard way. |
|
195 |
if (k.is_null()) { |
|
196 |
is_accessible = false; |
|
197 |
} else if (k->class_loader() != accessor->class_loader() && |
|
198 |
get_klass_by_name_impl(accessor, cpool, k->name(), true).is_null()) { |
|
199 |
// Loaded only remotely. Not linked yet. |
|
200 |
is_accessible = false; |
|
201 |
} else { |
|
202 |
// Linked locally, and we must also check public/private, etc. |
|
203 |
is_accessible = check_klass_accessibility(accessor, k); |
|
204 |
} |
|
205 |
if (!is_accessible) { |
|
206 |
return KlassHandle(); |
|
207 |
} |
|
208 |
return k; |
|
209 |
} |
|
210 |
||
211 |
// It is known to be accessible, since it was found in the constant pool. |
|
212 |
is_accessible = true; |
|
213 |
return klass; |
|
214 |
} |
|
215 |
||
216 |
// ------------------------------------------------------------------ |
|
217 |
// Get a klass from the constant pool. |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
33160
diff
changeset
|
218 |
KlassHandle JVMCIEnv::get_klass_by_index(const constantPoolHandle& cpool, |
33160 | 219 |
int index, |
220 |
bool& is_accessible, |
|
34165 | 221 |
KlassHandle accessor) { |
33160 | 222 |
ResourceMark rm; |
223 |
KlassHandle result = get_klass_by_index_impl(cpool, index, is_accessible, accessor); |
|
224 |
return result; |
|
225 |
} |
|
226 |
||
227 |
// ------------------------------------------------------------------ |
|
228 |
// Implementation of get_field_by_index. |
|
229 |
// |
|
230 |
// Implementation note: the results of field lookups are cached |
|
231 |
// in the accessor klass. |
|
34165 | 232 |
void JVMCIEnv::get_field_by_index_impl(instanceKlassHandle klass, fieldDescriptor& field_desc, |
33160 | 233 |
int index) { |
234 |
JVMCI_EXCEPTION_CONTEXT; |
|
235 |
||
236 |
assert(klass->is_linked(), "must be linked before using its constant-pool"); |
|
237 |
||
238 |
constantPoolHandle cpool(thread, klass->constants()); |
|
239 |
||
240 |
// Get the field's name, signature, and type. |
|
241 |
Symbol* name = cpool->name_ref_at(index); |
|
242 |
||
243 |
int nt_index = cpool->name_and_type_ref_index_at(index); |
|
244 |
int sig_index = cpool->signature_ref_index_at(nt_index); |
|
245 |
Symbol* signature = cpool->symbol_at(sig_index); |
|
246 |
||
247 |
// Get the field's declared holder. |
|
248 |
int holder_index = cpool->klass_ref_index_at(index); |
|
249 |
bool holder_is_accessible; |
|
250 |
KlassHandle declared_holder = get_klass_by_index(cpool, holder_index, |
|
251 |
holder_is_accessible, |
|
252 |
klass); |
|
253 |
||
254 |
// The declared holder of this field may not have been loaded. |
|
255 |
// Bail out with partial field information. |
|
256 |
if (!holder_is_accessible) { |
|
257 |
return; |
|
258 |
} |
|
259 |
||
260 |
||
261 |
// Perform the field lookup. |
|
262 |
Klass* canonical_holder = |
|
263 |
InstanceKlass::cast(declared_holder())->find_field(name, signature, &field_desc); |
|
264 |
if (canonical_holder == NULL) { |
|
265 |
return; |
|
266 |
} |
|
267 |
||
268 |
assert(canonical_holder == field_desc.field_holder(), "just checking"); |
|
269 |
} |
|
270 |
||
271 |
// ------------------------------------------------------------------ |
|
272 |
// Get a field by index from a klass's constant pool. |
|
34165 | 273 |
void JVMCIEnv::get_field_by_index(instanceKlassHandle accessor, fieldDescriptor& fd, int index) { |
33160 | 274 |
ResourceMark rm; |
275 |
return get_field_by_index_impl(accessor, fd, index); |
|
276 |
} |
|
277 |
||
278 |
// ------------------------------------------------------------------ |
|
279 |
// Perform an appropriate method lookup based on accessor, holder, |
|
280 |
// name, signature, and bytecode. |
|
34165 | 281 |
methodHandle JVMCIEnv::lookup_method(instanceKlassHandle h_accessor, |
282 |
instanceKlassHandle h_holder, |
|
33160 | 283 |
Symbol* name, |
284 |
Symbol* sig, |
|
34238 | 285 |
Bytecodes::Code bc) { |
33160 | 286 |
JVMCI_EXCEPTION_CONTEXT; |
287 |
LinkResolver::check_klass_accessability(h_accessor, h_holder, KILL_COMPILE_ON_FATAL_(NULL)); |
|
288 |
methodHandle dest_method; |
|
34238 | 289 |
LinkInfo link_info(h_holder, name, sig, h_accessor, /*check_access*/true); |
33160 | 290 |
switch (bc) { |
291 |
case Bytecodes::_invokestatic: |
|
292 |
dest_method = |
|
293 |
LinkResolver::resolve_static_call_or_null(link_info); |
|
294 |
break; |
|
295 |
case Bytecodes::_invokespecial: |
|
296 |
dest_method = |
|
297 |
LinkResolver::resolve_special_call_or_null(link_info); |
|
298 |
break; |
|
299 |
case Bytecodes::_invokeinterface: |
|
300 |
dest_method = |
|
301 |
LinkResolver::linktime_resolve_interface_method_or_null(link_info); |
|
302 |
break; |
|
303 |
case Bytecodes::_invokevirtual: |
|
304 |
dest_method = |
|
305 |
LinkResolver::linktime_resolve_virtual_method_or_null(link_info); |
|
306 |
break; |
|
307 |
default: ShouldNotReachHere(); |
|
308 |
} |
|
309 |
||
310 |
return dest_method; |
|
311 |
} |
|
312 |
||
313 |
||
314 |
// ------------------------------------------------------------------ |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
33160
diff
changeset
|
315 |
methodHandle JVMCIEnv::get_method_by_index_impl(const constantPoolHandle& cpool, |
33160 | 316 |
int index, Bytecodes::Code bc, |
34165 | 317 |
instanceKlassHandle accessor) { |
33160 | 318 |
if (bc == Bytecodes::_invokedynamic) { |
319 |
ConstantPoolCacheEntry* cpce = cpool->invokedynamic_cp_cache_entry_at(index); |
|
320 |
bool is_resolved = !cpce->is_f1_null(); |
|
321 |
if (is_resolved) { |
|
322 |
// Get the invoker Method* from the constant pool. |
|
323 |
// (The appendix argument, if any, will be noted in the method's signature.) |
|
324 |
Method* adapter = cpce->f1_as_method(); |
|
325 |
return methodHandle(adapter); |
|
326 |
} |
|
327 |
||
328 |
return NULL; |
|
329 |
} |
|
330 |
||
331 |
int holder_index = cpool->klass_ref_index_at(index); |
|
332 |
bool holder_is_accessible; |
|
333 |
KlassHandle holder = get_klass_by_index_impl(cpool, holder_index, holder_is_accessible, accessor); |
|
334 |
||
335 |
// Get the method's name and signature. |
|
336 |
Symbol* name_sym = cpool->name_ref_at(index); |
|
337 |
Symbol* sig_sym = cpool->signature_ref_at(index); |
|
338 |
||
339 |
if (cpool->has_preresolution() |
|
340 |
|| (holder() == SystemDictionary::MethodHandle_klass() && |
|
341 |
MethodHandles::is_signature_polymorphic_name(holder(), name_sym))) { |
|
342 |
// Short-circuit lookups for JSR 292-related call sites. |
|
343 |
// That is, do not rely only on name-based lookups, because they may fail |
|
344 |
// if the names are not resolvable in the boot class loader (7056328). |
|
345 |
switch (bc) { |
|
346 |
case Bytecodes::_invokevirtual: |
|
347 |
case Bytecodes::_invokeinterface: |
|
348 |
case Bytecodes::_invokespecial: |
|
349 |
case Bytecodes::_invokestatic: |
|
350 |
{ |
|
351 |
Method* m = ConstantPool::method_at_if_loaded(cpool, index); |
|
352 |
if (m != NULL) { |
|
353 |
return m; |
|
354 |
} |
|
355 |
} |
|
356 |
break; |
|
357 |
} |
|
358 |
} |
|
359 |
||
360 |
if (holder_is_accessible) { // Our declared holder is loaded. |
|
361 |
instanceKlassHandle lookup = get_instance_klass_for_declared_method_holder(holder); |
|
34238 | 362 |
methodHandle m = lookup_method(accessor, lookup, name_sym, sig_sym, bc); |
33160 | 363 |
if (!m.is_null() && |
364 |
(bc == Bytecodes::_invokestatic |
|
365 |
? InstanceKlass::cast(m->method_holder())->is_not_initialized() |
|
366 |
: !InstanceKlass::cast(m->method_holder())->is_loaded())) { |
|
367 |
m = NULL; |
|
368 |
} |
|
369 |
if (!m.is_null()) { |
|
370 |
// We found the method. |
|
371 |
return m; |
|
372 |
} |
|
373 |
} |
|
374 |
||
375 |
// Either the declared holder was not loaded, or the method could |
|
376 |
// not be found. |
|
377 |
||
378 |
return NULL; |
|
379 |
} |
|
380 |
||
381 |
// ------------------------------------------------------------------ |
|
34165 | 382 |
instanceKlassHandle JVMCIEnv::get_instance_klass_for_declared_method_holder(KlassHandle method_holder) { |
33160 | 383 |
// For the case of <array>.clone(), the method holder can be an ArrayKlass* |
384 |
// instead of an InstanceKlass*. For that case simply pretend that the |
|
385 |
// declared holder is Object.clone since that's where the call will bottom out. |
|
33611
9abd65805e19
8139203: Consistent naming for klass type predicates
coleenp
parents:
33593
diff
changeset
|
386 |
if (method_holder->is_instance_klass()) { |
33160 | 387 |
return instanceKlassHandle(method_holder()); |
33611
9abd65805e19
8139203: Consistent naming for klass type predicates
coleenp
parents:
33593
diff
changeset
|
388 |
} else if (method_holder->is_array_klass()) { |
33160 | 389 |
return instanceKlassHandle(SystemDictionary::Object_klass()); |
390 |
} else { |
|
391 |
ShouldNotReachHere(); |
|
392 |
} |
|
393 |
return NULL; |
|
394 |
} |
|
395 |
||
396 |
||
397 |
// ------------------------------------------------------------------ |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
33160
diff
changeset
|
398 |
methodHandle JVMCIEnv::get_method_by_index(const constantPoolHandle& cpool, |
33160 | 399 |
int index, Bytecodes::Code bc, |
34165 | 400 |
instanceKlassHandle accessor) { |
33160 | 401 |
ResourceMark rm; |
402 |
return get_method_by_index_impl(cpool, index, bc, accessor); |
|
403 |
} |
|
404 |
||
405 |
// ------------------------------------------------------------------ |
|
406 |
// Check for changes to the system dictionary during compilation |
|
407 |
// class loads, evolution, breakpoints |
|
408 |
JVMCIEnv::CodeInstallResult JVMCIEnv::check_for_system_dictionary_modification(Dependencies* dependencies, Handle compiled_code, |
|
409 |
JVMCIEnv* env, char** failure_detail) { |
|
410 |
// If JVMTI capabilities were enabled during compile, the compilation is invalidated. |
|
411 |
if (env != NULL) { |
|
412 |
if (!env->_jvmti_can_hotswap_or_post_breakpoint && JvmtiExport::can_hotswap_or_post_breakpoint()) { |
|
413 |
*failure_detail = (char*) "Hotswapping or breakpointing was enabled during compilation"; |
|
414 |
return JVMCIEnv::dependencies_failed; |
|
415 |
} |
|
416 |
} |
|
417 |
||
418 |
// Dependencies must be checked when the system dictionary changes |
|
419 |
// or if we don't know whether it has changed (i.e., env == NULL). |
|
420 |
// In debug mode, always check dependencies. |
|
421 |
bool counter_changed = env != NULL && env->_system_dictionary_modification_counter != SystemDictionary::number_of_modifications(); |
|
422 |
bool verify_deps = env == NULL || trueInDebug || JavaAssertions::enabled(SystemDictionary::HotSpotInstalledCode_klass()->name()->as_C_string(), true); |
|
423 |
if (!counter_changed && !verify_deps) { |
|
424 |
return JVMCIEnv::ok; |
|
425 |
} |
|
426 |
||
427 |
for (Dependencies::DepStream deps(dependencies); deps.next(); ) { |
|
428 |
Klass* witness = deps.check_dependency(); |
|
429 |
if (witness != NULL) { |
|
430 |
// Use a fixed size buffer to prevent the string stream from |
|
431 |
// resizing in the context of an inner resource mark. |
|
432 |
char* buffer = NEW_RESOURCE_ARRAY(char, O_BUFLEN); |
|
433 |
stringStream st(buffer, O_BUFLEN); |
|
434 |
deps.print_dependency(witness, true, &st); |
|
435 |
*failure_detail = st.as_string(); |
|
436 |
if (env == NULL || counter_changed) { |
|
437 |
return JVMCIEnv::dependencies_failed; |
|
438 |
} else { |
|
439 |
// The dependencies were invalid at the time of installation |
|
440 |
// without any intervening modification of the system |
|
441 |
// dictionary. That means they were invalidly constructed. |
|
442 |
return JVMCIEnv::dependencies_invalid; |
|
443 |
} |
|
444 |
} |
|
445 |
if (LogCompilation) { |
|
446 |
deps.log_dependency(); |
|
447 |
} |
|
448 |
} |
|
449 |
||
450 |
return JVMCIEnv::ok; |
|
451 |
} |
|
452 |
||
453 |
// ------------------------------------------------------------------ |
|
454 |
JVMCIEnv::CodeInstallResult JVMCIEnv::register_method( |
|
34165 | 455 |
const methodHandle& method, |
33160 | 456 |
nmethod*& nm, |
457 |
int entry_bci, |
|
458 |
CodeOffsets* offsets, |
|
459 |
int orig_pc_offset, |
|
460 |
CodeBuffer* code_buffer, |
|
461 |
int frame_words, |
|
462 |
OopMapSet* oop_map_set, |
|
463 |
ExceptionHandlerTable* handler_table, |
|
464 |
AbstractCompiler* compiler, |
|
465 |
DebugInformationRecorder* debug_info, |
|
466 |
Dependencies* dependencies, |
|
467 |
JVMCIEnv* env, |
|
468 |
int compile_id, |
|
469 |
bool has_unsafe_access, |
|
470 |
bool has_wide_vector, |
|
471 |
Handle installed_code, |
|
472 |
Handle compiled_code, |
|
473 |
Handle speculation_log) { |
|
474 |
JVMCI_EXCEPTION_CONTEXT; |
|
475 |
nm = NULL; |
|
476 |
int comp_level = CompLevel_full_optimization; |
|
477 |
char* failure_detail = NULL; |
|
478 |
JVMCIEnv::CodeInstallResult result; |
|
479 |
{ |
|
480 |
// To prevent compile queue updates. |
|
481 |
MutexLocker locker(MethodCompileQueue_lock, THREAD); |
|
482 |
||
483 |
// Prevent SystemDictionary::add_to_hierarchy from running |
|
484 |
// and invalidating our dependencies until we install this method. |
|
485 |
MutexLocker ml(Compile_lock); |
|
486 |
||
487 |
// Encode the dependencies now, so we can check them right away. |
|
488 |
dependencies->encode_content_bytes(); |
|
489 |
||
490 |
// Check for {class loads, evolution, breakpoints} during compilation |
|
491 |
result = check_for_system_dictionary_modification(dependencies, compiled_code, env, &failure_detail); |
|
492 |
if (result != JVMCIEnv::ok) { |
|
493 |
// While not a true deoptimization, it is a preemptive decompile. |
|
494 |
MethodData* mdp = method()->method_data(); |
|
495 |
if (mdp != NULL) { |
|
496 |
mdp->inc_decompile_count(); |
|
33632 | 497 |
#ifdef ASSERT |
33160 | 498 |
if (mdp->decompile_count() > (uint)PerMethodRecompilationCutoff) { |
499 |
ResourceMark m; |
|
500 |
tty->print_cr("WARN: endless recompilation of %s. Method was set to not compilable.", method()->name_and_sig_as_C_string()); |
|
501 |
} |
|
33632 | 502 |
#endif |
33160 | 503 |
} |
504 |
||
505 |
// All buffers in the CodeBuffer are allocated in the CodeCache. |
|
506 |
// If the code buffer is created on each compile attempt |
|
507 |
// as in C2, then it must be freed. |
|
508 |
//code_buffer->free_blob(); |
|
509 |
} else { |
|
510 |
ImplicitExceptionTable implicit_tbl; |
|
511 |
nm = nmethod::new_nmethod(method, |
|
512 |
compile_id, |
|
513 |
entry_bci, |
|
514 |
offsets, |
|
515 |
orig_pc_offset, |
|
516 |
debug_info, dependencies, code_buffer, |
|
517 |
frame_words, oop_map_set, |
|
518 |
handler_table, &implicit_tbl, |
|
519 |
compiler, comp_level, installed_code, speculation_log); |
|
520 |
||
521 |
// Free codeBlobs |
|
522 |
//code_buffer->free_blob(); |
|
523 |
if (nm == NULL) { |
|
524 |
// The CodeCache is full. Print out warning and disable compilation. |
|
525 |
{ |
|
526 |
MutexUnlocker ml(Compile_lock); |
|
527 |
MutexUnlocker locker(MethodCompileQueue_lock); |
|
528 |
CompileBroker::handle_full_code_cache(CodeCache::get_code_blob_type(comp_level)); |
|
529 |
} |
|
530 |
} else { |
|
531 |
nm->set_has_unsafe_access(has_unsafe_access); |
|
532 |
nm->set_has_wide_vectors(has_wide_vector); |
|
533 |
||
534 |
// Record successful registration. |
|
535 |
// (Put nm into the task handle *before* publishing to the Java heap.) |
|
536 |
CompileTask* task = env == NULL ? NULL : env->task(); |
|
537 |
if (task != NULL) task->set_code(nm); |
|
538 |
||
539 |
if (installed_code->is_a(HotSpotNmethod::klass()) && HotSpotNmethod::isDefault(installed_code())) { |
|
540 |
if (entry_bci == InvocationEntryBci) { |
|
541 |
if (TieredCompilation) { |
|
542 |
// If there is an old version we're done with it |
|
543 |
nmethod* old = method->code(); |
|
544 |
if (TraceMethodReplacement && old != NULL) { |
|
545 |
ResourceMark rm; |
|
546 |
char *method_name = method->name_and_sig_as_C_string(); |
|
547 |
tty->print_cr("Replacing method %s", method_name); |
|
548 |
} |
|
549 |
if (old != NULL ) { |
|
550 |
old->make_not_entrant(); |
|
551 |
} |
|
552 |
} |
|
553 |
if (TraceNMethodInstalls) { |
|
554 |
ResourceMark rm; |
|
555 |
char *method_name = method->name_and_sig_as_C_string(); |
|
556 |
ttyLocker ttyl; |
|
557 |
tty->print_cr("Installing method (%d) %s [entry point: %p]", |
|
558 |
comp_level, |
|
559 |
method_name, nm->entry_point()); |
|
560 |
} |
|
561 |
// Allow the code to be executed |
|
562 |
method->set_code(method, nm); |
|
563 |
} else { |
|
564 |
if (TraceNMethodInstalls ) { |
|
565 |
ResourceMark rm; |
|
566 |
char *method_name = method->name_and_sig_as_C_string(); |
|
567 |
ttyLocker ttyl; |
|
568 |
tty->print_cr("Installing osr method (%d) %s @ %d", |
|
569 |
comp_level, |
|
570 |
method_name, |
|
571 |
entry_bci); |
|
572 |
} |
|
573 |
InstanceKlass::cast(method->method_holder())->add_osr_nmethod(nm); |
|
574 |
} |
|
575 |
} |
|
576 |
} |
|
577 |
result = nm != NULL ? JVMCIEnv::ok :JVMCIEnv::cache_full; |
|
578 |
} |
|
579 |
} |
|
580 |
||
581 |
// String creation must be done outside lock |
|
582 |
if (failure_detail != NULL) { |
|
583 |
// A failure to allocate the string is silently ignored. |
|
584 |
Handle message = java_lang_String::create_from_str(failure_detail, THREAD); |
|
585 |
HotSpotCompiledNmethod::set_installationFailureMessage(compiled_code, message()); |
|
586 |
} |
|
587 |
||
588 |
// JVMTI -- compiled method notification (must be done outside lock) |
|
589 |
if (nm != NULL) { |
|
590 |
nm->post_compiled_method_load_event(); |
|
591 |
} |
|
592 |
||
593 |
return result; |
|
594 |
} |
|
595 |