src/cpu/ppc/vm/compiledIC_ppc.cpp

Thu, 21 Apr 2016 16:19:33 +0300

author
vkempik
date
Thu, 21 Apr 2016 16:19:33 +0300
changeset 8427
c3d0bd36ab28
parent 7358
327e7269f90d
permissions
-rw-r--r--

8130309: Need to bailout cleanly if creation of stubs fails when codecache is out of space
Summary: Check for failed expansion of stub section in code buffer and bailout.
Reviewed-by: kvn, thartmann

aoqi@0 1 /*
coleenp@7358 2 * Copyright (c) 1997, 2014, Oracle and/or its affiliates. All rights reserved.
aoqi@0 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
aoqi@0 4 *
aoqi@0 5 * This code is free software; you can redistribute it and/or modify it
aoqi@0 6 * under the terms of the GNU General Public License version 2 only, as
aoqi@0 7 * published by the Free Software Foundation.
aoqi@0 8 *
aoqi@0 9 * This code is distributed in the hope that it will be useful, but WITHOUT
aoqi@0 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
aoqi@0 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
aoqi@0 12 * version 2 for more details (a copy is included in the LICENSE file that
aoqi@0 13 * accompanied this code).
aoqi@0 14 *
aoqi@0 15 * You should have received a copy of the GNU General Public License version
aoqi@0 16 * 2 along with this work; if not, write to the Free Software Foundation,
aoqi@0 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
aoqi@0 18 *
aoqi@0 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
aoqi@0 20 * or visit www.oracle.com if you need additional information or have any
aoqi@0 21 * questions.
aoqi@0 22 *
aoqi@0 23 */
aoqi@0 24
aoqi@0 25 #include "precompiled.hpp"
aoqi@0 26 #include "asm/macroAssembler.inline.hpp"
aoqi@0 27 #include "code/compiledIC.hpp"
aoqi@0 28 #include "code/icBuffer.hpp"
aoqi@0 29 #include "code/nmethod.hpp"
aoqi@0 30 #include "memory/resourceArea.hpp"
aoqi@0 31 #include "runtime/mutexLocker.hpp"
aoqi@0 32 #include "runtime/safepoint.hpp"
aoqi@0 33 #ifdef COMPILER2
aoqi@0 34 #include "opto/matcher.hpp"
aoqi@0 35 #endif
aoqi@0 36
aoqi@0 37 // Release the CompiledICHolder* associated with this call site is there is one.
aoqi@0 38 void CompiledIC::cleanup_call_site(virtual_call_Relocation* call_site) {
aoqi@0 39 // This call site might have become stale so inspect it carefully.
aoqi@0 40 NativeCall* call = nativeCall_at(call_site->addr());
aoqi@0 41 if (is_icholder_entry(call->destination())) {
aoqi@0 42 NativeMovConstReg* value = nativeMovConstReg_at(call_site->cached_value());
aoqi@0 43 InlineCacheBuffer::queue_for_release((CompiledICHolder*)value->data());
aoqi@0 44 }
aoqi@0 45 }
aoqi@0 46
aoqi@0 47 bool CompiledIC::is_icholder_call_site(virtual_call_Relocation* call_site) {
aoqi@0 48 // This call site might have become stale so inspect it carefully.
aoqi@0 49 NativeCall* call = nativeCall_at(call_site->addr());
aoqi@0 50 return is_icholder_entry(call->destination());
aoqi@0 51 }
aoqi@0 52
aoqi@0 53 // ----------------------------------------------------------------------------
aoqi@0 54
aoqi@0 55 // A PPC CompiledStaticCall looks like this:
aoqi@0 56 //
aoqi@0 57 // >>>> consts
aoqi@0 58 //
aoqi@0 59 // [call target1]
aoqi@0 60 // [IC cache]
aoqi@0 61 // [call target2]
aoqi@0 62 //
aoqi@0 63 // <<<< consts
aoqi@0 64 // >>>> insts
aoqi@0 65 //
aoqi@0 66 // bl offset16 -+ -+ ??? // How many bits available?
aoqi@0 67 // | |
aoqi@0 68 // <<<< insts | |
aoqi@0 69 // >>>> stubs | |
aoqi@0 70 // | |- trampoline_stub_Reloc
aoqi@0 71 // trampoline stub: | <-+
aoqi@0 72 // r2 = toc |
aoqi@0 73 // r2 = [r2 + offset] | // Load call target1 from const section
aoqi@0 74 // mtctr r2 |
aoqi@0 75 // bctr |- static_stub_Reloc
aoqi@0 76 // comp_to_interp_stub: <---+
aoqi@0 77 // r1 = toc
aoqi@0 78 // ICreg = [r1 + IC_offset] // Load IC from const section
aoqi@0 79 // r1 = [r1 + offset] // Load call target2 from const section
aoqi@0 80 // mtctr r1
aoqi@0 81 // bctr
aoqi@0 82 //
aoqi@0 83 // <<<< stubs
aoqi@0 84 //
aoqi@0 85 // The call instruction in the code either
aoqi@0 86 // - branches directly to a compiled method if offset encodable in instruction
aoqi@0 87 // - branches to the trampoline stub if offset to compiled method not encodable
aoqi@0 88 // - branches to the compiled_to_interp stub if target interpreted
aoqi@0 89 //
aoqi@0 90 // Further there are three relocations from the loads to the constants in
aoqi@0 91 // the constant section.
aoqi@0 92 //
aoqi@0 93 // Usage of r1 and r2 in the stubs allows to distinguish them.
aoqi@0 94
aoqi@0 95 const int IC_pos_in_java_to_interp_stub = 8;
aoqi@0 96 #define __ _masm.
vkempik@8427 97 address CompiledStaticCall::emit_to_interp_stub(CodeBuffer &cbuf) {
aoqi@0 98 #ifdef COMPILER2
aoqi@0 99 // Get the mark within main instrs section which is set to the address of the call.
aoqi@0 100 address call_addr = cbuf.insts_mark();
aoqi@0 101
aoqi@0 102 // Note that the code buffer's insts_mark is always relative to insts.
aoqi@0 103 // That's why we must use the macroassembler to generate a stub.
aoqi@0 104 MacroAssembler _masm(&cbuf);
aoqi@0 105
aoqi@0 106 // Start the stub.
aoqi@0 107 address stub = __ start_a_stub(CompiledStaticCall::to_interp_stub_size());
aoqi@0 108 if (stub == NULL) {
vkempik@8427 109 return NULL; // CodeCache is full
aoqi@0 110 }
aoqi@0 111
aoqi@0 112 // For java_to_interp stubs we use R11_scratch1 as scratch register
aoqi@0 113 // and in call trampoline stubs we use R12_scratch2. This way we
aoqi@0 114 // can distinguish them (see is_NativeCallTrampolineStub_at()).
aoqi@0 115 Register reg_scratch = R11_scratch1;
aoqi@0 116
aoqi@0 117 // Create a static stub relocation which relates this stub
aoqi@0 118 // with the call instruction at insts_call_instruction_offset in the
aoqi@0 119 // instructions code-section.
aoqi@0 120 __ relocate(static_stub_Relocation::spec(call_addr));
aoqi@0 121 const int stub_start_offset = __ offset();
aoqi@0 122
aoqi@0 123 // Now, create the stub's code:
aoqi@0 124 // - load the TOC
aoqi@0 125 // - load the inline cache oop from the constant pool
aoqi@0 126 // - load the call target from the constant pool
aoqi@0 127 // - call
aoqi@0 128 __ calculate_address_from_global_toc(reg_scratch, __ method_toc());
aoqi@0 129 AddressLiteral ic = __ allocate_metadata_address((Metadata *)NULL);
aoqi@0 130 __ load_const_from_method_toc(as_Register(Matcher::inline_cache_reg_encode()), ic, reg_scratch);
aoqi@0 131
aoqi@0 132 if (ReoptimizeCallSequences) {
aoqi@0 133 __ b64_patchable((address)-1, relocInfo::none);
aoqi@0 134 } else {
aoqi@0 135 AddressLiteral a((address)-1);
aoqi@0 136 __ load_const_from_method_toc(reg_scratch, a, reg_scratch);
aoqi@0 137 __ mtctr(reg_scratch);
aoqi@0 138 __ bctr();
aoqi@0 139 }
aoqi@0 140
aoqi@0 141 // FIXME: Assert that the stub can be identified and patched.
aoqi@0 142
aoqi@0 143 // Java_to_interp_stub_size should be good.
aoqi@0 144 assert((__ offset() - stub_start_offset) <= CompiledStaticCall::to_interp_stub_size(),
aoqi@0 145 "should be good size");
aoqi@0 146 assert(!is_NativeCallTrampolineStub_at(__ addr_at(stub_start_offset)),
aoqi@0 147 "must not confuse java_to_interp with trampoline stubs");
aoqi@0 148
aoqi@0 149 // End the stub.
aoqi@0 150 __ end_a_stub();
vkempik@8427 151 return stub;
aoqi@0 152 #else
aoqi@0 153 ShouldNotReachHere();
aoqi@0 154 #endif
aoqi@0 155 }
aoqi@0 156 #undef __
aoqi@0 157
aoqi@0 158 // Size of java_to_interp stub, this doesn't need to be accurate but it must
aoqi@0 159 // be larger or equal to the real size of the stub.
aoqi@0 160 // Used for optimization in Compile::Shorten_branches.
aoqi@0 161 int CompiledStaticCall::to_interp_stub_size() {
aoqi@0 162 return 12 * BytesPerInstWord;
aoqi@0 163 }
aoqi@0 164
aoqi@0 165 // Relocation entries for call stub, compiled java to interpreter.
aoqi@0 166 // Used for optimization in Compile::Shorten_branches.
aoqi@0 167 int CompiledStaticCall::reloc_to_interp_stub() {
aoqi@0 168 return 5;
aoqi@0 169 }
aoqi@0 170
aoqi@0 171 void CompiledStaticCall::set_to_interpreted(methodHandle callee, address entry) {
aoqi@0 172 address stub = find_stub();
aoqi@0 173 guarantee(stub != NULL, "stub not found");
aoqi@0 174
aoqi@0 175 if (TraceICs) {
aoqi@0 176 ResourceMark rm;
aoqi@0 177 tty->print_cr("CompiledStaticCall@" INTPTR_FORMAT ": set_to_interpreted %s",
coleenp@7358 178 p2i(instruction_address()),
aoqi@0 179 callee->name_and_sig_as_C_string());
aoqi@0 180 }
aoqi@0 181
aoqi@0 182 // Creation also verifies the object.
aoqi@0 183 NativeMovConstReg* method_holder = nativeMovConstReg_at(stub + IC_pos_in_java_to_interp_stub);
aoqi@0 184 NativeJump* jump = nativeJump_at(method_holder->next_instruction_address());
aoqi@0 185
aoqi@0 186 assert(method_holder->data() == 0 || method_holder->data() == (intptr_t)callee(),
aoqi@0 187 "a) MT-unsafe modification of inline cache");
aoqi@0 188 assert(jump->jump_destination() == (address)-1 || jump->jump_destination() == entry,
aoqi@0 189 "b) MT-unsafe modification of inline cache");
aoqi@0 190
aoqi@0 191 // Update stub.
aoqi@0 192 method_holder->set_data((intptr_t)callee());
aoqi@0 193 jump->set_jump_destination(entry);
aoqi@0 194
aoqi@0 195 // Update jump to call.
aoqi@0 196 set_destination_mt_safe(stub);
aoqi@0 197 }
aoqi@0 198
aoqi@0 199 void CompiledStaticCall::set_stub_to_clean(static_stub_Relocation* static_stub) {
aoqi@0 200 assert (CompiledIC_lock->is_locked() || SafepointSynchronize::is_at_safepoint(), "mt unsafe call");
aoqi@0 201 // Reset stub.
aoqi@0 202 address stub = static_stub->addr();
aoqi@0 203 assert(stub != NULL, "stub not found");
aoqi@0 204 // Creation also verifies the object.
aoqi@0 205 NativeMovConstReg* method_holder = nativeMovConstReg_at(stub + IC_pos_in_java_to_interp_stub);
aoqi@0 206 NativeJump* jump = nativeJump_at(method_holder->next_instruction_address());
aoqi@0 207 method_holder->set_data(0);
aoqi@0 208 jump->set_jump_destination((address)-1);
aoqi@0 209 }
aoqi@0 210
aoqi@0 211 //-----------------------------------------------------------------------------
aoqi@0 212 // Non-product mode code
aoqi@0 213 #ifndef PRODUCT
aoqi@0 214
aoqi@0 215 void CompiledStaticCall::verify() {
aoqi@0 216 // Verify call.
aoqi@0 217 NativeCall::verify();
aoqi@0 218 if (os::is_MP()) {
aoqi@0 219 verify_alignment();
aoqi@0 220 }
aoqi@0 221
aoqi@0 222 // Verify stub.
aoqi@0 223 address stub = find_stub();
aoqi@0 224 assert(stub != NULL, "no stub found for static call");
aoqi@0 225 // Creation also verifies the object.
aoqi@0 226 NativeMovConstReg* method_holder = nativeMovConstReg_at(stub + IC_pos_in_java_to_interp_stub);
aoqi@0 227 NativeJump* jump = nativeJump_at(method_holder->next_instruction_address());
aoqi@0 228
aoqi@0 229 // Verify state.
aoqi@0 230 assert(is_clean() || is_call_to_compiled() || is_call_to_interpreted(), "sanity check");
aoqi@0 231 }
aoqi@0 232
aoqi@0 233 #endif // !PRODUCT

mercurial