src/hotspot/share/runtime/compilationPolicy.hpp
author tschatzl
Thu, 06 Dec 2018 15:44:40 +0100
changeset 52877 9e041366c764
parent 47216 71c04702a3d5
child 53149 259c36ef27df
permissions -rw-r--r--
8214850: Rename vm_operations.?pp files to vmOperations.?pp files Reviewed-by: dholmes, coleenp
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
46727
6e4a84748e2c 8183039: Re-examine methodHandle methods uninlined by 8144256
coleenp
parents: 38139
diff changeset
     2
 * Copyright (c) 2000, 2017, Oracle and/or its affiliates. All rights reserved.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     4
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
489c9b5090e2 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
489c9b5090e2 Initial load
duke
parents:
diff changeset
     7
 * published by the Free Software Foundation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     8
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
489c9b5090e2 Initial load
duke
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
489c9b5090e2 Initial load
duke
parents:
diff changeset
    13
 * accompanied this code).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    14
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
489c9b5090e2 Initial load
duke
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    18
 *
5547
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1
diff changeset
    21
 * questions.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    22
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    23
 */
489c9b5090e2 Initial load
duke
parents:
diff changeset
    24
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    25
#ifndef SHARE_VM_RUNTIME_COMPILATIONPOLICY_HPP
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    26
#define SHARE_VM_RUNTIME_COMPILATIONPOLICY_HPP
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    27
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    28
#include "code/nmethod.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    29
#include "compiler/compileBroker.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    30
#include "memory/allocation.hpp"
52877
9e041366c764 8214850: Rename vm_operations.?pp files to vmOperations.?pp files
tschatzl
parents: 47216
diff changeset
    31
#include "runtime/vmOperations.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    32
#include "utilities/growableArray.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    33
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    34
// The CompilationPolicy selects which method (if any) should be compiled.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
// It also decides which methods must always be compiled (i.e., are never
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
// interpreted).
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    37
class CompileTask;
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    38
class CompileQueue;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
13195
be27e1b6a4b9 6995781: Native Memory Tracking (Phase 1)
zgu
parents: 11572
diff changeset
    40
class CompilationPolicy : public CHeapObj<mtCompiler> {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    41
  static CompilationPolicy* _policy;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
  // Accumulated time
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
  static elapsedTimer       _accumulated_time;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
  static bool               _in_vm_startup;
38139
cf6f5c1b7205 8152903: [JVMCI] CompilerToVM::resolveMethod should correctly handle private methods in interfaces
never
parents: 38133
diff changeset
    46
cf6f5c1b7205 8152903: [JVMCI] CompilerToVM::resolveMethod should correctly handle private methods in interfaces
never
parents: 38133
diff changeset
    47
  // m must be compiled before executing it
46727
6e4a84748e2c 8183039: Re-examine methodHandle methods uninlined by 8144256
coleenp
parents: 38139
diff changeset
    48
  static bool must_be_compiled(const methodHandle& m, int comp_level = CompLevel_all);
38139
cf6f5c1b7205 8152903: [JVMCI] CompilerToVM::resolveMethod should correctly handle private methods in interfaces
never
parents: 38133
diff changeset
    49
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    50
public:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
  static  void set_in_vm_startup(bool in_vm_startup) { _in_vm_startup = in_vm_startup; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
  static  void completed_vm_startup();
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    53
  static  bool delay_compilation_during_startup()    { return _in_vm_startup; }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
38139
cf6f5c1b7205 8152903: [JVMCI] CompilerToVM::resolveMethod should correctly handle private methods in interfaces
never
parents: 38133
diff changeset
    55
  // If m must_be_compiled then request a compilation from the CompileBroker.
cf6f5c1b7205 8152903: [JVMCI] CompilerToVM::resolveMethod should correctly handle private methods in interfaces
never
parents: 38133
diff changeset
    56
  // This supports the -Xcomp option.
46727
6e4a84748e2c 8183039: Re-examine methodHandle methods uninlined by 8144256
coleenp
parents: 38139
diff changeset
    57
  static void compile_if_required(const methodHandle& m, TRAPS);
38139
cf6f5c1b7205 8152903: [JVMCI] CompilerToVM::resolveMethod should correctly handle private methods in interfaces
never
parents: 38133
diff changeset
    58
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    59
  // m is allowed to be compiled
46727
6e4a84748e2c 8183039: Re-examine methodHandle methods uninlined by 8144256
coleenp
parents: 38139
diff changeset
    60
  static bool can_be_compiled(const methodHandle& m, int comp_level = CompLevel_all);
19332
ee4c8c2af356 8022832: Add WB APIs for OSR compilation
iignatyev
parents: 16689
diff changeset
    61
  // m is allowed to be osr compiled
46727
6e4a84748e2c 8183039: Re-examine methodHandle methods uninlined by 8144256
coleenp
parents: 38139
diff changeset
    62
  static bool can_be_osr_compiled(const methodHandle& m, int comp_level = CompLevel_all);
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    63
  static bool is_compilation_enabled();
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
  static void set_policy(CompilationPolicy* policy) { _policy = policy; }
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    65
  static CompilationPolicy* policy()                { return _policy; }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
35547
0ee84aa8e705 8146705: Improve JVMCI support for blocking compilation
dnsimon
parents: 33593
diff changeset
    67
  static CompileTask* select_task_helper(CompileQueue* compile_queue);
0ee84aa8e705 8146705: Improve JVMCI support for blocking compilation
dnsimon
parents: 33593
diff changeset
    68
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
  // Profiling
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
  elapsedTimer* accumulated_time() { return &_accumulated_time; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
  void print_time() PRODUCT_RETURN;
10250
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
    72
  // Return initial compile level that is used with Xcomp
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
    73
  virtual CompLevel initial_compile_level() = 0;
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    74
  virtual int compiler_count(CompLevel comp_level) = 0;
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    75
  // main notification entry, return a pointer to an nmethod if the OSR is required,
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    76
  // returns NULL otherwise.
38133
78b95467b9f1 8151956: Support non-continuous CodeBlobs in HotSpot
rbackman
parents: 35547
diff changeset
    77
  virtual nmethod* event(const methodHandle& method, const methodHandle& inlinee, int branch_bci, int bci, CompLevel comp_level, CompiledMethod* nm, JavaThread* thread) = 0;
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    78
  // safepoint() is called at the end of the safepoint
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    79
  virtual void do_safepoint_work() = 0;
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    80
  // reprofile request
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    81
  virtual void reprofile(ScopeDesc* trap_scope, bool is_osr) = 0;
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    82
  // delay_compilation(method) can be called by any component of the runtime to notify the policy
22551
9bf46d16dcc6 8025856: Fix typos in the GC code
jwilhelm
parents: 22234
diff changeset
    83
  // that it's recommended to delay the compilation of this method.
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13195
diff changeset
    84
  virtual void delay_compilation(Method* method) = 0;
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    85
  // disable_compilation() is called whenever the runtime decides to disable compilation of the
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    86
  // specified method.
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13195
diff changeset
    87
  virtual void disable_compilation(Method* method) = 0;
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    88
  // Select task is called by CompileBroker. The queue is guaranteed to have at least one
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    89
  // element and is locked. The function should select one and return it.
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    90
  virtual CompileTask* select_task(CompileQueue* compile_queue) = 0;
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    91
  // Tell the runtime if we think a given method is adequately profiled.
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13195
diff changeset
    92
  virtual bool is_mature(Method* method) = 0;
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    93
  // Do policy initialization
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    94
  virtual void initialize() = 0;
10014
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 7397
diff changeset
    95
  virtual bool should_not_inline(ciEnv* env, ciMethod* method) { return false; }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    98
// A base class for baseline policies.
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
    99
class NonTieredCompPolicy : public CompilationPolicy {
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   100
  int _compiler_count;
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   101
protected:
33593
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 22551
diff changeset
   102
  static void trace_frequency_counter_overflow(const methodHandle& m, int branch_bci, int bci);
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 22551
diff changeset
   103
  static void trace_osr_request(const methodHandle& method, nmethod* osr, int bci);
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   104
  static void trace_osr_completion(nmethod* osr_nm);
33593
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 22551
diff changeset
   105
  void reset_counter_for_invocation_event(const methodHandle& method);
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 22551
diff changeset
   106
  void reset_counter_for_back_branch_event(const methodHandle& method);
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   107
public:
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   108
  NonTieredCompPolicy() : _compiler_count(0) { }
16689
efce070b8d42 8007288: Additional WB API for compiler's testing
iignatyev
parents: 13728
diff changeset
   109
  virtual CompLevel initial_compile_level() { return CompLevel_highest_tier; }
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   110
  virtual int compiler_count(CompLevel comp_level);
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   111
  virtual void do_safepoint_work();
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   112
  virtual void reprofile(ScopeDesc* trap_scope, bool is_osr);
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13195
diff changeset
   113
  virtual void delay_compilation(Method* method);
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13195
diff changeset
   114
  virtual void disable_compilation(Method* method);
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13195
diff changeset
   115
  virtual bool is_mature(Method* method);
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   116
  virtual void initialize();
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   117
  virtual CompileTask* select_task(CompileQueue* compile_queue);
38133
78b95467b9f1 8151956: Support non-continuous CodeBlobs in HotSpot
rbackman
parents: 35547
diff changeset
   118
  virtual nmethod* event(const methodHandle& method, const methodHandle& inlinee, int branch_bci, int bci, CompLevel comp_level, CompiledMethod* nm, JavaThread* thread);
33593
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 22551
diff changeset
   119
  virtual void method_invocation_event(const methodHandle& m, JavaThread* thread) = 0;
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 22551
diff changeset
   120
  virtual void method_back_branch_event(const methodHandle& m, int bci, JavaThread* thread) = 0;
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   121
};
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   122
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   123
class SimpleCompPolicy : public NonTieredCompPolicy {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   124
 public:
33593
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 22551
diff changeset
   125
  virtual void method_invocation_event(const methodHandle& m, JavaThread* thread);
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 22551
diff changeset
   126
  virtual void method_back_branch_event(const methodHandle& m, int bci, JavaThread* thread);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
// StackWalkCompPolicy - existing C2 policy
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
489c9b5090e2 Initial load
duke
parents:
diff changeset
   131
#ifdef COMPILER2
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents: 5547
diff changeset
   132
class StackWalkCompPolicy : public NonTieredCompPolicy {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
 public:
33593
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 22551
diff changeset
   134
  virtual void method_invocation_event(const methodHandle& m, JavaThread* thread);
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 22551
diff changeset
   135
  virtual void method_back_branch_event(const methodHandle& m, int bci, JavaThread* thread);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
 private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
  RFrame* findTopInlinableFrame(GrowableArray<RFrame*>* stack);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
  RFrame* senderOf(RFrame* rf, GrowableArray<RFrame*>* stack);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
489c9b5090e2 Initial load
duke
parents:
diff changeset
   141
  // the following variables hold values computed by the last inlining decision
489c9b5090e2 Initial load
duke
parents:
diff changeset
   142
  // they are used for performance debugging only (print better messages)
489c9b5090e2 Initial load
duke
parents:
diff changeset
   143
  static const char* _msg;            // reason for not inlining
489c9b5090e2 Initial load
duke
parents:
diff changeset
   144
33593
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 22551
diff changeset
   145
  static const char* shouldInline   (const methodHandle& callee, float frequency, int cnt);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
  // positive filter: should send be inlined?  returns NULL (--> yes) or rejection msg
33593
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 22551
diff changeset
   147
  static const char* shouldNotInline(const methodHandle& callee);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
  // negative filter: should send NOT be inlined?  returns NULL (--> inline) or rejection msg
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
489c9b5090e2 Initial load
duke
parents:
diff changeset
   150
};
489c9b5090e2 Initial load
duke
parents:
diff changeset
   151
#endif
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
   152
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
   153
#endif // SHARE_VM_RUNTIME_COMPILATIONPOLICY_HPP