Mercurial > hg > truffle
annotate src/share/vm/code/nmethod.hpp @ 1293:51db1e4b379d
6932536: JSR 292 modified JDK MethodHandlesTest fails on x86_64
Summary: A modified MethodHandlesTest revealed two bugs on x86_64.
Reviewed-by: never, jrose
author | twisti |
---|---|
date | Mon, 08 Mar 2010 04:46:30 -0800 |
parents | 18a389214829 |
children | 9f5b60a14736 |
rev | line source |
---|---|
0 | 1 /* |
1204 | 2 * Copyright 1997-2010 Sun Microsystems, Inc. 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 * | |
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara, | |
20 * CA 95054 USA or visit www.sun.com if you need additional information or | |
21 * have any questions. | |
22 * | |
23 */ | |
24 | |
25 // This class is used internally by nmethods, to cache | |
26 // exception/pc/handler information. | |
27 | |
28 class ExceptionCache : public CHeapObj { | |
29 friend class VMStructs; | |
30 private: | |
31 static address _unwind_handler; | |
32 enum { cache_size = 16 }; | |
33 klassOop _exception_type; | |
34 address _pc[cache_size]; | |
35 address _handler[cache_size]; | |
36 int _count; | |
37 ExceptionCache* _next; | |
38 | |
39 address pc_at(int index) { assert(index >= 0 && index < count(),""); return _pc[index]; } | |
40 void set_pc_at(int index, address a) { assert(index >= 0 && index < cache_size,""); _pc[index] = a; } | |
41 address handler_at(int index) { assert(index >= 0 && index < count(),""); return _handler[index]; } | |
42 void set_handler_at(int index, address a) { assert(index >= 0 && index < cache_size,""); _handler[index] = a; } | |
43 int count() { return _count; } | |
44 void increment_count() { _count++; } | |
45 | |
46 public: | |
47 | |
48 ExceptionCache(Handle exception, address pc, address handler); | |
49 | |
50 klassOop exception_type() { return _exception_type; } | |
51 klassOop* exception_type_addr() { return &_exception_type; } | |
52 ExceptionCache* next() { return _next; } | |
53 void set_next(ExceptionCache *ec) { _next = ec; } | |
54 | |
55 address match(Handle exception, address pc); | |
56 bool match_exception_with_space(Handle exception) ; | |
57 address test_address(address addr); | |
58 bool add_address_and_handler(address addr, address handler) ; | |
59 | |
60 static address unwind_handler() { return _unwind_handler; } | |
61 }; | |
62 | |
63 | |
64 // cache pc descs found in earlier inquiries | |
65 class PcDescCache VALUE_OBJ_CLASS_SPEC { | |
66 friend class VMStructs; | |
67 private: | |
68 enum { cache_size = 4 }; | |
69 PcDesc* _last_pc_desc; // most recent pc_desc found | |
70 PcDesc* _pc_descs[cache_size]; // last cache_size pc_descs found | |
71 public: | |
72 PcDescCache() { debug_only(_last_pc_desc = NULL); } | |
73 void reset_to(PcDesc* initial_pc_desc); | |
74 PcDesc* find_pc_desc(int pc_offset, bool approximate); | |
75 void add_pc_desc(PcDesc* pc_desc); | |
76 PcDesc* last_pc_desc() { return _last_pc_desc; } | |
77 }; | |
78 | |
79 | |
80 // nmethods (native methods) are the compiled code versions of Java methods. | |
81 | |
82 struct nmFlags { | |
83 friend class VMStructs; | |
1135
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
1109
diff
changeset
|
84 unsigned int version:8; // version number (0 = first version) |
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
1109
diff
changeset
|
85 unsigned int level:4; // optimization level |
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
1109
diff
changeset
|
86 unsigned int age:4; // age (in # of sweep steps) |
0 | 87 |
1135
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
1109
diff
changeset
|
88 unsigned int state:2; // {alive, zombie, unloaded) |
0 | 89 |
1135
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
1109
diff
changeset
|
90 unsigned int isUncommonRecompiled:1; // recompiled because of uncommon trap? |
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
1109
diff
changeset
|
91 unsigned int isToBeRecompiled:1; // to be recompiled as soon as it matures |
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
1109
diff
changeset
|
92 unsigned int hasFlushedDependencies:1; // Used for maintenance of dependencies |
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
1109
diff
changeset
|
93 unsigned int markedForReclamation:1; // Used by NMethodSweeper |
0 | 94 |
1135
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
1109
diff
changeset
|
95 unsigned int has_unsafe_access:1; // May fault due to unsafe access. |
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
1109
diff
changeset
|
96 unsigned int has_method_handle_invokes:1; // Has this method MethodHandle invokes? |
0 | 97 |
1202 | 98 unsigned int speculatively_disconnected:1; // Marked for potential unload |
99 | |
0 | 100 void clear(); |
101 }; | |
102 | |
103 | |
104 // A nmethod contains: | |
105 // - header (the nmethod structure) | |
106 // [Relocation] | |
107 // - relocation information | |
108 // - constant part (doubles, longs and floats used in nmethod) | |
109 // [Code] | |
110 // - code body | |
111 // - exception handler | |
112 // - stub code | |
113 // [Debugging information] | |
114 // - oop array | |
115 // - data array | |
116 // - pcs | |
117 // [Exception handler table] | |
118 // - handler entry point array | |
119 // [Implicit Null Pointer exception table] | |
120 // - implicit null table array | |
121 | |
122 class Dependencies; | |
123 class ExceptionHandlerTable; | |
124 class ImplicitExceptionTable; | |
125 class AbstractCompiler; | |
126 class xmlStream; | |
127 | |
128 class nmethod : public CodeBlob { | |
129 friend class VMStructs; | |
130 friend class NMethodSweeper; | |
989
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
131 friend class CodeCache; // non-perm oops |
0 | 132 private: |
133 // Shared fields for all nmethod's | |
134 static int _zombie_instruction_size; | |
135 | |
136 methodOop _method; | |
137 int _entry_bci; // != InvocationEntryBci if this nmethod is an on-stack replacement method | |
138 | |
989
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
139 // To support simple linked-list chaining of nmethods: |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
140 nmethod* _osr_link; // from instanceKlass::osr_nmethods_head |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
141 nmethod* _scavenge_root_link; // from CodeCache::scavenge_root_nmethods |
1202 | 142 nmethod* _saved_nmethod_link; // from CodeCache::speculatively_disconnect |
989
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
143 |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
144 static nmethod* volatile _oops_do_mark_nmethods; |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
145 nmethod* volatile _oops_do_mark_link; |
0 | 146 |
147 AbstractCompiler* _compiler; // The compiler which compiled this nmethod | |
148 | |
149 // Offsets for different nmethod parts | |
150 int _exception_offset; | |
1204 | 151 // All deoptee's will resume execution at this location described by |
152 // this offset. | |
0 | 153 int _deoptimize_offset; |
1204 | 154 // All deoptee's at a MethodHandle call site will resume execution |
155 // at this location described by this offset. | |
156 int _deoptimize_mh_offset; | |
116
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
157 #ifdef HAVE_DTRACE_H |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
158 int _trap_offset; |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
159 #endif // def HAVE_DTRACE_H |
0 | 160 int _stub_offset; |
161 int _consts_offset; | |
162 int _scopes_data_offset; | |
163 int _scopes_pcs_offset; | |
164 int _dependencies_offset; | |
165 int _handler_table_offset; | |
166 int _nul_chk_table_offset; | |
167 int _nmethod_end_offset; | |
168 | |
169 // location in frame (offset for sp) that deopt can store the original | |
170 // pc during a deopt. | |
171 int _orig_pc_offset; | |
172 | |
173 int _compile_id; // which compilation made this nmethod | |
174 int _comp_level; // compilation level | |
175 | |
176 // offsets for entry points | |
177 address _entry_point; // entry point with class check | |
178 address _verified_entry_point; // entry point without class check | |
179 address _osr_entry_point; // entry point for on stack replacement | |
180 | |
181 nmFlags flags; // various flags to keep track of nmethod state | |
182 bool _markedForDeoptimization; // Used for stack deoptimization | |
183 enum { alive = 0, | |
605 | 184 not_entrant = 1, // uncommon trap has happened but activations may still exist |
0 | 185 zombie = 2, |
186 unloaded = 3 }; | |
187 | |
188 // used by jvmti to track if an unload event has been posted for this nmethod. | |
189 bool _unload_reported; | |
190 | |
989
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
191 jbyte _scavenge_root_state; |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
192 |
0 | 193 NOT_PRODUCT(bool _has_debug_info; ) |
194 | |
195 // Nmethod Flushing lock (if non-zero, then the nmethod is not removed) | |
196 jint _lock_count; | |
197 | |
198 // not_entrant method removal. Each mark_sweep pass will update | |
199 // this mark to current sweep invocation count if it is seen on the | |
200 // stack. An not_entrant method can be removed when there is no | |
201 // more activations, i.e., when the _stack_traversal_mark is less than | |
202 // current sweep traversal index. | |
203 long _stack_traversal_mark; | |
204 | |
205 ExceptionCache *_exception_cache; | |
206 PcDescCache _pc_desc_cache; | |
207 | |
208 // These are only used for compiled synchronized native methods to | |
209 // locate the owner and stack slot for the BasicLock so that we can | |
210 // properly revoke the bias of the owner if necessary. They are | |
211 // needed because there is no debug information for compiled native | |
212 // wrappers and the oop maps are insufficient to allow | |
213 // frame::retrieve_receiver() to work. Currently they are expected | |
214 // to be byte offsets from the Java stack pointer for maximum code | |
215 // sharing between platforms. Note that currently biased locking | |
216 // will never cause Class instances to be biased but this code | |
217 // handles the static synchronized case as well. | |
218 ByteSize _compiled_synchronized_native_basic_lock_owner_sp_offset; | |
219 ByteSize _compiled_synchronized_native_basic_lock_sp_offset; | |
220 | |
221 friend class nmethodLocker; | |
222 | |
223 // For native wrappers | |
224 nmethod(methodOop method, | |
225 int nmethod_size, | |
226 CodeOffsets* offsets, | |
227 CodeBuffer *code_buffer, | |
228 int frame_size, | |
229 ByteSize basic_lock_owner_sp_offset, /* synchronized natives only */ | |
230 ByteSize basic_lock_sp_offset, /* synchronized natives only */ | |
231 OopMapSet* oop_maps); | |
232 | |
116
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
233 #ifdef HAVE_DTRACE_H |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
234 // For native wrappers |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
235 nmethod(methodOop method, |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
236 int nmethod_size, |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
237 CodeOffsets* offsets, |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
238 CodeBuffer *code_buffer, |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
239 int frame_size); |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
240 #endif // def HAVE_DTRACE_H |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
241 |
0 | 242 // Creation support |
243 nmethod(methodOop method, | |
244 int nmethod_size, | |
245 int compile_id, | |
246 int entry_bci, | |
247 CodeOffsets* offsets, | |
248 int orig_pc_offset, | |
249 DebugInformationRecorder *recorder, | |
250 Dependencies* dependencies, | |
251 CodeBuffer *code_buffer, | |
252 int frame_size, | |
253 OopMapSet* oop_maps, | |
254 ExceptionHandlerTable* handler_table, | |
255 ImplicitExceptionTable* nul_chk_table, | |
256 AbstractCompiler* compiler, | |
257 int comp_level); | |
258 | |
259 // helper methods | |
260 void* operator new(size_t size, int nmethod_size); | |
261 | |
262 const char* reloc_string_for(u_char* begin, u_char* end); | |
1109
032260830071
5057818: codecache full and compiler disabled in bigapps fastdebug run
never
parents:
1000
diff
changeset
|
263 // Returns true if this thread changed the state of the nmethod or |
032260830071
5057818: codecache full and compiler disabled in bigapps fastdebug run
never
parents:
1000
diff
changeset
|
264 // false if another thread performed the transition. |
1141 | 265 bool make_not_entrant_or_zombie(unsigned int state); |
0 | 266 void inc_decompile_count(); |
267 | |
268 // used to check that writes to nmFlags are done consistently. | |
269 static void check_safepoint() PRODUCT_RETURN; | |
270 | |
271 // Used to manipulate the exception cache | |
272 void add_exception_cache_entry(ExceptionCache* new_entry); | |
273 ExceptionCache* exception_cache_entry_for_exception(Handle exception); | |
274 | |
275 // Inform external interfaces that a compiled method has been unloaded | |
276 inline void post_compiled_method_unload(); | |
277 | |
278 public: | |
279 // create nmethod with entry_bci | |
280 static nmethod* new_nmethod(methodHandle method, | |
281 int compile_id, | |
282 int entry_bci, | |
283 CodeOffsets* offsets, | |
284 int orig_pc_offset, | |
285 DebugInformationRecorder* recorder, | |
286 Dependencies* dependencies, | |
287 CodeBuffer *code_buffer, | |
288 int frame_size, | |
289 OopMapSet* oop_maps, | |
290 ExceptionHandlerTable* handler_table, | |
291 ImplicitExceptionTable* nul_chk_table, | |
292 AbstractCompiler* compiler, | |
293 int comp_level); | |
294 | |
295 static nmethod* new_native_nmethod(methodHandle method, | |
296 CodeBuffer *code_buffer, | |
297 int vep_offset, | |
298 int frame_complete, | |
299 int frame_size, | |
300 ByteSize receiver_sp_offset, | |
301 ByteSize basic_lock_sp_offset, | |
302 OopMapSet* oop_maps); | |
303 | |
116
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
304 #ifdef HAVE_DTRACE_H |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
305 // The method we generate for a dtrace probe has to look |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
306 // like an nmethod as far as the rest of the system is concerned |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
307 // which is somewhat unfortunate. |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
308 static nmethod* new_dtrace_nmethod(methodHandle method, |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
309 CodeBuffer *code_buffer, |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
310 int vep_offset, |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
311 int trap_offset, |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
312 int frame_complete, |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
313 int frame_size); |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
314 |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
315 int trap_offset() const { return _trap_offset; } |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
316 address trap_address() const { return code_begin() + _trap_offset; } |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
317 |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
318 #endif // def HAVE_DTRACE_H |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
100
diff
changeset
|
319 |
0 | 320 // accessors |
321 methodOop method() const { return _method; } | |
322 AbstractCompiler* compiler() const { return _compiler; } | |
323 | |
324 #ifndef PRODUCT | |
325 bool has_debug_info() const { return _has_debug_info; } | |
326 void set_has_debug_info(bool f) { _has_debug_info = false; } | |
327 #endif // NOT PRODUCT | |
328 | |
329 // type info | |
330 bool is_nmethod() const { return true; } | |
331 bool is_java_method() const { return !method()->is_native(); } | |
332 bool is_native_method() const { return method()->is_native(); } | |
333 bool is_osr_method() const { return _entry_bci != InvocationEntryBci; } | |
334 | |
335 bool is_compiled_by_c1() const; | |
336 bool is_compiled_by_c2() const; | |
337 | |
338 // boundaries for different parts | |
1204 | 339 address code_begin () const { return _entry_point; } |
340 address code_end () const { return header_begin() + _stub_offset ; } | |
341 address exception_begin () const { return header_begin() + _exception_offset ; } | |
342 address deopt_handler_begin () const { return header_begin() + _deoptimize_offset ; } | |
343 address deopt_mh_handler_begin() const { return header_begin() + _deoptimize_mh_offset ; } | |
344 address stub_begin () const { return header_begin() + _stub_offset ; } | |
345 address stub_end () const { return header_begin() + _consts_offset ; } | |
346 address consts_begin () const { return header_begin() + _consts_offset ; } | |
347 address consts_end () const { return header_begin() + _scopes_data_offset ; } | |
348 address scopes_data_begin () const { return header_begin() + _scopes_data_offset ; } | |
349 address scopes_data_end () const { return header_begin() + _scopes_pcs_offset ; } | |
350 PcDesc* scopes_pcs_begin () const { return (PcDesc*)(header_begin() + _scopes_pcs_offset ); } | |
351 PcDesc* scopes_pcs_end () const { return (PcDesc*)(header_begin() + _dependencies_offset) ; } | |
352 address dependencies_begin () const { return header_begin() + _dependencies_offset ; } | |
353 address dependencies_end () const { return header_begin() + _handler_table_offset ; } | |
354 address handler_table_begin () const { return header_begin() + _handler_table_offset ; } | |
355 address handler_table_end () const { return header_begin() + _nul_chk_table_offset ; } | |
356 address nul_chk_table_begin () const { return header_begin() + _nul_chk_table_offset ; } | |
357 address nul_chk_table_end () const { return header_begin() + _nmethod_end_offset ; } | |
0 | 358 |
359 int code_size () const { return code_end () - code_begin (); } | |
360 int stub_size () const { return stub_end () - stub_begin (); } | |
361 int consts_size () const { return consts_end () - consts_begin (); } | |
362 int scopes_data_size () const { return scopes_data_end () - scopes_data_begin (); } | |
363 int scopes_pcs_size () const { return (intptr_t)scopes_pcs_end () - (intptr_t)scopes_pcs_begin (); } | |
364 int dependencies_size () const { return dependencies_end () - dependencies_begin (); } | |
365 int handler_table_size() const { return handler_table_end() - handler_table_begin(); } | |
366 int nul_chk_table_size() const { return nul_chk_table_end() - nul_chk_table_begin(); } | |
367 | |
368 int total_size () const; | |
369 | |
370 bool code_contains (address addr) const { return code_begin () <= addr && addr < code_end (); } | |
371 bool stub_contains (address addr) const { return stub_begin () <= addr && addr < stub_end (); } | |
372 bool consts_contains (address addr) const { return consts_begin () <= addr && addr < consts_end (); } | |
373 bool scopes_data_contains (address addr) const { return scopes_data_begin () <= addr && addr < scopes_data_end (); } | |
374 bool scopes_pcs_contains (PcDesc* addr) const { return scopes_pcs_begin () <= addr && addr < scopes_pcs_end (); } | |
375 bool handler_table_contains(address addr) const { return handler_table_begin() <= addr && addr < handler_table_end(); } | |
376 bool nul_chk_table_contains(address addr) const { return nul_chk_table_begin() <= addr && addr < nul_chk_table_end(); } | |
377 | |
378 // entry points | |
379 address entry_point() const { return _entry_point; } // normal entry point | |
380 address verified_entry_point() const { return _verified_entry_point; } // if klass is correct | |
381 | |
382 // flag accessing and manipulation | |
383 bool is_in_use() const { return flags.state == alive; } | |
384 bool is_alive() const { return flags.state == alive || flags.state == not_entrant; } | |
385 bool is_not_entrant() const { return flags.state == not_entrant; } | |
386 bool is_zombie() const { return flags.state == zombie; } | |
387 bool is_unloaded() const { return flags.state == unloaded; } | |
388 | |
1109
032260830071
5057818: codecache full and compiler disabled in bigapps fastdebug run
never
parents:
1000
diff
changeset
|
389 // Make the nmethod non entrant. The nmethod will continue to be |
032260830071
5057818: codecache full and compiler disabled in bigapps fastdebug run
never
parents:
1000
diff
changeset
|
390 // alive. It is used when an uncommon trap happens. Returns true |
032260830071
5057818: codecache full and compiler disabled in bigapps fastdebug run
never
parents:
1000
diff
changeset
|
391 // if this thread changed the state of the nmethod or false if |
032260830071
5057818: codecache full and compiler disabled in bigapps fastdebug run
never
parents:
1000
diff
changeset
|
392 // another thread performed the transition. |
032260830071
5057818: codecache full and compiler disabled in bigapps fastdebug run
never
parents:
1000
diff
changeset
|
393 bool make_not_entrant() { return make_not_entrant_or_zombie(not_entrant); } |
032260830071
5057818: codecache full and compiler disabled in bigapps fastdebug run
never
parents:
1000
diff
changeset
|
394 bool make_zombie() { return make_not_entrant_or_zombie(zombie); } |
0 | 395 |
396 // used by jvmti to track if the unload event has been reported | |
397 bool unload_reported() { return _unload_reported; } | |
398 void set_unload_reported() { _unload_reported = true; } | |
399 | |
400 bool is_marked_for_deoptimization() const { return _markedForDeoptimization; } | |
401 void mark_for_deoptimization() { _markedForDeoptimization = true; } | |
402 | |
403 void make_unloaded(BoolObjectClosure* is_alive, oop cause); | |
404 | |
405 bool has_dependencies() { return dependencies_size() != 0; } | |
406 void flush_dependencies(BoolObjectClosure* is_alive); | |
407 bool has_flushed_dependencies() { return flags.hasFlushedDependencies; } | |
408 void set_has_flushed_dependencies() { | |
409 check_safepoint(); | |
410 assert(!has_flushed_dependencies(), "should only happen once"); | |
411 flags.hasFlushedDependencies = 1; | |
412 } | |
413 | |
414 bool is_marked_for_reclamation() const { return flags.markedForReclamation; } | |
415 void mark_for_reclamation() { check_safepoint(); flags.markedForReclamation = 1; } | |
416 void unmark_for_reclamation() { check_safepoint(); flags.markedForReclamation = 0; } | |
417 | |
418 bool has_unsafe_access() const { return flags.has_unsafe_access; } | |
419 void set_has_unsafe_access(bool z) { flags.has_unsafe_access = z; } | |
420 | |
1135
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
1109
diff
changeset
|
421 bool has_method_handle_invokes() const { return flags.has_method_handle_invokes; } |
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
1109
diff
changeset
|
422 void set_has_method_handle_invokes(bool z) { flags.has_method_handle_invokes = z; } |
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
1109
diff
changeset
|
423 |
1202 | 424 bool is_speculatively_disconnected() const { return flags.speculatively_disconnected; } |
425 void set_speculatively_disconnected(bool z) { flags.speculatively_disconnected = z; } | |
426 | |
0 | 427 int level() const { return flags.level; } |
428 void set_level(int newLevel) { check_safepoint(); flags.level = newLevel; } | |
429 | |
430 int comp_level() const { return _comp_level; } | |
431 | |
432 int version() const { return flags.version; } | |
433 void set_version(int v); | |
434 | |
989
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
435 // Non-perm oop support |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
436 bool on_scavenge_root_list() const { return (_scavenge_root_state & 1) != 0; } |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
437 protected: |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
438 enum { npl_on_list = 0x01, npl_marked = 0x10 }; |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
439 void set_on_scavenge_root_list() { _scavenge_root_state = npl_on_list; } |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
440 void clear_on_scavenge_root_list() { _scavenge_root_state = 0; } |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
441 // assertion-checking and pruning logic uses the bits of _scavenge_root_state |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
442 #ifndef PRODUCT |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
443 void set_scavenge_root_marked() { _scavenge_root_state |= npl_marked; } |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
444 void clear_scavenge_root_marked() { _scavenge_root_state &= ~npl_marked; } |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
445 bool scavenge_root_not_marked() { return (_scavenge_root_state &~ npl_on_list) == 0; } |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
446 // N.B. there is no positive marked query, and we only use the not_marked query for asserts. |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
447 #endif //PRODUCT |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
448 nmethod* scavenge_root_link() const { return _scavenge_root_link; } |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
449 void set_scavenge_root_link(nmethod *n) { _scavenge_root_link = n; } |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
450 |
1202 | 451 nmethod* saved_nmethod_link() const { return _saved_nmethod_link; } |
452 void set_saved_nmethod_link(nmethod *n) { _saved_nmethod_link = n; } | |
453 | |
989
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
454 public: |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
455 |
0 | 456 // Sweeper support |
457 long stack_traversal_mark() { return _stack_traversal_mark; } | |
458 void set_stack_traversal_mark(long l) { _stack_traversal_mark = l; } | |
459 | |
460 // Exception cache support | |
461 ExceptionCache* exception_cache() const { return _exception_cache; } | |
462 void set_exception_cache(ExceptionCache *ec) { _exception_cache = ec; } | |
463 address handler_for_exception_and_pc(Handle exception, address pc); | |
464 void add_handler_for_exception_and_pc(Handle exception, address pc, address handler); | |
465 void remove_from_exception_cache(ExceptionCache* ec); | |
466 | |
467 // implicit exceptions support | |
468 address continuation_for_implicit_exception(address pc); | |
469 | |
470 // On-stack replacement support | |
471 int osr_entry_bci() const { assert(_entry_bci != InvocationEntryBci, "wrong kind of nmethod"); return _entry_bci; } | |
472 address osr_entry() const { assert(_entry_bci != InvocationEntryBci, "wrong kind of nmethod"); return _osr_entry_point; } | |
473 void invalidate_osr_method(); | |
989
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
474 nmethod* osr_link() const { return _osr_link; } |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
475 void set_osr_link(nmethod *n) { _osr_link = n; } |
0 | 476 |
477 // tells whether frames described by this nmethod can be deoptimized | |
478 // note: native wrappers cannot be deoptimized. | |
479 bool can_be_deoptimized() const { return is_java_method(); } | |
480 | |
481 // Inline cache support | |
482 void clear_inline_caches(); | |
483 void cleanup_inline_caches(); | |
484 bool inlinecache_check_contains(address addr) const { | |
485 return (addr >= instructions_begin() && addr < verified_entry_point()); | |
486 } | |
487 | |
488 // unlink and deallocate this nmethod | |
489 // Only NMethodSweeper class is expected to use this. NMethodSweeper is not | |
490 // expected to use any other private methods/data in this class. | |
491 | |
492 protected: | |
493 void flush(); | |
494 | |
495 public: | |
496 // If returning true, it is unsafe to remove this nmethod even though it is a zombie | |
497 // nmethod, since the VM might have a reference to it. Should only be called from a safepoint. | |
498 bool is_locked_by_vm() const { return _lock_count >0; } | |
499 | |
500 // See comment at definition of _last_seen_on_stack | |
501 void mark_as_seen_on_stack(); | |
502 bool can_not_entrant_be_converted(); | |
503 | |
504 // Evolution support. We make old (discarded) compiled methods point to new methodOops. | |
505 void set_method(methodOop method) { _method = method; } | |
506 | |
507 // GC support | |
508 void do_unloading(BoolObjectClosure* is_alive, OopClosure* keep_alive, | |
509 bool unloading_occurred); | |
510 bool can_unload(BoolObjectClosure* is_alive, OopClosure* keep_alive, | |
511 oop* root, bool unloading_occurred); | |
512 | |
513 void preserve_callee_argument_oops(frame fr, const RegisterMap *reg_map, | |
514 OopClosure* f); | |
994
753cf9794df9
6885169: merge of 4957990 and 6863023 causes conflict on do_nmethods
jrose
parents:
993
diff
changeset
|
515 virtual void oops_do(OopClosure* f) { oops_do(f, false); } |
753cf9794df9
6885169: merge of 4957990 and 6863023 causes conflict on do_nmethods
jrose
parents:
993
diff
changeset
|
516 void oops_do(OopClosure* f, bool do_strong_roots_only); |
989
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
517 bool detect_scavenge_root_oops(); |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
518 void verify_scavenge_root_oops() PRODUCT_RETURN; |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
519 |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
520 bool test_set_oops_do_mark(); |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
521 static void oops_do_marking_prologue(); |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
522 static void oops_do_marking_epilogue(); |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
523 static bool oops_do_marking_is_active() { return _oops_do_mark_nmethods != NULL; } |
148e5441d916
6863023: need non-perm oops in code cache for JSR 292
jrose
parents:
605
diff
changeset
|
524 DEBUG_ONLY(bool test_oops_do_mark() { return _oops_do_mark_link != NULL; }) |
0 | 525 |
526 // ScopeDesc for an instruction | |
527 ScopeDesc* scope_desc_at(address pc); | |
528 | |
529 private: | |
530 ScopeDesc* scope_desc_in(address begin, address end); | |
531 | |
1204 | 532 address* orig_pc_addr(const frame* fr) { return (address*) ((address)fr->unextended_sp() + _orig_pc_offset); } |
0 | 533 |
534 PcDesc* find_pc_desc_internal(address pc, bool approximate); | |
535 | |
536 PcDesc* find_pc_desc(address pc, bool approximate) { | |
537 PcDesc* desc = _pc_desc_cache.last_pc_desc(); | |
538 if (desc != NULL && desc->pc_offset() == pc - instructions_begin()) { | |
539 return desc; | |
540 } | |
541 return find_pc_desc_internal(pc, approximate); | |
542 } | |
543 | |
544 public: | |
545 // ScopeDesc retrieval operation | |
546 PcDesc* pc_desc_at(address pc) { return find_pc_desc(pc, false); } | |
547 // pc_desc_near returns the first PcDesc at or after the givne pc. | |
548 PcDesc* pc_desc_near(address pc) { return find_pc_desc(pc, true); } | |
549 | |
550 public: | |
551 // copying of debugging information | |
552 void copy_scopes_pcs(PcDesc* pcs, int count); | |
553 void copy_scopes_data(address buffer, int size); | |
554 | |
1204 | 555 // Deopt |
556 // Return true is the PC is one would expect if the frame is being deopted. | |
557 bool is_deopt_pc (address pc) { return is_deopt_entry(pc) || is_deopt_mh_entry(pc); } | |
558 bool is_deopt_entry (address pc) { return pc == deopt_handler_begin(); } | |
559 bool is_deopt_mh_entry(address pc) { return pc == deopt_mh_handler_begin(); } | |
0 | 560 // Accessor/mutator for the original pc of a frame before a frame was deopted. |
561 address get_original_pc(const frame* fr) { return *orig_pc_addr(fr); } | |
562 void set_original_pc(const frame* fr, address pc) { *orig_pc_addr(fr) = pc; } | |
563 | |
1204 | 564 static address get_deopt_original_pc(const frame* fr); |
565 | |
1135
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
1109
diff
changeset
|
566 // MethodHandle |
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
1109
diff
changeset
|
567 bool is_method_handle_return(address return_pc); |
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
1109
diff
changeset
|
568 |
0 | 569 // jvmti support: |
570 void post_compiled_method_load_event(); | |
571 | |
572 // verify operations | |
573 void verify(); | |
574 void verify_scopes(); | |
575 void verify_interrupt_point(address interrupt_point); | |
576 | |
577 // printing support | |
100
c7c777385a15
6667042: PrintAssembly option does not work without special plugin
jrose
parents:
0
diff
changeset
|
578 void print() const; |
c7c777385a15
6667042: PrintAssembly option does not work without special plugin
jrose
parents:
0
diff
changeset
|
579 void print_code(); |
0 | 580 void print_relocations() PRODUCT_RETURN; |
581 void print_pcs() PRODUCT_RETURN; | |
582 void print_scopes() PRODUCT_RETURN; | |
583 void print_dependencies() PRODUCT_RETURN; | |
584 void print_value_on(outputStream* st) const PRODUCT_RETURN; | |
585 void print_calls(outputStream* st) PRODUCT_RETURN; | |
586 void print_handler_table() PRODUCT_RETURN; | |
587 void print_nul_chk_table() PRODUCT_RETURN; | |
100
c7c777385a15
6667042: PrintAssembly option does not work without special plugin
jrose
parents:
0
diff
changeset
|
588 void print_nmethod(bool print_code); |
0 | 589 |
590 void print_on(outputStream* st, const char* title) const; | |
591 | |
592 // Logging | |
593 void log_identity(xmlStream* log) const; | |
594 void log_new_nmethod() const; | |
1109
032260830071
5057818: codecache full and compiler disabled in bigapps fastdebug run
never
parents:
1000
diff
changeset
|
595 void log_state_change() const; |
0 | 596 |
1155
4e6abf09f540
6912062: disassembler plugin needs to produce symbolic information in product mode
jrose
parents:
1141
diff
changeset
|
597 // Prints block-level comments, including nmethod specific block labels: |
4e6abf09f540
6912062: disassembler plugin needs to produce symbolic information in product mode
jrose
parents:
1141
diff
changeset
|
598 virtual void print_block_comment(outputStream* stream, address block_begin) { |
4e6abf09f540
6912062: disassembler plugin needs to produce symbolic information in product mode
jrose
parents:
1141
diff
changeset
|
599 print_nmethod_labels(stream, block_begin); |
4e6abf09f540
6912062: disassembler plugin needs to produce symbolic information in product mode
jrose
parents:
1141
diff
changeset
|
600 CodeBlob::print_block_comment(stream, block_begin); |
4e6abf09f540
6912062: disassembler plugin needs to produce symbolic information in product mode
jrose
parents:
1141
diff
changeset
|
601 } |
4e6abf09f540
6912062: disassembler plugin needs to produce symbolic information in product mode
jrose
parents:
1141
diff
changeset
|
602 void 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
|
603 |
0 | 604 // Prints a comment for one native instruction (reloc info, pc desc) |
100
c7c777385a15
6667042: PrintAssembly option does not work without special plugin
jrose
parents:
0
diff
changeset
|
605 void print_code_comment_on(outputStream* st, int column, address begin, address end); |
0 | 606 static void print_statistics() PRODUCT_RETURN; |
607 | |
608 // Compiler task identification. Note that all OSR methods | |
609 // are numbered in an independent sequence if CICountOSR is true, | |
610 // and native method wrappers are also numbered independently if | |
611 // CICountNative is true. | |
612 int compile_id() const { return _compile_id; } | |
613 const char* compile_kind() const; | |
614 | |
615 // For debugging | |
616 // CompiledIC* IC_at(char* p) const; | |
617 // PrimitiveIC* primitiveIC_at(char* p) const; | |
618 oop embeddedOop_at(address p); | |
619 | |
620 // tells if any of this method's dependencies have been invalidated | |
621 // (this is expensive!) | |
622 bool check_all_dependencies(); | |
623 | |
624 // tells if this compiled method is dependent on the given changes, | |
625 // and the changes have invalidated it | |
626 bool check_dependency_on(DepChange& changes); | |
627 | |
628 // Evolution support. Tells if this compiled method is dependent on any of | |
629 // methods m() of class dependee, such that if m() in dependee is replaced, | |
630 // this compiled method will have to be deoptimized. | |
631 bool is_evol_dependent_on(klassOop dependee); | |
632 | |
633 // Fast breakpoint support. Tells if this compiled method is | |
634 // dependent on the given method. Returns true if this nmethod | |
635 // corresponds to the given method as well. | |
636 bool is_dependent_on_method(methodOop dependee); | |
637 | |
638 // is it ok to patch at address? | |
639 bool is_patchable_at(address instr_address); | |
640 | |
641 // UseBiasedLocking support | |
642 ByteSize compiled_synchronized_native_basic_lock_owner_sp_offset() { | |
643 return _compiled_synchronized_native_basic_lock_owner_sp_offset; | |
644 } | |
645 ByteSize compiled_synchronized_native_basic_lock_sp_offset() { | |
646 return _compiled_synchronized_native_basic_lock_sp_offset; | |
647 } | |
648 | |
649 // support for code generation | |
650 static int verified_entry_point_offset() { return offset_of(nmethod, _verified_entry_point); } | |
651 static int osr_entry_point_offset() { return offset_of(nmethod, _osr_entry_point); } | |
652 static int entry_bci_offset() { return offset_of(nmethod, _entry_bci); } | |
653 | |
654 }; | |
655 | |
656 // Locks an nmethod so its code will not get removed, even if it is a zombie/not_entrant method | |
657 class nmethodLocker : public StackObj { | |
658 nmethod* _nm; | |
659 | |
660 static void lock_nmethod(nmethod* nm); // note: nm can be NULL | |
661 static void unlock_nmethod(nmethod* nm); // (ditto) | |
662 | |
663 public: | |
664 nmethodLocker(address pc); // derive nm from pc | |
665 nmethodLocker(nmethod *nm) { _nm = nm; lock_nmethod(_nm); } | |
666 nmethodLocker() { _nm = NULL; } | |
667 ~nmethodLocker() { unlock_nmethod(_nm); } | |
668 | |
669 nmethod* code() { return _nm; } | |
670 void set_code(nmethod* new_nm) { | |
671 unlock_nmethod(_nm); // note: This works even if _nm==new_nm. | |
672 _nm = new_nm; | |
673 lock_nmethod(_nm); | |
674 } | |
675 }; |