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