src/share/vm/code/nmethod.hpp

Fri, 08 Nov 2013 01:13:11 -0800

author
vlivanov
date
Fri, 08 Nov 2013 01:13:11 -0800
changeset 6096
e2509677809c
parent 5792
510fbd28919c
child 6172
df832bd8edb9
permissions
-rw-r--r--

8023037: Race between ciEnv::register_method and nmethod::make_not_entrant_or_zombie
Reviewed-by: kvn, iveresov

duke@435 1 /*
coleenp@5614 2 * Copyright (c) 1997, 2013, Oracle and/or its affiliates. All rights reserved.
duke@435 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435 4 *
duke@435 5 * This code is free software; you can redistribute it and/or modify it
duke@435 6 * under the terms of the GNU General Public License version 2 only, as
duke@435 7 * published by the Free Software Foundation.
duke@435 8 *
duke@435 9 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@435 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435 12 * version 2 for more details (a copy is included in the LICENSE file that
duke@435 13 * accompanied this code).
duke@435 14 *
duke@435 15 * You should have received a copy of the GNU General Public License version
duke@435 16 * 2 along with this work; if not, write to the Free Software Foundation,
duke@435 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435 18 *
trims@1907 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907 20 * or visit www.oracle.com if you need additional information or have any
trims@1907 21 * questions.
duke@435 22 *
duke@435 23 */
duke@435 24
stefank@2314 25 #ifndef SHARE_VM_CODE_NMETHOD_HPP
stefank@2314 26 #define SHARE_VM_CODE_NMETHOD_HPP
stefank@2314 27
stefank@2314 28 #include "code/codeBlob.hpp"
stefank@2314 29 #include "code/pcDesc.hpp"
coleenp@4037 30 #include "oops/metadata.hpp"
stefank@2314 31
duke@435 32 // This class is used internally by nmethods, to cache
duke@435 33 // exception/pc/handler information.
duke@435 34
zgu@3900 35 class ExceptionCache : public CHeapObj<mtCode> {
duke@435 36 friend class VMStructs;
duke@435 37 private:
duke@435 38 enum { cache_size = 16 };
coleenp@4037 39 Klass* _exception_type;
duke@435 40 address _pc[cache_size];
duke@435 41 address _handler[cache_size];
duke@435 42 int _count;
duke@435 43 ExceptionCache* _next;
duke@435 44
duke@435 45 address pc_at(int index) { assert(index >= 0 && index < count(),""); return _pc[index]; }
duke@435 46 void set_pc_at(int index, address a) { assert(index >= 0 && index < cache_size,""); _pc[index] = a; }
duke@435 47 address handler_at(int index) { assert(index >= 0 && index < count(),""); return _handler[index]; }
duke@435 48 void set_handler_at(int index, address a) { assert(index >= 0 && index < cache_size,""); _handler[index] = a; }
duke@435 49 int count() { return _count; }
duke@435 50 void increment_count() { _count++; }
duke@435 51
duke@435 52 public:
duke@435 53
duke@435 54 ExceptionCache(Handle exception, address pc, address handler);
duke@435 55
coleenp@4037 56 Klass* exception_type() { return _exception_type; }
duke@435 57 ExceptionCache* next() { return _next; }
duke@435 58 void set_next(ExceptionCache *ec) { _next = ec; }
duke@435 59
duke@435 60 address match(Handle exception, address pc);
duke@435 61 bool match_exception_with_space(Handle exception) ;
duke@435 62 address test_address(address addr);
duke@435 63 bool add_address_and_handler(address addr, address handler) ;
duke@435 64 };
duke@435 65
duke@435 66
duke@435 67 // cache pc descs found in earlier inquiries
duke@435 68 class PcDescCache VALUE_OBJ_CLASS_SPEC {
duke@435 69 friend class VMStructs;
duke@435 70 private:
duke@435 71 enum { cache_size = 4 };
duke@435 72 PcDesc* _pc_descs[cache_size]; // last cache_size pc_descs found
duke@435 73 public:
phh@2621 74 PcDescCache() { debug_only(_pc_descs[0] = NULL); }
duke@435 75 void reset_to(PcDesc* initial_pc_desc);
duke@435 76 PcDesc* find_pc_desc(int pc_offset, bool approximate);
duke@435 77 void add_pc_desc(PcDesc* pc_desc);
phh@2621 78 PcDesc* last_pc_desc() { return _pc_descs[0]; }
duke@435 79 };
duke@435 80
duke@435 81
duke@435 82 // nmethods (native methods) are the compiled code versions of Java methods.
never@1999 83 //
never@1999 84 // An nmethod contains:
duke@435 85 // - header (the nmethod structure)
duke@435 86 // [Relocation]
duke@435 87 // - relocation information
duke@435 88 // - constant part (doubles, longs and floats used in nmethod)
twisti@1918 89 // - oop table
duke@435 90 // [Code]
duke@435 91 // - code body
duke@435 92 // - exception handler
duke@435 93 // - stub code
duke@435 94 // [Debugging information]
duke@435 95 // - oop array
duke@435 96 // - data array
duke@435 97 // - pcs
duke@435 98 // [Exception handler table]
duke@435 99 // - handler entry point array
duke@435 100 // [Implicit Null Pointer exception table]
duke@435 101 // - implicit null table array
duke@435 102
duke@435 103 class Dependencies;
duke@435 104 class ExceptionHandlerTable;
duke@435 105 class ImplicitExceptionTable;
duke@435 106 class AbstractCompiler;
duke@435 107 class xmlStream;
duke@435 108
duke@435 109 class nmethod : public CodeBlob {
duke@435 110 friend class VMStructs;
duke@435 111 friend class NMethodSweeper;
jmasa@2909 112 friend class CodeCache; // scavengable oops
duke@435 113 private:
duke@435 114 // Shared fields for all nmethod's
coleenp@4037 115 Method* _method;
duke@435 116 int _entry_bci; // != InvocationEntryBci if this nmethod is an on-stack replacement method
never@1971 117 jmethodID _jmethod_id; // Cache of method()->jmethod_id()
duke@435 118
jrose@1424 119 // To support simple linked-list chaining of nmethods:
coleenp@4037 120 nmethod* _osr_link; // from InstanceKlass::osr_nmethods_head
jrose@1424 121 nmethod* _scavenge_root_link; // from CodeCache::scavenge_root_nmethods
jrose@1424 122
jrose@1424 123 static nmethod* volatile _oops_do_mark_nmethods;
jrose@1424 124 nmethod* volatile _oops_do_mark_link;
duke@435 125
duke@435 126 AbstractCompiler* _compiler; // The compiler which compiled this nmethod
duke@435 127
never@1999 128 // offsets for entry points
never@1999 129 address _entry_point; // entry point with class check
never@1999 130 address _verified_entry_point; // entry point without class check
never@1999 131 address _osr_entry_point; // entry point for on stack replacement
never@1999 132
duke@435 133 // Offsets for different nmethod parts
duke@435 134 int _exception_offset;
twisti@1639 135 // All deoptee's will resume execution at this location described by
twisti@1639 136 // this offset.
duke@435 137 int _deoptimize_offset;
twisti@1639 138 // All deoptee's at a MethodHandle call site will resume execution
twisti@1639 139 // at this location described by this offset.
twisti@1639 140 int _deoptimize_mh_offset;
never@1813 141 // Offset of the unwind handler if it exists
never@1813 142 int _unwind_handler_offset;
never@1813 143
kamg@551 144 #ifdef HAVE_DTRACE_H
kamg@551 145 int _trap_offset;
kamg@551 146 #endif // def HAVE_DTRACE_H
twisti@2117 147 int _consts_offset;
duke@435 148 int _stub_offset;
twisti@1918 149 int _oops_offset; // offset to where embedded oop table begins (inside data)
coleenp@4037 150 int _metadata_offset; // embedded meta data table
duke@435 151 int _scopes_data_offset;
duke@435 152 int _scopes_pcs_offset;
duke@435 153 int _dependencies_offset;
duke@435 154 int _handler_table_offset;
duke@435 155 int _nul_chk_table_offset;
duke@435 156 int _nmethod_end_offset;
duke@435 157
duke@435 158 // location in frame (offset for sp) that deopt can store the original
duke@435 159 // pc during a deopt.
duke@435 160 int _orig_pc_offset;
duke@435 161
never@1999 162 int _compile_id; // which compilation made this nmethod
never@1999 163 int _comp_level; // compilation level
duke@435 164
never@1999 165 // protected by CodeCache_lock
never@1999 166 bool _has_flushed_dependencies; // Used for maintenance of dependencies (CodeCache_lock)
duke@435 167
never@1999 168 bool _marked_for_reclamation; // Used by NMethodSweeper (set only by sweeper)
never@1999 169 bool _marked_for_deoptimization; // Used for stack deoptimization
never@1999 170
never@1999 171 // used by jvmti to track if an unload event has been posted for this nmethod.
never@1999 172 bool _unload_reported;
never@1999 173
never@1999 174 // set during construction
never@1999 175 unsigned int _has_unsafe_access:1; // May fault due to unsafe access.
never@1999 176 unsigned int _has_method_handle_invokes:1; // Has this method MethodHandle invokes?
never@3500 177 unsigned int _lazy_critical_native:1; // Lazy JNI critical native
kvn@4103 178 unsigned int _has_wide_vectors:1; // Preserve wide vectors at safepoints
never@1999 179
never@1999 180 // Protected by Patching_lock
anoll@5792 181 volatile unsigned char _state; // {alive, not_entrant, zombie, unloaded}
never@1999 182
never@2081 183 #ifdef ASSERT
never@2081 184 bool _oops_are_stale; // indicates that it's no longer safe to access oops section
never@2081 185 #endif
never@2081 186
duke@435 187 enum { alive = 0,
twisti@1040 188 not_entrant = 1, // uncommon trap has happened but activations may still exist
duke@435 189 zombie = 2,
duke@435 190 unloaded = 3 };
duke@435 191
duke@435 192
jrose@1424 193 jbyte _scavenge_root_state;
jrose@1424 194
dcubed@2624 195 // Nmethod Flushing lock. If non-zero, then the nmethod is not removed
dcubed@2624 196 // and is not made into a zombie. However, once the nmethod is made into
dcubed@2624 197 // a zombie, it will be locked one final time if CompiledMethodUnload
dcubed@2624 198 // event processing needs to be done.
duke@435 199 jint _lock_count;
duke@435 200
duke@435 201 // not_entrant method removal. Each mark_sweep pass will update
duke@435 202 // this mark to current sweep invocation count if it is seen on the
anoll@5792 203 // stack. An not_entrant method can be removed when there are no
duke@435 204 // more activations, i.e., when the _stack_traversal_mark is less than
duke@435 205 // current sweep traversal index.
duke@435 206 long _stack_traversal_mark;
duke@435 207
anoll@5792 208 // The _hotness_counter indicates the hotness of a method. The higher
anoll@5792 209 // the value the hotter the method. The hotness counter of a nmethod is
anoll@5792 210 // set to [(ReservedCodeCacheSize / (1024 * 1024)) * 2] each time the method
anoll@5792 211 // is active while stack scanning (mark_active_nmethods()). The hotness
anoll@5792 212 // counter is decreased (by 1) while sweeping.
anoll@5792 213 int _hotness_counter;
anoll@5792 214
duke@435 215 ExceptionCache *_exception_cache;
duke@435 216 PcDescCache _pc_desc_cache;
duke@435 217
kamg@2361 218 // These are used for compiled synchronized native methods to
duke@435 219 // locate the owner and stack slot for the BasicLock so that we can
duke@435 220 // properly revoke the bias of the owner if necessary. They are
duke@435 221 // needed because there is no debug information for compiled native
duke@435 222 // wrappers and the oop maps are insufficient to allow
duke@435 223 // frame::retrieve_receiver() to work. Currently they are expected
duke@435 224 // to be byte offsets from the Java stack pointer for maximum code
duke@435 225 // sharing between platforms. Note that currently biased locking
duke@435 226 // will never cause Class instances to be biased but this code
duke@435 227 // handles the static synchronized case as well.
kamg@2361 228 // JVMTI's GetLocalInstance() also uses these offsets to find the receiver
kamg@2361 229 // for non-static native wrapper frames.
kamg@2361 230 ByteSize _native_receiver_sp_offset;
kamg@2361 231 ByteSize _native_basic_lock_sp_offset;
duke@435 232
duke@435 233 friend class nmethodLocker;
duke@435 234
duke@435 235 // For native wrappers
coleenp@4037 236 nmethod(Method* method,
duke@435 237 int nmethod_size,
twisti@2687 238 int compile_id,
duke@435 239 CodeOffsets* offsets,
duke@435 240 CodeBuffer *code_buffer,
duke@435 241 int frame_size,
duke@435 242 ByteSize basic_lock_owner_sp_offset, /* synchronized natives only */
duke@435 243 ByteSize basic_lock_sp_offset, /* synchronized natives only */
duke@435 244 OopMapSet* oop_maps);
duke@435 245
kamg@551 246 #ifdef HAVE_DTRACE_H
kamg@551 247 // For native wrappers
coleenp@4037 248 nmethod(Method* method,
kamg@551 249 int nmethod_size,
kamg@551 250 CodeOffsets* offsets,
kamg@551 251 CodeBuffer *code_buffer,
kamg@551 252 int frame_size);
kamg@551 253 #endif // def HAVE_DTRACE_H
kamg@551 254
duke@435 255 // Creation support
coleenp@4037 256 nmethod(Method* method,
duke@435 257 int nmethod_size,
duke@435 258 int compile_id,
duke@435 259 int entry_bci,
duke@435 260 CodeOffsets* offsets,
duke@435 261 int orig_pc_offset,
duke@435 262 DebugInformationRecorder *recorder,
duke@435 263 Dependencies* dependencies,
duke@435 264 CodeBuffer *code_buffer,
duke@435 265 int frame_size,
duke@435 266 OopMapSet* oop_maps,
duke@435 267 ExceptionHandlerTable* handler_table,
duke@435 268 ImplicitExceptionTable* nul_chk_table,
duke@435 269 AbstractCompiler* compiler,
duke@435 270 int comp_level);
duke@435 271
duke@435 272 // helper methods
coleenp@5614 273 void* operator new(size_t size, int nmethod_size) throw();
duke@435 274
duke@435 275 const char* reloc_string_for(u_char* begin, u_char* end);
never@1544 276 // Returns true if this thread changed the state of the nmethod or
never@1544 277 // false if another thread performed the transition.
never@1576 278 bool make_not_entrant_or_zombie(unsigned int state);
duke@435 279 void inc_decompile_count();
duke@435 280
duke@435 281 // Used to manipulate the exception cache
duke@435 282 void add_exception_cache_entry(ExceptionCache* new_entry);
duke@435 283 ExceptionCache* exception_cache_entry_for_exception(Handle exception);
duke@435 284
duke@435 285 // Inform external interfaces that a compiled method has been unloaded
never@1999 286 void post_compiled_method_unload();
never@1999 287
never@1999 288 // Initailize fields to their default values
never@1999 289 void init_defaults();
duke@435 290
duke@435 291 public:
duke@435 292 // create nmethod with entry_bci
duke@435 293 static nmethod* new_nmethod(methodHandle method,
duke@435 294 int compile_id,
duke@435 295 int entry_bci,
duke@435 296 CodeOffsets* offsets,
duke@435 297 int orig_pc_offset,
duke@435 298 DebugInformationRecorder* recorder,
duke@435 299 Dependencies* dependencies,
duke@435 300 CodeBuffer *code_buffer,
duke@435 301 int frame_size,
duke@435 302 OopMapSet* oop_maps,
duke@435 303 ExceptionHandlerTable* handler_table,
duke@435 304 ImplicitExceptionTable* nul_chk_table,
duke@435 305 AbstractCompiler* compiler,
duke@435 306 int comp_level);
duke@435 307
duke@435 308 static nmethod* new_native_nmethod(methodHandle method,
twisti@2687 309 int compile_id,
duke@435 310 CodeBuffer *code_buffer,
duke@435 311 int vep_offset,
duke@435 312 int frame_complete,
duke@435 313 int frame_size,
duke@435 314 ByteSize receiver_sp_offset,
duke@435 315 ByteSize basic_lock_sp_offset,
duke@435 316 OopMapSet* oop_maps);
duke@435 317
kamg@551 318 #ifdef HAVE_DTRACE_H
kamg@551 319 // The method we generate for a dtrace probe has to look
kamg@551 320 // like an nmethod as far as the rest of the system is concerned
kamg@551 321 // which is somewhat unfortunate.
kamg@551 322 static nmethod* new_dtrace_nmethod(methodHandle method,
kamg@551 323 CodeBuffer *code_buffer,
kamg@551 324 int vep_offset,
kamg@551 325 int trap_offset,
kamg@551 326 int frame_complete,
kamg@551 327 int frame_size);
kamg@551 328
kamg@551 329 int trap_offset() const { return _trap_offset; }
twisti@2103 330 address trap_address() const { return insts_begin() + _trap_offset; }
kamg@551 331
kamg@551 332 #endif // def HAVE_DTRACE_H
kamg@551 333
duke@435 334 // accessors
coleenp@4037 335 Method* method() const { return _method; }
duke@435 336 AbstractCompiler* compiler() const { return _compiler; }
duke@435 337
duke@435 338 // type info
duke@435 339 bool is_nmethod() const { return true; }
duke@435 340 bool is_java_method() const { return !method()->is_native(); }
duke@435 341 bool is_native_method() const { return method()->is_native(); }
duke@435 342 bool is_osr_method() const { return _entry_bci != InvocationEntryBci; }
duke@435 343
duke@435 344 bool is_compiled_by_c1() const;
duke@435 345 bool is_compiled_by_c2() const;
twisti@2047 346 bool is_compiled_by_shark() const;
duke@435 347
duke@435 348 // boundaries for different parts
twisti@2117 349 address consts_begin () const { return header_begin() + _consts_offset ; }
twisti@2117 350 address consts_end () const { return header_begin() + code_offset() ; }
twisti@2117 351 address insts_begin () const { return header_begin() + code_offset() ; }
twisti@2103 352 address insts_end () const { return header_begin() + _stub_offset ; }
twisti@2117 353 address stub_begin () const { return header_begin() + _stub_offset ; }
twisti@2117 354 address stub_end () const { return header_begin() + _oops_offset ; }
twisti@1639 355 address exception_begin () const { return header_begin() + _exception_offset ; }
twisti@1639 356 address deopt_handler_begin () const { return header_begin() + _deoptimize_offset ; }
twisti@1639 357 address deopt_mh_handler_begin() const { return header_begin() + _deoptimize_mh_offset ; }
never@1813 358 address unwind_handler_begin () const { return _unwind_handler_offset != -1 ? (header_begin() + _unwind_handler_offset) : NULL; }
twisti@1918 359 oop* oops_begin () const { return (oop*) (header_begin() + _oops_offset) ; }
coleenp@4037 360 oop* oops_end () const { return (oop*) (header_begin() + _metadata_offset) ; }
coleenp@4037 361
coleenp@4037 362 Metadata** metadata_begin () const { return (Metadata**) (header_begin() + _metadata_offset) ; }
coleenp@4037 363 Metadata** metadata_end () const { return (Metadata**) (header_begin() + _scopes_data_offset) ; }
twisti@1918 364
twisti@1639 365 address scopes_data_begin () const { return header_begin() + _scopes_data_offset ; }
twisti@1639 366 address scopes_data_end () const { return header_begin() + _scopes_pcs_offset ; }
twisti@1639 367 PcDesc* scopes_pcs_begin () const { return (PcDesc*)(header_begin() + _scopes_pcs_offset ); }
twisti@1639 368 PcDesc* scopes_pcs_end () const { return (PcDesc*)(header_begin() + _dependencies_offset) ; }
twisti@1639 369 address dependencies_begin () const { return header_begin() + _dependencies_offset ; }
twisti@1639 370 address dependencies_end () const { return header_begin() + _handler_table_offset ; }
twisti@1639 371 address handler_table_begin () const { return header_begin() + _handler_table_offset ; }
twisti@1639 372 address handler_table_end () const { return header_begin() + _nul_chk_table_offset ; }
twisti@1639 373 address nul_chk_table_begin () const { return header_begin() + _nul_chk_table_offset ; }
twisti@1639 374 address nul_chk_table_end () const { return header_begin() + _nmethod_end_offset ; }
duke@435 375
twisti@1918 376 // Sizes
twisti@2117 377 int consts_size () const { return consts_end () - consts_begin (); }
twisti@2103 378 int insts_size () const { return insts_end () - insts_begin (); }
twisti@1918 379 int stub_size () const { return stub_end () - stub_begin (); }
twisti@1918 380 int oops_size () const { return (address) oops_end () - (address) oops_begin (); }
coleenp@4037 381 int metadata_size () const { return (address) metadata_end () - (address) metadata_begin (); }
twisti@1918 382 int scopes_data_size () const { return scopes_data_end () - scopes_data_begin (); }
twisti@1918 383 int scopes_pcs_size () const { return (intptr_t) scopes_pcs_end () - (intptr_t) scopes_pcs_begin (); }
twisti@1918 384 int dependencies_size () const { return dependencies_end () - dependencies_begin (); }
twisti@1918 385 int handler_table_size() const { return handler_table_end() - handler_table_begin(); }
twisti@1918 386 int nul_chk_table_size() const { return nul_chk_table_end() - nul_chk_table_begin(); }
duke@435 387
duke@435 388 int total_size () const;
duke@435 389
anoll@5792 390 void dec_hotness_counter() { _hotness_counter--; }
anoll@5792 391 void set_hotness_counter(int val) { _hotness_counter = val; }
anoll@5792 392 int hotness_counter() const { return _hotness_counter; }
anoll@5792 393
twisti@1918 394 // Containment
twisti@2117 395 bool consts_contains (address addr) const { return consts_begin () <= addr && addr < consts_end (); }
twisti@2103 396 bool insts_contains (address addr) const { return insts_begin () <= addr && addr < insts_end (); }
duke@435 397 bool stub_contains (address addr) const { return stub_begin () <= addr && addr < stub_end (); }
twisti@1918 398 bool oops_contains (oop* addr) const { return oops_begin () <= addr && addr < oops_end (); }
coleenp@4037 399 bool metadata_contains (Metadata** addr) const { return metadata_begin () <= addr && addr < metadata_end (); }
duke@435 400 bool scopes_data_contains (address addr) const { return scopes_data_begin () <= addr && addr < scopes_data_end (); }
duke@435 401 bool scopes_pcs_contains (PcDesc* addr) const { return scopes_pcs_begin () <= addr && addr < scopes_pcs_end (); }
duke@435 402 bool handler_table_contains(address addr) const { return handler_table_begin() <= addr && addr < handler_table_end(); }
duke@435 403 bool nul_chk_table_contains(address addr) const { return nul_chk_table_begin() <= addr && addr < nul_chk_table_end(); }
duke@435 404
duke@435 405 // entry points
duke@435 406 address entry_point() const { return _entry_point; } // normal entry point
duke@435 407 address verified_entry_point() const { return _verified_entry_point; } // if klass is correct
duke@435 408
duke@435 409 // flag accessing and manipulation
never@1999 410 bool is_in_use() const { return _state == alive; }
never@1999 411 bool is_alive() const { return _state == alive || _state == not_entrant; }
never@1999 412 bool is_not_entrant() const { return _state == not_entrant; }
never@1999 413 bool is_zombie() const { return _state == zombie; }
never@1999 414 bool is_unloaded() const { return _state == unloaded; }
duke@435 415
never@1544 416 // Make the nmethod non entrant. The nmethod will continue to be
never@1544 417 // alive. It is used when an uncommon trap happens. Returns true
never@1544 418 // if this thread changed the state of the nmethod or false if
never@1544 419 // another thread performed the transition.
anoll@5792 420 bool make_not_entrant() { return make_not_entrant_or_zombie(not_entrant); }
anoll@5792 421 bool make_zombie() { return make_not_entrant_or_zombie(zombie); }
duke@435 422
duke@435 423 // used by jvmti to track if the unload event has been reported
duke@435 424 bool unload_reported() { return _unload_reported; }
duke@435 425 void set_unload_reported() { _unload_reported = true; }
duke@435 426
never@1999 427 bool is_marked_for_deoptimization() const { return _marked_for_deoptimization; }
never@1999 428 void mark_for_deoptimization() { _marked_for_deoptimization = true; }
duke@435 429
duke@435 430 void make_unloaded(BoolObjectClosure* is_alive, oop cause);
duke@435 431
duke@435 432 bool has_dependencies() { return dependencies_size() != 0; }
duke@435 433 void flush_dependencies(BoolObjectClosure* is_alive);
never@1999 434 bool has_flushed_dependencies() { return _has_flushed_dependencies; }
never@1999 435 void set_has_flushed_dependencies() {
duke@435 436 assert(!has_flushed_dependencies(), "should only happen once");
never@1999 437 _has_flushed_dependencies = 1;
duke@435 438 }
duke@435 439
never@1999 440 bool is_marked_for_reclamation() const { return _marked_for_reclamation; }
never@1999 441 void mark_for_reclamation() { _marked_for_reclamation = 1; }
duke@435 442
never@1999 443 bool has_unsafe_access() const { return _has_unsafe_access; }
never@1999 444 void set_has_unsafe_access(bool z) { _has_unsafe_access = z; }
duke@435 445
never@1999 446 bool has_method_handle_invokes() const { return _has_method_handle_invokes; }
never@1999 447 void set_has_method_handle_invokes(bool z) { _has_method_handle_invokes = z; }
twisti@1570 448
never@3500 449 bool is_lazy_critical_native() const { return _lazy_critical_native; }
never@3500 450 void set_lazy_critical_native(bool z) { _lazy_critical_native = z; }
kvn@1637 451
kvn@4103 452 bool has_wide_vectors() const { return _has_wide_vectors; }
kvn@4103 453 void set_has_wide_vectors(bool z) { _has_wide_vectors = z; }
kvn@4103 454
duke@435 455 int comp_level() const { return _comp_level; }
duke@435 456
twisti@1918 457 // Support for oops in scopes and relocs:
twisti@1918 458 // Note: index 0 is reserved for null.
twisti@1918 459 oop oop_at(int index) const { return index == 0 ? (oop) NULL: *oop_addr_at(index); }
twisti@1918 460 oop* oop_addr_at(int index) const { // for GC
twisti@1918 461 // relocation indexes are biased by 1 (because 0 is reserved)
twisti@1918 462 assert(index > 0 && index <= oops_size(), "must be a valid non-zero index");
never@2081 463 assert(!_oops_are_stale, "oops are stale");
twisti@1918 464 return &oops_begin()[index - 1];
twisti@1918 465 }
twisti@1918 466
coleenp@4037 467 // Support for meta data in scopes and relocs:
coleenp@4037 468 // Note: index 0 is reserved for null.
coleenp@4037 469 Metadata* metadata_at(int index) const { return index == 0 ? NULL: *metadata_addr_at(index); }
coleenp@4037 470 Metadata** metadata_addr_at(int index) const { // for GC
coleenp@4037 471 // relocation indexes are biased by 1 (because 0 is reserved)
coleenp@4037 472 assert(index > 0 && index <= metadata_size(), "must be a valid non-zero index");
coleenp@4037 473 return &metadata_begin()[index - 1];
coleenp@4037 474 }
coleenp@4037 475
coleenp@4037 476 void copy_values(GrowableArray<jobject>* oops);
coleenp@4037 477 void copy_values(GrowableArray<Metadata*>* metadata);
twisti@1918 478
twisti@1918 479 // Relocation support
twisti@1918 480 private:
twisti@1918 481 void fix_oop_relocations(address begin, address end, bool initialize_immediates);
twisti@1918 482 inline void initialize_immediate_oop(oop* dest, jobject handle);
twisti@1918 483
twisti@1918 484 public:
twisti@1918 485 void fix_oop_relocations(address begin, address end) { fix_oop_relocations(begin, end, false); }
twisti@1918 486 void fix_oop_relocations() { fix_oop_relocations(NULL, NULL, false); }
never@2657 487 void verify_oop_relocations();
twisti@1918 488
twisti@1918 489 bool is_at_poll_return(address pc);
twisti@1918 490 bool is_at_poll_or_poll_return(address pc);
twisti@1918 491
jmasa@2909 492 // Scavengable oop support
jrose@1424 493 bool on_scavenge_root_list() const { return (_scavenge_root_state & 1) != 0; }
jrose@1424 494 protected:
jmasa@2909 495 enum { sl_on_list = 0x01, sl_marked = 0x10 };
jmasa@2909 496 void set_on_scavenge_root_list() { _scavenge_root_state = sl_on_list; }
jrose@1424 497 void clear_on_scavenge_root_list() { _scavenge_root_state = 0; }
jrose@1424 498 // assertion-checking and pruning logic uses the bits of _scavenge_root_state
jrose@1424 499 #ifndef PRODUCT
jmasa@2909 500 void set_scavenge_root_marked() { _scavenge_root_state |= sl_marked; }
jmasa@2909 501 void clear_scavenge_root_marked() { _scavenge_root_state &= ~sl_marked; }
jmasa@2909 502 bool scavenge_root_not_marked() { return (_scavenge_root_state &~ sl_on_list) == 0; }
jrose@1424 503 // N.B. there is no positive marked query, and we only use the not_marked query for asserts.
jrose@1424 504 #endif //PRODUCT
jrose@1424 505 nmethod* scavenge_root_link() const { return _scavenge_root_link; }
jrose@1424 506 void set_scavenge_root_link(nmethod *n) { _scavenge_root_link = n; }
jrose@1424 507
jrose@1424 508 public:
jrose@1424 509
duke@435 510 // Sweeper support
duke@435 511 long stack_traversal_mark() { return _stack_traversal_mark; }
duke@435 512 void set_stack_traversal_mark(long l) { _stack_traversal_mark = l; }
duke@435 513
duke@435 514 // Exception cache support
duke@435 515 ExceptionCache* exception_cache() const { return _exception_cache; }
duke@435 516 void set_exception_cache(ExceptionCache *ec) { _exception_cache = ec; }
duke@435 517 address handler_for_exception_and_pc(Handle exception, address pc);
duke@435 518 void add_handler_for_exception_and_pc(Handle exception, address pc, address handler);
duke@435 519 void remove_from_exception_cache(ExceptionCache* ec);
duke@435 520
duke@435 521 // implicit exceptions support
duke@435 522 address continuation_for_implicit_exception(address pc);
duke@435 523
duke@435 524 // On-stack replacement support
twisti@2687 525 int osr_entry_bci() const { assert(is_osr_method(), "wrong kind of nmethod"); return _entry_bci; }
twisti@2687 526 address osr_entry() const { assert(is_osr_method(), "wrong kind of nmethod"); return _osr_entry_point; }
duke@435 527 void invalidate_osr_method();
jrose@1424 528 nmethod* osr_link() const { return _osr_link; }
jrose@1424 529 void set_osr_link(nmethod *n) { _osr_link = n; }
duke@435 530
duke@435 531 // tells whether frames described by this nmethod can be deoptimized
duke@435 532 // note: native wrappers cannot be deoptimized.
duke@435 533 bool can_be_deoptimized() const { return is_java_method(); }
duke@435 534
duke@435 535 // Inline cache support
duke@435 536 void clear_inline_caches();
duke@435 537 void cleanup_inline_caches();
duke@435 538 bool inlinecache_check_contains(address addr) const {
twisti@2103 539 return (addr >= code_begin() && addr < verified_entry_point());
duke@435 540 }
duke@435 541
coleenp@4037 542 // Check that all metadata is still alive
coleenp@4037 543 void verify_metadata_loaders(address low_boundary, BoolObjectClosure* is_alive);
coleenp@4037 544
duke@435 545 // unlink and deallocate this nmethod
duke@435 546 // Only NMethodSweeper class is expected to use this. NMethodSweeper is not
duke@435 547 // expected to use any other private methods/data in this class.
duke@435 548
duke@435 549 protected:
duke@435 550 void flush();
duke@435 551
duke@435 552 public:
dcubed@2624 553 // When true is returned, it is unsafe to remove this nmethod even if
dcubed@2624 554 // it is a zombie, since the VM or the ServiceThread might still be
dcubed@2624 555 // using it.
duke@435 556 bool is_locked_by_vm() const { return _lock_count >0; }
duke@435 557
duke@435 558 // See comment at definition of _last_seen_on_stack
duke@435 559 void mark_as_seen_on_stack();
duke@435 560 bool can_not_entrant_be_converted();
duke@435 561
coleenp@4037 562 // Evolution support. We make old (discarded) compiled methods point to new Method*s.
coleenp@4037 563 void set_method(Method* method) { _method = method; }
duke@435 564
duke@435 565 // GC support
brutisso@4098 566 void do_unloading(BoolObjectClosure* is_alive, bool unloading_occurred);
brutisso@4098 567 bool can_unload(BoolObjectClosure* is_alive, oop* root, bool unloading_occurred);
duke@435 568
duke@435 569 void preserve_callee_argument_oops(frame fr, const RegisterMap *reg_map,
duke@435 570 OopClosure* f);
twisti@1918 571 void oops_do(OopClosure* f) { oops_do(f, false); }
johnc@5548 572 void oops_do(OopClosure* f, bool allow_zombie);
jrose@1424 573 bool detect_scavenge_root_oops();
jrose@1424 574 void verify_scavenge_root_oops() PRODUCT_RETURN;
jrose@1424 575
jrose@1424 576 bool test_set_oops_do_mark();
jrose@1424 577 static void oops_do_marking_prologue();
jrose@1424 578 static void oops_do_marking_epilogue();
jrose@1424 579 static bool oops_do_marking_is_active() { return _oops_do_mark_nmethods != NULL; }
johnc@3689 580 bool test_oops_do_mark() { return _oops_do_mark_link != NULL; }
duke@435 581
duke@435 582 // ScopeDesc for an instruction
duke@435 583 ScopeDesc* scope_desc_at(address pc);
duke@435 584
duke@435 585 private:
duke@435 586 ScopeDesc* scope_desc_in(address begin, address end);
duke@435 587
twisti@1639 588 address* orig_pc_addr(const frame* fr) { return (address*) ((address)fr->unextended_sp() + _orig_pc_offset); }
duke@435 589
duke@435 590 PcDesc* find_pc_desc_internal(address pc, bool approximate);
duke@435 591
duke@435 592 PcDesc* find_pc_desc(address pc, bool approximate) {
duke@435 593 PcDesc* desc = _pc_desc_cache.last_pc_desc();
twisti@2103 594 if (desc != NULL && desc->pc_offset() == pc - code_begin()) {
duke@435 595 return desc;
duke@435 596 }
duke@435 597 return find_pc_desc_internal(pc, approximate);
duke@435 598 }
duke@435 599
duke@435 600 public:
duke@435 601 // ScopeDesc retrieval operation
duke@435 602 PcDesc* pc_desc_at(address pc) { return find_pc_desc(pc, false); }
duke@435 603 // pc_desc_near returns the first PcDesc at or after the givne pc.
duke@435 604 PcDesc* pc_desc_near(address pc) { return find_pc_desc(pc, true); }
duke@435 605
duke@435 606 public:
duke@435 607 // copying of debugging information
duke@435 608 void copy_scopes_pcs(PcDesc* pcs, int count);
duke@435 609 void copy_scopes_data(address buffer, int size);
duke@435 610
twisti@1639 611 // Deopt
twisti@1639 612 // Return true is the PC is one would expect if the frame is being deopted.
twisti@1639 613 bool is_deopt_pc (address pc) { return is_deopt_entry(pc) || is_deopt_mh_entry(pc); }
twisti@1639 614 bool is_deopt_entry (address pc) { return pc == deopt_handler_begin(); }
twisti@1639 615 bool is_deopt_mh_entry(address pc) { return pc == deopt_mh_handler_begin(); }
duke@435 616 // Accessor/mutator for the original pc of a frame before a frame was deopted.
duke@435 617 address get_original_pc(const frame* fr) { return *orig_pc_addr(fr); }
duke@435 618 void set_original_pc(const frame* fr, address pc) { *orig_pc_addr(fr) = pc; }
duke@435 619
twisti@1639 620 static address get_deopt_original_pc(const frame* fr);
twisti@1639 621
twisti@1570 622 // MethodHandle
twisti@1570 623 bool is_method_handle_return(address return_pc);
twisti@1570 624
duke@435 625 // jvmti support:
duke@435 626 void post_compiled_method_load_event();
never@1971 627 jmethodID get_and_cache_jmethod_id();
duke@435 628
duke@435 629 // verify operations
duke@435 630 void verify();
duke@435 631 void verify_scopes();
duke@435 632 void verify_interrupt_point(address interrupt_point);
duke@435 633
duke@435 634 // printing support
jrose@535 635 void print() const;
jrose@535 636 void print_code();
duke@435 637 void print_relocations() PRODUCT_RETURN;
duke@435 638 void print_pcs() PRODUCT_RETURN;
duke@435 639 void print_scopes() PRODUCT_RETURN;
duke@435 640 void print_dependencies() PRODUCT_RETURN;
duke@435 641 void print_value_on(outputStream* st) const PRODUCT_RETURN;
duke@435 642 void print_calls(outputStream* st) PRODUCT_RETURN;
duke@435 643 void print_handler_table() PRODUCT_RETURN;
duke@435 644 void print_nul_chk_table() PRODUCT_RETURN;
jrose@535 645 void print_nmethod(bool print_code);
duke@435 646
bobv@2036 647 // need to re-define this from CodeBlob else the overload hides it
bobv@2036 648 virtual void print_on(outputStream* st) const { CodeBlob::print_on(st); }
twisti@2687 649 void print_on(outputStream* st, const char* msg) const;
duke@435 650
duke@435 651 // Logging
duke@435 652 void log_identity(xmlStream* log) const;
duke@435 653 void log_new_nmethod() const;
never@1544 654 void log_state_change() const;
duke@435 655
jrose@1590 656 // Prints block-level comments, including nmethod specific block labels:
kvn@4107 657 virtual void print_block_comment(outputStream* stream, address block_begin) const {
jrose@1590 658 print_nmethod_labels(stream, block_begin);
jrose@1590 659 CodeBlob::print_block_comment(stream, block_begin);
jrose@1590 660 }
kvn@4107 661 void print_nmethod_labels(outputStream* stream, address block_begin) const;
jrose@1590 662
duke@435 663 // Prints a comment for one native instruction (reloc info, pc desc)
jrose@535 664 void print_code_comment_on(outputStream* st, int column, address begin, address end);
duke@435 665 static void print_statistics() PRODUCT_RETURN;
duke@435 666
duke@435 667 // Compiler task identification. Note that all OSR methods
duke@435 668 // are numbered in an independent sequence if CICountOSR is true,
duke@435 669 // and native method wrappers are also numbered independently if
duke@435 670 // CICountNative is true.
duke@435 671 int compile_id() const { return _compile_id; }
duke@435 672 const char* compile_kind() const;
duke@435 673
duke@435 674 // For debugging
duke@435 675 // CompiledIC* IC_at(char* p) const;
duke@435 676 // PrimitiveIC* primitiveIC_at(char* p) const;
duke@435 677 oop embeddedOop_at(address p);
duke@435 678
duke@435 679 // tells if any of this method's dependencies have been invalidated
duke@435 680 // (this is expensive!)
duke@435 681 bool check_all_dependencies();
duke@435 682
duke@435 683 // tells if this compiled method is dependent on the given changes,
duke@435 684 // and the changes have invalidated it
duke@435 685 bool check_dependency_on(DepChange& changes);
duke@435 686
duke@435 687 // Evolution support. Tells if this compiled method is dependent on any of
duke@435 688 // methods m() of class dependee, such that if m() in dependee is replaced,
duke@435 689 // this compiled method will have to be deoptimized.
coleenp@4037 690 bool is_evol_dependent_on(Klass* dependee);
duke@435 691
duke@435 692 // Fast breakpoint support. Tells if this compiled method is
duke@435 693 // dependent on the given method. Returns true if this nmethod
duke@435 694 // corresponds to the given method as well.
coleenp@4037 695 bool is_dependent_on_method(Method* dependee);
duke@435 696
duke@435 697 // is it ok to patch at address?
duke@435 698 bool is_patchable_at(address instr_address);
duke@435 699
duke@435 700 // UseBiasedLocking support
kamg@2361 701 ByteSize native_receiver_sp_offset() {
kamg@2361 702 return _native_receiver_sp_offset;
duke@435 703 }
kamg@2361 704 ByteSize native_basic_lock_sp_offset() {
kamg@2361 705 return _native_basic_lock_sp_offset;
duke@435 706 }
duke@435 707
duke@435 708 // support for code generation
duke@435 709 static int verified_entry_point_offset() { return offset_of(nmethod, _verified_entry_point); }
duke@435 710 static int osr_entry_point_offset() { return offset_of(nmethod, _osr_entry_point); }
duke@435 711 static int entry_bci_offset() { return offset_of(nmethod, _entry_bci); }
duke@435 712
coleenp@4037 713 // RedefineClasses support. Mark metadata in nmethods as on_stack so that
coleenp@4037 714 // redefine classes doesn't purge it.
coleenp@4037 715 static void mark_on_stack(nmethod* nm) {
coleenp@4037 716 nm->metadata_do(Metadata::mark_on_stack);
coleenp@4037 717 }
coleenp@4037 718 void metadata_do(void f(Metadata*));
duke@435 719 };
duke@435 720
dcubed@2624 721 // Locks an nmethod so its code will not get removed and it will not
dcubed@2624 722 // be made into a zombie, even if it is a not_entrant method. After the
dcubed@2624 723 // nmethod becomes a zombie, if CompiledMethodUnload event processing
dcubed@2624 724 // needs to be done, then lock_nmethod() is used directly to keep the
dcubed@2624 725 // generated code from being reused too early.
duke@435 726 class nmethodLocker : public StackObj {
duke@435 727 nmethod* _nm;
duke@435 728
kamg@2511 729 public:
kamg@2511 730
dcubed@2624 731 // note: nm can be NULL
dcubed@2624 732 // Only JvmtiDeferredEvent::compiled_method_unload_event()
dcubed@2624 733 // should pass zombie_ok == true.
dcubed@2624 734 static void lock_nmethod(nmethod* nm, bool zombie_ok = false);
duke@435 735 static void unlock_nmethod(nmethod* nm); // (ditto)
duke@435 736
duke@435 737 nmethodLocker(address pc); // derive nm from pc
duke@435 738 nmethodLocker(nmethod *nm) { _nm = nm; lock_nmethod(_nm); }
duke@435 739 nmethodLocker() { _nm = NULL; }
duke@435 740 ~nmethodLocker() { unlock_nmethod(_nm); }
duke@435 741
duke@435 742 nmethod* code() { return _nm; }
duke@435 743 void set_code(nmethod* new_nm) {
duke@435 744 unlock_nmethod(_nm); // note: This works even if _nm==new_nm.
duke@435 745 _nm = new_nm;
duke@435 746 lock_nmethod(_nm);
duke@435 747 }
duke@435 748 };
stefank@2314 749
stefank@2314 750 #endif // SHARE_VM_CODE_NMETHOD_HPP

mercurial