Mercurial > hg > truffle
annotate src/share/vm/runtime/vframe.cpp @ 18133:5c1bd485c54b
Truffle: fix deoptimization of int[] with double/long values
author | Andreas Woess <andreas.woess@jku.at> |
---|---|
date | Tue, 21 Oct 2014 02:31:32 +0200 |
parents | 52b4284cb496 |
children | 1deff4ac56c3 |
rev | line source |
---|---|
0 | 1 /* |
17937
78bbf4d43a14
8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents:
14223
diff
changeset
|
2 * Copyright (c) 1997, 2014, Oracle and/or its affiliates. All rights reserved. |
0 | 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * | |
5 * This code is free software; you can redistribute it and/or modify it | |
6 * under the terms of the GNU General Public License version 2 only, as | |
7 * published by the Free Software Foundation. | |
8 * | |
9 * This code is distributed in the hope that it will be useful, but WITHOUT | |
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
12 * version 2 for more details (a copy is included in the LICENSE file that | |
13 * accompanied this code). | |
14 * | |
15 * You should have received a copy of the GNU General Public License version | |
16 * 2 along with this work; if not, write to the Free Software Foundation, | |
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
18 * | |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1547
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1547
diff
changeset
|
20 * or visit www.oracle.com if you need additional information or have any |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1547
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
1972 | 25 #include "precompiled.hpp" |
26 #include "classfile/javaClasses.hpp" | |
27 #include "classfile/systemDictionary.hpp" | |
28 #include "classfile/vmSymbols.hpp" | |
29 #include "code/codeCache.hpp" | |
30 #include "code/debugInfoRec.hpp" | |
31 #include "code/nmethod.hpp" | |
32 #include "code/pcDesc.hpp" | |
33 #include "code/scopeDesc.hpp" | |
34 #include "interpreter/interpreter.hpp" | |
35 #include "interpreter/oopMapCache.hpp" | |
36 #include "memory/resourceArea.hpp" | |
37 #include "oops/instanceKlass.hpp" | |
38 #include "oops/oop.inline.hpp" | |
39 #include "runtime/handles.inline.hpp" | |
40 #include "runtime/objectMonitor.hpp" | |
41 #include "runtime/objectMonitor.inline.hpp" | |
42 #include "runtime/signature.hpp" | |
43 #include "runtime/stubRoutines.hpp" | |
44 #include "runtime/synchronizer.hpp" | |
45 #include "runtime/vframe.hpp" | |
46 #include "runtime/vframeArray.hpp" | |
47 #include "runtime/vframe_hp.hpp" | |
0 | 48 |
17937
78bbf4d43a14
8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents:
14223
diff
changeset
|
49 PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC |
78bbf4d43a14
8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents:
14223
diff
changeset
|
50 |
0 | 51 vframe::vframe(const frame* fr, const RegisterMap* reg_map, JavaThread* thread) |
52 : _reg_map(reg_map), _thread(thread) { | |
53 assert(fr != NULL, "must have frame"); | |
54 _fr = *fr; | |
55 } | |
56 | |
57 vframe::vframe(const frame* fr, JavaThread* thread) | |
58 : _reg_map(thread), _thread(thread) { | |
59 assert(fr != NULL, "must have frame"); | |
60 _fr = *fr; | |
61 } | |
62 | |
63 vframe* vframe::new_vframe(const frame* f, const RegisterMap* reg_map, JavaThread* thread) { | |
64 // Interpreter frame | |
65 if (f->is_interpreted_frame()) { | |
66 return new interpretedVFrame(f, reg_map, thread); | |
67 } | |
68 | |
69 // Compiled frame | |
70 CodeBlob* cb = f->cb(); | |
71 if (cb != NULL) { | |
72 if (cb->is_nmethod()) { | |
73 nmethod* nm = (nmethod*)cb; | |
74 return new compiledVFrame(f, reg_map, thread, nm); | |
75 } | |
76 | |
77 if (f->is_runtime_frame()) { | |
78 // Skip this frame and try again. | |
79 RegisterMap temp_map = *reg_map; | |
80 frame s = f->sender(&temp_map); | |
81 return new_vframe(&s, &temp_map, thread); | |
82 } | |
83 } | |
84 | |
85 // External frame | |
86 return new externalVFrame(f, reg_map, thread); | |
87 } | |
88 | |
89 vframe* vframe::sender() const { | |
90 RegisterMap temp_map = *register_map(); | |
91 assert(is_top(), "just checking"); | |
92 if (_fr.is_entry_frame() && _fr.is_first_frame()) return NULL; | |
93 frame s = _fr.real_sender(&temp_map); | |
94 if (s.is_first_frame()) return NULL; | |
95 return vframe::new_vframe(&s, &temp_map, thread()); | |
96 } | |
97 | |
98 vframe* vframe::top() const { | |
99 vframe* vf = (vframe*) this; | |
100 while (!vf->is_top()) vf = vf->sender(); | |
101 return vf; | |
102 } | |
103 | |
104 | |
105 javaVFrame* vframe::java_sender() const { | |
106 vframe* f = sender(); | |
107 while (f != NULL) { | |
108 if (f->is_java_frame()) return javaVFrame::cast(f); | |
109 f = f->sender(); | |
110 } | |
111 return NULL; | |
112 } | |
113 | |
114 // ------------- javaVFrame -------------- | |
115 | |
116 GrowableArray<MonitorInfo*>* javaVFrame::locked_monitors() { | |
117 assert(SafepointSynchronize::is_at_safepoint() || JavaThread::current() == thread(), | |
118 "must be at safepoint or it's a java frame of the current thread"); | |
119 | |
120 GrowableArray<MonitorInfo*>* mons = monitors(); | |
121 GrowableArray<MonitorInfo*>* result = new GrowableArray<MonitorInfo*>(mons->length()); | |
122 if (mons->is_empty()) return result; | |
123 | |
124 bool found_first_monitor = false; | |
125 ObjectMonitor *pending_monitor = thread()->current_pending_monitor(); | |
126 ObjectMonitor *waiting_monitor = thread()->current_waiting_monitor(); | |
1547
fb1a39993f69
6951319: enable solaris builds using Sun Studio 12 update 1
jcoomes
parents:
1506
diff
changeset
|
127 oop pending_obj = (pending_monitor != NULL ? (oop) pending_monitor->object() : (oop) NULL); |
fb1a39993f69
6951319: enable solaris builds using Sun Studio 12 update 1
jcoomes
parents:
1506
diff
changeset
|
128 oop waiting_obj = (waiting_monitor != NULL ? (oop) waiting_monitor->object() : (oop) NULL); |
0 | 129 |
130 for (int index = (mons->length()-1); index >= 0; index--) { | |
131 MonitorInfo* monitor = mons->at(index); | |
818
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
132 if (monitor->eliminated() && is_compiled_frame()) continue; // skip eliminated monitor |
0 | 133 oop obj = monitor->owner(); |
134 if (obj == NULL) continue; // skip unowned monitor | |
135 // | |
136 // Skip the monitor that the thread is blocked to enter or waiting on | |
137 // | |
138 if (!found_first_monitor && (obj == pending_obj || obj == waiting_obj)) { | |
139 continue; | |
140 } | |
141 found_first_monitor = true; | |
142 result->append(monitor); | |
143 } | |
144 return result; | |
145 } | |
146 | |
147 static void print_locked_object_class_name(outputStream* st, Handle obj, const char* lock_state) { | |
148 if (obj.not_null()) { | |
149 st->print("\t- %s <" INTPTR_FORMAT "> ", lock_state, (address)obj()); | |
1142 | 150 if (obj->klass() == SystemDictionary::Class_klass()) { |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
151 Klass* target_klass = java_lang_Class::as_Klass(obj()); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
152 st->print_cr("(a java.lang.Class for %s)", InstanceKlass::cast(target_klass)->external_name()); |
0 | 153 } else { |
6983 | 154 Klass* k = obj->klass(); |
0 | 155 st->print_cr("(a %s)", k->external_name()); |
156 } | |
157 } | |
158 } | |
159 | |
160 void javaVFrame::print_lock_info_on(outputStream* st, int frame_count) { | |
161 ResourceMark rm; | |
162 | |
163 // If this is the first frame, and java.lang.Object.wait(...) then print out the receiver. | |
164 if (frame_count == 0) { | |
165 if (method()->name() == vmSymbols::wait_name() && | |
6940
18fb7da42534
8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents:
6725
diff
changeset
|
166 method()->method_holder()->name() == vmSymbols::java_lang_Object()) { |
0 | 167 StackValueCollection* locs = locals(); |
168 if (!locs->is_empty()) { | |
169 StackValue* sv = locs->at(0); | |
170 if (sv->type() == T_OBJECT) { | |
171 Handle o = locs->at(0)->get_obj(); | |
172 print_locked_object_class_name(st, o, "waiting on"); | |
173 } | |
174 } | |
175 } else if (thread()->current_park_blocker() != NULL) { | |
176 oop obj = thread()->current_park_blocker(); | |
6983 | 177 Klass* k = obj->klass(); |
0 | 178 st->print_cr("\t- %s <" INTPTR_FORMAT "> (a %s)", "parking to wait for ", (address)obj, k->external_name()); |
179 } | |
180 } | |
181 | |
182 | |
183 // Print out all monitors that we have locked or are trying to lock | |
184 GrowableArray<MonitorInfo*>* mons = monitors(); | |
185 if (!mons->is_empty()) { | |
186 bool found_first_monitor = false; | |
187 for (int index = (mons->length()-1); index >= 0; index--) { | |
188 MonitorInfo* monitor = mons->at(index); | |
818
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
189 if (monitor->eliminated() && is_compiled_frame()) { // Eliminated in compiled code |
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
190 if (monitor->owner_is_scalar_replaced()) { |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
191 Klass* k = java_lang_Class::as_Klass(monitor->owner_klass()); |
818
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
192 st->print("\t- eliminated <owner is scalar replaced> (a %s)", k->external_name()); |
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
193 } else { |
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
194 oop obj = monitor->owner(); |
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
195 if (obj != NULL) { |
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
196 print_locked_object_class_name(st, obj, "eliminated"); |
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
197 } |
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
198 } |
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
199 continue; |
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
200 } |
0 | 201 if (monitor->owner() != NULL) { |
17965
4a1062dc52d1
8036823: Stack trace sometimes shows 'locked' instead of 'waiting to lock'
dcubed
parents:
17937
diff
changeset
|
202 // the monitor is associated with an object, i.e., it is locked |
0 | 203 |
204 // First, assume we have the monitor locked. If we haven't found an | |
205 // owned monitor before and this is the first frame, then we need to | |
206 // see if we have completed the lock or we are blocked trying to | |
207 // acquire it - we can only be blocked if the monitor is inflated | |
208 | |
209 const char *lock_state = "locked"; // assume we have the monitor locked | |
210 if (!found_first_monitor && frame_count == 0) { | |
818
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
211 markOop mark = monitor->owner()->mark(); |
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
212 if (mark->has_monitor() && |
17965
4a1062dc52d1
8036823: Stack trace sometimes shows 'locked' instead of 'waiting to lock'
dcubed
parents:
17937
diff
changeset
|
213 ( // we have marked ourself as pending on this monitor |
4a1062dc52d1
8036823: Stack trace sometimes shows 'locked' instead of 'waiting to lock'
dcubed
parents:
17937
diff
changeset
|
214 mark->monitor() == thread()->current_pending_monitor() || |
4a1062dc52d1
8036823: Stack trace sometimes shows 'locked' instead of 'waiting to lock'
dcubed
parents:
17937
diff
changeset
|
215 // we are not the owner of this monitor |
4a1062dc52d1
8036823: Stack trace sometimes shows 'locked' instead of 'waiting to lock'
dcubed
parents:
17937
diff
changeset
|
216 !mark->monitor()->is_entered(thread()) |
4a1062dc52d1
8036823: Stack trace sometimes shows 'locked' instead of 'waiting to lock'
dcubed
parents:
17937
diff
changeset
|
217 )) { |
0 | 218 lock_state = "waiting to lock"; |
818
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
219 } |
0 | 220 } |
221 | |
222 found_first_monitor = true; | |
223 print_locked_object_class_name(st, monitor->owner(), lock_state); | |
224 } | |
225 } | |
226 } | |
227 } | |
228 | |
229 // ------------- interpretedVFrame -------------- | |
230 | |
231 u_char* interpretedVFrame::bcp() const { | |
232 return fr().interpreter_frame_bcp(); | |
233 } | |
234 | |
235 void interpretedVFrame::set_bcp(u_char* bcp) { | |
236 fr().interpreter_frame_set_bcp(bcp); | |
237 } | |
238 | |
239 intptr_t* interpretedVFrame::locals_addr_at(int offset) const { | |
240 assert(fr().is_interpreted_frame(), "frame should be an interpreted frame"); | |
241 return fr().interpreter_frame_local_at(offset); | |
242 } | |
243 | |
244 | |
245 GrowableArray<MonitorInfo*>* interpretedVFrame::monitors() const { | |
246 GrowableArray<MonitorInfo*>* result = new GrowableArray<MonitorInfo*>(5); | |
247 for (BasicObjectLock* current = (fr().previous_monitor_in_interpreter_frame(fr().interpreter_frame_monitor_begin())); | |
248 current >= fr().interpreter_frame_monitor_end(); | |
249 current = fr().previous_monitor_in_interpreter_frame(current)) { | |
818
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
250 result->push(new MonitorInfo(current->obj(), current->lock(), false, false)); |
0 | 251 } |
252 return result; | |
253 } | |
254 | |
255 int interpretedVFrame::bci() const { | |
256 return method()->bci_from(bcp()); | |
257 } | |
258 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
259 Method* interpretedVFrame::method() const { |
0 | 260 return fr().interpreter_frame_method(); |
261 } | |
262 | |
263 StackValueCollection* interpretedVFrame::locals() const { | |
264 int length = method()->max_locals(); | |
265 | |
266 if (method()->is_native()) { | |
267 // If the method is native, max_locals is not telling the truth. | |
268 // maxlocals then equals the size of parameters | |
269 length = method()->size_of_parameters(); | |
270 } | |
271 | |
272 StackValueCollection* result = new StackValueCollection(length); | |
273 | |
274 // Get oopmap describing oops and int for current bci | |
1506 | 275 InterpreterOopMap oop_mask; |
13325
63724649e19e
Fix native assertion failure when using PrintDeoptimizationDetails in non-product build
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
8883
diff
changeset
|
276 if ((TraceDeoptimization && Verbose) GRAAL_ONLY( || PrintDeoptimizationDetails)) { |
1506 | 277 methodHandle m_h(thread(), method()); |
278 OopMapCache::compute_one_oop_map(m_h, bci(), &oop_mask); | |
0 | 279 } else { |
1506 | 280 method()->mask_for(bci(), &oop_mask); |
281 } | |
282 // handle locals | |
283 for(int i=0; i < length; i++) { | |
284 // Find stack location | |
285 intptr_t *addr = locals_addr_at(i); | |
0 | 286 |
1506 | 287 // Depending on oop/int put it in the right package |
288 StackValue *sv; | |
289 if (oop_mask.is_oop(i)) { | |
290 // oop value | |
291 Handle h(*(oop *)addr); | |
292 sv = new StackValue(h); | |
293 } else { | |
294 // integer | |
295 sv = new StackValue(*addr); | |
0 | 296 } |
1506 | 297 assert(sv != NULL, "sanity check"); |
298 result->add(sv); | |
0 | 299 } |
300 return result; | |
301 } | |
302 | |
303 void interpretedVFrame::set_locals(StackValueCollection* values) const { | |
304 if (values == NULL || values->size() == 0) return; | |
305 | |
306 int length = method()->max_locals(); | |
307 if (method()->is_native()) { | |
308 // If the method is native, max_locals is not telling the truth. | |
309 // maxlocals then equals the size of parameters | |
310 length = method()->size_of_parameters(); | |
311 } | |
312 | |
313 assert(length == values->size(), "Mismatch between actual stack format and supplied data"); | |
314 | |
315 // handle locals | |
316 for (int i = 0; i < length; i++) { | |
317 // Find stack location | |
318 intptr_t *addr = locals_addr_at(i); | |
319 | |
320 // Depending on oop/int put it in the right package | |
321 StackValue *sv = values->at(i); | |
322 assert(sv != NULL, "sanity check"); | |
323 if (sv->type() == T_OBJECT) { | |
324 *(oop *) addr = (sv->get_obj())(); | |
325 } else { // integer | |
326 *addr = sv->get_int(); | |
327 } | |
328 } | |
329 } | |
330 | |
331 StackValueCollection* interpretedVFrame::expressions() const { | |
332 int length = fr().interpreter_frame_expression_stack_size(); | |
333 if (method()->is_native()) { | |
334 // If the method is native, there is no expression stack | |
335 length = 0; | |
336 } | |
337 | |
338 int nof_locals = method()->max_locals(); | |
339 StackValueCollection* result = new StackValueCollection(length); | |
340 | |
1506 | 341 InterpreterOopMap oop_mask; |
342 // Get oopmap describing oops and int for current bci | |
13325
63724649e19e
Fix native assertion failure when using PrintDeoptimizationDetails in non-product build
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
8883
diff
changeset
|
343 if ((TraceDeoptimization && Verbose) GRAAL_ONLY( || PrintDeoptimizationDetails)) { |
1506 | 344 methodHandle m_h(method()); |
345 OopMapCache::compute_one_oop_map(m_h, bci(), &oop_mask); | |
0 | 346 } else { |
1506 | 347 method()->mask_for(bci(), &oop_mask); |
348 } | |
349 // handle expressions | |
350 for(int i=0; i < length; i++) { | |
351 // Find stack location | |
352 intptr_t *addr = fr().interpreter_frame_expression_stack_at(i); | |
0 | 353 |
1506 | 354 // Depending on oop/int put it in the right package |
355 StackValue *sv; | |
356 if (oop_mask.is_oop(i + nof_locals)) { | |
357 // oop value | |
358 Handle h(*(oop *)addr); | |
359 sv = new StackValue(h); | |
360 } else { | |
361 // integer | |
362 sv = new StackValue(*addr); | |
0 | 363 } |
1506 | 364 assert(sv != NULL, "sanity check"); |
365 result->add(sv); | |
0 | 366 } |
367 return result; | |
368 } | |
369 | |
370 | |
371 // ------------- cChunk -------------- | |
372 | |
373 entryVFrame::entryVFrame(const frame* fr, const RegisterMap* reg_map, JavaThread* thread) | |
374 : externalVFrame(fr, reg_map, thread) {} | |
375 | |
376 | |
377 void vframeStreamCommon::found_bad_method_frame() { | |
378 // 6379830 Cut point for an assertion that occasionally fires when | |
379 // we are using the performance analyzer. | |
380 // Disable this assert when testing the analyzer with fastdebug. | |
381 // -XX:SuppressErrorAt=vframe.cpp:XXX (XXX=following line number) | |
382 assert(false, "invalid bci or invalid scope desc"); | |
383 } | |
384 | |
385 // top-frame will be skipped | |
386 vframeStream::vframeStream(JavaThread* thread, frame top_frame, | |
387 bool stop_at_java_call_stub) : vframeStreamCommon(thread) { | |
388 _stop_at_java_call_stub = stop_at_java_call_stub; | |
389 | |
390 // skip top frame, as it may not be at safepoint | |
391 _frame = top_frame.sender(&_reg_map); | |
392 while (!fill_from_frame()) { | |
393 _frame = _frame.sender(&_reg_map); | |
394 } | |
395 } | |
396 | |
397 | |
398 // Step back n frames, skip any pseudo frames in between. | |
399 // This function is used in Class.forName, Class.newInstance, Method.Invoke, | |
400 // AccessController.doPrivileged. | |
401 void vframeStreamCommon::security_get_caller_frame(int depth) { | |
8866
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
402 assert(depth >= 0, err_msg("invalid depth: %d", depth)); |
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
403 for (int n = 0; !at_end(); security_next()) { |
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
404 if (!method()->is_ignored_by_security_stack_walk()) { |
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
405 if (n == depth) { |
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
406 // We have reached the desired depth; return. |
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
407 return; |
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
408 } |
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
409 n++; // this is a non-skipped frame; count it against the depth |
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
410 } |
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
411 } |
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
412 // NOTE: At this point there were not enough frames on the stack |
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
413 // to walk to depth. Callers of this method have to check for at_end. |
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
414 } |
0 | 415 |
8866
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
416 |
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
417 void vframeStreamCommon::security_next() { |
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
418 if (method()->is_prefixed_native()) { |
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
419 skip_prefixed_method_and_wrappers(); // calls next() |
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
420 } else { |
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
421 next(); |
0 | 422 } |
423 } | |
424 | |
425 | |
426 void vframeStreamCommon::skip_prefixed_method_and_wrappers() { | |
427 ResourceMark rm; | |
428 HandleMark hm; | |
429 | |
430 int method_prefix_count = 0; | |
431 char** method_prefixes = JvmtiExport::get_all_native_method_prefixes(&method_prefix_count); | |
432 KlassHandle prefixed_klass(method()->method_holder()); | |
433 const char* prefixed_name = method()->name()->as_C_string(); | |
434 size_t prefixed_name_len = strlen(prefixed_name); | |
435 int prefix_index = method_prefix_count-1; | |
436 | |
437 while (!at_end()) { | |
438 next(); | |
439 if (method()->method_holder() != prefixed_klass()) { | |
440 break; // classes don't match, can't be a wrapper | |
441 } | |
442 const char* name = method()->name()->as_C_string(); | |
443 size_t name_len = strlen(name); | |
444 size_t prefix_len = prefixed_name_len - name_len; | |
445 if (prefix_len <= 0 || strcmp(name, prefixed_name + prefix_len) != 0) { | |
446 break; // prefixed name isn't prefixed version of method name, can't be a wrapper | |
447 } | |
448 for (; prefix_index >= 0; --prefix_index) { | |
449 const char* possible_prefix = method_prefixes[prefix_index]; | |
450 size_t possible_prefix_len = strlen(possible_prefix); | |
451 if (possible_prefix_len == prefix_len && | |
452 strncmp(possible_prefix, prefixed_name, prefix_len) == 0) { | |
453 break; // matching prefix found | |
454 } | |
455 } | |
456 if (prefix_index < 0) { | |
457 break; // didn't find the prefix, can't be a wrapper | |
458 } | |
459 prefixed_name = name; | |
460 prefixed_name_len = name_len; | |
461 } | |
462 } | |
463 | |
464 | |
465 void vframeStreamCommon::skip_reflection_related_frames() { | |
466 while (!at_end() && | |
467 (JDK_Version::is_gte_jdk14x_version() && UseNewReflection && | |
6940
18fb7da42534
8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents:
6725
diff
changeset
|
468 (method()->method_holder()->is_subclass_of(SystemDictionary::reflect_MethodAccessorImpl_klass()) || |
18fb7da42534
8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents:
6725
diff
changeset
|
469 method()->method_holder()->is_subclass_of(SystemDictionary::reflect_ConstructorAccessorImpl_klass())))) { |
0 | 470 next(); |
471 } | |
472 } | |
473 | |
474 | |
475 #ifndef PRODUCT | |
476 void vframe::print() { | |
477 if (WizardMode) _fr.print_value_on(tty,NULL); | |
478 } | |
479 | |
480 | |
481 void vframe::print_value() const { | |
482 ((vframe*)this)->print(); | |
483 } | |
484 | |
485 | |
486 void entryVFrame::print_value() const { | |
487 ((entryVFrame*)this)->print(); | |
488 } | |
489 | |
490 void entryVFrame::print() { | |
491 vframe::print(); | |
492 tty->print_cr("C Chunk inbetween Java"); | |
493 tty->print_cr("C link " INTPTR_FORMAT, _fr.link()); | |
494 } | |
495 | |
496 | |
497 // ------------- javaVFrame -------------- | |
498 | |
499 static void print_stack_values(const char* title, StackValueCollection* values) { | |
500 if (values->is_empty()) return; | |
501 tty->print_cr("\t%s:", title); | |
502 values->print(); | |
503 } | |
504 | |
505 | |
506 void javaVFrame::print() { | |
507 ResourceMark rm; | |
508 vframe::print(); | |
509 tty->print("\t"); | |
510 method()->print_value(); | |
511 tty->cr(); | |
512 tty->print_cr("\tbci: %d", bci()); | |
513 | |
514 print_stack_values("locals", locals()); | |
515 print_stack_values("expressions", expressions()); | |
516 | |
517 GrowableArray<MonitorInfo*>* list = monitors(); | |
518 if (list->is_empty()) return; | |
519 tty->print_cr("\tmonitor list:"); | |
520 for (int index = (list->length()-1); index >= 0; index--) { | |
521 MonitorInfo* monitor = list->at(index); | |
818
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
522 tty->print("\t obj\t"); |
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
523 if (monitor->owner_is_scalar_replaced()) { |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
524 Klass* k = java_lang_Class::as_Klass(monitor->owner_klass()); |
818
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
525 tty->print("( is scalar replaced %s)", k->external_name()); |
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
526 } else if (monitor->owner() == NULL) { |
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
527 tty->print("( null )"); |
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
528 } else { |
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
529 monitor->owner()->print_value(); |
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
530 tty->print("(" INTPTR_FORMAT ")", (address)monitor->owner()); |
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
531 } |
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
532 if (monitor->eliminated() && is_compiled_frame()) |
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
533 tty->print(" ( lock is eliminated )"); |
0 | 534 tty->cr(); |
535 tty->print("\t "); | |
536 monitor->lock()->print_on(tty); | |
537 tty->cr(); | |
538 } | |
539 } | |
540 | |
541 | |
542 void javaVFrame::print_value() const { | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
543 Method* m = method(); |
6940
18fb7da42534
8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents:
6725
diff
changeset
|
544 InstanceKlass* k = m->method_holder(); |
0 | 545 tty->print_cr("frame( sp=" INTPTR_FORMAT ", unextended_sp=" INTPTR_FORMAT ", fp=" INTPTR_FORMAT ", pc=" INTPTR_FORMAT ")", |
546 _fr.sp(), _fr.unextended_sp(), _fr.fp(), _fr.pc()); | |
6983 | 547 tty->print("%s.%s", k->internal_name(), m->name()->as_C_string()); |
0 | 548 |
549 if (!m->is_native()) { | |
6940
18fb7da42534
8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents:
6725
diff
changeset
|
550 Symbol* source_name = k->source_file_name(); |
0 | 551 int line_number = m->line_number_from_bci(bci()); |
552 if (source_name != NULL && (line_number != -1)) { | |
553 tty->print("(%s:%d)", source_name->as_C_string(), line_number); | |
554 } | |
555 } else { | |
556 tty->print("(Native Method)"); | |
557 } | |
558 // Check frame size and print warning if it looks suspiciously large | |
559 if (fr().sp() != NULL) { | |
793
eacd97c88873
6848466: frame::frame_size() assertion failure with -XX:+DebugDeoptimization
cfang
parents:
196
diff
changeset
|
560 RegisterMap map = *register_map(); |
eacd97c88873
6848466: frame::frame_size() assertion failure with -XX:+DebugDeoptimization
cfang
parents:
196
diff
changeset
|
561 uint size = fr().frame_size(&map); |
0 | 562 #ifdef _LP64 |
563 if (size > 8*K) warning("SUSPICIOUSLY LARGE FRAME (%d)", size); | |
564 #else | |
565 if (size > 4*K) warning("SUSPICIOUSLY LARGE FRAME (%d)", size); | |
566 #endif | |
567 } | |
568 } | |
569 | |
570 | |
571 bool javaVFrame::structural_compare(javaVFrame* other) { | |
572 // Check static part | |
573 if (method() != other->method()) return false; | |
574 if (bci() != other->bci()) return false; | |
575 | |
576 // Check locals | |
577 StackValueCollection *locs = locals(); | |
578 StackValueCollection *other_locs = other->locals(); | |
579 assert(locs->size() == other_locs->size(), "sanity check"); | |
580 int i; | |
581 for(i = 0; i < locs->size(); i++) { | |
582 // it might happen the compiler reports a conflict and | |
583 // the interpreter reports a bogus int. | |
584 if ( is_compiled_frame() && locs->at(i)->type() == T_CONFLICT) continue; | |
585 if (other->is_compiled_frame() && other_locs->at(i)->type() == T_CONFLICT) continue; | |
586 | |
587 if (!locs->at(i)->equal(other_locs->at(i))) | |
588 return false; | |
589 } | |
590 | |
591 // Check expressions | |
592 StackValueCollection* exprs = expressions(); | |
593 StackValueCollection* other_exprs = other->expressions(); | |
594 assert(exprs->size() == other_exprs->size(), "sanity check"); | |
595 for(i = 0; i < exprs->size(); i++) { | |
596 if (!exprs->at(i)->equal(other_exprs->at(i))) | |
597 return false; | |
598 } | |
599 | |
600 return true; | |
601 } | |
602 | |
603 | |
604 void javaVFrame::print_activation(int index) const { | |
605 // frame number and method | |
606 tty->print("%2d - ", index); | |
607 ((vframe*)this)->print_value(); | |
608 tty->cr(); | |
609 | |
610 if (WizardMode) { | |
611 ((vframe*)this)->print(); | |
612 tty->cr(); | |
613 } | |
614 } | |
615 | |
616 | |
617 void javaVFrame::verify() const { | |
618 } | |
619 | |
620 | |
621 void interpretedVFrame::verify() const { | |
622 } | |
623 | |
624 | |
625 // ------------- externalVFrame -------------- | |
626 | |
627 void externalVFrame::print() { | |
628 _fr.print_value_on(tty,NULL); | |
629 } | |
630 | |
631 | |
632 void externalVFrame::print_value() const { | |
633 ((vframe*)this)->print(); | |
634 } | |
635 #endif // PRODUCT |