src/share/vm/code/nmethod.cpp

Mon, 03 Jul 2017 15:57:11 -0700

author
asaha
date
Mon, 03 Jul 2017 15:57:11 -0700
changeset 8984
7c2285d86b8d
parent 8734
c73c5d205d0a
parent 8964
77e13f15e396
child 8997
f8a45a60bc6b
permissions
-rw-r--r--

Merge

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

mercurial