hotspot/src/share/vm/runtime/simpleThresholdPolicy.hpp
author dnsimon
Tue, 10 May 2016 11:48:06 +0200
changeset 38666 5ff19807abd5
parent 38133 78b95467b9f1
child 42650 1f304d0c888b
permissions -rw-r--r--
8152311: [JVMCI] allow JVMCI compiler to change the compilation policy for a method Reviewed-by: kvn, never
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
     1
/*
38133
78b95467b9f1 8151956: Support non-continuous CodeBlobs in HotSpot
rbackman
parents: 33593
diff changeset
     2
 * Copyright (c) 2010, 2016, Oracle and/or its affiliates. All rights reserved.
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
     4
 *
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
     7
 * published by the Free Software Foundation.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
     8
 *
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    13
 * accompanied this code).
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    14
 *
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    18
 *
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    21
 * questions.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    22
 *
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    23
 */
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    24
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    25
#ifndef SHARE_VM_RUNTIME_SIMPLETHRESHOLDPOLICY_HPP
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    26
#define SHARE_VM_RUNTIME_SIMPLETHRESHOLDPOLICY_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"
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 11572
diff changeset
    29
#include "oops/methodData.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    30
#include "runtime/compilationPolicy.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    31
#include "utilities/globalDefinitions.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
    32
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    33
class CompileTask;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    34
class CompileQueue;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    35
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    36
class SimpleThresholdPolicy : public CompilationPolicy {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    37
  int _c1_count, _c2_count;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    38
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    39
  // Check if the counter is big enough and set carry (effectively infinity).
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    40
  inline void set_carry_if_necessary(InvocationCounter *counter);
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 11572
diff changeset
    41
  // Set carry flags in the counters (in Method* and MDO).
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 11572
diff changeset
    42
  inline void handle_counter_overflow(Method* method);
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    43
  // Call and loop predicates determine whether a transition to a higher compilation
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    44
  // level should be performed (pointers to predicate functions are passed to common_TF().
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    45
  // Predicates also take compiler load into account.
28650
772aaab2582f 8059606: Enable per-method usage of CompileThresholdScaling (per-method compilation thresholds)
zmajo
parents: 13728
diff changeset
    46
  typedef bool (SimpleThresholdPolicy::*Predicate)(int i, int b, CompLevel cur_level, Method* method);
772aaab2582f 8059606: Enable per-method usage of CompileThresholdScaling (per-method compilation thresholds)
zmajo
parents: 13728
diff changeset
    47
  bool call_predicate(int i, int b, CompLevel cur_level, Method* method);
772aaab2582f 8059606: Enable per-method usage of CompileThresholdScaling (per-method compilation thresholds)
zmajo
parents: 13728
diff changeset
    48
  bool loop_predicate(int i, int b, CompLevel cur_level, Method* method);
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    49
  // Common transition function. Given a predicate determines if a method should transition to another level.
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 11572
diff changeset
    50
  CompLevel common(Predicate p, Method* method, CompLevel cur_level);
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    51
  // Transition functions.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    52
  // call_event determines if a method should be compiled at a different
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    53
  // level with a regular invocation entry.
38666
5ff19807abd5 8152311: [JVMCI] allow JVMCI compiler to change the compilation policy for a method
dnsimon
parents: 38133
diff changeset
    54
  CompLevel call_event(Method* method, CompLevel cur_level, JavaThread* thread);
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    55
  // loop_event checks if a method should be OSR compiled at a different
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    56
  // level.
38666
5ff19807abd5 8152311: [JVMCI] allow JVMCI compiler to change the compilation policy for a method
dnsimon
parents: 38133
diff changeset
    57
  CompLevel loop_event(Method* method, CompLevel cur_level, JavaThread* thread);
11192
ff37c2093a0d 7112085: assert(fr.interpreter_frame_expression_stack_size()==0) failed: only handle empty stacks
iveresov
parents: 10250
diff changeset
    58
  void print_counters(const char* prefix, methodHandle mh);
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    59
protected:
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    60
  int c1_count() const     { return _c1_count; }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    61
  int c2_count() const     { return _c2_count; }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    62
  void set_c1_count(int x) { _c1_count = x;    }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    63
  void set_c2_count(int x) { _c2_count = x;    }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    64
10014
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 9625
diff changeset
    65
  enum EventType { CALL, LOOP, COMPILE, REMOVE_FROM_QUEUE, UPDATE_IN_QUEUE, REPROFILE, MAKE_NOT_ENTRANT };
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    66
  void print_event(EventType type, methodHandle mh, methodHandle imh, int bci, CompLevel level);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    67
  // Print policy-specific information if necessary
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    68
  virtual void print_specific(EventType type, methodHandle mh, methodHandle imh, int bci, CompLevel level) { }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    69
  // Check if the method can be compiled, change level if necessary
33593
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 28650
diff changeset
    70
  void compile(const methodHandle& mh, int bci, CompLevel level, JavaThread* thread);
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    71
  // Submit a given method for compilation
33593
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 28650
diff changeset
    72
  virtual void submit_compile(const methodHandle& mh, int bci, CompLevel level, JavaThread* thread);
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    73
  // Simple methods are as good being compiled with C1 as C2.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    74
  // This function tells if it's such a function.
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 11572
diff changeset
    75
  inline bool is_trivial(Method* method);
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    76
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    77
  // Predicate helpers are used by .*_predicate() methods as well as others.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    78
  // They check the given counter values, multiplied by the scale against the thresholds.
28650
772aaab2582f 8059606: Enable per-method usage of CompileThresholdScaling (per-method compilation thresholds)
zmajo
parents: 13728
diff changeset
    79
  template<CompLevel level> static inline bool call_predicate_helper(int i, int b, double scale, Method* method);
772aaab2582f 8059606: Enable per-method usage of CompileThresholdScaling (per-method compilation thresholds)
zmajo
parents: 13728
diff changeset
    80
  template<CompLevel level> static inline bool loop_predicate_helper(int i, int b, double scale, Method* method);
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    81
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    82
  // Get a compilation level for a given method.
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 11572
diff changeset
    83
  static CompLevel comp_level(Method* method) {
38133
78b95467b9f1 8151956: Support non-continuous CodeBlobs in HotSpot
rbackman
parents: 33593
diff changeset
    84
    CompiledMethod *nm = method->code();
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    85
    if (nm != NULL && nm->is_in_use()) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    86
      return (CompLevel)nm->comp_level();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    87
    }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    88
    return CompLevel_none;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    89
  }
33593
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 28650
diff changeset
    90
  virtual void method_invocation_event(const methodHandle& method, const methodHandle& inlinee,
38133
78b95467b9f1 8151956: Support non-continuous CodeBlobs in HotSpot
rbackman
parents: 33593
diff changeset
    91
                                       CompLevel level, CompiledMethod* nm, JavaThread* thread);
33593
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 28650
diff changeset
    92
  virtual void method_back_branch_event(const methodHandle& method, const methodHandle& inlinee,
38133
78b95467b9f1 8151956: Support non-continuous CodeBlobs in HotSpot
rbackman
parents: 33593
diff changeset
    93
                                        int bci, CompLevel level, CompiledMethod* nm, JavaThread* thread);
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    94
public:
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    95
  SimpleThresholdPolicy() : _c1_count(0), _c2_count(0) { }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    96
  virtual int compiler_count(CompLevel comp_level) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    97
    if (is_c1_compile(comp_level)) return c1_count();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    98
    if (is_c2_compile(comp_level)) return c2_count();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    99
    return 0;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   100
  }
10250
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   101
  virtual CompLevel initial_compile_level() { return MIN2((CompLevel)TieredStopAtLevel, CompLevel_initial_compile); }
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   102
  virtual void do_safepoint_work() { }
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 11572
diff changeset
   103
  virtual void delay_compilation(Method* method) { }
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 11572
diff changeset
   104
  virtual void disable_compilation(Method* method) { }
8322
8f11ba61239f 7017434: Tiered needs to support reprofiling
iveresov
parents: 7397
diff changeset
   105
  virtual void reprofile(ScopeDesc* trap_scope, bool is_osr);
33593
60764a78fa5c 8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents: 28650
diff changeset
   106
  virtual nmethod* event(const methodHandle& method, const methodHandle& inlinee,
38133
78b95467b9f1 8151956: Support non-continuous CodeBlobs in HotSpot
rbackman
parents: 33593
diff changeset
   107
                         int branch_bci, int bci, CompLevel comp_level, CompiledMethod* nm, JavaThread* thread);
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   108
  // Select task is called by CompileBroker. We should return a task or NULL.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   109
  virtual CompileTask* select_task(CompileQueue* compile_queue);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   110
  // 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: 11572
diff changeset
   111
  virtual bool is_mature(Method* method);
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   112
  // Initialize: set compiler thread count
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   113
  virtual void initialize();
10014
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 9625
diff changeset
   114
  virtual bool should_not_inline(ciEnv* env, ciMethod* callee) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 9625
diff changeset
   115
    return (env->comp_level() == CompLevel_limited_profile ||
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 9625
diff changeset
   116
            env->comp_level() == CompLevel_full_profile) &&
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 9625
diff changeset
   117
            callee->has_loops();
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 9625
diff changeset
   118
  }
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   119
};
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
   120
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6453
diff changeset
   121
#endif // SHARE_VM_RUNTIME_SIMPLETHRESHOLDPOLICY_HPP