hotspot/src/share/vm/code/icBuffer.cpp
author never
Wed, 14 Oct 2009 10:36:57 -0700
changeset 4017 0cb087a2b9a9
parent 1 489c9b5090e2
child 5547 f4b087cbb361
permissions -rw-r--r--
6889869: assert(!Interpreter::bytecode_should_reexecute(code),"should not reexecute") Reviewed-by: jrose, kvn, cfang, twisti
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
489c9b5090e2 Initial load
duke
parents:
diff changeset
     2
 * Copyright 1997-2006 Sun Microsystems, Inc.  All Rights Reserved.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     4
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
489c9b5090e2 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
489c9b5090e2 Initial load
duke
parents:
diff changeset
     7
 * published by the Free Software Foundation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     8
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
489c9b5090e2 Initial load
duke
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
489c9b5090e2 Initial load
duke
parents:
diff changeset
    13
 * accompanied this code).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    14
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
489c9b5090e2 Initial load
duke
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    18
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    19
 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    20
 * CA 95054 USA or visit www.sun.com if you need additional information or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    21
 * have any questions.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    22
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    23
 */
489c9b5090e2 Initial load
duke
parents:
diff changeset
    24
489c9b5090e2 Initial load
duke
parents:
diff changeset
    25
#include "incls/_precompiled.incl"
489c9b5090e2 Initial load
duke
parents:
diff changeset
    26
#include "incls/_icBuffer.cpp.incl"
489c9b5090e2 Initial load
duke
parents:
diff changeset
    27
489c9b5090e2 Initial load
duke
parents:
diff changeset
    28
489c9b5090e2 Initial load
duke
parents:
diff changeset
    29
DEF_STUB_INTERFACE(ICStub);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    30
489c9b5090e2 Initial load
duke
parents:
diff changeset
    31
StubQueue* InlineCacheBuffer::_buffer    = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    32
ICStub*    InlineCacheBuffer::_next_stub = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    33
489c9b5090e2 Initial load
duke
parents:
diff changeset
    34
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
void ICStub::finalize() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
  if (!is_empty()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
    ResourceMark rm;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
    CompiledIC *ic = CompiledIC_at(ic_site());
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
    assert(CodeCache::find_nmethod(ic->instruction_address()) != NULL, "inline cache in non-nmethod?");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
489c9b5090e2 Initial load
duke
parents:
diff changeset
    41
    assert(this == ICStub_from_destination_address(ic->stub_address()), "wrong owner of ic buffer");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
    ic->set_cached_oop(cached_oop());
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
    ic->set_ic_destination(destination());
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
489c9b5090e2 Initial load
duke
parents:
diff changeset
    47
489c9b5090e2 Initial load
duke
parents:
diff changeset
    48
address ICStub::destination() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
  return InlineCacheBuffer::ic_buffer_entry_point(code_begin());
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
oop ICStub::cached_oop() const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
  return InlineCacheBuffer::ic_buffer_cached_oop(code_begin());
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
void ICStub::set_stub(CompiledIC *ic, oop cached_value, address dest_addr) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
  // We cannot store a pointer to the 'ic' object, since it is resource allocated. Instead we
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
  // store the location of the inline cache. Then we have enough information recreate the CompiledIC
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
  // object when we need to remove the stub.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
  _ic_site = ic->instruction_address();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
  // Assemble new stub
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
  InlineCacheBuffer::assemble_ic_buffer_code(code_begin(), cached_value, dest_addr);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
  assert(destination() == dest_addr,   "can recover destination");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
  assert(cached_oop() == cached_value, "can recover destination");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
void ICStub::clear() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
  _ic_site = NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
// anybody calling to this stub will trap
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
489c9b5090e2 Initial load
duke
parents:
diff changeset
    78
void ICStub::verify() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
void ICStub::print() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
  tty->print_cr("ICStub: site: " INTPTR_FORMAT, _ic_site);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
//-----------------------------------------------------------------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
// Implementation of InlineCacheBuffer
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
void InlineCacheBuffer::init_next_stub() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
  ICStub* ic_stub = (ICStub*)buffer()->request_committed (ic_stub_code_size());
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
  assert (ic_stub != NULL, "no room for a single stub");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
  set_next_stub(ic_stub);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
void InlineCacheBuffer::initialize() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
  if (_buffer != NULL) return; // already initialized
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
  _buffer = new StubQueue(new ICStubInterface, 10*K, InlineCacheBuffer_lock, "InlineCacheBuffer");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
  assert (_buffer != NULL, "cannot allocate InlineCacheBuffer");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
  init_next_stub();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
ICStub* InlineCacheBuffer::new_ic_stub() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
  while (true) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
    ICStub* ic_stub = (ICStub*)buffer()->request_committed(ic_stub_code_size());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   106
    if (ic_stub != NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
      return ic_stub;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
    // we ran out of inline cache buffer space; must enter safepoint.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
    // We do this by forcing a safepoint
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
    EXCEPTION_MARK;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
    VM_ForceSafepoint vfs;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   114
    VMThread::execute(&vfs);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
    // We could potential get an async. exception at this point.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
    // In that case we will rethrow it to ourselvs.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   117
    if (HAS_PENDING_EXCEPTION) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   118
      oop exception = PENDING_EXCEPTION;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   119
      CLEAR_PENDING_EXCEPTION;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   120
      Thread::send_async_exception(JavaThread::current()->threadObj(), exception);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   122
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   123
  ShouldNotReachHere();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   124
  return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   125
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   126
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
void InlineCacheBuffer::update_inline_caches() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
  if (buffer()->number_of_stubs() > 1) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
    if (TraceICBuffer) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   131
      tty->print_cr("[updating inline caches with %d stubs]", buffer()->number_of_stubs());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   132
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
    buffer()->remove_all();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
    init_next_stub();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
bool InlineCacheBuffer::contains(address instruction_address) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
  return buffer()->contains(instruction_address);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   141
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   142
489c9b5090e2 Initial load
duke
parents:
diff changeset
   143
489c9b5090e2 Initial load
duke
parents:
diff changeset
   144
bool InlineCacheBuffer::is_empty() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
  return buffer()->number_of_stubs() == 1;    // always has sentinel
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   147
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
void InlineCacheBuffer_init() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   150
  InlineCacheBuffer::initialize();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   151
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   152
489c9b5090e2 Initial load
duke
parents:
diff changeset
   153
489c9b5090e2 Initial load
duke
parents:
diff changeset
   154
void InlineCacheBuffer::create_transition_stub(CompiledIC *ic, oop cached_oop, address entry) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   155
  assert(!SafepointSynchronize::is_at_safepoint(), "should not be called during a safepoint");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   156
  assert (CompiledIC_lock->is_locked(), "");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   157
  assert(cached_oop == NULL || cached_oop->is_perm(), "must belong to perm. space");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   158
  if (TraceICBuffer) { tty->print_cr("  create transition stub for " INTPTR_FORMAT, ic->instruction_address()); }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   159
489c9b5090e2 Initial load
duke
parents:
diff changeset
   160
  // If an transition stub is already associate with the inline cache, then we remove the association.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   161
  if (ic->is_in_transition_state()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   162
    ICStub* old_stub = ICStub_from_destination_address(ic->stub_address());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   163
    old_stub->clear();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   164
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   165
489c9b5090e2 Initial load
duke
parents:
diff changeset
   166
  // allocate and initialize new "out-of-line" inline-cache
489c9b5090e2 Initial load
duke
parents:
diff changeset
   167
  ICStub* ic_stub = get_next_stub();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   168
  ic_stub->set_stub(ic, cached_oop, entry);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   169
489c9b5090e2 Initial load
duke
parents:
diff changeset
   170
  // Update inline cache in nmethod to point to new "out-of-line" allocated inline cache
489c9b5090e2 Initial load
duke
parents:
diff changeset
   171
  ic->set_ic_destination(ic_stub->code_begin());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   172
489c9b5090e2 Initial load
duke
parents:
diff changeset
   173
  set_next_stub(new_ic_stub()); // can cause safepoint synchronization
489c9b5090e2 Initial load
duke
parents:
diff changeset
   174
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   175
489c9b5090e2 Initial load
duke
parents:
diff changeset
   176
489c9b5090e2 Initial load
duke
parents:
diff changeset
   177
address InlineCacheBuffer::ic_destination_for(CompiledIC *ic) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   178
  ICStub* stub = ICStub_from_destination_address(ic->stub_address());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   179
  return stub->destination();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   180
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   181
489c9b5090e2 Initial load
duke
parents:
diff changeset
   182
489c9b5090e2 Initial load
duke
parents:
diff changeset
   183
oop InlineCacheBuffer::cached_oop_for(CompiledIC *ic) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   184
  ICStub* stub = ICStub_from_destination_address(ic->stub_address());
489c9b5090e2 Initial load
duke
parents:
diff changeset
   185
  return stub->cached_oop();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   186
}