1 /*
2 * Copyright (c) 1997, 2015, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
24
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"
48
49 PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC
50
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();
127 oop pending_obj = (pending_monitor != NULL ? (oop) pending_monitor->object() : (oop) NULL);
128 oop waiting_obj = (waiting_monitor != NULL ? (oop) waiting_monitor->object() : (oop) NULL);
129
130 for (int index = (mons->length()-1); index >= 0; index--) {
131 MonitorInfo* monitor = mons->at(index);
132 if (monitor->eliminated() && is_compiled_frame()) continue; // skip eliminated monitor
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 void javaVFrame::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());
150 if (obj->klass() == SystemDictionary::Class_klass()) {
151 st->print_cr("(a java.lang.Class for %s)", java_lang_Class::as_external_name(obj()));
152 } else {
153 Klass* k = obj->klass();
154 st->print_cr("(a %s)", k->external_name());
155 }
156 }
157 }
158
159 void javaVFrame::print_lock_info_on(outputStream* st, int frame_count) {
160 ResourceMark rm;
161
162 // If this is the first frame and it is java.lang.Object.wait(...)
163 // then print out the receiver. Locals are not always available,
164 // e.g., compiled native frames have no scope so there are no locals.
165 if (frame_count == 0) {
166 if (method()->name() == vmSymbols::wait_name() &&
167 method()->method_holder()->name() == vmSymbols::java_lang_Object()) {
168 const char *wait_state = "waiting on"; // assume we are waiting
169 // If earlier in the output we reported java.lang.Thread.State ==
170 // "WAITING (on object monitor)" and now we report "waiting on", then
171 // we are still waiting for notification or timeout. Otherwise if
172 // we earlier reported java.lang.Thread.State == "BLOCKED (on object
173 // monitor)", then we are actually waiting to re-lock the monitor.
174 // At this level we can't distinguish the two cases to report
175 // "waited on" rather than "waiting on" for the second case.
176 StackValueCollection* locs = locals();
177 if (!locs->is_empty()) {
178 StackValue* sv = locs->at(0);
179 if (sv->type() == T_OBJECT) {
180 Handle o = locs->at(0)->get_obj();
181 print_locked_object_class_name(st, o, wait_state);
182 }
183 } else {
184 st->print_cr("\t- %s <no object reference available>", wait_state);
185 }
186 } else if (thread()->current_park_blocker() != NULL) {
187 oop obj = thread()->current_park_blocker();
188 Klass* k = obj->klass();
189 st->print_cr("\t- %s <" INTPTR_FORMAT "> (a %s)", "parking to wait for ", (address)obj, k->external_name());
190 }
191 }
192
193 // Print out all monitors that we have locked, or are trying to lock,
194 // including re-locking after being notified or timing out in a wait().
195 GrowableArray<MonitorInfo*>* mons = monitors();
196 if (!mons->is_empty()) {
197 bool found_first_monitor = false;
198 for (int index = (mons->length()-1); index >= 0; index--) {
199 MonitorInfo* monitor = mons->at(index);
200 if (monitor->eliminated() && is_compiled_frame()) { // Eliminated in compiled code
201 if (monitor->owner_is_scalar_replaced()) {
202 Klass* k = java_lang_Class::as_Klass(monitor->owner_klass());
203 // format below for lockbits matches this one.
204 st->print("\t- eliminated <owner is scalar replaced> (a %s)", k->external_name());
205 } else {
206 oop obj = monitor->owner();
207 if (obj != NULL) {
208 print_locked_object_class_name(st, obj, "eliminated");
209 }
210 }
211 continue;
212 }
213 if (monitor->owner() != NULL) {
214 // the monitor is associated with an object, i.e., it is locked
215
216 markOop mark = NULL;
217 const char *lock_state = "locked"; // assume we have the monitor locked
218 if (!found_first_monitor && frame_count == 0) {
219 // If this is the first frame and we haven't found an owned
220 // monitor before, then we need to see if we have completed
221 // the lock or if we are blocked trying to acquire it. Only
222 // an inflated monitor that is first on the monitor list in
223 // the first frame can block us on a monitor enter.
224 mark = monitor->owner()->mark();
225 if (mark->has_monitor() &&
226 ( // we have marked ourself as pending on this monitor
227 mark->monitor() == thread()->current_pending_monitor() ||
228 // we are not the owner of this monitor
229 !mark->monitor()->is_entered(thread())
230 )) {
231 lock_state = "waiting to lock";
232 } else {
233 // We own the monitor which is not as interesting so
234 // disable the extra printing below.
235 mark = NULL;
236 }
237 } else if (frame_count != 0 && ObjectMonitor::Knob_Verbose) {
238 // This is not the first frame so we either own this monitor
239 // or we owned the monitor before and called wait(). Because
240 // wait() could have been called on any monitor in a lower
241 // numbered frame on the stack, we have to check all the
242 // monitors on the list for this frame.
243 // Note: Only enable this new output line in verbose mode
244 // since existing tests are not ready for it.
245 mark = monitor->owner()->mark();
246 if (mark->has_monitor() &&
247 ( // we have marked ourself as pending on this monitor
248 mark->monitor() == thread()->current_pending_monitor() ||
249 // we are not the owner of this monitor
250 !mark->monitor()->is_entered(thread())
251 )) {
252 lock_state = "waiting to re-lock in wait()";
253 } else {
254 // We own the monitor which is not as interesting so
255 // disable the extra printing below.
256 mark = NULL;
257 }
258 }
259 print_locked_object_class_name(st, monitor->owner(), lock_state);
260 if (ObjectMonitor::Knob_Verbose && mark != NULL) {
261 st->print("\t- lockbits=");
262 mark->print_on(st);
263 st->cr();
264 }
265
266 found_first_monitor = true;
267 }
268 }
269 }
270 }
271
272 // ------------- interpretedVFrame --------------
273
274 u_char* interpretedVFrame::bcp() const {
275 return fr().interpreter_frame_bcp();
276 }
277
278 void interpretedVFrame::set_bcp(u_char* bcp) {
279 fr().interpreter_frame_set_bcp(bcp);
280 }
281
282 intptr_t* interpretedVFrame::locals_addr_at(int offset) const {
283 assert(fr().is_interpreted_frame(), "frame should be an interpreted frame");
284 return fr().interpreter_frame_local_at(offset);
285 }
286
287
288 GrowableArray<MonitorInfo*>* interpretedVFrame::monitors() const {
289 GrowableArray<MonitorInfo*>* result = new GrowableArray<MonitorInfo*>(5);
290 for (BasicObjectLock* current = (fr().previous_monitor_in_interpreter_frame(fr().interpreter_frame_monitor_begin()));
291 current >= fr().interpreter_frame_monitor_end();
292 current = fr().previous_monitor_in_interpreter_frame(current)) {
293 result->push(new MonitorInfo(current->obj(), current->lock(), false, false));
294 }
295 return result;
296 }
297
298 int interpretedVFrame::bci() const {
299 return method()->bci_from(bcp());
300 }
301
302 Method* interpretedVFrame::method() const {
303 return fr().interpreter_frame_method();
304 }
305
306 static StackValue* create_stack_value_from_oop_map(const InterpreterOopMap& oop_mask,
307 int index,
308 const intptr_t* const addr) {
309
310 assert(index >= 0 &&
311 index < oop_mask.number_of_entries(), "invariant");
312
313 // categorize using oop_mask
314 if (oop_mask.is_oop(index)) {
315 // reference (oop) "r"
316 Handle h(addr != NULL ? (*(oop*)addr) : (oop)NULL);
317 return new StackValue(h);
318 }
319 // value (integer) "v"
320 return new StackValue(addr != NULL ? *addr : 0);
321 }
322
323 static bool is_in_expression_stack(const frame& fr, const intptr_t* const addr) {
324 assert(addr != NULL, "invariant");
325
326 // Ensure to be 'inside' the expresion stack (i.e., addr >= sp for Intel).
327 // In case of exceptions, the expression stack is invalid and the sp
328 // will be reset to express this condition.
329 if (frame::interpreter_frame_expression_stack_direction() > 0) {
330 return addr <= fr.interpreter_frame_tos_address();
331 }
332
333 return addr >= fr.interpreter_frame_tos_address();
334 }
335
336 static void stack_locals(StackValueCollection* result,
337 int length,
338 const InterpreterOopMap& oop_mask,
339 const frame& fr) {
340
341 assert(result != NULL, "invariant");
342
343 for (int i = 0; i < length; ++i) {
344 const intptr_t* const addr = fr.interpreter_frame_local_at(i);
345 assert(addr != NULL, "invariant");
346 assert(addr >= fr.sp(), "must be inside the frame");
347
348 StackValue* const sv = create_stack_value_from_oop_map(oop_mask, i, addr);
349 assert(sv != NULL, "sanity check");
350
351 result->add(sv);
352 }
353 }
354
355 static void stack_expressions(StackValueCollection* result,
356 int length,
357 int max_locals,
358 const InterpreterOopMap& oop_mask,
359 const frame& fr) {
360
361 assert(result != NULL, "invariant");
362
363 for (int i = 0; i < length; ++i) {
364 const intptr_t* addr = fr.interpreter_frame_expression_stack_at(i);
365 assert(addr != NULL, "invariant");
366 if (!is_in_expression_stack(fr, addr)) {
367 // Need to ensure no bogus escapes.
368 addr = NULL;
369 }
370
371 StackValue* const sv = create_stack_value_from_oop_map(oop_mask,
372 i + max_locals,
373 addr);
374 assert(sv != NULL, "sanity check");
375
376 result->add(sv);
377 }
378 }
379
380 StackValueCollection* interpretedVFrame::locals() const {
381 return stack_data(false);
382 }
383
384 StackValueCollection* interpretedVFrame::expressions() const {
385 return stack_data(true);
386 }
387
388 /*
389 * Worker routine for fetching references and/or values
390 * for a particular bci in the interpretedVFrame.
391 *
392 * Returns data for either "locals" or "expressions",
393 * using bci relative oop_map (oop_mask) information.
394 *
395 * @param expressions bool switch controlling what data to return
396 (false == locals / true == expression)
397 *
398 */
399 StackValueCollection* interpretedVFrame::stack_data(bool expressions) const {
400
401 InterpreterOopMap oop_mask;
402 // oopmap for current bci
403 if ((TraceDeoptimization && Verbose) JVMCI_ONLY( || PrintDeoptimizationDetails)) {
404 methodHandle m_h(Thread::current(), method());
405 OopMapCache::compute_one_oop_map(m_h, bci(), &oop_mask);
406 } else {
407 method()->mask_for(bci(), &oop_mask);
408 }
409
410 const int mask_len = oop_mask.number_of_entries();
411
412 // If the method is native, method()->max_locals() is not telling the truth.
413 // For our purposes, max locals instead equals the size of parameters.
414 const int max_locals = method()->is_native() ?
415 method()->size_of_parameters() : method()->max_locals();
416
417 assert(mask_len >= max_locals, "invariant");
418
419 const int length = expressions ? mask_len - max_locals : max_locals;
420 assert(length >= 0, "invariant");
421
422 StackValueCollection* const result = new StackValueCollection(length);
423
424 if (0 == length) {
425 return result;
426 }
427
428 if (expressions) {
429 stack_expressions(result, length, max_locals, oop_mask, fr());
430 } else {
431 stack_locals(result, length, oop_mask, fr());
432 }
433
434 assert(length == result->size(), "invariant");
435
436 return result;
437 }
438
439 void interpretedVFrame::set_locals(StackValueCollection* values) const {
440 if (values == NULL || values->size() == 0) return;
441
442 // If the method is native, max_locals is not telling the truth.
443 // maxlocals then equals the size of parameters
444 const int max_locals = method()->is_native() ?
445 method()->size_of_parameters() : method()->max_locals();
446
447 assert(max_locals == values->size(), "Mismatch between actual stack format and supplied data");
448
449 // handle locals
450 for (int i = 0; i < max_locals; i++) {
451 // Find stack location
452 intptr_t *addr = locals_addr_at(i);
453
454 // Depending on oop/int put it in the right package
455 const StackValue* const sv = values->at(i);
456 assert(sv != NULL, "sanity check");
457 if (sv->type() == T_OBJECT) {
458 *(oop *) addr = (sv->get_obj())();
459 } else { // integer
460 *addr = sv->get_int();
461 }
462 }
463 }
464
465 // ------------- cChunk --------------
466
467 entryVFrame::entryVFrame(const frame* fr, const RegisterMap* reg_map, JavaThread* thread)
468 : externalVFrame(fr, reg_map, thread) {}
469
470
471 void vframeStreamCommon::found_bad_method_frame() {
472 // 6379830 Cut point for an assertion that occasionally fires when
473 // we are using the performance analyzer.
474 // Disable this assert when testing the analyzer with fastdebug.
475 // -XX:SuppressErrorAt=vframe.cpp:XXX (XXX=following line number)
476 assert(false, "invalid bci or invalid scope desc");
477 }
478
479 // top-frame will be skipped
480 vframeStream::vframeStream(JavaThread* thread, frame top_frame,
481 bool stop_at_java_call_stub) : vframeStreamCommon(thread) {
482 _stop_at_java_call_stub = stop_at_java_call_stub;
483
484 // skip top frame, as it may not be at safepoint
485 _frame = top_frame.sender(&_reg_map);
486 while (!fill_from_frame()) {
487 _frame = _frame.sender(&_reg_map);
488 }
489 }
490
491
492 // Step back n frames, skip any pseudo frames in between.
493 // This function is used in Class.forName, Class.newInstance, Method.Invoke,
494 // AccessController.doPrivileged.
495 void vframeStreamCommon::security_get_caller_frame(int depth) {
496 assert(depth >= 0, err_msg("invalid depth: %d", depth));
497 for (int n = 0; !at_end(); security_next()) {
498 if (!method()->is_ignored_by_security_stack_walk()) {
499 if (n == depth) {
500 // We have reached the desired depth; return.
501 return;
502 }
503 n++; // this is a non-skipped frame; count it against the depth
504 }
505 }
506 // NOTE: At this point there were not enough frames on the stack
507 // to walk to depth. Callers of this method have to check for at_end.
508 }
509
510
511 void vframeStreamCommon::security_next() {
512 if (method()->is_prefixed_native()) {
513 skip_prefixed_method_and_wrappers(); // calls next()
514 } else {
515 next();
516 }
517 }
518
519
520 void vframeStreamCommon::skip_prefixed_method_and_wrappers() {
521 ResourceMark rm;
522 HandleMark hm;
523
524 int method_prefix_count = 0;
525 char** method_prefixes = JvmtiExport::get_all_native_method_prefixes(&method_prefix_count);
526 KlassHandle prefixed_klass(method()->method_holder());
527 const char* prefixed_name = method()->name()->as_C_string();
528 size_t prefixed_name_len = strlen(prefixed_name);
529 int prefix_index = method_prefix_count-1;
530
531 while (!at_end()) {
532 next();
533 if (method()->method_holder() != prefixed_klass()) {
534 break; // classes don't match, can't be a wrapper
535 }
536 const char* name = method()->name()->as_C_string();
537 size_t name_len = strlen(name);
538 size_t prefix_len = prefixed_name_len - name_len;
539 if (prefix_len <= 0 || strcmp(name, prefixed_name + prefix_len) != 0) {
540 break; // prefixed name isn't prefixed version of method name, can't be a wrapper
541 }
542 for (; prefix_index >= 0; --prefix_index) {
543 const char* possible_prefix = method_prefixes[prefix_index];
544 size_t possible_prefix_len = strlen(possible_prefix);
545 if (possible_prefix_len == prefix_len &&
546 strncmp(possible_prefix, prefixed_name, prefix_len) == 0) {
547 break; // matching prefix found
548 }
549 }
550 if (prefix_index < 0) {
551 break; // didn't find the prefix, can't be a wrapper
552 }
553 prefixed_name = name;
554 prefixed_name_len = name_len;
555 }
556 }
557
558
559 void vframeStreamCommon::skip_reflection_related_frames() {
560 while (!at_end() &&
561 (method()->method_holder()->is_subclass_of(SystemDictionary::reflect_MethodAccessorImpl_klass()) ||
562 method()->method_holder()->is_subclass_of(SystemDictionary::reflect_ConstructorAccessorImpl_klass()))) {
563 next();
564 }
565 }
566
567
568 #ifndef PRODUCT
569 void vframe::print() {
570 if (WizardMode) _fr.print_value_on(tty,NULL);
571 }
572
573
574 void vframe::print_value() const {
575 ((vframe*)this)->print();
576 }
577
578
579 void entryVFrame::print_value() const {
580 ((entryVFrame*)this)->print();
581 }
582
583 void entryVFrame::print() {
584 vframe::print();
585 tty->print_cr("C Chunk inbetween Java");
586 tty->print_cr("C link " INTPTR_FORMAT, _fr.link());
587 }
588
589
590 // ------------- javaVFrame --------------
591
592 static void print_stack_values(const char* title, StackValueCollection* values) {
593 if (values->is_empty()) return;
594 tty->print_cr("\t%s:", title);
595 values->print();
596 }
597
598
599 void javaVFrame::print() {
600 ResourceMark rm;
601 vframe::print();
602 tty->print("\t");
603 method()->print_value();
604 tty->cr();
605 tty->print_cr("\tbci: %d", bci());
606
607 print_stack_values("locals", locals());
608 print_stack_values("expressions", expressions());
609
610 GrowableArray<MonitorInfo*>* list = monitors();
611 if (list->is_empty()) return;
612 tty->print_cr("\tmonitor list:");
613 for (int index = (list->length()-1); index >= 0; index--) {
614 MonitorInfo* monitor = list->at(index);
615 tty->print("\t obj\t");
616 if (monitor->owner_is_scalar_replaced()) {
617 Klass* k = java_lang_Class::as_Klass(monitor->owner_klass());
618 tty->print("( is scalar replaced %s)", k->external_name());
619 } else if (monitor->owner() == NULL) {
620 tty->print("( null )");
621 } else {
622 monitor->owner()->print_value();
623 tty->print("(owner=" INTPTR_FORMAT ")", (address)monitor->owner());
624 }
625 if (monitor->eliminated()) {
626 if(is_compiled_frame()) {
627 tty->print(" ( lock is eliminated in compiled frame )");
628 } else {
629 tty->print(" ( lock is eliminated, frame not compiled )");
630 }
631 }
632 tty->cr();
633 tty->print("\t ");
634 monitor->lock()->print_on(tty);
635 tty->cr();
636 }
637 }
638
639
640 void javaVFrame::print_value() const {
641 Method* m = method();
642 InstanceKlass* k = m->method_holder();
643 tty->print_cr("frame( sp=" INTPTR_FORMAT ", unextended_sp=" INTPTR_FORMAT ", fp=" INTPTR_FORMAT ", pc=" INTPTR_FORMAT ")",
644 _fr.sp(), _fr.unextended_sp(), _fr.fp(), _fr.pc());
645 tty->print("%s.%s", k->internal_name(), m->name()->as_C_string());
646
647 if (!m->is_native()) {
648 Symbol* source_name = k->source_file_name();
649 int line_number = m->line_number_from_bci(bci());
650 if (source_name != NULL && (line_number != -1)) {
651 tty->print("(%s:%d)", source_name->as_C_string(), line_number);
652 }
653 } else {
654 tty->print("(Native Method)");
655 }
656 // Check frame size and print warning if it looks suspiciously large
657 if (fr().sp() != NULL) {
658 RegisterMap map = *register_map();
659 uint size = fr().frame_size(&map);
660 #ifdef _LP64
661 if (size > 8*K) warning("SUSPICIOUSLY LARGE FRAME (%d)", size);
662 #else
663 if (size > 4*K) warning("SUSPICIOUSLY LARGE FRAME (%d)", size);
664 #endif
665 }
666 }
667
668
669 bool javaVFrame::structural_compare(javaVFrame* other) {
670 // Check static part
671 if (method() != other->method()) return false;
672 if (bci() != other->bci()) return false;
673
674 // Check locals
675 StackValueCollection *locs = locals();
676 StackValueCollection *other_locs = other->locals();
677 assert(locs->size() == other_locs->size(), "sanity check");
678 int i;
679 for(i = 0; i < locs->size(); i++) {
680 // it might happen the compiler reports a conflict and
681 // the interpreter reports a bogus int.
682 if ( is_compiled_frame() && locs->at(i)->type() == T_CONFLICT) continue;
683 if (other->is_compiled_frame() && other_locs->at(i)->type() == T_CONFLICT) continue;
684
685 if (!locs->at(i)->equal(other_locs->at(i)))
686 return false;
687 }
688
689 // Check expressions
690 StackValueCollection* exprs = expressions();
691 StackValueCollection* other_exprs = other->expressions();
692 assert(exprs->size() == other_exprs->size(), "sanity check");
693 for(i = 0; i < exprs->size(); i++) {
694 if (!exprs->at(i)->equal(other_exprs->at(i)))
695 return false;
696 }
697
698 return true;
699 }
700
701
702 void javaVFrame::print_activation(int index) const {
703 // frame number and method
704 tty->print("%2d - ", index);
705 ((vframe*)this)->print_value();
706 tty->cr();
707
708 if (WizardMode) {
709 ((vframe*)this)->print();
710 tty->cr();
711 }
712 }
713
714
715 void javaVFrame::verify() const {
716 }
717
718
719 void interpretedVFrame::verify() const {
720 }
721
722
723 // ------------- externalVFrame --------------
724
725 void externalVFrame::print() {
726 _fr.print_value_on(tty,NULL);
727 }
728
729
730 void externalVFrame::print_value() const {
731 ((vframe*)this)->print();
732 }
733 #endif // PRODUCT