src/share/vm/code/nmethod.cpp

Fri, 29 Jan 2010 12:13:05 +0100

author
twisti
date
Fri, 29 Jan 2010 12:13:05 +0100
changeset 1635
ba263cfb7611
parent 1590
4e6abf09f540
child 1636
24128c2ffa87
permissions
-rw-r--r--

6917766: JSR 292 needs its own deopt handler
Summary: We need to introduce a new MH deopt handler so we can easily determine if the deopt happened at a MH call site or not.
Reviewed-by: never, jrose

duke@435 1 /*
twisti@1635 2 * Copyright 1997-2010 Sun Microsystems, Inc. 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 *
duke@435 19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
duke@435 20 * CA 95054 USA or visit www.sun.com if you need additional information or
duke@435 21 * have any questions.
duke@435 22 *
duke@435 23 */
duke@435 24
duke@435 25 # include "incls/_precompiled.incl"
duke@435 26 # include "incls/_nmethod.cpp.incl"
duke@435 27
duke@435 28 #ifdef DTRACE_ENABLED
duke@435 29
duke@435 30 // Only bother with this argument setup if dtrace is available
duke@435 31
duke@435 32 HS_DTRACE_PROBE_DECL8(hotspot, compiled__method__load,
duke@435 33 const char*, int, const char*, int, const char*, int, void*, size_t);
duke@435 34
duke@435 35 HS_DTRACE_PROBE_DECL6(hotspot, compiled__method__unload,
duke@435 36 char*, int, char*, int, char*, int);
duke@435 37
duke@435 38 #define DTRACE_METHOD_UNLOAD_PROBE(method) \
duke@435 39 { \
duke@435 40 methodOop m = (method); \
duke@435 41 if (m != NULL) { \
duke@435 42 symbolOop klass_name = m->klass_name(); \
duke@435 43 symbolOop name = m->name(); \
duke@435 44 symbolOop signature = m->signature(); \
duke@435 45 HS_DTRACE_PROBE6(hotspot, compiled__method__unload, \
duke@435 46 klass_name->bytes(), klass_name->utf8_length(), \
duke@435 47 name->bytes(), name->utf8_length(), \
duke@435 48 signature->bytes(), signature->utf8_length()); \
duke@435 49 } \
duke@435 50 }
duke@435 51
duke@435 52 #else // ndef DTRACE_ENABLED
duke@435 53
duke@435 54 #define DTRACE_METHOD_UNLOAD_PROBE(method)
duke@435 55
duke@435 56 #endif
duke@435 57
duke@435 58 bool nmethod::is_compiled_by_c1() const {
jrose@1590 59 if (compiler() == NULL || method() == NULL) return false; // can happen during debug printing
duke@435 60 if (is_native_method()) return false;
duke@435 61 return compiler()->is_c1();
duke@435 62 }
duke@435 63 bool nmethod::is_compiled_by_c2() const {
jrose@1590 64 if (compiler() == NULL || method() == NULL) return false; // can happen during debug printing
duke@435 65 if (is_native_method()) return false;
duke@435 66 return compiler()->is_c2();
duke@435 67 }
duke@435 68
duke@435 69
duke@435 70
duke@435 71 //---------------------------------------------------------------------------------
duke@435 72 // NMethod statistics
duke@435 73 // They are printed under various flags, including:
duke@435 74 // PrintC1Statistics, PrintOptoStatistics, LogVMOutput, and LogCompilation.
duke@435 75 // (In the latter two cases, they like other stats are printed to the log only.)
duke@435 76
duke@435 77 #ifndef PRODUCT
duke@435 78 // These variables are put into one block to reduce relocations
duke@435 79 // and make it simpler to print from the debugger.
duke@435 80 static
duke@435 81 struct nmethod_stats_struct {
duke@435 82 int nmethod_count;
duke@435 83 int total_size;
duke@435 84 int relocation_size;
duke@435 85 int code_size;
duke@435 86 int stub_size;
duke@435 87 int consts_size;
duke@435 88 int scopes_data_size;
duke@435 89 int scopes_pcs_size;
duke@435 90 int dependencies_size;
duke@435 91 int handler_table_size;
duke@435 92 int nul_chk_table_size;
duke@435 93 int oops_size;
duke@435 94
duke@435 95 void note_nmethod(nmethod* nm) {
duke@435 96 nmethod_count += 1;
duke@435 97 total_size += nm->size();
duke@435 98 relocation_size += nm->relocation_size();
duke@435 99 code_size += nm->code_size();
duke@435 100 stub_size += nm->stub_size();
duke@435 101 consts_size += nm->consts_size();
duke@435 102 scopes_data_size += nm->scopes_data_size();
duke@435 103 scopes_pcs_size += nm->scopes_pcs_size();
duke@435 104 dependencies_size += nm->dependencies_size();
duke@435 105 handler_table_size += nm->handler_table_size();
duke@435 106 nul_chk_table_size += nm->nul_chk_table_size();
duke@435 107 oops_size += nm->oops_size();
duke@435 108 }
duke@435 109 void print_nmethod_stats() {
duke@435 110 if (nmethod_count == 0) return;
duke@435 111 tty->print_cr("Statistics for %d bytecoded nmethods:", nmethod_count);
duke@435 112 if (total_size != 0) tty->print_cr(" total in heap = %d", total_size);
duke@435 113 if (relocation_size != 0) tty->print_cr(" relocation = %d", relocation_size);
duke@435 114 if (code_size != 0) tty->print_cr(" main code = %d", code_size);
duke@435 115 if (stub_size != 0) tty->print_cr(" stub code = %d", stub_size);
duke@435 116 if (consts_size != 0) tty->print_cr(" constants = %d", consts_size);
duke@435 117 if (scopes_data_size != 0) tty->print_cr(" scopes data = %d", scopes_data_size);
duke@435 118 if (scopes_pcs_size != 0) tty->print_cr(" scopes pcs = %d", scopes_pcs_size);
duke@435 119 if (dependencies_size != 0) tty->print_cr(" dependencies = %d", dependencies_size);
duke@435 120 if (handler_table_size != 0) tty->print_cr(" handler table = %d", handler_table_size);
duke@435 121 if (nul_chk_table_size != 0) tty->print_cr(" nul chk table = %d", nul_chk_table_size);
duke@435 122 if (oops_size != 0) tty->print_cr(" oops = %d", oops_size);
duke@435 123 }
duke@435 124
duke@435 125 int native_nmethod_count;
duke@435 126 int native_total_size;
duke@435 127 int native_relocation_size;
duke@435 128 int native_code_size;
duke@435 129 int native_oops_size;
duke@435 130 void note_native_nmethod(nmethod* nm) {
duke@435 131 native_nmethod_count += 1;
duke@435 132 native_total_size += nm->size();
duke@435 133 native_relocation_size += nm->relocation_size();
duke@435 134 native_code_size += nm->code_size();
duke@435 135 native_oops_size += nm->oops_size();
duke@435 136 }
duke@435 137 void print_native_nmethod_stats() {
duke@435 138 if (native_nmethod_count == 0) return;
duke@435 139 tty->print_cr("Statistics for %d native nmethods:", native_nmethod_count);
duke@435 140 if (native_total_size != 0) tty->print_cr(" N. total size = %d", native_total_size);
duke@435 141 if (native_relocation_size != 0) tty->print_cr(" N. relocation = %d", native_relocation_size);
duke@435 142 if (native_code_size != 0) tty->print_cr(" N. main code = %d", native_code_size);
duke@435 143 if (native_oops_size != 0) tty->print_cr(" N. oops = %d", native_oops_size);
duke@435 144 }
duke@435 145
duke@435 146 int pc_desc_resets; // number of resets (= number of caches)
duke@435 147 int pc_desc_queries; // queries to nmethod::find_pc_desc
duke@435 148 int pc_desc_approx; // number of those which have approximate true
duke@435 149 int pc_desc_repeats; // number of _last_pc_desc hits
duke@435 150 int pc_desc_hits; // number of LRU cache hits
duke@435 151 int pc_desc_tests; // total number of PcDesc examinations
duke@435 152 int pc_desc_searches; // total number of quasi-binary search steps
duke@435 153 int pc_desc_adds; // number of LUR cache insertions
duke@435 154
duke@435 155 void print_pc_stats() {
duke@435 156 tty->print_cr("PcDesc Statistics: %d queries, %.2f comparisons per query",
duke@435 157 pc_desc_queries,
duke@435 158 (double)(pc_desc_tests + pc_desc_searches)
duke@435 159 / pc_desc_queries);
duke@435 160 tty->print_cr(" caches=%d queries=%d/%d, hits=%d+%d, tests=%d+%d, adds=%d",
duke@435 161 pc_desc_resets,
duke@435 162 pc_desc_queries, pc_desc_approx,
duke@435 163 pc_desc_repeats, pc_desc_hits,
duke@435 164 pc_desc_tests, pc_desc_searches, pc_desc_adds);
duke@435 165 }
duke@435 166 } nmethod_stats;
duke@435 167 #endif //PRODUCT
duke@435 168
duke@435 169 //---------------------------------------------------------------------------------
duke@435 170
duke@435 171
duke@435 172 // The _unwind_handler is a special marker address, which says that
duke@435 173 // for given exception oop and address, the frame should be removed
duke@435 174 // as the tuple cannot be caught in the nmethod
duke@435 175 address ExceptionCache::_unwind_handler = (address) -1;
duke@435 176
duke@435 177
duke@435 178 ExceptionCache::ExceptionCache(Handle exception, address pc, address handler) {
duke@435 179 assert(pc != NULL, "Must be non null");
duke@435 180 assert(exception.not_null(), "Must be non null");
duke@435 181 assert(handler != NULL, "Must be non null");
duke@435 182
duke@435 183 _count = 0;
duke@435 184 _exception_type = exception->klass();
duke@435 185 _next = NULL;
duke@435 186
duke@435 187 add_address_and_handler(pc,handler);
duke@435 188 }
duke@435 189
duke@435 190
duke@435 191 address ExceptionCache::match(Handle exception, address pc) {
duke@435 192 assert(pc != NULL,"Must be non null");
duke@435 193 assert(exception.not_null(),"Must be non null");
duke@435 194 if (exception->klass() == exception_type()) {
duke@435 195 return (test_address(pc));
duke@435 196 }
duke@435 197
duke@435 198 return NULL;
duke@435 199 }
duke@435 200
duke@435 201
duke@435 202 bool ExceptionCache::match_exception_with_space(Handle exception) {
duke@435 203 assert(exception.not_null(),"Must be non null");
duke@435 204 if (exception->klass() == exception_type() && count() < cache_size) {
duke@435 205 return true;
duke@435 206 }
duke@435 207 return false;
duke@435 208 }
duke@435 209
duke@435 210
duke@435 211 address ExceptionCache::test_address(address addr) {
duke@435 212 for (int i=0; i<count(); i++) {
duke@435 213 if (pc_at(i) == addr) {
duke@435 214 return handler_at(i);
duke@435 215 }
duke@435 216 }
duke@435 217 return NULL;
duke@435 218 }
duke@435 219
duke@435 220
duke@435 221 bool ExceptionCache::add_address_and_handler(address addr, address handler) {
duke@435 222 if (test_address(addr) == handler) return true;
duke@435 223 if (count() < cache_size) {
duke@435 224 set_pc_at(count(),addr);
duke@435 225 set_handler_at(count(), handler);
duke@435 226 increment_count();
duke@435 227 return true;
duke@435 228 }
duke@435 229 return false;
duke@435 230 }
duke@435 231
duke@435 232
duke@435 233 // private method for handling exception cache
duke@435 234 // These methods are private, and used to manipulate the exception cache
duke@435 235 // directly.
duke@435 236 ExceptionCache* nmethod::exception_cache_entry_for_exception(Handle exception) {
duke@435 237 ExceptionCache* ec = exception_cache();
duke@435 238 while (ec != NULL) {
duke@435 239 if (ec->match_exception_with_space(exception)) {
duke@435 240 return ec;
duke@435 241 }
duke@435 242 ec = ec->next();
duke@435 243 }
duke@435 244 return NULL;
duke@435 245 }
duke@435 246
duke@435 247
duke@435 248 //-----------------------------------------------------------------------------
duke@435 249
duke@435 250
duke@435 251 // Helper used by both find_pc_desc methods.
duke@435 252 static inline bool match_desc(PcDesc* pc, int pc_offset, bool approximate) {
duke@435 253 NOT_PRODUCT(++nmethod_stats.pc_desc_tests);
duke@435 254 if (!approximate)
duke@435 255 return pc->pc_offset() == pc_offset;
duke@435 256 else
duke@435 257 return (pc-1)->pc_offset() < pc_offset && pc_offset <= pc->pc_offset();
duke@435 258 }
duke@435 259
duke@435 260 void PcDescCache::reset_to(PcDesc* initial_pc_desc) {
duke@435 261 if (initial_pc_desc == NULL) {
duke@435 262 _last_pc_desc = NULL; // native method
duke@435 263 return;
duke@435 264 }
duke@435 265 NOT_PRODUCT(++nmethod_stats.pc_desc_resets);
duke@435 266 // reset the cache by filling it with benign (non-null) values
duke@435 267 assert(initial_pc_desc->pc_offset() < 0, "must be sentinel");
duke@435 268 _last_pc_desc = initial_pc_desc + 1; // first valid one is after sentinel
duke@435 269 for (int i = 0; i < cache_size; i++)
duke@435 270 _pc_descs[i] = initial_pc_desc;
duke@435 271 }
duke@435 272
duke@435 273 PcDesc* PcDescCache::find_pc_desc(int pc_offset, bool approximate) {
duke@435 274 NOT_PRODUCT(++nmethod_stats.pc_desc_queries);
duke@435 275 NOT_PRODUCT(if (approximate) ++nmethod_stats.pc_desc_approx);
duke@435 276
duke@435 277 // In order to prevent race conditions do not load cache elements
duke@435 278 // repeatedly, but use a local copy:
duke@435 279 PcDesc* res;
duke@435 280
duke@435 281 // Step one: Check the most recently returned value.
duke@435 282 res = _last_pc_desc;
duke@435 283 if (res == NULL) return NULL; // native method; no PcDescs at all
duke@435 284 if (match_desc(res, pc_offset, approximate)) {
duke@435 285 NOT_PRODUCT(++nmethod_stats.pc_desc_repeats);
duke@435 286 return res;
duke@435 287 }
duke@435 288
duke@435 289 // Step two: Check the LRU cache.
duke@435 290 for (int i = 0; i < cache_size; i++) {
duke@435 291 res = _pc_descs[i];
duke@435 292 if (res->pc_offset() < 0) break; // optimization: skip empty cache
duke@435 293 if (match_desc(res, pc_offset, approximate)) {
duke@435 294 NOT_PRODUCT(++nmethod_stats.pc_desc_hits);
duke@435 295 _last_pc_desc = res; // record this cache hit in case of repeat
duke@435 296 return res;
duke@435 297 }
duke@435 298 }
duke@435 299
duke@435 300 // Report failure.
duke@435 301 return NULL;
duke@435 302 }
duke@435 303
duke@435 304 void PcDescCache::add_pc_desc(PcDesc* pc_desc) {
duke@435 305 NOT_PRODUCT(++nmethod_stats.pc_desc_adds);
duke@435 306 // Update the LRU cache by shifting pc_desc forward:
duke@435 307 for (int i = 0; i < cache_size; i++) {
duke@435 308 PcDesc* next = _pc_descs[i];
duke@435 309 _pc_descs[i] = pc_desc;
duke@435 310 pc_desc = next;
duke@435 311 }
duke@435 312 // Note: Do not update _last_pc_desc. It fronts for the LRU cache.
duke@435 313 }
duke@435 314
duke@435 315 // adjust pcs_size so that it is a multiple of both oopSize and
duke@435 316 // sizeof(PcDesc) (assumes that if sizeof(PcDesc) is not a multiple
duke@435 317 // of oopSize, then 2*sizeof(PcDesc) is)
duke@435 318 static int adjust_pcs_size(int pcs_size) {
duke@435 319 int nsize = round_to(pcs_size, oopSize);
duke@435 320 if ((nsize % sizeof(PcDesc)) != 0) {
duke@435 321 nsize = pcs_size + sizeof(PcDesc);
duke@435 322 }
duke@435 323 assert((nsize % oopSize) == 0, "correct alignment");
duke@435 324 return nsize;
duke@435 325 }
duke@435 326
duke@435 327 //-----------------------------------------------------------------------------
duke@435 328
duke@435 329
duke@435 330 void nmethod::add_exception_cache_entry(ExceptionCache* new_entry) {
duke@435 331 assert(ExceptionCache_lock->owned_by_self(),"Must hold the ExceptionCache_lock");
duke@435 332 assert(new_entry != NULL,"Must be non null");
duke@435 333 assert(new_entry->next() == NULL, "Must be null");
duke@435 334
duke@435 335 if (exception_cache() != NULL) {
duke@435 336 new_entry->set_next(exception_cache());
duke@435 337 }
duke@435 338 set_exception_cache(new_entry);
duke@435 339 }
duke@435 340
duke@435 341 void nmethod::remove_from_exception_cache(ExceptionCache* ec) {
duke@435 342 ExceptionCache* prev = NULL;
duke@435 343 ExceptionCache* curr = exception_cache();
duke@435 344 assert(curr != NULL, "nothing to remove");
duke@435 345 // find the previous and next entry of ec
duke@435 346 while (curr != ec) {
duke@435 347 prev = curr;
duke@435 348 curr = curr->next();
duke@435 349 assert(curr != NULL, "ExceptionCache not found");
duke@435 350 }
duke@435 351 // now: curr == ec
duke@435 352 ExceptionCache* next = curr->next();
duke@435 353 if (prev == NULL) {
duke@435 354 set_exception_cache(next);
duke@435 355 } else {
duke@435 356 prev->set_next(next);
duke@435 357 }
duke@435 358 delete curr;
duke@435 359 }
duke@435 360
duke@435 361
duke@435 362 // public method for accessing the exception cache
duke@435 363 // These are the public access methods.
duke@435 364 address nmethod::handler_for_exception_and_pc(Handle exception, address pc) {
duke@435 365 // We never grab a lock to read the exception cache, so we may
duke@435 366 // have false negatives. This is okay, as it can only happen during
duke@435 367 // the first few exception lookups for a given nmethod.
duke@435 368 ExceptionCache* ec = exception_cache();
duke@435 369 while (ec != NULL) {
duke@435 370 address ret_val;
duke@435 371 if ((ret_val = ec->match(exception,pc)) != NULL) {
duke@435 372 return ret_val;
duke@435 373 }
duke@435 374 ec = ec->next();
duke@435 375 }
duke@435 376 return NULL;
duke@435 377 }
duke@435 378
duke@435 379
duke@435 380 void nmethod::add_handler_for_exception_and_pc(Handle exception, address pc, address handler) {
duke@435 381 // There are potential race conditions during exception cache updates, so we
duke@435 382 // must own the ExceptionCache_lock before doing ANY modifications. Because
twisti@1040 383 // we don't lock during reads, it is possible to have several threads attempt
duke@435 384 // to update the cache with the same data. We need to check for already inserted
duke@435 385 // copies of the current data before adding it.
duke@435 386
duke@435 387 MutexLocker ml(ExceptionCache_lock);
duke@435 388 ExceptionCache* target_entry = exception_cache_entry_for_exception(exception);
duke@435 389
duke@435 390 if (target_entry == NULL || !target_entry->add_address_and_handler(pc,handler)) {
duke@435 391 target_entry = new ExceptionCache(exception,pc,handler);
duke@435 392 add_exception_cache_entry(target_entry);
duke@435 393 }
duke@435 394 }
duke@435 395
duke@435 396
duke@435 397 //-------------end of code for ExceptionCache--------------
duke@435 398
duke@435 399
duke@435 400 void nmFlags::clear() {
duke@435 401 assert(sizeof(nmFlags) == sizeof(int), "using more than one word for nmFlags");
duke@435 402 *(jint*)this = 0;
duke@435 403 }
duke@435 404
duke@435 405 int nmethod::total_size() const {
duke@435 406 return
duke@435 407 code_size() +
duke@435 408 stub_size() +
duke@435 409 consts_size() +
duke@435 410 scopes_data_size() +
duke@435 411 scopes_pcs_size() +
duke@435 412 handler_table_size() +
duke@435 413 nul_chk_table_size();
duke@435 414 }
duke@435 415
duke@435 416 const char* nmethod::compile_kind() const {
duke@435 417 if (is_osr_method()) return "osr";
never@1544 418 if (method() != NULL && is_native_method()) return "c2n";
duke@435 419 return NULL;
duke@435 420 }
duke@435 421
duke@435 422 // %%% This variable is no longer used?
duke@435 423 int nmethod::_zombie_instruction_size = NativeJump::instruction_size;
duke@435 424
duke@435 425
duke@435 426 nmethod* nmethod::new_native_nmethod(methodHandle method,
duke@435 427 CodeBuffer *code_buffer,
duke@435 428 int vep_offset,
duke@435 429 int frame_complete,
duke@435 430 int frame_size,
duke@435 431 ByteSize basic_lock_owner_sp_offset,
duke@435 432 ByteSize basic_lock_sp_offset,
duke@435 433 OopMapSet* oop_maps) {
duke@435 434 // create nmethod
duke@435 435 nmethod* nm = NULL;
duke@435 436 {
duke@435 437 MutexLockerEx mu(CodeCache_lock, Mutex::_no_safepoint_check_flag);
duke@435 438 int native_nmethod_size = allocation_size(code_buffer, sizeof(nmethod));
duke@435 439 CodeOffsets offsets;
duke@435 440 offsets.set_value(CodeOffsets::Verified_Entry, vep_offset);
duke@435 441 offsets.set_value(CodeOffsets::Frame_Complete, frame_complete);
duke@435 442 nm = new (native_nmethod_size)
duke@435 443 nmethod(method(), native_nmethod_size, &offsets,
duke@435 444 code_buffer, frame_size,
duke@435 445 basic_lock_owner_sp_offset, basic_lock_sp_offset,
duke@435 446 oop_maps);
duke@435 447 NOT_PRODUCT(if (nm != NULL) nmethod_stats.note_native_nmethod(nm));
duke@435 448 if (PrintAssembly && nm != NULL)
duke@435 449 Disassembler::decode(nm);
duke@435 450 }
duke@435 451 // verify nmethod
duke@435 452 debug_only(if (nm) nm->verify();) // might block
duke@435 453
duke@435 454 if (nm != NULL) {
duke@435 455 nm->log_new_nmethod();
duke@435 456 }
duke@435 457
duke@435 458 return nm;
duke@435 459 }
duke@435 460
kamg@551 461 #ifdef HAVE_DTRACE_H
kamg@551 462 nmethod* nmethod::new_dtrace_nmethod(methodHandle method,
kamg@551 463 CodeBuffer *code_buffer,
kamg@551 464 int vep_offset,
kamg@551 465 int trap_offset,
kamg@551 466 int frame_complete,
kamg@551 467 int frame_size) {
kamg@551 468 // create nmethod
kamg@551 469 nmethod* nm = NULL;
kamg@551 470 {
kamg@551 471 MutexLockerEx mu(CodeCache_lock, Mutex::_no_safepoint_check_flag);
kamg@551 472 int nmethod_size = allocation_size(code_buffer, sizeof(nmethod));
kamg@551 473 CodeOffsets offsets;
kamg@551 474 offsets.set_value(CodeOffsets::Verified_Entry, vep_offset);
kamg@551 475 offsets.set_value(CodeOffsets::Dtrace_trap, trap_offset);
kamg@551 476 offsets.set_value(CodeOffsets::Frame_Complete, frame_complete);
kamg@551 477
kamg@551 478 nm = new (nmethod_size) nmethod(method(), nmethod_size, &offsets, code_buffer, frame_size);
kamg@551 479
kamg@551 480 NOT_PRODUCT(if (nm != NULL) nmethod_stats.note_nmethod(nm));
kamg@551 481 if (PrintAssembly && nm != NULL)
kamg@551 482 Disassembler::decode(nm);
kamg@551 483 }
kamg@551 484 // verify nmethod
kamg@551 485 debug_only(if (nm) nm->verify();) // might block
kamg@551 486
kamg@551 487 if (nm != NULL) {
kamg@551 488 nm->log_new_nmethod();
kamg@551 489 }
kamg@551 490
kamg@551 491 return nm;
kamg@551 492 }
kamg@551 493
kamg@551 494 #endif // def HAVE_DTRACE_H
kamg@551 495
duke@435 496 nmethod* nmethod::new_nmethod(methodHandle method,
duke@435 497 int compile_id,
duke@435 498 int entry_bci,
duke@435 499 CodeOffsets* offsets,
duke@435 500 int orig_pc_offset,
duke@435 501 DebugInformationRecorder* debug_info,
duke@435 502 Dependencies* dependencies,
duke@435 503 CodeBuffer* code_buffer, int frame_size,
duke@435 504 OopMapSet* oop_maps,
duke@435 505 ExceptionHandlerTable* handler_table,
duke@435 506 ImplicitExceptionTable* nul_chk_table,
duke@435 507 AbstractCompiler* compiler,
duke@435 508 int comp_level
duke@435 509 )
duke@435 510 {
duke@435 511 assert(debug_info->oop_recorder() == code_buffer->oop_recorder(), "shared OR");
duke@435 512 // create nmethod
duke@435 513 nmethod* nm = NULL;
duke@435 514 { MutexLockerEx mu(CodeCache_lock, Mutex::_no_safepoint_check_flag);
duke@435 515 int nmethod_size =
duke@435 516 allocation_size(code_buffer, sizeof(nmethod))
duke@435 517 + adjust_pcs_size(debug_info->pcs_size())
duke@435 518 + round_to(dependencies->size_in_bytes() , oopSize)
duke@435 519 + round_to(handler_table->size_in_bytes(), oopSize)
duke@435 520 + round_to(nul_chk_table->size_in_bytes(), oopSize)
duke@435 521 + round_to(debug_info->data_size() , oopSize);
duke@435 522 nm = new (nmethod_size)
duke@435 523 nmethod(method(), nmethod_size, compile_id, entry_bci, offsets,
duke@435 524 orig_pc_offset, debug_info, dependencies, code_buffer, frame_size,
duke@435 525 oop_maps,
duke@435 526 handler_table,
duke@435 527 nul_chk_table,
duke@435 528 compiler,
duke@435 529 comp_level);
duke@435 530 if (nm != NULL) {
duke@435 531 // To make dependency checking during class loading fast, record
duke@435 532 // the nmethod dependencies in the classes it is dependent on.
duke@435 533 // This allows the dependency checking code to simply walk the
duke@435 534 // class hierarchy above the loaded class, checking only nmethods
duke@435 535 // which are dependent on those classes. The slow way is to
duke@435 536 // check every nmethod for dependencies which makes it linear in
duke@435 537 // the number of methods compiled. For applications with a lot
duke@435 538 // classes the slow way is too slow.
duke@435 539 for (Dependencies::DepStream deps(nm); deps.next(); ) {
duke@435 540 klassOop klass = deps.context_type();
duke@435 541 if (klass == NULL) continue; // ignore things like evol_method
duke@435 542
duke@435 543 // record this nmethod as dependent on this klass
duke@435 544 instanceKlass::cast(klass)->add_dependent_nmethod(nm);
duke@435 545 }
duke@435 546 }
duke@435 547 NOT_PRODUCT(if (nm != NULL) nmethod_stats.note_nmethod(nm));
duke@435 548 if (PrintAssembly && nm != NULL)
duke@435 549 Disassembler::decode(nm);
duke@435 550 }
duke@435 551
duke@435 552 // verify nmethod
duke@435 553 debug_only(if (nm) nm->verify();) // might block
duke@435 554
duke@435 555 if (nm != NULL) {
duke@435 556 nm->log_new_nmethod();
duke@435 557 }
duke@435 558
duke@435 559 // done
duke@435 560 return nm;
duke@435 561 }
duke@435 562
duke@435 563
duke@435 564 // For native wrappers
duke@435 565 nmethod::nmethod(
duke@435 566 methodOop method,
duke@435 567 int nmethod_size,
duke@435 568 CodeOffsets* offsets,
duke@435 569 CodeBuffer* code_buffer,
duke@435 570 int frame_size,
duke@435 571 ByteSize basic_lock_owner_sp_offset,
duke@435 572 ByteSize basic_lock_sp_offset,
duke@435 573 OopMapSet* oop_maps )
duke@435 574 : CodeBlob("native nmethod", code_buffer, sizeof(nmethod),
duke@435 575 nmethod_size, offsets->value(CodeOffsets::Frame_Complete), frame_size, oop_maps),
duke@435 576 _compiled_synchronized_native_basic_lock_owner_sp_offset(basic_lock_owner_sp_offset),
duke@435 577 _compiled_synchronized_native_basic_lock_sp_offset(basic_lock_sp_offset)
duke@435 578 {
duke@435 579 {
duke@435 580 debug_only(No_Safepoint_Verifier nsv;)
duke@435 581 assert_locked_or_safepoint(CodeCache_lock);
duke@435 582
jrose@1424 583 NOT_PRODUCT(_has_debug_info = false);
jrose@1424 584 _oops_do_mark_link = NULL;
duke@435 585 _method = method;
duke@435 586 _entry_bci = InvocationEntryBci;
jrose@1424 587 _osr_link = NULL;
jrose@1424 588 _scavenge_root_link = NULL;
jrose@1424 589 _scavenge_root_state = 0;
duke@435 590 _compiler = NULL;
duke@435 591 // We have no exception handler or deopt handler make the
duke@435 592 // values something that will never match a pc like the nmethod vtable entry
duke@435 593 _exception_offset = 0;
duke@435 594 _deoptimize_offset = 0;
twisti@1635 595 _deoptimize_mh_offset = 0;
duke@435 596 _orig_pc_offset = 0;
kamg@551 597 #ifdef HAVE_DTRACE_H
kamg@551 598 _trap_offset = 0;
kamg@551 599 #endif // def HAVE_DTRACE_H
duke@435 600 _stub_offset = data_offset();
duke@435 601 _consts_offset = data_offset();
duke@435 602 _scopes_data_offset = data_offset();
duke@435 603 _scopes_pcs_offset = _scopes_data_offset;
duke@435 604 _dependencies_offset = _scopes_pcs_offset;
duke@435 605 _handler_table_offset = _dependencies_offset;
duke@435 606 _nul_chk_table_offset = _handler_table_offset;
duke@435 607 _nmethod_end_offset = _nul_chk_table_offset;
duke@435 608 _compile_id = 0; // default
duke@435 609 _comp_level = CompLevel_none;
duke@435 610 _entry_point = instructions_begin();
duke@435 611 _verified_entry_point = instructions_begin() + offsets->value(CodeOffsets::Verified_Entry);
duke@435 612 _osr_entry_point = NULL;
duke@435 613 _exception_cache = NULL;
duke@435 614 _pc_desc_cache.reset_to(NULL);
duke@435 615
duke@435 616 flags.clear();
duke@435 617 flags.state = alive;
duke@435 618 _markedForDeoptimization = 0;
duke@435 619
duke@435 620 _lock_count = 0;
duke@435 621 _stack_traversal_mark = 0;
duke@435 622
duke@435 623 code_buffer->copy_oops_to(this);
jrose@1424 624 debug_only(verify_scavenge_root_oops());
duke@435 625 CodeCache::commit(this);
duke@435 626 VTune::create_nmethod(this);
duke@435 627 }
duke@435 628
duke@435 629 if (PrintNativeNMethods || PrintDebugInfo || PrintRelocations || PrintDependencies) {
duke@435 630 ttyLocker ttyl; // keep the following output all in one block
duke@435 631 // This output goes directly to the tty, not the compiler log.
duke@435 632 // To enable tools to match it up with the compilation activity,
duke@435 633 // be sure to tag this tty output with the compile ID.
duke@435 634 if (xtty != NULL) {
duke@435 635 xtty->begin_head("print_native_nmethod");
duke@435 636 xtty->method(_method);
duke@435 637 xtty->stamp();
duke@435 638 xtty->end_head(" address='" INTPTR_FORMAT "'", (intptr_t) this);
duke@435 639 }
duke@435 640 // print the header part first
duke@435 641 print();
duke@435 642 // then print the requested information
duke@435 643 if (PrintNativeNMethods) {
duke@435 644 print_code();
duke@435 645 oop_maps->print();
duke@435 646 }
duke@435 647 if (PrintRelocations) {
duke@435 648 print_relocations();
duke@435 649 }
duke@435 650 if (xtty != NULL) {
duke@435 651 xtty->tail("print_native_nmethod");
duke@435 652 }
duke@435 653 }
duke@435 654 Events::log("Create nmethod " INTPTR_FORMAT, this);
duke@435 655 }
duke@435 656
kamg@551 657 // For dtrace wrappers
kamg@551 658 #ifdef HAVE_DTRACE_H
kamg@551 659 nmethod::nmethod(
kamg@551 660 methodOop method,
kamg@551 661 int nmethod_size,
kamg@551 662 CodeOffsets* offsets,
kamg@551 663 CodeBuffer* code_buffer,
kamg@551 664 int frame_size)
kamg@551 665 : CodeBlob("dtrace nmethod", code_buffer, sizeof(nmethod),
kamg@551 666 nmethod_size, offsets->value(CodeOffsets::Frame_Complete), frame_size, NULL),
kamg@551 667 _compiled_synchronized_native_basic_lock_owner_sp_offset(in_ByteSize(-1)),
kamg@551 668 _compiled_synchronized_native_basic_lock_sp_offset(in_ByteSize(-1))
kamg@551 669 {
kamg@551 670 {
kamg@551 671 debug_only(No_Safepoint_Verifier nsv;)
kamg@551 672 assert_locked_or_safepoint(CodeCache_lock);
kamg@551 673
jrose@1424 674 NOT_PRODUCT(_has_debug_info = false);
jrose@1424 675 _oops_do_mark_link = NULL;
kamg@551 676 _method = method;
kamg@551 677 _entry_bci = InvocationEntryBci;
jrose@1424 678 _osr_link = NULL;
jrose@1424 679 _scavenge_root_link = NULL;
jrose@1424 680 _scavenge_root_state = 0;
kamg@551 681 _compiler = NULL;
kamg@551 682 // We have no exception handler or deopt handler make the
kamg@551 683 // values something that will never match a pc like the nmethod vtable entry
kamg@551 684 _exception_offset = 0;
kamg@551 685 _deoptimize_offset = 0;
twisti@1635 686 _deoptimize_mh_offset = 0;
kamg@551 687 _trap_offset = offsets->value(CodeOffsets::Dtrace_trap);
kamg@551 688 _orig_pc_offset = 0;
kamg@551 689 _stub_offset = data_offset();
kamg@551 690 _consts_offset = data_offset();
kamg@551 691 _scopes_data_offset = data_offset();
kamg@551 692 _scopes_pcs_offset = _scopes_data_offset;
kamg@551 693 _dependencies_offset = _scopes_pcs_offset;
kamg@551 694 _handler_table_offset = _dependencies_offset;
kamg@551 695 _nul_chk_table_offset = _handler_table_offset;
kamg@551 696 _nmethod_end_offset = _nul_chk_table_offset;
kamg@551 697 _compile_id = 0; // default
kamg@551 698 _comp_level = CompLevel_none;
kamg@551 699 _entry_point = instructions_begin();
kamg@551 700 _verified_entry_point = instructions_begin() + offsets->value(CodeOffsets::Verified_Entry);
kamg@551 701 _osr_entry_point = NULL;
kamg@551 702 _exception_cache = NULL;
kamg@551 703 _pc_desc_cache.reset_to(NULL);
kamg@551 704
kamg@551 705 flags.clear();
kamg@551 706 flags.state = alive;
kamg@551 707 _markedForDeoptimization = 0;
kamg@551 708
kamg@551 709 _lock_count = 0;
kamg@551 710 _stack_traversal_mark = 0;
kamg@551 711
kamg@551 712 code_buffer->copy_oops_to(this);
jrose@1424 713 debug_only(verify_scavenge_root_oops());
kamg@551 714 CodeCache::commit(this);
kamg@551 715 VTune::create_nmethod(this);
kamg@551 716 }
kamg@551 717
kamg@551 718 if (PrintNMethods || PrintDebugInfo || PrintRelocations || PrintDependencies) {
kamg@551 719 ttyLocker ttyl; // keep the following output all in one block
kamg@551 720 // This output goes directly to the tty, not the compiler log.
kamg@551 721 // To enable tools to match it up with the compilation activity,
kamg@551 722 // be sure to tag this tty output with the compile ID.
kamg@551 723 if (xtty != NULL) {
kamg@551 724 xtty->begin_head("print_dtrace_nmethod");
kamg@551 725 xtty->method(_method);
kamg@551 726 xtty->stamp();
kamg@551 727 xtty->end_head(" address='" INTPTR_FORMAT "'", (intptr_t) this);
kamg@551 728 }
kamg@551 729 // print the header part first
kamg@551 730 print();
kamg@551 731 // then print the requested information
kamg@551 732 if (PrintNMethods) {
kamg@551 733 print_code();
kamg@551 734 }
kamg@551 735 if (PrintRelocations) {
kamg@551 736 print_relocations();
kamg@551 737 }
kamg@551 738 if (xtty != NULL) {
kamg@551 739 xtty->tail("print_dtrace_nmethod");
kamg@551 740 }
kamg@551 741 }
kamg@551 742 Events::log("Create nmethod " INTPTR_FORMAT, this);
kamg@551 743 }
kamg@551 744 #endif // def HAVE_DTRACE_H
duke@435 745
duke@435 746 void* nmethod::operator new(size_t size, int nmethod_size) {
duke@435 747 // Always leave some room in the CodeCache for I2C/C2I adapters
duke@435 748 if (CodeCache::unallocated_capacity() < CodeCacheMinimumFreeSpace) return NULL;
duke@435 749 return CodeCache::allocate(nmethod_size);
duke@435 750 }
duke@435 751
duke@435 752
duke@435 753 nmethod::nmethod(
duke@435 754 methodOop method,
duke@435 755 int nmethod_size,
duke@435 756 int compile_id,
duke@435 757 int entry_bci,
duke@435 758 CodeOffsets* offsets,
duke@435 759 int orig_pc_offset,
duke@435 760 DebugInformationRecorder* debug_info,
duke@435 761 Dependencies* dependencies,
duke@435 762 CodeBuffer *code_buffer,
duke@435 763 int frame_size,
duke@435 764 OopMapSet* oop_maps,
duke@435 765 ExceptionHandlerTable* handler_table,
duke@435 766 ImplicitExceptionTable* nul_chk_table,
duke@435 767 AbstractCompiler* compiler,
duke@435 768 int comp_level
duke@435 769 )
duke@435 770 : CodeBlob("nmethod", code_buffer, sizeof(nmethod),
duke@435 771 nmethod_size, offsets->value(CodeOffsets::Frame_Complete), frame_size, oop_maps),
duke@435 772 _compiled_synchronized_native_basic_lock_owner_sp_offset(in_ByteSize(-1)),
duke@435 773 _compiled_synchronized_native_basic_lock_sp_offset(in_ByteSize(-1))
duke@435 774 {
duke@435 775 assert(debug_info->oop_recorder() == code_buffer->oop_recorder(), "shared OR");
duke@435 776 {
duke@435 777 debug_only(No_Safepoint_Verifier nsv;)
duke@435 778 assert_locked_or_safepoint(CodeCache_lock);
duke@435 779
jrose@1424 780 NOT_PRODUCT(_has_debug_info = false);
jrose@1424 781 _oops_do_mark_link = NULL;
duke@435 782 _method = method;
duke@435 783 _compile_id = compile_id;
duke@435 784 _comp_level = comp_level;
duke@435 785 _entry_bci = entry_bci;
jrose@1424 786 _osr_link = NULL;
jrose@1424 787 _scavenge_root_link = NULL;
jrose@1424 788 _scavenge_root_state = 0;
duke@435 789 _compiler = compiler;
duke@435 790 _orig_pc_offset = orig_pc_offset;
kamg@551 791 #ifdef HAVE_DTRACE_H
kamg@551 792 _trap_offset = 0;
kamg@551 793 #endif // def HAVE_DTRACE_H
duke@435 794 _stub_offset = instructions_offset() + code_buffer->total_offset_of(code_buffer->stubs()->start());
duke@435 795
duke@435 796 // Exception handler and deopt handler are in the stub section
duke@435 797 _exception_offset = _stub_offset + offsets->value(CodeOffsets::Exceptions);
duke@435 798 _deoptimize_offset = _stub_offset + offsets->value(CodeOffsets::Deopt);
twisti@1635 799 _deoptimize_mh_offset = _stub_offset + offsets->value(CodeOffsets::DeoptMH);
duke@435 800 _consts_offset = instructions_offset() + code_buffer->total_offset_of(code_buffer->consts()->start());
duke@435 801 _scopes_data_offset = data_offset();
duke@435 802 _scopes_pcs_offset = _scopes_data_offset + round_to(debug_info->data_size (), oopSize);
duke@435 803 _dependencies_offset = _scopes_pcs_offset + adjust_pcs_size(debug_info->pcs_size());
duke@435 804 _handler_table_offset = _dependencies_offset + round_to(dependencies->size_in_bytes (), oopSize);
duke@435 805 _nul_chk_table_offset = _handler_table_offset + round_to(handler_table->size_in_bytes(), oopSize);
duke@435 806 _nmethod_end_offset = _nul_chk_table_offset + round_to(nul_chk_table->size_in_bytes(), oopSize);
duke@435 807
duke@435 808 _entry_point = instructions_begin();
duke@435 809 _verified_entry_point = instructions_begin() + offsets->value(CodeOffsets::Verified_Entry);
duke@435 810 _osr_entry_point = instructions_begin() + offsets->value(CodeOffsets::OSR_Entry);
duke@435 811 _exception_cache = NULL;
duke@435 812 _pc_desc_cache.reset_to(scopes_pcs_begin());
duke@435 813
duke@435 814 flags.clear();
duke@435 815 flags.state = alive;
duke@435 816 _markedForDeoptimization = 0;
duke@435 817
duke@435 818 _unload_reported = false; // jvmti state
duke@435 819
duke@435 820 _lock_count = 0;
duke@435 821 _stack_traversal_mark = 0;
duke@435 822
duke@435 823 // Copy contents of ScopeDescRecorder to nmethod
duke@435 824 code_buffer->copy_oops_to(this);
duke@435 825 debug_info->copy_to(this);
duke@435 826 dependencies->copy_to(this);
jrose@1424 827 if (ScavengeRootsInCode && detect_scavenge_root_oops()) {
jrose@1424 828 CodeCache::add_scavenge_root_nmethod(this);
jrose@1424 829 }
jrose@1424 830 debug_only(verify_scavenge_root_oops());
duke@435 831
duke@435 832 CodeCache::commit(this);
duke@435 833
duke@435 834 VTune::create_nmethod(this);
duke@435 835
duke@435 836 // Copy contents of ExceptionHandlerTable to nmethod
duke@435 837 handler_table->copy_to(this);
duke@435 838 nul_chk_table->copy_to(this);
duke@435 839
duke@435 840 // we use the information of entry points to find out if a method is
duke@435 841 // static or non static
duke@435 842 assert(compiler->is_c2() ||
duke@435 843 _method->is_static() == (entry_point() == _verified_entry_point),
duke@435 844 " entry points must be same for static methods and vice versa");
duke@435 845 }
duke@435 846
jrose@535 847 bool printnmethods = PrintNMethods
jrose@535 848 || CompilerOracle::should_print(_method)
jrose@535 849 || CompilerOracle::has_option_string(_method, "PrintNMethods");
duke@435 850 if (printnmethods || PrintDebugInfo || PrintRelocations || PrintDependencies || PrintExceptionHandlers) {
duke@435 851 print_nmethod(printnmethods);
duke@435 852 }
duke@435 853
duke@435 854 // Note: Do not verify in here as the CodeCache_lock is
duke@435 855 // taken which would conflict with the CompiledIC_lock
duke@435 856 // which taken during the verification of call sites.
duke@435 857 // (was bug - gri 10/25/99)
duke@435 858
duke@435 859 Events::log("Create nmethod " INTPTR_FORMAT, this);
duke@435 860 }
duke@435 861
duke@435 862
duke@435 863 // Print a short set of xml attributes to identify this nmethod. The
duke@435 864 // output should be embedded in some other element.
duke@435 865 void nmethod::log_identity(xmlStream* log) const {
duke@435 866 log->print(" compile_id='%d'", compile_id());
duke@435 867 const char* nm_kind = compile_kind();
duke@435 868 if (nm_kind != NULL) log->print(" compile_kind='%s'", nm_kind);
duke@435 869 if (compiler() != NULL) {
duke@435 870 log->print(" compiler='%s'", compiler()->name());
duke@435 871 }
duke@435 872 #ifdef TIERED
duke@435 873 log->print(" level='%d'", comp_level());
duke@435 874 #endif // TIERED
duke@435 875 }
duke@435 876
duke@435 877
duke@435 878 #define LOG_OFFSET(log, name) \
duke@435 879 if ((intptr_t)name##_end() - (intptr_t)name##_begin()) \
duke@435 880 log->print(" " XSTR(name) "_offset='%d'" , \
duke@435 881 (intptr_t)name##_begin() - (intptr_t)this)
duke@435 882
duke@435 883
duke@435 884 void nmethod::log_new_nmethod() const {
duke@435 885 if (LogCompilation && xtty != NULL) {
duke@435 886 ttyLocker ttyl;
duke@435 887 HandleMark hm;
duke@435 888 xtty->begin_elem("nmethod");
duke@435 889 log_identity(xtty);
duke@435 890 xtty->print(" entry='" INTPTR_FORMAT "' size='%d'",
duke@435 891 instructions_begin(), size());
duke@435 892 xtty->print(" address='" INTPTR_FORMAT "'", (intptr_t) this);
duke@435 893
duke@435 894 LOG_OFFSET(xtty, relocation);
duke@435 895 LOG_OFFSET(xtty, code);
duke@435 896 LOG_OFFSET(xtty, stub);
duke@435 897 LOG_OFFSET(xtty, consts);
duke@435 898 LOG_OFFSET(xtty, scopes_data);
duke@435 899 LOG_OFFSET(xtty, scopes_pcs);
duke@435 900 LOG_OFFSET(xtty, dependencies);
duke@435 901 LOG_OFFSET(xtty, handler_table);
duke@435 902 LOG_OFFSET(xtty, nul_chk_table);
duke@435 903 LOG_OFFSET(xtty, oops);
duke@435 904
duke@435 905 xtty->method(method());
duke@435 906 xtty->stamp();
duke@435 907 xtty->end_elem();
duke@435 908 }
duke@435 909 }
duke@435 910
duke@435 911 #undef LOG_OFFSET
duke@435 912
duke@435 913
duke@435 914 // Print out more verbose output usually for a newly created nmethod.
duke@435 915 void nmethod::print_on(outputStream* st, const char* title) const {
duke@435 916 if (st != NULL) {
duke@435 917 ttyLocker ttyl;
duke@435 918 // Print a little tag line that looks like +PrintCompilation output:
jrose@1424 919 int tlen = (int) strlen(title);
jrose@1424 920 bool do_nl = false;
jrose@1424 921 if (tlen > 0 && title[tlen-1] == '\n') { tlen--; do_nl = true; }
jrose@1424 922 st->print("%3d%c %.*s",
duke@435 923 compile_id(),
duke@435 924 is_osr_method() ? '%' :
duke@435 925 method() != NULL &&
duke@435 926 is_native_method() ? 'n' : ' ',
jrose@1424 927 tlen, title);
duke@435 928 #ifdef TIERED
duke@435 929 st->print(" (%d) ", comp_level());
duke@435 930 #endif // TIERED
duke@435 931 if (WizardMode) st->print(" (" INTPTR_FORMAT ")", this);
jrose@1424 932 if (Universe::heap()->is_gc_active() && method() != NULL) {
jrose@1424 933 st->print("(method)");
jrose@1424 934 } else if (method() != NULL) {
jrose@1424 935 method()->print_short_name(st);
duke@435 936 if (is_osr_method())
duke@435 937 st->print(" @ %d", osr_entry_bci());
duke@435 938 if (method()->code_size() > 0)
duke@435 939 st->print(" (%d bytes)", method()->code_size());
duke@435 940 }
jrose@1424 941
jrose@1424 942 if (do_nl) st->cr();
duke@435 943 }
duke@435 944 }
duke@435 945
duke@435 946
duke@435 947 void nmethod::print_nmethod(bool printmethod) {
duke@435 948 ttyLocker ttyl; // keep the following output all in one block
duke@435 949 if (xtty != NULL) {
duke@435 950 xtty->begin_head("print_nmethod");
duke@435 951 xtty->stamp();
duke@435 952 xtty->end_head();
duke@435 953 }
duke@435 954 // print the header part first
duke@435 955 print();
duke@435 956 // then print the requested information
duke@435 957 if (printmethod) {
duke@435 958 print_code();
duke@435 959 print_pcs();
duke@435 960 oop_maps()->print();
duke@435 961 }
duke@435 962 if (PrintDebugInfo) {
duke@435 963 print_scopes();
duke@435 964 }
duke@435 965 if (PrintRelocations) {
duke@435 966 print_relocations();
duke@435 967 }
duke@435 968 if (PrintDependencies) {
duke@435 969 print_dependencies();
duke@435 970 }
duke@435 971 if (PrintExceptionHandlers) {
duke@435 972 print_handler_table();
duke@435 973 print_nul_chk_table();
duke@435 974 }
duke@435 975 if (xtty != NULL) {
duke@435 976 xtty->tail("print_nmethod");
duke@435 977 }
duke@435 978 }
duke@435 979
duke@435 980
duke@435 981 void nmethod::set_version(int v) {
duke@435 982 flags.version = v;
duke@435 983 }
duke@435 984
duke@435 985
duke@435 986 ScopeDesc* nmethod::scope_desc_at(address pc) {
duke@435 987 PcDesc* pd = pc_desc_at(pc);
duke@435 988 guarantee(pd != NULL, "scope must be present");
duke@435 989 return new ScopeDesc(this, pd->scope_decode_offset(),
cfang@1366 990 pd->obj_decode_offset(), pd->should_reexecute());
duke@435 991 }
duke@435 992
duke@435 993
duke@435 994 void nmethod::clear_inline_caches() {
duke@435 995 assert(SafepointSynchronize::is_at_safepoint(), "cleaning of IC's only allowed at safepoint");
duke@435 996 if (is_zombie()) {
duke@435 997 return;
duke@435 998 }
duke@435 999
duke@435 1000 RelocIterator iter(this);
duke@435 1001 while (iter.next()) {
duke@435 1002 iter.reloc()->clear_inline_cache();
duke@435 1003 }
duke@435 1004 }
duke@435 1005
duke@435 1006
duke@435 1007 void nmethod::cleanup_inline_caches() {
duke@435 1008
duke@435 1009 assert(SafepointSynchronize::is_at_safepoint() &&
duke@435 1010 !CompiledIC_lock->is_locked() &&
duke@435 1011 !Patching_lock->is_locked(), "no threads must be updating the inline caches by them selfs");
duke@435 1012
duke@435 1013 // If the method is not entrant or zombie then a JMP is plastered over the
duke@435 1014 // first few bytes. If an oop in the old code was there, that oop
duke@435 1015 // should not get GC'd. Skip the first few bytes of oops on
duke@435 1016 // not-entrant methods.
duke@435 1017 address low_boundary = verified_entry_point();
duke@435 1018 if (!is_in_use()) {
duke@435 1019 low_boundary += NativeJump::instruction_size;
duke@435 1020 // %%% Note: On SPARC we patch only a 4-byte trap, not a full NativeJump.
duke@435 1021 // This means that the low_boundary is going to be a little too high.
duke@435 1022 // This shouldn't matter, since oops of non-entrant methods are never used.
duke@435 1023 // In fact, why are we bothering to look at oops in a non-entrant method??
duke@435 1024 }
duke@435 1025
duke@435 1026 // Find all calls in an nmethod, and clear the ones that points to zombie methods
duke@435 1027 ResourceMark rm;
duke@435 1028 RelocIterator iter(this, low_boundary);
duke@435 1029 while(iter.next()) {
duke@435 1030 switch(iter.type()) {
duke@435 1031 case relocInfo::virtual_call_type:
duke@435 1032 case relocInfo::opt_virtual_call_type: {
duke@435 1033 CompiledIC *ic = CompiledIC_at(iter.reloc());
duke@435 1034 // Ok, to lookup references to zombies here
duke@435 1035 CodeBlob *cb = CodeCache::find_blob_unsafe(ic->ic_destination());
duke@435 1036 if( cb != NULL && cb->is_nmethod() ) {
duke@435 1037 nmethod* nm = (nmethod*)cb;
duke@435 1038 // Clean inline caches pointing to both zombie and not_entrant methods
duke@435 1039 if (!nm->is_in_use()) ic->set_to_clean();
duke@435 1040 }
duke@435 1041 break;
duke@435 1042 }
duke@435 1043 case relocInfo::static_call_type: {
duke@435 1044 CompiledStaticCall *csc = compiledStaticCall_at(iter.reloc());
duke@435 1045 CodeBlob *cb = CodeCache::find_blob_unsafe(csc->destination());
duke@435 1046 if( cb != NULL && cb->is_nmethod() ) {
duke@435 1047 nmethod* nm = (nmethod*)cb;
duke@435 1048 // Clean inline caches pointing to both zombie and not_entrant methods
duke@435 1049 if (!nm->is_in_use()) csc->set_to_clean();
duke@435 1050 }
duke@435 1051 break;
duke@435 1052 }
duke@435 1053 }
duke@435 1054 }
duke@435 1055 }
duke@435 1056
jrose@1424 1057 // This is a private interface with the sweeper.
duke@435 1058 void nmethod::mark_as_seen_on_stack() {
duke@435 1059 assert(is_not_entrant(), "must be a non-entrant method");
duke@435 1060 set_stack_traversal_mark(NMethodSweeper::traversal_count());
duke@435 1061 }
duke@435 1062
duke@435 1063 // Tell if a non-entrant method can be converted to a zombie (i.e., there is no activations on the stack)
duke@435 1064 bool nmethod::can_not_entrant_be_converted() {
duke@435 1065 assert(is_not_entrant(), "must be a non-entrant method");
duke@435 1066 assert(SafepointSynchronize::is_at_safepoint(), "must be called during a safepoint");
duke@435 1067
duke@435 1068 // Since the nmethod sweeper only does partial sweep the sweeper's traversal
duke@435 1069 // count can be greater than the stack traversal count before it hits the
duke@435 1070 // nmethod for the second time.
duke@435 1071 return stack_traversal_mark()+1 < NMethodSweeper::traversal_count();
duke@435 1072 }
duke@435 1073
duke@435 1074 void nmethod::inc_decompile_count() {
duke@435 1075 // Could be gated by ProfileTraps, but do not bother...
duke@435 1076 methodOop m = method();
duke@435 1077 if (m == NULL) return;
duke@435 1078 methodDataOop mdo = m->method_data();
duke@435 1079 if (mdo == NULL) return;
duke@435 1080 // There is a benign race here. See comments in methodDataOop.hpp.
duke@435 1081 mdo->inc_decompile_count();
duke@435 1082 }
duke@435 1083
duke@435 1084 void nmethod::make_unloaded(BoolObjectClosure* is_alive, oop cause) {
duke@435 1085
duke@435 1086 post_compiled_method_unload();
duke@435 1087
duke@435 1088 // Since this nmethod is being unloaded, make sure that dependencies
duke@435 1089 // recorded in instanceKlasses get flushed and pass non-NULL closure to
duke@435 1090 // indicate that this work is being done during a GC.
duke@435 1091 assert(Universe::heap()->is_gc_active(), "should only be called during gc");
duke@435 1092 assert(is_alive != NULL, "Should be non-NULL");
duke@435 1093 // A non-NULL is_alive closure indicates that this is being called during GC.
duke@435 1094 flush_dependencies(is_alive);
duke@435 1095
duke@435 1096 // Break cycle between nmethod & method
duke@435 1097 if (TraceClassUnloading && WizardMode) {
duke@435 1098 tty->print_cr("[Class unloading: Making nmethod " INTPTR_FORMAT
duke@435 1099 " unloadable], methodOop(" INTPTR_FORMAT
duke@435 1100 "), cause(" INTPTR_FORMAT ")",
duke@435 1101 this, (address)_method, (address)cause);
jrose@1424 1102 if (!Universe::heap()->is_gc_active())
jrose@1424 1103 cause->klass()->print();
duke@435 1104 }
ysr@1376 1105 // Unlink the osr method, so we do not look this up again
ysr@1376 1106 if (is_osr_method()) {
ysr@1376 1107 invalidate_osr_method();
ysr@1376 1108 }
duke@435 1109 // If _method is already NULL the methodOop is about to be unloaded,
duke@435 1110 // so we don't have to break the cycle. Note that it is possible to
duke@435 1111 // have the methodOop live here, in case we unload the nmethod because
duke@435 1112 // it is pointing to some oop (other than the methodOop) being unloaded.
duke@435 1113 if (_method != NULL) {
duke@435 1114 // OSR methods point to the methodOop, but the methodOop does not
duke@435 1115 // point back!
duke@435 1116 if (_method->code() == this) {
duke@435 1117 _method->clear_code(); // Break a cycle
duke@435 1118 }
duke@435 1119 inc_decompile_count(); // Last chance to make a mark on the MDO
duke@435 1120 _method = NULL; // Clear the method of this dead nmethod
duke@435 1121 }
duke@435 1122 // Make the class unloaded - i.e., change state and notify sweeper
duke@435 1123 check_safepoint();
duke@435 1124 if (is_in_use()) {
duke@435 1125 // Transitioning directly from live to unloaded -- so
duke@435 1126 // we need to force a cache clean-up; remember this
duke@435 1127 // for later on.
duke@435 1128 CodeCache::set_needs_cache_clean(true);
duke@435 1129 }
duke@435 1130 flags.state = unloaded;
duke@435 1131
never@1544 1132 // Log the unloading.
never@1544 1133 log_state_change();
never@1544 1134
duke@435 1135 // The methodOop is gone at this point
duke@435 1136 assert(_method == NULL, "Tautology");
duke@435 1137
jrose@1424 1138 set_osr_link(NULL);
jrose@1424 1139 //set_scavenge_root_link(NULL); // done by prune_scavenge_root_nmethods
duke@435 1140 NMethodSweeper::notify(this);
duke@435 1141 }
duke@435 1142
duke@435 1143 void nmethod::invalidate_osr_method() {
duke@435 1144 assert(_entry_bci != InvocationEntryBci, "wrong kind of nmethod");
duke@435 1145 // Remove from list of active nmethods
duke@435 1146 if (method() != NULL)
duke@435 1147 instanceKlass::cast(method()->method_holder())->remove_osr_nmethod(this);
duke@435 1148 // Set entry as invalid
duke@435 1149 _entry_bci = InvalidOSREntryBci;
duke@435 1150 }
duke@435 1151
never@1544 1152 void nmethod::log_state_change() const {
duke@435 1153 if (LogCompilation) {
duke@435 1154 if (xtty != NULL) {
duke@435 1155 ttyLocker ttyl; // keep the following output all in one block
never@1544 1156 if (flags.state == unloaded) {
never@1544 1157 xtty->begin_elem("make_unloaded thread='" UINTX_FORMAT "'",
never@1544 1158 os::current_thread_id());
never@1544 1159 } else {
never@1544 1160 xtty->begin_elem("make_not_entrant thread='" UINTX_FORMAT "'%s",
never@1544 1161 os::current_thread_id(),
never@1544 1162 (flags.state == zombie ? " zombie='1'" : ""));
never@1544 1163 }
duke@435 1164 log_identity(xtty);
duke@435 1165 xtty->stamp();
duke@435 1166 xtty->end_elem();
duke@435 1167 }
duke@435 1168 }
never@1544 1169 if (PrintCompilation && flags.state != unloaded) {
never@1544 1170 print_on(tty, flags.state == zombie ? "made zombie " : "made not entrant ");
duke@435 1171 tty->cr();
duke@435 1172 }
duke@435 1173 }
duke@435 1174
duke@435 1175 // Common functionality for both make_not_entrant and make_zombie
never@1576 1176 bool nmethod::make_not_entrant_or_zombie(unsigned int state) {
duke@435 1177 assert(state == zombie || state == not_entrant, "must be zombie or not_entrant");
duke@435 1178
never@1544 1179 // If the method is already zombie there is nothing to do
never@1544 1180 if (is_zombie()) {
never@1544 1181 return false;
duke@435 1182 }
duke@435 1183
duke@435 1184 // Make sure the nmethod is not flushed in case of a safepoint in code below.
duke@435 1185 nmethodLocker nml(this);
duke@435 1186
duke@435 1187 {
never@1544 1188 // invalidate osr nmethod before acquiring the patching lock since
never@1544 1189 // they both acquire leaf locks and we don't want a deadlock.
never@1544 1190 // This logic is equivalent to the logic below for patching the
never@1544 1191 // verified entry point of regular methods.
never@1544 1192 if (is_osr_method()) {
never@1544 1193 // this effectively makes the osr nmethod not entrant
never@1544 1194 invalidate_osr_method();
never@1544 1195 }
never@1544 1196
duke@435 1197 // Enter critical section. Does not block for safepoint.
duke@435 1198 MutexLockerEx pl(Patching_lock, Mutex::_no_safepoint_check_flag);
never@1544 1199
never@1544 1200 if (flags.state == state) {
never@1544 1201 // another thread already performed this transition so nothing
never@1544 1202 // to do, but return false to indicate this.
never@1544 1203 return false;
never@1544 1204 }
never@1544 1205
duke@435 1206 // The caller can be calling the method statically or through an inline
duke@435 1207 // cache call.
never@1544 1208 if (!is_osr_method() && !is_not_entrant()) {
duke@435 1209 NativeJump::patch_verified_entry(entry_point(), verified_entry_point(),
duke@435 1210 SharedRuntime::get_handle_wrong_method_stub());
duke@435 1211 assert (NativeJump::instruction_size == nmethod::_zombie_instruction_size, "");
duke@435 1212 }
duke@435 1213
duke@435 1214 // When the nmethod becomes zombie it is no longer alive so the
duke@435 1215 // dependencies must be flushed. nmethods in the not_entrant
duke@435 1216 // state will be flushed later when the transition to zombie
duke@435 1217 // happens or they get unloaded.
duke@435 1218 if (state == zombie) {
duke@435 1219 assert(SafepointSynchronize::is_at_safepoint(), "must be done at safepoint");
duke@435 1220 flush_dependencies(NULL);
duke@435 1221 } else {
duke@435 1222 assert(state == not_entrant, "other cases may need to be handled differently");
duke@435 1223 }
duke@435 1224
duke@435 1225 // Change state
duke@435 1226 flags.state = state;
never@1544 1227
never@1544 1228 // Log the transition once
never@1544 1229 log_state_change();
never@1544 1230
duke@435 1231 } // leave critical region under Patching_lock
duke@435 1232
duke@435 1233 if (state == not_entrant) {
duke@435 1234 Events::log("Make nmethod not entrant " INTPTR_FORMAT, this);
duke@435 1235 } else {
duke@435 1236 Events::log("Make nmethod zombie " INTPTR_FORMAT, this);
duke@435 1237 }
duke@435 1238
duke@435 1239 if (TraceCreateZombies) {
duke@435 1240 tty->print_cr("nmethod <" INTPTR_FORMAT "> code made %s", this, (state == not_entrant) ? "not entrant" : "zombie");
duke@435 1241 }
duke@435 1242
duke@435 1243 // Make sweeper aware that there is a zombie method that needs to be removed
duke@435 1244 NMethodSweeper::notify(this);
duke@435 1245
duke@435 1246 // not_entrant only stuff
duke@435 1247 if (state == not_entrant) {
duke@435 1248 mark_as_seen_on_stack();
duke@435 1249 }
duke@435 1250
duke@435 1251 // It's a true state change, so mark the method as decompiled.
duke@435 1252 inc_decompile_count();
duke@435 1253
duke@435 1254 // zombie only - if a JVMTI agent has enabled the CompiledMethodUnload event
duke@435 1255 // and it hasn't already been reported for this nmethod then report it now.
duke@435 1256 // (the event may have been reported earilier if the GC marked it for unloading).
duke@435 1257 if (state == zombie) {
duke@435 1258
duke@435 1259 DTRACE_METHOD_UNLOAD_PROBE(method());
duke@435 1260
duke@435 1261 if (JvmtiExport::should_post_compiled_method_unload() &&
duke@435 1262 !unload_reported()) {
duke@435 1263 assert(method() != NULL, "checking");
duke@435 1264 {
duke@435 1265 HandleMark hm;
duke@435 1266 JvmtiExport::post_compiled_method_unload_at_safepoint(
duke@435 1267 method()->jmethod_id(), code_begin());
duke@435 1268 }
duke@435 1269 set_unload_reported();
duke@435 1270 }
duke@435 1271 }
duke@435 1272
duke@435 1273
duke@435 1274 // Zombie only stuff
duke@435 1275 if (state == zombie) {
duke@435 1276 VTune::delete_nmethod(this);
duke@435 1277 }
duke@435 1278
duke@435 1279 // Check whether method got unloaded at a safepoint before this,
duke@435 1280 // if so we can skip the flushing steps below
never@1544 1281 if (method() == NULL) return true;
duke@435 1282
duke@435 1283 // Remove nmethod from method.
duke@435 1284 // We need to check if both the _code and _from_compiled_code_entry_point
duke@435 1285 // refer to this nmethod because there is a race in setting these two fields
duke@435 1286 // in methodOop as seen in bugid 4947125.
duke@435 1287 // If the vep() points to the zombie nmethod, the memory for the nmethod
duke@435 1288 // could be flushed and the compiler and vtable stubs could still call
duke@435 1289 // through it.
duke@435 1290 if (method()->code() == this ||
duke@435 1291 method()->from_compiled_entry() == verified_entry_point()) {
duke@435 1292 HandleMark hm;
duke@435 1293 method()->clear_code();
duke@435 1294 }
never@1544 1295
never@1544 1296 return true;
duke@435 1297 }
duke@435 1298
duke@435 1299
duke@435 1300 #ifndef PRODUCT
duke@435 1301 void nmethod::check_safepoint() {
duke@435 1302 assert(SafepointSynchronize::is_at_safepoint(), "must be at safepoint");
duke@435 1303 }
duke@435 1304 #endif
duke@435 1305
duke@435 1306
duke@435 1307 void nmethod::flush() {
duke@435 1308 // Note that there are no valid oops in the nmethod anymore.
duke@435 1309 assert(is_zombie() || (is_osr_method() && is_unloaded()), "must be a zombie method");
duke@435 1310 assert(is_marked_for_reclamation() || (is_osr_method() && is_unloaded()), "must be marked for reclamation");
duke@435 1311
duke@435 1312 assert (!is_locked_by_vm(), "locked methods shouldn't be flushed");
duke@435 1313 check_safepoint();
duke@435 1314
duke@435 1315 // completely deallocate this method
duke@435 1316 EventMark m("flushing nmethod " INTPTR_FORMAT " %s", this, "");
duke@435 1317 if (PrintMethodFlushing) {
duke@435 1318 tty->print_cr("*flushing nmethod " INTPTR_FORMAT ". Live blobs: %d", this, CodeCache::nof_blobs());
duke@435 1319 }
duke@435 1320
duke@435 1321 // We need to deallocate any ExceptionCache data.
duke@435 1322 // Note that we do not need to grab the nmethod lock for this, it
duke@435 1323 // better be thread safe if we're disposing of it!
duke@435 1324 ExceptionCache* ec = exception_cache();
duke@435 1325 set_exception_cache(NULL);
duke@435 1326 while(ec != NULL) {
duke@435 1327 ExceptionCache* next = ec->next();
duke@435 1328 delete ec;
duke@435 1329 ec = next;
duke@435 1330 }
duke@435 1331
jrose@1424 1332 if (on_scavenge_root_list()) {
jrose@1424 1333 CodeCache::drop_scavenge_root_nmethod(this);
jrose@1424 1334 }
jrose@1424 1335
duke@435 1336 ((CodeBlob*)(this))->flush();
duke@435 1337
duke@435 1338 CodeCache::free(this);
duke@435 1339 }
duke@435 1340
duke@435 1341
duke@435 1342 //
duke@435 1343 // Notify all classes this nmethod is dependent on that it is no
duke@435 1344 // longer dependent. This should only be called in two situations.
duke@435 1345 // First, when a nmethod transitions to a zombie all dependents need
duke@435 1346 // to be clear. Since zombification happens at a safepoint there's no
duke@435 1347 // synchronization issues. The second place is a little more tricky.
duke@435 1348 // During phase 1 of mark sweep class unloading may happen and as a
duke@435 1349 // result some nmethods may get unloaded. In this case the flushing
duke@435 1350 // of dependencies must happen during phase 1 since after GC any
duke@435 1351 // dependencies in the unloaded nmethod won't be updated, so
duke@435 1352 // traversing the dependency information in unsafe. In that case this
duke@435 1353 // function is called with a non-NULL argument and this function only
duke@435 1354 // notifies instanceKlasses that are reachable
duke@435 1355
duke@435 1356 void nmethod::flush_dependencies(BoolObjectClosure* is_alive) {
duke@435 1357 assert(SafepointSynchronize::is_at_safepoint(), "must be done at safepoint");
duke@435 1358 assert(Universe::heap()->is_gc_active() == (is_alive != NULL),
duke@435 1359 "is_alive is non-NULL if and only if we are called during GC");
duke@435 1360 if (!has_flushed_dependencies()) {
duke@435 1361 set_has_flushed_dependencies();
duke@435 1362 for (Dependencies::DepStream deps(this); deps.next(); ) {
duke@435 1363 klassOop klass = deps.context_type();
duke@435 1364 if (klass == NULL) continue; // ignore things like evol_method
duke@435 1365
duke@435 1366 // During GC the is_alive closure is non-NULL, and is used to
duke@435 1367 // determine liveness of dependees that need to be updated.
duke@435 1368 if (is_alive == NULL || is_alive->do_object_b(klass)) {
duke@435 1369 instanceKlass::cast(klass)->remove_dependent_nmethod(this);
duke@435 1370 }
duke@435 1371 }
duke@435 1372 }
duke@435 1373 }
duke@435 1374
duke@435 1375
duke@435 1376 // If this oop is not live, the nmethod can be unloaded.
duke@435 1377 bool nmethod::can_unload(BoolObjectClosure* is_alive,
duke@435 1378 OopClosure* keep_alive,
duke@435 1379 oop* root, bool unloading_occurred) {
duke@435 1380 assert(root != NULL, "just checking");
duke@435 1381 oop obj = *root;
duke@435 1382 if (obj == NULL || is_alive->do_object_b(obj)) {
duke@435 1383 return false;
duke@435 1384 }
duke@435 1385 if (obj->is_compiledICHolder()) {
duke@435 1386 compiledICHolderOop cichk_oop = compiledICHolderOop(obj);
duke@435 1387 if (is_alive->do_object_b(
duke@435 1388 cichk_oop->holder_method()->method_holder()) &&
duke@435 1389 is_alive->do_object_b(cichk_oop->holder_klass())) {
duke@435 1390 // The oop should be kept alive
duke@435 1391 keep_alive->do_oop(root);
duke@435 1392 return false;
duke@435 1393 }
duke@435 1394 }
jrose@1424 1395 // If ScavengeRootsInCode is true, an nmethod might be unloaded
jrose@1424 1396 // simply because one of its constant oops has gone dead.
jrose@1424 1397 // No actual classes need to be unloaded in order for this to occur.
jrose@1424 1398 assert(unloading_occurred || ScavengeRootsInCode, "Inconsistency in unloading");
duke@435 1399 make_unloaded(is_alive, obj);
duke@435 1400 return true;
duke@435 1401 }
duke@435 1402
duke@435 1403 // ------------------------------------------------------------------
duke@435 1404 // post_compiled_method_load_event
duke@435 1405 // new method for install_code() path
duke@435 1406 // Transfer information from compilation to jvmti
duke@435 1407 void nmethod::post_compiled_method_load_event() {
duke@435 1408
duke@435 1409 methodOop moop = method();
duke@435 1410 HS_DTRACE_PROBE8(hotspot, compiled__method__load,
duke@435 1411 moop->klass_name()->bytes(),
duke@435 1412 moop->klass_name()->utf8_length(),
duke@435 1413 moop->name()->bytes(),
duke@435 1414 moop->name()->utf8_length(),
duke@435 1415 moop->signature()->bytes(),
duke@435 1416 moop->signature()->utf8_length(),
duke@435 1417 code_begin(), code_size());
duke@435 1418
duke@435 1419 if (JvmtiExport::should_post_compiled_method_load()) {
duke@435 1420 JvmtiExport::post_compiled_method_load(this);
duke@435 1421 }
duke@435 1422 }
duke@435 1423
duke@435 1424 void nmethod::post_compiled_method_unload() {
duke@435 1425 assert(_method != NULL && !is_unloaded(), "just checking");
duke@435 1426 DTRACE_METHOD_UNLOAD_PROBE(method());
duke@435 1427
duke@435 1428 // If a JVMTI agent has enabled the CompiledMethodUnload event then
duke@435 1429 // post the event. Sometime later this nmethod will be made a zombie by
duke@435 1430 // the sweeper but the methodOop will not be valid at that point.
duke@435 1431 if (JvmtiExport::should_post_compiled_method_unload()) {
duke@435 1432 assert(!unload_reported(), "already unloaded");
duke@435 1433 HandleMark hm;
duke@435 1434 JvmtiExport::post_compiled_method_unload_at_safepoint(
duke@435 1435 method()->jmethod_id(), code_begin());
duke@435 1436 }
duke@435 1437
duke@435 1438 // The JVMTI CompiledMethodUnload event can be enabled or disabled at
duke@435 1439 // any time. As the nmethod is being unloaded now we mark it has
duke@435 1440 // having the unload event reported - this will ensure that we don't
duke@435 1441 // attempt to report the event in the unlikely scenario where the
duke@435 1442 // event is enabled at the time the nmethod is made a zombie.
duke@435 1443 set_unload_reported();
duke@435 1444 }
duke@435 1445
duke@435 1446 // This is called at the end of the strong tracing/marking phase of a
duke@435 1447 // GC to unload an nmethod if it contains otherwise unreachable
duke@435 1448 // oops.
duke@435 1449
duke@435 1450 void nmethod::do_unloading(BoolObjectClosure* is_alive,
duke@435 1451 OopClosure* keep_alive, bool unloading_occurred) {
duke@435 1452 // Make sure the oop's ready to receive visitors
duke@435 1453 assert(!is_zombie() && !is_unloaded(),
duke@435 1454 "should not call follow on zombie or unloaded nmethod");
duke@435 1455
duke@435 1456 // If the method is not entrant then a JMP is plastered over the
duke@435 1457 // first few bytes. If an oop in the old code was there, that oop
duke@435 1458 // should not get GC'd. Skip the first few bytes of oops on
duke@435 1459 // not-entrant methods.
duke@435 1460 address low_boundary = verified_entry_point();
duke@435 1461 if (is_not_entrant()) {
duke@435 1462 low_boundary += NativeJump::instruction_size;
duke@435 1463 // %%% Note: On SPARC we patch only a 4-byte trap, not a full NativeJump.
duke@435 1464 // (See comment above.)
duke@435 1465 }
duke@435 1466
duke@435 1467 // The RedefineClasses() API can cause the class unloading invariant
duke@435 1468 // to no longer be true. See jvmtiExport.hpp for details.
duke@435 1469 // Also, leave a debugging breadcrumb in local flag.
duke@435 1470 bool a_class_was_redefined = JvmtiExport::has_redefined_a_class();
duke@435 1471 if (a_class_was_redefined) {
duke@435 1472 // This set of the unloading_occurred flag is done before the
duke@435 1473 // call to post_compiled_method_unload() so that the unloading
duke@435 1474 // of this nmethod is reported.
duke@435 1475 unloading_occurred = true;
duke@435 1476 }
duke@435 1477
duke@435 1478 // Follow methodOop
duke@435 1479 if (can_unload(is_alive, keep_alive, (oop*)&_method, unloading_occurred)) {
duke@435 1480 return;
duke@435 1481 }
duke@435 1482
duke@435 1483 // Exception cache
duke@435 1484 ExceptionCache* ec = exception_cache();
duke@435 1485 while (ec != NULL) {
duke@435 1486 oop* ex_addr = (oop*)ec->exception_type_addr();
duke@435 1487 oop ex = *ex_addr;
duke@435 1488 ExceptionCache* next_ec = ec->next();
duke@435 1489 if (ex != NULL && !is_alive->do_object_b(ex)) {
duke@435 1490 assert(!ex->is_compiledICHolder(), "Possible error here");
duke@435 1491 remove_from_exception_cache(ec);
duke@435 1492 }
duke@435 1493 ec = next_ec;
duke@435 1494 }
duke@435 1495
duke@435 1496 // If class unloading occurred we first iterate over all inline caches and
duke@435 1497 // clear ICs where the cached oop is referring to an unloaded klass or method.
duke@435 1498 // The remaining live cached oops will be traversed in the relocInfo::oop_type
duke@435 1499 // iteration below.
duke@435 1500 if (unloading_occurred) {
duke@435 1501 RelocIterator iter(this, low_boundary);
duke@435 1502 while(iter.next()) {
duke@435 1503 if (iter.type() == relocInfo::virtual_call_type) {
duke@435 1504 CompiledIC *ic = CompiledIC_at(iter.reloc());
duke@435 1505 oop ic_oop = ic->cached_oop();
duke@435 1506 if (ic_oop != NULL && !is_alive->do_object_b(ic_oop)) {
duke@435 1507 // The only exception is compiledICHolder oops which may
duke@435 1508 // yet be marked below. (We check this further below).
duke@435 1509 if (ic_oop->is_compiledICHolder()) {
duke@435 1510 compiledICHolderOop cichk_oop = compiledICHolderOop(ic_oop);
duke@435 1511 if (is_alive->do_object_b(
duke@435 1512 cichk_oop->holder_method()->method_holder()) &&
duke@435 1513 is_alive->do_object_b(cichk_oop->holder_klass())) {
duke@435 1514 continue;
duke@435 1515 }
duke@435 1516 }
duke@435 1517 ic->set_to_clean();
duke@435 1518 assert(ic->cached_oop() == NULL, "cached oop in IC should be cleared")
duke@435 1519 }
duke@435 1520 }
duke@435 1521 }
duke@435 1522 }
duke@435 1523
duke@435 1524 // Compiled code
duke@435 1525 RelocIterator iter(this, low_boundary);
duke@435 1526 while (iter.next()) {
duke@435 1527 if (iter.type() == relocInfo::oop_type) {
duke@435 1528 oop_Relocation* r = iter.oop_reloc();
duke@435 1529 // In this loop, we must only traverse those oops directly embedded in
duke@435 1530 // the code. Other oops (oop_index>0) are seen as part of scopes_oops.
duke@435 1531 assert(1 == (r->oop_is_immediate()) +
duke@435 1532 (r->oop_addr() >= oops_begin() && r->oop_addr() < oops_end()),
duke@435 1533 "oop must be found in exactly one place");
duke@435 1534 if (r->oop_is_immediate() && r->oop_value() != NULL) {
duke@435 1535 if (can_unload(is_alive, keep_alive, r->oop_addr(), unloading_occurred)) {
duke@435 1536 return;
duke@435 1537 }
duke@435 1538 }
duke@435 1539 }
duke@435 1540 }
duke@435 1541
duke@435 1542
duke@435 1543 // Scopes
duke@435 1544 for (oop* p = oops_begin(); p < oops_end(); p++) {
duke@435 1545 if (*p == Universe::non_oop_word()) continue; // skip non-oops
duke@435 1546 if (can_unload(is_alive, keep_alive, p, unloading_occurred)) {
duke@435 1547 return;
duke@435 1548 }
duke@435 1549 }
duke@435 1550
duke@435 1551 #ifndef PRODUCT
duke@435 1552 // This nmethod was not unloaded; check below that all CompiledICs
duke@435 1553 // refer to marked oops.
duke@435 1554 {
duke@435 1555 RelocIterator iter(this, low_boundary);
duke@435 1556 while (iter.next()) {
duke@435 1557 if (iter.type() == relocInfo::virtual_call_type) {
duke@435 1558 CompiledIC *ic = CompiledIC_at(iter.reloc());
duke@435 1559 oop ic_oop = ic->cached_oop();
duke@435 1560 assert(ic_oop == NULL || is_alive->do_object_b(ic_oop),
duke@435 1561 "Found unmarked ic_oop in reachable nmethod");
duke@435 1562 }
duke@435 1563 }
duke@435 1564 }
duke@435 1565 #endif // !PRODUCT
duke@435 1566 }
duke@435 1567
ysr@1376 1568 // This method is called twice during GC -- once while
ysr@1376 1569 // tracing the "active" nmethods on thread stacks during
ysr@1376 1570 // the (strong) marking phase, and then again when walking
ysr@1376 1571 // the code cache contents during the weak roots processing
ysr@1376 1572 // phase. The two uses are distinguished by means of the
jrose@1429 1573 // 'do_strong_roots_only' flag, which is true in the first
ysr@1376 1574 // case. We want to walk the weak roots in the nmethod
ysr@1376 1575 // only in the second case. The weak roots in the nmethod
ysr@1376 1576 // are the oops in the ExceptionCache and the InlineCache
ysr@1376 1577 // oops.
jrose@1429 1578 void nmethod::oops_do(OopClosure* f, bool do_strong_roots_only) {
duke@435 1579 // make sure the oops ready to receive visitors
duke@435 1580 assert(!is_zombie() && !is_unloaded(),
duke@435 1581 "should not call follow on zombie or unloaded nmethod");
duke@435 1582
duke@435 1583 // If the method is not entrant or zombie then a JMP is plastered over the
duke@435 1584 // first few bytes. If an oop in the old code was there, that oop
duke@435 1585 // should not get GC'd. Skip the first few bytes of oops on
duke@435 1586 // not-entrant methods.
duke@435 1587 address low_boundary = verified_entry_point();
duke@435 1588 if (is_not_entrant()) {
duke@435 1589 low_boundary += NativeJump::instruction_size;
duke@435 1590 // %%% Note: On SPARC we patch only a 4-byte trap, not a full NativeJump.
duke@435 1591 // (See comment above.)
duke@435 1592 }
duke@435 1593
duke@435 1594 // Compiled code
duke@435 1595 f->do_oop((oop*) &_method);
jrose@1429 1596 if (!do_strong_roots_only) {
ysr@1376 1597 // weak roots processing phase -- update ExceptionCache oops
ysr@1376 1598 ExceptionCache* ec = exception_cache();
ysr@1376 1599 while(ec != NULL) {
ysr@1376 1600 f->do_oop((oop*)ec->exception_type_addr());
ysr@1376 1601 ec = ec->next();
ysr@1376 1602 }
ysr@1376 1603 } // Else strong roots phase -- skip oops in ExceptionCache
duke@435 1604
duke@435 1605 RelocIterator iter(this, low_boundary);
ysr@1376 1606
duke@435 1607 while (iter.next()) {
duke@435 1608 if (iter.type() == relocInfo::oop_type ) {
duke@435 1609 oop_Relocation* r = iter.oop_reloc();
duke@435 1610 // In this loop, we must only follow those oops directly embedded in
duke@435 1611 // the code. Other oops (oop_index>0) are seen as part of scopes_oops.
ysr@1376 1612 assert(1 == (r->oop_is_immediate()) +
ysr@1376 1613 (r->oop_addr() >= oops_begin() && r->oop_addr() < oops_end()),
ysr@1376 1614 "oop must be found in exactly one place");
duke@435 1615 if (r->oop_is_immediate() && r->oop_value() != NULL) {
duke@435 1616 f->do_oop(r->oop_addr());
duke@435 1617 }
duke@435 1618 }
duke@435 1619 }
duke@435 1620
duke@435 1621 // Scopes
jrose@1424 1622 // This includes oop constants not inlined in the code stream.
duke@435 1623 for (oop* p = oops_begin(); p < oops_end(); p++) {
duke@435 1624 if (*p == Universe::non_oop_word()) continue; // skip non-oops
duke@435 1625 f->do_oop(p);
duke@435 1626 }
duke@435 1627 }
duke@435 1628
jrose@1424 1629 #define NMETHOD_SENTINEL ((nmethod*)badAddress)
jrose@1424 1630
jrose@1424 1631 nmethod* volatile nmethod::_oops_do_mark_nmethods;
jrose@1424 1632
jrose@1424 1633 // An nmethod is "marked" if its _mark_link is set non-null.
jrose@1424 1634 // Even if it is the end of the linked list, it will have a non-null link value,
jrose@1424 1635 // as long as it is on the list.
jrose@1424 1636 // This code must be MP safe, because it is used from parallel GC passes.
jrose@1424 1637 bool nmethod::test_set_oops_do_mark() {
jrose@1424 1638 assert(nmethod::oops_do_marking_is_active(), "oops_do_marking_prologue must be called");
jrose@1424 1639 nmethod* observed_mark_link = _oops_do_mark_link;
jrose@1424 1640 if (observed_mark_link == NULL) {
jrose@1424 1641 // Claim this nmethod for this thread to mark.
jrose@1424 1642 observed_mark_link = (nmethod*)
jrose@1424 1643 Atomic::cmpxchg_ptr(NMETHOD_SENTINEL, &_oops_do_mark_link, NULL);
jrose@1424 1644 if (observed_mark_link == NULL) {
jrose@1424 1645
jrose@1424 1646 // Atomically append this nmethod (now claimed) to the head of the list:
jrose@1424 1647 nmethod* observed_mark_nmethods = _oops_do_mark_nmethods;
jrose@1424 1648 for (;;) {
jrose@1424 1649 nmethod* required_mark_nmethods = observed_mark_nmethods;
jrose@1424 1650 _oops_do_mark_link = required_mark_nmethods;
jrose@1424 1651 observed_mark_nmethods = (nmethod*)
jrose@1424 1652 Atomic::cmpxchg_ptr(this, &_oops_do_mark_nmethods, required_mark_nmethods);
jrose@1424 1653 if (observed_mark_nmethods == required_mark_nmethods)
jrose@1424 1654 break;
jrose@1424 1655 }
jrose@1424 1656 // Mark was clear when we first saw this guy.
jrose@1424 1657 NOT_PRODUCT(if (TraceScavenge) print_on(tty, "oops_do, mark\n"));
jrose@1424 1658 return false;
jrose@1424 1659 }
jrose@1424 1660 }
jrose@1424 1661 // On fall through, another racing thread marked this nmethod before we did.
jrose@1424 1662 return true;
jrose@1424 1663 }
jrose@1424 1664
jrose@1424 1665 void nmethod::oops_do_marking_prologue() {
jrose@1424 1666 NOT_PRODUCT(if (TraceScavenge) tty->print_cr("[oops_do_marking_prologue"));
jrose@1424 1667 assert(_oops_do_mark_nmethods == NULL, "must not call oops_do_marking_prologue twice in a row");
jrose@1424 1668 // We use cmpxchg_ptr instead of regular assignment here because the user
jrose@1424 1669 // may fork a bunch of threads, and we need them all to see the same state.
jrose@1424 1670 void* observed = Atomic::cmpxchg_ptr(NMETHOD_SENTINEL, &_oops_do_mark_nmethods, NULL);
jrose@1424 1671 guarantee(observed == NULL, "no races in this sequential code");
jrose@1424 1672 }
jrose@1424 1673
jrose@1424 1674 void nmethod::oops_do_marking_epilogue() {
jrose@1424 1675 assert(_oops_do_mark_nmethods != NULL, "must not call oops_do_marking_epilogue twice in a row");
jrose@1424 1676 nmethod* cur = _oops_do_mark_nmethods;
jrose@1424 1677 while (cur != NMETHOD_SENTINEL) {
jrose@1424 1678 assert(cur != NULL, "not NULL-terminated");
jrose@1424 1679 nmethod* next = cur->_oops_do_mark_link;
jrose@1424 1680 cur->_oops_do_mark_link = NULL;
jrose@1424 1681 NOT_PRODUCT(if (TraceScavenge) cur->print_on(tty, "oops_do, unmark\n"));
jrose@1424 1682 cur = next;
jrose@1424 1683 }
jrose@1424 1684 void* required = _oops_do_mark_nmethods;
jrose@1424 1685 void* observed = Atomic::cmpxchg_ptr(NULL, &_oops_do_mark_nmethods, required);
jrose@1424 1686 guarantee(observed == required, "no races in this sequential code");
jrose@1424 1687 NOT_PRODUCT(if (TraceScavenge) tty->print_cr("oops_do_marking_epilogue]"));
jrose@1424 1688 }
jrose@1424 1689
jrose@1424 1690 class DetectScavengeRoot: public OopClosure {
jrose@1424 1691 bool _detected_scavenge_root;
jrose@1424 1692 public:
jrose@1424 1693 DetectScavengeRoot() : _detected_scavenge_root(false)
jrose@1424 1694 { NOT_PRODUCT(_print_nm = NULL); }
jrose@1424 1695 bool detected_scavenge_root() { return _detected_scavenge_root; }
jrose@1424 1696 virtual void do_oop(oop* p) {
jrose@1424 1697 if ((*p) != NULL && (*p)->is_scavengable()) {
jrose@1424 1698 NOT_PRODUCT(maybe_print(p));
jrose@1424 1699 _detected_scavenge_root = true;
jrose@1424 1700 }
jrose@1424 1701 }
jrose@1424 1702 virtual void do_oop(narrowOop* p) { ShouldNotReachHere(); }
jrose@1424 1703
jrose@1424 1704 #ifndef PRODUCT
jrose@1424 1705 nmethod* _print_nm;
jrose@1424 1706 void maybe_print(oop* p) {
jrose@1424 1707 if (_print_nm == NULL) return;
jrose@1424 1708 if (!_detected_scavenge_root) _print_nm->print_on(tty, "new scavenge root");
jrose@1424 1709 tty->print_cr(""PTR_FORMAT"[offset=%d] detected non-perm oop "PTR_FORMAT" (found at "PTR_FORMAT")",
jrose@1424 1710 _print_nm, (int)((intptr_t)p - (intptr_t)_print_nm),
jrose@1424 1711 (intptr_t)(*p), (intptr_t)p);
jrose@1424 1712 (*p)->print();
jrose@1424 1713 }
jrose@1424 1714 #endif //PRODUCT
jrose@1424 1715 };
jrose@1424 1716
jrose@1424 1717 bool nmethod::detect_scavenge_root_oops() {
jrose@1424 1718 DetectScavengeRoot detect_scavenge_root;
jrose@1424 1719 NOT_PRODUCT(if (TraceScavenge) detect_scavenge_root._print_nm = this);
jrose@1424 1720 oops_do(&detect_scavenge_root);
jrose@1424 1721 return detect_scavenge_root.detected_scavenge_root();
jrose@1424 1722 }
jrose@1424 1723
duke@435 1724 // Method that knows how to preserve outgoing arguments at call. This method must be
duke@435 1725 // called with a frame corresponding to a Java invoke
duke@435 1726 void nmethod::preserve_callee_argument_oops(frame fr, const RegisterMap *reg_map, OopClosure* f) {
duke@435 1727 if (!method()->is_native()) {
duke@435 1728 SimpleScopeDesc ssd(this, fr.pc());
duke@435 1729 Bytecode_invoke* call = Bytecode_invoke_at(ssd.method(), ssd.bci());
twisti@1573 1730 bool has_receiver = call->has_receiver();
duke@435 1731 symbolOop signature = call->signature();
twisti@1573 1732 fr.oops_compiled_arguments_do(signature, has_receiver, reg_map, f);
duke@435 1733 }
duke@435 1734 }
duke@435 1735
duke@435 1736
duke@435 1737 oop nmethod::embeddedOop_at(u_char* p) {
duke@435 1738 RelocIterator iter(this, p, p + oopSize);
duke@435 1739 while (iter.next())
duke@435 1740 if (iter.type() == relocInfo::oop_type) {
duke@435 1741 return iter.oop_reloc()->oop_value();
duke@435 1742 }
duke@435 1743 return NULL;
duke@435 1744 }
duke@435 1745
duke@435 1746
duke@435 1747 inline bool includes(void* p, void* from, void* to) {
duke@435 1748 return from <= p && p < to;
duke@435 1749 }
duke@435 1750
duke@435 1751
duke@435 1752 void nmethod::copy_scopes_pcs(PcDesc* pcs, int count) {
duke@435 1753 assert(count >= 2, "must be sentinel values, at least");
duke@435 1754
duke@435 1755 #ifdef ASSERT
duke@435 1756 // must be sorted and unique; we do a binary search in find_pc_desc()
duke@435 1757 int prev_offset = pcs[0].pc_offset();
duke@435 1758 assert(prev_offset == PcDesc::lower_offset_limit,
duke@435 1759 "must start with a sentinel");
duke@435 1760 for (int i = 1; i < count; i++) {
duke@435 1761 int this_offset = pcs[i].pc_offset();
duke@435 1762 assert(this_offset > prev_offset, "offsets must be sorted");
duke@435 1763 prev_offset = this_offset;
duke@435 1764 }
duke@435 1765 assert(prev_offset == PcDesc::upper_offset_limit,
duke@435 1766 "must end with a sentinel");
duke@435 1767 #endif //ASSERT
duke@435 1768
twisti@1570 1769 // Search for MethodHandle invokes and tag the nmethod.
twisti@1570 1770 for (int i = 0; i < count; i++) {
twisti@1570 1771 if (pcs[i].is_method_handle_invoke()) {
twisti@1570 1772 set_has_method_handle_invokes(true);
twisti@1570 1773 break;
twisti@1570 1774 }
twisti@1570 1775 }
twisti@1570 1776
duke@435 1777 int size = count * sizeof(PcDesc);
duke@435 1778 assert(scopes_pcs_size() >= size, "oob");
duke@435 1779 memcpy(scopes_pcs_begin(), pcs, size);
duke@435 1780
duke@435 1781 // Adjust the final sentinel downward.
duke@435 1782 PcDesc* last_pc = &scopes_pcs_begin()[count-1];
duke@435 1783 assert(last_pc->pc_offset() == PcDesc::upper_offset_limit, "sanity");
duke@435 1784 last_pc->set_pc_offset(instructions_size() + 1);
duke@435 1785 for (; last_pc + 1 < scopes_pcs_end(); last_pc += 1) {
duke@435 1786 // Fill any rounding gaps with copies of the last record.
duke@435 1787 last_pc[1] = last_pc[0];
duke@435 1788 }
duke@435 1789 // The following assert could fail if sizeof(PcDesc) is not
duke@435 1790 // an integral multiple of oopSize (the rounding term).
duke@435 1791 // If it fails, change the logic to always allocate a multiple
duke@435 1792 // of sizeof(PcDesc), and fill unused words with copies of *last_pc.
duke@435 1793 assert(last_pc + 1 == scopes_pcs_end(), "must match exactly");
duke@435 1794 }
duke@435 1795
duke@435 1796 void nmethod::copy_scopes_data(u_char* buffer, int size) {
duke@435 1797 assert(scopes_data_size() >= size, "oob");
duke@435 1798 memcpy(scopes_data_begin(), buffer, size);
duke@435 1799 }
duke@435 1800
duke@435 1801
duke@435 1802 #ifdef ASSERT
duke@435 1803 static PcDesc* linear_search(nmethod* nm, int pc_offset, bool approximate) {
duke@435 1804 PcDesc* lower = nm->scopes_pcs_begin();
duke@435 1805 PcDesc* upper = nm->scopes_pcs_end();
duke@435 1806 lower += 1; // exclude initial sentinel
duke@435 1807 PcDesc* res = NULL;
duke@435 1808 for (PcDesc* p = lower; p < upper; p++) {
duke@435 1809 NOT_PRODUCT(--nmethod_stats.pc_desc_tests); // don't count this call to match_desc
duke@435 1810 if (match_desc(p, pc_offset, approximate)) {
duke@435 1811 if (res == NULL)
duke@435 1812 res = p;
duke@435 1813 else
duke@435 1814 res = (PcDesc*) badAddress;
duke@435 1815 }
duke@435 1816 }
duke@435 1817 return res;
duke@435 1818 }
duke@435 1819 #endif
duke@435 1820
duke@435 1821
duke@435 1822 // Finds a PcDesc with real-pc equal to "pc"
duke@435 1823 PcDesc* nmethod::find_pc_desc_internal(address pc, bool approximate) {
duke@435 1824 address base_address = instructions_begin();
duke@435 1825 if ((pc < base_address) ||
duke@435 1826 (pc - base_address) >= (ptrdiff_t) PcDesc::upper_offset_limit) {
duke@435 1827 return NULL; // PC is wildly out of range
duke@435 1828 }
duke@435 1829 int pc_offset = (int) (pc - base_address);
duke@435 1830
duke@435 1831 // Check the PcDesc cache if it contains the desired PcDesc
duke@435 1832 // (This as an almost 100% hit rate.)
duke@435 1833 PcDesc* res = _pc_desc_cache.find_pc_desc(pc_offset, approximate);
duke@435 1834 if (res != NULL) {
duke@435 1835 assert(res == linear_search(this, pc_offset, approximate), "cache ok");
duke@435 1836 return res;
duke@435 1837 }
duke@435 1838
duke@435 1839 // Fallback algorithm: quasi-linear search for the PcDesc
duke@435 1840 // Find the last pc_offset less than the given offset.
duke@435 1841 // The successor must be the required match, if there is a match at all.
duke@435 1842 // (Use a fixed radix to avoid expensive affine pointer arithmetic.)
duke@435 1843 PcDesc* lower = scopes_pcs_begin();
duke@435 1844 PcDesc* upper = scopes_pcs_end();
duke@435 1845 upper -= 1; // exclude final sentinel
duke@435 1846 if (lower >= upper) return NULL; // native method; no PcDescs at all
duke@435 1847
duke@435 1848 #define assert_LU_OK \
duke@435 1849 /* invariant on lower..upper during the following search: */ \
duke@435 1850 assert(lower->pc_offset() < pc_offset, "sanity"); \
duke@435 1851 assert(upper->pc_offset() >= pc_offset, "sanity")
duke@435 1852 assert_LU_OK;
duke@435 1853
duke@435 1854 // Use the last successful return as a split point.
duke@435 1855 PcDesc* mid = _pc_desc_cache.last_pc_desc();
duke@435 1856 NOT_PRODUCT(++nmethod_stats.pc_desc_searches);
duke@435 1857 if (mid->pc_offset() < pc_offset) {
duke@435 1858 lower = mid;
duke@435 1859 } else {
duke@435 1860 upper = mid;
duke@435 1861 }
duke@435 1862
duke@435 1863 // Take giant steps at first (4096, then 256, then 16, then 1)
duke@435 1864 const int LOG2_RADIX = 4 /*smaller steps in debug mode:*/ debug_only(-1);
duke@435 1865 const int RADIX = (1 << LOG2_RADIX);
duke@435 1866 for (int step = (1 << (LOG2_RADIX*3)); step > 1; step >>= LOG2_RADIX) {
duke@435 1867 while ((mid = lower + step) < upper) {
duke@435 1868 assert_LU_OK;
duke@435 1869 NOT_PRODUCT(++nmethod_stats.pc_desc_searches);
duke@435 1870 if (mid->pc_offset() < pc_offset) {
duke@435 1871 lower = mid;
duke@435 1872 } else {
duke@435 1873 upper = mid;
duke@435 1874 break;
duke@435 1875 }
duke@435 1876 }
duke@435 1877 assert_LU_OK;
duke@435 1878 }
duke@435 1879
duke@435 1880 // Sneak up on the value with a linear search of length ~16.
duke@435 1881 while (true) {
duke@435 1882 assert_LU_OK;
duke@435 1883 mid = lower + 1;
duke@435 1884 NOT_PRODUCT(++nmethod_stats.pc_desc_searches);
duke@435 1885 if (mid->pc_offset() < pc_offset) {
duke@435 1886 lower = mid;
duke@435 1887 } else {
duke@435 1888 upper = mid;
duke@435 1889 break;
duke@435 1890 }
duke@435 1891 }
duke@435 1892 #undef assert_LU_OK
duke@435 1893
duke@435 1894 if (match_desc(upper, pc_offset, approximate)) {
duke@435 1895 assert(upper == linear_search(this, pc_offset, approximate), "search ok");
duke@435 1896 _pc_desc_cache.add_pc_desc(upper);
duke@435 1897 return upper;
duke@435 1898 } else {
duke@435 1899 assert(NULL == linear_search(this, pc_offset, approximate), "search ok");
duke@435 1900 return NULL;
duke@435 1901 }
duke@435 1902 }
duke@435 1903
duke@435 1904
duke@435 1905 bool nmethod::check_all_dependencies() {
duke@435 1906 bool found_check = false;
duke@435 1907 // wholesale check of all dependencies
duke@435 1908 for (Dependencies::DepStream deps(this); deps.next(); ) {
duke@435 1909 if (deps.check_dependency() != NULL) {
duke@435 1910 found_check = true;
duke@435 1911 NOT_DEBUG(break);
duke@435 1912 }
duke@435 1913 }
duke@435 1914 return found_check; // tell caller if we found anything
duke@435 1915 }
duke@435 1916
duke@435 1917 bool nmethod::check_dependency_on(DepChange& changes) {
duke@435 1918 // What has happened:
duke@435 1919 // 1) a new class dependee has been added
duke@435 1920 // 2) dependee and all its super classes have been marked
duke@435 1921 bool found_check = false; // set true if we are upset
duke@435 1922 for (Dependencies::DepStream deps(this); deps.next(); ) {
duke@435 1923 // Evaluate only relevant dependencies.
duke@435 1924 if (deps.spot_check_dependency_at(changes) != NULL) {
duke@435 1925 found_check = true;
duke@435 1926 NOT_DEBUG(break);
duke@435 1927 }
duke@435 1928 }
duke@435 1929 return found_check;
duke@435 1930 }
duke@435 1931
duke@435 1932 bool nmethod::is_evol_dependent_on(klassOop dependee) {
duke@435 1933 instanceKlass *dependee_ik = instanceKlass::cast(dependee);
duke@435 1934 objArrayOop dependee_methods = dependee_ik->methods();
duke@435 1935 for (Dependencies::DepStream deps(this); deps.next(); ) {
duke@435 1936 if (deps.type() == Dependencies::evol_method) {
duke@435 1937 methodOop method = deps.method_argument(0);
duke@435 1938 for (int j = 0; j < dependee_methods->length(); j++) {
duke@435 1939 if ((methodOop) dependee_methods->obj_at(j) == method) {
duke@435 1940 // RC_TRACE macro has an embedded ResourceMark
duke@435 1941 RC_TRACE(0x01000000,
duke@435 1942 ("Found evol dependency of nmethod %s.%s(%s) compile_id=%d on method %s.%s(%s)",
duke@435 1943 _method->method_holder()->klass_part()->external_name(),
duke@435 1944 _method->name()->as_C_string(),
duke@435 1945 _method->signature()->as_C_string(), compile_id(),
duke@435 1946 method->method_holder()->klass_part()->external_name(),
duke@435 1947 method->name()->as_C_string(),
duke@435 1948 method->signature()->as_C_string()));
duke@435 1949 if (TraceDependencies || LogCompilation)
duke@435 1950 deps.log_dependency(dependee);
duke@435 1951 return true;
duke@435 1952 }
duke@435 1953 }
duke@435 1954 }
duke@435 1955 }
duke@435 1956 return false;
duke@435 1957 }
duke@435 1958
duke@435 1959 // Called from mark_for_deoptimization, when dependee is invalidated.
duke@435 1960 bool nmethod::is_dependent_on_method(methodOop dependee) {
duke@435 1961 for (Dependencies::DepStream deps(this); deps.next(); ) {
duke@435 1962 if (deps.type() != Dependencies::evol_method)
duke@435 1963 continue;
duke@435 1964 methodOop method = deps.method_argument(0);
duke@435 1965 if (method == dependee) return true;
duke@435 1966 }
duke@435 1967 return false;
duke@435 1968 }
duke@435 1969
duke@435 1970
duke@435 1971 bool nmethod::is_patchable_at(address instr_addr) {
duke@435 1972 assert (code_contains(instr_addr), "wrong nmethod used");
duke@435 1973 if (is_zombie()) {
duke@435 1974 // a zombie may never be patched
duke@435 1975 return false;
duke@435 1976 }
duke@435 1977 return true;
duke@435 1978 }
duke@435 1979
duke@435 1980
duke@435 1981 address nmethod::continuation_for_implicit_exception(address pc) {
duke@435 1982 // Exception happened outside inline-cache check code => we are inside
duke@435 1983 // an active nmethod => use cpc to determine a return address
duke@435 1984 int exception_offset = pc - instructions_begin();
duke@435 1985 int cont_offset = ImplicitExceptionTable(this).at( exception_offset );
duke@435 1986 #ifdef ASSERT
duke@435 1987 if (cont_offset == 0) {
duke@435 1988 Thread* thread = ThreadLocalStorage::get_thread_slow();
duke@435 1989 ResetNoHandleMark rnm; // Might be called from LEAF/QUICK ENTRY
duke@435 1990 HandleMark hm(thread);
duke@435 1991 ResourceMark rm(thread);
duke@435 1992 CodeBlob* cb = CodeCache::find_blob(pc);
duke@435 1993 assert(cb != NULL && cb == this, "");
duke@435 1994 tty->print_cr("implicit exception happened at " INTPTR_FORMAT, pc);
duke@435 1995 print();
duke@435 1996 method()->print_codes();
duke@435 1997 print_code();
duke@435 1998 print_pcs();
duke@435 1999 }
duke@435 2000 #endif
duke@435 2001 guarantee(cont_offset != 0, "unhandled implicit exception in compiled code");
duke@435 2002 return instructions_begin() + cont_offset;
duke@435 2003 }
duke@435 2004
duke@435 2005
duke@435 2006
duke@435 2007 void nmethod_init() {
duke@435 2008 // make sure you didn't forget to adjust the filler fields
duke@435 2009 assert(sizeof(nmFlags) <= 4, "nmFlags occupies more than a word");
duke@435 2010 assert(sizeof(nmethod) % oopSize == 0, "nmethod size must be multiple of a word");
duke@435 2011 }
duke@435 2012
duke@435 2013
duke@435 2014 //-------------------------------------------------------------------------------------------
duke@435 2015
duke@435 2016
duke@435 2017 // QQQ might we make this work from a frame??
duke@435 2018 nmethodLocker::nmethodLocker(address pc) {
duke@435 2019 CodeBlob* cb = CodeCache::find_blob(pc);
duke@435 2020 guarantee(cb != NULL && cb->is_nmethod(), "bad pc for a nmethod found");
duke@435 2021 _nm = (nmethod*)cb;
duke@435 2022 lock_nmethod(_nm);
duke@435 2023 }
duke@435 2024
duke@435 2025 void nmethodLocker::lock_nmethod(nmethod* nm) {
duke@435 2026 if (nm == NULL) return;
duke@435 2027 Atomic::inc(&nm->_lock_count);
duke@435 2028 guarantee(!nm->is_zombie(), "cannot lock a zombie method");
duke@435 2029 }
duke@435 2030
duke@435 2031 void nmethodLocker::unlock_nmethod(nmethod* nm) {
duke@435 2032 if (nm == NULL) return;
duke@435 2033 Atomic::dec(&nm->_lock_count);
duke@435 2034 guarantee(nm->_lock_count >= 0, "unmatched nmethod lock/unlock");
duke@435 2035 }
duke@435 2036
twisti@1635 2037
twisti@1635 2038 // -----------------------------------------------------------------------------
twisti@1635 2039 // nmethod::get_deopt_original_pc
twisti@1635 2040 //
twisti@1635 2041 // Return the original PC for the given PC if:
twisti@1635 2042 // (a) the given PC belongs to a nmethod and
twisti@1635 2043 // (b) it is a deopt PC
twisti@1635 2044 address nmethod::get_deopt_original_pc(const frame* fr) {
twisti@1635 2045 if (fr->cb() == NULL) return NULL;
twisti@1635 2046
twisti@1635 2047 nmethod* nm = fr->cb()->as_nmethod_or_null();
twisti@1635 2048 if (nm != NULL && nm->is_deopt_pc(fr->pc()))
twisti@1635 2049 return nm->get_original_pc(fr);
twisti@1635 2050
twisti@1635 2051 return NULL;
duke@435 2052 }
duke@435 2053
duke@435 2054
duke@435 2055 // -----------------------------------------------------------------------------
twisti@1570 2056 // MethodHandle
twisti@1570 2057
twisti@1570 2058 bool nmethod::is_method_handle_return(address return_pc) {
twisti@1570 2059 if (!has_method_handle_invokes()) return false;
twisti@1570 2060 PcDesc* pd = pc_desc_at(return_pc);
twisti@1570 2061 if (pd == NULL)
twisti@1570 2062 return false;
twisti@1570 2063 return pd->is_method_handle_invoke();
twisti@1570 2064 }
twisti@1570 2065
twisti@1570 2066
twisti@1570 2067 // -----------------------------------------------------------------------------
duke@435 2068 // Verification
duke@435 2069
jrose@1424 2070 class VerifyOopsClosure: public OopClosure {
jrose@1424 2071 nmethod* _nm;
jrose@1424 2072 bool _ok;
jrose@1424 2073 public:
jrose@1424 2074 VerifyOopsClosure(nmethod* nm) : _nm(nm), _ok(true) { }
jrose@1424 2075 bool ok() { return _ok; }
jrose@1424 2076 virtual void do_oop(oop* p) {
jrose@1424 2077 if ((*p) == NULL || (*p)->is_oop()) return;
jrose@1424 2078 if (_ok) {
jrose@1424 2079 _nm->print_nmethod(true);
jrose@1424 2080 _ok = false;
jrose@1424 2081 }
jrose@1424 2082 tty->print_cr("*** non-oop "PTR_FORMAT" found at "PTR_FORMAT" (offset %d)",
jrose@1424 2083 (intptr_t)(*p), (intptr_t)p, (int)((intptr_t)p - (intptr_t)_nm));
jrose@1424 2084 }
jrose@1424 2085 virtual void do_oop(narrowOop* p) { ShouldNotReachHere(); }
jrose@1424 2086 };
jrose@1424 2087
duke@435 2088 void nmethod::verify() {
duke@435 2089
duke@435 2090 // Hmm. OSR methods can be deopted but not marked as zombie or not_entrant
duke@435 2091 // seems odd.
duke@435 2092
duke@435 2093 if( is_zombie() || is_not_entrant() )
duke@435 2094 return;
duke@435 2095
duke@435 2096 // Make sure all the entry points are correctly aligned for patching.
duke@435 2097 NativeJump::check_verified_entry_alignment(entry_point(), verified_entry_point());
duke@435 2098
duke@435 2099 assert(method()->is_oop(), "must be valid");
duke@435 2100
duke@435 2101 ResourceMark rm;
duke@435 2102
duke@435 2103 if (!CodeCache::contains(this)) {
duke@435 2104 fatal1("nmethod at " INTPTR_FORMAT " not in zone", this);
duke@435 2105 }
duke@435 2106
duke@435 2107 if(is_native_method() )
duke@435 2108 return;
duke@435 2109
duke@435 2110 nmethod* nm = CodeCache::find_nmethod(verified_entry_point());
duke@435 2111 if (nm != this) {
duke@435 2112 fatal1("findNMethod did not find this nmethod (" INTPTR_FORMAT ")", this);
duke@435 2113 }
duke@435 2114
duke@435 2115 for (PcDesc* p = scopes_pcs_begin(); p < scopes_pcs_end(); p++) {
duke@435 2116 if (! p->verify(this)) {
duke@435 2117 tty->print_cr("\t\tin nmethod at " INTPTR_FORMAT " (pcs)", this);
duke@435 2118 }
duke@435 2119 }
duke@435 2120
jrose@1424 2121 VerifyOopsClosure voc(this);
jrose@1424 2122 oops_do(&voc);
jrose@1424 2123 assert(voc.ok(), "embedded oops must be OK");
jrose@1424 2124 verify_scavenge_root_oops();
jrose@1424 2125
duke@435 2126 verify_scopes();
duke@435 2127 }
duke@435 2128
duke@435 2129
duke@435 2130 void nmethod::verify_interrupt_point(address call_site) {
duke@435 2131 // This code does not work in release mode since
duke@435 2132 // owns_lock only is available in debug mode.
duke@435 2133 CompiledIC* ic = NULL;
duke@435 2134 Thread *cur = Thread::current();
duke@435 2135 if (CompiledIC_lock->owner() == cur ||
duke@435 2136 ((cur->is_VM_thread() || cur->is_ConcurrentGC_thread()) &&
duke@435 2137 SafepointSynchronize::is_at_safepoint())) {
duke@435 2138 ic = CompiledIC_at(call_site);
duke@435 2139 CHECK_UNHANDLED_OOPS_ONLY(Thread::current()->clear_unhandled_oops());
duke@435 2140 } else {
duke@435 2141 MutexLocker ml_verify (CompiledIC_lock);
duke@435 2142 ic = CompiledIC_at(call_site);
duke@435 2143 }
duke@435 2144 PcDesc* pd = pc_desc_at(ic->end_of_call());
duke@435 2145 assert(pd != NULL, "PcDesc must exist");
duke@435 2146 for (ScopeDesc* sd = new ScopeDesc(this, pd->scope_decode_offset(),
cfang@1366 2147 pd->obj_decode_offset(), pd->should_reexecute());
duke@435 2148 !sd->is_top(); sd = sd->sender()) {
duke@435 2149 sd->verify();
duke@435 2150 }
duke@435 2151 }
duke@435 2152
duke@435 2153 void nmethod::verify_scopes() {
duke@435 2154 if( !method() ) return; // Runtime stubs have no scope
duke@435 2155 if (method()->is_native()) return; // Ignore stub methods.
duke@435 2156 // iterate through all interrupt point
duke@435 2157 // and verify the debug information is valid.
duke@435 2158 RelocIterator iter((nmethod*)this);
duke@435 2159 while (iter.next()) {
duke@435 2160 address stub = NULL;
duke@435 2161 switch (iter.type()) {
duke@435 2162 case relocInfo::virtual_call_type:
duke@435 2163 verify_interrupt_point(iter.addr());
duke@435 2164 break;
duke@435 2165 case relocInfo::opt_virtual_call_type:
duke@435 2166 stub = iter.opt_virtual_call_reloc()->static_stub();
duke@435 2167 verify_interrupt_point(iter.addr());
duke@435 2168 break;
duke@435 2169 case relocInfo::static_call_type:
duke@435 2170 stub = iter.static_call_reloc()->static_stub();
duke@435 2171 //verify_interrupt_point(iter.addr());
duke@435 2172 break;
duke@435 2173 case relocInfo::runtime_call_type:
duke@435 2174 address destination = iter.reloc()->value();
duke@435 2175 // Right now there is no way to find out which entries support
duke@435 2176 // an interrupt point. It would be nice if we had this
duke@435 2177 // information in a table.
duke@435 2178 break;
duke@435 2179 }
duke@435 2180 assert(stub == NULL || stub_contains(stub), "static call stub outside stub section");
duke@435 2181 }
duke@435 2182 }
duke@435 2183
duke@435 2184
duke@435 2185 // -----------------------------------------------------------------------------
duke@435 2186 // Non-product code
duke@435 2187 #ifndef PRODUCT
duke@435 2188
jrose@1424 2189 class DebugScavengeRoot: public OopClosure {
jrose@1424 2190 nmethod* _nm;
jrose@1424 2191 bool _ok;
jrose@1424 2192 public:
jrose@1424 2193 DebugScavengeRoot(nmethod* nm) : _nm(nm), _ok(true) { }
jrose@1424 2194 bool ok() { return _ok; }
jrose@1424 2195 virtual void do_oop(oop* p) {
jrose@1424 2196 if ((*p) == NULL || !(*p)->is_scavengable()) return;
jrose@1424 2197 if (_ok) {
jrose@1424 2198 _nm->print_nmethod(true);
jrose@1424 2199 _ok = false;
jrose@1424 2200 }
jrose@1424 2201 tty->print_cr("*** non-perm oop "PTR_FORMAT" found at "PTR_FORMAT" (offset %d)",
jrose@1424 2202 (intptr_t)(*p), (intptr_t)p, (int)((intptr_t)p - (intptr_t)_nm));
jrose@1424 2203 (*p)->print();
jrose@1424 2204 }
jrose@1424 2205 virtual void do_oop(narrowOop* p) { ShouldNotReachHere(); }
jrose@1424 2206 };
duke@435 2207
jrose@1424 2208 void nmethod::verify_scavenge_root_oops() {
jrose@1424 2209 if (!on_scavenge_root_list()) {
jrose@1424 2210 // Actually look inside, to verify the claim that it's clean.
jrose@1424 2211 DebugScavengeRoot debug_scavenge_root(this);
jrose@1424 2212 oops_do(&debug_scavenge_root);
jrose@1424 2213 if (!debug_scavenge_root.ok())
jrose@1424 2214 fatal("found an unadvertised bad non-perm oop in the code cache");
duke@435 2215 }
jrose@1424 2216 assert(scavenge_root_not_marked(), "");
duke@435 2217 }
duke@435 2218
jrose@535 2219 #endif // PRODUCT
duke@435 2220
duke@435 2221 // Printing operations
duke@435 2222
duke@435 2223 void nmethod::print() const {
duke@435 2224 ResourceMark rm;
duke@435 2225 ttyLocker ttyl; // keep the following output all in one block
duke@435 2226
duke@435 2227 tty->print("Compiled ");
duke@435 2228
duke@435 2229 if (is_compiled_by_c1()) {
duke@435 2230 tty->print("(c1) ");
duke@435 2231 } else if (is_compiled_by_c2()) {
duke@435 2232 tty->print("(c2) ");
duke@435 2233 } else {
duke@435 2234 tty->print("(nm) ");
duke@435 2235 }
duke@435 2236
duke@435 2237 print_on(tty, "nmethod");
duke@435 2238 tty->cr();
duke@435 2239 if (WizardMode) {
duke@435 2240 tty->print("((nmethod*) "INTPTR_FORMAT ") ", this);
duke@435 2241 tty->print(" for method " INTPTR_FORMAT , (address)method());
duke@435 2242 tty->print(" { ");
duke@435 2243 if (version()) tty->print("v%d ", version());
duke@435 2244 if (level()) tty->print("l%d ", level());
duke@435 2245 if (is_in_use()) tty->print("in_use ");
duke@435 2246 if (is_not_entrant()) tty->print("not_entrant ");
duke@435 2247 if (is_zombie()) tty->print("zombie ");
duke@435 2248 if (is_unloaded()) tty->print("unloaded ");
jrose@1424 2249 if (on_scavenge_root_list()) tty->print("scavenge_root ");
duke@435 2250 tty->print_cr("}:");
duke@435 2251 }
duke@435 2252 if (size () > 0) tty->print_cr(" total in heap [" INTPTR_FORMAT "," INTPTR_FORMAT "] = %d",
duke@435 2253 (address)this,
duke@435 2254 (address)this + size(),
duke@435 2255 size());
duke@435 2256 if (relocation_size () > 0) tty->print_cr(" relocation [" INTPTR_FORMAT "," INTPTR_FORMAT "] = %d",
duke@435 2257 relocation_begin(),
duke@435 2258 relocation_end(),
duke@435 2259 relocation_size());
duke@435 2260 if (code_size () > 0) tty->print_cr(" main code [" INTPTR_FORMAT "," INTPTR_FORMAT "] = %d",
duke@435 2261 code_begin(),
duke@435 2262 code_end(),
duke@435 2263 code_size());
duke@435 2264 if (stub_size () > 0) tty->print_cr(" stub code [" INTPTR_FORMAT "," INTPTR_FORMAT "] = %d",
duke@435 2265 stub_begin(),
duke@435 2266 stub_end(),
duke@435 2267 stub_size());
duke@435 2268 if (consts_size () > 0) tty->print_cr(" constants [" INTPTR_FORMAT "," INTPTR_FORMAT "] = %d",
duke@435 2269 consts_begin(),
duke@435 2270 consts_end(),
duke@435 2271 consts_size());
duke@435 2272 if (scopes_data_size () > 0) tty->print_cr(" scopes data [" INTPTR_FORMAT "," INTPTR_FORMAT "] = %d",
duke@435 2273 scopes_data_begin(),
duke@435 2274 scopes_data_end(),
duke@435 2275 scopes_data_size());
duke@435 2276 if (scopes_pcs_size () > 0) tty->print_cr(" scopes pcs [" INTPTR_FORMAT "," INTPTR_FORMAT "] = %d",
duke@435 2277 scopes_pcs_begin(),
duke@435 2278 scopes_pcs_end(),
duke@435 2279 scopes_pcs_size());
duke@435 2280 if (dependencies_size () > 0) tty->print_cr(" dependencies [" INTPTR_FORMAT "," INTPTR_FORMAT "] = %d",
duke@435 2281 dependencies_begin(),
duke@435 2282 dependencies_end(),
duke@435 2283 dependencies_size());
duke@435 2284 if (handler_table_size() > 0) tty->print_cr(" handler table [" INTPTR_FORMAT "," INTPTR_FORMAT "] = %d",
duke@435 2285 handler_table_begin(),
duke@435 2286 handler_table_end(),
duke@435 2287 handler_table_size());
duke@435 2288 if (nul_chk_table_size() > 0) tty->print_cr(" nul chk table [" INTPTR_FORMAT "," INTPTR_FORMAT "] = %d",
duke@435 2289 nul_chk_table_begin(),
duke@435 2290 nul_chk_table_end(),
duke@435 2291 nul_chk_table_size());
duke@435 2292 if (oops_size () > 0) tty->print_cr(" oops [" INTPTR_FORMAT "," INTPTR_FORMAT "] = %d",
duke@435 2293 oops_begin(),
duke@435 2294 oops_end(),
duke@435 2295 oops_size());
duke@435 2296 }
duke@435 2297
jrose@535 2298 void nmethod::print_code() {
jrose@535 2299 HandleMark hm;
jrose@535 2300 ResourceMark m;
jrose@535 2301 Disassembler::decode(this);
jrose@535 2302 }
jrose@535 2303
jrose@535 2304
jrose@535 2305 #ifndef PRODUCT
duke@435 2306
duke@435 2307 void nmethod::print_scopes() {
duke@435 2308 // Find the first pc desc for all scopes in the code and print it.
duke@435 2309 ResourceMark rm;
duke@435 2310 for (PcDesc* p = scopes_pcs_begin(); p < scopes_pcs_end(); p++) {
duke@435 2311 if (p->scope_decode_offset() == DebugInformationRecorder::serialized_null)
duke@435 2312 continue;
duke@435 2313
duke@435 2314 ScopeDesc* sd = scope_desc_at(p->real_pc(this));
duke@435 2315 sd->print_on(tty, p);
duke@435 2316 }
duke@435 2317 }
duke@435 2318
duke@435 2319 void nmethod::print_dependencies() {
duke@435 2320 ResourceMark rm;
duke@435 2321 ttyLocker ttyl; // keep the following output all in one block
duke@435 2322 tty->print_cr("Dependencies:");
duke@435 2323 for (Dependencies::DepStream deps(this); deps.next(); ) {
duke@435 2324 deps.print_dependency();
duke@435 2325 klassOop ctxk = deps.context_type();
duke@435 2326 if (ctxk != NULL) {
duke@435 2327 Klass* k = Klass::cast(ctxk);
duke@435 2328 if (k->oop_is_instance() && ((instanceKlass*)k)->is_dependent_nmethod(this)) {
jrose@465 2329 tty->print_cr(" [nmethod<=klass]%s", k->external_name());
duke@435 2330 }
duke@435 2331 }
duke@435 2332 deps.log_dependency(); // put it into the xml log also
duke@435 2333 }
duke@435 2334 }
duke@435 2335
duke@435 2336
duke@435 2337 void nmethod::print_relocations() {
duke@435 2338 ResourceMark m; // in case methods get printed via the debugger
duke@435 2339 tty->print_cr("relocations:");
duke@435 2340 RelocIterator iter(this);
duke@435 2341 iter.print();
duke@435 2342 if (UseRelocIndex) {
duke@435 2343 jint* index_end = (jint*)relocation_end() - 1;
duke@435 2344 jint index_size = *index_end;
duke@435 2345 jint* index_start = (jint*)( (address)index_end - index_size );
duke@435 2346 tty->print_cr(" index @" INTPTR_FORMAT ": index_size=%d", index_start, index_size);
duke@435 2347 if (index_size > 0) {
duke@435 2348 jint* ip;
duke@435 2349 for (ip = index_start; ip+2 <= index_end; ip += 2)
duke@435 2350 tty->print_cr(" (%d %d) addr=" INTPTR_FORMAT " @" INTPTR_FORMAT,
duke@435 2351 ip[0],
duke@435 2352 ip[1],
duke@435 2353 header_end()+ip[0],
duke@435 2354 relocation_begin()-1+ip[1]);
duke@435 2355 for (; ip < index_end; ip++)
duke@435 2356 tty->print_cr(" (%d ?)", ip[0]);
duke@435 2357 tty->print_cr(" @" INTPTR_FORMAT ": index_size=%d", ip, *ip++);
duke@435 2358 tty->print_cr("reloc_end @" INTPTR_FORMAT ":", ip);
duke@435 2359 }
duke@435 2360 }
duke@435 2361 }
duke@435 2362
duke@435 2363
duke@435 2364 void nmethod::print_pcs() {
duke@435 2365 ResourceMark m; // in case methods get printed via debugger
duke@435 2366 tty->print_cr("pc-bytecode offsets:");
duke@435 2367 for (PcDesc* p = scopes_pcs_begin(); p < scopes_pcs_end(); p++) {
duke@435 2368 p->print(this);
duke@435 2369 }
duke@435 2370 }
duke@435 2371
jrose@535 2372 #endif // PRODUCT
duke@435 2373
duke@435 2374 const char* nmethod::reloc_string_for(u_char* begin, u_char* end) {
duke@435 2375 RelocIterator iter(this, begin, end);
duke@435 2376 bool have_one = false;
duke@435 2377 while (iter.next()) {
duke@435 2378 have_one = true;
duke@435 2379 switch (iter.type()) {
duke@435 2380 case relocInfo::none: return "no_reloc";
duke@435 2381 case relocInfo::oop_type: {
duke@435 2382 stringStream st;
duke@435 2383 oop_Relocation* r = iter.oop_reloc();
duke@435 2384 oop obj = r->oop_value();
duke@435 2385 st.print("oop(");
duke@435 2386 if (obj == NULL) st.print("NULL");
duke@435 2387 else obj->print_value_on(&st);
duke@435 2388 st.print(")");
duke@435 2389 return st.as_string();
duke@435 2390 }
duke@435 2391 case relocInfo::virtual_call_type: return "virtual_call";
duke@435 2392 case relocInfo::opt_virtual_call_type: return "optimized virtual_call";
duke@435 2393 case relocInfo::static_call_type: return "static_call";
duke@435 2394 case relocInfo::static_stub_type: return "static_stub";
duke@435 2395 case relocInfo::runtime_call_type: return "runtime_call";
duke@435 2396 case relocInfo::external_word_type: return "external_word";
duke@435 2397 case relocInfo::internal_word_type: return "internal_word";
duke@435 2398 case relocInfo::section_word_type: return "section_word";
duke@435 2399 case relocInfo::poll_type: return "poll";
duke@435 2400 case relocInfo::poll_return_type: return "poll_return";
duke@435 2401 case relocInfo::type_mask: return "type_bit_mask";
duke@435 2402 }
duke@435 2403 }
duke@435 2404 return have_one ? "other" : NULL;
duke@435 2405 }
duke@435 2406
duke@435 2407 // Return a the last scope in (begin..end]
duke@435 2408 ScopeDesc* nmethod::scope_desc_in(address begin, address end) {
duke@435 2409 PcDesc* p = pc_desc_near(begin+1);
duke@435 2410 if (p != NULL && p->real_pc(this) <= end) {
duke@435 2411 return new ScopeDesc(this, p->scope_decode_offset(),
cfang@1366 2412 p->obj_decode_offset(), p->should_reexecute());
duke@435 2413 }
duke@435 2414 return NULL;
duke@435 2415 }
duke@435 2416
jrose@1590 2417 void nmethod::print_nmethod_labels(outputStream* stream, address block_begin) {
jrose@1590 2418 if (block_begin == entry_point()) stream->print_cr("[Entry Point]");
jrose@1590 2419 if (block_begin == verified_entry_point()) stream->print_cr("[Verified Entry Point]");
jrose@1590 2420 if (block_begin == exception_begin()) stream->print_cr("[Exception Handler]");
jrose@1590 2421 if (block_begin == stub_begin()) stream->print_cr("[Stub Code]");
twisti@1635 2422 if (block_begin == deopt_handler_begin()) stream->print_cr("[Deopt Handler Code]");
twisti@1635 2423 if (block_begin == deopt_mh_handler_begin()) stream->print_cr("[Deopt MH Handler Code]");
jrose@1590 2424 if (block_begin == consts_begin()) stream->print_cr("[Constants]");
jrose@1590 2425 if (block_begin == entry_point()) {
jrose@1590 2426 methodHandle m = method();
jrose@1590 2427 if (m.not_null()) {
jrose@1590 2428 stream->print(" # ");
jrose@1590 2429 m->print_value_on(stream);
jrose@1590 2430 stream->cr();
jrose@1590 2431 }
jrose@1590 2432 if (m.not_null() && !is_osr_method()) {
jrose@1590 2433 ResourceMark rm;
jrose@1590 2434 int sizeargs = m->size_of_parameters();
jrose@1590 2435 BasicType* sig_bt = NEW_RESOURCE_ARRAY(BasicType, sizeargs);
jrose@1590 2436 VMRegPair* regs = NEW_RESOURCE_ARRAY(VMRegPair, sizeargs);
jrose@1590 2437 {
jrose@1590 2438 int sig_index = 0;
jrose@1590 2439 if (!m->is_static())
jrose@1590 2440 sig_bt[sig_index++] = T_OBJECT; // 'this'
jrose@1590 2441 for (SignatureStream ss(m->signature()); !ss.at_return_type(); ss.next()) {
jrose@1590 2442 BasicType t = ss.type();
jrose@1590 2443 sig_bt[sig_index++] = t;
jrose@1590 2444 if (type2size[t] == 2) {
jrose@1590 2445 sig_bt[sig_index++] = T_VOID;
jrose@1590 2446 } else {
jrose@1590 2447 assert(type2size[t] == 1, "size is 1 or 2");
jrose@1590 2448 }
jrose@1590 2449 }
jrose@1590 2450 assert(sig_index == sizeargs, "");
jrose@1590 2451 }
jrose@1590 2452 const char* spname = "sp"; // make arch-specific?
jrose@1590 2453 intptr_t out_preserve = SharedRuntime::java_calling_convention(sig_bt, regs, sizeargs, false);
jrose@1590 2454 int stack_slot_offset = this->frame_size() * wordSize;
jrose@1590 2455 int tab1 = 14, tab2 = 24;
jrose@1590 2456 int sig_index = 0;
jrose@1590 2457 int arg_index = (m->is_static() ? 0 : -1);
jrose@1590 2458 bool did_old_sp = false;
jrose@1590 2459 for (SignatureStream ss(m->signature()); !ss.at_return_type(); ) {
jrose@1590 2460 bool at_this = (arg_index == -1);
jrose@1590 2461 bool at_old_sp = false;
jrose@1590 2462 BasicType t = (at_this ? T_OBJECT : ss.type());
jrose@1590 2463 assert(t == sig_bt[sig_index], "sigs in sync");
jrose@1590 2464 if (at_this)
jrose@1590 2465 stream->print(" # this: ");
jrose@1590 2466 else
jrose@1590 2467 stream->print(" # parm%d: ", arg_index);
jrose@1590 2468 stream->move_to(tab1);
jrose@1590 2469 VMReg fst = regs[sig_index].first();
jrose@1590 2470 VMReg snd = regs[sig_index].second();
jrose@1590 2471 if (fst->is_reg()) {
jrose@1590 2472 stream->print("%s", fst->name());
jrose@1590 2473 if (snd->is_valid()) {
jrose@1590 2474 stream->print(":%s", snd->name());
jrose@1590 2475 }
jrose@1590 2476 } else if (fst->is_stack()) {
jrose@1590 2477 int offset = fst->reg2stack() * VMRegImpl::stack_slot_size + stack_slot_offset;
jrose@1590 2478 if (offset == stack_slot_offset) at_old_sp = true;
jrose@1590 2479 stream->print("[%s+0x%x]", spname, offset);
jrose@1590 2480 } else {
jrose@1590 2481 stream->print("reg%d:%d??", (int)(intptr_t)fst, (int)(intptr_t)snd);
jrose@1590 2482 }
jrose@1590 2483 stream->print(" ");
jrose@1590 2484 stream->move_to(tab2);
jrose@1590 2485 stream->print("= ");
jrose@1590 2486 if (at_this) {
jrose@1590 2487 m->method_holder()->print_value_on(stream);
jrose@1590 2488 } else {
jrose@1590 2489 bool did_name = false;
jrose@1590 2490 if (!at_this && ss.is_object()) {
jrose@1590 2491 symbolOop name = ss.as_symbol_or_null();
jrose@1590 2492 if (name != NULL) {
jrose@1590 2493 name->print_value_on(stream);
jrose@1590 2494 did_name = true;
jrose@1590 2495 }
jrose@1590 2496 }
jrose@1590 2497 if (!did_name)
jrose@1590 2498 stream->print("%s", type2name(t));
jrose@1590 2499 }
jrose@1590 2500 if (at_old_sp) {
jrose@1590 2501 stream->print(" (%s of caller)", spname);
jrose@1590 2502 did_old_sp = true;
jrose@1590 2503 }
jrose@1590 2504 stream->cr();
jrose@1590 2505 sig_index += type2size[t];
jrose@1590 2506 arg_index += 1;
jrose@1590 2507 if (!at_this) ss.next();
jrose@1590 2508 }
jrose@1590 2509 if (!did_old_sp) {
jrose@1590 2510 stream->print(" # ");
jrose@1590 2511 stream->move_to(tab1);
jrose@1590 2512 stream->print("[%s+0x%x]", spname, stack_slot_offset);
jrose@1590 2513 stream->print(" (%s of caller)", spname);
jrose@1590 2514 stream->cr();
jrose@1590 2515 }
jrose@1590 2516 }
jrose@1590 2517 }
jrose@1590 2518 }
jrose@1590 2519
duke@435 2520 void nmethod::print_code_comment_on(outputStream* st, int column, u_char* begin, u_char* end) {
duke@435 2521 // First, find an oopmap in (begin, end].
duke@435 2522 // We use the odd half-closed interval so that oop maps and scope descs
duke@435 2523 // which are tied to the byte after a call are printed with the call itself.
duke@435 2524 address base = instructions_begin();
duke@435 2525 OopMapSet* oms = oop_maps();
duke@435 2526 if (oms != NULL) {
duke@435 2527 for (int i = 0, imax = oms->size(); i < imax; i++) {
duke@435 2528 OopMap* om = oms->at(i);
duke@435 2529 address pc = base + om->offset();
duke@435 2530 if (pc > begin) {
duke@435 2531 if (pc <= end) {
jrose@535 2532 st->move_to(column);
jrose@535 2533 st->print("; ");
jrose@535 2534 om->print_on(st);
duke@435 2535 }
duke@435 2536 break;
duke@435 2537 }
duke@435 2538 }
duke@435 2539 }
jrose@535 2540
jrose@535 2541 // Print any debug info present at this pc.
duke@435 2542 ScopeDesc* sd = scope_desc_in(begin, end);
duke@435 2543 if (sd != NULL) {
jrose@535 2544 st->move_to(column);
duke@435 2545 if (sd->bci() == SynchronizationEntryBCI) {
duke@435 2546 st->print(";*synchronization entry");
duke@435 2547 } else {
duke@435 2548 if (sd->method().is_null()) {
jrose@535 2549 st->print("method is NULL");
duke@435 2550 } else if (sd->method()->is_native()) {
jrose@535 2551 st->print("method is native");
duke@435 2552 } else {
duke@435 2553 address bcp = sd->method()->bcp_from(sd->bci());
duke@435 2554 Bytecodes::Code bc = Bytecodes::java_code_at(bcp);
duke@435 2555 st->print(";*%s", Bytecodes::name(bc));
duke@435 2556 switch (bc) {
duke@435 2557 case Bytecodes::_invokevirtual:
duke@435 2558 case Bytecodes::_invokespecial:
duke@435 2559 case Bytecodes::_invokestatic:
duke@435 2560 case Bytecodes::_invokeinterface:
duke@435 2561 {
duke@435 2562 Bytecode_invoke* invoke = Bytecode_invoke_at(sd->method(), sd->bci());
duke@435 2563 st->print(" ");
duke@435 2564 if (invoke->name() != NULL)
duke@435 2565 invoke->name()->print_symbol_on(st);
duke@435 2566 else
duke@435 2567 st->print("<UNKNOWN>");
duke@435 2568 break;
duke@435 2569 }
duke@435 2570 case Bytecodes::_getfield:
duke@435 2571 case Bytecodes::_putfield:
duke@435 2572 case Bytecodes::_getstatic:
duke@435 2573 case Bytecodes::_putstatic:
duke@435 2574 {
duke@435 2575 methodHandle sdm = sd->method();
duke@435 2576 Bytecode_field* field = Bytecode_field_at(sdm(), sdm->bcp_from(sd->bci()));
duke@435 2577 constantPoolOop sdmc = sdm->constants();
duke@435 2578 symbolOop name = sdmc->name_ref_at(field->index());
duke@435 2579 st->print(" ");
duke@435 2580 if (name != NULL)
duke@435 2581 name->print_symbol_on(st);
duke@435 2582 else
duke@435 2583 st->print("<UNKNOWN>");
duke@435 2584 }
duke@435 2585 }
duke@435 2586 }
duke@435 2587 }
jrose@535 2588
duke@435 2589 // Print all scopes
duke@435 2590 for (;sd != NULL; sd = sd->sender()) {
jrose@535 2591 st->move_to(column);
duke@435 2592 st->print("; -");
duke@435 2593 if (sd->method().is_null()) {
jrose@535 2594 st->print("method is NULL");
duke@435 2595 } else {
duke@435 2596 sd->method()->print_short_name(st);
duke@435 2597 }
duke@435 2598 int lineno = sd->method()->line_number_from_bci(sd->bci());
duke@435 2599 if (lineno != -1) {
duke@435 2600 st->print("@%d (line %d)", sd->bci(), lineno);
duke@435 2601 } else {
duke@435 2602 st->print("@%d", sd->bci());
duke@435 2603 }
duke@435 2604 st->cr();
duke@435 2605 }
duke@435 2606 }
duke@435 2607
duke@435 2608 // Print relocation information
duke@435 2609 const char* str = reloc_string_for(begin, end);
duke@435 2610 if (str != NULL) {
duke@435 2611 if (sd != NULL) st->cr();
jrose@535 2612 st->move_to(column);
duke@435 2613 st->print("; {%s}", str);
duke@435 2614 }
duke@435 2615 int cont_offset = ImplicitExceptionTable(this).at(begin - instructions_begin());
duke@435 2616 if (cont_offset != 0) {
jrose@535 2617 st->move_to(column);
duke@435 2618 st->print("; implicit exception: dispatches to " INTPTR_FORMAT, instructions_begin() + cont_offset);
duke@435 2619 }
duke@435 2620
duke@435 2621 }
duke@435 2622
jrose@535 2623 #ifndef PRODUCT
jrose@535 2624
duke@435 2625 void nmethod::print_value_on(outputStream* st) const {
duke@435 2626 print_on(st, "nmethod");
duke@435 2627 }
duke@435 2628
duke@435 2629 void nmethod::print_calls(outputStream* st) {
duke@435 2630 RelocIterator iter(this);
duke@435 2631 while (iter.next()) {
duke@435 2632 switch (iter.type()) {
duke@435 2633 case relocInfo::virtual_call_type:
duke@435 2634 case relocInfo::opt_virtual_call_type: {
duke@435 2635 VerifyMutexLocker mc(CompiledIC_lock);
duke@435 2636 CompiledIC_at(iter.reloc())->print();
duke@435 2637 break;
duke@435 2638 }
duke@435 2639 case relocInfo::static_call_type:
duke@435 2640 st->print_cr("Static call at " INTPTR_FORMAT, iter.reloc()->addr());
duke@435 2641 compiledStaticCall_at(iter.reloc())->print();
duke@435 2642 break;
duke@435 2643 }
duke@435 2644 }
duke@435 2645 }
duke@435 2646
duke@435 2647 void nmethod::print_handler_table() {
duke@435 2648 ExceptionHandlerTable(this).print();
duke@435 2649 }
duke@435 2650
duke@435 2651 void nmethod::print_nul_chk_table() {
duke@435 2652 ImplicitExceptionTable(this).print(instructions_begin());
duke@435 2653 }
duke@435 2654
duke@435 2655 void nmethod::print_statistics() {
duke@435 2656 ttyLocker ttyl;
duke@435 2657 if (xtty != NULL) xtty->head("statistics type='nmethod'");
duke@435 2658 nmethod_stats.print_native_nmethod_stats();
duke@435 2659 nmethod_stats.print_nmethod_stats();
duke@435 2660 DebugInformationRecorder::print_statistics();
duke@435 2661 nmethod_stats.print_pc_stats();
duke@435 2662 Dependencies::print_statistics();
duke@435 2663 if (xtty != NULL) xtty->tail("statistics");
duke@435 2664 }
duke@435 2665
duke@435 2666 #endif // PRODUCT

mercurial