src/share/vm/code/nmethod.cpp

Fri, 08 Nov 2013 01:13:11 -0800

author
vlivanov
date
Fri, 08 Nov 2013 01:13:11 -0800
changeset 6096
e2509677809c
parent 5802
268e7a2178d7
child 6099
78da3894b86f
permissions
-rw-r--r--

8023037: Race between ciEnv::register_method and nmethod::make_not_entrant_or_zombie
Reviewed-by: kvn, iveresov

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

mercurial