src/share/vm/code/compiledIC.hpp

Wed, 02 Feb 2011 11:35:26 -0500

author
bobv
date
Wed, 02 Feb 2011 11:35:26 -0500
changeset 2508
b92c45f2bc75
parent 2314
f95d63e2154a
child 2708
1d1603768966
permissions
-rw-r--r--

7016023: Enable building ARM and PPC from src/closed repository
Reviewed-by: dholmes, bdelsart

     1 /*
     2  * Copyright (c) 1997, 2010, 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_CODE_COMPILEDIC_HPP
    26 #define SHARE_VM_CODE_COMPILEDIC_HPP
    28 #include "interpreter/linkResolver.hpp"
    29 #include "oops/compiledICHolderKlass.hpp"
    30 #include "oops/compiledICHolderOop.hpp"
    31 #include "oops/klassOop.hpp"
    32 #ifdef TARGET_ARCH_x86
    33 # include "nativeInst_x86.hpp"
    34 #endif
    35 #ifdef TARGET_ARCH_sparc
    36 # include "nativeInst_sparc.hpp"
    37 #endif
    38 #ifdef TARGET_ARCH_zero
    39 # include "nativeInst_zero.hpp"
    40 #endif
    41 #ifdef TARGET_ARCH_arm
    42 # include "nativeInst_arm.hpp"
    43 #endif
    44 #ifdef TARGET_ARCH_ppc
    45 # include "nativeInst_ppc.hpp"
    46 #endif
    48 //-----------------------------------------------------------------------------
    49 // The CompiledIC represents a compiled inline cache.
    50 //
    51 // In order to make patching of the inline cache MT-safe, we only allow the following
    52 // transitions (when not at a safepoint):
    53 //
    54 //
    55 //         [1] --<--  Clean -->---  [1]
    56 //            /       (null)      \
    57 //           /                     \      /-<-\
    58 //          /          [2]          \    /     \
    59 //      Interpreted  ---------> Monomorphic     | [3]
    60 //  (compiledICHolderOop)        (klassOop)     |
    61 //          \                        /   \     /
    62 //       [4] \                      / [4] \->-/
    63 //            \->-  Megamorphic -<-/
    64 //                  (methodOop)
    65 //
    66 // The text in paranteses () refere to the value of the inline cache receiver (mov instruction)
    67 //
    68 // The numbers in square brackets refere to the kind of transition:
    69 // [1]: Initial fixup. Receiver it found from debug information
    70 // [2]: Compilation of a method
    71 // [3]: Recompilation of a method (note: only entry is changed. The klassOop must stay the same)
    72 // [4]: Inline cache miss. We go directly to megamorphic call.
    73 //
    74 // The class automatically inserts transition stubs (using the InlineCacheBuffer) when an MT-unsafe
    75 // transition is made to a stub.
    76 //
    77 class CompiledIC;
    79 class CompiledICInfo {
    80   friend class CompiledIC;
    81  private:
    82   address _entry;              // entry point for call
    83   Handle  _cached_oop;         // Value of cached_oop (either in stub or inline cache)
    84   bool    _is_optimized;       // it is an optimized virtual call (i.e., can be statically bound)
    85   bool    _to_interpreter;     // Call it to interpreter
    86  public:
    87   address entry() const        { return _entry; }
    88   Handle  cached_oop() const   { return _cached_oop; }
    89   bool    is_optimized() const { return _is_optimized; }
    90 };
    92 class CompiledIC: public ResourceObj {
    93   friend class InlineCacheBuffer;
    94   friend class ICStub;
    97  private:
    98   NativeCall*   _ic_call;       // the call instruction
    99   oop*          _oop_addr;      // patchable oop cell for this IC
   100   RelocIterator _oops;          // iteration over any and all set-oop instructions
   101   bool          _is_optimized;  // an optimized virtual call (i.e., no compiled IC)
   103   CompiledIC(NativeCall* ic_call);
   104   CompiledIC(Relocation* ic_reloc);    // Must be of virtual_call_type/opt_virtual_call_type
   106   // low-level inline-cache manipulation. Cannot be accessed directly, since it might not be MT-safe
   107   // to change an inline-cache. These changes the underlying inline-cache directly. They *newer* make
   108   // changes to a transition stub.
   109   void set_ic_destination(address entry_point);
   110   void set_cached_oop(oop cache);
   112   // Reads the location of the transition stub. This will fail with an assertion, if no transition stub is
   113   // associated with the inline cache.
   114   address stub_address() const;
   115   bool is_in_transition_state() const;  // Use InlineCacheBuffer
   117  public:
   118   // conversion (machine PC to CompiledIC*)
   119   friend CompiledIC* CompiledIC_before(address return_addr);
   120   friend CompiledIC* CompiledIC_at(address call_site);
   121   friend CompiledIC* CompiledIC_at(Relocation* call_site);
   123   // Return the cached_oop/destination associated with this inline cache. If the cache currently points
   124   // to a transition stub, it will read the values from the transition stub.
   125   oop  cached_oop() const;
   126   address ic_destination() const;
   128   bool is_optimized() const   { return _is_optimized; }
   130   // State
   131   bool is_clean() const;
   132   bool is_megamorphic() const;
   133   bool is_call_to_compiled() const;
   134   bool is_call_to_interpreted() const;
   136   address end_of_call() { return  _ic_call->return_address(); }
   138   // MT-safe patching of inline caches. Note: Only safe to call is_xxx when holding the CompiledIC_ock
   139   // so you are guaranteed that no patching takes place. The same goes for verify.
   140   //
   141   // Note: We do not provide any direct access to the stub code, to prevent parts of the code
   142   // to manipulate the inline cache in MT-unsafe ways.
   143   //
   144   // They all takes a TRAP argument, since they can cause a GC if the inline-cache buffer is full.
   145   //
   146   void set_to_clean();  // Can only be called during a safepoint operation
   147   void set_to_monomorphic(const CompiledICInfo& info);
   148   void set_to_megamorphic(CallInfo* call_info, Bytecodes::Code bytecode, TRAPS);
   150   static void compute_monomorphic_entry(methodHandle method, KlassHandle receiver_klass,
   151                                         bool is_optimized, bool static_bound, CompiledICInfo& info, TRAPS);
   153   // Location
   154   address instruction_address() const { return _ic_call->instruction_address(); }
   156   // Misc
   157   void print()             PRODUCT_RETURN;
   158   void print_compiled_ic() PRODUCT_RETURN;
   159   void verify()            PRODUCT_RETURN;
   160 };
   162 inline CompiledIC* CompiledIC_before(address return_addr) {
   163   CompiledIC* c_ic = new CompiledIC(nativeCall_before(return_addr));
   164   c_ic->verify();
   165   return c_ic;
   166 }
   168 inline CompiledIC* CompiledIC_at(address call_site) {
   169   CompiledIC* c_ic = new CompiledIC(nativeCall_at(call_site));
   170   c_ic->verify();
   171   return c_ic;
   172 }
   174 inline CompiledIC* CompiledIC_at(Relocation* call_site) {
   175   CompiledIC* c_ic = new CompiledIC(call_site);
   176   c_ic->verify();
   177   return c_ic;
   178 }
   181 //-----------------------------------------------------------------------------
   182 // The CompiledStaticCall represents a call to a static method in the compiled
   183 //
   184 // Transition diagram of a static call site is somewhat simpler than for an inlined cache:
   185 //
   186 //
   187 //           -----<----- Clean ----->-----
   188 //          /                             \
   189 //         /                               \
   190 //    compilled code <------------> interpreted code
   191 //
   192 //  Clean:            Calls directly to runtime method for fixup
   193 //  Compiled code:    Calls directly to compiled code
   194 //  Interpreted code: Calls to stub that set methodOop reference
   195 //
   196 //
   197 class CompiledStaticCall;
   199 class StaticCallInfo {
   200  private:
   201   address      _entry;          // Entrypoint
   202   methodHandle _callee;         // Callee (used when calling interpreter)
   203   bool         _to_interpreter; // call to interpreted method (otherwise compiled)
   205   friend class CompiledStaticCall;
   206  public:
   207   address      entry() const    { return _entry;  }
   208   methodHandle callee() const   { return _callee; }
   209 };
   212 class CompiledStaticCall: public NativeCall {
   213   friend class CompiledIC;
   215   // Also used by CompiledIC
   216   void set_to_interpreted(methodHandle callee, address entry);
   217   bool is_optimized_virtual();
   219  public:
   220   friend CompiledStaticCall* compiledStaticCall_before(address return_addr);
   221   friend CompiledStaticCall* compiledStaticCall_at(address native_call);
   222   friend CompiledStaticCall* compiledStaticCall_at(Relocation* call_site);
   224   // State
   225   bool is_clean() const;
   226   bool is_call_to_compiled() const;
   227   bool is_call_to_interpreted() const;
   229   // Clean static call (will force resolving on next use)
   230   void set_to_clean();
   232   // Set state. The entry must be the same, as computed by compute_entry.
   233   // Computation and setting is split up, since the actions are separate during
   234   // a OptoRuntime::resolve_xxx.
   235   void set(const StaticCallInfo& info);
   237   // Compute entry point given a method
   238   static void compute_entry(methodHandle m, StaticCallInfo& info);
   240   // Stub support
   241   address find_stub();
   242   static void set_stub_to_clean(static_stub_Relocation* static_stub);
   244   // Misc.
   245   void print()  PRODUCT_RETURN;
   246   void verify() PRODUCT_RETURN;
   247 };
   250 inline CompiledStaticCall* compiledStaticCall_before(address return_addr) {
   251   CompiledStaticCall* st = (CompiledStaticCall*)nativeCall_before(return_addr);
   252   st->verify();
   253   return st;
   254 }
   256 inline CompiledStaticCall* compiledStaticCall_at(address native_call) {
   257   CompiledStaticCall* st = (CompiledStaticCall*)native_call;
   258   st->verify();
   259   return st;
   260 }
   262 inline CompiledStaticCall* compiledStaticCall_at(Relocation* call_site) {
   263   return compiledStaticCall_at(call_site->addr());
   264 }
   266 #endif // SHARE_VM_CODE_COMPILEDIC_HPP

mercurial