hotspot/src/share/vm/runtime/advancedThresholdPolicy.cpp
author iveresov
Fri, 01 Jul 2011 10:37:37 -0700
changeset 10014 a5c2141ee857
parent 10013 714ad59b56cb
child 10250 0794cd144834
permissions -rw-r--r--
7057120: Tiered: Allow C1 to inline methods with loops Summary: Recompile the enclosing methods without inlining of the method that has OSRed to level 4 or recompile the enclosing method at level 4. Reviewed-by: kvn, never
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
     1
/*
9625
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
     2
 * Copyright (c) 2010, 2011, Oracle and/or its affiliates. All rights reserved.
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
     4
 *
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
     7
 * published by the Free Software Foundation.
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
     8
 *
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
    13
 * accompanied this code).
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
    14
 *
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
    18
 *
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
    21
 * questions.
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
    22
 *
822a93889b58 7043564: compile warning and copyright fixes
iveresov
parents: 8667
diff changeset
    23
 */
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    24
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    25
#include "precompiled.hpp"
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    26
#include "runtime/advancedThresholdPolicy.hpp"
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    27
#include "runtime/simpleThresholdPolicy.inline.hpp"
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    28
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    29
#ifdef TIERED
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    30
// Print an event.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    31
void AdvancedThresholdPolicy::print_specific(EventType type, methodHandle mh, methodHandle imh,
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    32
                                             int bci, CompLevel level) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    33
  tty->print(" rate: ");
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    34
  if (mh->prev_time() == 0) tty->print("n/a");
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    35
  else tty->print("%f", mh->rate());
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    36
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    37
  tty->print(" k: %.2lf,%.2lf", threshold_scale(CompLevel_full_profile, Tier3LoadFeedback),
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    38
                                threshold_scale(CompLevel_full_optimization, Tier4LoadFeedback));
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    39
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    40
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    41
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    42
void AdvancedThresholdPolicy::initialize() {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    43
  // Turn on ergonomic compiler count selection
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    44
  if (FLAG_IS_DEFAULT(CICompilerCountPerCPU) && FLAG_IS_DEFAULT(CICompilerCount)) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    45
    FLAG_SET_DEFAULT(CICompilerCountPerCPU, true);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    46
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    47
  int count = CICompilerCount;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    48
  if (CICompilerCountPerCPU) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    49
    // Simple log n seems to grow too slowly for tiered, try something faster: log n * log log n
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    50
    int log_cpu = log2_intptr(os::active_processor_count());
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    51
    int loglog_cpu = log2_intptr(MAX2(log_cpu, 1));
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    52
    count = MAX2(log_cpu * loglog_cpu, 1) * 3 / 2;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    53
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    54
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    55
  set_c1_count(MAX2(count / 3, 1));
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    56
  set_c2_count(MAX2(count - count / 3, 1));
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    57
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    58
  // Some inlining tuning
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    59
#ifdef X86
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    60
  if (FLAG_IS_DEFAULT(InlineSmallCode)) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    61
    FLAG_SET_DEFAULT(InlineSmallCode, 2000);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    62
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    63
#endif
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    64
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    65
#ifdef SPARC
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    66
  if (FLAG_IS_DEFAULT(InlineSmallCode)) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    67
    FLAG_SET_DEFAULT(InlineSmallCode, 2500);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    68
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    69
#endif
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    70
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    71
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    72
  set_start_time(os::javaTimeMillis());
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    73
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    74
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    75
// update_rate() is called from select_task() while holding a compile queue lock.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    76
void AdvancedThresholdPolicy::update_rate(jlong t, methodOop m) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    77
  if (is_old(m)) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    78
    // We don't remove old methods from the queue,
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    79
    // so we can just zero the rate.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    80
    m->set_rate(0);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    81
    return;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    82
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    83
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    84
  // We don't update the rate if we've just came out of a safepoint.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    85
  // delta_s is the time since last safepoint in milliseconds.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    86
  jlong delta_s = t - SafepointSynchronize::end_of_last_safepoint();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    87
  jlong delta_t = t - (m->prev_time() != 0 ? m->prev_time() : start_time()); // milliseconds since the last measurement
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    88
  // How many events were there since the last time?
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    89
  int event_count = m->invocation_count() + m->backedge_count();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    90
  int delta_e = event_count - m->prev_event_count();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    91
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    92
  // We should be running for at least 1ms.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    93
  if (delta_s >= TieredRateUpdateMinTime) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    94
    // And we must've taken the previous point at least 1ms before.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    95
    if (delta_t >= TieredRateUpdateMinTime && delta_e > 0) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    96
      m->set_prev_time(t);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    97
      m->set_prev_event_count(event_count);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    98
      m->set_rate((float)delta_e / (float)delta_t); // Rate is events per millisecond
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
    99
    } else
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   100
      if (delta_t > TieredRateUpdateMaxTime && delta_e == 0) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   101
        // If nothing happened for 25ms, zero the rate. Don't modify prev values.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   102
        m->set_rate(0);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   103
      }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   104
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   105
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   106
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   107
// Check if this method has been stale from a given number of milliseconds.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   108
// See select_task().
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   109
bool AdvancedThresholdPolicy::is_stale(jlong t, jlong timeout, methodOop m) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   110
  jlong delta_s = t - SafepointSynchronize::end_of_last_safepoint();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   111
  jlong delta_t = t - m->prev_time();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   112
  if (delta_t > timeout && delta_s > timeout) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   113
    int event_count = m->invocation_count() + m->backedge_count();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   114
    int delta_e = event_count - m->prev_event_count();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   115
    // Return true if there were no events.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   116
    return delta_e == 0;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   117
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   118
  return false;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   119
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   120
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   121
// We don't remove old methods from the compile queue even if they have
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   122
// very low activity. See select_task().
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   123
bool AdvancedThresholdPolicy::is_old(methodOop method) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   124
  return method->invocation_count() > 50000 || method->backedge_count() > 500000;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   125
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   126
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   127
double AdvancedThresholdPolicy::weight(methodOop method) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   128
  return (method->rate() + 1) * ((method->invocation_count() + 1) *  (method->backedge_count() + 1));
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   129
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   130
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   131
// Apply heuristics and return true if x should be compiled before y
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   132
bool AdvancedThresholdPolicy::compare_methods(methodOop x, methodOop y) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   133
  if (x->highest_comp_level() > y->highest_comp_level()) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   134
    // recompilation after deopt
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   135
    return true;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   136
  } else
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   137
    if (x->highest_comp_level() == y->highest_comp_level()) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   138
      if (weight(x) > weight(y)) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   139
        return true;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   140
      }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   141
    }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   142
  return false;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   143
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   144
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   145
// Is method profiled enough?
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   146
bool AdvancedThresholdPolicy::is_method_profiled(methodOop method) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   147
  methodDataOop mdo = method->method_data();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   148
  if (mdo != NULL) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   149
    int i = mdo->invocation_count_delta();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   150
    int b = mdo->backedge_count_delta();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   151
    return call_predicate_helper<CompLevel_full_profile>(i, b, 1);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   152
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   153
  return false;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   154
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   155
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   156
// Called with the queue locked and with at least one element
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   157
CompileTask* AdvancedThresholdPolicy::select_task(CompileQueue* compile_queue) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   158
  CompileTask *max_task = NULL;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   159
  methodOop max_method;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   160
  jlong t = os::javaTimeMillis();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   161
  // Iterate through the queue and find a method with a maximum rate.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   162
  for (CompileTask* task = compile_queue->first(); task != NULL;) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   163
    CompileTask* next_task = task->next();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   164
    methodOop method = (methodOop)JNIHandles::resolve(task->method_handle());
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   165
    methodDataOop mdo = method->method_data();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   166
    update_rate(t, method);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   167
    if (max_task == NULL) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   168
      max_task = task;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   169
      max_method = method;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   170
    } else {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   171
      // If a method has been stale for some time, remove it from the queue.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   172
      if (is_stale(t, TieredCompileTaskTimeout, method) && !is_old(method)) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   173
        if (PrintTieredEvents) {
10014
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   174
          print_event(REMOVE_FROM_QUEUE, method, method, task->osr_bci(), (CompLevel)task->comp_level());
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   175
        }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   176
        CompileTaskWrapper ctw(task); // Frees the task
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   177
        compile_queue->remove(task);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   178
        method->clear_queued_for_compilation();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   179
        task = next_task;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   180
        continue;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   181
      }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   182
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   183
      // Select a method with a higher rate
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   184
      if (compare_methods(method, max_method)) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   185
        max_task = task;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   186
        max_method = method;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   187
      }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   188
    }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   189
    task = next_task;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   190
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   191
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   192
  if (max_task->comp_level() == CompLevel_full_profile && is_method_profiled(max_method)) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   193
    max_task->set_comp_level(CompLevel_limited_profile);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   194
    if (PrintTieredEvents) {
10014
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   195
      print_event(UPDATE_IN_QUEUE, max_method, max_method, max_task->osr_bci(), (CompLevel)max_task->comp_level());
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   196
    }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   197
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   198
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   199
  return max_task;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   200
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   201
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   202
double AdvancedThresholdPolicy::threshold_scale(CompLevel level, int feedback_k) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   203
  double queue_size = CompileBroker::queue_size(level);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   204
  int comp_count = compiler_count(level);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   205
  double k = queue_size / (feedback_k * comp_count) + 1;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   206
  return k;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   207
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   208
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   209
// Call and loop predicates determine whether a transition to a higher
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   210
// compilation level should be performed (pointers to predicate functions
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   211
// are passed to common()).
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   212
// Tier?LoadFeedback is basically a coefficient that determines of
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   213
// how many methods per compiler thread can be in the queue before
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   214
// the threshold values double.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   215
bool AdvancedThresholdPolicy::loop_predicate(int i, int b, CompLevel cur_level) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   216
  switch(cur_level) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   217
  case CompLevel_none:
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   218
  case CompLevel_limited_profile: {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   219
    double k = threshold_scale(CompLevel_full_profile, Tier3LoadFeedback);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   220
    return loop_predicate_helper<CompLevel_none>(i, b, k);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   221
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   222
  case CompLevel_full_profile: {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   223
    double k = threshold_scale(CompLevel_full_optimization, Tier4LoadFeedback);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   224
    return loop_predicate_helper<CompLevel_full_profile>(i, b, k);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   225
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   226
  default:
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   227
    return true;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   228
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   229
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   230
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   231
bool AdvancedThresholdPolicy::call_predicate(int i, int b, CompLevel cur_level) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   232
  switch(cur_level) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   233
  case CompLevel_none:
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   234
  case CompLevel_limited_profile: {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   235
    double k = threshold_scale(CompLevel_full_profile, Tier3LoadFeedback);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   236
    return call_predicate_helper<CompLevel_none>(i, b, k);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   237
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   238
  case CompLevel_full_profile: {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   239
    double k = threshold_scale(CompLevel_full_optimization, Tier4LoadFeedback);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   240
    return call_predicate_helper<CompLevel_full_profile>(i, b, k);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   241
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   242
  default:
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   243
    return true;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   244
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   245
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   246
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   247
// If a method is old enough and is still in the interpreter we would want to
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   248
// start profiling without waiting for the compiled method to arrive.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   249
// We also take the load on compilers into the account.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   250
bool AdvancedThresholdPolicy::should_create_mdo(methodOop method, CompLevel cur_level) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   251
  if (cur_level == CompLevel_none &&
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   252
      CompileBroker::queue_size(CompLevel_full_optimization) <=
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   253
      Tier3DelayOn * compiler_count(CompLevel_full_optimization)) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   254
    int i = method->invocation_count();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   255
    int b = method->backedge_count();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   256
    double k = Tier0ProfilingStartPercentage / 100.0;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   257
    return call_predicate_helper<CompLevel_none>(i, b, k) || loop_predicate_helper<CompLevel_none>(i, b, k);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   258
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   259
  return false;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   260
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   261
10014
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   262
// Inlining control: if we're compiling a profiled method with C1 and the callee
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   263
// is known to have OSRed in a C2 version, don't inline it.
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   264
bool AdvancedThresholdPolicy::should_not_inline(ciEnv* env, ciMethod* callee) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   265
  CompLevel comp_level = (CompLevel)env->comp_level();
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   266
  if (comp_level == CompLevel_full_profile ||
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   267
      comp_level == CompLevel_limited_profile) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   268
    return callee->highest_osr_comp_level() == CompLevel_full_optimization;
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   269
  }
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   270
  return false;
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   271
}
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   272
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   273
// Create MDO if necessary.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   274
void AdvancedThresholdPolicy::create_mdo(methodHandle mh, TRAPS) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   275
  if (mh->is_native() || mh->is_abstract() || mh->is_accessor()) return;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   276
  if (mh->method_data() == NULL) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   277
    methodOopDesc::build_interpreter_method_data(mh, THREAD);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   278
    if (HAS_PENDING_EXCEPTION) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   279
      CLEAR_PENDING_EXCEPTION;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   280
    }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   281
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   282
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   283
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   284
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   285
/*
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   286
 * Method states:
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   287
 *   0 - interpreter (CompLevel_none)
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   288
 *   1 - pure C1 (CompLevel_simple)
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   289
 *   2 - C1 with invocation and backedge counting (CompLevel_limited_profile)
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   290
 *   3 - C1 with full profiling (CompLevel_full_profile)
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   291
 *   4 - C2 (CompLevel_full_optimization)
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   292
 *
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   293
 * Common state transition patterns:
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   294
 * a. 0 -> 3 -> 4.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   295
 *    The most common path. But note that even in this straightforward case
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   296
 *    profiling can start at level 0 and finish at level 3.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   297
 *
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   298
 * b. 0 -> 2 -> 3 -> 4.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   299
 *    This case occures when the load on C2 is deemed too high. So, instead of transitioning
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   300
 *    into state 3 directly and over-profiling while a method is in the C2 queue we transition to
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   301
 *    level 2 and wait until the load on C2 decreases. This path is disabled for OSRs.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   302
 *
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   303
 * c. 0 -> (3->2) -> 4.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   304
 *    In this case we enqueue a method for compilation at level 3, but the C1 queue is long enough
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   305
 *    to enable the profiling to fully occur at level 0. In this case we change the compilation level
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   306
 *    of the method to 2, because it'll allow it to run much faster without full profiling while c2
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   307
 *    is compiling.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   308
 *
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   309
 * d. 0 -> 3 -> 1 or 0 -> 2 -> 1.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   310
 *    After a method was once compiled with C1 it can be identified as trivial and be compiled to
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   311
 *    level 1. These transition can also occur if a method can't be compiled with C2 but can with C1.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   312
 *
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   313
 * e. 0 -> 4.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   314
 *    This can happen if a method fails C1 compilation (it will still be profiled in the interpreter)
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   315
 *    or because of a deopt that didn't require reprofiling (compilation won't happen in this case because
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   316
 *    the compiled version already exists).
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   317
 *
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   318
 * Note that since state 0 can be reached from any other state via deoptimization different loops
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   319
 * are possible.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   320
 *
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   321
 */
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   322
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   323
// Common transition function. Given a predicate determines if a method should transition to another level.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   324
CompLevel AdvancedThresholdPolicy::common(Predicate p, methodOop method, CompLevel cur_level) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   325
  if (is_trivial(method)) return CompLevel_simple;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   326
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   327
  CompLevel next_level = cur_level;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   328
  int i = method->invocation_count();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   329
  int b = method->backedge_count();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   330
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   331
  switch(cur_level) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   332
  case CompLevel_none:
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   333
    // If we were at full profile level, would we switch to full opt?
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   334
    if (common(p, method, CompLevel_full_profile) == CompLevel_full_optimization) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   335
      next_level = CompLevel_full_optimization;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   336
    } else if ((this->*p)(i, b, cur_level)) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   337
      // C1-generated fully profiled code is about 30% slower than the limited profile
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   338
      // code that has only invocation and backedge counters. The observation is that
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   339
      // if C2 queue is large enough we can spend too much time in the fully profiled code
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   340
      // while waiting for C2 to pick the method from the queue. To alleviate this problem
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   341
      // we introduce a feedback on the C2 queue size. If the C2 queue is sufficiently long
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   342
      // we choose to compile a limited profiled version and then recompile with full profiling
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   343
      // when the load on C2 goes down.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   344
      if (CompileBroker::queue_size(CompLevel_full_optimization) >
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   345
          Tier3DelayOn * compiler_count(CompLevel_full_optimization)) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   346
        next_level = CompLevel_limited_profile;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   347
      } else {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   348
        next_level = CompLevel_full_profile;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   349
      }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   350
    }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   351
    break;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   352
  case CompLevel_limited_profile:
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   353
    if (is_method_profiled(method)) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   354
      // Special case: we got here because this method was fully profiled in the interpreter.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   355
      next_level = CompLevel_full_optimization;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   356
    } else {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   357
      methodDataOop mdo = method->method_data();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   358
      if (mdo != NULL) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   359
        if (mdo->would_profile()) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   360
          if (CompileBroker::queue_size(CompLevel_full_optimization) <=
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   361
              Tier3DelayOff * compiler_count(CompLevel_full_optimization) &&
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   362
              (this->*p)(i, b, cur_level)) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   363
            next_level = CompLevel_full_profile;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   364
          }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   365
        } else {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   366
          next_level = CompLevel_full_optimization;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   367
        }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   368
      }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   369
    }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   370
    break;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   371
  case CompLevel_full_profile:
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   372
    {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   373
      methodDataOop mdo = method->method_data();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   374
      if (mdo != NULL) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   375
        if (mdo->would_profile()) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   376
          int mdo_i = mdo->invocation_count_delta();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   377
          int mdo_b = mdo->backedge_count_delta();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   378
          if ((this->*p)(mdo_i, mdo_b, cur_level)) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   379
            next_level = CompLevel_full_optimization;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   380
          }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   381
        } else {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   382
          next_level = CompLevel_full_optimization;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   383
        }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   384
      }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   385
    }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   386
    break;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   387
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   388
  return next_level;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   389
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   390
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   391
// Determine if a method should be compiled with a normal entry point at a different level.
10013
714ad59b56cb 7058689: Tiered: Reprofiling doesn't happen in presence of level 4 OSR methods
iveresov
parents: 9625
diff changeset
   392
CompLevel AdvancedThresholdPolicy::call_event(methodOop method, CompLevel cur_level) {
714ad59b56cb 7058689: Tiered: Reprofiling doesn't happen in presence of level 4 OSR methods
iveresov
parents: 9625
diff changeset
   393
  CompLevel osr_level = MIN2((CompLevel) method->highest_osr_comp_level(),
714ad59b56cb 7058689: Tiered: Reprofiling doesn't happen in presence of level 4 OSR methods
iveresov
parents: 9625
diff changeset
   394
                             common(&AdvancedThresholdPolicy::loop_predicate, method, cur_level));
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   395
  CompLevel next_level = common(&AdvancedThresholdPolicy::call_predicate, method, cur_level);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   396
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   397
  // If OSR method level is greater than the regular method level, the levels should be
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   398
  // equalized by raising the regular method level in order to avoid OSRs during each
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   399
  // invocation of the method.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   400
  if (osr_level == CompLevel_full_optimization && cur_level == CompLevel_full_profile) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   401
    methodDataOop mdo = method->method_data();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   402
    guarantee(mdo != NULL, "MDO should not be NULL");
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   403
    if (mdo->invocation_count() >= 1) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   404
      next_level = CompLevel_full_optimization;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   405
    }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   406
  } else {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   407
    next_level = MAX2(osr_level, next_level);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   408
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   409
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   410
  return next_level;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   411
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   412
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   413
// Determine if we should do an OSR compilation of a given method.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   414
CompLevel AdvancedThresholdPolicy::loop_event(methodOop method, CompLevel cur_level) {
10013
714ad59b56cb 7058689: Tiered: Reprofiling doesn't happen in presence of level 4 OSR methods
iveresov
parents: 9625
diff changeset
   415
  CompLevel next_level = common(&AdvancedThresholdPolicy::loop_predicate, method, cur_level);
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   416
  if (cur_level == CompLevel_none) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   417
    // If there is a live OSR method that means that we deopted to the interpreter
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   418
    // for the transition.
10013
714ad59b56cb 7058689: Tiered: Reprofiling doesn't happen in presence of level 4 OSR methods
iveresov
parents: 9625
diff changeset
   419
    CompLevel osr_level = MIN2((CompLevel)method->highest_osr_comp_level(), next_level);
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   420
    if (osr_level > CompLevel_none) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   421
      return osr_level;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   422
    }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   423
  }
10013
714ad59b56cb 7058689: Tiered: Reprofiling doesn't happen in presence of level 4 OSR methods
iveresov
parents: 9625
diff changeset
   424
  return next_level;
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   425
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   426
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   427
// Update the rate and submit compile
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   428
void AdvancedThresholdPolicy::submit_compile(methodHandle mh, int bci, CompLevel level, TRAPS) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   429
  int hot_count = (bci == InvocationEntryBci) ? mh->invocation_count() : mh->backedge_count();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   430
  update_rate(os::javaTimeMillis(), mh());
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   431
  CompileBroker::compile_method(mh, bci, level, mh, hot_count, "tiered", THREAD);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   432
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   433
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   434
// Handle the invocation event.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   435
void AdvancedThresholdPolicy::method_invocation_event(methodHandle mh, methodHandle imh,
10014
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   436
                                                      CompLevel level, nmethod* nm, TRAPS) {
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   437
  if (should_create_mdo(mh(), level)) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   438
    create_mdo(mh, THREAD);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   439
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   440
  if (is_compilation_enabled() && !CompileBroker::compilation_is_in_queue(mh, InvocationEntryBci)) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   441
    CompLevel next_level = call_event(mh(), level);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   442
    if (next_level != level) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   443
      compile(mh, InvocationEntryBci, next_level, THREAD);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   444
    }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   445
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   446
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   447
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   448
// Handle the back branch event. Notice that we can compile the method
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   449
// with a regular entry from here.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   450
void AdvancedThresholdPolicy::method_back_branch_event(methodHandle mh, methodHandle imh,
10014
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   451
                                                       int bci, CompLevel level, nmethod* nm, TRAPS) {
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   452
  if (should_create_mdo(mh(), level)) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   453
    create_mdo(mh, THREAD);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   454
  }
10014
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   455
  // Check if MDO should be created for the inlined method
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   456
  if (should_create_mdo(imh(), level)) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   457
    create_mdo(imh, THREAD);
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   458
  }
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   459
10014
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   460
  if (is_compilation_enabled()) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   461
    CompLevel next_osr_level = loop_event(imh(), level);
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   462
    CompLevel max_osr_level = (CompLevel)imh->highest_osr_comp_level();
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   463
    if (next_osr_level  == CompLevel_limited_profile) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   464
      next_osr_level = CompLevel_full_profile; // OSRs are supposed to be for very hot methods.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   465
    }
10014
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   466
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   467
    // At the very least compile the OSR version
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   468
    if (!CompileBroker::compilation_is_in_queue(imh, bci)) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   469
      // Check if there's a method like that already
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   470
      nmethod* osr_nm = NULL;
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   471
      if (max_osr_level >= next_osr_level) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   472
        // There is an osr method already with the same
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   473
        // or greater level, check if it has the bci we need
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   474
        osr_nm = imh->lookup_osr_nmethod_for(bci, next_osr_level, false);
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   475
      }
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   476
      if (osr_nm == NULL) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   477
        compile(imh, bci, next_osr_level, THREAD);
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   478
      }
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   479
    }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   480
10014
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   481
    // Use loop event as an opportunity to also check if there's been
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   482
    // enough calls.
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   483
    CompLevel cur_level, next_level;
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   484
    if (mh() != imh()) { // If there is an enclosing method
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   485
      guarantee(nm != NULL, "Should have nmethod here");
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   486
      cur_level = comp_level(mh());
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   487
      next_level = call_event(mh(), cur_level);
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   488
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   489
      if (max_osr_level == CompLevel_full_optimization) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   490
        // The inlinee OSRed to full opt, we need to modify the enclosing method to avoid deopts
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   491
        bool make_not_entrant = false;
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   492
        if (nm->is_osr_method()) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   493
          // This is an osr method, just make it not entrant and recompile later if needed
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   494
          make_not_entrant = true;
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   495
        } else {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   496
          if (next_level != CompLevel_full_optimization) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   497
            // next_level is not full opt, so we need to recompile the
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   498
            // enclosing method without the inlinee
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   499
            cur_level = CompLevel_none;
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   500
            make_not_entrant = true;
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   501
          }
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   502
        }
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   503
        if (make_not_entrant) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   504
          if (PrintTieredEvents) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   505
            int osr_bci = nm->is_osr_method() ? nm->osr_entry_bci() : InvocationEntryBci;
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   506
            print_event(MAKE_NOT_ENTRANT, mh(), mh(), osr_bci, level);
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   507
          }
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   508
          nm->make_not_entrant();
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   509
        }
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   510
      }
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   511
      if (!CompileBroker::compilation_is_in_queue(mh, InvocationEntryBci)) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   512
        // Fix up next_level if necessary to avoid deopts
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   513
        if (next_level == CompLevel_limited_profile && max_osr_level == CompLevel_full_profile) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   514
          next_level = CompLevel_full_profile;
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   515
        }
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   516
        if (cur_level != next_level) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   517
          compile(mh, InvocationEntryBci, next_level, THREAD);
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   518
        }
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   519
      }
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   520
    } else {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   521
      cur_level = comp_level(imh());
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   522
      next_level = call_event(imh(), cur_level);
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   523
      if (!CompileBroker::compilation_is_in_queue(imh, bci) && next_level != cur_level) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   524
        compile(imh, InvocationEntryBci, next_level, THREAD);
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   525
      }
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   526
    }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   527
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   528
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   529
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   530
#endif // TIERED