Mercurial > hg > truffle
annotate src/share/vm/runtime/vframe.cpp @ 21559:be896a1983c0
recast all Graal native code as JVMCI code (JBS:GRAAL-53)
| author | Doug Simon <doug.simon@oracle.com> |
|---|---|
| date | Thu, 28 May 2015 15:36:48 +0200 |
| parents | 6ee9b878902b |
| children |
| 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 | |
|
20501
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
263 static StackValue* create_stack_value_from_oop_map(const InterpreterOopMap& oop_mask, |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
264 int index, |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
265 const intptr_t* const addr) { |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
266 |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
267 assert(index >= 0 && |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
268 index < oop_mask.number_of_entries(), "invariant"); |
| 0 | 269 |
|
20501
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
270 // categorize using oop_mask |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
271 if (oop_mask.is_oop(index)) { |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
272 // reference (oop) "r" |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
273 Handle h(addr != NULL ? (*(oop*)addr) : (oop)NULL); |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
274 return new StackValue(h); |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
275 } |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
276 // value (integer) "v" |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
277 return new StackValue(addr != NULL ? *addr : 0); |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
278 } |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
279 |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
280 static bool is_in_expression_stack(const frame& fr, const intptr_t* const addr) { |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
281 assert(addr != NULL, "invariant"); |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
282 |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
283 // Ensure to be 'inside' the expresion stack (i.e., addr >= sp for Intel). |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
284 // In case of exceptions, the expression stack is invalid and the sp |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
285 // will be reset to express this condition. |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
286 if (frame::interpreter_frame_expression_stack_direction() > 0) { |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
287 return addr <= fr.interpreter_frame_tos_address(); |
| 0 | 288 } |
| 289 | |
|
20501
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
290 return addr >= fr.interpreter_frame_tos_address(); |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
291 } |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
292 |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
293 static void stack_locals(StackValueCollection* result, |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
294 int length, |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
295 const InterpreterOopMap& oop_mask, |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
296 const frame& fr) { |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
297 |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
298 assert(result != NULL, "invariant"); |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
299 |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
300 for (int i = 0; i < length; ++i) { |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
301 const intptr_t* const addr = fr.interpreter_frame_local_at(i); |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
302 assert(addr != NULL, "invariant"); |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
303 assert(addr >= fr.sp(), "must be inside the frame"); |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
304 |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
305 StackValue* const sv = create_stack_value_from_oop_map(oop_mask, i, addr); |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
306 assert(sv != NULL, "sanity check"); |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
307 |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
308 result->add(sv); |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
309 } |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
310 } |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
311 |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
312 static void stack_expressions(StackValueCollection* result, |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
313 int length, |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
314 int max_locals, |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
315 const InterpreterOopMap& oop_mask, |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
316 const frame& fr) { |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
317 |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
318 assert(result != NULL, "invariant"); |
| 0 | 319 |
|
20501
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
320 for (int i = 0; i < length; ++i) { |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
321 const intptr_t* addr = fr.interpreter_frame_expression_stack_at(i); |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
322 assert(addr != NULL, "invariant"); |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
323 if (!is_in_expression_stack(fr, addr)) { |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
324 // Need to ensure no bogus escapes. |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
325 addr = NULL; |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
326 } |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
327 |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
328 StackValue* const sv = create_stack_value_from_oop_map(oop_mask, |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
329 i + max_locals, |
|
20806
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
330 addr); |
|
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
331 assert(sv != NULL, "sanity check"); |
|
20501
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
332 |
|
20806
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
333 result->add(sv); |
| 0 | 334 } |
|
20806
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
335 } |
|
20501
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
336 |
|
20806
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
337 StackValueCollection* interpretedVFrame::locals() const { |
|
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
338 return stack_data(false); |
|
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
339 } |
|
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
340 |
|
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
341 StackValueCollection* interpretedVFrame::expressions() const { |
|
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
342 return stack_data(true); |
|
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
343 } |
|
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
344 |
|
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
345 /* |
|
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
346 * Worker routine for fetching references and/or values |
|
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
347 * for a particular bci in the interpretedVFrame. |
|
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
348 * |
|
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
349 * Returns data for either "locals" or "expressions", |
|
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
350 * using bci relative oop_map (oop_mask) information. |
|
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
351 * |
|
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
352 * @param expressions bool switch controlling what data to return |
|
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
353 (false == locals / true == expressions) |
|
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
354 * |
|
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
355 */ |
|
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
356 StackValueCollection* interpretedVFrame::stack_data(bool expressions) const { |
|
20501
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
357 |
| 1506 | 358 InterpreterOopMap oop_mask; |
|
20806
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
359 // oopmap for current bci |
|
21559
be896a1983c0
recast all Graal native code as JVMCI code (JBS:GRAAL-53)
Doug Simon <doug.simon@oracle.com>
parents:
20806
diff
changeset
|
360 if ((TraceDeoptimization && Verbose) JVMCI_ONLY( || PrintDeoptimizationDetails)) { |
|
20806
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
361 methodHandle m_h(Thread::current(), method()); |
| 1506 | 362 OopMapCache::compute_one_oop_map(m_h, bci(), &oop_mask); |
| 0 | 363 } else { |
| 1506 | 364 method()->mask_for(bci(), &oop_mask); |
| 365 } | |
|
20501
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
366 |
|
20806
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
367 const int mask_len = oop_mask.number_of_entries(); |
|
20501
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
368 |
|
20806
6ee9b878902b
Fix merge mess-ups
Gilles Duboscq <gilles.m.duboscq@oracle.com>
parents:
20804
diff
changeset
|
369 // If the method is native, method()->max_locals() is not telling the truth. |
|
20501
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
370 // For our purposes, max locals instead equals the size of parameters. |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
371 const int max_locals = method()->is_native() ? |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
372 method()->size_of_parameters() : method()->max_locals(); |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
373 |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
374 assert(mask_len >= max_locals, "invariant"); |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
375 |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
376 const int length = expressions ? mask_len - max_locals : max_locals; |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
377 assert(length >= 0, "invariant"); |
| 0 | 378 |
|
20501
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
379 StackValueCollection* const result = new StackValueCollection(length); |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
380 |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
381 if (0 == length) { |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
382 return result; |
| 0 | 383 } |
|
20501
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
384 |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
385 if (expressions) { |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
386 stack_expressions(result, length, max_locals, oop_mask, fr()); |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
387 } else { |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
388 stack_locals(result, length, oop_mask, fr()); |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
389 } |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
390 |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
391 assert(length == result->size(), "invariant"); |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
392 |
| 0 | 393 return result; |
| 394 } | |
| 395 | |
| 396 void interpretedVFrame::set_locals(StackValueCollection* values) const { | |
| 397 if (values == NULL || values->size() == 0) return; | |
| 398 | |
|
20501
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
399 // If the method is native, max_locals is not telling the truth. |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
400 // maxlocals then equals the size of parameters |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
401 const int max_locals = method()->is_native() ? |
|
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
402 method()->size_of_parameters() : method()->max_locals(); |
| 0 | 403 |
|
20501
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
404 assert(max_locals == values->size(), "Mismatch between actual stack format and supplied data"); |
| 0 | 405 |
| 406 // handle locals | |
|
20501
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
407 for (int i = 0; i < max_locals; i++) { |
| 0 | 408 // Find stack location |
| 409 intptr_t *addr = locals_addr_at(i); | |
| 410 | |
| 411 // Depending on oop/int put it in the right package | |
|
20501
c204e2044c29
8038624: interpretedVFrame::expressions() must respect InterpreterOopMap for liveness
mgronlun
parents:
17965
diff
changeset
|
412 const StackValue* const sv = values->at(i); |
| 0 | 413 assert(sv != NULL, "sanity check"); |
| 414 if (sv->type() == T_OBJECT) { | |
| 415 *(oop *) addr = (sv->get_obj())(); | |
| 416 } else { // integer | |
| 417 *addr = sv->get_int(); | |
| 418 } | |
| 419 } | |
| 420 } | |
| 421 | |
| 422 // ------------- cChunk -------------- | |
| 423 | |
| 424 entryVFrame::entryVFrame(const frame* fr, const RegisterMap* reg_map, JavaThread* thread) | |
| 425 : externalVFrame(fr, reg_map, thread) {} | |
| 426 | |
| 427 | |
| 428 void vframeStreamCommon::found_bad_method_frame() { | |
| 429 // 6379830 Cut point for an assertion that occasionally fires when | |
| 430 // we are using the performance analyzer. | |
| 431 // Disable this assert when testing the analyzer with fastdebug. | |
| 432 // -XX:SuppressErrorAt=vframe.cpp:XXX (XXX=following line number) | |
| 433 assert(false, "invalid bci or invalid scope desc"); | |
| 434 } | |
| 435 | |
| 436 // top-frame will be skipped | |
| 437 vframeStream::vframeStream(JavaThread* thread, frame top_frame, | |
| 438 bool stop_at_java_call_stub) : vframeStreamCommon(thread) { | |
| 439 _stop_at_java_call_stub = stop_at_java_call_stub; | |
| 440 | |
| 441 // skip top frame, as it may not be at safepoint | |
| 442 _frame = top_frame.sender(&_reg_map); | |
| 443 while (!fill_from_frame()) { | |
| 444 _frame = _frame.sender(&_reg_map); | |
| 445 } | |
| 446 } | |
| 447 | |
| 448 | |
| 449 // Step back n frames, skip any pseudo frames in between. | |
| 450 // This function is used in Class.forName, Class.newInstance, Method.Invoke, | |
| 451 // AccessController.doPrivileged. | |
| 452 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
|
453 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
|
454 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
|
455 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
|
456 if (n == depth) { |
|
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
457 // We have reached the desired depth; return. |
|
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
458 return; |
|
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
459 } |
|
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
460 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
|
461 } |
|
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
462 } |
|
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
463 // 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
|
464 // 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
|
465 } |
| 0 | 466 |
|
8866
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
467 |
|
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
468 void vframeStreamCommon::security_next() { |
|
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
469 if (method()->is_prefixed_native()) { |
|
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
470 skip_prefixed_method_and_wrappers(); // calls next() |
|
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
471 } else { |
|
16885e702c88
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
6983
diff
changeset
|
472 next(); |
| 0 | 473 } |
| 474 } | |
| 475 | |
| 476 | |
| 477 void vframeStreamCommon::skip_prefixed_method_and_wrappers() { | |
| 478 ResourceMark rm; | |
| 479 HandleMark hm; | |
| 480 | |
| 481 int method_prefix_count = 0; | |
| 482 char** method_prefixes = JvmtiExport::get_all_native_method_prefixes(&method_prefix_count); | |
| 483 KlassHandle prefixed_klass(method()->method_holder()); | |
| 484 const char* prefixed_name = method()->name()->as_C_string(); | |
| 485 size_t prefixed_name_len = strlen(prefixed_name); | |
| 486 int prefix_index = method_prefix_count-1; | |
| 487 | |
| 488 while (!at_end()) { | |
| 489 next(); | |
| 490 if (method()->method_holder() != prefixed_klass()) { | |
| 491 break; // classes don't match, can't be a wrapper | |
| 492 } | |
| 493 const char* name = method()->name()->as_C_string(); | |
| 494 size_t name_len = strlen(name); | |
| 495 size_t prefix_len = prefixed_name_len - name_len; | |
| 496 if (prefix_len <= 0 || strcmp(name, prefixed_name + prefix_len) != 0) { | |
| 497 break; // prefixed name isn't prefixed version of method name, can't be a wrapper | |
| 498 } | |
| 499 for (; prefix_index >= 0; --prefix_index) { | |
| 500 const char* possible_prefix = method_prefixes[prefix_index]; | |
| 501 size_t possible_prefix_len = strlen(possible_prefix); | |
| 502 if (possible_prefix_len == prefix_len && | |
| 503 strncmp(possible_prefix, prefixed_name, prefix_len) == 0) { | |
| 504 break; // matching prefix found | |
| 505 } | |
| 506 } | |
| 507 if (prefix_index < 0) { | |
| 508 break; // didn't find the prefix, can't be a wrapper | |
| 509 } | |
| 510 prefixed_name = name; | |
| 511 prefixed_name_len = name_len; | |
| 512 } | |
| 513 } | |
| 514 | |
| 515 | |
| 516 void vframeStreamCommon::skip_reflection_related_frames() { | |
| 517 while (!at_end() && | |
| 518 (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
|
519 (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
|
520 method()->method_holder()->is_subclass_of(SystemDictionary::reflect_ConstructorAccessorImpl_klass())))) { |
| 0 | 521 next(); |
| 522 } | |
| 523 } | |
| 524 | |
| 525 | |
| 526 #ifndef PRODUCT | |
| 527 void vframe::print() { | |
| 528 if (WizardMode) _fr.print_value_on(tty,NULL); | |
| 529 } | |
| 530 | |
| 531 | |
| 532 void vframe::print_value() const { | |
| 533 ((vframe*)this)->print(); | |
| 534 } | |
| 535 | |
| 536 | |
| 537 void entryVFrame::print_value() const { | |
| 538 ((entryVFrame*)this)->print(); | |
| 539 } | |
| 540 | |
| 541 void entryVFrame::print() { | |
| 542 vframe::print(); | |
| 543 tty->print_cr("C Chunk inbetween Java"); | |
| 544 tty->print_cr("C link " INTPTR_FORMAT, _fr.link()); | |
| 545 } | |
| 546 | |
| 547 | |
| 548 // ------------- javaVFrame -------------- | |
| 549 | |
| 550 static void print_stack_values(const char* title, StackValueCollection* values) { | |
| 551 if (values->is_empty()) return; | |
| 552 tty->print_cr("\t%s:", title); | |
| 553 values->print(); | |
| 554 } | |
| 555 | |
| 556 | |
| 557 void javaVFrame::print() { | |
| 558 ResourceMark rm; | |
| 559 vframe::print(); | |
| 560 tty->print("\t"); | |
| 561 method()->print_value(); | |
| 562 tty->cr(); | |
| 563 tty->print_cr("\tbci: %d", bci()); | |
| 564 | |
| 565 print_stack_values("locals", locals()); | |
| 566 print_stack_values("expressions", expressions()); | |
| 567 | |
| 568 GrowableArray<MonitorInfo*>* list = monitors(); | |
| 569 if (list->is_empty()) return; | |
| 570 tty->print_cr("\tmonitor list:"); | |
| 571 for (int index = (list->length()-1); index >= 0; index--) { | |
| 572 MonitorInfo* monitor = list->at(index); | |
|
818
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
573 tty->print("\t obj\t"); |
|
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
574 if (monitor->owner_is_scalar_replaced()) { |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
575 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
|
576 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
|
577 } else if (monitor->owner() == NULL) { |
|
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
578 tty->print("( null )"); |
|
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
579 } else { |
|
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
580 monitor->owner()->print_value(); |
|
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
581 tty->print("(" INTPTR_FORMAT ")", (address)monitor->owner()); |
|
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
582 } |
|
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
583 if (monitor->eliminated() && is_compiled_frame()) |
|
b109e761e927
6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents:
793
diff
changeset
|
584 tty->print(" ( lock is eliminated )"); |
| 0 | 585 tty->cr(); |
| 586 tty->print("\t "); | |
| 587 monitor->lock()->print_on(tty); | |
| 588 tty->cr(); | |
| 589 } | |
| 590 } | |
| 591 | |
| 592 | |
| 593 void javaVFrame::print_value() const { | |
|
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6266
diff
changeset
|
594 Method* m = method(); |
|
6940
18fb7da42534
8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents:
6725
diff
changeset
|
595 InstanceKlass* k = m->method_holder(); |
| 0 | 596 tty->print_cr("frame( sp=" INTPTR_FORMAT ", unextended_sp=" INTPTR_FORMAT ", fp=" INTPTR_FORMAT ", pc=" INTPTR_FORMAT ")", |
| 597 _fr.sp(), _fr.unextended_sp(), _fr.fp(), _fr.pc()); | |
| 6983 | 598 tty->print("%s.%s", k->internal_name(), m->name()->as_C_string()); |
| 0 | 599 |
| 600 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
|
601 Symbol* source_name = k->source_file_name(); |
| 0 | 602 int line_number = m->line_number_from_bci(bci()); |
| 603 if (source_name != NULL && (line_number != -1)) { | |
| 604 tty->print("(%s:%d)", source_name->as_C_string(), line_number); | |
| 605 } | |
| 606 } else { | |
| 607 tty->print("(Native Method)"); | |
| 608 } | |
| 609 // Check frame size and print warning if it looks suspiciously large | |
| 610 if (fr().sp() != NULL) { | |
|
793
eacd97c88873
6848466: frame::frame_size() assertion failure with -XX:+DebugDeoptimization
cfang
parents:
196
diff
changeset
|
611 RegisterMap map = *register_map(); |
|
eacd97c88873
6848466: frame::frame_size() assertion failure with -XX:+DebugDeoptimization
cfang
parents:
196
diff
changeset
|
612 uint size = fr().frame_size(&map); |
| 0 | 613 #ifdef _LP64 |
| 614 if (size > 8*K) warning("SUSPICIOUSLY LARGE FRAME (%d)", size); | |
| 615 #else | |
| 616 if (size > 4*K) warning("SUSPICIOUSLY LARGE FRAME (%d)", size); | |
| 617 #endif | |
| 618 } | |
| 619 } | |
| 620 | |
| 621 | |
| 622 bool javaVFrame::structural_compare(javaVFrame* other) { | |
| 623 // Check static part | |
| 624 if (method() != other->method()) return false; | |
| 625 if (bci() != other->bci()) return false; | |
| 626 | |
| 627 // Check locals | |
| 628 StackValueCollection *locs = locals(); | |
| 629 StackValueCollection *other_locs = other->locals(); | |
| 630 assert(locs->size() == other_locs->size(), "sanity check"); | |
| 631 int i; | |
| 632 for(i = 0; i < locs->size(); i++) { | |
| 633 // it might happen the compiler reports a conflict and | |
| 634 // the interpreter reports a bogus int. | |
| 635 if ( is_compiled_frame() && locs->at(i)->type() == T_CONFLICT) continue; | |
| 636 if (other->is_compiled_frame() && other_locs->at(i)->type() == T_CONFLICT) continue; | |
| 637 | |
| 638 if (!locs->at(i)->equal(other_locs->at(i))) | |
| 639 return false; | |
| 640 } | |
| 641 | |
| 642 // Check expressions | |
| 643 StackValueCollection* exprs = expressions(); | |
| 644 StackValueCollection* other_exprs = other->expressions(); | |
| 645 assert(exprs->size() == other_exprs->size(), "sanity check"); | |
| 646 for(i = 0; i < exprs->size(); i++) { | |
| 647 if (!exprs->at(i)->equal(other_exprs->at(i))) | |
| 648 return false; | |
| 649 } | |
| 650 | |
| 651 return true; | |
| 652 } | |
| 653 | |
| 654 | |
| 655 void javaVFrame::print_activation(int index) const { | |
| 656 // frame number and method | |
| 657 tty->print("%2d - ", index); | |
| 658 ((vframe*)this)->print_value(); | |
| 659 tty->cr(); | |
| 660 | |
| 661 if (WizardMode) { | |
| 662 ((vframe*)this)->print(); | |
| 663 tty->cr(); | |
| 664 } | |
| 665 } | |
| 666 | |
| 667 | |
| 668 void javaVFrame::verify() const { | |
| 669 } | |
| 670 | |
| 671 | |
| 672 void interpretedVFrame::verify() const { | |
| 673 } | |
| 674 | |
| 675 | |
| 676 // ------------- externalVFrame -------------- | |
| 677 | |
| 678 void externalVFrame::print() { | |
| 679 _fr.print_value_on(tty,NULL); | |
| 680 } | |
| 681 | |
| 682 | |
| 683 void externalVFrame::print_value() const { | |
| 684 ((vframe*)this)->print(); | |
| 685 } | |
| 686 #endif // PRODUCT |