src/share/vm/runtime/frame.hpp

Mon, 09 May 2011 19:45:52 -0700

author
never
date
Mon, 09 May 2011 19:45:52 -0700
changeset 2897
3cfb240033d1
parent 2895
167b70ff3abc
child 3130
5432047c7db7
permissions
-rw-r--r--

7043301: assert(locals < caller->fp() || locals > (caller->fp() + 16)) failed: locals in save area
Reviewed-by: kvn

     1 /*
     2  * Copyright (c) 1997, 2011, 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  */
    25 #ifndef SHARE_VM_RUNTIME_FRAME_HPP
    26 #define SHARE_VM_RUNTIME_FRAME_HPP
    28 #include "asm/assembler.hpp"
    29 #include "oops/methodOop.hpp"
    30 #include "runtime/basicLock.hpp"
    31 #include "runtime/monitorChunk.hpp"
    32 #include "runtime/registerMap.hpp"
    33 #include "utilities/top.hpp"
    34 #ifdef COMPILER2
    35 #ifdef TARGET_ARCH_MODEL_x86_32
    36 # include "adfiles/adGlobals_x86_32.hpp"
    37 #endif
    38 #ifdef TARGET_ARCH_MODEL_x86_64
    39 # include "adfiles/adGlobals_x86_64.hpp"
    40 #endif
    41 #ifdef TARGET_ARCH_MODEL_sparc
    42 # include "adfiles/adGlobals_sparc.hpp"
    43 #endif
    44 #ifdef TARGET_ARCH_MODEL_zero
    45 # include "adfiles/adGlobals_zero.hpp"
    46 #endif
    47 #ifdef TARGET_ARCH_MODEL_arm
    48 # include "adfiles/adGlobals_arm.hpp"
    49 #endif
    50 #ifdef TARGET_ARCH_MODEL_ppc
    51 # include "adfiles/adGlobals_ppc.hpp"
    52 #endif
    53 #endif
    54 #ifdef ZERO
    55 #ifdef TARGET_ARCH_zero
    56 # include "stack_zero.hpp"
    57 #endif
    58 #endif
    60 typedef class BytecodeInterpreter* interpreterState;
    62 class CodeBlob;
    63 class FrameValues;
    64 class vframeArray;
    67 // A frame represents a physical stack frame (an activation).  Frames
    68 // can be C or Java frames, and the Java frames can be interpreted or
    69 // compiled.  In contrast, vframes represent source-level activations,
    70 // so that one physical frame can correspond to multiple source level
    71 // frames because of inlining.
    73 class frame VALUE_OBJ_CLASS_SPEC {
    74  private:
    75   // Instance variables:
    76   intptr_t* _sp; // stack pointer (from Thread::last_Java_sp)
    77   address   _pc; // program counter (the next instruction after the call)
    79   CodeBlob* _cb; // CodeBlob that "owns" pc
    80   enum deopt_state {
    81     not_deoptimized,
    82     is_deoptimized,
    83     unknown
    84   };
    86   deopt_state _deopt_state;
    88  public:
    89   // Constructors
    90   frame();
    92   // Accessors
    94   // pc: Returns the pc at which this frame will continue normally.
    95   // It must point at the beginning of the next instruction to execute.
    96   address pc() const             { return _pc; }
    98   // This returns the pc that if you were in the debugger you'd see. Not
    99   // the idealized value in the frame object. This undoes the magic conversion
   100   // that happens for deoptimized frames. In addition it makes the value the
   101   // hardware would want to see in the native frame. The only user (at this point)
   102   // is deoptimization. It likely no one else should ever use it.
   103   address raw_pc() const;
   105   void set_pc( address   newpc );
   107   intptr_t* sp() const           { return _sp; }
   108   void set_sp( intptr_t* newsp ) { _sp = newsp; }
   111   CodeBlob* cb() const           { return _cb; }
   113   // patching operations
   114   void   patch_pc(Thread* thread, address pc);
   116   // Every frame needs to return a unique id which distinguishes it from all other frames.
   117   // For sparc and ia32 use sp. ia64 can have memory frames that are empty so multiple frames
   118   // will have identical sp values. For ia64 the bsp (fp) value will serve. No real frame
   119   // should have an id() of NULL so it is a distinguishing value for an unmatchable frame.
   120   // We also have relationals which allow comparing a frame to anoth frame's id() allow
   121   // us to distinguish younger (more recent activation) from older (less recent activations)
   122   // A NULL id is only valid when comparing for equality.
   124   intptr_t* id(void) const;
   125   bool is_younger(intptr_t* id) const;
   126   bool is_older(intptr_t* id) const;
   128   // testers
   130   // Compares for strict equality. Rarely used or needed.
   131   // It can return a different result than f1.id() == f2.id()
   132   bool equal(frame other) const;
   134   // type testers
   135   bool is_interpreted_frame()    const;
   136   bool is_java_frame()           const;
   137   bool is_entry_frame()          const;             // Java frame called from C?
   138   bool is_ricochet_frame()       const;
   139   bool is_native_frame()         const;
   140   bool is_runtime_frame()        const;
   141   bool is_compiled_frame()       const;
   142   bool is_safepoint_blob_frame() const;
   143   bool is_deoptimized_frame()    const;
   145   // testers
   146   bool is_first_frame() const; // oldest frame? (has no sender)
   147   bool is_first_java_frame() const;              // same for Java frame
   149   bool is_interpreted_frame_valid(JavaThread* thread) const;       // performs sanity checks on interpreted frames.
   151   // tells whether this frame is marked for deoptimization
   152   bool should_be_deoptimized() const;
   154   // tells whether this frame can be deoptimized
   155   bool can_be_deoptimized() const;
   157   // returns the frame size in stack slots
   158   int frame_size(RegisterMap* map) const;
   160   // returns the sending frame
   161   frame sender(RegisterMap* map) const;
   163   // for Profiling - acting on another frame. walks sender frames
   164   // if valid.
   165   frame profile_find_Java_sender_frame(JavaThread *thread);
   166   bool safe_for_sender(JavaThread *thread);
   168   // returns the sender, but skips conversion frames
   169   frame real_sender(RegisterMap* map) const;
   171   // returns the the sending Java frame, skipping any intermediate C frames
   172   // NB: receiver must not be first frame
   173   frame java_sender() const;
   175  private:
   176   // Helper methods for better factored code in frame::sender
   177   frame sender_for_compiled_frame(RegisterMap* map) const;
   178   frame sender_for_entry_frame(RegisterMap* map) const;
   179   frame sender_for_ricochet_frame(RegisterMap* map) const;
   180   frame sender_for_interpreter_frame(RegisterMap* map) const;
   181   frame sender_for_native_frame(RegisterMap* map) const;
   183   // All frames:
   185   // A low-level interface for vframes:
   187  public:
   189   intptr_t* addr_at(int index) const             { return &fp()[index];    }
   190   intptr_t  at(int index) const                  { return *addr_at(index); }
   192   // accessors for locals
   193   oop obj_at(int offset) const                   { return *obj_at_addr(offset);  }
   194   void obj_at_put(int offset, oop value)         { *obj_at_addr(offset) = value; }
   196   jint int_at(int offset) const                  { return *int_at_addr(offset);  }
   197   void int_at_put(int offset, jint value)        { *int_at_addr(offset) = value; }
   199   oop*      obj_at_addr(int offset) const        { return (oop*)     addr_at(offset); }
   201   oop*      adjusted_obj_at_addr(methodOop method, int index) { return obj_at_addr(adjust_offset(method, index)); }
   203  private:
   204   jint*    int_at_addr(int offset) const         { return (jint*)    addr_at(offset); }
   206  public:
   207   // Link (i.e., the pointer to the previous frame)
   208   intptr_t* link() const;
   209   void set_link(intptr_t* addr);
   211   // Return address
   212   address  sender_pc() const;
   214   // Support for deoptimization
   215   void deoptimize(JavaThread* thread);
   217   // The frame's original SP, before any extension by an interpreted callee;
   218   // used for packing debug info into vframeArray objects and vframeArray lookup.
   219   intptr_t* unextended_sp() const;
   221   // returns the stack pointer of the calling frame
   222   intptr_t* sender_sp() const;
   225   // Interpreter frames:
   227  private:
   228   intptr_t** interpreter_frame_locals_addr() const;
   229   intptr_t*  interpreter_frame_bcx_addr() const;
   230   intptr_t*  interpreter_frame_mdx_addr() const;
   232  public:
   233   // Locals
   235   // The _at version returns a pointer because the address is used for GC.
   236   intptr_t* interpreter_frame_local_at(int index) const;
   238   void interpreter_frame_set_locals(intptr_t* locs);
   240   // byte code index/pointer (use these functions for unchecked frame access only!)
   241   intptr_t interpreter_frame_bcx() const                  { return *interpreter_frame_bcx_addr(); }
   242   void interpreter_frame_set_bcx(intptr_t bcx);
   244   // byte code index
   245   jint interpreter_frame_bci() const;
   246   void interpreter_frame_set_bci(jint bci);
   248   // byte code pointer
   249   address interpreter_frame_bcp() const;
   250   void    interpreter_frame_set_bcp(address bcp);
   252   // Unchecked access to the method data index/pointer.
   253   // Only use this if you know what you are doing.
   254   intptr_t interpreter_frame_mdx() const                  { return *interpreter_frame_mdx_addr(); }
   255   void interpreter_frame_set_mdx(intptr_t mdx);
   257   // method data pointer
   258   address interpreter_frame_mdp() const;
   259   void    interpreter_frame_set_mdp(address dp);
   261   // Find receiver out of caller's (compiled) argument list
   262   oop retrieve_receiver(RegisterMap *reg_map);
   264   // Return the monitor owner and BasicLock for compiled synchronized
   265   // native methods so that biased locking can revoke the receiver's
   266   // bias if necessary.  This is also used by JVMTI's GetLocalInstance method
   267   // (via VM_GetReceiver) to retrieve the receiver from a native wrapper frame.
   268   BasicLock* get_native_monitor();
   269   oop        get_native_receiver();
   271   // Find receiver for an invoke when arguments are just pushed on stack (i.e., callee stack-frame is
   272   // not setup)
   273   oop interpreter_callee_receiver(Symbol* signature)     { return *interpreter_callee_receiver_addr(signature); }
   276   oop* interpreter_callee_receiver_addr(Symbol* signature);
   279   // expression stack (may go up or down, direction == 1 or -1)
   280  public:
   281   intptr_t* interpreter_frame_expression_stack() const;
   282   static  jint  interpreter_frame_expression_stack_direction();
   284   // The _at version returns a pointer because the address is used for GC.
   285   intptr_t* interpreter_frame_expression_stack_at(jint offset) const;
   287   // top of expression stack
   288   intptr_t* interpreter_frame_tos_at(jint offset) const;
   289   intptr_t* interpreter_frame_tos_address() const;
   292   jint  interpreter_frame_expression_stack_size() const;
   294   intptr_t* interpreter_frame_sender_sp() const;
   296 #ifndef CC_INTERP
   297   // template based interpreter deoptimization support
   298   void  set_interpreter_frame_sender_sp(intptr_t* sender_sp);
   299   void interpreter_frame_set_monitor_end(BasicObjectLock* value);
   300 #endif // CC_INTERP
   302   // BasicObjectLocks:
   303   //
   304   // interpreter_frame_monitor_begin is higher in memory than interpreter_frame_monitor_end
   305   // Interpreter_frame_monitor_begin points to one element beyond the oldest one,
   306   // interpreter_frame_monitor_end   points to the youngest one, or if there are none,
   307   //                                 it points to one beyond where the first element will be.
   308   // interpreter_frame_monitor_size  reports the allocation size of a monitor in the interpreter stack.
   309   //                                 this value is >= BasicObjectLock::size(), and may be rounded up
   311   BasicObjectLock* interpreter_frame_monitor_begin() const;
   312   BasicObjectLock* interpreter_frame_monitor_end()   const;
   313   BasicObjectLock* next_monitor_in_interpreter_frame(BasicObjectLock* current) const;
   314   BasicObjectLock* previous_monitor_in_interpreter_frame(BasicObjectLock* current) const;
   315   static int interpreter_frame_monitor_size();
   317   void interpreter_frame_verify_monitor(BasicObjectLock* value) const;
   319   // Tells whether the current interpreter_frame frame pointer
   320   // corresponds to the old compiled/deoptimized fp
   321   // The receiver used to be a top level frame
   322   bool interpreter_frame_equals_unpacked_fp(intptr_t* fp);
   324   // Return/result value from this interpreter frame
   325   // If the method return type is T_OBJECT or T_ARRAY populates oop_result
   326   // For other (non-T_VOID) the appropriate field in the jvalue is populated
   327   // with the result value.
   328   // Should only be called when at method exit when the method is not
   329   // exiting due to an exception.
   330   BasicType interpreter_frame_result(oop* oop_result, jvalue* value_result);
   332  public:
   333   // Method & constant pool cache
   334   methodOop interpreter_frame_method() const;
   335   void interpreter_frame_set_method(methodOop method);
   336   methodOop* interpreter_frame_method_addr() const;
   337   constantPoolCacheOop* interpreter_frame_cache_addr() const;
   338 #ifdef PPC
   339   oop* interpreter_frame_mirror_addr() const;
   340 #endif
   342  public:
   343   // Entry frames
   344   JavaCallWrapper* entry_frame_call_wrapper() const;
   345   intptr_t* entry_frame_argument_at(int offset) const;
   347   // tells whether there is another chunk of Delta stack above
   348   bool entry_frame_is_first() const;
   350   // Compiled frames:
   352  public:
   353   // Given the index of a local, and the number of argument words
   354   // in this stack frame, tell which word of the stack frame to find
   355   // the local in.  Arguments are stored above the ofp/rpc pair,
   356   // while other locals are stored below it.
   357   // Since monitors (BasicLock blocks) are also assigned indexes,
   358   // but may have different storage requirements, their presence
   359   // can also affect the calculation of offsets.
   360   static int local_offset_for_compiler(int local_index, int nof_args, int max_nof_locals, int max_nof_monitors);
   362   // Given the index of a monitor, etc., tell which word of the
   363   // stack frame contains the start of the BasicLock block.
   364   // Note that the local index by convention is the __higher__
   365   // of the two indexes allocated to the block.
   366   static int monitor_offset_for_compiler(int local_index, int nof_args, int max_nof_locals, int max_nof_monitors);
   368   // Tell the smallest value that local_offset_for_compiler will attain.
   369   // This is used to help determine how much stack frame to allocate.
   370   static int min_local_offset_for_compiler(int nof_args, int max_nof_locals, int max_nof_monitors);
   372   // Tells if this register must be spilled during a call.
   373   // On Intel, all registers are smashed by calls.
   374   static bool volatile_across_calls(Register reg);
   377   // Safepoints
   379  public:
   380   oop saved_oop_result(RegisterMap* map) const;
   381   void set_saved_oop_result(RegisterMap* map, oop obj);
   383   // For debugging
   384  private:
   385   const char* print_name() const;
   387   void describe_pd(FrameValues& values, int frame_no);
   389  public:
   390   void print_value() const { print_value_on(tty,NULL); }
   391   void print_value_on(outputStream* st, JavaThread *thread) const;
   392   void print_on(outputStream* st) const;
   393   void interpreter_frame_print_on(outputStream* st) const;
   394   void print_on_error(outputStream* st, char* buf, int buflen, bool verbose = false) const;
   396   // Add annotated descriptions of memory locations belonging to this frame to values
   397   void describe(FrameValues& values, int frame_no);
   399   // Conversion from an VMReg to physical stack location
   400   oop* oopmapreg_to_location(VMReg reg, const RegisterMap* regmap) const;
   402   // Oops-do's
   403   void oops_compiled_arguments_do(Symbol* signature, bool has_receiver, const RegisterMap* reg_map, OopClosure* f);
   404   void oops_interpreted_do(OopClosure* f, const RegisterMap* map, bool query_oop_map_cache = true);
   405   void oops_ricochet_do(OopClosure* f, const RegisterMap* map);
   407  private:
   408   void oops_interpreted_arguments_do(Symbol* signature, bool has_receiver, OopClosure* f);
   410   // Iteration of oops
   411   void oops_do_internal(OopClosure* f, CodeBlobClosure* cf, RegisterMap* map, bool use_interpreter_oop_map_cache);
   412   void oops_entry_do(OopClosure* f, const RegisterMap* map);
   413   void oops_code_blob_do(OopClosure* f, CodeBlobClosure* cf, const RegisterMap* map);
   414   int adjust_offset(methodOop method, int index); // helper for above fn
   415  public:
   416   // Memory management
   417   void oops_do(OopClosure* f, CodeBlobClosure* cf, RegisterMap* map) { oops_do_internal(f, cf, map, true); }
   418   void nmethods_do(CodeBlobClosure* cf);
   420   void gc_prologue();
   421   void gc_epilogue();
   422   void pd_gc_epilog();
   424 # ifdef ENABLE_ZAP_DEAD_LOCALS
   425  private:
   426   class CheckValueClosure: public OopClosure {
   427    public:
   428     void do_oop(oop* p);
   429     void do_oop(narrowOop* p) { ShouldNotReachHere(); }
   430   };
   431   static CheckValueClosure _check_value;
   433   class CheckOopClosure: public OopClosure {
   434    public:
   435     void do_oop(oop* p);
   436     void do_oop(narrowOop* p) { ShouldNotReachHere(); }
   437   };
   438   static CheckOopClosure _check_oop;
   440   static void check_derived_oop(oop* base, oop* derived);
   442   class ZapDeadClosure: public OopClosure {
   443    public:
   444     void do_oop(oop* p);
   445     void do_oop(narrowOop* p) { ShouldNotReachHere(); }
   446   };
   447   static ZapDeadClosure _zap_dead;
   449  public:
   450   // Zapping
   451   void zap_dead_locals            (JavaThread* thread, const RegisterMap* map);
   452   void zap_dead_interpreted_locals(JavaThread* thread, const RegisterMap* map);
   453   void zap_dead_compiled_locals   (JavaThread* thread, const RegisterMap* map);
   454   void zap_dead_entry_locals      (JavaThread* thread, const RegisterMap* map);
   455   void zap_dead_deoptimized_locals(JavaThread* thread, const RegisterMap* map);
   456 # endif
   457   // Verification
   458   void verify(const RegisterMap* map);
   459   static bool verify_return_pc(address x);
   460   static bool is_bci(intptr_t bcx);
   461   // Usage:
   462   // assert(frame::verify_return_pc(return_address), "must be a return pc");
   464   int pd_oop_map_offset_adjustment() const;
   466 #ifdef TARGET_ARCH_x86
   467 # include "frame_x86.hpp"
   468 #endif
   469 #ifdef TARGET_ARCH_sparc
   470 # include "frame_sparc.hpp"
   471 #endif
   472 #ifdef TARGET_ARCH_zero
   473 # include "frame_zero.hpp"
   474 #endif
   475 #ifdef TARGET_ARCH_arm
   476 # include "frame_arm.hpp"
   477 #endif
   478 #ifdef TARGET_ARCH_ppc
   479 # include "frame_ppc.hpp"
   480 #endif
   482 };
   484 #ifdef ASSERT
   485 // A simple class to describe a location on the stack
   486 class FrameValue VALUE_OBJ_CLASS_SPEC {
   487  public:
   488   intptr_t* location;
   489   char* description;
   490   int owner;
   491   int priority;
   492 };
   495 // A collection of described stack values that can print a symbolic
   496 // description of the stack memory.  Interpreter frame values can be
   497 // in the caller frames so all the values are collected first and then
   498 // sorted before being printed.
   499 class FrameValues {
   500  private:
   501   GrowableArray<FrameValue> _values;
   503   static int compare(FrameValue* a, FrameValue* b) {
   504     if (a->location == b->location) {
   505       return a->priority - b->priority;
   506     }
   507     return a->location - b->location;
   508   }
   510  public:
   511   // Used by frame functions to describe locations.
   512   void describe(int owner, intptr_t* location, const char* description, int priority = 0);
   514   void validate();
   515   void print();
   516 };
   518 #endif
   520 //
   521 // StackFrameStream iterates through the frames of a thread starting from
   522 // top most frame. It automatically takes care of updating the location of
   523 // all (callee-saved) registers. Notice: If a thread is stopped at
   524 // a safepoint, all registers are saved, not only the callee-saved ones.
   525 //
   526 // Use:
   527 //
   528 //   for(StackFrameStream fst(thread); !fst.is_done(); fst.next()) {
   529 //     ...
   530 //   }
   531 //
   532 class StackFrameStream : public StackObj {
   533  private:
   534   frame       _fr;
   535   RegisterMap _reg_map;
   536   bool        _is_done;
   537  public:
   538    StackFrameStream(JavaThread *thread, bool update = true);
   540   // Iteration
   541   bool is_done()                  { return (_is_done) ? true : (_is_done = _fr.is_first_frame(), false); }
   542   void next()                     { if (!_is_done) _fr = _fr.sender(&_reg_map); }
   544   // Query
   545   frame *current()                { return &_fr; }
   546   RegisterMap* register_map()     { return &_reg_map; }
   547 };
   549 #endif // SHARE_VM_RUNTIME_FRAME_HPP

mercurial