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