src/cpu/sparc/vm/vtableStubs_sparc.cpp

Tue, 24 Sep 2013 15:56:25 +0200

author
anoll
date
Tue, 24 Sep 2013 15:56:25 +0200
changeset 5762
891687731b59
parent 5694
7944aba7ba41
child 6876
710a3c8b516e
child 8997
f8a45a60bc6b
permissions
-rw-r--r--

7009641: Don't fail VM when CodeCache is full
Summary: Allocation in the code cache returns NULL instead of failing the entire VM
Reviewed-by: kvn, iveresov

duke@435 1 /*
hseigel@5528 2 * Copyright (c) 1997, 2013, Oracle and/or its affiliates. All rights reserved.
duke@435 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435 4 *
duke@435 5 * This code is free software; you can redistribute it and/or modify it
duke@435 6 * under the terms of the GNU General Public License version 2 only, as
duke@435 7 * published by the Free Software Foundation.
duke@435 8 *
duke@435 9 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@435 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435 12 * version 2 for more details (a copy is included in the LICENSE file that
duke@435 13 * accompanied this code).
duke@435 14 *
duke@435 15 * You should have received a copy of the GNU General Public License version
duke@435 16 * 2 along with this work; if not, write to the Free Software Foundation,
duke@435 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435 18 *
trims@1907 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907 20 * or visit www.oracle.com if you need additional information or have any
trims@1907 21 * questions.
duke@435 22 *
duke@435 23 */
duke@435 24
stefank@2314 25 #include "precompiled.hpp"
twisti@4323 26 #include "asm/macroAssembler.inline.hpp"
stefank@2314 27 #include "code/vtableStubs.hpp"
stefank@2314 28 #include "interp_masm_sparc.hpp"
stefank@2314 29 #include "memory/resourceArea.hpp"
stefank@2314 30 #include "oops/instanceKlass.hpp"
stefank@2314 31 #include "oops/klassVtable.hpp"
stefank@2314 32 #include "runtime/sharedRuntime.hpp"
stefank@2314 33 #include "vmreg_sparc.inline.hpp"
stefank@2314 34 #ifdef COMPILER2
stefank@2314 35 #include "opto/runtime.hpp"
stefank@2314 36 #endif
duke@435 37
duke@435 38 // machine-dependent part of VtableStubs: create vtableStub of correct size and
duke@435 39 // initialize its code
duke@435 40
duke@435 41 #define __ masm->
duke@435 42
duke@435 43
duke@435 44 #ifndef PRODUCT
duke@435 45 extern "C" void bad_compiled_vtable_index(JavaThread* thread, oopDesc* receiver, int index);
duke@435 46 #endif
duke@435 47
duke@435 48
duke@435 49 // Used by compiler only; may use only caller saved, non-argument registers
duke@435 50 // NOTE: %%%% if any change is made to this stub make sure that the function
duke@435 51 // pd_code_size_limit is changed to ensure the correct size for VtableStub
duke@435 52 VtableStub* VtableStubs::create_vtable_stub(int vtable_index) {
duke@435 53 const int sparc_code_length = VtableStub::pd_code_size_limit(true);
duke@435 54 VtableStub* s = new(sparc_code_length) VtableStub(true, vtable_index);
anoll@5762 55 // Can be NULL if there is no free space in the code cache.
anoll@5762 56 if (s == NULL) {
anoll@5762 57 return NULL;
anoll@5762 58 }
anoll@5762 59
duke@435 60 ResourceMark rm;
duke@435 61 CodeBuffer cb(s->entry_point(), sparc_code_length);
duke@435 62 MacroAssembler* masm = new MacroAssembler(&cb);
duke@435 63
duke@435 64 #ifndef PRODUCT
duke@435 65 if (CountCompiledCalls) {
twisti@1162 66 __ inc_counter(SharedRuntime::nof_megamorphic_calls_addr(), G5, G3_scratch);
duke@435 67 }
duke@435 68 #endif /* PRODUCT */
duke@435 69
duke@435 70 assert(VtableStub::receiver_location() == O0->as_VMReg(), "receiver expected in O0");
duke@435 71
duke@435 72 // get receiver klass
duke@435 73 address npe_addr = __ pc();
coleenp@548 74 __ load_klass(O0, G3_scratch);
duke@435 75
coleenp@4037 76 // set Method* (in case of interpreted method), and destination address
duke@435 77 #ifndef PRODUCT
duke@435 78 if (DebugVtables) {
duke@435 79 Label L;
duke@435 80 // check offset vs vtable length
coleenp@4037 81 __ ld(G3_scratch, InstanceKlass::vtable_length_offset()*wordSize, G5);
kvn@3037 82 __ cmp_and_br_short(G5, vtable_index*vtableEntry::size(), Assembler::greaterUnsigned, Assembler::pt, L);
duke@435 83 __ set(vtable_index, O2);
duke@435 84 __ call_VM(noreg, CAST_FROM_FN_PTR(address, bad_compiled_vtable_index), O0, O2);
duke@435 85 __ bind(L);
duke@435 86 }
duke@435 87 #endif
twisti@3969 88
twisti@3969 89 __ lookup_virtual_method(G3_scratch, vtable_index, G5_method);
duke@435 90
duke@435 91 #ifndef PRODUCT
duke@435 92 if (DebugVtables) {
duke@435 93 Label L;
kvn@3037 94 __ br_notnull_short(G5_method, Assembler::pt, L);
duke@435 95 __ stop("Vtable entry is ZERO");
duke@435 96 __ bind(L);
duke@435 97 }
duke@435 98 #endif
duke@435 99
duke@435 100 address ame_addr = __ pc(); // if the vtable entry is null, the method is abstract
duke@435 101 // NOTE: for vtable dispatches, the vtable entry will never be null.
duke@435 102
coleenp@4037 103 __ ld_ptr(G5_method, in_bytes(Method::from_compiled_offset()), G3_scratch);
duke@435 104
duke@435 105 // jump to target (either compiled code or c2iadapter)
duke@435 106 __ JMP(G3_scratch, 0);
coleenp@4037 107 // load Method* (in case we call c2iadapter)
duke@435 108 __ delayed()->nop();
duke@435 109
duke@435 110 masm->flush();
jrose@1058 111
jrose@1058 112 if (PrintMiscellaneous && (WizardMode || Verbose)) {
jrose@1058 113 tty->print_cr("vtable #%d at "PTR_FORMAT"[%d] left over: %d",
jrose@1058 114 vtable_index, s->entry_point(),
jrose@1058 115 (int)(s->code_end() - s->entry_point()),
jrose@1058 116 (int)(s->code_end() - __ pc()));
jrose@1058 117 }
jrose@1058 118 guarantee(__ pc() <= s->code_end(), "overflowed buffer");
jrose@1144 119 // shut the door on sizing bugs
jrose@1144 120 int slop = 2*BytesPerInstWord; // 32-bit offset is this much larger than a 13-bit one
jrose@1144 121 assert(vtable_index > 10 || __ pc() + slop <= s->code_end(), "room for sethi;add");
jrose@1058 122
duke@435 123 s->set_exception_points(npe_addr, ame_addr);
duke@435 124 return s;
duke@435 125 }
duke@435 126
duke@435 127
duke@435 128 // NOTE: %%%% if any change is made to this stub make sure that the function
duke@435 129 // pd_code_size_limit is changed to ensure the correct size for VtableStub
jrose@1058 130 VtableStub* VtableStubs::create_itable_stub(int itable_index) {
duke@435 131 const int sparc_code_length = VtableStub::pd_code_size_limit(false);
jrose@1058 132 VtableStub* s = new(sparc_code_length) VtableStub(false, itable_index);
anoll@5762 133 // Can be NULL if there is no free space in the code cache.
anoll@5762 134 if (s == NULL) {
anoll@5762 135 return NULL;
anoll@5762 136 }
anoll@5762 137
duke@435 138 ResourceMark rm;
duke@435 139 CodeBuffer cb(s->entry_point(), sparc_code_length);
duke@435 140 MacroAssembler* masm = new MacroAssembler(&cb);
duke@435 141
coleenp@4037 142 Register G3_Klass = G3_scratch;
duke@435 143 Register G5_interface = G5; // Passed in as an argument
duke@435 144 Label search;
duke@435 145
duke@435 146 // Entry arguments:
duke@435 147 // G5_interface: Interface
duke@435 148 // O0: Receiver
duke@435 149 assert(VtableStub::receiver_location() == O0->as_VMReg(), "receiver expected in O0");
duke@435 150
duke@435 151 // get receiver klass (also an implicit null-check)
duke@435 152 address npe_addr = __ pc();
coleenp@4037 153 __ load_klass(O0, G3_Klass);
duke@435 154
duke@435 155 // Push a new window to get some temp registers. This chops the head of all
duke@435 156 // my 64-bit %o registers in the LION build, but this is OK because no longs
duke@435 157 // are passed in the %o registers. Instead, longs are passed in G1 and G4
duke@435 158 // and so those registers are not available here.
duke@435 159 __ save(SP,-frame::register_save_words*wordSize,SP);
duke@435 160
duke@435 161 #ifndef PRODUCT
duke@435 162 if (CountCompiledCalls) {
twisti@1162 163 __ inc_counter(SharedRuntime::nof_megamorphic_calls_addr(), L0, L1);
duke@435 164 }
duke@435 165 #endif /* PRODUCT */
duke@435 166
jrose@1058 167 Label throw_icce;
duke@435 168
jrose@1058 169 Register L5_method = L5;
jrose@1058 170 __ lookup_interface_method(// inputs: rec. class, interface, itable index
coleenp@4037 171 G3_Klass, G5_interface, itable_index,
jrose@1058 172 // outputs: method, scan temp. reg
jrose@1058 173 L5_method, L2, L3,
jrose@1058 174 throw_icce);
duke@435 175
duke@435 176 #ifndef PRODUCT
duke@435 177 if (DebugVtables) {
duke@435 178 Label L01;
kvn@3037 179 __ br_notnull_short(L5_method, Assembler::pt, L01);
coleenp@4037 180 __ stop("Method* is null");
duke@435 181 __ bind(L01);
duke@435 182 }
duke@435 183 #endif
duke@435 184
duke@435 185 // If the following load is through a NULL pointer, we'll take an OS
duke@435 186 // exception that should translate into an AbstractMethodError. We need the
duke@435 187 // window count to be correct at that time.
jrose@1058 188 __ restore(L5_method, 0, G5_method);
jrose@1058 189 // Restore registers *before* the AME point.
duke@435 190
duke@435 191 address ame_addr = __ pc(); // if the vtable entry is null, the method is abstract
coleenp@4037 192 __ ld_ptr(G5_method, in_bytes(Method::from_compiled_offset()), G3_scratch);
duke@435 193
coleenp@4037 194 // G5_method: Method*
duke@435 195 // O0: Receiver
duke@435 196 // G3_scratch: entry point
duke@435 197 __ JMP(G3_scratch, 0);
duke@435 198 __ delayed()->nop();
duke@435 199
dcubed@451 200 __ bind(throw_icce);
twisti@1162 201 AddressLiteral icce(StubRoutines::throw_IncompatibleClassChangeError_entry());
twisti@1162 202 __ jump_to(icce, G3_scratch);
dcubed@451 203 __ delayed()->restore();
dcubed@451 204
duke@435 205 masm->flush();
dcubed@451 206
jrose@1058 207 if (PrintMiscellaneous && (WizardMode || Verbose)) {
jrose@1058 208 tty->print_cr("itable #%d at "PTR_FORMAT"[%d] left over: %d",
jrose@1058 209 itable_index, s->entry_point(),
jrose@1058 210 (int)(s->code_end() - s->entry_point()),
jrose@1058 211 (int)(s->code_end() - __ pc()));
jrose@1058 212 }
dcubed@451 213 guarantee(__ pc() <= s->code_end(), "overflowed buffer");
jrose@1144 214 // shut the door on sizing bugs
jrose@1144 215 int slop = 2*BytesPerInstWord; // 32-bit offset is this much larger than a 13-bit one
jrose@1144 216 assert(itable_index > 10 || __ pc() + slop <= s->code_end(), "room for sethi;add");
dcubed@451 217
duke@435 218 s->set_exception_points(npe_addr, ame_addr);
duke@435 219 return s;
duke@435 220 }
duke@435 221
duke@435 222
duke@435 223 int VtableStub::pd_code_size_limit(bool is_vtable_stub) {
dcubed@451 224 if (TraceJumps || DebugVtables || CountCompiledCalls || VerifyOops) return 1000;
duke@435 225 else {
duke@435 226 const int slop = 2*BytesPerInstWord; // sethi;add (needed for long offsets)
duke@435 227 if (is_vtable_stub) {
coleenp@548 228 // ld;ld;ld,jmp,nop
coleenp@548 229 const int basic = 5*BytesPerInstWord +
kvn@1077 230 // shift;add for load_klass (only shift with zero heap based)
ehelin@5694 231 (UseCompressedClassPointers ?
hseigel@5528 232 MacroAssembler::instr_size_for_decode_klass_not_null() : 0);
duke@435 233 return basic + slop;
duke@435 234 } else {
jrose@1058 235 const int basic = (28 LP64_ONLY(+ 6)) * BytesPerInstWord +
kvn@1077 236 // shift;add for load_klass (only shift with zero heap based)
ehelin@5694 237 (UseCompressedClassPointers ?
hseigel@5528 238 MacroAssembler::instr_size_for_decode_klass_not_null() : 0);
duke@435 239 return (basic + slop);
duke@435 240 }
duke@435 241 }
jrose@1144 242
jrose@1144 243 // In order to tune these parameters, run the JVM with VM options
jrose@1144 244 // +PrintMiscellaneous and +WizardMode to see information about
jrose@1144 245 // actual itable stubs. Look for lines like this:
jrose@1144 246 // itable #1 at 0x5551212[116] left over: 8
jrose@1144 247 // Reduce the constants so that the "left over" number is 8
jrose@1144 248 // Do not aim at a left-over number of zero, because a very
jrose@1144 249 // large vtable or itable offset (> 4K) will require an extra
jrose@1144 250 // sethi/or pair of instructions.
jrose@1144 251 //
jrose@1144 252 // The JVM98 app. _202_jess has a megamorphic interface call.
jrose@1144 253 // The itable code looks like this:
jrose@1144 254 // Decoding VtableStub itbl[1]@16
jrose@1144 255 // ld [ %o0 + 4 ], %g3
jrose@1144 256 // save %sp, -64, %sp
jrose@1144 257 // ld [ %g3 + 0xe8 ], %l2
jrose@1144 258 // sll %l2, 2, %l2
jrose@1144 259 // add %l2, 0x134, %l2
jrose@1144 260 // and %l2, -8, %l2 ! NOT_LP64 only
jrose@1144 261 // add %g3, %l2, %l2
jrose@1144 262 // add %g3, 4, %g3
jrose@1144 263 // ld [ %l2 ], %l5
jrose@1144 264 // brz,pn %l5, throw_icce
jrose@1144 265 // cmp %l5, %g5
jrose@1144 266 // be %icc, success
jrose@1144 267 // add %l2, 8, %l2
jrose@1144 268 // loop:
jrose@1144 269 // ld [ %l2 ], %l5
jrose@1144 270 // brz,pn %l5, throw_icce
jrose@1144 271 // cmp %l5, %g5
jrose@1144 272 // bne,pn %icc, loop
jrose@1144 273 // add %l2, 8, %l2
jrose@1144 274 // success:
jrose@1144 275 // ld [ %l2 + -4 ], %l2
jrose@1144 276 // ld [ %g3 + %l2 ], %l5
jrose@1144 277 // restore %l5, 0, %g5
jrose@1144 278 // ld [ %g5 + 0x44 ], %g3
jrose@1144 279 // jmp %g3
jrose@1144 280 // nop
jrose@1144 281 // throw_icce:
jrose@1144 282 // sethi %hi(throw_ICCE_entry), %g3
jrose@1144 283 // ! 5 more instructions here, LP64_ONLY
jrose@1144 284 // jmp %g3 + %lo(throw_ICCE_entry)
jrose@1144 285 // restore
duke@435 286 }
duke@435 287
duke@435 288
duke@435 289 int VtableStub::pd_code_alignment() {
duke@435 290 // UltraSPARC cache line size is 8 instructions:
duke@435 291 const unsigned int icache_line_size = 32;
duke@435 292 return icache_line_size;
duke@435 293 }

mercurial