src/share/vm/compiler/abstractCompiler.hpp
Index Unified diffs Context diffs Sdiffs Patch New Old Previous File Next File hotspot Sdiff src/share/vm/compiler

src/share/vm/compiler/abstractCompiler.hpp

Print this page
rev 9032 : 8137167: JEP165: Compiler Control: Implementation task
Summary: Compiler Control JEP
Reviewed-by: roland, twisti
rev 9033 : [mq]: print


   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 #ifndef SHARE_VM_COMPILER_ABSTRACTCOMPILER_HPP
  26 #define SHARE_VM_COMPILER_ABSTRACTCOMPILER_HPP
  27 
  28 #include "ci/compilerInterface.hpp"

  29 
  30 class AbstractCompiler : public CHeapObj<mtCompiler> {
  31  private:
  32   volatile int _num_compiler_threads;
  33 
  34  protected:
  35   volatile int _compiler_state;
  36   // Used for tracking global state of compiler runtime initialization
  37   enum { uninitialized, initializing, initialized, failed, shut_down };
  38 
  39   // This method returns true for the first compiler thread that reaches that methods.
  40   // This thread will initialize the compiler runtime.
  41   bool should_perform_init();
  42 
  43   // The (closed set) of concrete compiler classes.
  44   enum Type {
  45     none,
  46     c1,
  47     c2,
  48     shark


  51  private:
  52   Type _type;
  53 
  54  public:
  55   AbstractCompiler(Type type) : _type(type), _compiler_state(uninitialized), _num_compiler_threads(0) {}
  56 
  57   // This function determines the compiler thread that will perform the
  58   // shutdown of the corresponding compiler runtime.
  59   bool should_perform_shutdown();
  60 
  61   // Name of this compiler
  62   virtual const char* name() = 0;
  63 
  64   // Missing feature tests
  65   virtual bool supports_native()                 { return true; }
  66   virtual bool supports_osr   ()                 { return true; }
  67   virtual bool can_compile_method(methodHandle method)  { return true; }
  68 
  69   // Determine if the current compiler provides an intrinsic
  70   // for method 'method'. An intrinsic is available if:
  71   //  - the intrinsic is enabled (by using the appropriate command-line flag) and

  72   //  - the platform on which the VM is running supports the intrinsic
  73   //    (i.e., the platform provides the instructions necessary for the compiler
  74   //    to generate the intrinsic code).
  75   //
  76   // The second parameter, 'compilation_context', is needed to implement functionality
  77   // related to the DisableIntrinsic command-line flag. The DisableIntrinsic flag can
  78   // be used to prohibit the compilers to use an intrinsic. There are three ways to
  79   // disable an intrinsic using the DisableIntrinsic flag:
  80   //
  81   // (1) -XX:DisableIntrinsic=_hashCode,_getClass
  82   //     Disables intrinsification of _hashCode and _getClass globally
  83   //     (i.e., the intrinsified version the methods will not be used at all).
  84   // (2) -XX:CompileCommand=option,aClass::aMethod,ccstr,DisableIntrinsic,_hashCode
  85   //     Disables intrinsification of _hashCode if it is called from
  86   //     aClass::aMethod (but not for any other call site of _hashCode)
  87   // (3) -XX:CompileCommand=option,java.lang.ref.Reference::get,ccstr,DisableIntrinsic,_Reference_get
  88   //     Some methods are not compiled by C2. Instead, the C2 compiler
  89   //     returns directly the intrinsified version of these methods.
  90   //     The command above forces C2 to compile _Reference_get, but
  91   //     allows using the intrinsified version of _Reference_get at all
  92   //     other call sites.
  93   //
  94   // From the modes above, (1) disable intrinsics globally, (2) and (3)
  95   // disable intrinsics on a per-method basis. In cases (2) and (3) the
  96   // compilation context is aClass::aMethod and java.lang.ref.Reference::get,
  97   // respectively.
  98   virtual bool is_intrinsic_available(methodHandle method, methodHandle compilation_context) {
  99     return is_intrinsic_supported(method) &&
 100            !vmIntrinsics::is_disabled_by_flags(method, compilation_context);

 101   }
 102 
 103   // Determines if an intrinsic is supported by the compiler, that is,
 104   // the compiler provides the instructions necessary to generate
 105   // the intrinsic code for method 'method'.
 106   //
 107   // The 'is_intrinsic_supported' method is a white list, that is,
 108   // by default no intrinsics are supported by a compiler except
 109   // the ones listed in the method. Overriding methods should conform
 110   // to this behavior.
 111   virtual bool is_intrinsic_supported(methodHandle method) {
 112     return false;
 113   }
 114 
 115   // Compiler type queries.
 116   bool is_c1()                                   { return _type == c1; }
 117   bool is_c2()                                   { return _type == c2; }
 118   bool is_shark()                                { return _type == shark; }
 119 
 120   // Customization
 121   virtual void initialize () = 0;
 122 
 123   void set_num_compiler_threads(int num) { _num_compiler_threads = num;  }
 124   int num_compiler_threads()             { return _num_compiler_threads; }
 125 
 126   // Get/set state of compiler objects
 127   bool is_initialized()           { return _compiler_state == initialized; }
 128   bool is_failed     ()           { return _compiler_state == failed;}
 129   void set_state     (int state);
 130   void set_shut_down ()           { set_state(shut_down); }
 131   // Compilation entry point for methods
 132   virtual void compile_method(ciEnv* env, ciMethod* target, int entry_bci) {
 133     ShouldNotReachHere();
 134   }
 135 
 136 
 137   // Print compilation timers and statistics
 138   virtual void print_timers() {
 139     ShouldNotReachHere();
 140   }
 141 };
 142 
 143 #endif // SHARE_VM_COMPILER_ABSTRACTCOMPILER_HPP


   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 #ifndef SHARE_VM_COMPILER_ABSTRACTCOMPILER_HPP
  26 #define SHARE_VM_COMPILER_ABSTRACTCOMPILER_HPP
  27 
  28 #include "ci/compilerInterface.hpp"
  29 #include "compiler/compilerDirectives.hpp"
  30 
  31 class AbstractCompiler : public CHeapObj<mtCompiler> {
  32  private:
  33   volatile int _num_compiler_threads;
  34 
  35  protected:
  36   volatile int _compiler_state;
  37   // Used for tracking global state of compiler runtime initialization
  38   enum { uninitialized, initializing, initialized, failed, shut_down };
  39 
  40   // This method returns true for the first compiler thread that reaches that methods.
  41   // This thread will initialize the compiler runtime.
  42   bool should_perform_init();
  43 
  44   // The (closed set) of concrete compiler classes.
  45   enum Type {
  46     none,
  47     c1,
  48     c2,
  49     shark


  52  private:
  53   Type _type;
  54 
  55  public:
  56   AbstractCompiler(Type type) : _type(type), _compiler_state(uninitialized), _num_compiler_threads(0) {}
  57 
  58   // This function determines the compiler thread that will perform the
  59   // shutdown of the corresponding compiler runtime.
  60   bool should_perform_shutdown();
  61 
  62   // Name of this compiler
  63   virtual const char* name() = 0;
  64 
  65   // Missing feature tests
  66   virtual bool supports_native()                 { return true; }
  67   virtual bool supports_osr   ()                 { return true; }
  68   virtual bool can_compile_method(methodHandle method)  { return true; }
  69 
  70   // Determine if the current compiler provides an intrinsic
  71   // for method 'method'. An intrinsic is available if:
  72   //  - the intrinsic is enabled (by using the appropriate command-line flag
  73   //    , the command-line compile ommand, or a compiler directive)
  74   //  - the platform on which the VM is running supports the intrinsic
  75   //    (i.e., the platform provides the instructions necessary for the compiler
  76   //    to generate the intrinsic code).
  77   //
  78   // The directive provides the compilation context and includes pre-evaluated values
  79   // dependent on VM flags, compile commands, and compiler directives.


  80   //
  81   // Usually, the compilation context is the caller of the method 'method'.
  82   // The only case when for a non-recursive method 'method' the compilation context
  83   // is not the caller of the 'method' (but it is the method itself) is
  84   // java.lang.ref.Referene::get.
  85   // For java.lang.ref.Reference::get, the intrinsic version is used
  86   // instead of the compiled version so that the value in the referent
  87   // field can be registered by the G1 pre-barrier code. The intrinsified
  88   // version of Reference::get also adds a memory barrier to prevent
  89   // commoning reads from the referent field across safepoint since GC
  90   // can change the referent field's value. See Compile::Compile()
  91   // in src/share/vm/opto/compile.cpp or
  92   // GraphBuilder::GraphBuilder() in src/share/vm/c1/c1_GraphBuilder.cpp
  93   // for more details.
  94 
  95   virtual bool is_intrinsic_available(methodHandle method, DirectiveSet* directive) {



  96     return is_intrinsic_supported(method) &&
  97            !directive->is_intrinsic_disabled(method) &&
  98            !vmIntrinsics::is_disabled_by_flags(method);
  99   }
 100 
 101   // Determines if an intrinsic is supported by the compiler, that is,
 102   // the compiler provides the instructions necessary to generate
 103   // the intrinsic code for method 'method'.
 104   //
 105   // The 'is_intrinsic_supported' method is a white list, that is,
 106   // by default no intrinsics are supported by a compiler except
 107   // the ones listed in the method. Overriding methods should conform
 108   // to this behavior.
 109   virtual bool is_intrinsic_supported(methodHandle method) {
 110     return false;
 111   }
 112 
 113   // Compiler type queries.
 114   bool is_c1()                                   { return _type == c1; }
 115   bool is_c2()                                   { return _type == c2; }
 116   bool is_shark()                                { return _type == shark; }
 117 
 118   // Customization
 119   virtual void initialize () = 0;
 120 
 121   void set_num_compiler_threads(int num) { _num_compiler_threads = num;  }
 122   int num_compiler_threads()             { return _num_compiler_threads; }
 123 
 124   // Get/set state of compiler objects
 125   bool is_initialized()           { return _compiler_state == initialized; }
 126   bool is_failed     ()           { return _compiler_state == failed;}
 127   void set_state     (int state);
 128   void set_shut_down ()           { set_state(shut_down); }
 129   // Compilation entry point for methods
 130   virtual void compile_method(ciEnv* env, ciMethod* target, int entry_bci, DirectiveSet* directive) {
 131     ShouldNotReachHere();
 132   }
 133 
 134 
 135   // Print compilation timers and statistics
 136   virtual void print_timers() {
 137     ShouldNotReachHere();
 138   }
 139 };
 140 
 141 #endif // SHARE_VM_COMPILER_ABSTRACTCOMPILER_HPP
src/share/vm/compiler/abstractCompiler.hpp
Index Unified diffs Context diffs Sdiffs Patch New Old Previous File Next File