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