hotspot/src/share/vm/runtime/advancedThresholdPolicy.cpp
author twisti
Fri, 02 Sep 2011 00:36:18 -0700
changeset 10510 ab626d1bdf53
parent 10250 0794cd144834
child 11424 546f96b429fb
permissions -rw-r--r--
7085404: JSR 292: VolatileCallSites should have push notification too Reviewed-by: never, kvn
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
10250
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   192
  if (max_task->comp_level() == CompLevel_full_profile && TieredStopAtLevel > CompLevel_full_profile
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   193
      && is_method_profiled(max_method)) {
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   194
    max_task->set_comp_level(CompLevel_limited_profile);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   195
    if (PrintTieredEvents) {
10014
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   196
      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
   197
    }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   198
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   199
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   200
  return max_task;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   201
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   202
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   203
double AdvancedThresholdPolicy::threshold_scale(CompLevel level, int feedback_k) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   204
  double queue_size = CompileBroker::queue_size(level);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   205
  int comp_count = compiler_count(level);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   206
  double k = queue_size / (feedback_k * comp_count) + 1;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   207
  return k;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   208
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   209
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   210
// Call and loop predicates determine whether a transition to a higher
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   211
// compilation level should be performed (pointers to predicate functions
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   212
// are passed to common()).
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   213
// Tier?LoadFeedback is basically a coefficient that determines of
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   214
// how many methods per compiler thread can be in the queue before
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   215
// the threshold values double.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   216
bool AdvancedThresholdPolicy::loop_predicate(int i, int b, CompLevel cur_level) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   217
  switch(cur_level) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   218
  case CompLevel_none:
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   219
  case CompLevel_limited_profile: {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   220
    double k = threshold_scale(CompLevel_full_profile, Tier3LoadFeedback);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   221
    return loop_predicate_helper<CompLevel_none>(i, b, k);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   222
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   223
  case CompLevel_full_profile: {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   224
    double k = threshold_scale(CompLevel_full_optimization, Tier4LoadFeedback);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   225
    return loop_predicate_helper<CompLevel_full_profile>(i, b, k);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   226
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   227
  default:
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   228
    return true;
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
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   232
bool AdvancedThresholdPolicy::call_predicate(int i, int b, CompLevel cur_level) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   233
  switch(cur_level) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   234
  case CompLevel_none:
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   235
  case CompLevel_limited_profile: {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   236
    double k = threshold_scale(CompLevel_full_profile, Tier3LoadFeedback);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   237
    return call_predicate_helper<CompLevel_none>(i, b, k);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   238
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   239
  case CompLevel_full_profile: {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   240
    double k = threshold_scale(CompLevel_full_optimization, Tier4LoadFeedback);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   241
    return call_predicate_helper<CompLevel_full_profile>(i, b, k);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   242
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   243
  default:
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   244
    return true;
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
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   248
// 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
   249
// start profiling without waiting for the compiled method to arrive.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   250
// We also take the load on compilers into the account.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   251
bool AdvancedThresholdPolicy::should_create_mdo(methodOop method, CompLevel cur_level) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   252
  if (cur_level == CompLevel_none &&
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   253
      CompileBroker::queue_size(CompLevel_full_optimization) <=
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   254
      Tier3DelayOn * compiler_count(CompLevel_full_optimization)) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   255
    int i = method->invocation_count();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   256
    int b = method->backedge_count();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   257
    double k = Tier0ProfilingStartPercentage / 100.0;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   258
    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
   259
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   260
  return false;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   261
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   262
10014
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   263
// 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
   264
// 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
   265
bool AdvancedThresholdPolicy::should_not_inline(ciEnv* env, ciMethod* callee) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   266
  CompLevel comp_level = (CompLevel)env->comp_level();
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   267
  if (comp_level == CompLevel_full_profile ||
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   268
      comp_level == CompLevel_limited_profile) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   269
    return callee->highest_osr_comp_level() == CompLevel_full_optimization;
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   270
  }
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   271
  return false;
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   272
}
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   273
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   274
// Create MDO if necessary.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   275
void AdvancedThresholdPolicy::create_mdo(methodHandle mh, TRAPS) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   276
  if (mh->is_native() || mh->is_abstract() || mh->is_accessor()) return;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   277
  if (mh->method_data() == NULL) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   278
    methodOopDesc::build_interpreter_method_data(mh, THREAD);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   279
    if (HAS_PENDING_EXCEPTION) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   280
      CLEAR_PENDING_EXCEPTION;
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
/*
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   287
 * Method states:
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   288
 *   0 - interpreter (CompLevel_none)
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   289
 *   1 - pure C1 (CompLevel_simple)
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   290
 *   2 - C1 with invocation and backedge counting (CompLevel_limited_profile)
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   291
 *   3 - C1 with full profiling (CompLevel_full_profile)
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   292
 *   4 - C2 (CompLevel_full_optimization)
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   293
 *
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   294
 * Common state transition patterns:
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   295
 * a. 0 -> 3 -> 4.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   296
 *    The most common path. But note that even in this straightforward case
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   297
 *    profiling can start at level 0 and finish at level 3.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   298
 *
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   299
 * b. 0 -> 2 -> 3 -> 4.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   300
 *    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
   301
 *    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
   302
 *    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
   303
 *
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   304
 * c. 0 -> (3->2) -> 4.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   305
 *    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
   306
 *    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
   307
 *    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
   308
 *    is compiling.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   309
 *
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   310
 * d. 0 -> 3 -> 1 or 0 -> 2 -> 1.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   311
 *    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
   312
 *    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
   313
 *
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   314
 * e. 0 -> 4.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   315
 *    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
   316
 *    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
   317
 *    the compiled version already exists).
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   318
 *
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   319
 * 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
   320
 * are possible.
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
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   324
// Common transition function. Given a predicate determines if a method should transition to another level.
10250
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   325
CompLevel AdvancedThresholdPolicy::common(Predicate p, methodOop method, CompLevel cur_level, bool disable_feedback) {
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   326
  CompLevel next_level = cur_level;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   327
  int i = method->invocation_count();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   328
  int b = method->backedge_count();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   329
10250
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   330
  if (is_trivial(method)) {
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   331
    next_level = CompLevel_simple;
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   332
  } else {
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   333
    switch(cur_level) {
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   334
    case CompLevel_none:
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   335
      // If we were at full profile level, would we switch to full opt?
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   336
      if (common(p, method, CompLevel_full_profile, disable_feedback) == CompLevel_full_optimization) {
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   337
        next_level = CompLevel_full_optimization;
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   338
      } else if ((this->*p)(i, b, cur_level)) {
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   339
        // C1-generated fully profiled code is about 30% slower than the limited profile
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   340
        // code that has only invocation and backedge counters. The observation is that
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   341
        // if C2 queue is large enough we can spend too much time in the fully profiled code
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   342
        // while waiting for C2 to pick the method from the queue. To alleviate this problem
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   343
        // we introduce a feedback on the C2 queue size. If the C2 queue is sufficiently long
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   344
        // we choose to compile a limited profiled version and then recompile with full profiling
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   345
        // when the load on C2 goes down.
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   346
        if (!disable_feedback && CompileBroker::queue_size(CompLevel_full_optimization) >
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   347
                                 Tier3DelayOn * compiler_count(CompLevel_full_optimization)) {
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   348
          next_level = CompLevel_limited_profile;
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   349
        } else {
10250
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   350
          next_level = CompLevel_full_profile;
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   351
        }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   352
      }
10250
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   353
      break;
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   354
    case CompLevel_limited_profile:
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   355
      if (is_method_profiled(method)) {
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   356
        // Special case: we got here because this method was fully profiled in the interpreter.
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   357
        next_level = CompLevel_full_optimization;
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   358
      } else {
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   359
        methodDataOop mdo = method->method_data();
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   360
        if (mdo != NULL) {
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   361
          if (mdo->would_profile()) {
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   362
            if (disable_feedback || (CompileBroker::queue_size(CompLevel_full_optimization) <=
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   363
                                     Tier3DelayOff * compiler_count(CompLevel_full_optimization) &&
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   364
                                     (this->*p)(i, b, cur_level))) {
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   365
              next_level = CompLevel_full_profile;
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   366
            }
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   367
          } else {
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   368
            next_level = CompLevel_full_optimization;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   369
          }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   370
        }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   371
      }
10250
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   372
      break;
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   373
    case CompLevel_full_profile:
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   374
      {
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   375
        methodDataOop mdo = method->method_data();
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   376
        if (mdo != NULL) {
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   377
          if (mdo->would_profile()) {
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   378
            int mdo_i = mdo->invocation_count_delta();
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   379
            int mdo_b = mdo->backedge_count_delta();
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   380
            if ((this->*p)(mdo_i, mdo_b, cur_level)) {
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   381
              next_level = CompLevel_full_optimization;
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   382
            }
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   383
          } else {
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   384
            next_level = CompLevel_full_optimization;
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   385
          }
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   386
        }
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   387
      }
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   388
      break;
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   389
    }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   390
  }
10250
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   391
  return MIN2(next_level, (CompLevel)TieredStopAtLevel);
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   392
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   393
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   394
// 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
   395
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
   396
  CompLevel osr_level = MIN2((CompLevel) method->highest_osr_comp_level(),
10250
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   397
                             common(&AdvancedThresholdPolicy::loop_predicate, method, cur_level, true));
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   398
  CompLevel next_level = common(&AdvancedThresholdPolicy::call_predicate, method, cur_level);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   399
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   400
  // 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
   401
  // equalized by raising the regular method level in order to avoid OSRs during each
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   402
  // invocation of the method.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   403
  if (osr_level == CompLevel_full_optimization && cur_level == CompLevel_full_profile) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   404
    methodDataOop mdo = method->method_data();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   405
    guarantee(mdo != NULL, "MDO should not be NULL");
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   406
    if (mdo->invocation_count() >= 1) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   407
      next_level = CompLevel_full_optimization;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   408
    }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   409
  } else {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   410
    next_level = MAX2(osr_level, next_level);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   411
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   412
  return next_level;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   413
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   414
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   415
// Determine if we should do an OSR compilation of a given method.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   416
CompLevel AdvancedThresholdPolicy::loop_event(methodOop method, CompLevel cur_level) {
10250
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   417
  CompLevel next_level = common(&AdvancedThresholdPolicy::loop_predicate, method, cur_level, true);
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   418
  if (cur_level == CompLevel_none) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   419
    // 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
   420
    // for the transition.
10013
714ad59b56cb 7058689: Tiered: Reprofiling doesn't happen in presence of level 4 OSR methods
iveresov
parents: 9625
diff changeset
   421
    CompLevel osr_level = MIN2((CompLevel)method->highest_osr_comp_level(), next_level);
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   422
    if (osr_level > CompLevel_none) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   423
      return osr_level;
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   424
    }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   425
  }
10013
714ad59b56cb 7058689: Tiered: Reprofiling doesn't happen in presence of level 4 OSR methods
iveresov
parents: 9625
diff changeset
   426
  return next_level;
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   427
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   428
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   429
// Update the rate and submit compile
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   430
void AdvancedThresholdPolicy::submit_compile(methodHandle mh, int bci, CompLevel level, TRAPS) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   431
  int hot_count = (bci == InvocationEntryBci) ? mh->invocation_count() : mh->backedge_count();
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   432
  update_rate(os::javaTimeMillis(), mh());
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   433
  CompileBroker::compile_method(mh, bci, level, mh, hot_count, "tiered", THREAD);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   434
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   435
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   436
// Handle the invocation event.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   437
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
   438
                                                      CompLevel level, nmethod* nm, TRAPS) {
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   439
  if (should_create_mdo(mh(), level)) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   440
    create_mdo(mh, THREAD);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   441
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   442
  if (is_compilation_enabled() && !CompileBroker::compilation_is_in_queue(mh, InvocationEntryBci)) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   443
    CompLevel next_level = call_event(mh(), level);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   444
    if (next_level != level) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   445
      compile(mh, InvocationEntryBci, next_level, THREAD);
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
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   449
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   450
// Handle the back branch event. Notice that we can compile the method
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   451
// with a regular entry from here.
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   452
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
   453
                                                       int bci, CompLevel level, nmethod* nm, TRAPS) {
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   454
  if (should_create_mdo(mh(), level)) {
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   455
    create_mdo(mh, THREAD);
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   456
  }
10014
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   457
  // 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
   458
  if (should_create_mdo(imh(), level)) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   459
    create_mdo(imh, THREAD);
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   460
  }
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   461
10014
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   462
  if (is_compilation_enabled()) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   463
    CompLevel next_osr_level = loop_event(imh(), level);
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   464
    CompLevel max_osr_level = (CompLevel)imh->highest_osr_comp_level();
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   465
    // At the very least compile the OSR version
10250
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   466
    if (!CompileBroker::compilation_is_in_queue(imh, bci) && next_osr_level != level) {
0794cd144834 7066339: Tiered: policy should make consistent decisions about osr levels
iveresov
parents: 10014
diff changeset
   467
      compile(imh, bci, next_osr_level, THREAD);
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   468
    }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   469
10014
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   470
    // 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
   471
    // enough calls.
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   472
    CompLevel cur_level, next_level;
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   473
    if (mh() != imh()) { // If there is an enclosing method
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   474
      guarantee(nm != NULL, "Should have nmethod here");
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   475
      cur_level = comp_level(mh());
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   476
      next_level = call_event(mh(), cur_level);
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   477
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   478
      if (max_osr_level == CompLevel_full_optimization) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   479
        // 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
   480
        bool make_not_entrant = false;
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   481
        if (nm->is_osr_method()) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   482
          // 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
   483
          make_not_entrant = true;
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   484
        } else {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   485
          if (next_level != CompLevel_full_optimization) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   486
            // 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
   487
            // enclosing method without the inlinee
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   488
            cur_level = CompLevel_none;
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   489
            make_not_entrant = true;
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   490
          }
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   491
        }
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   492
        if (make_not_entrant) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   493
          if (PrintTieredEvents) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   494
            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
   495
            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
   496
          }
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   497
          nm->make_not_entrant();
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   498
        }
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   499
      }
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   500
      if (!CompileBroker::compilation_is_in_queue(mh, InvocationEntryBci)) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   501
        // Fix up next_level if necessary to avoid deopts
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   502
        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
   503
          next_level = CompLevel_full_profile;
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   504
        }
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   505
        if (cur_level != next_level) {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   506
          compile(mh, InvocationEntryBci, next_level, THREAD);
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
      }
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   509
    } else {
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   510
      cur_level = comp_level(imh());
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   511
      next_level = call_event(imh(), cur_level);
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   512
      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
   513
        compile(imh, InvocationEntryBci, next_level, THREAD);
a5c2141ee857 7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents: 10013
diff changeset
   514
      }
8667
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   515
    }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   516
  }
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   517
}
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   518
b32929355d27 7020403: Add AdvancedCompilationPolicy for tiered
iveresov
parents:
diff changeset
   519
#endif // TIERED