1 /*
  2  * Copyright (c) 1999, 2023, 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 #ifndef SHARE_COMPILER_ABSTRACTCOMPILER_HPP
 26 #define SHARE_COMPILER_ABSTRACTCOMPILER_HPP
 27 
 28 #include "ci/compilerInterface.hpp"
 29 #include "compiler/compilerDefinitions.hpp"
 30 #include "compiler/compilerDirectives.hpp"
 31 
 32 typedef void (*initializer)(void);
 33 
 34 // Per-compiler statistics
 35 class CompilerStatistics {
 36   class Data {
 37     friend class VMStructs;
 38   public:
 39     elapsedTimer _time;  // time spent compiling
 40     uint _bytes;         // number of bytecodes compiled, including inlined bytecodes
 41     uint _count;         // number of compilations
 42     Data() : _bytes(0), _count(0) {}
 43     void update(elapsedTimer time, int bytes) {
 44       _time.add(time);
 45       _bytes += bytes;
 46       _count++;
 47     }
 48     void reset() {
 49       _time.reset();
 50     }
 51   };
 52 
 53  public:
 54   Data _standard;  // stats for non-OSR compilations
 55   Data _osr;       // stats for OSR compilations
 56   uint _nmethods_size; //
 57   uint _nmethods_code_size;
 58 
 59   double total_time() { return _standard._time.seconds() + _osr._time.seconds(); }
 60 
 61   double bytes_per_second() {
 62     uint bytes = _standard._bytes + _osr._bytes;
 63     if (bytes == 0) {
 64       return 0.0;
 65     }
 66     double seconds = total_time();
 67     return seconds == 0.0 ? 0.0 : (bytes / seconds);
 68   }
 69 
 70   CompilerStatistics() : _nmethods_size(0), _nmethods_code_size(0) {}
 71 };
 72 
 73 class AbstractCompiler : public CHeapObj<mtCompiler> {
 74  private:
 75   volatile int _num_compiler_threads;
 76 
 77  protected:
 78   volatile int _compiler_state;
 79   // Used for tracking global state of compiler runtime initialization
 80   enum { uninitialized, initializing, initialized, failed, shut_down };
 81 
 82   // This method returns true for the first compiler thread that reaches that methods.
 83   // This thread will initialize the compiler runtime.
 84   bool should_perform_init();
 85 
 86  private:
 87   const CompilerType _type;
 88 
 89   CompilerStatistics _stats;
 90 
 91  public:
 92   AbstractCompiler(CompilerType type) : _num_compiler_threads(0), _compiler_state(uninitialized), _type(type) {}
 93 
 94   // This function determines the compiler thread that will perform the
 95   // shutdown of the corresponding compiler runtime.
 96   bool should_perform_shutdown();
 97 
 98   // Name of this compiler
 99   virtual const char* name() = 0;
100 
101   // Determine if the current compiler provides an intrinsic
102   // for method 'method'. An intrinsic is available if:
103   //  - the intrinsic is enabled (by using the appropriate command-line flag,
104   //    the command-line compile ommand, or a compiler directive)
105   //  - the platform on which the VM is running supports the intrinsic
106   //    (i.e., the platform provides the instructions necessary for the compiler
107   //    to generate the intrinsic code).
108   //
109   // The directive provides the compilation context and includes pre-evaluated values
110   // dependent on VM flags, compile commands, and compiler directives.
111   //
112   // Usually, the compilation context is the caller of the method 'method'.
113   // The only case when for a non-recursive method 'method' the compilation context
114   // is not the caller of the 'method' (but it is the method itself) is
115   // java.lang.ref.Reference::get.
116   // For java.lang.ref.Reference::get, the intrinsic version is used
117   // instead of the compiled version so that the value in the referent
118   // field can be registered by the G1 pre-barrier code. The intrinsified
119   // version of Reference::get also adds a memory barrier to prevent
120   // commoning reads from the referent field across safepoint since GC
121   // can change the referent field's value. See Compile::Compile()
122   // in src/share/vm/opto/compile.cpp or
123   // GraphBuilder::GraphBuilder() in src/share/vm/c1/c1_GraphBuilder.cpp
124   // for more details.
125 
126   bool is_intrinsic_available(const methodHandle& method, DirectiveSet* directive) {
127     vmIntrinsics::ID id = method->intrinsic_id();
128     assert(id != vmIntrinsics::_none, "must be a VM intrinsic");
129     return is_intrinsic_supported(method) &&
130            vmIntrinsics::is_intrinsic_available(id) &&
131            !directive->is_intrinsic_disabled(id);
132   }
133 
134   // Determines if an intrinsic is supported by the compiler, that is,
135   // the compiler provides the instructions necessary to generate
136   // the intrinsic code for method 'method'.
137   //
138   // The 'is_intrinsic_supported' method is an allow-list, that is,
139   // by default no intrinsics are supported by a compiler except
140   // the ones listed in the method. Overriding methods should conform
141   // to this behavior.
142   virtual bool is_intrinsic_supported(const methodHandle& method) {
143     return false;
144   }
145 
146   // Compiler type queries.
147   bool is_c1() const                     { return _type == compiler_c1; }
148   bool is_c2() const                     { return _type == compiler_c2; }
149   bool is_jvmci() const                  { return _type == compiler_jvmci; }
150   CompilerType type() const              { return _type; }
151 
152   // Compiler threads are hidden by default.
153   virtual bool is_hidden_from_external_view() const { return true; }
154 
155   // Customization
156   virtual void initialize () = 0;
157 
158   void set_num_compiler_threads(int num) { _num_compiler_threads = num;  }
159   int num_compiler_threads()             { return _num_compiler_threads; }
160 
161   // Get/set state of compiler objects
162   bool is_initialized()           { return _compiler_state == initialized; }
163   bool is_failed     ()           { return _compiler_state == failed;}
164   void set_state     (int state);
165   void set_shut_down ()           { set_state(shut_down); }
166   // Compilation entry point for methods
167   virtual void compile_method(ciEnv* env, ciMethod* target, int entry_bci, bool install_code, DirectiveSet* directive) {
168     ShouldNotReachHere();
169   }
170 
171   // Notifies this compiler that the current thread (`current`) is about to stop.
172   // The current thread currently holds the CompileThread_lock.
173   virtual void stopping_compiler_thread(CompilerThread* current) {
174     // Do nothing
175   }
176 
177   // Notifies this compiler that queue is empty just prior to waiting on
178   // MethodCompileQueue_lock which is held by the current thread (`thread`).
179   virtual void on_empty_queue(CompileQueue* queue, CompilerThread* thread) {
180     // Do nothing
181   }
182 
183   // Print compilation timers and statistics
184   virtual void print_timers() {
185     ShouldNotReachHere();
186   }
187 
188   CompilerStatistics* stats() { return &_stats; }
189 };
190 
191 #endif // SHARE_COMPILER_ABSTRACTCOMPILER_HPP