annotate src/share/vm/runtime/sharedRuntime.cpp @ 612:afa80fa86d22

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