author | twisti |
Thu, 08 Apr 2010 10:55:40 +0200 | |
changeset 5252 | 58f23871a5b6 |
parent 5050 | 47ecd86932ce |
child 5334 | b2d040a8d375 |
permissions | -rw-r--r-- |
1 | 1 |
/* |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2 |
* Copyright 1997-2010 Sun Microsystems, Inc. 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 |
* |
|
19 |
* Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara, |
|
20 |
* CA 95054 USA or visit www.sun.com if you need additional information or |
|
21 |
* have any questions. |
|
22 |
* |
|
23 |
*/ |
|
24 |
||
25 |
#include "incls/_precompiled.incl" |
|
26 |
#include "incls/_sharedRuntime.cpp.incl" |
|
27 |
#include <math.h> |
|
28 |
||
29 |
HS_DTRACE_PROBE_DECL4(hotspot, object__alloc, Thread*, char*, int, size_t); |
|
30 |
HS_DTRACE_PROBE_DECL7(hotspot, method__entry, int, |
|
31 |
char*, int, char*, int, char*, int); |
|
32 |
HS_DTRACE_PROBE_DECL7(hotspot, method__return, int, |
|
33 |
char*, int, char*, int, char*, int); |
|
34 |
||
35 |
// Implementation of SharedRuntime |
|
36 |
||
37 |
#ifndef PRODUCT |
|
38 |
// For statistics |
|
39 |
int SharedRuntime::_ic_miss_ctr = 0; |
|
40 |
int SharedRuntime::_wrong_method_ctr = 0; |
|
41 |
int SharedRuntime::_resolve_static_ctr = 0; |
|
42 |
int SharedRuntime::_resolve_virtual_ctr = 0; |
|
43 |
int SharedRuntime::_resolve_opt_virtual_ctr = 0; |
|
44 |
int SharedRuntime::_implicit_null_throws = 0; |
|
45 |
int SharedRuntime::_implicit_div0_throws = 0; |
|
46 |
int SharedRuntime::_throw_null_ctr = 0; |
|
47 |
||
48 |
int SharedRuntime::_nof_normal_calls = 0; |
|
49 |
int SharedRuntime::_nof_optimized_calls = 0; |
|
50 |
int SharedRuntime::_nof_inlined_calls = 0; |
|
51 |
int SharedRuntime::_nof_megamorphic_calls = 0; |
|
52 |
int SharedRuntime::_nof_static_calls = 0; |
|
53 |
int SharedRuntime::_nof_inlined_static_calls = 0; |
|
54 |
int SharedRuntime::_nof_interface_calls = 0; |
|
55 |
int SharedRuntime::_nof_optimized_interface_calls = 0; |
|
56 |
int SharedRuntime::_nof_inlined_interface_calls = 0; |
|
57 |
int SharedRuntime::_nof_megamorphic_interface_calls = 0; |
|
58 |
int SharedRuntime::_nof_removable_exceptions = 0; |
|
59 |
||
60 |
int SharedRuntime::_new_instance_ctr=0; |
|
61 |
int SharedRuntime::_new_array_ctr=0; |
|
62 |
int SharedRuntime::_multi1_ctr=0; |
|
63 |
int SharedRuntime::_multi2_ctr=0; |
|
64 |
int SharedRuntime::_multi3_ctr=0; |
|
65 |
int SharedRuntime::_multi4_ctr=0; |
|
66 |
int SharedRuntime::_multi5_ctr=0; |
|
67 |
int SharedRuntime::_mon_enter_stub_ctr=0; |
|
68 |
int SharedRuntime::_mon_exit_stub_ctr=0; |
|
69 |
int SharedRuntime::_mon_enter_ctr=0; |
|
70 |
int SharedRuntime::_mon_exit_ctr=0; |
|
71 |
int SharedRuntime::_partial_subtype_ctr=0; |
|
72 |
int SharedRuntime::_jbyte_array_copy_ctr=0; |
|
73 |
int SharedRuntime::_jshort_array_copy_ctr=0; |
|
74 |
int SharedRuntime::_jint_array_copy_ctr=0; |
|
75 |
int SharedRuntime::_jlong_array_copy_ctr=0; |
|
76 |
int SharedRuntime::_oop_array_copy_ctr=0; |
|
77 |
int SharedRuntime::_checkcast_array_copy_ctr=0; |
|
78 |
int SharedRuntime::_unsafe_array_copy_ctr=0; |
|
79 |
int SharedRuntime::_generic_array_copy_ctr=0; |
|
80 |
int SharedRuntime::_slow_array_copy_ctr=0; |
|
81 |
int SharedRuntime::_find_handler_ctr=0; |
|
82 |
int SharedRuntime::_rethrow_ctr=0; |
|
83 |
||
84 |
int SharedRuntime::_ICmiss_index = 0; |
|
85 |
int SharedRuntime::_ICmiss_count[SharedRuntime::maxICmiss_count]; |
|
86 |
address SharedRuntime::_ICmiss_at[SharedRuntime::maxICmiss_count]; |
|
87 |
||
88 |
void SharedRuntime::trace_ic_miss(address at) { |
|
89 |
for (int i = 0; i < _ICmiss_index; i++) { |
|
90 |
if (_ICmiss_at[i] == at) { |
|
91 |
_ICmiss_count[i]++; |
|
92 |
return; |
|
93 |
} |
|
94 |
} |
|
95 |
int index = _ICmiss_index++; |
|
96 |
if (_ICmiss_index >= maxICmiss_count) _ICmiss_index = maxICmiss_count - 1; |
|
97 |
_ICmiss_at[index] = at; |
|
98 |
_ICmiss_count[index] = 1; |
|
99 |
} |
|
100 |
||
101 |
void SharedRuntime::print_ic_miss_histogram() { |
|
102 |
if (ICMissHistogram) { |
|
103 |
tty->print_cr ("IC Miss Histogram:"); |
|
104 |
int tot_misses = 0; |
|
105 |
for (int i = 0; i < _ICmiss_index; i++) { |
|
106 |
tty->print_cr(" at: " INTPTR_FORMAT " nof: %d", _ICmiss_at[i], _ICmiss_count[i]); |
|
107 |
tot_misses += _ICmiss_count[i]; |
|
108 |
} |
|
109 |
tty->print_cr ("Total IC misses: %7d", tot_misses); |
|
110 |
} |
|
111 |
} |
|
112 |
#endif // PRODUCT |
|
113 |
||
1374
4c24294029a9
6711316: Open source the Garbage-First garbage collector
ysr
parents:
375
diff
changeset
|
114 |
#ifndef SERIALGC |
4c24294029a9
6711316: Open source the Garbage-First garbage collector
ysr
parents:
375
diff
changeset
|
115 |
|
4c24294029a9
6711316: Open source the Garbage-First garbage collector
ysr
parents:
375
diff
changeset
|
116 |
// G1 write-barrier pre: executed before a pointer store. |
4c24294029a9
6711316: Open source the Garbage-First garbage collector
ysr
parents:
375
diff
changeset
|
117 |
JRT_LEAF(void, SharedRuntime::g1_wb_pre(oopDesc* orig, JavaThread *thread)) |
4c24294029a9
6711316: Open source the Garbage-First garbage collector
ysr
parents:
375
diff
changeset
|
118 |
if (orig == NULL) { |
4c24294029a9
6711316: Open source the Garbage-First garbage collector
ysr
parents:
375
diff
changeset
|
119 |
assert(false, "should be optimized out"); |
4c24294029a9
6711316: Open source the Garbage-First garbage collector
ysr
parents:
375
diff
changeset
|
120 |
return; |
4c24294029a9
6711316: Open source the Garbage-First garbage collector
ysr
parents:
375
diff
changeset
|
121 |
} |
3262
30d1c247fc25
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
2732
diff
changeset
|
122 |
assert(orig->is_oop(true /* ignore mark word */), "Error"); |
1374
4c24294029a9
6711316: Open source the Garbage-First garbage collector
ysr
parents:
375
diff
changeset
|
123 |
// store the original value that was in the field reference |
4c24294029a9
6711316: Open source the Garbage-First garbage collector
ysr
parents:
375
diff
changeset
|
124 |
thread->satb_mark_queue().enqueue(orig); |
4c24294029a9
6711316: Open source the Garbage-First garbage collector
ysr
parents:
375
diff
changeset
|
125 |
JRT_END |
4c24294029a9
6711316: Open source the Garbage-First garbage collector
ysr
parents:
375
diff
changeset
|
126 |
|
4c24294029a9
6711316: Open source the Garbage-First garbage collector
ysr
parents:
375
diff
changeset
|
127 |
// G1 write-barrier post: executed after a pointer store. |
4c24294029a9
6711316: Open source the Garbage-First garbage collector
ysr
parents:
375
diff
changeset
|
128 |
JRT_LEAF(void, SharedRuntime::g1_wb_post(void* card_addr, JavaThread* thread)) |
4c24294029a9
6711316: Open source the Garbage-First garbage collector
ysr
parents:
375
diff
changeset
|
129 |
thread->dirty_card_queue().enqueue(card_addr); |
4c24294029a9
6711316: Open source the Garbage-First garbage collector
ysr
parents:
375
diff
changeset
|
130 |
JRT_END |
4c24294029a9
6711316: Open source the Garbage-First garbage collector
ysr
parents:
375
diff
changeset
|
131 |
|
4c24294029a9
6711316: Open source the Garbage-First garbage collector
ysr
parents:
375
diff
changeset
|
132 |
#endif // !SERIALGC |
4c24294029a9
6711316: Open source the Garbage-First garbage collector
ysr
parents:
375
diff
changeset
|
133 |
|
1 | 134 |
|
135 |
JRT_LEAF(jlong, SharedRuntime::lmul(jlong y, jlong x)) |
|
136 |
return x * y; |
|
137 |
JRT_END |
|
138 |
||
139 |
||
140 |
JRT_LEAF(jlong, SharedRuntime::ldiv(jlong y, jlong x)) |
|
141 |
if (x == min_jlong && y == CONST64(-1)) { |
|
142 |
return x; |
|
143 |
} else { |
|
144 |
return x / y; |
|
145 |
} |
|
146 |
JRT_END |
|
147 |
||
148 |
||
149 |
JRT_LEAF(jlong, SharedRuntime::lrem(jlong y, jlong x)) |
|
150 |
if (x == min_jlong && y == CONST64(-1)) { |
|
151 |
return 0; |
|
152 |
} else { |
|
153 |
return x % y; |
|
154 |
} |
|
155 |
JRT_END |
|
156 |
||
157 |
||
158 |
const juint float_sign_mask = 0x7FFFFFFF; |
|
159 |
const juint float_infinity = 0x7F800000; |
|
160 |
const julong double_sign_mask = CONST64(0x7FFFFFFFFFFFFFFF); |
|
161 |
const julong double_infinity = CONST64(0x7FF0000000000000); |
|
162 |
||
163 |
JRT_LEAF(jfloat, SharedRuntime::frem(jfloat x, jfloat y)) |
|
164 |
#ifdef _WIN64 |
|
165 |
// 64-bit Windows on amd64 returns the wrong values for |
|
166 |
// infinity operands. |
|
167 |
union { jfloat f; juint i; } xbits, ybits; |
|
168 |
xbits.f = x; |
|
169 |
ybits.f = y; |
|
170 |
// x Mod Infinity == x unless x is infinity |
|
171 |
if ( ((xbits.i & float_sign_mask) != float_infinity) && |
|
172 |
((ybits.i & float_sign_mask) == float_infinity) ) { |
|
173 |
return x; |
|
174 |
} |
|
175 |
#endif |
|
176 |
return ((jfloat)fmod((double)x,(double)y)); |
|
177 |
JRT_END |
|
178 |
||
179 |
||
180 |
JRT_LEAF(jdouble, SharedRuntime::drem(jdouble x, jdouble y)) |
|
181 |
#ifdef _WIN64 |
|
182 |
union { jdouble d; julong l; } xbits, ybits; |
|
183 |
xbits.d = x; |
|
184 |
ybits.d = y; |
|
185 |
// x Mod Infinity == x unless x is infinity |
|
186 |
if ( ((xbits.l & double_sign_mask) != double_infinity) && |
|
187 |
((ybits.l & double_sign_mask) == double_infinity) ) { |
|
188 |
return x; |
|
189 |
} |
|
190 |
#endif |
|
191 |
return ((jdouble)fmod((double)x,(double)y)); |
|
192 |
JRT_END |
|
193 |
||
194 |
||
195 |
JRT_LEAF(jint, SharedRuntime::f2i(jfloat x)) |
|
1884
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
196 |
if (g_isnan(x)) |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
197 |
return 0; |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
198 |
if (x >= (jfloat) max_jint) |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
199 |
return max_jint; |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
200 |
if (x <= (jfloat) min_jint) |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
201 |
return min_jint; |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
202 |
return (jint) x; |
1 | 203 |
JRT_END |
204 |
||
205 |
||
206 |
JRT_LEAF(jlong, SharedRuntime::f2l(jfloat x)) |
|
1884
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
207 |
if (g_isnan(x)) |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
208 |
return 0; |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
209 |
if (x >= (jfloat) max_jlong) |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
210 |
return max_jlong; |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
211 |
if (x <= (jfloat) min_jlong) |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
212 |
return min_jlong; |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
213 |
return (jlong) x; |
1 | 214 |
JRT_END |
215 |
||
216 |
||
217 |
JRT_LEAF(jint, SharedRuntime::d2i(jdouble x)) |
|
1884
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
218 |
if (g_isnan(x)) |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
219 |
return 0; |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
220 |
if (x >= (jdouble) max_jint) |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
221 |
return max_jint; |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
222 |
if (x <= (jdouble) min_jint) |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
223 |
return min_jint; |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
224 |
return (jint) x; |
1 | 225 |
JRT_END |
226 |
||
227 |
||
228 |
JRT_LEAF(jlong, SharedRuntime::d2l(jdouble x)) |
|
1884
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
229 |
if (g_isnan(x)) |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
230 |
return 0; |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
231 |
if (x >= (jdouble) max_jlong) |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
232 |
return max_jlong; |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
233 |
if (x <= (jdouble) min_jlong) |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
234 |
return min_jlong; |
f61e87294c59
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
1618
diff
changeset
|
235 |
return (jlong) x; |
1 | 236 |
JRT_END |
237 |
||
238 |
||
239 |
JRT_LEAF(jfloat, SharedRuntime::d2f(jdouble x)) |
|
240 |
return (jfloat)x; |
|
241 |
JRT_END |
|
242 |
||
243 |
||
244 |
JRT_LEAF(jfloat, SharedRuntime::l2f(jlong x)) |
|
245 |
return (jfloat)x; |
|
246 |
JRT_END |
|
247 |
||
248 |
||
249 |
JRT_LEAF(jdouble, SharedRuntime::l2d(jlong x)) |
|
250 |
return (jdouble)x; |
|
251 |
JRT_END |
|
252 |
||
253 |
// Exception handling accross interpreter/compiler boundaries |
|
254 |
// |
|
255 |
// exception_handler_for_return_address(...) returns the continuation address. |
|
256 |
// The continuation address is the entry point of the exception handler of the |
|
257 |
// previous frame depending on the return address. |
|
258 |
||
5046 | 259 |
address SharedRuntime::raw_exception_handler_for_return_address(JavaThread* thread, address return_address) { |
1 | 260 |
assert(frame::verify_return_pc(return_address), "must be a return pc"); |
261 |
||
5252
58f23871a5b6
6941529: SharedRuntime::raw_exception_handler_for_return_address must reset thread MethodHandle flag
twisti
parents:
5050
diff
changeset
|
262 |
// Reset MethodHandle flag. |
58f23871a5b6
6941529: SharedRuntime::raw_exception_handler_for_return_address must reset thread MethodHandle flag
twisti
parents:
5050
diff
changeset
|
263 |
thread->set_is_method_handle_return(false); |
58f23871a5b6
6941529: SharedRuntime::raw_exception_handler_for_return_address must reset thread MethodHandle flag
twisti
parents:
5050
diff
changeset
|
264 |
|
1 | 265 |
// the fastest case first |
266 |
CodeBlob* blob = CodeCache::find_blob(return_address); |
|
267 |
if (blob != NULL && blob->is_nmethod()) { |
|
268 |
nmethod* code = (nmethod*)blob; |
|
269 |
assert(code != NULL, "nmethod must be present"); |
|
5046 | 270 |
// Check if the return address is a MethodHandle call site. |
5252
58f23871a5b6
6941529: SharedRuntime::raw_exception_handler_for_return_address must reset thread MethodHandle flag
twisti
parents:
5050
diff
changeset
|
271 |
thread->set_is_method_handle_return(code->is_method_handle_return(return_address)); |
1 | 272 |
// native nmethods don't have exception handlers |
273 |
assert(!code->is_native_method(), "no exception handler"); |
|
274 |
assert(code->header_begin() != code->exception_begin(), "no exception handler"); |
|
275 |
if (code->is_deopt_pc(return_address)) { |
|
276 |
return SharedRuntime::deopt_blob()->unpack_with_exception(); |
|
277 |
} else { |
|
278 |
return code->exception_begin(); |
|
279 |
} |
|
280 |
} |
|
281 |
||
282 |
// Entry code |
|
283 |
if (StubRoutines::returns_to_call_stub(return_address)) { |
|
284 |
return StubRoutines::catch_exception_entry(); |
|
285 |
} |
|
286 |
// Interpreted code |
|
287 |
if (Interpreter::contains(return_address)) { |
|
288 |
return Interpreter::rethrow_exception_entry(); |
|
289 |
} |
|
290 |
||
291 |
// Compiled code |
|
292 |
if (CodeCache::contains(return_address)) { |
|
293 |
CodeBlob* blob = CodeCache::find_blob(return_address); |
|
294 |
if (blob->is_nmethod()) { |
|
295 |
nmethod* code = (nmethod*)blob; |
|
296 |
assert(code != NULL, "nmethod must be present"); |
|
5046 | 297 |
// Check if the return address is a MethodHandle call site. |
5252
58f23871a5b6
6941529: SharedRuntime::raw_exception_handler_for_return_address must reset thread MethodHandle flag
twisti
parents:
5050
diff
changeset
|
298 |
thread->set_is_method_handle_return(code->is_method_handle_return(return_address)); |
1 | 299 |
assert(code->header_begin() != code->exception_begin(), "no exception handler"); |
300 |
return code->exception_begin(); |
|
301 |
} |
|
302 |
if (blob->is_runtime_stub()) { |
|
303 |
ShouldNotReachHere(); // callers are responsible for skipping runtime stub frames |
|
304 |
} |
|
305 |
} |
|
306 |
guarantee(!VtableStubs::contains(return_address), "NULL exceptions in vtables should have been handled already!"); |
|
307 |
#ifndef PRODUCT |
|
308 |
{ ResourceMark rm; |
|
309 |
tty->print_cr("No exception handler found for exception at " INTPTR_FORMAT " - potential problems:", return_address); |
|
310 |
tty->print_cr("a) exception happened in (new?) code stubs/buffers that is not handled here"); |
|
311 |
tty->print_cr("b) other problem"); |
|
312 |
} |
|
313 |
#endif // PRODUCT |
|
314 |
ShouldNotReachHere(); |
|
315 |
return NULL; |
|
316 |
} |
|
317 |
||
318 |
||
5046 | 319 |
JRT_LEAF(address, SharedRuntime::exception_handler_for_return_address(JavaThread* thread, address return_address)) |
320 |
return raw_exception_handler_for_return_address(thread, return_address); |
|
1 | 321 |
JRT_END |
322 |
||
5046 | 323 |
|
1 | 324 |
address SharedRuntime::get_poll_stub(address pc) { |
325 |
address stub; |
|
326 |
// Look up the code blob |
|
327 |
CodeBlob *cb = CodeCache::find_blob(pc); |
|
328 |
||
329 |
// Should be an nmethod |
|
330 |
assert( cb && cb->is_nmethod(), "safepoint polling: pc must refer to an nmethod" ); |
|
331 |
||
332 |
// Look up the relocation information |
|
333 |
assert( ((nmethod*)cb)->is_at_poll_or_poll_return(pc), |
|
334 |
"safepoint polling: type must be poll" ); |
|
335 |
||
336 |
assert( ((NativeInstruction*)pc)->is_safepoint_poll(), |
|
337 |
"Only polling locations are used for safepoint"); |
|
338 |
||
339 |
bool at_poll_return = ((nmethod*)cb)->is_at_poll_return(pc); |
|
340 |
if (at_poll_return) { |
|
341 |
assert(SharedRuntime::polling_page_return_handler_blob() != NULL, |
|
342 |
"polling page return stub not created yet"); |
|
343 |
stub = SharedRuntime::polling_page_return_handler_blob()->instructions_begin(); |
|
344 |
} else { |
|
345 |
assert(SharedRuntime::polling_page_safepoint_handler_blob() != NULL, |
|
346 |
"polling page safepoint stub not created yet"); |
|
347 |
stub = SharedRuntime::polling_page_safepoint_handler_blob()->instructions_begin(); |
|
348 |
} |
|
349 |
#ifndef PRODUCT |
|
350 |
if( TraceSafepoint ) { |
|
351 |
char buf[256]; |
|
352 |
jio_snprintf(buf, sizeof(buf), |
|
353 |
"... found polling page %s exception at pc = " |
|
354 |
INTPTR_FORMAT ", stub =" INTPTR_FORMAT, |
|
355 |
at_poll_return ? "return" : "loop", |
|
356 |
(intptr_t)pc, (intptr_t)stub); |
|
357 |
tty->print_raw_cr(buf); |
|
358 |
} |
|
359 |
#endif // PRODUCT |
|
360 |
return stub; |
|
361 |
} |
|
362 |
||
363 |
||
364 |
oop SharedRuntime::retrieve_receiver( symbolHandle sig, frame caller ) { |
|
365 |
assert(caller.is_interpreted_frame(), ""); |
|
366 |
int args_size = ArgumentSizeComputer(sig).size() + 1; |
|
367 |
assert(args_size <= caller.interpreter_frame_expression_stack_size(), "receiver must be on interpreter stack"); |
|
368 |
oop result = (oop) *caller.interpreter_frame_tos_at(args_size - 1); |
|
369 |
assert(Universe::heap()->is_in(result) && result->is_oop(), "receiver must be an oop"); |
|
370 |
return result; |
|
371 |
} |
|
372 |
||
373 |
||
374 |
void SharedRuntime::throw_and_post_jvmti_exception(JavaThread *thread, Handle h_exception) { |
|
4761
bdb7375a1fee
6902182: 4/4 Starting with jdwp agent should not incur performance penalty
dcubed
parents:
4735
diff
changeset
|
375 |
if (JvmtiExport::can_post_on_exceptions()) { |
1 | 376 |
vframeStream vfst(thread, true); |
377 |
methodHandle method = methodHandle(thread, vfst.method()); |
|
378 |
address bcp = method()->bcp_from(vfst.bci()); |
|
379 |
JvmtiExport::post_exception_throw(thread, method(), bcp, h_exception()); |
|
380 |
} |
|
381 |
Exceptions::_throw(thread, __FILE__, __LINE__, h_exception); |
|
382 |
} |
|
383 |
||
384 |
void SharedRuntime::throw_and_post_jvmti_exception(JavaThread *thread, symbolOop name, const char *message) { |
|
385 |
Handle h_exception = Exceptions::new_exception(thread, name, message); |
|
386 |
throw_and_post_jvmti_exception(thread, h_exception); |
|
387 |
} |
|
388 |
||
2136
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
389 |
// The interpreter code to call this tracing function is only |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
390 |
// called/generated when TraceRedefineClasses has the right bits |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
391 |
// set. Since obsolete methods are never compiled, we don't have |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
392 |
// to modify the compilers to generate calls to this function. |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
393 |
// |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
394 |
JRT_LEAF(int, SharedRuntime::rc_trace_method_entry( |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
395 |
JavaThread* thread, methodOopDesc* method)) |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
396 |
assert(RC_TRACE_IN_RANGE(0x00001000, 0x00002000), "wrong call"); |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
397 |
|
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
398 |
if (method->is_obsolete()) { |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
399 |
// We are calling an obsolete method, but this is not necessarily |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
400 |
// an error. Our method could have been redefined just after we |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
401 |
// fetched the methodOop from the constant pool. |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
402 |
|
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
403 |
// RC_TRACE macro has an embedded ResourceMark |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
404 |
RC_TRACE_WITH_THREAD(0x00001000, thread, |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
405 |
("calling obsolete method '%s'", |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
406 |
method->name_and_sig_as_C_string())); |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
407 |
if (RC_TRACE_ENABLED(0x00002000)) { |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
408 |
// this option is provided to debug calls to obsolete methods |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
409 |
guarantee(false, "faulting at call to an obsolete method."); |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
410 |
} |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
411 |
} |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
412 |
return 0; |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
413 |
JRT_END |
c55428da3cec
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
1618
diff
changeset
|
414 |
|
1 | 415 |
// ret_pc points into caller; we are returning caller's exception handler |
416 |
// for given exception |
|
417 |
address SharedRuntime::compute_compiled_exc_handler(nmethod* nm, address ret_pc, Handle& exception, |
|
418 |
bool force_unwind, bool top_frame_only) { |
|
419 |
assert(nm != NULL, "must exist"); |
|
420 |
ResourceMark rm; |
|
421 |
||
422 |
ScopeDesc* sd = nm->scope_desc_at(ret_pc); |
|
423 |
// determine handler bci, if any |
|
424 |
EXCEPTION_MARK; |
|
425 |
||
426 |
int handler_bci = -1; |
|
427 |
int scope_depth = 0; |
|
428 |
if (!force_unwind) { |
|
429 |
int bci = sd->bci(); |
|
430 |
do { |
|
431 |
bool skip_scope_increment = false; |
|
432 |
// exception handler lookup |
|
433 |
KlassHandle ek (THREAD, exception->klass()); |
|
434 |
handler_bci = sd->method()->fast_exception_handler_bci_for(ek, bci, THREAD); |
|
435 |
if (HAS_PENDING_EXCEPTION) { |
|
436 |
// We threw an exception while trying to find the exception handler. |
|
437 |
// Transfer the new exception to the exception handle which will |
|
438 |
// be set into thread local storage, and do another lookup for an |
|
439 |
// exception handler for this exception, this time starting at the |
|
440 |
// BCI of the exception handler which caused the exception to be |
|
441 |
// thrown (bugs 4307310 and 4546590). Set "exception" reference |
|
442 |
// argument to ensure that the correct exception is thrown (4870175). |
|
443 |
exception = Handle(THREAD, PENDING_EXCEPTION); |
|
444 |
CLEAR_PENDING_EXCEPTION; |
|
445 |
if (handler_bci >= 0) { |
|
446 |
bci = handler_bci; |
|
447 |
handler_bci = -1; |
|
448 |
skip_scope_increment = true; |
|
449 |
} |
|
450 |
} |
|
451 |
if (!top_frame_only && handler_bci < 0 && !skip_scope_increment) { |
|
452 |
sd = sd->sender(); |
|
453 |
if (sd != NULL) { |
|
454 |
bci = sd->bci(); |
|
455 |
} |
|
456 |
++scope_depth; |
|
457 |
} |
|
458 |
} while (!top_frame_only && handler_bci < 0 && sd != NULL); |
|
459 |
} |
|
460 |
||
461 |
// found handling method => lookup exception handler |
|
462 |
int catch_pco = ret_pc - nm->instructions_begin(); |
|
463 |
||
464 |
ExceptionHandlerTable table(nm); |
|
465 |
HandlerTableEntry *t = table.entry_for(catch_pco, handler_bci, scope_depth); |
|
466 |
if (t == NULL && (nm->is_compiled_by_c1() || handler_bci != -1)) { |
|
467 |
// Allow abbreviated catch tables. The idea is to allow a method |
|
468 |
// to materialize its exceptions without committing to the exact |
|
469 |
// routing of exceptions. In particular this is needed for adding |
|
470 |
// a synthethic handler to unlock monitors when inlining |
|
471 |
// synchonized methods since the unlock path isn't represented in |
|
472 |
// the bytecodes. |
|
473 |
t = table.entry_for(catch_pco, -1, 0); |
|
474 |
} |
|
475 |
||
476 |
if (t == NULL) { |
|
477 |
tty->print_cr("MISSING EXCEPTION HANDLER for pc " INTPTR_FORMAT " and handler bci %d", ret_pc, handler_bci); |
|
478 |
tty->print_cr(" Exception:"); |
|
479 |
exception->print(); |
|
480 |
tty->cr(); |
|
481 |
tty->print_cr(" Compiled exception table :"); |
|
482 |
table.print(); |
|
483 |
nm->print_code(); |
|
484 |
guarantee(false, "missing exception handler"); |
|
485 |
return NULL; |
|
486 |
} |
|
487 |
||
488 |
return nm->instructions_begin() + t->pco(); |
|
489 |
} |
|
490 |
||
491 |
JRT_ENTRY(void, SharedRuntime::throw_AbstractMethodError(JavaThread* thread)) |
|
492 |
// These errors occur only at call sites |
|
493 |
throw_and_post_jvmti_exception(thread, vmSymbols::java_lang_AbstractMethodError()); |
|
494 |
JRT_END |
|
495 |
||
189
4248c8e21063
6664627: Merge changes made only in hotspot 11 forward to jdk 7
dcubed
parents:
1
diff
changeset
|
496 |
JRT_ENTRY(void, SharedRuntime::throw_IncompatibleClassChangeError(JavaThread* thread)) |
4248c8e21063
6664627: Merge changes made only in hotspot 11 forward to jdk 7
dcubed
parents:
1
diff
changeset
|
497 |
// These errors occur only at call sites |
4248c8e21063
6664627: Merge changes made only in hotspot 11 forward to jdk 7
dcubed
parents:
1
diff
changeset
|
498 |
throw_and_post_jvmti_exception(thread, vmSymbols::java_lang_IncompatibleClassChangeError(), "vtable stub"); |
4248c8e21063
6664627: Merge changes made only in hotspot 11 forward to jdk 7
dcubed
parents:
1
diff
changeset
|
499 |
JRT_END |
4248c8e21063
6664627: Merge changes made only in hotspot 11 forward to jdk 7
dcubed
parents:
1
diff
changeset
|
500 |
|
1 | 501 |
JRT_ENTRY(void, SharedRuntime::throw_ArithmeticException(JavaThread* thread)) |
502 |
throw_and_post_jvmti_exception(thread, vmSymbols::java_lang_ArithmeticException(), "/ by zero"); |
|
503 |
JRT_END |
|
504 |
||
505 |
JRT_ENTRY(void, SharedRuntime::throw_NullPointerException(JavaThread* thread)) |
|
506 |
throw_and_post_jvmti_exception(thread, vmSymbols::java_lang_NullPointerException()); |
|
507 |
JRT_END |
|
508 |
||
509 |
JRT_ENTRY(void, SharedRuntime::throw_NullPointerException_at_call(JavaThread* thread)) |
|
510 |
// This entry point is effectively only used for NullPointerExceptions which occur at inline |
|
511 |
// cache sites (when the callee activation is not yet set up) so we are at a call site |
|
512 |
throw_and_post_jvmti_exception(thread, vmSymbols::java_lang_NullPointerException()); |
|
513 |
JRT_END |
|
514 |
||
515 |
JRT_ENTRY(void, SharedRuntime::throw_StackOverflowError(JavaThread* thread)) |
|
516 |
// We avoid using the normal exception construction in this case because |
|
517 |
// it performs an upcall to Java, and we're already out of stack space. |
|
518 |
klassOop k = SystemDictionary::StackOverflowError_klass(); |
|
519 |
oop exception_oop = instanceKlass::cast(k)->allocate_instance(CHECK); |
|
520 |
Handle exception (thread, exception_oop); |
|
521 |
if (StackTraceInThrowable) { |
|
522 |
java_lang_Throwable::fill_in_stack_trace(exception); |
|
523 |
} |
|
524 |
throw_and_post_jvmti_exception(thread, exception); |
|
525 |
JRT_END |
|
526 |
||
527 |
address SharedRuntime::continuation_for_implicit_exception(JavaThread* thread, |
|
528 |
address pc, |
|
529 |
SharedRuntime::ImplicitExceptionKind exception_kind) |
|
530 |
{ |
|
531 |
address target_pc = NULL; |
|
532 |
||
533 |
if (Interpreter::contains(pc)) { |
|
534 |
#ifdef CC_INTERP |
|
535 |
// C++ interpreter doesn't throw implicit exceptions |
|
536 |
ShouldNotReachHere(); |
|
537 |
#else |
|
538 |
switch (exception_kind) { |
|
539 |
case IMPLICIT_NULL: return Interpreter::throw_NullPointerException_entry(); |
|
540 |
case IMPLICIT_DIVIDE_BY_ZERO: return Interpreter::throw_ArithmeticException_entry(); |
|
541 |
case STACK_OVERFLOW: return Interpreter::throw_StackOverflowError_entry(); |
|
542 |
default: ShouldNotReachHere(); |
|
543 |
} |
|
544 |
#endif // !CC_INTERP |
|
545 |
} else { |
|
546 |
switch (exception_kind) { |
|
547 |
case STACK_OVERFLOW: { |
|
548 |
// Stack overflow only occurs upon frame setup; the callee is |
|
549 |
// going to be unwound. Dispatch to a shared runtime stub |
|
550 |
// which will cause the StackOverflowError to be fabricated |
|
551 |
// and processed. |
|
552 |
// For stack overflow in deoptimization blob, cleanup thread. |
|
553 |
if (thread->deopt_mark() != NULL) { |
|
554 |
Deoptimization::cleanup_deopt_info(thread, NULL); |
|
555 |
} |
|
556 |
return StubRoutines::throw_StackOverflowError_entry(); |
|
557 |
} |
|
558 |
||
559 |
case IMPLICIT_NULL: { |
|
560 |
if (VtableStubs::contains(pc)) { |
|
561 |
// We haven't yet entered the callee frame. Fabricate an |
|
562 |
// exception and begin dispatching it in the caller. Since |
|
563 |
// the caller was at a call site, it's safe to destroy all |
|
564 |
// caller-saved registers, as these entry points do. |
|
565 |
VtableStub* vt_stub = VtableStubs::stub_containing(pc); |
|
1618
2d86b9b84aa5
6739363: Xcheck jni doesn't check native function arguments
poonam
parents:
1388
diff
changeset
|
566 |
|
2d86b9b84aa5
6739363: Xcheck jni doesn't check native function arguments
poonam
parents:
1388
diff
changeset
|
567 |
// If vt_stub is NULL, then return NULL to signal handler to report the SEGV error. |
2d86b9b84aa5
6739363: Xcheck jni doesn't check native function arguments
poonam
parents:
1388
diff
changeset
|
568 |
if (vt_stub == NULL) return NULL; |
2d86b9b84aa5
6739363: Xcheck jni doesn't check native function arguments
poonam
parents:
1388
diff
changeset
|
569 |
|
1 | 570 |
if (vt_stub->is_abstract_method_error(pc)) { |
571 |
assert(!vt_stub->is_vtable_stub(), "should never see AbstractMethodErrors from vtable-type VtableStubs"); |
|
572 |
return StubRoutines::throw_AbstractMethodError_entry(); |
|
573 |
} else { |
|
574 |
return StubRoutines::throw_NullPointerException_at_call_entry(); |
|
575 |
} |
|
576 |
} else { |
|
577 |
CodeBlob* cb = CodeCache::find_blob(pc); |
|
1618
2d86b9b84aa5
6739363: Xcheck jni doesn't check native function arguments
poonam
parents:
1388
diff
changeset
|
578 |
|
2d86b9b84aa5
6739363: Xcheck jni doesn't check native function arguments
poonam
parents:
1388
diff
changeset
|
579 |
// If code blob is NULL, then return NULL to signal handler to report the SEGV error. |
2d86b9b84aa5
6739363: Xcheck jni doesn't check native function arguments
poonam
parents:
1388
diff
changeset
|
580 |
if (cb == NULL) return NULL; |
1 | 581 |
|
582 |
// Exception happened in CodeCache. Must be either: |
|
583 |
// 1. Inline-cache check in C2I handler blob, |
|
584 |
// 2. Inline-cache check in nmethod, or |
|
585 |
// 3. Implict null exception in nmethod |
|
586 |
||
587 |
if (!cb->is_nmethod()) { |
|
5050
47ecd86932ce
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
5046
diff
changeset
|
588 |
guarantee(cb->is_adapter_blob() || cb->is_method_handles_adapter_blob(), |
1618
2d86b9b84aa5
6739363: Xcheck jni doesn't check native function arguments
poonam
parents:
1388
diff
changeset
|
589 |
"exception happened outside interpreter, nmethods and vtable stubs (1)"); |
1 | 590 |
// There is no handler here, so we will simply unwind. |
591 |
return StubRoutines::throw_NullPointerException_at_call_entry(); |
|
592 |
} |
|
593 |
||
594 |
// Otherwise, it's an nmethod. Consult its exception handlers. |
|
595 |
nmethod* nm = (nmethod*)cb; |
|
596 |
if (nm->inlinecache_check_contains(pc)) { |
|
597 |
// exception happened inside inline-cache check code |
|
598 |
// => the nmethod is not yet active (i.e., the frame |
|
599 |
// is not set up yet) => use return address pushed by |
|
600 |
// caller => don't push another return address |
|
601 |
return StubRoutines::throw_NullPointerException_at_call_entry(); |
|
602 |
} |
|
603 |
||
604 |
#ifndef PRODUCT |
|
605 |
_implicit_null_throws++; |
|
606 |
#endif |
|
607 |
target_pc = nm->continuation_for_implicit_exception(pc); |
|
4891 | 608 |
// If there's an unexpected fault, target_pc might be NULL, |
609 |
// in which case we want to fall through into the normal |
|
610 |
// error handling code. |
|
1 | 611 |
} |
612 |
||
613 |
break; // fall through |
|
614 |
} |
|
615 |
||
616 |
||
617 |
case IMPLICIT_DIVIDE_BY_ZERO: { |
|
618 |
nmethod* nm = CodeCache::find_nmethod(pc); |
|
619 |
guarantee(nm != NULL, "must have containing nmethod for implicit division-by-zero exceptions"); |
|
620 |
#ifndef PRODUCT |
|
621 |
_implicit_div0_throws++; |
|
622 |
#endif |
|
623 |
target_pc = nm->continuation_for_implicit_exception(pc); |
|
4891 | 624 |
// If there's an unexpected fault, target_pc might be NULL, |
625 |
// in which case we want to fall through into the normal |
|
626 |
// error handling code. |
|
1 | 627 |
break; // fall through |
628 |
} |
|
629 |
||
630 |
default: ShouldNotReachHere(); |
|
631 |
} |
|
632 |
||
633 |
assert(exception_kind == IMPLICIT_NULL || exception_kind == IMPLICIT_DIVIDE_BY_ZERO, "wrong implicit exception kind"); |
|
634 |
||
635 |
// for AbortVMOnException flag |
|
636 |
NOT_PRODUCT(Exceptions::debug_check_abort("java.lang.NullPointerException")); |
|
637 |
if (exception_kind == IMPLICIT_NULL) { |
|
638 |
Events::log("Implicit null exception at " INTPTR_FORMAT " to " INTPTR_FORMAT, pc, target_pc); |
|
639 |
} else { |
|
640 |
Events::log("Implicit division by zero exception at " INTPTR_FORMAT " to " INTPTR_FORMAT, pc, target_pc); |
|
641 |
} |
|
642 |
return target_pc; |
|
643 |
} |
|
644 |
||
645 |
ShouldNotReachHere(); |
|
646 |
return NULL; |
|
647 |
} |
|
648 |
||
649 |
||
650 |
JNI_ENTRY(void, throw_unsatisfied_link_error(JNIEnv* env, ...)) |
|
651 |
{ |
|
652 |
THROW(vmSymbols::java_lang_UnsatisfiedLinkError()); |
|
653 |
} |
|
654 |
JNI_END |
|
655 |
||
656 |
||
657 |
address SharedRuntime::native_method_throw_unsatisfied_link_error_entry() { |
|
658 |
return CAST_FROM_FN_PTR(address, &throw_unsatisfied_link_error); |
|
659 |
} |
|
660 |
||
661 |
||
662 |
#ifndef PRODUCT |
|
663 |
JRT_ENTRY(intptr_t, SharedRuntime::trace_bytecode(JavaThread* thread, intptr_t preserve_this_value, intptr_t tos, intptr_t tos2)) |
|
664 |
const frame f = thread->last_frame(); |
|
665 |
assert(f.is_interpreted_frame(), "must be an interpreted frame"); |
|
666 |
#ifndef PRODUCT |
|
667 |
methodHandle mh(THREAD, f.interpreter_frame_method()); |
|
668 |
BytecodeTracer::trace(mh, f.interpreter_frame_bcp(), tos, tos2); |
|
669 |
#endif // !PRODUCT |
|
670 |
return preserve_this_value; |
|
671 |
JRT_END |
|
672 |
#endif // !PRODUCT |
|
673 |
||
674 |
||
675 |
JRT_ENTRY(void, SharedRuntime::yield_all(JavaThread* thread, int attempts)) |
|
676 |
os::yield_all(attempts); |
|
677 |
JRT_END |
|
678 |
||
679 |
||
680 |
JRT_ENTRY_NO_ASYNC(void, SharedRuntime::register_finalizer(JavaThread* thread, oopDesc* obj)) |
|
681 |
assert(obj->is_oop(), "must be a valid oop"); |
|
682 |
assert(obj->klass()->klass_part()->has_finalizer(), "shouldn't be here otherwise"); |
|
683 |
instanceKlass::register_finalizer(instanceOop(obj), CHECK); |
|
684 |
JRT_END |
|
685 |
||
686 |
||
687 |
jlong SharedRuntime::get_java_tid(Thread* thread) { |
|
688 |
if (thread != NULL) { |
|
689 |
if (thread->is_Java_thread()) { |
|
690 |
oop obj = ((JavaThread*)thread)->threadObj(); |
|
691 |
return (obj == NULL) ? 0 : java_lang_Thread::thread_id(obj); |
|
692 |
} |
|
693 |
} |
|
694 |
return 0; |
|
695 |
} |
|
696 |
||
697 |
/** |
|
698 |
* This function ought to be a void function, but cannot be because |
|
699 |
* it gets turned into a tail-call on sparc, which runs into dtrace bug |
|
700 |
* 6254741. Once that is fixed we can remove the dummy return value. |
|
701 |
*/ |
|
702 |
int SharedRuntime::dtrace_object_alloc(oopDesc* o) { |
|
703 |
return dtrace_object_alloc_base(Thread::current(), o); |
|
704 |
} |
|
705 |
||
706 |
int SharedRuntime::dtrace_object_alloc_base(Thread* thread, oopDesc* o) { |
|
707 |
assert(DTraceAllocProbes, "wrong call"); |
|
708 |
Klass* klass = o->blueprint(); |
|
709 |
int size = o->size(); |
|
710 |
symbolOop name = klass->name(); |
|
711 |
HS_DTRACE_PROBE4(hotspot, object__alloc, get_java_tid(thread), |
|
712 |
name->bytes(), name->utf8_length(), size * HeapWordSize); |
|
713 |
return 0; |
|
714 |
} |
|
715 |
||
716 |
JRT_LEAF(int, SharedRuntime::dtrace_method_entry( |
|
717 |
JavaThread* thread, methodOopDesc* method)) |
|
718 |
assert(DTraceMethodProbes, "wrong call"); |
|
719 |
symbolOop kname = method->klass_name(); |
|
720 |
symbolOop name = method->name(); |
|
721 |
symbolOop sig = method->signature(); |
|
722 |
HS_DTRACE_PROBE7(hotspot, method__entry, get_java_tid(thread), |
|
723 |
kname->bytes(), kname->utf8_length(), |
|
724 |
name->bytes(), name->utf8_length(), |
|
725 |
sig->bytes(), sig->utf8_length()); |
|
726 |
return 0; |
|
727 |
JRT_END |
|
728 |
||
729 |
JRT_LEAF(int, SharedRuntime::dtrace_method_exit( |
|
730 |
JavaThread* thread, methodOopDesc* method)) |
|
731 |
assert(DTraceMethodProbes, "wrong call"); |
|
732 |
symbolOop kname = method->klass_name(); |
|
733 |
symbolOop name = method->name(); |
|
734 |
symbolOop sig = method->signature(); |
|
735 |
HS_DTRACE_PROBE7(hotspot, method__return, get_java_tid(thread), |
|
736 |
kname->bytes(), kname->utf8_length(), |
|
737 |
name->bytes(), name->utf8_length(), |
|
738 |
sig->bytes(), sig->utf8_length()); |
|
739 |
return 0; |
|
740 |
JRT_END |
|
741 |
||
742 |
||
743 |
// Finds receiver, CallInfo (i.e. receiver method), and calling bytecode) |
|
744 |
// for a call current in progress, i.e., arguments has been pushed on stack |
|
745 |
// put callee has not been invoked yet. Used by: resolve virtual/static, |
|
746 |
// vtable updates, etc. Caller frame must be compiled. |
|
747 |
Handle SharedRuntime::find_callee_info(JavaThread* thread, Bytecodes::Code& bc, CallInfo& callinfo, TRAPS) { |
|
748 |
ResourceMark rm(THREAD); |
|
749 |
||
750 |
// last java frame on stack (which includes native call frames) |
|
751 |
vframeStream vfst(thread, true); // Do not skip and javaCalls |
|
752 |
||
753 |
return find_callee_info_helper(thread, vfst, bc, callinfo, CHECK_(Handle())); |
|
754 |
} |
|
755 |
||
756 |
||
757 |
// Finds receiver, CallInfo (i.e. receiver method), and calling bytecode |
|
758 |
// for a call current in progress, i.e., arguments has been pushed on stack |
|
759 |
// but callee has not been invoked yet. Caller frame must be compiled. |
|
760 |
Handle SharedRuntime::find_callee_info_helper(JavaThread* thread, |
|
761 |
vframeStream& vfst, |
|
762 |
Bytecodes::Code& bc, |
|
763 |
CallInfo& callinfo, TRAPS) { |
|
764 |
Handle receiver; |
|
765 |
Handle nullHandle; //create a handy null handle for exception returns |
|
766 |
||
767 |
assert(!vfst.at_end(), "Java frame must exist"); |
|
768 |
||
769 |
// Find caller and bci from vframe |
|
770 |
methodHandle caller (THREAD, vfst.method()); |
|
771 |
int bci = vfst.bci(); |
|
772 |
||
773 |
// Find bytecode |
|
774 |
Bytecode_invoke* bytecode = Bytecode_invoke_at(caller, bci); |
|
775 |
bc = bytecode->adjusted_invoke_code(); |
|
776 |
int bytecode_index = bytecode->index(); |
|
777 |
||
778 |
// Find receiver for non-static call |
|
779 |
if (bc != Bytecodes::_invokestatic) { |
|
780 |
// This register map must be update since we need to find the receiver for |
|
781 |
// compiled frames. The receiver might be in a register. |
|
782 |
RegisterMap reg_map2(thread); |
|
783 |
frame stubFrame = thread->last_frame(); |
|
784 |
// Caller-frame is a compiled frame |
|
785 |
frame callerFrame = stubFrame.sender(®_map2); |
|
786 |
||
787 |
methodHandle callee = bytecode->static_target(CHECK_(nullHandle)); |
|
788 |
if (callee.is_null()) { |
|
789 |
THROW_(vmSymbols::java_lang_NoSuchMethodException(), nullHandle); |
|
790 |
} |
|
791 |
// Retrieve from a compiled argument list |
|
792 |
receiver = Handle(THREAD, callerFrame.retrieve_receiver(®_map2)); |
|
793 |
||
794 |
if (receiver.is_null()) { |
|
795 |
THROW_(vmSymbols::java_lang_NullPointerException(), nullHandle); |
|
796 |
} |
|
797 |
} |
|
798 |
||
799 |
// Resolve method. This is parameterized by bytecode. |
|
800 |
constantPoolHandle constants (THREAD, caller->constants()); |
|
801 |
assert (receiver.is_null() || receiver->is_oop(), "wrong receiver"); |
|
802 |
LinkResolver::resolve_invoke(callinfo, receiver, constants, bytecode_index, bc, CHECK_(nullHandle)); |
|
803 |
||
804 |
#ifdef ASSERT |
|
805 |
// Check that the receiver klass is of the right subtype and that it is initialized for virtual calls |
|
4564
55dfb20908d0
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
3262
diff
changeset
|
806 |
if (bc != Bytecodes::_invokestatic && bc != Bytecodes::_invokedynamic) { |
1 | 807 |
assert(receiver.not_null(), "should have thrown exception"); |
808 |
KlassHandle receiver_klass (THREAD, receiver->klass()); |
|
809 |
klassOop rk = constants->klass_ref_at(bytecode_index, CHECK_(nullHandle)); |
|
810 |
// klass is already loaded |
|
811 |
KlassHandle static_receiver_klass (THREAD, rk); |
|
812 |
assert(receiver_klass->is_subtype_of(static_receiver_klass()), "actual receiver must be subclass of static receiver klass"); |
|
813 |
if (receiver_klass->oop_is_instance()) { |
|
814 |
if (instanceKlass::cast(receiver_klass())->is_not_initialized()) { |
|
815 |
tty->print_cr("ERROR: Klass not yet initialized!!"); |
|
816 |
receiver_klass.print(); |
|
817 |
} |
|
818 |
assert (!instanceKlass::cast(receiver_klass())->is_not_initialized(), "receiver_klass must be initialized"); |
|
819 |
} |
|
820 |
} |
|
821 |
#endif |
|
822 |
||
823 |
return receiver; |
|
824 |
} |
|
825 |
||
826 |
methodHandle SharedRuntime::find_callee_method(JavaThread* thread, TRAPS) { |
|
827 |
ResourceMark rm(THREAD); |
|
828 |
// We need first to check if any Java activations (compiled, interpreted) |
|
829 |
// exist on the stack since last JavaCall. If not, we need |
|
830 |
// to get the target method from the JavaCall wrapper. |
|
831 |
vframeStream vfst(thread, true); // Do not skip any javaCalls |
|
832 |
methodHandle callee_method; |
|
833 |
if (vfst.at_end()) { |
|
834 |
// No Java frames were found on stack since we did the JavaCall. |
|
835 |
// Hence the stack can only contain an entry_frame. We need to |
|
836 |
// find the target method from the stub frame. |
|
837 |
RegisterMap reg_map(thread, false); |
|
838 |
frame fr = thread->last_frame(); |
|
839 |
assert(fr.is_runtime_frame(), "must be a runtimeStub"); |
|
840 |
fr = fr.sender(®_map); |
|
841 |
assert(fr.is_entry_frame(), "must be"); |
|
842 |
// fr is now pointing to the entry frame. |
|
843 |
callee_method = methodHandle(THREAD, fr.entry_frame_call_wrapper()->callee_method()); |
|
844 |
assert(fr.entry_frame_call_wrapper()->receiver() == NULL || !callee_method->is_static(), "non-null receiver for static call??"); |
|
845 |
} else { |
|
846 |
Bytecodes::Code bc; |
|
847 |
CallInfo callinfo; |
|
848 |
find_callee_info_helper(thread, vfst, bc, callinfo, CHECK_(methodHandle())); |
|
849 |
callee_method = callinfo.selected_method(); |
|
850 |
} |
|
851 |
assert(callee_method()->is_method(), "must be"); |
|
852 |
return callee_method; |
|
853 |
} |
|
854 |
||
855 |
// Resolves a call. |
|
856 |
methodHandle SharedRuntime::resolve_helper(JavaThread *thread, |
|
857 |
bool is_virtual, |
|
858 |
bool is_optimized, TRAPS) { |
|
859 |
methodHandle callee_method; |
|
860 |
callee_method = resolve_sub_helper(thread, is_virtual, is_optimized, THREAD); |
|
861 |
if (JvmtiExport::can_hotswap_or_post_breakpoint()) { |
|
862 |
int retry_count = 0; |
|
863 |
while (!HAS_PENDING_EXCEPTION && callee_method->is_old() && |
|
4571 | 864 |
callee_method->method_holder() != SystemDictionary::Object_klass()) { |
1 | 865 |
// If has a pending exception then there is no need to re-try to |
866 |
// resolve this method. |
|
867 |
// If the method has been redefined, we need to try again. |
|
868 |
// Hack: we have no way to update the vtables of arrays, so don't |
|
869 |
// require that java.lang.Object has been updated. |
|
870 |
||
871 |
// It is very unlikely that method is redefined more than 100 times |
|
872 |
// in the middle of resolve. If it is looping here more than 100 times |
|
873 |
// means then there could be a bug here. |
|
874 |
guarantee((retry_count++ < 100), |
|
875 |
"Could not resolve to latest version of redefined method"); |
|
876 |
// method is redefined in the middle of resolve so re-try. |
|
877 |
callee_method = resolve_sub_helper(thread, is_virtual, is_optimized, THREAD); |
|
878 |
} |
|
879 |
} |
|
880 |
return callee_method; |
|
881 |
} |
|
882 |
||
883 |
// Resolves a call. The compilers generate code for calls that go here |
|
884 |
// and are patched with the real destination of the call. |
|
885 |
methodHandle SharedRuntime::resolve_sub_helper(JavaThread *thread, |
|
886 |
bool is_virtual, |
|
887 |
bool is_optimized, TRAPS) { |
|
888 |
||
889 |
ResourceMark rm(thread); |
|
890 |
RegisterMap cbl_map(thread, false); |
|
891 |
frame caller_frame = thread->last_frame().sender(&cbl_map); |
|
892 |
||
5046 | 893 |
CodeBlob* caller_cb = caller_frame.cb(); |
894 |
guarantee(caller_cb != NULL && caller_cb->is_nmethod(), "must be called from nmethod"); |
|
895 |
nmethod* caller_nm = caller_cb->as_nmethod_or_null(); |
|
1 | 896 |
// make sure caller is not getting deoptimized |
897 |
// and removed before we are done with it. |
|
898 |
// CLEANUP - with lazy deopt shouldn't need this lock |
|
5046 | 899 |
nmethodLocker caller_lock(caller_nm); |
1 | 900 |
|
901 |
||
902 |
// determine call info & receiver |
|
903 |
// note: a) receiver is NULL for static calls |
|
904 |
// b) an exception is thrown if receiver is NULL for non-static calls |
|
905 |
CallInfo call_info; |
|
906 |
Bytecodes::Code invoke_code = Bytecodes::_illegal; |
|
907 |
Handle receiver = find_callee_info(thread, invoke_code, |
|
908 |
call_info, CHECK_(methodHandle())); |
|
909 |
methodHandle callee_method = call_info.selected_method(); |
|
910 |
||
911 |
assert((!is_virtual && invoke_code == Bytecodes::_invokestatic) || |
|
912 |
( is_virtual && invoke_code != Bytecodes::_invokestatic), "inconsistent bytecode"); |
|
913 |
||
914 |
#ifndef PRODUCT |
|
915 |
// tracing/debugging/statistics |
|
916 |
int *addr = (is_optimized) ? (&_resolve_opt_virtual_ctr) : |
|
917 |
(is_virtual) ? (&_resolve_virtual_ctr) : |
|
918 |
(&_resolve_static_ctr); |
|
919 |
Atomic::inc(addr); |
|
920 |
||
921 |
if (TraceCallFixup) { |
|
922 |
ResourceMark rm(thread); |
|
923 |
tty->print("resolving %s%s (%s) call to", |
|
924 |
(is_optimized) ? "optimized " : "", (is_virtual) ? "virtual" : "static", |
|
925 |
Bytecodes::name(invoke_code)); |
|
926 |
callee_method->print_short_name(tty); |
|
927 |
tty->print_cr(" code: " INTPTR_FORMAT, callee_method->code()); |
|
928 |
} |
|
929 |
#endif |
|
930 |
||
5046 | 931 |
// JSR 292 |
932 |
// If the resolved method is a MethodHandle invoke target the call |
|
933 |
// site must be a MethodHandle call site. |
|
934 |
if (callee_method->is_method_handle_invoke()) { |
|
935 |
assert(caller_nm->is_method_handle_return(caller_frame.pc()), "must be MH call site"); |
|
936 |
} |
|
937 |
||
1 | 938 |
// Compute entry points. This might require generation of C2I converter |
939 |
// frames, so we cannot be holding any locks here. Furthermore, the |
|
940 |
// computation of the entry points is independent of patching the call. We |
|
941 |
// always return the entry-point, but we only patch the stub if the call has |
|
942 |
// not been deoptimized. Return values: For a virtual call this is an |
|
943 |
// (cached_oop, destination address) pair. For a static call/optimized |
|
944 |
// virtual this is just a destination address. |
|
945 |
||
946 |
StaticCallInfo static_call_info; |
|
947 |
CompiledICInfo virtual_call_info; |
|
948 |
||
949 |
// Make sure the callee nmethod does not get deoptimized and removed before |
|
950 |
// we are done patching the code. |
|
5046 | 951 |
nmethod* callee_nm = callee_method->code(); |
952 |
nmethodLocker nl_callee(callee_nm); |
|
1 | 953 |
#ifdef ASSERT |
5046 | 954 |
address dest_entry_point = callee_nm == NULL ? 0 : callee_nm->entry_point(); // used below |
1 | 955 |
#endif |
956 |
||
957 |
if (is_virtual) { |
|
958 |
assert(receiver.not_null(), "sanity check"); |
|
959 |
bool static_bound = call_info.resolved_method()->can_be_statically_bound(); |
|
960 |
KlassHandle h_klass(THREAD, receiver->klass()); |
|
961 |
CompiledIC::compute_monomorphic_entry(callee_method, h_klass, |
|
962 |
is_optimized, static_bound, virtual_call_info, |
|
963 |
CHECK_(methodHandle())); |
|
964 |
} else { |
|
965 |
// static call |
|
966 |
CompiledStaticCall::compute_entry(callee_method, static_call_info); |
|
967 |
} |
|
968 |
||
969 |
// grab lock, check for deoptimization and potentially patch caller |
|
970 |
{ |
|
971 |
MutexLocker ml_patch(CompiledIC_lock); |
|
972 |
||
973 |
// Now that we are ready to patch if the methodOop was redefined then |
|
974 |
// don't update call site and let the caller retry. |
|
975 |
||
976 |
if (!callee_method->is_old()) { |
|
977 |
#ifdef ASSERT |
|
978 |
// We must not try to patch to jump to an already unloaded method. |
|
979 |
if (dest_entry_point != 0) { |
|
980 |
assert(CodeCache::find_blob(dest_entry_point) != NULL, |
|
981 |
"should not unload nmethod while locked"); |
|
982 |
} |
|
983 |
#endif |
|
984 |
if (is_virtual) { |
|
985 |
CompiledIC* inline_cache = CompiledIC_before(caller_frame.pc()); |
|
986 |
if (inline_cache->is_clean()) { |
|
987 |
inline_cache->set_to_monomorphic(virtual_call_info); |
|
988 |
} |
|
989 |
} else { |
|
990 |
CompiledStaticCall* ssc = compiledStaticCall_before(caller_frame.pc()); |
|
991 |
if (ssc->is_clean()) ssc->set(static_call_info); |
|
992 |
} |
|
993 |
} |
|
994 |
||
995 |
} // unlock CompiledIC_lock |
|
996 |
||
997 |
return callee_method; |
|
998 |
} |
|
999 |
||
1000 |
||
1001 |
// Inline caches exist only in compiled code |
|
1002 |
JRT_BLOCK_ENTRY(address, SharedRuntime::handle_wrong_method_ic_miss(JavaThread* thread)) |
|
1003 |
#ifdef ASSERT |
|
1004 |
RegisterMap reg_map(thread, false); |
|
1005 |
frame stub_frame = thread->last_frame(); |
|
1006 |
assert(stub_frame.is_runtime_frame(), "sanity check"); |
|
1007 |
frame caller_frame = stub_frame.sender(®_map); |
|
1008 |
assert(!caller_frame.is_interpreted_frame() && !caller_frame.is_entry_frame(), "unexpected frame"); |
|
1009 |
#endif /* ASSERT */ |
|
1010 |
||
1011 |
methodHandle callee_method; |
|
1012 |
JRT_BLOCK |
|
1013 |
callee_method = SharedRuntime::handle_ic_miss_helper(thread, CHECK_NULL); |
|
1014 |
// Return methodOop through TLS |
|
1015 |
thread->set_vm_result(callee_method()); |
|
1016 |
JRT_BLOCK_END |
|
1017 |
// return compiled code entry point after potential safepoints |
|
1018 |
assert(callee_method->verified_code_entry() != NULL, " Jump to zero!"); |
|
1019 |
return callee_method->verified_code_entry(); |
|
1020 |
JRT_END |
|
1021 |
||
1022 |
||
1023 |
// Handle call site that has been made non-entrant |
|
1024 |
JRT_BLOCK_ENTRY(address, SharedRuntime::handle_wrong_method(JavaThread* thread)) |
|
1025 |
// 6243940 We might end up in here if the callee is deoptimized |
|
1026 |
// as we race to call it. We don't want to take a safepoint if |
|
1027 |
// the caller was interpreted because the caller frame will look |
|
1028 |
// interpreted to the stack walkers and arguments are now |
|
1029 |
// "compiled" so it is much better to make this transition |
|
1030 |
// invisible to the stack walking code. The i2c path will |
|
1031 |
// place the callee method in the callee_target. It is stashed |
|
1032 |
// there because if we try and find the callee by normal means a |
|
1033 |
// safepoint is possible and have trouble gc'ing the compiled args. |
|
1034 |
RegisterMap reg_map(thread, false); |
|
1035 |
frame stub_frame = thread->last_frame(); |
|
1036 |
assert(stub_frame.is_runtime_frame(), "sanity check"); |
|
1037 |
frame caller_frame = stub_frame.sender(®_map); |
|
4564
55dfb20908d0
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
3262
diff
changeset
|
1038 |
|
55dfb20908d0
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
3262
diff
changeset
|
1039 |
// MethodHandle invokes don't have a CompiledIC and should always |
55dfb20908d0
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
3262
diff
changeset
|
1040 |
// simply redispatch to the callee_target. |
55dfb20908d0
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
3262
diff
changeset
|
1041 |
address sender_pc = caller_frame.pc(); |
55dfb20908d0
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
3262
diff
changeset
|
1042 |
CodeBlob* sender_cb = caller_frame.cb(); |
55dfb20908d0
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
3262
diff
changeset
|
1043 |
nmethod* sender_nm = sender_cb->as_nmethod_or_null(); |
4752 | 1044 |
bool is_mh_invoke_via_adapter = false; // Direct c2c call or via adapter? |
1045 |
if (sender_nm != NULL && sender_nm->is_method_handle_return(sender_pc)) { |
|
1046 |
// If the callee_target is set, then we have come here via an i2c |
|
1047 |
// adapter. |
|
1048 |
methodOop callee = thread->callee_target(); |
|
1049 |
if (callee != NULL) { |
|
1050 |
assert(callee->is_method(), "sanity"); |
|
1051 |
is_mh_invoke_via_adapter = true; |
|
1052 |
} |
|
1053 |
} |
|
4564
55dfb20908d0
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
3262
diff
changeset
|
1054 |
|
55dfb20908d0
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
3262
diff
changeset
|
1055 |
if (caller_frame.is_interpreted_frame() || |
4752 | 1056 |
caller_frame.is_entry_frame() || |
1057 |
is_mh_invoke_via_adapter) { |
|
1 | 1058 |
methodOop callee = thread->callee_target(); |
1059 |
guarantee(callee != NULL && callee->is_method(), "bad handshake"); |
|
1060 |
thread->set_vm_result(callee); |
|
1061 |
thread->set_callee_target(NULL); |
|
1062 |
return callee->get_c2i_entry(); |
|
1063 |
} |
|
1064 |
||
1065 |
// Must be compiled to compiled path which is safe to stackwalk |
|
1066 |
methodHandle callee_method; |
|
1067 |
JRT_BLOCK |
|
1068 |
// Force resolving of caller (if we called from compiled frame) |
|
1069 |
callee_method = SharedRuntime::reresolve_call_site(thread, CHECK_NULL); |
|
1070 |
thread->set_vm_result(callee_method()); |
|
1071 |
JRT_BLOCK_END |
|
1072 |
// return compiled code entry point after potential safepoints |
|
1073 |
assert(callee_method->verified_code_entry() != NULL, " Jump to zero!"); |
|
1074 |
return callee_method->verified_code_entry(); |
|
1075 |
JRT_END |
|
1076 |
||
1077 |
||
1078 |
// resolve a static call and patch code |
|
1079 |
JRT_BLOCK_ENTRY(address, SharedRuntime::resolve_static_call_C(JavaThread *thread )) |
|
1080 |
methodHandle callee_method; |
|
1081 |
JRT_BLOCK |
|
1082 |
callee_method = SharedRuntime::resolve_helper(thread, false, false, CHECK_NULL); |
|
1083 |
thread->set_vm_result(callee_method()); |
|
1084 |
JRT_BLOCK_END |
|
1085 |
// return compiled code entry point after potential safepoints |
|
1086 |
assert(callee_method->verified_code_entry() != NULL, " Jump to zero!"); |
|
1087 |
return callee_method->verified_code_entry(); |
|
1088 |
JRT_END |
|
1089 |
||
1090 |
||
1091 |
// resolve virtual call and update inline cache to monomorphic |
|
1092 |
JRT_BLOCK_ENTRY(address, SharedRuntime::resolve_virtual_call_C(JavaThread *thread )) |
|
1093 |
methodHandle callee_method; |
|
1094 |
JRT_BLOCK |
|
1095 |
callee_method = SharedRuntime::resolve_helper(thread, true, false, CHECK_NULL); |
|
1096 |
thread->set_vm_result(callee_method()); |
|
1097 |
JRT_BLOCK_END |
|
1098 |
// return compiled code entry point after potential safepoints |
|
1099 |
assert(callee_method->verified_code_entry() != NULL, " Jump to zero!"); |
|
1100 |
return callee_method->verified_code_entry(); |
|
1101 |
JRT_END |
|
1102 |
||
1103 |
||
1104 |
// Resolve a virtual call that can be statically bound (e.g., always |
|
1105 |
// monomorphic, so it has no inline cache). Patch code to resolved target. |
|
1106 |
JRT_BLOCK_ENTRY(address, SharedRuntime::resolve_opt_virtual_call_C(JavaThread *thread)) |
|
1107 |
methodHandle callee_method; |
|
1108 |
JRT_BLOCK |
|
1109 |
callee_method = SharedRuntime::resolve_helper(thread, true, true, CHECK_NULL); |
|
1110 |
thread->set_vm_result(callee_method()); |
|
1111 |
JRT_BLOCK_END |
|
1112 |
// return compiled code entry point after potential safepoints |
|
1113 |
assert(callee_method->verified_code_entry() != NULL, " Jump to zero!"); |
|
1114 |
return callee_method->verified_code_entry(); |
|
1115 |
JRT_END |
|
1116 |
||
1117 |
||
1118 |
||
1119 |
||
1120 |
||
1121 |
methodHandle SharedRuntime::handle_ic_miss_helper(JavaThread *thread, TRAPS) { |
|
1122 |
ResourceMark rm(thread); |
|
1123 |
CallInfo call_info; |
|
1124 |
Bytecodes::Code bc; |
|
1125 |
||
1126 |
// receiver is NULL for static calls. An exception is thrown for NULL |
|
1127 |
// receivers for non-static calls |
|
1128 |
Handle receiver = find_callee_info(thread, bc, call_info, |
|
1129 |
CHECK_(methodHandle())); |
|
1130 |
// Compiler1 can produce virtual call sites that can actually be statically bound |
|
1131 |
// If we fell thru to below we would think that the site was going megamorphic |
|
1132 |
// when in fact the site can never miss. Worse because we'd think it was megamorphic |
|
1133 |
// we'd try and do a vtable dispatch however methods that can be statically bound |
|
1134 |
// don't have vtable entries (vtable_index < 0) and we'd blow up. So we force a |
|
1135 |
// reresolution of the call site (as if we did a handle_wrong_method and not an |
|
1136 |
// plain ic_miss) and the site will be converted to an optimized virtual call site |
|
1137 |
// never to miss again. I don't believe C2 will produce code like this but if it |
|
1138 |
// did this would still be the correct thing to do for it too, hence no ifdef. |
|
1139 |
// |
|
1140 |
if (call_info.resolved_method()->can_be_statically_bound()) { |
|
1141 |
methodHandle callee_method = SharedRuntime::reresolve_call_site(thread, CHECK_(methodHandle())); |
|
1142 |
if (TraceCallFixup) { |
|
1143 |
RegisterMap reg_map(thread, false); |
|
1144 |
frame caller_frame = thread->last_frame().sender(®_map); |
|
1145 |
ResourceMark rm(thread); |
|
1146 |
tty->print("converting IC miss to reresolve (%s) call to", Bytecodes::name(bc)); |
|
1147 |
callee_method->print_short_name(tty); |
|
1148 |
tty->print_cr(" from pc: " INTPTR_FORMAT, caller_frame.pc()); |
|
1149 |
tty->print_cr(" code: " INTPTR_FORMAT, callee_method->code()); |
|
1150 |
} |
|
1151 |
return callee_method; |
|
1152 |
} |
|
1153 |
||
1154 |
methodHandle callee_method = call_info.selected_method(); |
|
1155 |
||
1156 |
bool should_be_mono = false; |
|
1157 |
||
1158 |
#ifndef PRODUCT |
|
1159 |
Atomic::inc(&_ic_miss_ctr); |
|
1160 |
||
1161 |
// Statistics & Tracing |
|
1162 |
if (TraceCallFixup) { |
|
1163 |
ResourceMark rm(thread); |
|
1164 |
tty->print("IC miss (%s) call to", Bytecodes::name(bc)); |
|
1165 |
callee_method->print_short_name(tty); |
|
1166 |
tty->print_cr(" code: " INTPTR_FORMAT, callee_method->code()); |
|
1167 |
} |
|
1168 |
||
1169 |
if (ICMissHistogram) { |
|
1170 |
MutexLocker m(VMStatistic_lock); |
|
1171 |
RegisterMap reg_map(thread, false); |
|
1172 |
frame f = thread->last_frame().real_sender(®_map);// skip runtime stub |
|
1173 |
// produce statistics under the lock |
|
1174 |
trace_ic_miss(f.pc()); |
|
1175 |
} |
|
1176 |
#endif |
|
1177 |
||
1178 |
// install an event collector so that when a vtable stub is created the |
|
1179 |
// profiler can be notified via a DYNAMIC_CODE_GENERATED event. The |
|
1180 |
// event can't be posted when the stub is created as locks are held |
|
1181 |
// - instead the event will be deferred until the event collector goes |
|
1182 |
// out of scope. |
|
1183 |
JvmtiDynamicCodeEventCollector event_collector; |
|
1184 |
||
1185 |
// Update inline cache to megamorphic. Skip update if caller has been |
|
1186 |
// made non-entrant or we are called from interpreted. |
|
1187 |
{ MutexLocker ml_patch (CompiledIC_lock); |
|
1188 |
RegisterMap reg_map(thread, false); |
|
1189 |
frame caller_frame = thread->last_frame().sender(®_map); |
|
1190 |
CodeBlob* cb = caller_frame.cb(); |
|
1191 |
if (cb->is_nmethod() && ((nmethod*)cb)->is_in_use()) { |
|
1192 |
// Not a non-entrant nmethod, so find inline_cache |
|
1193 |
CompiledIC* inline_cache = CompiledIC_before(caller_frame.pc()); |
|
1194 |
bool should_be_mono = false; |
|
1195 |
if (inline_cache->is_optimized()) { |
|
1196 |
if (TraceCallFixup) { |
|
1197 |
ResourceMark rm(thread); |
|
1198 |
tty->print("OPTIMIZED IC miss (%s) call to", Bytecodes::name(bc)); |
|
1199 |
callee_method->print_short_name(tty); |
|
1200 |
tty->print_cr(" code: " INTPTR_FORMAT, callee_method->code()); |
|
1201 |
} |
|
1202 |
should_be_mono = true; |
|
1203 |
} else { |
|
1204 |
compiledICHolderOop ic_oop = (compiledICHolderOop) inline_cache->cached_oop(); |
|
1205 |
if ( ic_oop != NULL && ic_oop->is_compiledICHolder()) { |
|
1206 |
||
1207 |
if (receiver()->klass() == ic_oop->holder_klass()) { |
|
1208 |
// This isn't a real miss. We must have seen that compiled code |
|
1209 |
// is now available and we want the call site converted to a |
|
1210 |
// monomorphic compiled call site. |
|
1211 |
// We can't assert for callee_method->code() != NULL because it |
|
1212 |
// could have been deoptimized in the meantime |
|
1213 |
if (TraceCallFixup) { |
|
1214 |
ResourceMark rm(thread); |
|
1215 |
tty->print("FALSE IC miss (%s) converting to compiled call to", Bytecodes::name(bc)); |
|
1216 |
callee_method->print_short_name(tty); |
|
1217 |
tty->print_cr(" code: " INTPTR_FORMAT, callee_method->code()); |
|
1218 |
} |
|
1219 |
should_be_mono = true; |
|
1220 |
} |
|
1221 |
} |
|
1222 |
} |
|
1223 |
||
1224 |
if (should_be_mono) { |
|
1225 |
||
1226 |
// We have a path that was monomorphic but was going interpreted |
|
1227 |
// and now we have (or had) a compiled entry. We correct the IC |
|
1228 |
// by using a new icBuffer. |
|
1229 |
CompiledICInfo info; |
|
1230 |
KlassHandle receiver_klass(THREAD, receiver()->klass()); |
|
1231 |
inline_cache->compute_monomorphic_entry(callee_method, |
|
1232 |
receiver_klass, |
|
1233 |
inline_cache->is_optimized(), |
|
1234 |
false, |
|
1235 |
info, CHECK_(methodHandle())); |
|
1236 |
inline_cache->set_to_monomorphic(info); |
|
1237 |
} else if (!inline_cache->is_megamorphic() && !inline_cache->is_clean()) { |
|
1238 |
// Change to megamorphic |
|
1239 |
inline_cache->set_to_megamorphic(&call_info, bc, CHECK_(methodHandle())); |
|
1240 |
} else { |
|
1241 |
// Either clean or megamorphic |
|
1242 |
} |
|
1243 |
} |
|
1244 |
} // Release CompiledIC_lock |
|
1245 |
||
1246 |
return callee_method; |
|
1247 |
} |
|
1248 |
||
1249 |
// |
|
1250 |
// Resets a call-site in compiled code so it will get resolved again. |
|
1251 |
// This routines handles both virtual call sites, optimized virtual call |
|
1252 |
// sites, and static call sites. Typically used to change a call sites |
|
1253 |
// destination from compiled to interpreted. |
|
1254 |
// |
|
1255 |
methodHandle SharedRuntime::reresolve_call_site(JavaThread *thread, TRAPS) { |
|
1256 |
ResourceMark rm(thread); |
|
1257 |
RegisterMap reg_map(thread, false); |
|
1258 |
frame stub_frame = thread->last_frame(); |
|
1259 |
assert(stub_frame.is_runtime_frame(), "must be a runtimeStub"); |
|
1260 |
frame caller = stub_frame.sender(®_map); |
|
1261 |
||
1262 |
// Do nothing if the frame isn't a live compiled frame. |
|
1263 |
// nmethod could be deoptimized by the time we get here |
|
1264 |
// so no update to the caller is needed. |
|
1265 |
||
1266 |
if (caller.is_compiled_frame() && !caller.is_deoptimized_frame()) { |
|
1267 |
||
1268 |
address pc = caller.pc(); |
|
1269 |
Events::log("update call-site at pc " INTPTR_FORMAT, pc); |
|
1270 |
||
1271 |
// Default call_addr is the location of the "basic" call. |
|
1272 |
// Determine the address of the call we a reresolving. With |
|
1273 |
// Inline Caches we will always find a recognizable call. |
|
1274 |
// With Inline Caches disabled we may or may not find a |
|
1275 |
// recognizable call. We will always find a call for static |
|
1276 |
// calls and for optimized virtual calls. For vanilla virtual |
|
1277 |
// calls it depends on the state of the UseInlineCaches switch. |
|
1278 |
// |
|
1279 |
// With Inline Caches disabled we can get here for a virtual call |
|
1280 |
// for two reasons: |
|
1281 |
// 1 - calling an abstract method. The vtable for abstract methods |
|
1282 |
// will run us thru handle_wrong_method and we will eventually |
|
1283 |
// end up in the interpreter to throw the ame. |
|
1284 |
// 2 - a racing deoptimization. We could be doing a vanilla vtable |
|
1285 |
// call and between the time we fetch the entry address and |
|
1286 |
// we jump to it the target gets deoptimized. Similar to 1 |
|
1287 |
// we will wind up in the interprter (thru a c2i with c2). |
|
1288 |
// |
|
1289 |
address call_addr = NULL; |
|
1290 |
{ |
|
1291 |
// Get call instruction under lock because another thread may be |
|
1292 |
// busy patching it. |
|
1293 |
MutexLockerEx ml_patch(Patching_lock, Mutex::_no_safepoint_check_flag); |
|
1294 |
// Location of call instruction |
|
1295 |
if (NativeCall::is_call_before(pc)) { |
|
1296 |
NativeCall *ncall = nativeCall_before(pc); |
|
1297 |
call_addr = ncall->instruction_address(); |
|
1298 |
} |
|
1299 |
} |
|
1300 |
||
1301 |
// Check for static or virtual call |
|
1302 |
bool is_static_call = false; |
|
1303 |
nmethod* caller_nm = CodeCache::find_nmethod(pc); |
|
1304 |
// Make sure nmethod doesn't get deoptimized and removed until |
|
1305 |
// this is done with it. |
|
1306 |
// CLEANUP - with lazy deopt shouldn't need this lock |
|
1307 |
nmethodLocker nmlock(caller_nm); |
|
1308 |
||
1309 |
if (call_addr != NULL) { |
|
1310 |
RelocIterator iter(caller_nm, call_addr, call_addr+1); |
|
1311 |
int ret = iter.next(); // Get item |
|
1312 |
if (ret) { |
|
1313 |
assert(iter.addr() == call_addr, "must find call"); |
|
1314 |
if (iter.type() == relocInfo::static_call_type) { |
|
1315 |
is_static_call = true; |
|
1316 |
} else { |
|
1317 |
assert(iter.type() == relocInfo::virtual_call_type || |
|
1318 |
iter.type() == relocInfo::opt_virtual_call_type |
|
1319 |
, "unexpected relocInfo. type"); |
|
1320 |
} |
|
1321 |
} else { |
|
1322 |
assert(!UseInlineCaches, "relocation info. must exist for this address"); |
|
1323 |
} |
|
1324 |
||
1325 |
// Cleaning the inline cache will force a new resolve. This is more robust |
|
1326 |
// than directly setting it to the new destination, since resolving of calls |
|
1327 |
// is always done through the same code path. (experience shows that it |
|
1328 |
// leads to very hard to track down bugs, if an inline cache gets updated |
|
1329 |
// to a wrong method). It should not be performance critical, since the |
|
1330 |
// resolve is only done once. |
|
1331 |
||
1332 |
MutexLocker ml(CompiledIC_lock); |
|
1333 |
// |
|
1334 |
// We do not patch the call site if the nmethod has been made non-entrant |
|
1335 |
// as it is a waste of time |
|
1336 |
// |
|
1337 |
if (caller_nm->is_in_use()) { |
|
1338 |
if (is_static_call) { |
|
1339 |
CompiledStaticCall* ssc= compiledStaticCall_at(call_addr); |
|
1340 |
ssc->set_to_clean(); |
|
1341 |
} else { |
|
1342 |
// compiled, dispatched call (which used to call an interpreted method) |
|
1343 |
CompiledIC* inline_cache = CompiledIC_at(call_addr); |
|
1344 |
inline_cache->set_to_clean(); |
|
1345 |
} |
|
1346 |
} |
|
1347 |
} |
|
1348 |
||
1349 |
} |
|
1350 |
||
1351 |
methodHandle callee_method = find_callee_method(thread, CHECK_(methodHandle())); |
|
1352 |
||
1353 |
||
1354 |
#ifndef PRODUCT |
|
1355 |
Atomic::inc(&_wrong_method_ctr); |
|
1356 |
||
1357 |
if (TraceCallFixup) { |
|
1358 |
ResourceMark rm(thread); |
|
1359 |
tty->print("handle_wrong_method reresolving call to"); |
|
1360 |
callee_method->print_short_name(tty); |
|
1361 |
tty->print_cr(" code: " INTPTR_FORMAT, callee_method->code()); |
|
1362 |
} |
|
1363 |
#endif |
|
1364 |
||
1365 |
return callee_method; |
|
1366 |
} |
|
1367 |
||
1368 |
// --------------------------------------------------------------------------- |
|
1369 |
// We are calling the interpreter via a c2i. Normally this would mean that |
|
1370 |
// we were called by a compiled method. However we could have lost a race |
|
1371 |
// where we went int -> i2c -> c2i and so the caller could in fact be |
|
4753 | 1372 |
// interpreted. If the caller is compiled we attempt to patch the caller |
1 | 1373 |
// so he no longer calls into the interpreter. |
1374 |
IRT_LEAF(void, SharedRuntime::fixup_callers_callsite(methodOopDesc* method, address caller_pc)) |
|
1375 |
methodOop moop(method); |
|
1376 |
||
1377 |
address entry_point = moop->from_compiled_entry(); |
|
1378 |
||
1379 |
// It's possible that deoptimization can occur at a call site which hasn't |
|
1380 |
// been resolved yet, in which case this function will be called from |
|
1381 |
// an nmethod that has been patched for deopt and we can ignore the |
|
1382 |
// request for a fixup. |
|
1383 |
// Also it is possible that we lost a race in that from_compiled_entry |
|
1384 |
// is now back to the i2c in that case we don't need to patch and if |
|
1385 |
// we did we'd leap into space because the callsite needs to use |
|
1386 |
// "to interpreter" stub in order to load up the methodOop. Don't |
|
1387 |
// ask me how I know this... |
|
1388 |
||
1389 |
CodeBlob* cb = CodeCache::find_blob(caller_pc); |
|
4753 | 1390 |
if (!cb->is_nmethod() || entry_point == moop->get_c2i_entry()) { |
1391 |
return; |
|
1392 |
} |
|
1393 |
||
1394 |
// The check above makes sure this is a nmethod. |
|
1395 |
nmethod* nm = cb->as_nmethod_or_null(); |
|
1396 |
assert(nm, "must be"); |
|
1397 |
||
1398 |
// Don't fixup MethodHandle call sites as c2i/i2c adapters are used |
|
1399 |
// to implement MethodHandle actions. |
|
1400 |
if (nm->is_method_handle_return(caller_pc)) { |
|
1 | 1401 |
return; |
1402 |
} |
|
1403 |
||
1404 |
// There is a benign race here. We could be attempting to patch to a compiled |
|
1405 |
// entry point at the same time the callee is being deoptimized. If that is |
|
1406 |
// the case then entry_point may in fact point to a c2i and we'd patch the |
|
1407 |
// call site with the same old data. clear_code will set code() to NULL |
|
1408 |
// at the end of it. If we happen to see that NULL then we can skip trying |
|
1409 |
// to patch. If we hit the window where the callee has a c2i in the |
|
1410 |
// from_compiled_entry and the NULL isn't present yet then we lose the race |
|
1411 |
// and patch the code with the same old data. Asi es la vida. |
|
1412 |
||
1413 |
if (moop->code() == NULL) return; |
|
1414 |
||
4753 | 1415 |
if (nm->is_in_use()) { |
1 | 1416 |
|
1417 |
// Expect to find a native call there (unless it was no-inline cache vtable dispatch) |
|
1418 |
MutexLockerEx ml_patch(Patching_lock, Mutex::_no_safepoint_check_flag); |
|
1419 |
if (NativeCall::is_call_before(caller_pc + frame::pc_return_offset)) { |
|
1420 |
NativeCall *call = nativeCall_before(caller_pc + frame::pc_return_offset); |
|
1421 |
// |
|
1422 |
// bug 6281185. We might get here after resolving a call site to a vanilla |
|
1423 |
// virtual call. Because the resolvee uses the verified entry it may then |
|
1424 |
// see compiled code and attempt to patch the site by calling us. This would |
|
1425 |
// then incorrectly convert the call site to optimized and its downhill from |
|
1426 |
// there. If you're lucky you'll get the assert in the bugid, if not you've |
|
1427 |
// just made a call site that could be megamorphic into a monomorphic site |
|
1428 |
// for the rest of its life! Just another racing bug in the life of |
|
1429 |
// fixup_callers_callsite ... |
|
1430 |
// |
|
1431 |
RelocIterator iter(cb, call->instruction_address(), call->next_instruction_address()); |
|
1432 |
iter.next(); |
|
1433 |
assert(iter.has_current(), "must have a reloc at java call site"); |
|
1434 |
relocInfo::relocType typ = iter.reloc()->type(); |
|
1435 |
if ( typ != relocInfo::static_call_type && |
|
1436 |
typ != relocInfo::opt_virtual_call_type && |
|
1437 |
typ != relocInfo::static_stub_type) { |
|
1438 |
return; |
|
1439 |
} |
|
1440 |
address destination = call->destination(); |
|
1441 |
if (destination != entry_point) { |
|
1442 |
CodeBlob* callee = CodeCache::find_blob(destination); |
|
1443 |
// callee == cb seems weird. It means calling interpreter thru stub. |
|
1444 |
if (callee == cb || callee->is_adapter_blob()) { |
|
1445 |
// static call or optimized virtual |
|
1446 |
if (TraceCallFixup) { |
|
4752 | 1447 |
tty->print("fixup callsite at " INTPTR_FORMAT " to compiled code for", caller_pc); |
1 | 1448 |
moop->print_short_name(tty); |
1449 |
tty->print_cr(" to " INTPTR_FORMAT, entry_point); |
|
1450 |
} |
|
1451 |
call->set_destination_mt_safe(entry_point); |
|
1452 |
} else { |
|
1453 |
if (TraceCallFixup) { |
|
1454 |
tty->print("failed to fixup callsite at " INTPTR_FORMAT " to compiled code for", caller_pc); |
|
1455 |
moop->print_short_name(tty); |
|
1456 |
tty->print_cr(" to " INTPTR_FORMAT, entry_point); |
|
1457 |
} |
|
1458 |
// assert is too strong could also be resolve destinations. |
|
1459 |
// assert(InlineCacheBuffer::contains(destination) || VtableStubs::contains(destination), "must be"); |
|
1460 |
} |
|
1461 |
} else { |
|
1462 |
if (TraceCallFixup) { |
|
4752 | 1463 |
tty->print("already patched callsite at " INTPTR_FORMAT " to compiled code for", caller_pc); |
1 | 1464 |
moop->print_short_name(tty); |
1465 |
tty->print_cr(" to " INTPTR_FORMAT, entry_point); |
|
1466 |
} |
|
1467 |
} |
|
1468 |
} |
|
1469 |
} |
|
1470 |
||
1471 |
IRT_END |
|
1472 |
||
1473 |
||
1474 |
// same as JVM_Arraycopy, but called directly from compiled code |
|
1475 |
JRT_ENTRY(void, SharedRuntime::slow_arraycopy_C(oopDesc* src, jint src_pos, |
|
1476 |
oopDesc* dest, jint dest_pos, |
|
1477 |
jint length, |
|
1478 |
JavaThread* thread)) { |
|
1479 |
#ifndef PRODUCT |
|
1480 |
_slow_array_copy_ctr++; |
|
1481 |
#endif |
|
1482 |
// Check if we have null pointers |
|
1483 |
if (src == NULL || dest == NULL) { |
|
1484 |
THROW(vmSymbols::java_lang_NullPointerException()); |
|
1485 |
} |
|
1486 |
// Do the copy. The casts to arrayOop are necessary to the copy_array API, |
|
1487 |
// even though the copy_array API also performs dynamic checks to ensure |
|
1488 |
// that src and dest are truly arrays (and are conformable). |
|
1489 |
// The copy_array mechanism is awkward and could be removed, but |
|
1490 |
// the compilers don't call this function except as a last resort, |
|
1491 |
// so it probably doesn't matter. |
|
1492 |
Klass::cast(src->klass())->copy_array((arrayOopDesc*)src, src_pos, |
|
1493 |
(arrayOopDesc*)dest, dest_pos, |
|
1494 |
length, thread); |
|
1495 |
} |
|
1496 |
JRT_END |
|
1497 |
||
1498 |
char* SharedRuntime::generate_class_cast_message( |
|
1499 |
JavaThread* thread, const char* objName) { |
|
1500 |
||
1501 |
// Get target class name from the checkcast instruction |
|
1502 |
vframeStream vfst(thread, true); |
|
1503 |
assert(!vfst.at_end(), "Java frame must exist"); |
|
1504 |
Bytecode_checkcast* cc = Bytecode_checkcast_at( |
|
1505 |
vfst.method()->bcp_from(vfst.bci())); |
|
1506 |
Klass* targetKlass = Klass::cast(vfst.method()->constants()->klass_at( |
|
1507 |
cc->index(), thread)); |
|
1508 |
return generate_class_cast_message(objName, targetKlass->external_name()); |
|
1509 |
} |
|
1510 |
||
2534 | 1511 |
char* SharedRuntime::generate_wrong_method_type_message(JavaThread* thread, |
1512 |
oopDesc* required, |
|
1513 |
oopDesc* actual) { |
|
1514 |
assert(EnableMethodHandles, ""); |
|
1515 |
oop singleKlass = wrong_method_type_is_for_single_argument(thread, required); |
|
1516 |
if (singleKlass != NULL) { |
|
1517 |
const char* objName = "argument or return value"; |
|
1518 |
if (actual != NULL) { |
|
1519 |
// be flexible about the junk passed in: |
|
1520 |
klassOop ak = (actual->is_klass() |
|
1521 |
? (klassOop)actual |
|
1522 |
: actual->klass()); |
|
1523 |
objName = Klass::cast(ak)->external_name(); |
|
1524 |
} |
|
1525 |
Klass* targetKlass = Klass::cast(required->is_klass() |
|
1526 |
? (klassOop)required |
|
1527 |
: java_lang_Class::as_klassOop(required)); |
|
1528 |
return generate_class_cast_message(objName, targetKlass->external_name()); |
|
1529 |
} else { |
|
1530 |
// %%% need to get the MethodType string, without messing around too much |
|
1531 |
// Get a signature from the invoke instruction |
|
1532 |
const char* mhName = "method handle"; |
|
1533 |
const char* targetType = "the required signature"; |
|
1534 |
vframeStream vfst(thread, true); |
|
1535 |
if (!vfst.at_end()) { |
|
1536 |
Bytecode_invoke* call = Bytecode_invoke_at(vfst.method(), vfst.bci()); |
|
1537 |
methodHandle target; |
|
1538 |
{ |
|
1539 |
EXCEPTION_MARK; |
|
1540 |
target = call->static_target(THREAD); |
|
1541 |
if (HAS_PENDING_EXCEPTION) { CLEAR_PENDING_EXCEPTION; } |
|
1542 |
} |
|
1543 |
if (target.not_null() |
|
1544 |
&& target->is_method_handle_invoke() |
|
1545 |
&& required == target->method_handle_type()) { |
|
1546 |
targetType = target->signature()->as_C_string(); |
|
1547 |
} |
|
1548 |
} |
|
1549 |
klassOop kignore; int fignore; |
|
1550 |
methodOop actual_method = MethodHandles::decode_method(actual, |
|
1551 |
kignore, fignore); |
|
1552 |
if (actual_method != NULL) { |
|
1553 |
if (actual_method->name() == vmSymbols::invoke_name()) |
|
1554 |
mhName = "$"; |
|
1555 |
else |
|
1556 |
mhName = actual_method->signature()->as_C_string(); |
|
1557 |
if (mhName[0] == '$') |
|
1558 |
mhName = actual_method->signature()->as_C_string(); |
|
1559 |
} |
|
1560 |
return generate_class_cast_message(mhName, targetType, |
|
1561 |
" cannot be called as "); |
|
1562 |
} |
|
1563 |
} |
|
1564 |
||
1565 |
oop SharedRuntime::wrong_method_type_is_for_single_argument(JavaThread* thr, |
|
1566 |
oopDesc* required) { |
|
1567 |
if (required == NULL) return NULL; |
|
4571 | 1568 |
if (required->klass() == SystemDictionary::Class_klass()) |
2534 | 1569 |
return required; |
1570 |
if (required->is_klass()) |
|
1571 |
return Klass::cast(klassOop(required))->java_mirror(); |
|
1572 |
return NULL; |
|
1573 |
} |
|
1574 |
||
1575 |
||
1 | 1576 |
char* SharedRuntime::generate_class_cast_message( |
2534 | 1577 |
const char* objName, const char* targetKlassName, const char* desc) { |
1 | 1578 |
size_t msglen = strlen(objName) + strlen(desc) + strlen(targetKlassName) + 1; |
1579 |
||
226 | 1580 |
char* message = NEW_RESOURCE_ARRAY(char, msglen); |
1 | 1581 |
if (NULL == message) { |
226 | 1582 |
// Shouldn't happen, but don't cause even more problems if it does |
1 | 1583 |
message = const_cast<char*>(objName); |
1584 |
} else { |
|
1585 |
jio_snprintf(message, msglen, "%s%s%s", objName, desc, targetKlassName); |
|
1586 |
} |
|
1587 |
return message; |
|
1588 |
} |
|
1589 |
||
1590 |
JRT_LEAF(void, SharedRuntime::reguard_yellow_pages()) |
|
1591 |
(void) JavaThread::current()->reguard_stack(); |
|
1592 |
JRT_END |
|
1593 |
||
1594 |
||
1595 |
// Handles the uncommon case in locking, i.e., contention or an inflated lock. |
|
1596 |
#ifndef PRODUCT |
|
1597 |
int SharedRuntime::_monitor_enter_ctr=0; |
|
1598 |
#endif |
|
1599 |
JRT_ENTRY_NO_ASYNC(void, SharedRuntime::complete_monitor_locking_C(oopDesc* _obj, BasicLock* lock, JavaThread* thread)) |
|
1600 |
oop obj(_obj); |
|
1601 |
#ifndef PRODUCT |
|
1602 |
_monitor_enter_ctr++; // monitor enter slow |
|
1603 |
#endif |
|
1604 |
if (PrintBiasedLockingStatistics) { |
|
1605 |
Atomic::inc(BiasedLocking::slow_path_entry_count_addr()); |
|
1606 |
} |
|
1607 |
Handle h_obj(THREAD, obj); |
|
1608 |
if (UseBiasedLocking) { |
|
1609 |
// Retry fast entry if bias is revoked to avoid unnecessary inflation |
|
1610 |
ObjectSynchronizer::fast_enter(h_obj, lock, true, CHECK); |
|
1611 |
} else { |
|
1612 |
ObjectSynchronizer::slow_enter(h_obj, lock, CHECK); |
|
1613 |
} |
|
1614 |
assert(!HAS_PENDING_EXCEPTION, "Should have no exception here"); |
|
1615 |
JRT_END |
|
1616 |
||
1617 |
#ifndef PRODUCT |
|
1618 |
int SharedRuntime::_monitor_exit_ctr=0; |
|
1619 |
#endif |
|
1620 |
// Handles the uncommon cases of monitor unlocking in compiled code |
|
1621 |
JRT_LEAF(void, SharedRuntime::complete_monitor_unlocking_C(oopDesc* _obj, BasicLock* lock)) |
|
1622 |
oop obj(_obj); |
|
1623 |
#ifndef PRODUCT |
|
1624 |
_monitor_exit_ctr++; // monitor exit slow |
|
1625 |
#endif |
|
1626 |
Thread* THREAD = JavaThread::current(); |
|
1627 |
// I'm not convinced we need the code contained by MIGHT_HAVE_PENDING anymore |
|
1628 |
// testing was unable to ever fire the assert that guarded it so I have removed it. |
|
1629 |
assert(!HAS_PENDING_EXCEPTION, "Do we need code below anymore?"); |
|
1630 |
#undef MIGHT_HAVE_PENDING |
|
1631 |
#ifdef MIGHT_HAVE_PENDING |
|
1632 |
// Save and restore any pending_exception around the exception mark. |
|
1633 |
// While the slow_exit must not throw an exception, we could come into |
|
1634 |
// this routine with one set. |
|
1635 |
oop pending_excep = NULL; |
|
1636 |
const char* pending_file; |
|
1637 |
int pending_line; |
|
1638 |
if (HAS_PENDING_EXCEPTION) { |
|
1639 |
pending_excep = PENDING_EXCEPTION; |
|
1640 |
pending_file = THREAD->exception_file(); |
|
1641 |
pending_line = THREAD->exception_line(); |
|
1642 |
CLEAR_PENDING_EXCEPTION; |
|
1643 |
} |
|
1644 |
#endif /* MIGHT_HAVE_PENDING */ |
|
1645 |
||
1646 |
{ |
|
1647 |
// Exit must be non-blocking, and therefore no exceptions can be thrown. |
|
1648 |
EXCEPTION_MARK; |
|
1649 |
ObjectSynchronizer::slow_exit(obj, lock, THREAD); |
|
1650 |
} |
|
1651 |
||
1652 |
#ifdef MIGHT_HAVE_PENDING |
|
1653 |
if (pending_excep != NULL) { |
|
1654 |
THREAD->set_pending_exception(pending_excep, pending_file, pending_line); |
|
1655 |
} |
|
1656 |
#endif /* MIGHT_HAVE_PENDING */ |
|
1657 |
JRT_END |
|
1658 |
||
1659 |
#ifndef PRODUCT |
|
1660 |
||
1661 |
void SharedRuntime::print_statistics() { |
|
1662 |
ttyLocker ttyl; |
|
1663 |
if (xtty != NULL) xtty->head("statistics type='SharedRuntime'"); |
|
1664 |
||
1665 |
if (_monitor_enter_ctr ) tty->print_cr("%5d monitor enter slow", _monitor_enter_ctr); |
|
1666 |
if (_monitor_exit_ctr ) tty->print_cr("%5d monitor exit slow", _monitor_exit_ctr); |
|
1667 |
if (_throw_null_ctr) tty->print_cr("%5d implicit null throw", _throw_null_ctr); |
|
1668 |
||
1669 |
SharedRuntime::print_ic_miss_histogram(); |
|
1670 |
||
1671 |
if (CountRemovableExceptions) { |
|
1672 |
if (_nof_removable_exceptions > 0) { |
|
1673 |
Unimplemented(); // this counter is not yet incremented |
|
1674 |
tty->print_cr("Removable exceptions: %d", _nof_removable_exceptions); |
|
1675 |
} |
|
1676 |
} |
|
1677 |
||
1678 |
// Dump the JRT_ENTRY counters |
|
1679 |
if( _new_instance_ctr ) tty->print_cr("%5d new instance requires GC", _new_instance_ctr); |
|
1680 |
if( _new_array_ctr ) tty->print_cr("%5d new array requires GC", _new_array_ctr); |
|
1681 |
if( _multi1_ctr ) tty->print_cr("%5d multianewarray 1 dim", _multi1_ctr); |
|
1682 |
if( _multi2_ctr ) tty->print_cr("%5d multianewarray 2 dim", _multi2_ctr); |
|
1683 |
if( _multi3_ctr ) tty->print_cr("%5d multianewarray 3 dim", _multi3_ctr); |
|
1684 |
if( _multi4_ctr ) tty->print_cr("%5d multianewarray 4 dim", _multi4_ctr); |
|
1685 |
if( _multi5_ctr ) tty->print_cr("%5d multianewarray 5 dim", _multi5_ctr); |
|
1686 |
||
1687 |
tty->print_cr("%5d inline cache miss in compiled", _ic_miss_ctr ); |
|
1688 |
tty->print_cr("%5d wrong method", _wrong_method_ctr ); |
|
1689 |
tty->print_cr("%5d unresolved static call site", _resolve_static_ctr ); |
|
1690 |
tty->print_cr("%5d unresolved virtual call site", _resolve_virtual_ctr ); |
|
1691 |
tty->print_cr("%5d unresolved opt virtual call site", _resolve_opt_virtual_ctr ); |
|
1692 |
||
1693 |
if( _mon_enter_stub_ctr ) tty->print_cr("%5d monitor enter stub", _mon_enter_stub_ctr ); |
|
1694 |
if( _mon_exit_stub_ctr ) tty->print_cr("%5d monitor exit stub", _mon_exit_stub_ctr ); |
|
1695 |
if( _mon_enter_ctr ) tty->print_cr("%5d monitor enter slow", _mon_enter_ctr ); |
|
1696 |
if( _mon_exit_ctr ) tty->print_cr("%5d monitor exit slow", _mon_exit_ctr ); |
|
1697 |
if( _partial_subtype_ctr) tty->print_cr("%5d slow partial subtype", _partial_subtype_ctr ); |
|
1698 |
if( _jbyte_array_copy_ctr ) tty->print_cr("%5d byte array copies", _jbyte_array_copy_ctr ); |
|
1699 |
if( _jshort_array_copy_ctr ) tty->print_cr("%5d short array copies", _jshort_array_copy_ctr ); |
|
1700 |
if( _jint_array_copy_ctr ) tty->print_cr("%5d int array copies", _jint_array_copy_ctr ); |
|
1701 |
if( _jlong_array_copy_ctr ) tty->print_cr("%5d long array copies", _jlong_array_copy_ctr ); |
|
1702 |
if( _oop_array_copy_ctr ) tty->print_cr("%5d oop array copies", _oop_array_copy_ctr ); |
|
1703 |
if( _checkcast_array_copy_ctr ) tty->print_cr("%5d checkcast array copies", _checkcast_array_copy_ctr ); |
|
1704 |
if( _unsafe_array_copy_ctr ) tty->print_cr("%5d unsafe array copies", _unsafe_array_copy_ctr ); |
|
1705 |
if( _generic_array_copy_ctr ) tty->print_cr("%5d generic array copies", _generic_array_copy_ctr ); |
|
1706 |
if( _slow_array_copy_ctr ) tty->print_cr("%5d slow array copies", _slow_array_copy_ctr ); |
|
1707 |
if( _find_handler_ctr ) tty->print_cr("%5d find exception handler", _find_handler_ctr ); |
|
1708 |
if( _rethrow_ctr ) tty->print_cr("%5d rethrow handler", _rethrow_ctr ); |
|
1709 |
||
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1710 |
AdapterHandlerLibrary::print_statistics(); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1711 |
|
1 | 1712 |
if (xtty != NULL) xtty->tail("statistics"); |
1713 |
} |
|
1714 |
||
1715 |
inline double percent(int x, int y) { |
|
1716 |
return 100.0 * x / MAX2(y, 1); |
|
1717 |
} |
|
1718 |
||
1719 |
class MethodArityHistogram { |
|
1720 |
public: |
|
1721 |
enum { MAX_ARITY = 256 }; |
|
1722 |
private: |
|
1723 |
static int _arity_histogram[MAX_ARITY]; // histogram of #args |
|
1724 |
static int _size_histogram[MAX_ARITY]; // histogram of arg size in words |
|
1725 |
static int _max_arity; // max. arity seen |
|
1726 |
static int _max_size; // max. arg size seen |
|
1727 |
||
1728 |
static void add_method_to_histogram(nmethod* nm) { |
|
1729 |
methodOop m = nm->method(); |
|
1730 |
ArgumentCount args(m->signature()); |
|
1731 |
int arity = args.size() + (m->is_static() ? 0 : 1); |
|
1732 |
int argsize = m->size_of_parameters(); |
|
1733 |
arity = MIN2(arity, MAX_ARITY-1); |
|
1734 |
argsize = MIN2(argsize, MAX_ARITY-1); |
|
1735 |
int count = nm->method()->compiled_invocation_count(); |
|
1736 |
_arity_histogram[arity] += count; |
|
1737 |
_size_histogram[argsize] += count; |
|
1738 |
_max_arity = MAX2(_max_arity, arity); |
|
1739 |
_max_size = MAX2(_max_size, argsize); |
|
1740 |
} |
|
1741 |
||
1742 |
void print_histogram_helper(int n, int* histo, const char* name) { |
|
1743 |
const int N = MIN2(5, n); |
|
1744 |
tty->print_cr("\nHistogram of call arity (incl. rcvr, calls to compiled methods only):"); |
|
1745 |
double sum = 0; |
|
1746 |
double weighted_sum = 0; |
|
1747 |
int i; |
|
1748 |
for (i = 0; i <= n; i++) { sum += histo[i]; weighted_sum += i*histo[i]; } |
|
1749 |
double rest = sum; |
|
1750 |
double percent = sum / 100; |
|
1751 |
for (i = 0; i <= N; i++) { |
|
1752 |
rest -= histo[i]; |
|
1753 |
tty->print_cr("%4d: %7d (%5.1f%%)", i, histo[i], histo[i] / percent); |
|
1754 |
} |
|
1755 |
tty->print_cr("rest: %7d (%5.1f%%))", (int)rest, rest / percent); |
|
1756 |
tty->print_cr("(avg. %s = %3.1f, max = %d)", name, weighted_sum / sum, n); |
|
1757 |
} |
|
1758 |
||
1759 |
void print_histogram() { |
|
1760 |
tty->print_cr("\nHistogram of call arity (incl. rcvr, calls to compiled methods only):"); |
|
1761 |
print_histogram_helper(_max_arity, _arity_histogram, "arity"); |
|
1762 |
tty->print_cr("\nSame for parameter size (in words):"); |
|
1763 |
print_histogram_helper(_max_size, _size_histogram, "size"); |
|
1764 |
tty->cr(); |
|
1765 |
} |
|
1766 |
||
1767 |
public: |
|
1768 |
MethodArityHistogram() { |
|
1769 |
MutexLockerEx mu(CodeCache_lock, Mutex::_no_safepoint_check_flag); |
|
1770 |
_max_arity = _max_size = 0; |
|
1771 |
for (int i = 0; i < MAX_ARITY; i++) _arity_histogram[i] = _size_histogram [i] = 0; |
|
1772 |
CodeCache::nmethods_do(add_method_to_histogram); |
|
1773 |
print_histogram(); |
|
1774 |
} |
|
1775 |
}; |
|
1776 |
||
1777 |
int MethodArityHistogram::_arity_histogram[MethodArityHistogram::MAX_ARITY]; |
|
1778 |
int MethodArityHistogram::_size_histogram[MethodArityHistogram::MAX_ARITY]; |
|
1779 |
int MethodArityHistogram::_max_arity; |
|
1780 |
int MethodArityHistogram::_max_size; |
|
1781 |
||
1782 |
void SharedRuntime::print_call_statistics(int comp_total) { |
|
1783 |
tty->print_cr("Calls from compiled code:"); |
|
1784 |
int total = _nof_normal_calls + _nof_interface_calls + _nof_static_calls; |
|
1785 |
int mono_c = _nof_normal_calls - _nof_optimized_calls - _nof_megamorphic_calls; |
|
1786 |
int mono_i = _nof_interface_calls - _nof_optimized_interface_calls - _nof_megamorphic_interface_calls; |
|
1787 |
tty->print_cr("\t%9d (%4.1f%%) total non-inlined ", total, percent(total, total)); |
|
1788 |
tty->print_cr("\t%9d (%4.1f%%) virtual calls ", _nof_normal_calls, percent(_nof_normal_calls, total)); |
|
1789 |
tty->print_cr("\t %9d (%3.0f%%) inlined ", _nof_inlined_calls, percent(_nof_inlined_calls, _nof_normal_calls)); |
|
1790 |
tty->print_cr("\t %9d (%3.0f%%) optimized ", _nof_optimized_calls, percent(_nof_optimized_calls, _nof_normal_calls)); |
|
1791 |
tty->print_cr("\t %9d (%3.0f%%) monomorphic ", mono_c, percent(mono_c, _nof_normal_calls)); |
|
1792 |
tty->print_cr("\t %9d (%3.0f%%) megamorphic ", _nof_megamorphic_calls, percent(_nof_megamorphic_calls, _nof_normal_calls)); |
|
1793 |
tty->print_cr("\t%9d (%4.1f%%) interface calls ", _nof_interface_calls, percent(_nof_interface_calls, total)); |
|
1794 |
tty->print_cr("\t %9d (%3.0f%%) inlined ", _nof_inlined_interface_calls, percent(_nof_inlined_interface_calls, _nof_interface_calls)); |
|
1795 |
tty->print_cr("\t %9d (%3.0f%%) optimized ", _nof_optimized_interface_calls, percent(_nof_optimized_interface_calls, _nof_interface_calls)); |
|
1796 |
tty->print_cr("\t %9d (%3.0f%%) monomorphic ", mono_i, percent(mono_i, _nof_interface_calls)); |
|
1797 |
tty->print_cr("\t %9d (%3.0f%%) megamorphic ", _nof_megamorphic_interface_calls, percent(_nof_megamorphic_interface_calls, _nof_interface_calls)); |
|
1798 |
tty->print_cr("\t%9d (%4.1f%%) static/special calls", _nof_static_calls, percent(_nof_static_calls, total)); |
|
1799 |
tty->print_cr("\t %9d (%3.0f%%) inlined ", _nof_inlined_static_calls, percent(_nof_inlined_static_calls, _nof_static_calls)); |
|
1800 |
tty->cr(); |
|
1801 |
tty->print_cr("Note 1: counter updates are not MT-safe."); |
|
1802 |
tty->print_cr("Note 2: %% in major categories are relative to total non-inlined calls;"); |
|
1803 |
tty->print_cr(" %% in nested categories are relative to their category"); |
|
1804 |
tty->print_cr(" (and thus add up to more than 100%% with inlining)"); |
|
1805 |
tty->cr(); |
|
1806 |
||
1807 |
MethodArityHistogram h; |
|
1808 |
} |
|
1809 |
#endif |
|
1810 |
||
1811 |
||
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1812 |
// A simple wrapper class around the calling convention information |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1813 |
// that allows sharing of adapters for the same calling convention. |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1814 |
class AdapterFingerPrint : public CHeapObj { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1815 |
private: |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1816 |
union { |
4755
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1817 |
int _compact[3]; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1818 |
int* _fingerprint; |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1819 |
} _value; |
4755
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1820 |
int _length; // A negative length indicates the fingerprint is in the compact form, |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1821 |
// Otherwise _value._fingerprint is the array. |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1822 |
|
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1823 |
// Remap BasicTypes that are handled equivalently by the adapters. |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1824 |
// These are correct for the current system but someday it might be |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1825 |
// necessary to make this mapping platform dependent. |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1826 |
static BasicType adapter_encoding(BasicType in) { |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1827 |
assert((~0xf & in) == 0, "must fit in 4 bits"); |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1828 |
switch(in) { |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1829 |
case T_BOOLEAN: |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1830 |
case T_BYTE: |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1831 |
case T_SHORT: |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1832 |
case T_CHAR: |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1833 |
// There are all promoted to T_INT in the calling convention |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1834 |
return T_INT; |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1835 |
|
4755
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1836 |
case T_OBJECT: |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1837 |
case T_ARRAY: |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1838 |
if (!TaggedStackInterpreter) { |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1839 |
#ifdef _LP64 |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1840 |
return T_LONG; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1841 |
#else |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1842 |
return T_INT; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1843 |
#endif |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1844 |
} |
4755
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1845 |
return T_OBJECT; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1846 |
|
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1847 |
case T_INT: |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1848 |
case T_LONG: |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1849 |
case T_FLOAT: |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1850 |
case T_DOUBLE: |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1851 |
case T_VOID: |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1852 |
return in; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1853 |
|
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1854 |
default: |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1855 |
ShouldNotReachHere(); |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1856 |
return T_CONFLICT; |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1857 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1858 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1859 |
|
4755
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1860 |
public: |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1861 |
AdapterFingerPrint(int total_args_passed, BasicType* sig_bt) { |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1862 |
// The fingerprint is based on the BasicType signature encoded |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1863 |
// into an array of ints with four entries per int. |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1864 |
int* ptr; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1865 |
int len = (total_args_passed + 3) >> 2; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1866 |
if (len <= (int)(sizeof(_value._compact) / sizeof(int))) { |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1867 |
_value._compact[0] = _value._compact[1] = _value._compact[2] = 0; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1868 |
// Storing the signature encoded as signed chars hits about 98% |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1869 |
// of the time. |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1870 |
_length = -len; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1871 |
ptr = _value._compact; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1872 |
} else { |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1873 |
_length = len; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1874 |
_value._fingerprint = NEW_C_HEAP_ARRAY(int, _length); |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1875 |
ptr = _value._fingerprint; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1876 |
} |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1877 |
|
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1878 |
// Now pack the BasicTypes with 4 per int |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1879 |
int sig_index = 0; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1880 |
for (int index = 0; index < len; index++) { |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1881 |
int value = 0; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1882 |
for (int byte = 0; byte < 4; byte++) { |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1883 |
if (sig_index < total_args_passed) { |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1884 |
value = (value << 4) | adapter_encoding(sig_bt[sig_index++]); |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1885 |
} |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1886 |
} |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1887 |
ptr[index] = value; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1888 |
} |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1889 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1890 |
|
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1891 |
~AdapterFingerPrint() { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1892 |
if (_length > 0) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1893 |
FREE_C_HEAP_ARRAY(int, _value._fingerprint); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1894 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1895 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1896 |
|
4755
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1897 |
int value(int index) { |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1898 |
if (_length < 0) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1899 |
return _value._compact[index]; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1900 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1901 |
return _value._fingerprint[index]; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1902 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1903 |
int length() { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1904 |
if (_length < 0) return -_length; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1905 |
return _length; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1906 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1907 |
|
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1908 |
bool is_compact() { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1909 |
return _length <= 0; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1910 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1911 |
|
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1912 |
unsigned int compute_hash() { |
4755
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1913 |
int hash = 0; |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1914 |
for (int i = 0; i < length(); i++) { |
4755
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1915 |
int v = value(i); |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1916 |
hash = (hash << 8) ^ v ^ (hash >> 5); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1917 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1918 |
return (unsigned int)hash; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1919 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1920 |
|
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1921 |
const char* as_string() { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1922 |
stringStream st; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1923 |
for (int i = 0; i < length(); i++) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1924 |
st.print(PTR_FORMAT, value(i)); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1925 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1926 |
return st.as_string(); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1927 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1928 |
|
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1929 |
bool equals(AdapterFingerPrint* other) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1930 |
if (other->_length != _length) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1931 |
return false; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1932 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1933 |
if (_length < 0) { |
4755
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1934 |
return _value._compact[0] == other->_value._compact[0] && |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1935 |
_value._compact[1] == other->_value._compact[1] && |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1936 |
_value._compact[2] == other->_value._compact[2]; |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1937 |
} else { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1938 |
for (int i = 0; i < _length; i++) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1939 |
if (_value._fingerprint[i] != other->_value._fingerprint[i]) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1940 |
return false; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1941 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1942 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1943 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1944 |
return true; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1945 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1946 |
}; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1947 |
|
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1948 |
|
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1949 |
// A hashtable mapping from AdapterFingerPrints to AdapterHandlerEntries |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1950 |
class AdapterHandlerTable : public BasicHashtable { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1951 |
friend class AdapterHandlerTableIterator; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1952 |
|
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1953 |
private: |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1954 |
|
4904
186345703249
6926697: "optimized" VM build failed: The type "AdapterHandlerTableIterator" is incomplete
kvn
parents:
4898
diff
changeset
|
1955 |
#ifndef PRODUCT |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1956 |
static int _lookups; // number of calls to lookup |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1957 |
static int _buckets; // number of buckets checked |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1958 |
static int _equals; // number of buckets checked with matching hash |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1959 |
static int _hits; // number of successful lookups |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1960 |
static int _compact; // number of equals calls with compact signature |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1961 |
#endif |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1962 |
|
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1963 |
AdapterHandlerEntry* bucket(int i) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1964 |
return (AdapterHandlerEntry*)BasicHashtable::bucket(i); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1965 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1966 |
|
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1967 |
public: |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1968 |
AdapterHandlerTable() |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1969 |
: BasicHashtable(293, sizeof(AdapterHandlerEntry)) { } |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1970 |
|
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1971 |
// Create a new entry suitable for insertion in the table |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1972 |
AdapterHandlerEntry* new_entry(AdapterFingerPrint* fingerprint, address i2c_entry, address c2i_entry, address c2i_unverified_entry) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1973 |
AdapterHandlerEntry* entry = (AdapterHandlerEntry*)BasicHashtable::new_entry(fingerprint->compute_hash()); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1974 |
entry->init(fingerprint, i2c_entry, c2i_entry, c2i_unverified_entry); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1975 |
return entry; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1976 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1977 |
|
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1978 |
// Insert an entry into the table |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1979 |
void add(AdapterHandlerEntry* entry) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1980 |
int index = hash_to_index(entry->hash()); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1981 |
add_entry(index, entry); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1982 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1983 |
|
4755
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1984 |
void free_entry(AdapterHandlerEntry* entry) { |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1985 |
entry->deallocate(); |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1986 |
BasicHashtable::free_entry(entry); |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1987 |
} |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1988 |
|
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1989 |
// Find a entry with the same fingerprint if it exists |
4755
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1990 |
AdapterHandlerEntry* lookup(int total_args_passed, BasicType* sig_bt) { |
4904
186345703249
6926697: "optimized" VM build failed: The type "AdapterHandlerTableIterator" is incomplete
kvn
parents:
4898
diff
changeset
|
1991 |
NOT_PRODUCT(_lookups++); |
4755
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
1992 |
AdapterFingerPrint fp(total_args_passed, sig_bt); |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1993 |
unsigned int hash = fp.compute_hash(); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1994 |
int index = hash_to_index(hash); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1995 |
for (AdapterHandlerEntry* e = bucket(index); e != NULL; e = e->next()) { |
4904
186345703249
6926697: "optimized" VM build failed: The type "AdapterHandlerTableIterator" is incomplete
kvn
parents:
4898
diff
changeset
|
1996 |
NOT_PRODUCT(_buckets++); |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1997 |
if (e->hash() == hash) { |
4904
186345703249
6926697: "optimized" VM build failed: The type "AdapterHandlerTableIterator" is incomplete
kvn
parents:
4898
diff
changeset
|
1998 |
NOT_PRODUCT(_equals++); |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
1999 |
if (fp.equals(e->fingerprint())) { |
4904
186345703249
6926697: "optimized" VM build failed: The type "AdapterHandlerTableIterator" is incomplete
kvn
parents:
4898
diff
changeset
|
2000 |
#ifndef PRODUCT |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2001 |
if (fp.is_compact()) _compact++; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2002 |
_hits++; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2003 |
#endif |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2004 |
return e; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2005 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2006 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2007 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2008 |
return NULL; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2009 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2010 |
|
4904
186345703249
6926697: "optimized" VM build failed: The type "AdapterHandlerTableIterator" is incomplete
kvn
parents:
4898
diff
changeset
|
2011 |
#ifndef PRODUCT |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2012 |
void print_statistics() { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2013 |
ResourceMark rm; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2014 |
int longest = 0; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2015 |
int empty = 0; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2016 |
int total = 0; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2017 |
int nonempty = 0; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2018 |
for (int index = 0; index < table_size(); index++) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2019 |
int count = 0; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2020 |
for (AdapterHandlerEntry* e = bucket(index); e != NULL; e = e->next()) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2021 |
count++; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2022 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2023 |
if (count != 0) nonempty++; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2024 |
if (count == 0) empty++; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2025 |
if (count > longest) longest = count; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2026 |
total += count; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2027 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2028 |
tty->print_cr("AdapterHandlerTable: empty %d longest %d total %d average %f", |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2029 |
empty, longest, total, total / (double)nonempty); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2030 |
tty->print_cr("AdapterHandlerTable: lookups %d buckets %d equals %d hits %d compact %d", |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2031 |
_lookups, _buckets, _equals, _hits, _compact); |
4904
186345703249
6926697: "optimized" VM build failed: The type "AdapterHandlerTableIterator" is incomplete
kvn
parents:
4898
diff
changeset
|
2032 |
} |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2033 |
#endif |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2034 |
}; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2035 |
|
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2036 |
|
4904
186345703249
6926697: "optimized" VM build failed: The type "AdapterHandlerTableIterator" is incomplete
kvn
parents:
4898
diff
changeset
|
2037 |
#ifndef PRODUCT |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2038 |
|
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2039 |
int AdapterHandlerTable::_lookups; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2040 |
int AdapterHandlerTable::_buckets; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2041 |
int AdapterHandlerTable::_equals; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2042 |
int AdapterHandlerTable::_hits; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2043 |
int AdapterHandlerTable::_compact; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2044 |
|
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2045 |
class AdapterHandlerTableIterator : public StackObj { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2046 |
private: |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2047 |
AdapterHandlerTable* _table; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2048 |
int _index; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2049 |
AdapterHandlerEntry* _current; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2050 |
|
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2051 |
void scan() { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2052 |
while (_index < _table->table_size()) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2053 |
AdapterHandlerEntry* a = _table->bucket(_index); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2054 |
if (a != NULL) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2055 |
_current = a; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2056 |
return; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2057 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2058 |
_index++; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2059 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2060 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2061 |
|
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2062 |
public: |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2063 |
AdapterHandlerTableIterator(AdapterHandlerTable* table): _table(table), _index(0), _current(NULL) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2064 |
scan(); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2065 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2066 |
bool has_next() { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2067 |
return _current != NULL; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2068 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2069 |
AdapterHandlerEntry* next() { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2070 |
if (_current != NULL) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2071 |
AdapterHandlerEntry* result = _current; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2072 |
_current = _current->next(); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2073 |
if (_current == NULL) scan(); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2074 |
return result; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2075 |
} else { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2076 |
return NULL; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2077 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2078 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2079 |
}; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2080 |
#endif |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2081 |
|
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2082 |
|
1 | 2083 |
// --------------------------------------------------------------------------- |
2084 |
// Implementation of AdapterHandlerLibrary |
|
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2085 |
AdapterHandlerTable* AdapterHandlerLibrary::_adapters = NULL; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2086 |
AdapterHandlerEntry* AdapterHandlerLibrary::_abstract_method_handler = NULL; |
1 | 2087 |
const int AdapterHandlerLibrary_size = 16*K; |
2732
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2088 |
BufferBlob* AdapterHandlerLibrary::_buffer = NULL; |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2089 |
|
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2090 |
BufferBlob* AdapterHandlerLibrary::buffer_blob() { |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2091 |
// Should be called only when AdapterHandlerLibrary_lock is active. |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2092 |
if (_buffer == NULL) // Initialize lazily |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2093 |
_buffer = BufferBlob::create("adapters", AdapterHandlerLibrary_size); |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2094 |
return _buffer; |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2095 |
} |
1 | 2096 |
|
2097 |
void AdapterHandlerLibrary::initialize() { |
|
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2098 |
if (_adapters != NULL) return; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2099 |
_adapters = new AdapterHandlerTable(); |
1 | 2100 |
|
2101 |
// Create a special handler for abstract methods. Abstract methods |
|
2102 |
// are never compiled so an i2c entry is somewhat meaningless, but |
|
2103 |
// fill it in with something appropriate just in case. Pass handle |
|
2104 |
// wrong method for the c2i transitions. |
|
2105 |
address wrong_method = SharedRuntime::get_handle_wrong_method_stub(); |
|
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2106 |
_abstract_method_handler = AdapterHandlerLibrary::new_entry(new AdapterFingerPrint(0, NULL), |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2107 |
StubRoutines::throw_AbstractMethodError_entry(), |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2108 |
wrong_method, wrong_method); |
1 | 2109 |
} |
2110 |
||
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2111 |
AdapterHandlerEntry* AdapterHandlerLibrary::new_entry(AdapterFingerPrint* fingerprint, |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2112 |
address i2c_entry, |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2113 |
address c2i_entry, |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2114 |
address c2i_unverified_entry) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2115 |
return _adapters->new_entry(fingerprint, i2c_entry, c2i_entry, c2i_unverified_entry); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2116 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2117 |
|
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2118 |
AdapterHandlerEntry* AdapterHandlerLibrary::get_adapter(methodHandle method) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2119 |
// Use customized signature handler. Need to lock around updates to |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2120 |
// the AdapterHandlerTable (it is not safe for concurrent readers |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2121 |
// and a single writer: this could be fixed if it becomes a |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2122 |
// problem). |
1 | 2123 |
|
2124 |
// Get the address of the ic_miss handlers before we grab the |
|
2125 |
// AdapterHandlerLibrary_lock. This fixes bug 6236259 which |
|
2126 |
// was caused by the initialization of the stubs happening |
|
2127 |
// while we held the lock and then notifying jvmti while |
|
2128 |
// holding it. This just forces the initialization to be a little |
|
2129 |
// earlier. |
|
2130 |
address ic_miss = SharedRuntime::get_ic_miss_stub(); |
|
2131 |
assert(ic_miss != NULL, "must have handler"); |
|
2132 |
||
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2133 |
ResourceMark rm; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2134 |
|
2732
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2135 |
NOT_PRODUCT(int code_size); |
5050
47ecd86932ce
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
5046
diff
changeset
|
2136 |
AdapterBlob* B = NULL; |
2732
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2137 |
AdapterHandlerEntry* entry = NULL; |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2138 |
AdapterFingerPrint* fingerprint = NULL; |
1 | 2139 |
{ |
2140 |
MutexLocker mu(AdapterHandlerLibrary_lock); |
|
2141 |
// make sure data structure is initialized |
|
2142 |
initialize(); |
|
2143 |
||
2144 |
if (method->is_abstract()) { |
|
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2145 |
return _abstract_method_handler; |
1 | 2146 |
} |
2147 |
||
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2148 |
// Fill in the signature array, for the calling-convention call. |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2149 |
int total_args_passed = method->size_of_parameters(); // All args on stack |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2150 |
|
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2151 |
BasicType* sig_bt = NEW_RESOURCE_ARRAY(BasicType, total_args_passed); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2152 |
VMRegPair* regs = NEW_RESOURCE_ARRAY(VMRegPair, total_args_passed); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2153 |
int i = 0; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2154 |
if (!method->is_static()) // Pass in receiver first |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2155 |
sig_bt[i++] = T_OBJECT; |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2156 |
for (SignatureStream ss(method->signature()); !ss.at_return_type(); ss.next()) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2157 |
sig_bt[i++] = ss.type(); // Collect remaining bits of signature |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2158 |
if (ss.type() == T_LONG || ss.type() == T_DOUBLE) |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2159 |
sig_bt[i++] = T_VOID; // Longs & doubles take 2 Java slots |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2160 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2161 |
assert(i == total_args_passed, ""); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2162 |
|
4755
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2163 |
// Lookup method signature's fingerprint |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2164 |
entry = _adapters->lookup(total_args_passed, sig_bt); |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2165 |
|
4755
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2166 |
#ifdef ASSERT |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2167 |
AdapterHandlerEntry* shared_entry = NULL; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2168 |
if (VerifyAdapterSharing && entry != NULL) { |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2169 |
shared_entry = entry; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2170 |
entry = NULL; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2171 |
} |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2172 |
#endif |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2173 |
|
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2174 |
if (entry != NULL) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2175 |
return entry; |
1 | 2176 |
} |
2177 |
||
4755
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2178 |
// Get a description of the compiled java calling convention and the largest used (VMReg) stack slot usage |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2179 |
int comp_args_on_stack = SharedRuntime::java_calling_convention(sig_bt, regs, total_args_passed, false); |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2180 |
|
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2181 |
// Make a C heap allocated version of the fingerprint to store in the adapter |
4755
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2182 |
fingerprint = new AdapterFingerPrint(total_args_passed, sig_bt); |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2183 |
|
1 | 2184 |
// Create I2C & C2I handlers |
2185 |
||
5050
47ecd86932ce
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
5046
diff
changeset
|
2186 |
BufferBlob* buf = buffer_blob(); // the temporary code buffer in CodeCache |
2732
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2187 |
if (buf != NULL) { |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2188 |
CodeBuffer buffer(buf->instructions_begin(), buf->instructions_size()); |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2189 |
short buffer_locs[20]; |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2190 |
buffer.insts()->initialize_shared_locs((relocInfo*)buffer_locs, |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2191 |
sizeof(buffer_locs)/sizeof(relocInfo)); |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2192 |
MacroAssembler _masm(&buffer); |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2193 |
|
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2194 |
entry = SharedRuntime::generate_i2c2i_adapters(&_masm, |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2195 |
total_args_passed, |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2196 |
comp_args_on_stack, |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2197 |
sig_bt, |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2198 |
regs, |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2199 |
fingerprint); |
1 | 2200 |
|
4755
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2201 |
#ifdef ASSERT |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2202 |
if (VerifyAdapterSharing) { |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2203 |
if (shared_entry != NULL) { |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2204 |
assert(shared_entry->compare_code(buf->instructions_begin(), buffer.code_size(), total_args_passed, sig_bt), |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2205 |
"code must match"); |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2206 |
// Release the one just created and return the original |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2207 |
_adapters->free_entry(entry); |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2208 |
return shared_entry; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2209 |
} else { |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2210 |
entry->save_code(buf->instructions_begin(), buffer.code_size(), total_args_passed, sig_bt); |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2211 |
} |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2212 |
} |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2213 |
#endif |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2214 |
|
5050
47ecd86932ce
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
5046
diff
changeset
|
2215 |
B = AdapterBlob::create(&buffer); |
2732
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2216 |
NOT_PRODUCT(code_size = buffer.code_size()); |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2217 |
} |
201 | 2218 |
if (B == NULL) { |
2219 |
// CodeCache is full, disable compilation |
|
2220 |
// Ought to log this but compile log is only per compile thread |
|
2221 |
// and we're some non descript Java thread. |
|
4750 | 2222 |
MutexUnlocker mu(AdapterHandlerLibrary_lock); |
2223 |
CompileBroker::handle_full_code_cache(); |
|
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2224 |
return NULL; // Out of CodeCache space |
201 | 2225 |
} |
1 | 2226 |
entry->relocate(B->instructions_begin()); |
2227 |
#ifndef PRODUCT |
|
2228 |
// debugging suppport |
|
2229 |
if (PrintAdapterHandlers) { |
|
2230 |
tty->cr(); |
|
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2231 |
tty->print_cr("i2c argument handler #%d for: %s %s (fingerprint = %s, %d bytes generated)", |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2232 |
_adapters->number_of_entries(), (method->is_static() ? "static" : "receiver"), |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2233 |
method->signature()->as_C_string(), fingerprint->as_string(), code_size ); |
1 | 2234 |
tty->print_cr("c2i argument handler starts at %p",entry->get_c2i_entry()); |
2732
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2235 |
Disassembler::decode(entry->get_i2c_entry(), entry->get_i2c_entry() + code_size); |
1 | 2236 |
} |
2237 |
#endif |
|
2238 |
||
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2239 |
_adapters->add(entry); |
1 | 2240 |
} |
2241 |
// Outside of the lock |
|
2242 |
if (B != NULL) { |
|
2243 |
char blob_id[256]; |
|
2244 |
jio_snprintf(blob_id, |
|
2245 |
sizeof(blob_id), |
|
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2246 |
"%s(%s)@" PTR_FORMAT, |
5050
47ecd86932ce
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
5046
diff
changeset
|
2247 |
B->name(), |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2248 |
fingerprint->as_string(), |
1 | 2249 |
B->instructions_begin()); |
2250 |
VTune::register_stub(blob_id, B->instructions_begin(), B->instructions_end()); |
|
2251 |
Forte::register_stub(blob_id, B->instructions_begin(), B->instructions_end()); |
|
2252 |
||
2253 |
if (JvmtiExport::should_post_dynamic_code_generated()) { |
|
2254 |
JvmtiExport::post_dynamic_code_generated(blob_id, |
|
2255 |
B->instructions_begin(), |
|
2256 |
B->instructions_end()); |
|
2257 |
} |
|
2258 |
} |
|
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2259 |
return entry; |
1 | 2260 |
} |
2261 |
||
2262 |
void AdapterHandlerEntry::relocate(address new_base) { |
|
2263 |
ptrdiff_t delta = new_base - _i2c_entry; |
|
2264 |
_i2c_entry += delta; |
|
2265 |
_c2i_entry += delta; |
|
2266 |
_c2i_unverified_entry += delta; |
|
2267 |
} |
|
2268 |
||
4755
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2269 |
|
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2270 |
void AdapterHandlerEntry::deallocate() { |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2271 |
delete _fingerprint; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2272 |
#ifdef ASSERT |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2273 |
if (_saved_code) FREE_C_HEAP_ARRAY(unsigned char, _saved_code); |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2274 |
if (_saved_sig) FREE_C_HEAP_ARRAY(Basictype, _saved_sig); |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2275 |
#endif |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2276 |
} |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2277 |
|
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2278 |
|
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2279 |
#ifdef ASSERT |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2280 |
// Capture the code before relocation so that it can be compared |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2281 |
// against other versions. If the code is captured after relocation |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2282 |
// then relative instructions won't be equivalent. |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2283 |
void AdapterHandlerEntry::save_code(unsigned char* buffer, int length, int total_args_passed, BasicType* sig_bt) { |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2284 |
_saved_code = NEW_C_HEAP_ARRAY(unsigned char, length); |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2285 |
_code_length = length; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2286 |
memcpy(_saved_code, buffer, length); |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2287 |
_total_args_passed = total_args_passed; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2288 |
_saved_sig = NEW_C_HEAP_ARRAY(BasicType, _total_args_passed); |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2289 |
memcpy(_saved_sig, sig_bt, _total_args_passed * sizeof(BasicType)); |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2290 |
} |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2291 |
|
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2292 |
|
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2293 |
bool AdapterHandlerEntry::compare_code(unsigned char* buffer, int length, int total_args_passed, BasicType* sig_bt) { |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2294 |
if (length != _code_length) { |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2295 |
return false; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2296 |
} |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2297 |
for (int i = 0; i < length; i++) { |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2298 |
if (buffer[i] != _saved_code[i]) { |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2299 |
return false; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2300 |
} |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2301 |
} |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2302 |
return true; |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2303 |
} |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2304 |
#endif |
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2305 |
|
eee57ea6d910
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
4753
diff
changeset
|
2306 |
|
1 | 2307 |
// Create a native wrapper for this native method. The wrapper converts the |
2308 |
// java compiled calling convention to the native convention, handlizes |
|
2309 |
// arguments, and transitions to native. On return from the native we transition |
|
2310 |
// back to java blocking if a safepoint is in progress. |
|
2311 |
nmethod *AdapterHandlerLibrary::create_native_wrapper(methodHandle method) { |
|
2312 |
ResourceMark rm; |
|
2313 |
nmethod* nm = NULL; |
|
2314 |
||
2315 |
if (PrintCompilation) { |
|
2316 |
ttyLocker ttyl; |
|
2317 |
tty->print("--- n%s ", (method->is_synchronized() ? "s" : " ")); |
|
2318 |
method->print_short_name(tty); |
|
2319 |
if (method->is_static()) { |
|
2320 |
tty->print(" (static)"); |
|
2321 |
} |
|
2322 |
tty->cr(); |
|
2323 |
} |
|
2324 |
||
2325 |
assert(method->has_native_function(), "must have something valid to call!"); |
|
2326 |
||
2327 |
{ |
|
2328 |
// perform the work while holding the lock, but perform any printing outside the lock |
|
2329 |
MutexLocker mu(AdapterHandlerLibrary_lock); |
|
2330 |
// See if somebody beat us to it |
|
2331 |
nm = method->code(); |
|
2332 |
if (nm) { |
|
2333 |
return nm; |
|
2334 |
} |
|
2335 |
||
2732
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2336 |
ResourceMark rm; |
1 | 2337 |
|
2732
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2338 |
BufferBlob* buf = buffer_blob(); // the temporary code buffer in CodeCache |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2339 |
if (buf != NULL) { |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2340 |
CodeBuffer buffer(buf->instructions_begin(), buf->instructions_size()); |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2341 |
double locs_buf[20]; |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2342 |
buffer.insts()->initialize_shared_locs((relocInfo*)locs_buf, sizeof(locs_buf) / sizeof(relocInfo)); |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2343 |
MacroAssembler _masm(&buffer); |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2344 |
|
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2345 |
// Fill in the signature array, for the calling-convention call. |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2346 |
int total_args_passed = method->size_of_parameters(); |
1 | 2347 |
|
2732
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2348 |
BasicType* sig_bt = NEW_RESOURCE_ARRAY(BasicType,total_args_passed); |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2349 |
VMRegPair* regs = NEW_RESOURCE_ARRAY(VMRegPair,total_args_passed); |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2350 |
int i=0; |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2351 |
if( !method->is_static() ) // Pass in receiver first |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2352 |
sig_bt[i++] = T_OBJECT; |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2353 |
SignatureStream ss(method->signature()); |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2354 |
for( ; !ss.at_return_type(); ss.next()) { |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2355 |
sig_bt[i++] = ss.type(); // Collect remaining bits of signature |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2356 |
if( ss.type() == T_LONG || ss.type() == T_DOUBLE ) |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2357 |
sig_bt[i++] = T_VOID; // Longs & doubles take 2 Java slots |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2358 |
} |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2359 |
assert( i==total_args_passed, "" ); |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2360 |
BasicType ret_type = ss.type(); |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2361 |
|
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2362 |
// Now get the compiled-Java layout as input arguments |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2363 |
int comp_args_on_stack; |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2364 |
comp_args_on_stack = SharedRuntime::java_calling_convention(sig_bt, regs, total_args_passed, false); |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2365 |
|
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2366 |
// Generate the compiled-to-native wrapper code |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2367 |
nm = SharedRuntime::generate_native_wrapper(&_masm, |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2368 |
method, |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2369 |
total_args_passed, |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2370 |
comp_args_on_stack, |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2371 |
sig_bt,regs, |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2372 |
ret_type); |
1 | 2373 |
} |
2374 |
} |
|
2375 |
||
2376 |
// Must unlock before calling set_code |
|
2377 |
// Install the generated code. |
|
2378 |
if (nm != NULL) { |
|
2379 |
method->set_code(method, nm); |
|
2380 |
nm->post_compiled_method_load_event(); |
|
2381 |
} else { |
|
2382 |
// CodeCache is full, disable compilation |
|
2383 |
// Ought to log this but compile log is only per compile thread |
|
2384 |
// and we're some non descript Java thread. |
|
4750 | 2385 |
MutexUnlocker mu(AdapterHandlerLibrary_lock); |
2386 |
CompileBroker::handle_full_code_cache(); |
|
1 | 2387 |
} |
2388 |
return nm; |
|
2389 |
} |
|
2390 |
||
363
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2391 |
#ifdef HAVE_DTRACE_H |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2392 |
// Create a dtrace nmethod for this method. The wrapper converts the |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2393 |
// java compiled calling convention to the native convention, makes a dummy call |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2394 |
// (actually nops for the size of the call instruction, which become a trap if |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2395 |
// probe is enabled). The returns to the caller. Since this all looks like a |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2396 |
// leaf no thread transition is needed. |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2397 |
|
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2398 |
nmethod *AdapterHandlerLibrary::create_dtrace_nmethod(methodHandle method) { |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2399 |
ResourceMark rm; |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2400 |
nmethod* nm = NULL; |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2401 |
|
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2402 |
if (PrintCompilation) { |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2403 |
ttyLocker ttyl; |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2404 |
tty->print("--- n%s "); |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2405 |
method->print_short_name(tty); |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2406 |
if (method->is_static()) { |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2407 |
tty->print(" (static)"); |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2408 |
} |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2409 |
tty->cr(); |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2410 |
} |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2411 |
|
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2412 |
{ |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2413 |
// perform the work while holding the lock, but perform any printing |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2414 |
// outside the lock |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2415 |
MutexLocker mu(AdapterHandlerLibrary_lock); |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2416 |
// See if somebody beat us to it |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2417 |
nm = method->code(); |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2418 |
if (nm) { |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2419 |
return nm; |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2420 |
} |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2421 |
|
2732
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2422 |
ResourceMark rm; |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2423 |
|
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2424 |
BufferBlob* buf = buffer_blob(); // the temporary code buffer in CodeCache |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2425 |
if (buf != NULL) { |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2426 |
CodeBuffer buffer(buf->instructions_begin(), buf->instructions_size()); |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2427 |
// Need a few relocation entries |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2428 |
double locs_buf[20]; |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2429 |
buffer.insts()->initialize_shared_locs( |
363
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2430 |
(relocInfo*)locs_buf, sizeof(locs_buf) / sizeof(relocInfo)); |
2732
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2431 |
MacroAssembler _masm(&buffer); |
363
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2432 |
|
2732
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2433 |
// Generate the compiled-to-native wrapper code |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2434 |
nm = SharedRuntime::generate_dtrace_nmethod(&_masm, method); |
3ab85419f523
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
2534
diff
changeset
|
2435 |
} |
363
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2436 |
} |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2437 |
return nm; |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2438 |
} |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2439 |
|
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2440 |
// the dtrace method needs to convert java lang string to utf8 string. |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2441 |
void SharedRuntime::get_utf(oopDesc* src, address dst) { |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2442 |
typeArrayOop jlsValue = java_lang_String::value(src); |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2443 |
int jlsOffset = java_lang_String::offset(src); |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2444 |
int jlsLen = java_lang_String::length(src); |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2445 |
jchar* jlsPos = (jlsLen == 0) ? NULL : |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2446 |
jlsValue->char_at_addr(jlsOffset); |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2447 |
(void) UNICODE::as_utf8(jlsPos, jlsLen, (char *)dst, max_dtrace_string_size); |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2448 |
} |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2449 |
#endif // ndef HAVE_DTRACE_H |
99d43e8a76ad
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
235
diff
changeset
|
2450 |
|
1 | 2451 |
// ------------------------------------------------------------------------- |
2452 |
// Java-Java calling convention |
|
2453 |
// (what you use when Java calls Java) |
|
2454 |
||
2455 |
//------------------------------name_for_receiver---------------------------------- |
|
2456 |
// For a given signature, return the VMReg for parameter 0. |
|
2457 |
VMReg SharedRuntime::name_for_receiver() { |
|
2458 |
VMRegPair regs; |
|
2459 |
BasicType sig_bt = T_OBJECT; |
|
2460 |
(void) java_calling_convention(&sig_bt, ®s, 1, true); |
|
2461 |
// Return argument 0 register. In the LP64 build pointers |
|
2462 |
// take 2 registers, but the VM wants only the 'main' name. |
|
2463 |
return regs.first(); |
|
2464 |
} |
|
2465 |
||
4567
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4564
diff
changeset
|
2466 |
VMRegPair *SharedRuntime::find_callee_arguments(symbolOop sig, bool has_receiver, int* arg_size) { |
1 | 2467 |
// This method is returning a data structure allocating as a |
2468 |
// ResourceObject, so do not put any ResourceMarks in here. |
|
2469 |
char *s = sig->as_C_string(); |
|
2470 |
int len = (int)strlen(s); |
|
2471 |
*s++; len--; // Skip opening paren |
|
2472 |
char *t = s+len; |
|
2473 |
while( *(--t) != ')' ) ; // Find close paren |
|
2474 |
||
2475 |
BasicType *sig_bt = NEW_RESOURCE_ARRAY( BasicType, 256 ); |
|
2476 |
VMRegPair *regs = NEW_RESOURCE_ARRAY( VMRegPair, 256 ); |
|
2477 |
int cnt = 0; |
|
4567
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4564
diff
changeset
|
2478 |
if (has_receiver) { |
1 | 2479 |
sig_bt[cnt++] = T_OBJECT; // Receiver is argument 0; not in signature |
2480 |
} |
|
2481 |
||
2482 |
while( s < t ) { |
|
2483 |
switch( *s++ ) { // Switch on signature character |
|
2484 |
case 'B': sig_bt[cnt++] = T_BYTE; break; |
|
2485 |
case 'C': sig_bt[cnt++] = T_CHAR; break; |
|
2486 |
case 'D': sig_bt[cnt++] = T_DOUBLE; sig_bt[cnt++] = T_VOID; break; |
|
2487 |
case 'F': sig_bt[cnt++] = T_FLOAT; break; |
|
2488 |
case 'I': sig_bt[cnt++] = T_INT; break; |
|
2489 |
case 'J': sig_bt[cnt++] = T_LONG; sig_bt[cnt++] = T_VOID; break; |
|
2490 |
case 'S': sig_bt[cnt++] = T_SHORT; break; |
|
2491 |
case 'Z': sig_bt[cnt++] = T_BOOLEAN; break; |
|
2492 |
case 'V': sig_bt[cnt++] = T_VOID; break; |
|
2493 |
case 'L': // Oop |
|
2494 |
while( *s++ != ';' ) ; // Skip signature |
|
2495 |
sig_bt[cnt++] = T_OBJECT; |
|
2496 |
break; |
|
2497 |
case '[': { // Array |
|
2498 |
do { // Skip optional size |
|
2499 |
while( *s >= '0' && *s <= '9' ) s++; |
|
2500 |
} while( *s++ == '[' ); // Nested arrays? |
|
2501 |
// Skip element type |
|
2502 |
if( s[-1] == 'L' ) |
|
2503 |
while( *s++ != ';' ) ; // Skip signature |
|
2504 |
sig_bt[cnt++] = T_ARRAY; |
|
2505 |
break; |
|
2506 |
} |
|
2507 |
default : ShouldNotReachHere(); |
|
2508 |
} |
|
2509 |
} |
|
2510 |
assert( cnt < 256, "grow table size" ); |
|
2511 |
||
2512 |
int comp_args_on_stack; |
|
2513 |
comp_args_on_stack = java_calling_convention(sig_bt, regs, cnt, true); |
|
2514 |
||
2515 |
// the calling convention doesn't count out_preserve_stack_slots so |
|
2516 |
// we must add that in to get "true" stack offsets. |
|
2517 |
||
2518 |
if (comp_args_on_stack) { |
|
2519 |
for (int i = 0; i < cnt; i++) { |
|
2520 |
VMReg reg1 = regs[i].first(); |
|
2521 |
if( reg1->is_stack()) { |
|
2522 |
// Yuck |
|
2523 |
reg1 = reg1->bias(out_preserve_stack_slots()); |
|
2524 |
} |
|
2525 |
VMReg reg2 = regs[i].second(); |
|
2526 |
if( reg2->is_stack()) { |
|
2527 |
// Yuck |
|
2528 |
reg2 = reg2->bias(out_preserve_stack_slots()); |
|
2529 |
} |
|
2530 |
regs[i].set_pair(reg2, reg1); |
|
2531 |
} |
|
2532 |
} |
|
2533 |
||
2534 |
// results |
|
2535 |
*arg_size = cnt; |
|
2536 |
return regs; |
|
2537 |
} |
|
2538 |
||
2539 |
// OSR Migration Code |
|
2540 |
// |
|
2541 |
// This code is used convert interpreter frames into compiled frames. It is |
|
2542 |
// called from very start of a compiled OSR nmethod. A temp array is |
|
2543 |
// allocated to hold the interesting bits of the interpreter frame. All |
|
2544 |
// active locks are inflated to allow them to move. The displaced headers and |
|
2545 |
// active interpeter locals are copied into the temp buffer. Then we return |
|
2546 |
// back to the compiled code. The compiled code then pops the current |
|
2547 |
// interpreter frame off the stack and pushes a new compiled frame. Then it |
|
2548 |
// copies the interpreter locals and displaced headers where it wants. |
|
2549 |
// Finally it calls back to free the temp buffer. |
|
2550 |
// |
|
2551 |
// All of this is done NOT at any Safepoint, nor is any safepoint or GC allowed. |
|
2552 |
||
2553 |
JRT_LEAF(intptr_t*, SharedRuntime::OSR_migration_begin( JavaThread *thread) ) |
|
2554 |
||
2555 |
#ifdef IA64 |
|
2556 |
ShouldNotReachHere(); // NYI |
|
2557 |
#endif /* IA64 */ |
|
2558 |
||
2559 |
// |
|
2560 |
// This code is dependent on the memory layout of the interpreter local |
|
2561 |
// array and the monitors. On all of our platforms the layout is identical |
|
2562 |
// so this code is shared. If some platform lays the their arrays out |
|
2563 |
// differently then this code could move to platform specific code or |
|
2564 |
// the code here could be modified to copy items one at a time using |
|
2565 |
// frame accessor methods and be platform independent. |
|
2566 |
||
2567 |
frame fr = thread->last_frame(); |
|
2568 |
assert( fr.is_interpreted_frame(), "" ); |
|
2569 |
assert( fr.interpreter_frame_expression_stack_size()==0, "only handle empty stacks" ); |
|
2570 |
||
2571 |
// Figure out how many monitors are active. |
|
2572 |
int active_monitor_count = 0; |
|
2573 |
for( BasicObjectLock *kptr = fr.interpreter_frame_monitor_end(); |
|
2574 |
kptr < fr.interpreter_frame_monitor_begin(); |
|
2575 |
kptr = fr.next_monitor_in_interpreter_frame(kptr) ) { |
|
2576 |
if( kptr->obj() != NULL ) active_monitor_count++; |
|
2577 |
} |
|
2578 |
||
2579 |
// QQQ we could place number of active monitors in the array so that compiled code |
|
2580 |
// could double check it. |
|
2581 |
||
2582 |
methodOop moop = fr.interpreter_frame_method(); |
|
2583 |
int max_locals = moop->max_locals(); |
|
2584 |
// Allocate temp buffer, 1 word per local & 2 per active monitor |
|
2585 |
int buf_size_words = max_locals + active_monitor_count*2; |
|
2586 |
intptr_t *buf = NEW_C_HEAP_ARRAY(intptr_t,buf_size_words); |
|
2587 |
||
2588 |
// Copy the locals. Order is preserved so that loading of longs works. |
|
2589 |
// Since there's no GC I can copy the oops blindly. |
|
2590 |
assert( sizeof(HeapWord)==sizeof(intptr_t), "fix this code"); |
|
2591 |
if (TaggedStackInterpreter) { |
|
2592 |
for (int i = 0; i < max_locals; i++) { |
|
2593 |
// copy only each local separately to the buffer avoiding the tag |
|
2594 |
buf[i] = *fr.interpreter_frame_local_at(max_locals-i-1); |
|
2595 |
} |
|
2596 |
} else { |
|
2597 |
Copy::disjoint_words( |
|
2598 |
(HeapWord*)fr.interpreter_frame_local_at(max_locals-1), |
|
2599 |
(HeapWord*)&buf[0], |
|
2600 |
max_locals); |
|
2601 |
} |
|
2602 |
||
2603 |
// Inflate locks. Copy the displaced headers. Be careful, there can be holes. |
|
2604 |
int i = max_locals; |
|
2605 |
for( BasicObjectLock *kptr2 = fr.interpreter_frame_monitor_end(); |
|
2606 |
kptr2 < fr.interpreter_frame_monitor_begin(); |
|
2607 |
kptr2 = fr.next_monitor_in_interpreter_frame(kptr2) ) { |
|
2608 |
if( kptr2->obj() != NULL) { // Avoid 'holes' in the monitor array |
|
2609 |
BasicLock *lock = kptr2->lock(); |
|
2610 |
// Inflate so the displaced header becomes position-independent |
|
2611 |
if (lock->displaced_header()->is_unlocked()) |
|
2612 |
ObjectSynchronizer::inflate_helper(kptr2->obj()); |
|
2613 |
// Now the displaced header is free to move |
|
2614 |
buf[i++] = (intptr_t)lock->displaced_header(); |
|
2615 |
buf[i++] = (intptr_t)kptr2->obj(); |
|
2616 |
} |
|
2617 |
} |
|
2618 |
assert( i - max_locals == active_monitor_count*2, "found the expected number of monitors" ); |
|
2619 |
||
2620 |
return buf; |
|
2621 |
JRT_END |
|
2622 |
||
2623 |
JRT_LEAF(void, SharedRuntime::OSR_migration_end( intptr_t* buf) ) |
|
2624 |
FREE_C_HEAP_ARRAY(intptr_t,buf); |
|
2625 |
JRT_END |
|
2626 |
||
2627 |
#ifndef PRODUCT |
|
2628 |
bool AdapterHandlerLibrary::contains(CodeBlob* b) { |
|
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2629 |
AdapterHandlerTableIterator iter(_adapters); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2630 |
while (iter.has_next()) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2631 |
AdapterHandlerEntry* a = iter.next(); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2632 |
if ( b == CodeCache::find_blob(a->get_i2c_entry()) ) return true; |
1 | 2633 |
} |
2634 |
return false; |
|
2635 |
} |
|
2636 |
||
2637 |
void AdapterHandlerLibrary::print_handler(CodeBlob* b) { |
|
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2638 |
AdapterHandlerTableIterator iter(_adapters); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2639 |
while (iter.has_next()) { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2640 |
AdapterHandlerEntry* a = iter.next(); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2641 |
if ( b == CodeCache::find_blob(a->get_i2c_entry()) ) { |
1 | 2642 |
tty->print("Adapter for signature: "); |
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2643 |
tty->print_cr("%s i2c: " INTPTR_FORMAT " c2i: " INTPTR_FORMAT " c2iUV: " INTPTR_FORMAT, |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2644 |
a->fingerprint()->as_string(), |
1 | 2645 |
a->get_i2c_entry(), a->get_c2i_entry(), a->get_c2i_unverified_entry()); |
2646 |
return; |
|
2647 |
} |
|
2648 |
} |
|
2649 |
assert(false, "Should have found handler"); |
|
2650 |
} |
|
4735
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2651 |
|
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2652 |
void AdapterHandlerLibrary::print_statistics() { |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2653 |
_adapters->print_statistics(); |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2654 |
} |
3d4e4ec0df67
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
4571
diff
changeset
|
2655 |
|
1 | 2656 |
#endif /* PRODUCT */ |