hotspot/src/share/vm/runtime/simpleThresholdPolicy.cpp
author iveresov
Tue, 16 Nov 2010 15:57:16 -0800
changeset 7389 93110864f81e
parent 6453 970dc585ab63
child 7397 5b173b4ca846
permissions -rw-r--r--
7000349: Tiered reacts incorrectly to C1 compilation failures Summary: Fix policy reaction to C1 comilation failures, make C1 properly report errors. Reviewed-by: kvn
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
     1
/*
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
     2
 * Copyright (c) 2001, 2010, Oracle and/or its affiliates. All rights reserved.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
     4
 *
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
     7
 * published by the Free Software Foundation.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
     8
 *
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    13
 * accompanied this code).
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    14
 *
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    18
 *
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    21
 * questions.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    22
 *
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    23
 */
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    24
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    25
# include "incls/_precompiled.incl"
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    26
# include "incls/_simpleThresholdPolicy.cpp.incl"
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    27
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    28
// Print an event.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    29
void SimpleThresholdPolicy::print_event(EventType type, methodHandle mh, methodHandle imh,
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    30
                                        int bci, CompLevel level) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    31
  bool inlinee_event = mh() != imh();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    32
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    33
  ttyLocker tty_lock;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    34
  tty->print("%lf: [", os::elapsedTime());
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    35
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    36
  int invocation_count = mh->invocation_count();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    37
  int backedge_count = mh->backedge_count();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    38
  switch(type) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    39
  case CALL:
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    40
    tty->print("call");
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    41
    break;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    42
  case LOOP:
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    43
    tty->print("loop");
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    44
    break;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    45
  case COMPILE:
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    46
    tty->print("compile");
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    47
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    48
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    49
  tty->print(" level: %d ", level);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    50
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    51
  ResourceMark rm;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    52
  char *method_name = mh->name_and_sig_as_C_string();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    53
  tty->print("[%s", method_name);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    54
  // We can have an inlinee, although currently we don't generate any notifications for the inlined methods.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    55
  if (inlinee_event) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    56
    char *inlinee_name = imh->name_and_sig_as_C_string();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    57
    tty->print(" [%s]] ", inlinee_name);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    58
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    59
  else tty->print("] ");
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    60
  tty->print("@%d queues: %d,%d", bci, CompileBroker::queue_size(CompLevel_full_profile),
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    61
                                       CompileBroker::queue_size(CompLevel_full_optimization));
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    62
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    63
  print_specific(type, mh, imh, bci, level);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    64
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    65
  if (type != COMPILE) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    66
    methodDataHandle mdh = mh->method_data();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    67
    int mdo_invocations = 0, mdo_backedges = 0;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    68
    if (mdh() != NULL) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    69
      mdo_invocations = mdh->invocation_count();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    70
      mdo_backedges = mdh->backedge_count();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    71
    }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    72
    tty->print(" total: %d,%d mdo: %d,%d",
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    73
               invocation_count, backedge_count,
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    74
               mdo_invocations, mdo_backedges);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    75
    tty->print(" max levels: %d,%d",
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    76
                mh->highest_comp_level(), mh->highest_osr_comp_level());
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    77
    if (inlinee_event) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    78
      tty->print(" inlinee max levels: %d,%d", imh->highest_comp_level(), imh->highest_osr_comp_level());
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    79
    }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    80
    tty->print(" compilable: ");
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    81
    bool need_comma = false;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    82
    if (!mh->is_not_compilable(CompLevel_full_profile)) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    83
      tty->print("c1");
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    84
      need_comma = true;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    85
    }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    86
    if (!mh->is_not_compilable(CompLevel_full_optimization)) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    87
      if (need_comma) tty->print(", ");
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    88
      tty->print("c2");
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    89
      need_comma = true;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    90
    }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    91
    if (!mh->is_not_osr_compilable()) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    92
      if (need_comma) tty->print(", ");
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    93
      tty->print("osr");
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    94
    }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    95
    tty->print(" status:");
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    96
    if (mh->queued_for_compilation()) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    97
      tty->print(" in queue");
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    98
    } else tty->print(" idle");
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
    99
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   100
  tty->print_cr("]");
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   101
}
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   102
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   103
void SimpleThresholdPolicy::initialize() {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   104
  if (FLAG_IS_DEFAULT(CICompilerCount)) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   105
    FLAG_SET_DEFAULT(CICompilerCount, 3);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   106
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   107
  int count = CICompilerCount;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   108
  if (CICompilerCountPerCPU) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   109
    count = MAX2(log2_intptr(os::active_processor_count()), 1) * 3 / 2;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   110
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   111
  set_c1_count(MAX2(count / 3, 1));
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   112
  set_c2_count(MAX2(count - count / 3, 1));
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   113
}
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   114
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   115
void SimpleThresholdPolicy::set_carry_if_necessary(InvocationCounter *counter) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   116
  if (!counter->carry() && counter->count() > InvocationCounter::count_limit / 2) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   117
    counter->set_carry_flag();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   118
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   119
}
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   120
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   121
// Set carry flags on the counters if necessary
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   122
void SimpleThresholdPolicy::handle_counter_overflow(methodOop method) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   123
  set_carry_if_necessary(method->invocation_counter());
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   124
  set_carry_if_necessary(method->backedge_counter());
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   125
  methodDataOop mdo = method->method_data();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   126
  if (mdo != NULL) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   127
    set_carry_if_necessary(mdo->invocation_counter());
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   128
    set_carry_if_necessary(mdo->backedge_counter());
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   129
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   130
}
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   131
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   132
// Called with the queue locked and with at least one element
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   133
CompileTask* SimpleThresholdPolicy::select_task(CompileQueue* compile_queue) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   134
  return compile_queue->first();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   135
}
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   136
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   137
nmethod* SimpleThresholdPolicy::event(methodHandle method, methodHandle inlinee,
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   138
                                      int branch_bci, int bci, CompLevel comp_level, TRAPS) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   139
  if (comp_level == CompLevel_none &&
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   140
      JvmtiExport::can_post_interpreter_events()) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   141
    assert(THREAD->is_Java_thread(), "Should be java thread");
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   142
    if (((JavaThread*)THREAD)->is_interp_only_mode()) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   143
      return NULL;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   144
    }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   145
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   146
  nmethod *osr_nm = NULL;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   147
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   148
  handle_counter_overflow(method());
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   149
  if (method() != inlinee()) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   150
    handle_counter_overflow(inlinee());
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   151
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   152
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   153
  if (PrintTieredEvents) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   154
    print_event(bci == InvocationEntryBci ? CALL : LOOP, method, inlinee, bci, comp_level);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   155
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   156
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   157
  if (bci == InvocationEntryBci) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   158
    method_invocation_event(method, inlinee, comp_level, THREAD);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   159
  } else {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   160
    method_back_branch_event(method, inlinee, bci, comp_level, THREAD);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   161
    int highest_level = method->highest_osr_comp_level();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   162
    if (highest_level > comp_level) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   163
      osr_nm = method->lookup_osr_nmethod_for(bci, highest_level, false);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   164
    }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   165
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   166
  return osr_nm;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   167
}
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   168
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   169
// Check if the method can be compiled, change level if necessary
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   170
void SimpleThresholdPolicy::compile(methodHandle mh, int bci, CompLevel level, TRAPS) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   171
  // Take the given ceiling into the account.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   172
  // NOTE: You can set it to 1 to get a pure C1 version.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   173
  if ((CompLevel)TieredStopAtLevel < level) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   174
    level = (CompLevel)TieredStopAtLevel;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   175
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   176
  if (level == CompLevel_none) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   177
    return;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   178
  }
7389
93110864f81e 7000349: Tiered reacts incorrectly to C1 compilation failures
iveresov
parents: 6453
diff changeset
   179
  // Check if the method can be compiled. If it cannot be compiled with C1, continue profiling
93110864f81e 7000349: Tiered reacts incorrectly to C1 compilation failures
iveresov
parents: 6453
diff changeset
   180
  // in the interpreter and then compile with C2 (the transition function will request that,
93110864f81e 7000349: Tiered reacts incorrectly to C1 compilation failures
iveresov
parents: 6453
diff changeset
   181
  // see common() ). If the method cannot be compiled with C2 but still can with C1, compile it with
93110864f81e 7000349: Tiered reacts incorrectly to C1 compilation failures
iveresov
parents: 6453
diff changeset
   182
  // pure C1.
6453
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   183
  if (!can_be_compiled(mh, level)) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   184
    if (level == CompLevel_full_optimization && can_be_compiled(mh, CompLevel_simple)) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   185
        compile(mh, bci, CompLevel_simple, THREAD);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   186
    }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   187
    return;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   188
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   189
  if (bci != InvocationEntryBci && mh->is_not_osr_compilable()) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   190
    return;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   191
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   192
  if (PrintTieredEvents) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   193
    print_event(COMPILE, mh, mh, bci, level);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   194
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   195
  if (!CompileBroker::compilation_is_in_queue(mh, bci)) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   196
    submit_compile(mh, bci, level, THREAD);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   197
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   198
}
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   199
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   200
// Tell the broker to compile the method
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   201
void SimpleThresholdPolicy::submit_compile(methodHandle mh, int bci, CompLevel level, TRAPS) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   202
  int hot_count = (bci == InvocationEntryBci) ? mh->invocation_count() : mh->backedge_count();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   203
  CompileBroker::compile_method(mh, bci, level, mh, hot_count, "tiered", THREAD);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   204
}
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   205
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   206
// Call and loop predicates determine whether a transition to a higher
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   207
// compilation level should be performed (pointers to predicate functions
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   208
// are passed to common() transition function).
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   209
bool SimpleThresholdPolicy::loop_predicate(int i, int b, CompLevel cur_level) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   210
  switch(cur_level) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   211
  case CompLevel_none:
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   212
  case CompLevel_limited_profile: {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   213
    return loop_predicate_helper<CompLevel_none>(i, b, 1.0);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   214
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   215
  case CompLevel_full_profile: {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   216
    return loop_predicate_helper<CompLevel_full_profile>(i, b, 1.0);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   217
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   218
  default:
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   219
    return true;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   220
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   221
}
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   222
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   223
bool SimpleThresholdPolicy::call_predicate(int i, int b, CompLevel cur_level) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   224
  switch(cur_level) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   225
  case CompLevel_none:
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   226
  case CompLevel_limited_profile: {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   227
    return call_predicate_helper<CompLevel_none>(i, b, 1.0);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   228
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   229
  case CompLevel_full_profile: {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   230
    return call_predicate_helper<CompLevel_full_profile>(i, b, 1.0);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   231
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   232
  default:
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   233
    return true;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   234
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   235
}
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   236
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   237
// Determine is a method is mature.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   238
bool SimpleThresholdPolicy::is_mature(methodOop method) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   239
  if (is_trivial(method)) return true;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   240
  methodDataOop mdo = method->method_data();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   241
  if (mdo != NULL) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   242
    int i = mdo->invocation_count();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   243
    int b = mdo->backedge_count();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   244
    double k = ProfileMaturityPercentage / 100.0;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   245
    return call_predicate_helper<CompLevel_full_profile>(i, b, k) ||
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   246
           loop_predicate_helper<CompLevel_full_profile>(i, b, k);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   247
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   248
  return false;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   249
}
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   250
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   251
// Common transition function. Given a predicate determines if a method should transition to another level.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   252
CompLevel SimpleThresholdPolicy::common(Predicate p, methodOop method, CompLevel cur_level) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   253
  CompLevel next_level = cur_level;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   254
  int i = method->invocation_count();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   255
  int b = method->backedge_count();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   256
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   257
  switch(cur_level) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   258
  case CompLevel_none:
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   259
    {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   260
      methodDataOop mdo = method->method_data();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   261
      if (mdo != NULL) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   262
        int mdo_i = mdo->invocation_count();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   263
        int mdo_b = mdo->backedge_count();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   264
        // If we were at full profile level, would we switch to full opt?
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   265
        if ((this->*p)(mdo_i, mdo_b, CompLevel_full_profile)) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   266
          next_level = CompLevel_full_optimization;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   267
        }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   268
      }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   269
    }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   270
    if (next_level == cur_level && (this->*p)(i, b, cur_level)) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   271
      if (is_trivial(method)) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   272
        next_level = CompLevel_simple;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   273
      } else {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   274
        next_level = CompLevel_full_profile;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   275
      }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   276
    }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   277
    break;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   278
  case CompLevel_limited_profile:
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   279
  case CompLevel_full_profile:
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   280
    if (is_trivial(method)) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   281
      next_level = CompLevel_simple;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   282
    } else {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   283
      methodDataOop mdo = method->method_data();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   284
      guarantee(mdo != NULL, "MDO should always exist");
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   285
      if (mdo->would_profile()) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   286
        int mdo_i = mdo->invocation_count();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   287
        int mdo_b = mdo->backedge_count();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   288
        if ((this->*p)(mdo_i, mdo_b, cur_level)) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   289
          next_level = CompLevel_full_optimization;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   290
        }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   291
      } else {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   292
        next_level = CompLevel_full_optimization;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   293
      }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   294
    }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   295
    break;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   296
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   297
  return next_level;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   298
}
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   299
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   300
// Determine if a method should be compiled with a normal entry point at a different level.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   301
CompLevel SimpleThresholdPolicy::call_event(methodOop method,  CompLevel cur_level) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   302
  CompLevel highest_level = (CompLevel)method->highest_comp_level();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   303
  if (cur_level == CompLevel_none && highest_level > cur_level) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   304
    // TODO: We may want to try to do more extensive reprofiling in this case.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   305
    return highest_level;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   306
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   307
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   308
  CompLevel osr_level = (CompLevel) method->highest_osr_comp_level();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   309
  CompLevel next_level = common(&SimpleThresholdPolicy::call_predicate, method, cur_level);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   310
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   311
  // If OSR method level is greater than the regular method level, the levels should be
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   312
  // equalized by raising the regular method level in order to avoid OSRs during each
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   313
  // invocation of the method.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   314
  if (osr_level == CompLevel_full_optimization && cur_level == CompLevel_full_profile) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   315
    methodDataOop mdo = method->method_data();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   316
    guarantee(mdo != NULL, "MDO should not be NULL");
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   317
    if (mdo->invocation_count() >= 1) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   318
      next_level = CompLevel_full_optimization;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   319
    }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   320
  } else {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   321
    next_level = MAX2(osr_level, next_level);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   322
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   323
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   324
  return next_level;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   325
}
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   326
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   327
// Determine if we should do an OSR compilation of a given method.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   328
CompLevel SimpleThresholdPolicy::loop_event(methodOop method, CompLevel cur_level) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   329
  if (cur_level == CompLevel_none) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   330
    // If there is a live OSR method that means that we deopted to the interpreter
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   331
    // for the transition.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   332
    CompLevel osr_level = (CompLevel)method->highest_osr_comp_level();
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   333
    if (osr_level > CompLevel_none) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   334
      return osr_level;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   335
    }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   336
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   337
  return common(&SimpleThresholdPolicy::loop_predicate, method, cur_level);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   338
}
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   339
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   340
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   341
// Handle the invocation event.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   342
void SimpleThresholdPolicy::method_invocation_event(methodHandle mh, methodHandle imh,
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   343
                                              CompLevel level, TRAPS) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   344
  if (is_compilation_enabled() && !CompileBroker::compilation_is_in_queue(mh, InvocationEntryBci)) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   345
    CompLevel next_level = call_event(mh(), level);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   346
    if (next_level != level) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   347
      compile(mh, InvocationEntryBci, next_level, THREAD);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   348
    }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   349
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   350
}
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   351
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   352
// Handle the back branch event. Notice that we can compile the method
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   353
// with a regular entry from here.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   354
void SimpleThresholdPolicy::method_back_branch_event(methodHandle mh, methodHandle imh,
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   355
                                               int bci, CompLevel level, TRAPS) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   356
  // If the method is already compiling, quickly bail out.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   357
  if (is_compilation_enabled() && !CompileBroker::compilation_is_in_queue(mh, bci)) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   358
    // Use loop event as an opportinity to also check there's been
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   359
    // enough calls.
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   360
    CompLevel cur_level = comp_level(mh());
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   361
    CompLevel next_level = call_event(mh(), cur_level);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   362
    CompLevel next_osr_level = loop_event(mh(), level);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   363
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   364
    next_level = MAX2(next_level,
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   365
                      next_osr_level < CompLevel_full_optimization ? next_osr_level : cur_level);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   366
    bool is_compiling = false;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   367
    if (next_level != cur_level) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   368
      compile(mh, InvocationEntryBci, next_level, THREAD);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   369
      is_compiling = true;
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   370
    }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   371
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   372
    // Do the OSR version
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   373
    if (!is_compiling && next_osr_level != level) {
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   374
      compile(mh, bci, next_osr_level, THREAD);
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   375
    }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   376
  }
970dc585ab63 6953144: Tiered compilation
iveresov
parents:
diff changeset
   377
}