1 /*
2 * Copyright (c) 1997, 2025, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
24
25 #ifndef SHARE_CODE_NMETHOD_HPP
26 #define SHARE_CODE_NMETHOD_HPP
27
28 #include "code/codeBlob.hpp"
29 #include "code/pcDesc.hpp"
30 #include "compiler/compilerDefinitions.hpp"
31 #include "oops/metadata.hpp"
32 #include "oops/method.hpp"
33
34 class AbstractCompiler;
35 class CompiledDirectCall;
36 class CompiledIC;
37 class CompiledICData;
38 class CompileTask;
39 class DepChange;
40 class Dependencies;
41 class DirectiveSet;
42 class DebugInformationRecorder;
43 class ExceptionHandlerTable;
44 class ImplicitExceptionTable;
45 class JvmtiThreadState;
46 class MetadataClosure;
47 class NativeCallWrapper;
48 class OopIterateClosure;
49 class ScopeDesc;
50 class xmlStream;
51
52 // This class is used internally by nmethods, to cache
53 // exception/pc/handler information.
54
55 class ExceptionCache : public CHeapObj<mtCode> {
56 friend class VMStructs;
57 private:
58 enum { cache_size = 16 };
59 Klass* _exception_type;
60 address _pc[cache_size];
61 address _handler[cache_size];
62 volatile int _count;
63 ExceptionCache* volatile _next;
64 ExceptionCache* _purge_list_next;
65
66 inline address pc_at(int index);
67 void set_pc_at(int index, address a) { assert(index >= 0 && index < cache_size,""); _pc[index] = a; }
68
69 inline address handler_at(int index);
70 void set_handler_at(int index, address a) { assert(index >= 0 && index < cache_size,""); _handler[index] = a; }
71
72 inline int count();
73 // increment_count is only called under lock, but there may be concurrent readers.
74 void increment_count();
75
76 public:
77
78 ExceptionCache(Handle exception, address pc, address handler);
79
80 Klass* exception_type() { return _exception_type; }
81 ExceptionCache* next();
82 void set_next(ExceptionCache *ec);
83 ExceptionCache* purge_list_next() { return _purge_list_next; }
84 void set_purge_list_next(ExceptionCache *ec) { _purge_list_next = ec; }
85
86 address match(Handle exception, address pc);
87 bool match_exception_with_space(Handle exception) ;
88 address test_address(address addr);
89 bool add_address_and_handler(address addr, address handler) ;
90 };
91
92 // cache pc descs found in earlier inquiries
93 class PcDescCache {
94 friend class VMStructs;
95 private:
96 enum { cache_size = 4 };
97 // The array elements MUST be volatile! Several threads may modify
98 // and read from the cache concurrently. find_pc_desc_internal has
99 // returned wrong results. C++ compiler (namely xlC12) may duplicate
100 // C++ field accesses if the elements are not volatile.
101 typedef PcDesc* PcDescPtr;
102 volatile PcDescPtr _pc_descs[cache_size]; // last cache_size pc_descs found
103 public:
104 PcDescCache() { DEBUG_ONLY(_pc_descs[0] = nullptr); }
105 void init_to(PcDesc* initial_pc_desc);
106 PcDesc* find_pc_desc(int pc_offset, bool approximate);
107 void add_pc_desc(PcDesc* pc_desc);
108 PcDesc* last_pc_desc() { return _pc_descs[0]; }
109 };
110
111 class PcDescContainer : public CHeapObj<mtCode> {
112 private:
113 PcDescCache _pc_desc_cache;
114 public:
115 PcDescContainer(PcDesc* initial_pc_desc) { _pc_desc_cache.init_to(initial_pc_desc); }
116
117 PcDesc* find_pc_desc_internal(address pc, bool approximate, address code_begin,
118 PcDesc* lower, PcDesc* upper);
119
120 PcDesc* find_pc_desc(address pc, bool approximate, address code_begin, PcDesc* lower, PcDesc* upper)
121 #ifdef PRODUCT
122 {
123 PcDesc* desc = _pc_desc_cache.last_pc_desc();
124 assert(desc != nullptr, "PcDesc cache should be initialized already");
125 if (desc->pc_offset() == (pc - code_begin)) {
126 // Cached value matched
127 return desc;
128 }
129 return find_pc_desc_internal(pc, approximate, code_begin, lower, upper);
130 }
131 #endif
132 ;
133 };
134
135 // nmethods (native methods) are the compiled code versions of Java methods.
136 //
137 // An nmethod contains:
138 // - Header (the nmethod structure)
139 // - Constant part (doubles, longs and floats used in nmethod)
140 // - Code part:
141 // - Code body
142 // - Exception handler
143 // - Stub code
144 // - OOP table
145 //
146 // As a CodeBlob, an nmethod references [mutable data] allocated on the C heap:
147 // - CodeBlob relocation data
148 // - Metainfo
149 // - JVMCI data
150 //
151 // An nmethod references [immutable data] allocated on C heap:
152 // - Dependency assertions data
153 // - Implicit null table array
154 // - Handler entry point array
155 // - Debugging information:
156 // - Scopes data array
157 // - Scopes pcs array
158 // - JVMCI speculations array
159
160 #if INCLUDE_JVMCI
161 class FailedSpeculation;
162 class JVMCINMethodData;
163 #endif
164
165 class nmethod : public CodeBlob {
166 friend class VMStructs;
167 friend class JVMCIVMStructs;
168 friend class CodeCache; // scavengable oops
169 friend class JVMCINMethodData;
170 friend class DeoptimizationScope;
171
172 private:
173
174 // Used to track in which deoptimize handshake this method will be deoptimized.
175 uint64_t _deoptimization_generation;
176
177 uint64_t _gc_epoch;
178
179 Method* _method;
180
181 // To reduce header size union fields which usages do not overlap.
182 union {
183 // To support simple linked-list chaining of nmethods:
184 nmethod* _osr_link; // from InstanceKlass::osr_nmethods_head
185 struct {
186 // These are used for compiled synchronized native methods to
187 // locate the owner and stack slot for the BasicLock. They are
188 // needed because there is no debug information for compiled native
189 // wrappers and the oop maps are insufficient to allow
190 // frame::retrieve_receiver() to work. Currently they are expected
191 // to be byte offsets from the Java stack pointer for maximum code
192 // sharing between platforms. JVMTI's GetLocalInstance() uses these
193 // offsets to find the receiver for non-static native wrapper frames.
194 ByteSize _native_receiver_sp_offset;
195 ByteSize _native_basic_lock_sp_offset;
196 };
197 };
198
199 // nmethod's read-only data
200 address _immutable_data;
201
202 PcDescContainer* _pc_desc_container;
203 ExceptionCache* volatile _exception_cache;
204
205 void* _gc_data;
206
207 struct oops_do_mark_link; // Opaque data type.
208 static nmethod* volatile _oops_do_mark_nmethods;
209 oops_do_mark_link* volatile _oops_do_mark_link;
210
211 CompiledICData* _compiled_ic_data;
212
213 // offsets for entry points
214 address _osr_entry_point; // entry point for on stack replacement
215 uint16_t _entry_offset; // entry point with class check
216 uint16_t _verified_entry_offset; // entry point without class check
217 // TODO: can these be uint16_t, seem rely on -1 CodeOffset, can change later...
218 address _inline_entry_point; // inline type entry point (unpack all inline type args) with class check
219 address _verified_inline_entry_point; // inline type entry point (unpack all inline type args) without class check
220 address _verified_inline_ro_entry_point; // inline type entry point (unpack receiver only) without class check
221 int _entry_bci; // != InvocationEntryBci if this nmethod is an on-stack replacement method
222 int _immutable_data_size;
223
224 // _consts_offset == _content_offset because SECT_CONSTS is first in code buffer
225
226 int _skipped_instructions_size;
227
228 int _stub_offset;
229
230 // Offsets for different stubs section parts
231 int _exception_offset;
232 // All deoptee's will resume execution at this location described by
233 // this offset.
234 int _deopt_handler_offset;
235 // All deoptee's at a MethodHandle call site will resume execution
236 // at this location described by this offset.
237 int _deopt_mh_handler_offset;
238 // Offset (from insts_end) of the unwind handler if it exists
239 int16_t _unwind_handler_offset;
240 // Number of arguments passed on the stack
241 uint16_t _num_stack_arg_slots;
242
243 uint16_t _oops_size;
244 #if INCLUDE_JVMCI
245 uint16_t _jvmci_data_size;
246 #endif
247
248 // Offset in immutable data section
249 // _dependencies_offset == 0
250 uint16_t _nul_chk_table_offset;
251 uint16_t _handler_table_offset; // This table could be big in C1 code
252 int _scopes_pcs_offset;
253 int _scopes_data_offset;
254 #if INCLUDE_JVMCI
255 int _speculations_offset;
256 #endif
257
258 // location in frame (offset for sp) that deopt can store the original
259 // pc during a deopt.
260 int _orig_pc_offset;
261
262 int _compile_id; // which compilation made this nmethod
263 CompLevel _comp_level; // compilation level (s1)
264 CompilerType _compiler_type; // which compiler made this nmethod (u1)
265
266 // Local state used to keep track of whether unloading is happening or not
267 volatile uint8_t _is_unloading_state;
268
269 // Protected by NMethodState_lock
270 volatile signed char _state; // {not_installed, in_use, not_entrant}
271
272 // set during construction
273 uint8_t _has_unsafe_access:1, // May fault due to unsafe access.
274 _has_method_handle_invokes:1,// Has this method MethodHandle invokes?
275 _has_wide_vectors:1, // Preserve wide vectors at safepoints
276 _has_monitors:1, // Fastpath monitor detection for continuations
277 _has_scoped_access:1, // used by for shared scope closure (scopedMemoryAccess.cpp)
278 _has_flushed_dependencies:1, // Used for maintenance of dependencies (under CodeCache_lock)
279 _is_unlinked:1, // mark during class unloading
280 _load_reported:1; // used by jvmti to track if an event has been posted for this nmethod
281
282 enum DeoptimizationStatus : u1 {
283 not_marked,
284 deoptimize,
285 deoptimize_noupdate,
286 deoptimize_done
287 };
288
289 volatile DeoptimizationStatus _deoptimization_status; // Used for stack deoptimization
290
291 DeoptimizationStatus deoptimization_status() const {
292 return Atomic::load(&_deoptimization_status);
293 }
294
295 // Initialize fields to their default values
296 void init_defaults(CodeBuffer *code_buffer, CodeOffsets* offsets);
297
298 // Post initialization
299 void post_init();
300
301 // For native wrappers
302 nmethod(Method* method,
303 CompilerType type,
304 int nmethod_size,
305 int compile_id,
306 CodeOffsets* offsets,
307 CodeBuffer *code_buffer,
308 int frame_size,
309 ByteSize basic_lock_owner_sp_offset, /* synchronized natives only */
310 ByteSize basic_lock_sp_offset, /* synchronized natives only */
311 OopMapSet* oop_maps,
312 int mutable_data_size);
313
314 // For normal JIT compiled code
315 nmethod(Method* method,
316 CompilerType type,
317 int nmethod_size,
318 int immutable_data_size,
319 int mutable_data_size,
320 int compile_id,
321 int entry_bci,
322 address immutable_data,
323 CodeOffsets* offsets,
324 int orig_pc_offset,
325 DebugInformationRecorder *recorder,
326 Dependencies* dependencies,
327 CodeBuffer *code_buffer,
328 int frame_size,
329 OopMapSet* oop_maps,
330 ExceptionHandlerTable* handler_table,
331 ImplicitExceptionTable* nul_chk_table,
332 AbstractCompiler* compiler,
333 CompLevel comp_level
334 #if INCLUDE_JVMCI
335 , char* speculations = nullptr,
336 int speculations_len = 0,
337 JVMCINMethodData* jvmci_data = nullptr
338 #endif
339 );
340
341 // helper methods
342 void* operator new(size_t size, int nmethod_size, int comp_level) throw();
343
344 // For method handle intrinsics: Try MethodNonProfiled, MethodProfiled and NonNMethod.
345 // Attention: Only allow NonNMethod space for special nmethods which don't need to be
346 // findable by nmethod iterators! In particular, they must not contain oops!
347 void* operator new(size_t size, int nmethod_size, bool allow_NonNMethod_space) throw();
348
349 const char* reloc_string_for(u_char* begin, u_char* end);
350
351 bool try_transition(signed char new_state);
352
353 // Returns true if this thread changed the state of the nmethod or
354 // false if another thread performed the transition.
355 bool make_entrant() { Unimplemented(); return false; }
356 void inc_decompile_count();
357
358 // Inform external interfaces that a compiled method has been unloaded
359 void post_compiled_method_unload();
360
361 PcDesc* find_pc_desc(address pc, bool approximate) {
362 if (_pc_desc_container == nullptr) return nullptr; // native method
363 return _pc_desc_container->find_pc_desc(pc, approximate, code_begin(), scopes_pcs_begin(), scopes_pcs_end());
364 }
365
366 // STW two-phase nmethod root processing helpers.
367 //
368 // When determining liveness of a given nmethod to do code cache unloading,
369 // some collectors need to do different things depending on whether the nmethods
370 // need to absolutely be kept alive during root processing; "strong"ly reachable
371 // nmethods are known to be kept alive at root processing, but the liveness of
372 // "weak"ly reachable ones is to be determined later.
373 //
374 // We want to allow strong and weak processing of nmethods by different threads
375 // at the same time without heavy synchronization. Additional constraints are
376 // to make sure that every nmethod is processed a minimal amount of time, and
377 // nmethods themselves are always iterated at most once at a particular time.
378 //
379 // Note that strong processing work must be a superset of weak processing work
380 // for this code to work.
381 //
382 // We store state and claim information in the _oops_do_mark_link member, using
383 // the two LSBs for the state and the remaining upper bits for linking together
384 // nmethods that were already visited.
385 // The last element is self-looped, i.e. points to itself to avoid some special
386 // "end-of-list" sentinel value.
387 //
388 // _oops_do_mark_link special values:
389 //
390 // _oops_do_mark_link == nullptr: the nmethod has not been visited at all yet, i.e.
391 // is Unclaimed.
392 //
393 // For other values, its lowest two bits indicate the following states of the nmethod:
394 //
395 // weak_request (WR): the nmethod has been claimed by a thread for weak processing
396 // weak_done (WD): weak processing has been completed for this nmethod.
397 // strong_request (SR): the nmethod has been found to need strong processing while
398 // being weak processed.
399 // strong_done (SD): strong processing has been completed for this nmethod .
400 //
401 // The following shows the _only_ possible progressions of the _oops_do_mark_link
402 // pointer.
403 //
404 // Given
405 // N as the nmethod
406 // X the current next value of _oops_do_mark_link
407 //
408 // Unclaimed (C)-> N|WR (C)-> X|WD: the nmethod has been processed weakly by
409 // a single thread.
410 // Unclaimed (C)-> N|WR (C)-> X|WD (O)-> X|SD: after weak processing has been
411 // completed (as above) another thread found that the nmethod needs strong
412 // processing after all.
413 // Unclaimed (C)-> N|WR (O)-> N|SR (C)-> X|SD: during weak processing another
414 // thread finds that the nmethod needs strong processing, marks it as such and
415 // terminates. The original thread completes strong processing.
416 // Unclaimed (C)-> N|SD (C)-> X|SD: the nmethod has been processed strongly from
417 // the beginning by a single thread.
418 //
419 // "|" describes the concatenation of bits in _oops_do_mark_link.
420 //
421 // The diagram also describes the threads responsible for changing the nmethod to
422 // the next state by marking the _transition_ with (C) and (O), which mean "current"
423 // and "other" thread respectively.
424 //
425
426 // States used for claiming nmethods during root processing.
427 static const uint claim_weak_request_tag = 0;
428 static const uint claim_weak_done_tag = 1;
429 static const uint claim_strong_request_tag = 2;
430 static const uint claim_strong_done_tag = 3;
431
432 static oops_do_mark_link* mark_link(nmethod* nm, uint tag) {
433 assert(tag <= claim_strong_done_tag, "invalid tag %u", tag);
434 assert(is_aligned(nm, 4), "nmethod pointer must have zero lower two LSB");
435 return (oops_do_mark_link*)(((uintptr_t)nm & ~0x3) | tag);
436 }
437
438 static uint extract_state(oops_do_mark_link* link) {
439 return (uint)((uintptr_t)link & 0x3);
440 }
441
442 static nmethod* extract_nmethod(oops_do_mark_link* link) {
443 return (nmethod*)((uintptr_t)link & ~0x3);
444 }
445
446 void oops_do_log_change(const char* state);
447
448 static bool oops_do_has_weak_request(oops_do_mark_link* next) {
449 return extract_state(next) == claim_weak_request_tag;
450 }
451
452 static bool oops_do_has_any_strong_state(oops_do_mark_link* next) {
453 return extract_state(next) >= claim_strong_request_tag;
454 }
455
456 // Attempt Unclaimed -> N|WR transition. Returns true if successful.
457 bool oops_do_try_claim_weak_request();
458
459 // Attempt Unclaimed -> N|SD transition. Returns the current link.
460 oops_do_mark_link* oops_do_try_claim_strong_done();
461 // Attempt N|WR -> X|WD transition. Returns nullptr if successful, X otherwise.
462 nmethod* oops_do_try_add_to_list_as_weak_done();
463
464 // Attempt X|WD -> N|SR transition. Returns the current link.
465 oops_do_mark_link* oops_do_try_add_strong_request(oops_do_mark_link* next);
466 // Attempt X|WD -> X|SD transition. Returns true if successful.
467 bool oops_do_try_claim_weak_done_as_strong_done(oops_do_mark_link* next);
468
469 // Do the N|SD -> X|SD transition.
470 void oops_do_add_to_list_as_strong_done();
471
472 // Sets this nmethod as strongly claimed (as part of N|SD -> X|SD and N|SR -> X|SD
473 // transitions).
474 void oops_do_set_strong_done(nmethod* old_head);
475
476 public:
477 // create nmethod with entry_bci
478 static nmethod* new_nmethod(const methodHandle& method,
479 int compile_id,
480 int entry_bci,
481 CodeOffsets* offsets,
482 int orig_pc_offset,
483 DebugInformationRecorder* recorder,
484 Dependencies* dependencies,
485 CodeBuffer *code_buffer,
486 int frame_size,
487 OopMapSet* oop_maps,
488 ExceptionHandlerTable* handler_table,
489 ImplicitExceptionTable* nul_chk_table,
490 AbstractCompiler* compiler,
491 CompLevel comp_level
492 #if INCLUDE_JVMCI
493 , char* speculations = nullptr,
494 int speculations_len = 0,
495 JVMCINMethodData* jvmci_data = nullptr
496 #endif
497 );
498
499 static nmethod* new_native_nmethod(const methodHandle& method,
500 int compile_id,
501 CodeBuffer *code_buffer,
502 int vep_offset,
503 int frame_complete,
504 int frame_size,
505 ByteSize receiver_sp_offset,
506 ByteSize basic_lock_sp_offset,
507 OopMapSet* oop_maps,
508 int exception_handler = -1);
509
510 Method* method () const { return _method; }
511 bool is_native_method() const { return _method != nullptr && _method->is_native(); }
512 bool is_java_method () const { return _method != nullptr && !_method->is_native(); }
513 bool is_osr_method () const { return _entry_bci != InvocationEntryBci; }
514
515 // Compiler task identification. Note that all OSR methods
516 // are numbered in an independent sequence if CICountOSR is true,
517 // and native method wrappers are also numbered independently if
518 // CICountNative is true.
519 int compile_id() const { return _compile_id; }
520 const char* compile_kind() const;
521
522 inline bool is_compiled_by_c1 () const { return _compiler_type == compiler_c1; }
523 inline bool is_compiled_by_c2 () const { return _compiler_type == compiler_c2; }
524 inline bool is_compiled_by_jvmci() const { return _compiler_type == compiler_jvmci; }
525 CompilerType compiler_type () const { return _compiler_type; }
526 const char* compiler_name () const;
527
528 // boundaries for different parts
529 address consts_begin () const { return content_begin(); }
530 address consts_end () const { return code_begin() ; }
531 address insts_begin () const { return code_begin() ; }
532 address insts_end () const { return header_begin() + _stub_offset ; }
533 address stub_begin () const { return header_begin() + _stub_offset ; }
534 address stub_end () const { return code_end() ; }
535 address exception_begin () const { return header_begin() + _exception_offset ; }
536 address deopt_handler_begin () const { return header_begin() + _deopt_handler_offset ; }
537 address deopt_mh_handler_begin() const { return header_begin() + _deopt_mh_handler_offset ; }
538 address unwind_handler_begin () const { return _unwind_handler_offset != -1 ? (insts_end() - _unwind_handler_offset) : nullptr; }
539 oop* oops_begin () const { return (oop*) data_begin(); }
540 oop* oops_end () const { return (oop*) data_end(); }
541
542 // mutable data
543 Metadata** metadata_begin () const { return (Metadata**) (mutable_data_begin() + _relocation_size); }
544 #if INCLUDE_JVMCI
545 Metadata** metadata_end () const { return (Metadata**) (mutable_data_end() - _jvmci_data_size); }
546 address jvmci_data_begin () const { return mutable_data_end() - _jvmci_data_size; }
547 address jvmci_data_end () const { return mutable_data_end(); }
548 #else
549 Metadata** metadata_end () const { return (Metadata**) mutable_data_end(); }
550 #endif
551
552 // immutable data
553 address immutable_data_begin () const { return _immutable_data; }
554 address immutable_data_end () const { return _immutable_data + _immutable_data_size ; }
555 address dependencies_begin () const { return _immutable_data; }
556 address dependencies_end () const { return _immutable_data + _nul_chk_table_offset; }
557 address nul_chk_table_begin () const { return _immutable_data + _nul_chk_table_offset; }
558 address nul_chk_table_end () const { return _immutable_data + _handler_table_offset; }
559 address handler_table_begin () const { return _immutable_data + _handler_table_offset; }
560 address handler_table_end () const { return _immutable_data + _scopes_pcs_offset ; }
561 PcDesc* scopes_pcs_begin () const { return (PcDesc*)(_immutable_data + _scopes_pcs_offset) ; }
562 PcDesc* scopes_pcs_end () const { return (PcDesc*)(_immutable_data + _scopes_data_offset) ; }
563 address scopes_data_begin () const { return _immutable_data + _scopes_data_offset ; }
564
565 #if INCLUDE_JVMCI
566 address scopes_data_end () const { return _immutable_data + _speculations_offset ; }
567 address speculations_begin () const { return _immutable_data + _speculations_offset ; }
568 address speculations_end () const { return immutable_data_end(); }
569 #else
570 address scopes_data_end () const { return immutable_data_end(); }
571 #endif
572
573 // Sizes
574 int immutable_data_size() const { return _immutable_data_size; }
575 int consts_size () const { return int( consts_end () - consts_begin ()); }
576 int insts_size () const { return int( insts_end () - insts_begin ()); }
577 int stub_size () const { return int( stub_end () - stub_begin ()); }
578 int oops_size () const { return int((address) oops_end () - (address) oops_begin ()); }
579 int metadata_size () const { return int((address) metadata_end () - (address) metadata_begin ()); }
580 int scopes_data_size () const { return int( scopes_data_end () - scopes_data_begin ()); }
581 int scopes_pcs_size () const { return int((intptr_t)scopes_pcs_end () - (intptr_t)scopes_pcs_begin ()); }
582 int dependencies_size () const { return int( dependencies_end () - dependencies_begin ()); }
583 int handler_table_size () const { return int( handler_table_end() - handler_table_begin()); }
584 int nul_chk_table_size () const { return int( nul_chk_table_end() - nul_chk_table_begin()); }
585 #if INCLUDE_JVMCI
586 int speculations_size () const { return int( speculations_end () - speculations_begin ()); }
587 int jvmci_data_size () const { return int( jvmci_data_end () - jvmci_data_begin ()); }
588 #endif
589
590 int oops_count() const { assert(oops_size() % oopSize == 0, ""); return (oops_size() / oopSize) + 1; }
591 int metadata_count() const { assert(metadata_size() % wordSize == 0, ""); return (metadata_size() / wordSize) + 1; }
592
593 int skipped_instructions_size () const { return _skipped_instructions_size; }
594 int total_size() const;
595
596 // Containment
597 bool consts_contains (address addr) const { return consts_begin () <= addr && addr < consts_end (); }
598 // Returns true if a given address is in the 'insts' section. The method
599 // insts_contains_inclusive() is end-inclusive.
600 bool insts_contains (address addr) const { return insts_begin () <= addr && addr < insts_end (); }
601 bool insts_contains_inclusive(address addr) const { return insts_begin () <= addr && addr <= insts_end (); }
602 bool stub_contains (address addr) const { return stub_begin () <= addr && addr < stub_end (); }
603 bool oops_contains (oop* addr) const { return oops_begin () <= addr && addr < oops_end (); }
604 bool metadata_contains (Metadata** addr) const { return metadata_begin () <= addr && addr < metadata_end (); }
605 bool scopes_data_contains (address addr) const { return scopes_data_begin () <= addr && addr < scopes_data_end (); }
606 bool scopes_pcs_contains (PcDesc* addr) const { return scopes_pcs_begin () <= addr && addr < scopes_pcs_end (); }
607 bool handler_table_contains (address addr) const { return handler_table_begin() <= addr && addr < handler_table_end(); }
608 bool nul_chk_table_contains (address addr) const { return nul_chk_table_begin() <= addr && addr < nul_chk_table_end(); }
609
610 // entry points
611 address entry_point() const { return code_begin() + _entry_offset; } // normal entry point
612 address verified_entry_point() const { return code_begin() + _verified_entry_offset; } // if klass is correct
613 address inline_entry_point() const { return _inline_entry_point; } // inline type entry point (unpack all inline type args)
614 address verified_inline_entry_point() const { return _verified_inline_entry_point; } // inline type entry point (unpack all inline type args) without class check
615 address verified_inline_ro_entry_point() const { return _verified_inline_ro_entry_point; } // inline type entry point (only unpack receiver) without class check
616
617 enum : signed char { not_installed = -1, // in construction, only the owner doing the construction is
618 // allowed to advance state
619 in_use = 0, // executable nmethod
620 not_entrant = 1 // marked for deoptimization but activations may still exist
621 };
622
623 // flag accessing and manipulation
624 bool is_not_installed() const { return _state == not_installed; }
625 bool is_in_use() const { return _state <= in_use; }
626 bool is_not_entrant() const { return _state == not_entrant; }
627 int get_state() const { return _state; }
628
629 void clear_unloading_state();
630 // Heuristically deduce an nmethod isn't worth keeping around
631 bool is_cold();
632 bool is_unloading();
633 void do_unloading(bool unloading_occurred);
634
635 bool make_in_use() {
636 return try_transition(in_use);
637 }
638 // Make the nmethod non entrant. The nmethod will continue to be
639 // alive. It is used when an uncommon trap happens. Returns true
640 // if this thread changed the state of the nmethod or false if
641 // another thread performed the transition.
642 bool make_not_entrant(const char* reason);
643 bool make_not_used() { return make_not_entrant("not used"); }
644
645 bool is_marked_for_deoptimization() const { return deoptimization_status() != not_marked; }
646 bool has_been_deoptimized() const { return deoptimization_status() == deoptimize_done; }
647 void set_deoptimized_done();
648
649 bool update_recompile_counts() const {
650 // Update recompile counts when either the update is explicitly requested (deoptimize)
651 // or the nmethod is not marked for deoptimization at all (not_marked).
652 // The latter happens during uncommon traps when deoptimized nmethod is made not entrant.
653 DeoptimizationStatus status = deoptimization_status();
654 return status != deoptimize_noupdate && status != deoptimize_done;
655 }
656
657 // tells whether frames described by this nmethod can be deoptimized
658 // note: native wrappers cannot be deoptimized.
659 bool can_be_deoptimized() const { return is_java_method(); }
660
661 bool has_dependencies() { return dependencies_size() != 0; }
662 void print_dependencies_on(outputStream* out) PRODUCT_RETURN;
663 void flush_dependencies();
664
665 template<typename T>
666 T* gc_data() const { return reinterpret_cast<T*>(_gc_data); }
667 template<typename T>
668 void set_gc_data(T* gc_data) { _gc_data = reinterpret_cast<void*>(gc_data); }
669
670 bool has_unsafe_access() const { return _has_unsafe_access; }
671 void set_has_unsafe_access(bool z) { _has_unsafe_access = z; }
672
673 bool has_monitors() const { return _has_monitors; }
674 void set_has_monitors(bool z) { _has_monitors = z; }
675
676 bool has_scoped_access() const { return _has_scoped_access; }
677 void set_has_scoped_access(bool z) { _has_scoped_access = z; }
678
679 bool has_method_handle_invokes() const { return _has_method_handle_invokes; }
680 void set_has_method_handle_invokes(bool z) { _has_method_handle_invokes = z; }
681
682 bool has_wide_vectors() const { return _has_wide_vectors; }
683 void set_has_wide_vectors(bool z) { _has_wide_vectors = z; }
684
685 bool needs_stack_repair() const {
686 if (is_compiled_by_c1()) {
687 return method()->c1_needs_stack_repair();
688 } else if (is_compiled_by_c2()) {
689 return method()->c2_needs_stack_repair();
690 } else {
691 return false;
692 }
693 }
694
695 bool has_flushed_dependencies() const { return _has_flushed_dependencies; }
696 void set_has_flushed_dependencies(bool z) {
697 assert(!has_flushed_dependencies(), "should only happen once");
698 _has_flushed_dependencies = z;
699 }
700
701 bool is_unlinked() const { return _is_unlinked; }
702 void set_is_unlinked() {
703 assert(!_is_unlinked, "already unlinked");
704 _is_unlinked = true;
705 }
706
707 int comp_level() const { return _comp_level; }
708
709 // Support for oops in scopes and relocs:
710 // Note: index 0 is reserved for null.
711 oop oop_at(int index) const;
712 oop oop_at_phantom(int index) const; // phantom reference
713 oop* oop_addr_at(int index) const { // for GC
714 // relocation indexes are biased by 1 (because 0 is reserved)
715 assert(index > 0 && index <= oops_count(), "must be a valid non-zero index");
716 return &oops_begin()[index - 1];
717 }
718
719 // Support for meta data in scopes and relocs:
720 // Note: index 0 is reserved for null.
721 Metadata* metadata_at(int index) const { return index == 0 ? nullptr: *metadata_addr_at(index); }
722 Metadata** metadata_addr_at(int index) const { // for GC
723 // relocation indexes are biased by 1 (because 0 is reserved)
724 assert(index > 0 && index <= metadata_count(), "must be a valid non-zero index");
725 return &metadata_begin()[index - 1];
726 }
727
728 void copy_values(GrowableArray<jobject>* oops);
729 void copy_values(GrowableArray<Metadata*>* metadata);
730 void copy_values(GrowableArray<address>* metadata) {} // Nothing to do
731
732 // Relocation support
733 private:
734 void fix_oop_relocations(address begin, address end, bool initialize_immediates);
735 inline void initialize_immediate_oop(oop* dest, jobject handle);
736
737 protected:
738 address oops_reloc_begin() const;
739
740 public:
741 void fix_oop_relocations(address begin, address end) { fix_oop_relocations(begin, end, false); }
742 void fix_oop_relocations() { fix_oop_relocations(nullptr, nullptr, false); }
743
744 bool is_at_poll_return(address pc);
745 bool is_at_poll_or_poll_return(address pc);
746
747 protected:
748 // Exception cache support
749 // Note: _exception_cache may be read and cleaned concurrently.
750 ExceptionCache* exception_cache() const { return _exception_cache; }
751 ExceptionCache* exception_cache_acquire() const;
752
753 public:
754 address handler_for_exception_and_pc(Handle exception, address pc);
755 void add_handler_for_exception_and_pc(Handle exception, address pc, address handler);
756 void clean_exception_cache();
757
758 void add_exception_cache_entry(ExceptionCache* new_entry);
759 ExceptionCache* exception_cache_entry_for_exception(Handle exception);
760
761
762 // MethodHandle
763 bool is_method_handle_return(address return_pc);
764 // Deopt
765 // Return true is the PC is one would expect if the frame is being deopted.
766 inline bool is_deopt_pc(address pc);
767 inline bool is_deopt_mh_entry(address pc);
768 inline bool is_deopt_entry(address pc);
769
770 // Accessor/mutator for the original pc of a frame before a frame was deopted.
771 address get_original_pc(const frame* fr) { return *orig_pc_addr(fr); }
772 void set_original_pc(const frame* fr, address pc) { *orig_pc_addr(fr) = pc; }
773
774 const char* state() const;
775
776 bool inlinecache_check_contains(address addr) const {
777 return (addr >= code_begin() && addr < verified_entry_point());
778 }
779
780 void preserve_callee_argument_oops(frame fr, const RegisterMap *reg_map, OopClosure* f);
781
782 // implicit exceptions support
783 address continuation_for_implicit_div0_exception(address pc) { return continuation_for_implicit_exception(pc, true); }
784 address continuation_for_implicit_null_exception(address pc) { return continuation_for_implicit_exception(pc, false); }
785
786 // Inline cache support for class unloading and nmethod unloading
787 private:
788 void cleanup_inline_caches_impl(bool unloading_occurred, bool clean_all);
789
790 address continuation_for_implicit_exception(address pc, bool for_div0_check);
791
792 public:
793 // Serial version used by whitebox test
794 void cleanup_inline_caches_whitebox();
795
796 void clear_inline_caches();
797
798 // Execute nmethod barrier code, as if entering through nmethod call.
799 void run_nmethod_entry_barrier();
800
801 void verify_oop_relocations();
802
803 bool has_evol_metadata();
804
805 Method* attached_method(address call_pc);
806 Method* attached_method_before_pc(address pc);
807
808 // GC unloading support
809 // Cleans unloaded klasses and unloaded nmethods in inline caches
810
811 void unload_nmethod_caches(bool class_unloading_occurred);
812
813 void unlink_from_method();
814
815 // On-stack replacement support
816 int osr_entry_bci() const { assert(is_osr_method(), "wrong kind of nmethod"); return _entry_bci; }
817 address osr_entry() const { assert(is_osr_method(), "wrong kind of nmethod"); return _osr_entry_point; }
818 nmethod* osr_link() const { return _osr_link; }
819 void set_osr_link(nmethod *n) { _osr_link = n; }
820 void invalidate_osr_method();
821
822 int num_stack_arg_slots(bool rounded = true) const {
823 return rounded ? align_up(_num_stack_arg_slots, 2) : _num_stack_arg_slots;
824 }
825
826 // Verify calls to dead methods have been cleaned.
827 void verify_clean_inline_caches();
828
829 // Unlink this nmethod from the system
830 void unlink();
831
832 // Deallocate this nmethod - called by the GC
833 void purge(bool unregister_nmethod);
834
835 // See comment at definition of _last_seen_on_stack
836 void mark_as_maybe_on_stack();
837 bool is_maybe_on_stack();
838
839 // Evolution support. We make old (discarded) compiled methods point to new Method*s.
840 void set_method(Method* method) { _method = method; }
841
842 #if INCLUDE_JVMCI
843 // Gets the JVMCI name of this nmethod.
844 const char* jvmci_name();
845
846 // Records the pending failed speculation in the
847 // JVMCI speculation log associated with this nmethod.
848 void update_speculation(JavaThread* thread);
849
850 // Gets the data specific to a JVMCI compiled method.
851 // This returns a non-nullptr value iff this nmethod was
852 // compiled by the JVMCI compiler.
853 JVMCINMethodData* jvmci_nmethod_data() const {
854 return jvmci_data_size() == 0 ? nullptr : (JVMCINMethodData*) jvmci_data_begin();
855 }
856 #endif
857
858 void oops_do(OopClosure* f) { oops_do(f, false); }
859 void oops_do(OopClosure* f, bool allow_dead);
860
861 // All-in-one claiming of nmethods: returns true if the caller successfully claimed that
862 // nmethod.
863 bool oops_do_try_claim();
864
865 // Loom support for following nmethods on the stack
866 void follow_nmethod(OopIterateClosure* cl);
867
868 // Class containing callbacks for the oops_do_process_weak/strong() methods
869 // below.
870 class OopsDoProcessor {
871 public:
872 // Process the oops of the given nmethod based on whether it has been called
873 // in a weak or strong processing context, i.e. apply either weak or strong
874 // work on it.
875 virtual void do_regular_processing(nmethod* nm) = 0;
876 // Assuming that the oops of the given nmethod has already been its weak
877 // processing applied, apply the remaining strong processing part.
878 virtual void do_remaining_strong_processing(nmethod* nm) = 0;
879 };
880
881 // The following two methods do the work corresponding to weak/strong nmethod
882 // processing.
883 void oops_do_process_weak(OopsDoProcessor* p);
884 void oops_do_process_strong(OopsDoProcessor* p);
885
886 static void oops_do_marking_prologue();
887 static void oops_do_marking_epilogue();
888
889 private:
890 ScopeDesc* scope_desc_in(address begin, address end);
891
892 address* orig_pc_addr(const frame* fr);
893
894 // used by jvmti to track if the load events has been reported
895 bool load_reported() const { return _load_reported; }
896 void set_load_reported() { _load_reported = true; }
897
898 public:
899 // ScopeDesc retrieval operation
900 PcDesc* pc_desc_at(address pc) { return find_pc_desc(pc, false); }
901 // pc_desc_near returns the first PcDesc at or after the given pc.
902 PcDesc* pc_desc_near(address pc) { return find_pc_desc(pc, true); }
903
904 // ScopeDesc for an instruction
905 ScopeDesc* scope_desc_at(address pc);
906 ScopeDesc* scope_desc_near(address pc);
907
908 // copying of debugging information
909 void copy_scopes_pcs(PcDesc* pcs, int count);
910 void copy_scopes_data(address buffer, int size);
911
912 int orig_pc_offset() { return _orig_pc_offset; }
913
914 // Post successful compilation
915 void post_compiled_method(CompileTask* task);
916
917 // jvmti support:
918 void post_compiled_method_load_event(JvmtiThreadState* state = nullptr);
919
920 // verify operations
921 void verify();
922 void verify_scopes();
923 void verify_interrupt_point(address interrupt_point, bool is_inline_cache);
924
925 // Disassemble this nmethod with additional debug information, e.g. information about blocks.
926 void decode2(outputStream* st) const;
927 void print_constant_pool(outputStream* st);
928
929 // Avoid hiding of parent's 'decode(outputStream*)' method.
930 void decode(outputStream* st) const { decode2(st); } // just delegate here.
931
932 // printing support
933 void print_on_impl(outputStream* st) const;
934 void print_code();
935 void print_value_on_impl(outputStream* st) const;
936
937 #if defined(SUPPORT_DATA_STRUCTS)
938 // print output in opt build for disassembler library
939 void print_relocations() PRODUCT_RETURN;
940 void print_pcs_on(outputStream* st);
941 void print_scopes() { print_scopes_on(tty); }
942 void print_scopes_on(outputStream* st) PRODUCT_RETURN;
943 void print_handler_table();
944 void print_nul_chk_table();
945 void print_recorded_oop(int log_n, int index);
946 void print_recorded_oops();
947 void print_recorded_metadata();
948
949 void print_oops(outputStream* st); // oops from the underlying CodeBlob.
950 void print_metadata(outputStream* st); // metadata in metadata pool.
951 #else
952 void print_pcs_on(outputStream* st) { return; }
953 #endif
954
955 void print_calls(outputStream* st) PRODUCT_RETURN;
956 static void print_statistics() PRODUCT_RETURN;
957
958 void maybe_print_nmethod(const DirectiveSet* directive);
959 void print_nmethod(bool print_code);
960
961 void print_on_with_msg(outputStream* st, const char* msg) const;
962
963 // Logging
964 void log_identity(xmlStream* log) const;
965 void log_new_nmethod() const;
966 void log_state_change(const char* reason) const;
967
968 // Prints block-level comments, including nmethod specific block labels:
969 void print_nmethod_labels(outputStream* stream, address block_begin, bool print_section_labels=true) const;
970 const char* nmethod_section_label(address pos) const;
971
972 // returns whether this nmethod has code comments.
973 bool has_code_comment(address begin, address end);
974 // Prints a comment for one native instruction (reloc info, pc desc)
975 void print_code_comment_on(outputStream* st, int column, address begin, address end);
976
977 // tells if this compiled method is dependent on the given changes,
978 // and the changes have invalidated it
979 bool check_dependency_on(DepChange& changes);
980
981 // Fast breakpoint support. Tells if this compiled method is
982 // dependent on the given method. Returns true if this nmethod
983 // corresponds to the given method as well.
984 bool is_dependent_on_method(Method* dependee);
985
986 // JVMTI's GetLocalInstance() support
987 ByteSize native_receiver_sp_offset() {
988 assert(is_native_method(), "sanity");
989 return _native_receiver_sp_offset;
990 }
991 ByteSize native_basic_lock_sp_offset() {
992 assert(is_native_method(), "sanity");
993 return _native_basic_lock_sp_offset;
994 }
995
996 // support for code generation
997 static ByteSize osr_entry_point_offset() { return byte_offset_of(nmethod, _osr_entry_point); }
998 static ByteSize state_offset() { return byte_offset_of(nmethod, _state); }
999
1000 void metadata_do(MetadataClosure* f);
1001
1002 address call_instruction_address(address pc) const;
1003
1004 void make_deoptimized();
1005 void finalize_relocations();
1006
1007 class Vptr : public CodeBlob::Vptr {
1008 void print_on(const CodeBlob* instance, outputStream* st) const override {
1009 ttyLocker ttyl;
1010 instance->as_nmethod()->print_on_impl(st);
1011 }
1012 void print_value_on(const CodeBlob* instance, outputStream* st) const override {
1013 instance->as_nmethod()->print_value_on_impl(st);
1014 }
1015 };
1016
1017 static const Vptr _vpntr;
1018 };
1019
1020 #endif // SHARE_CODE_NMETHOD_HPP