src/cpu/zero/vm/frame_zero.cpp

Wed, 27 Apr 2016 01:25:04 +0800

author
aoqi
date
Wed, 27 Apr 2016 01:25:04 +0800
changeset 0
f90c822e73f8
child 6876
710a3c8b516e
permissions
-rw-r--r--

Initial load
http://hg.openjdk.java.net/jdk8u/jdk8u/hotspot/
changeset: 6782:28b50d07f6f8
tag: jdk8u25-b17

aoqi@0 1 /*
aoqi@0 2 * Copyright (c) 2003, 2013, Oracle and/or its affiliates. All rights reserved.
aoqi@0 3 * Copyright 2007, 2008, 2009, 2010, 2011 Red Hat, Inc.
aoqi@0 4 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
aoqi@0 5 *
aoqi@0 6 * This code is free software; you can redistribute it and/or modify it
aoqi@0 7 * under the terms of the GNU General Public License version 2 only, as
aoqi@0 8 * published by the Free Software Foundation.
aoqi@0 9 *
aoqi@0 10 * This code is distributed in the hope that it will be useful, but WITHOUT
aoqi@0 11 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
aoqi@0 12 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
aoqi@0 13 * version 2 for more details (a copy is included in the LICENSE file that
aoqi@0 14 * accompanied this code).
aoqi@0 15 *
aoqi@0 16 * You should have received a copy of the GNU General Public License version
aoqi@0 17 * 2 along with this work; if not, write to the Free Software Foundation,
aoqi@0 18 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
aoqi@0 19 *
aoqi@0 20 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
aoqi@0 21 * or visit www.oracle.com if you need additional information or have any
aoqi@0 22 * questions.
aoqi@0 23 *
aoqi@0 24 */
aoqi@0 25
aoqi@0 26 #include "precompiled.hpp"
aoqi@0 27 #include "code/scopeDesc.hpp"
aoqi@0 28 #include "interpreter/interpreter.hpp"
aoqi@0 29 #include "interpreter/interpreterRuntime.hpp"
aoqi@0 30 #include "memory/resourceArea.hpp"
aoqi@0 31 #include "oops/markOop.hpp"
aoqi@0 32 #include "oops/method.hpp"
aoqi@0 33 #include "oops/oop.inline.hpp"
aoqi@0 34 #include "runtime/frame.inline.hpp"
aoqi@0 35 #include "runtime/handles.inline.hpp"
aoqi@0 36 #include "runtime/javaCalls.hpp"
aoqi@0 37 #include "runtime/monitorChunk.hpp"
aoqi@0 38 #include "runtime/signature.hpp"
aoqi@0 39 #include "runtime/stubCodeGenerator.hpp"
aoqi@0 40 #include "runtime/stubRoutines.hpp"
aoqi@0 41 #include "vmreg_zero.inline.hpp"
aoqi@0 42 #ifdef COMPILER1
aoqi@0 43 #include "c1/c1_Runtime1.hpp"
aoqi@0 44 #include "runtime/vframeArray.hpp"
aoqi@0 45 #endif
aoqi@0 46
aoqi@0 47 #ifdef ASSERT
aoqi@0 48 void RegisterMap::check_location_valid() {
aoqi@0 49 ShouldNotCallThis();
aoqi@0 50 }
aoqi@0 51 #endif
aoqi@0 52
aoqi@0 53 bool frame::is_interpreted_frame() const {
aoqi@0 54 return zeroframe()->is_interpreter_frame();
aoqi@0 55 }
aoqi@0 56
aoqi@0 57 bool frame::is_fake_stub_frame() const {
aoqi@0 58 return zeroframe()->is_fake_stub_frame();
aoqi@0 59 }
aoqi@0 60
aoqi@0 61 frame frame::sender_for_entry_frame(RegisterMap *map) const {
aoqi@0 62 assert(zeroframe()->is_entry_frame(), "wrong type of frame");
aoqi@0 63 assert(map != NULL, "map must be set");
aoqi@0 64 assert(!entry_frame_is_first(), "next Java fp must be non zero");
aoqi@0 65 assert(entry_frame_call_wrapper()->anchor()->last_Java_sp() == sender_sp(),
aoqi@0 66 "sender should be next Java frame");
aoqi@0 67 map->clear();
aoqi@0 68 assert(map->include_argument_oops(), "should be set by clear");
aoqi@0 69 return frame(zeroframe()->next(), sender_sp());
aoqi@0 70 }
aoqi@0 71
aoqi@0 72 frame frame::sender_for_nonentry_frame(RegisterMap *map) const {
aoqi@0 73 assert(zeroframe()->is_interpreter_frame() ||
aoqi@0 74 zeroframe()->is_shark_frame() ||
aoqi@0 75 zeroframe()->is_fake_stub_frame(), "wrong type of frame");
aoqi@0 76 return frame(zeroframe()->next(), sender_sp());
aoqi@0 77 }
aoqi@0 78
aoqi@0 79 frame frame::sender(RegisterMap* map) const {
aoqi@0 80 // Default is not to follow arguments; the various
aoqi@0 81 // sender_for_xxx methods update this accordingly.
aoqi@0 82 map->set_include_argument_oops(false);
aoqi@0 83
aoqi@0 84 if (is_entry_frame())
aoqi@0 85 return sender_for_entry_frame(map);
aoqi@0 86 else
aoqi@0 87 return sender_for_nonentry_frame(map);
aoqi@0 88 }
aoqi@0 89
aoqi@0 90 #ifdef CC_INTERP
aoqi@0 91 BasicObjectLock* frame::interpreter_frame_monitor_begin() const {
aoqi@0 92 return get_interpreterState()->monitor_base();
aoqi@0 93 }
aoqi@0 94
aoqi@0 95 BasicObjectLock* frame::interpreter_frame_monitor_end() const {
aoqi@0 96 return (BasicObjectLock*) get_interpreterState()->stack_base();
aoqi@0 97 }
aoqi@0 98 #endif // CC_INTERP
aoqi@0 99
aoqi@0 100 void frame::patch_pc(Thread* thread, address pc) {
aoqi@0 101
aoqi@0 102 if (pc != NULL) {
aoqi@0 103 _cb = CodeCache::find_blob(pc);
aoqi@0 104 SharkFrame* sharkframe = zeroframe()->as_shark_frame();
aoqi@0 105 sharkframe->set_pc(pc);
aoqi@0 106 _pc = pc;
aoqi@0 107 _deopt_state = is_deoptimized;
aoqi@0 108
aoqi@0 109 } else {
aoqi@0 110 // We borrow this call to set the thread pointer in the interpreter
aoqi@0 111 // state; the hook to set up deoptimized frames isn't supplied it.
aoqi@0 112 assert(pc == NULL, "should be");
aoqi@0 113 get_interpreterState()->set_thread((JavaThread *) thread);
aoqi@0 114 }
aoqi@0 115 }
aoqi@0 116
aoqi@0 117 bool frame::safe_for_sender(JavaThread *thread) {
aoqi@0 118 ShouldNotCallThis();
aoqi@0 119 return false;
aoqi@0 120 }
aoqi@0 121
aoqi@0 122 void frame::pd_gc_epilog() {
aoqi@0 123 }
aoqi@0 124
aoqi@0 125 bool frame::is_interpreted_frame_valid(JavaThread *thread) const {
aoqi@0 126 ShouldNotCallThis();
aoqi@0 127 return false;
aoqi@0 128 }
aoqi@0 129
aoqi@0 130 BasicType frame::interpreter_frame_result(oop* oop_result,
aoqi@0 131 jvalue* value_result) {
aoqi@0 132 assert(is_interpreted_frame(), "interpreted frame expected");
aoqi@0 133 Method* method = interpreter_frame_method();
aoqi@0 134 BasicType type = method->result_type();
aoqi@0 135 intptr_t* tos_addr = (intptr_t *) interpreter_frame_tos_address();
aoqi@0 136 oop obj;
aoqi@0 137
aoqi@0 138 switch (type) {
aoqi@0 139 case T_VOID:
aoqi@0 140 break;
aoqi@0 141 case T_BOOLEAN:
aoqi@0 142 value_result->z = *(jboolean *) tos_addr;
aoqi@0 143 break;
aoqi@0 144 case T_BYTE:
aoqi@0 145 value_result->b = *(jbyte *) tos_addr;
aoqi@0 146 break;
aoqi@0 147 case T_CHAR:
aoqi@0 148 value_result->c = *(jchar *) tos_addr;
aoqi@0 149 break;
aoqi@0 150 case T_SHORT:
aoqi@0 151 value_result->s = *(jshort *) tos_addr;
aoqi@0 152 break;
aoqi@0 153 case T_INT:
aoqi@0 154 value_result->i = *(jint *) tos_addr;
aoqi@0 155 break;
aoqi@0 156 case T_LONG:
aoqi@0 157 value_result->j = *(jlong *) tos_addr;
aoqi@0 158 break;
aoqi@0 159 case T_FLOAT:
aoqi@0 160 value_result->f = *(jfloat *) tos_addr;
aoqi@0 161 break;
aoqi@0 162 case T_DOUBLE:
aoqi@0 163 value_result->d = *(jdouble *) tos_addr;
aoqi@0 164 break;
aoqi@0 165
aoqi@0 166 case T_OBJECT:
aoqi@0 167 case T_ARRAY:
aoqi@0 168 if (method->is_native()) {
aoqi@0 169 obj = get_interpreterState()->oop_temp();
aoqi@0 170 }
aoqi@0 171 else {
aoqi@0 172 oop* obj_p = (oop *) tos_addr;
aoqi@0 173 obj = (obj_p == NULL) ? (oop) NULL : *obj_p;
aoqi@0 174 }
aoqi@0 175 assert(obj == NULL || Universe::heap()->is_in(obj), "sanity check");
aoqi@0 176 *oop_result = obj;
aoqi@0 177 break;
aoqi@0 178
aoqi@0 179 default:
aoqi@0 180 ShouldNotReachHere();
aoqi@0 181 }
aoqi@0 182
aoqi@0 183 return type;
aoqi@0 184 }
aoqi@0 185
aoqi@0 186 int frame::frame_size(RegisterMap* map) const {
aoqi@0 187 #ifdef PRODUCT
aoqi@0 188 ShouldNotCallThis();
aoqi@0 189 #endif // PRODUCT
aoqi@0 190 return 0; // make javaVFrame::print_value work
aoqi@0 191 }
aoqi@0 192
aoqi@0 193 intptr_t* frame::interpreter_frame_tos_at(jint offset) const {
aoqi@0 194 int index = (Interpreter::expr_offset_in_bytes(offset) / wordSize);
aoqi@0 195 return &interpreter_frame_tos_address()[index];
aoqi@0 196 }
aoqi@0 197
aoqi@0 198 void frame::zero_print_on_error(int frame_index,
aoqi@0 199 outputStream* st,
aoqi@0 200 char* buf,
aoqi@0 201 int buflen) const {
aoqi@0 202 // Divide the buffer between the field and the value
aoqi@0 203 buflen >>= 1;
aoqi@0 204 char *fieldbuf = buf;
aoqi@0 205 char *valuebuf = buf + buflen;
aoqi@0 206
aoqi@0 207 // Print each word of the frame
aoqi@0 208 for (intptr_t *addr = sp(); addr <= fp(); addr++) {
aoqi@0 209 int offset = fp() - addr;
aoqi@0 210
aoqi@0 211 // Fill in default values, then try and improve them
aoqi@0 212 snprintf(fieldbuf, buflen, "word[%d]", offset);
aoqi@0 213 snprintf(valuebuf, buflen, PTR_FORMAT, *addr);
aoqi@0 214 zeroframe()->identify_word(frame_index, offset, fieldbuf, valuebuf, buflen);
aoqi@0 215 fieldbuf[buflen - 1] = '\0';
aoqi@0 216 valuebuf[buflen - 1] = '\0';
aoqi@0 217
aoqi@0 218 // Print the result
aoqi@0 219 st->print_cr(" " PTR_FORMAT ": %-21s = %s", addr, fieldbuf, valuebuf);
aoqi@0 220 }
aoqi@0 221 }
aoqi@0 222
aoqi@0 223 void ZeroFrame::identify_word(int frame_index,
aoqi@0 224 int offset,
aoqi@0 225 char* fieldbuf,
aoqi@0 226 char* valuebuf,
aoqi@0 227 int buflen) const {
aoqi@0 228 switch (offset) {
aoqi@0 229 case next_frame_off:
aoqi@0 230 strncpy(fieldbuf, "next_frame", buflen);
aoqi@0 231 break;
aoqi@0 232
aoqi@0 233 case frame_type_off:
aoqi@0 234 strncpy(fieldbuf, "frame_type", buflen);
aoqi@0 235 if (is_entry_frame())
aoqi@0 236 strncpy(valuebuf, "ENTRY_FRAME", buflen);
aoqi@0 237 else if (is_interpreter_frame())
aoqi@0 238 strncpy(valuebuf, "INTERPRETER_FRAME", buflen);
aoqi@0 239 else if (is_shark_frame())
aoqi@0 240 strncpy(valuebuf, "SHARK_FRAME", buflen);
aoqi@0 241 else if (is_fake_stub_frame())
aoqi@0 242 strncpy(valuebuf, "FAKE_STUB_FRAME", buflen);
aoqi@0 243 break;
aoqi@0 244
aoqi@0 245 default:
aoqi@0 246 if (is_entry_frame()) {
aoqi@0 247 as_entry_frame()->identify_word(
aoqi@0 248 frame_index, offset, fieldbuf, valuebuf, buflen);
aoqi@0 249 }
aoqi@0 250 else if (is_interpreter_frame()) {
aoqi@0 251 as_interpreter_frame()->identify_word(
aoqi@0 252 frame_index, offset, fieldbuf, valuebuf, buflen);
aoqi@0 253 }
aoqi@0 254 else if (is_shark_frame()) {
aoqi@0 255 as_shark_frame()->identify_word(
aoqi@0 256 frame_index, offset, fieldbuf, valuebuf, buflen);
aoqi@0 257 }
aoqi@0 258 else if (is_fake_stub_frame()) {
aoqi@0 259 as_fake_stub_frame()->identify_word(
aoqi@0 260 frame_index, offset, fieldbuf, valuebuf, buflen);
aoqi@0 261 }
aoqi@0 262 }
aoqi@0 263 }
aoqi@0 264
aoqi@0 265 void EntryFrame::identify_word(int frame_index,
aoqi@0 266 int offset,
aoqi@0 267 char* fieldbuf,
aoqi@0 268 char* valuebuf,
aoqi@0 269 int buflen) const {
aoqi@0 270 switch (offset) {
aoqi@0 271 case call_wrapper_off:
aoqi@0 272 strncpy(fieldbuf, "call_wrapper", buflen);
aoqi@0 273 break;
aoqi@0 274
aoqi@0 275 default:
aoqi@0 276 snprintf(fieldbuf, buflen, "local[%d]", offset - 3);
aoqi@0 277 }
aoqi@0 278 }
aoqi@0 279
aoqi@0 280 void InterpreterFrame::identify_word(int frame_index,
aoqi@0 281 int offset,
aoqi@0 282 char* fieldbuf,
aoqi@0 283 char* valuebuf,
aoqi@0 284 int buflen) const {
aoqi@0 285 interpreterState istate = interpreter_state();
aoqi@0 286 bool is_valid = istate->self_link() == istate;
aoqi@0 287 intptr_t *addr = addr_of_word(offset);
aoqi@0 288
aoqi@0 289 // Fixed part
aoqi@0 290 if (addr >= (intptr_t *) istate) {
aoqi@0 291 const char *field = istate->name_of_field_at_address((address) addr);
aoqi@0 292 if (field) {
aoqi@0 293 if (is_valid && !strcmp(field, "_method")) {
aoqi@0 294 istate->method()->name_and_sig_as_C_string(valuebuf, buflen);
aoqi@0 295 }
aoqi@0 296 else if (is_valid && !strcmp(field, "_bcp") && istate->bcp()) {
aoqi@0 297 snprintf(valuebuf, buflen, PTR_FORMAT " (bci %d)",
aoqi@0 298 (intptr_t) istate->bcp(),
aoqi@0 299 istate->method()->bci_from(istate->bcp()));
aoqi@0 300 }
aoqi@0 301 snprintf(fieldbuf, buflen, "%sistate->%s",
aoqi@0 302 field[strlen(field) - 1] == ')' ? "(": "", field);
aoqi@0 303 }
aoqi@0 304 else if (addr == (intptr_t *) istate) {
aoqi@0 305 strncpy(fieldbuf, "(vtable for istate)", buflen);
aoqi@0 306 }
aoqi@0 307 return;
aoqi@0 308 }
aoqi@0 309
aoqi@0 310 // Variable part
aoqi@0 311 if (!is_valid)
aoqi@0 312 return;
aoqi@0 313
aoqi@0 314 // JNI stuff
aoqi@0 315 if (istate->method()->is_native() && addr < istate->stack_base()) {
aoqi@0 316 address hA = istate->method()->signature_handler();
aoqi@0 317 if (hA != NULL) {
aoqi@0 318 if (hA != (address) InterpreterRuntime::slow_signature_handler) {
aoqi@0 319 InterpreterRuntime::SignatureHandler *handler =
aoqi@0 320 InterpreterRuntime::SignatureHandler::from_handlerAddr(hA);
aoqi@0 321
aoqi@0 322 intptr_t *params = istate->stack_base() - handler->argument_count();
aoqi@0 323 if (addr >= params) {
aoqi@0 324 int param = addr - params;
aoqi@0 325 const char *desc = "";
aoqi@0 326 if (param == 0)
aoqi@0 327 desc = " (JNIEnv)";
aoqi@0 328 else if (param == 1) {
aoqi@0 329 if (istate->method()->is_static())
aoqi@0 330 desc = " (mirror)";
aoqi@0 331 else
aoqi@0 332 desc = " (this)";
aoqi@0 333 }
aoqi@0 334 snprintf(fieldbuf, buflen, "parameter[%d]%s", param, desc);
aoqi@0 335 return;
aoqi@0 336 }
aoqi@0 337
aoqi@0 338 for (int i = 0; i < handler->argument_count(); i++) {
aoqi@0 339 if (params[i] == (intptr_t) addr) {
aoqi@0 340 snprintf(fieldbuf, buflen, "unboxed parameter[%d]", i);
aoqi@0 341 return;
aoqi@0 342 }
aoqi@0 343 }
aoqi@0 344 }
aoqi@0 345 }
aoqi@0 346 return;
aoqi@0 347 }
aoqi@0 348
aoqi@0 349 // Monitors and stack
aoqi@0 350 identify_vp_word(frame_index, addr,
aoqi@0 351 (intptr_t *) istate->monitor_base(),
aoqi@0 352 istate->stack_base(),
aoqi@0 353 fieldbuf, buflen);
aoqi@0 354 }
aoqi@0 355
aoqi@0 356 void SharkFrame::identify_word(int frame_index,
aoqi@0 357 int offset,
aoqi@0 358 char* fieldbuf,
aoqi@0 359 char* valuebuf,
aoqi@0 360 int buflen) const {
aoqi@0 361 // Fixed part
aoqi@0 362 switch (offset) {
aoqi@0 363 case pc_off:
aoqi@0 364 strncpy(fieldbuf, "pc", buflen);
aoqi@0 365 if (method()->is_method()) {
aoqi@0 366 nmethod *code = method()->code();
aoqi@0 367 if (code && code->pc_desc_at(pc())) {
aoqi@0 368 SimpleScopeDesc ssd(code, pc());
aoqi@0 369 snprintf(valuebuf, buflen, PTR_FORMAT " (bci %d)",
aoqi@0 370 (intptr_t) pc(), ssd.bci());
aoqi@0 371 }
aoqi@0 372 }
aoqi@0 373 return;
aoqi@0 374
aoqi@0 375 case unextended_sp_off:
aoqi@0 376 strncpy(fieldbuf, "unextended_sp", buflen);
aoqi@0 377 return;
aoqi@0 378
aoqi@0 379 case method_off:
aoqi@0 380 strncpy(fieldbuf, "method", buflen);
aoqi@0 381 if (method()->is_method()) {
aoqi@0 382 method()->name_and_sig_as_C_string(valuebuf, buflen);
aoqi@0 383 }
aoqi@0 384 return;
aoqi@0 385
aoqi@0 386 case oop_tmp_off:
aoqi@0 387 strncpy(fieldbuf, "oop_tmp", buflen);
aoqi@0 388 return;
aoqi@0 389 }
aoqi@0 390
aoqi@0 391 // Variable part
aoqi@0 392 if (method()->is_method()) {
aoqi@0 393 identify_vp_word(frame_index, addr_of_word(offset),
aoqi@0 394 addr_of_word(header_words + 1),
aoqi@0 395 unextended_sp() + method()->max_stack(),
aoqi@0 396 fieldbuf, buflen);
aoqi@0 397 }
aoqi@0 398 }
aoqi@0 399
aoqi@0 400 void ZeroFrame::identify_vp_word(int frame_index,
aoqi@0 401 intptr_t* addr,
aoqi@0 402 intptr_t* monitor_base,
aoqi@0 403 intptr_t* stack_base,
aoqi@0 404 char* fieldbuf,
aoqi@0 405 int buflen) const {
aoqi@0 406 // Monitors
aoqi@0 407 if (addr >= stack_base && addr < monitor_base) {
aoqi@0 408 int monitor_size = frame::interpreter_frame_monitor_size();
aoqi@0 409 int last_index = (monitor_base - stack_base) / monitor_size - 1;
aoqi@0 410 int index = last_index - (addr - stack_base) / monitor_size;
aoqi@0 411 intptr_t monitor = (intptr_t) (
aoqi@0 412 (BasicObjectLock *) monitor_base - 1 - index);
aoqi@0 413 intptr_t offset = (intptr_t) addr - monitor;
aoqi@0 414
aoqi@0 415 if (offset == BasicObjectLock::obj_offset_in_bytes())
aoqi@0 416 snprintf(fieldbuf, buflen, "monitor[%d]->_obj", index);
aoqi@0 417 else if (offset == BasicObjectLock::lock_offset_in_bytes())
aoqi@0 418 snprintf(fieldbuf, buflen, "monitor[%d]->_lock", index);
aoqi@0 419
aoqi@0 420 return;
aoqi@0 421 }
aoqi@0 422
aoqi@0 423 // Expression stack
aoqi@0 424 if (addr < stack_base) {
aoqi@0 425 snprintf(fieldbuf, buflen, "%s[%d]",
aoqi@0 426 frame_index == 0 ? "stack_word" : "local",
aoqi@0 427 (int) (stack_base - addr - 1));
aoqi@0 428 return;
aoqi@0 429 }
aoqi@0 430 }
aoqi@0 431
aoqi@0 432 #ifndef PRODUCT
aoqi@0 433
aoqi@0 434 void frame::describe_pd(FrameValues& values, int frame_no) {
aoqi@0 435
aoqi@0 436 }
aoqi@0 437
aoqi@0 438 #endif
aoqi@0 439
aoqi@0 440 intptr_t *frame::initial_deoptimization_info() {
aoqi@0 441 // unused... but returns fp() to minimize changes introduced by 7087445
aoqi@0 442 return fp();
aoqi@0 443 }

mercurial