duke@435: /* xdono@905: * Copyright 1997-2008 Sun Microsystems, Inc. All Rights Reserved. duke@435: * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. duke@435: * duke@435: * This code is free software; you can redistribute it and/or modify it duke@435: * under the terms of the GNU General Public License version 2 only, as duke@435: * published by the Free Software Foundation. duke@435: * duke@435: * This code is distributed in the hope that it will be useful, but WITHOUT duke@435: * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or duke@435: * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License duke@435: * version 2 for more details (a copy is included in the LICENSE file that duke@435: * accompanied this code). duke@435: * duke@435: * You should have received a copy of the GNU General Public License version duke@435: * 2 along with this work; if not, write to the Free Software Foundation, duke@435: * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. duke@435: * duke@435: * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara, duke@435: * CA 95054 USA or visit www.sun.com if you need additional information or duke@435: * have any questions. duke@435: * duke@435: */ duke@435: duke@435: class ThreadSafepointState; duke@435: class ThreadProfiler; duke@435: duke@435: class JvmtiThreadState; duke@435: class JvmtiGetLoadedClassesClosure; duke@435: class ThreadStatistics; duke@435: class ConcurrentLocksDump; duke@435: class ParkEvent ; duke@435: duke@435: class ciEnv; duke@435: class CompileThread; duke@435: class CompileLog; duke@435: class CompileTask; duke@435: class CompileQueue; duke@435: class CompilerCounters; duke@435: class vframeArray; duke@435: duke@435: class DeoptResourceMark; duke@435: class jvmtiDeferredLocalVariableSet; duke@435: duke@435: class GCTaskQueue; duke@435: class ThreadClosure; duke@435: class IdealGraphPrinter; duke@435: duke@435: // Class hierarchy duke@435: // - Thread duke@435: // - VMThread duke@435: // - JavaThread duke@435: // - WatcherThread duke@435: duke@435: class Thread: public ThreadShadow { duke@435: friend class VMStructs; duke@435: private: duke@435: // Exception handling duke@435: // (Note: _pending_exception and friends are in ThreadShadow) duke@435: //oop _pending_exception; // pending exception for current thread duke@435: // const char* _exception_file; // file information for exception (debugging only) duke@435: // int _exception_line; // line information for exception (debugging only) duke@435: duke@435: // Support for forcing alignment of thread objects for biased locking duke@435: void* _real_malloc_address; duke@435: public: duke@435: void* operator new(size_t size); duke@435: void operator delete(void* p); duke@435: private: duke@435: duke@435: // *************************************************************** duke@435: // Suspend and resume support duke@435: // *************************************************************** duke@435: // duke@435: // VM suspend/resume no longer exists - it was once used for various duke@435: // things including safepoints but was deprecated and finally removed duke@435: // in Java 7. Because VM suspension was considered "internal" Java-level duke@435: // suspension was considered "external", and this legacy naming scheme duke@435: // remains. duke@435: // duke@435: // External suspend/resume requests come from JVM_SuspendThread, duke@435: // JVM_ResumeThread, JVMTI SuspendThread, and finally JVMTI duke@435: // ResumeThread. External duke@435: // suspend requests cause _external_suspend to be set and external duke@435: // resume requests cause _external_suspend to be cleared. duke@435: // External suspend requests do not nest on top of other external duke@435: // suspend requests. The higher level APIs reject suspend requests duke@435: // for already suspended threads. duke@435: // duke@435: // The external_suspend duke@435: // flag is checked by has_special_runtime_exit_condition() and java thread duke@435: // will self-suspend when handle_special_runtime_exit_condition() is duke@435: // called. Most uses of the _thread_blocked state in JavaThreads are duke@435: // considered the same as being externally suspended; if the blocking duke@435: // condition lifts, the JavaThread will self-suspend. Other places duke@435: // where VM checks for external_suspend include: duke@435: // + mutex granting (do not enter monitors when thread is suspended) duke@435: // + state transitions from _thread_in_native duke@435: // duke@435: // In general, java_suspend() does not wait for an external suspend duke@435: // request to complete. When it returns, the only guarantee is that duke@435: // the _external_suspend field is true. duke@435: // duke@435: // wait_for_ext_suspend_completion() is used to wait for an external duke@435: // suspend request to complete. External suspend requests are usually duke@435: // followed by some other interface call that requires the thread to duke@435: // be quiescent, e.g., GetCallTrace(). By moving the "wait time" into duke@435: // the interface that requires quiescence, we give the JavaThread a duke@435: // chance to self-suspend before we need it to be quiescent. This duke@435: // improves overall suspend/query performance. duke@435: // duke@435: // _suspend_flags controls the behavior of java_ suspend/resume. duke@435: // It must be set under the protection of SR_lock. Read from the flag is duke@435: // OK without SR_lock as long as the value is only used as a hint. duke@435: // (e.g., check _external_suspend first without lock and then recheck duke@435: // inside SR_lock and finish the suspension) duke@435: // duke@435: // _suspend_flags is also overloaded for other "special conditions" so duke@435: // that a single check indicates whether any special action is needed duke@435: // eg. for async exceptions. duke@435: // ------------------------------------------------------------------- duke@435: // Notes: duke@435: // 1. The suspend/resume logic no longer uses ThreadState in OSThread duke@435: // but we still update its value to keep other part of the system (mainly duke@435: // JVMTI) happy. ThreadState is legacy code (see notes in duke@435: // osThread.hpp). duke@435: // duke@435: // 2. It would be more natural if set_external_suspend() is private and duke@435: // part of java_suspend(), but that probably would affect the suspend/query duke@435: // performance. Need more investigation on this. duke@435: // duke@435: duke@435: // suspend/resume lock: used for self-suspend duke@435: Monitor* _SR_lock; duke@435: duke@435: protected: duke@435: enum SuspendFlags { duke@435: // NOTE: avoid using the sign-bit as cc generates different test code duke@435: // when the sign-bit is used, and sometimes incorrectly - see CR 6398077 duke@435: duke@435: _external_suspend = 0x20000000U, // thread is asked to self suspend duke@435: _ext_suspended = 0x40000000U, // thread has self-suspended duke@435: _deopt_suspend = 0x10000000U, // thread needs to self suspend for deopt duke@435: duke@435: _has_async_exception = 0x00000001U // there is a pending async exception duke@435: }; duke@435: duke@435: // various suspension related flags - atomically updated duke@435: // overloaded for async exception checking in check_special_condition_for_native_trans. duke@435: volatile uint32_t _suspend_flags; duke@435: duke@435: private: duke@435: int _num_nested_signal; duke@435: duke@435: public: duke@435: void enter_signal_handler() { _num_nested_signal++; } duke@435: void leave_signal_handler() { _num_nested_signal--; } duke@435: bool is_inside_signal_handler() const { return _num_nested_signal > 0; } duke@435: duke@435: private: duke@435: // Debug tracing duke@435: static void trace(const char* msg, const Thread* const thread) PRODUCT_RETURN; duke@435: duke@435: // Active_handles points to a block of handles duke@435: JNIHandleBlock* _active_handles; duke@435: duke@435: // One-element thread local free list duke@435: JNIHandleBlock* _free_handle_block; duke@435: duke@435: // Point to the last handle mark duke@435: HandleMark* _last_handle_mark; duke@435: duke@435: // The parity of the last strong_roots iteration in which this thread was duke@435: // claimed as a task. duke@435: jint _oops_do_parity; duke@435: duke@435: public: duke@435: void set_last_handle_mark(HandleMark* mark) { _last_handle_mark = mark; } duke@435: HandleMark* last_handle_mark() const { return _last_handle_mark; } duke@435: private: duke@435: duke@435: // debug support for checking if code does allow safepoints or not duke@435: // GC points in the VM can happen because of allocation, invoking a VM operation, or blocking on duke@435: // mutex, or blocking on an object synchronizer (Java locking). duke@435: // If !allow_safepoint(), then an assertion failure will happen in any of the above cases duke@435: // If !allow_allocation(), then an assertion failure will happen during allocation duke@435: // (Hence, !allow_safepoint() => !allow_allocation()). duke@435: // duke@435: // The two classes No_Safepoint_Verifier and No_Allocation_Verifier are used to set these counters. duke@435: // duke@435: NOT_PRODUCT(int _allow_safepoint_count;) // If 0, thread allow a safepoint to happen duke@435: debug_only (int _allow_allocation_count;) // If 0, the thread is allowed to allocate oops. duke@435: duke@435: // Record when GC is locked out via the GC_locker mechanism duke@435: CHECK_UNHANDLED_OOPS_ONLY(int _gc_locked_out_count;) duke@435: duke@435: friend class No_Alloc_Verifier; duke@435: friend class No_Safepoint_Verifier; duke@435: friend class Pause_No_Safepoint_Verifier; duke@435: friend class ThreadLocalStorage; duke@435: friend class GC_locker; duke@435: duke@435: ThreadLocalAllocBuffer _tlab; // Thread-local eden duke@435: duke@435: int _vm_operation_started_count; // VM_Operation support duke@435: int _vm_operation_completed_count; // VM_Operation support duke@435: duke@435: ObjectMonitor* _current_pending_monitor; // ObjectMonitor this thread duke@435: // is waiting to lock duke@435: bool _current_pending_monitor_is_from_java; // locking is from Java code duke@435: duke@435: // ObjectMonitor on which this thread called Object.wait() duke@435: ObjectMonitor* _current_waiting_monitor; duke@435: duke@435: // Private thread-local objectmonitor list - a simple cache organized as a SLL. duke@435: public: duke@435: ObjectMonitor * omFreeList ; duke@435: int omFreeCount ; // length of omFreeList duke@435: int omFreeProvision ; // reload chunk size duke@435: duke@435: public: duke@435: enum { duke@435: is_definitely_current_thread = true duke@435: }; duke@435: duke@435: // Constructor duke@435: Thread(); duke@435: virtual ~Thread(); duke@435: duke@435: // initializtion duke@435: void initialize_thread_local_storage(); duke@435: duke@435: // thread entry point duke@435: virtual void run(); duke@435: duke@435: // Testers duke@435: virtual bool is_VM_thread() const { return false; } duke@435: virtual bool is_Java_thread() const { return false; } duke@435: // Remove this ifdef when C1 is ported to the compiler interface. duke@435: virtual bool is_Compiler_thread() const { return false; } duke@435: virtual bool is_hidden_from_external_view() const { return false; } duke@435: virtual bool is_jvmti_agent_thread() const { return false; } duke@435: // True iff the thread can perform GC operations at a safepoint. duke@435: // Generally will be true only of VM thread and parallel GC WorkGang duke@435: // threads. duke@435: virtual bool is_GC_task_thread() const { return false; } duke@435: virtual bool is_Watcher_thread() const { return false; } duke@435: virtual bool is_ConcurrentGC_thread() const { return false; } duke@435: duke@435: virtual char* name() const { return (char*)"Unknown thread"; } duke@435: duke@435: // Returns the current thread duke@435: static inline Thread* current(); duke@435: duke@435: // Common thread operations duke@435: static void set_priority(Thread* thread, ThreadPriority priority); duke@435: static ThreadPriority get_priority(const Thread* const thread); duke@435: static void start(Thread* thread); duke@435: static void interrupt(Thread* thr); duke@435: static bool is_interrupted(Thread* thr, bool clear_interrupted); duke@435: duke@435: Monitor* SR_lock() const { return _SR_lock; } duke@435: duke@435: bool has_async_exception() const { return (_suspend_flags & _has_async_exception) != 0; } duke@435: duke@435: void set_suspend_flag(SuspendFlags f) { duke@435: assert(sizeof(jint) == sizeof(_suspend_flags), "size mismatch"); duke@435: uint32_t flags; duke@435: do { duke@435: flags = _suspend_flags; duke@435: } duke@435: while (Atomic::cmpxchg((jint)(flags | f), duke@435: (volatile jint*)&_suspend_flags, duke@435: (jint)flags) != (jint)flags); duke@435: } duke@435: void clear_suspend_flag(SuspendFlags f) { duke@435: assert(sizeof(jint) == sizeof(_suspend_flags), "size mismatch"); duke@435: uint32_t flags; duke@435: do { duke@435: flags = _suspend_flags; duke@435: } duke@435: while (Atomic::cmpxchg((jint)(flags & ~f), duke@435: (volatile jint*)&_suspend_flags, duke@435: (jint)flags) != (jint)flags); duke@435: } duke@435: duke@435: void set_has_async_exception() { duke@435: set_suspend_flag(_has_async_exception); duke@435: } duke@435: void clear_has_async_exception() { duke@435: clear_suspend_flag(_has_async_exception); duke@435: } duke@435: duke@435: // Support for Unhandled Oop detection duke@435: #ifdef CHECK_UNHANDLED_OOPS duke@435: private: duke@435: UnhandledOops *_unhandled_oops; duke@435: public: duke@435: UnhandledOops* unhandled_oops() { return _unhandled_oops; } duke@435: // Mark oop safe for gc. It may be stack allocated but won't move. duke@435: void allow_unhandled_oop(oop *op) { duke@435: if (CheckUnhandledOops) unhandled_oops()->allow_unhandled_oop(op); duke@435: } duke@435: // Clear oops at safepoint so crashes point to unhandled oop violator duke@435: void clear_unhandled_oops() { duke@435: if (CheckUnhandledOops) unhandled_oops()->clear_unhandled_oops(); duke@435: } duke@435: bool is_gc_locked_out() { return _gc_locked_out_count > 0; } duke@435: #endif // CHECK_UNHANDLED_OOPS duke@435: duke@435: public: duke@435: // Installs a pending exception to be inserted later duke@435: static void send_async_exception(oop thread_oop, oop java_throwable); duke@435: duke@435: // Resource area duke@435: ResourceArea* resource_area() const { return _resource_area; } duke@435: void set_resource_area(ResourceArea* area) { _resource_area = area; } duke@435: duke@435: OSThread* osthread() const { return _osthread; } duke@435: void set_osthread(OSThread* thread) { _osthread = thread; } duke@435: duke@435: // JNI handle support duke@435: JNIHandleBlock* active_handles() const { return _active_handles; } duke@435: void set_active_handles(JNIHandleBlock* block) { _active_handles = block; } duke@435: JNIHandleBlock* free_handle_block() const { return _free_handle_block; } duke@435: void set_free_handle_block(JNIHandleBlock* block) { _free_handle_block = block; } duke@435: duke@435: // Internal handle support duke@435: HandleArea* handle_area() const { return _handle_area; } duke@435: void set_handle_area(HandleArea* area) { _handle_area = area; } duke@435: duke@435: // Thread-Local Allocation Buffer (TLAB) support duke@435: ThreadLocalAllocBuffer& tlab() { return _tlab; } duke@435: void initialize_tlab() { duke@435: if (UseTLAB) { duke@435: tlab().initialize(); duke@435: } duke@435: } duke@435: duke@435: // VM operation support duke@435: int vm_operation_ticket() { return ++_vm_operation_started_count; } duke@435: int vm_operation_completed_count() { return _vm_operation_completed_count; } duke@435: void increment_vm_operation_completed_count() { _vm_operation_completed_count++; } duke@435: duke@435: // For tracking the heavyweight monitor the thread is pending on. duke@435: ObjectMonitor* current_pending_monitor() { duke@435: return _current_pending_monitor; duke@435: } duke@435: void set_current_pending_monitor(ObjectMonitor* monitor) { duke@435: _current_pending_monitor = monitor; duke@435: } duke@435: void set_current_pending_monitor_is_from_java(bool from_java) { duke@435: _current_pending_monitor_is_from_java = from_java; duke@435: } duke@435: bool current_pending_monitor_is_from_java() { duke@435: return _current_pending_monitor_is_from_java; duke@435: } duke@435: duke@435: // For tracking the ObjectMonitor on which this thread called Object.wait() duke@435: ObjectMonitor* current_waiting_monitor() { duke@435: return _current_waiting_monitor; duke@435: } duke@435: void set_current_waiting_monitor(ObjectMonitor* monitor) { duke@435: _current_waiting_monitor = monitor; duke@435: } duke@435: duke@435: // GC support duke@435: // Apply "f->do_oop" to all root oops in "this". duke@435: void oops_do(OopClosure* f); duke@435: duke@435: // Handles the parallel case for the method below. duke@435: private: duke@435: bool claim_oops_do_par_case(int collection_parity); duke@435: public: duke@435: // Requires that "collection_parity" is that of the current strong roots duke@435: // iteration. If "is_par" is false, sets the parity of "this" to duke@435: // "collection_parity", and returns "true". If "is_par" is true, duke@435: // uses an atomic instruction to set the current threads parity to duke@435: // "collection_parity", if it is not already. Returns "true" iff the duke@435: // calling thread does the update, this indicates that the calling thread duke@435: // has claimed the thread's stack as a root groop in the current duke@435: // collection. duke@435: bool claim_oops_do(bool is_par, int collection_parity) { duke@435: if (!is_par) { duke@435: _oops_do_parity = collection_parity; duke@435: return true; duke@435: } else { duke@435: return claim_oops_do_par_case(collection_parity); duke@435: } duke@435: } duke@435: duke@435: // Sweeper support duke@435: void nmethods_do(); duke@435: duke@435: // Tells if adr belong to this thread. This is used duke@435: // for checking if a lock is owned by the running thread. xlu@1137: xlu@1137: // Used by fast lock support duke@435: virtual bool is_lock_owned(address adr) const; duke@435: duke@435: // Check if address is in the stack of the thread (not just for locks). xlu@1137: // Warning: the method can only be used on the running thread duke@435: bool is_in_stack(address adr) const; duke@435: duke@435: // Sets this thread as starting thread. Returns failure if thread duke@435: // creation fails due to lack of memory, too many threads etc. duke@435: bool set_as_starting_thread(); duke@435: duke@435: protected: duke@435: // OS data associated with the thread duke@435: OSThread* _osthread; // Platform-specific thread information duke@435: duke@435: // Thread local resource area for temporary allocation within the VM duke@435: ResourceArea* _resource_area; duke@435: duke@435: // Thread local handle area for allocation of handles within the VM duke@435: HandleArea* _handle_area; duke@435: duke@435: // Support for stack overflow handling, get_thread, etc. duke@435: address _stack_base; duke@435: size_t _stack_size; duke@435: uintptr_t _self_raw_id; // used by get_thread (mutable) duke@435: int _lgrp_id; duke@435: duke@435: public: duke@435: // Stack overflow support duke@435: address stack_base() const { assert(_stack_base != NULL,"Sanity check"); return _stack_base; } duke@435: duke@435: void set_stack_base(address base) { _stack_base = base; } duke@435: size_t stack_size() const { return _stack_size; } duke@435: void set_stack_size(size_t size) { _stack_size = size; } duke@435: void record_stack_base_and_size(); duke@435: duke@435: int lgrp_id() const { return _lgrp_id; } duke@435: void set_lgrp_id(int value) { _lgrp_id = value; } duke@435: duke@435: // Printing duke@435: void print_on(outputStream* st) const; duke@435: void print() const { print_on(tty); } duke@435: virtual void print_on_error(outputStream* st, char* buf, int buflen) const; duke@435: duke@435: // Debug-only code duke@435: duke@435: #ifdef ASSERT duke@435: private: duke@435: // Deadlock detection support for Mutex locks. List of locks own by thread. duke@435: Monitor *_owned_locks; duke@435: // Mutex::set_owner_implementation is the only place where _owned_locks is modified, duke@435: // thus the friendship duke@435: friend class Mutex; duke@435: friend class Monitor; duke@435: duke@435: public: duke@435: void print_owned_locks_on(outputStream* st) const; duke@435: void print_owned_locks() const { print_owned_locks_on(tty); } duke@435: Monitor * owned_locks() const { return _owned_locks; } duke@435: bool owns_locks() const { return owned_locks() != NULL; } duke@435: bool owns_locks_but_compiled_lock() const; duke@435: duke@435: // Deadlock detection duke@435: bool allow_allocation() { return _allow_allocation_count == 0; } duke@435: #endif duke@435: duke@435: void check_for_valid_safepoint_state(bool potential_vm_operation) PRODUCT_RETURN; duke@435: duke@435: private: duke@435: volatile int _jvmti_env_iteration_count; duke@435: duke@435: public: duke@435: void entering_jvmti_env_iteration() { ++_jvmti_env_iteration_count; } duke@435: void leaving_jvmti_env_iteration() { --_jvmti_env_iteration_count; } duke@435: bool is_inside_jvmti_env_iteration() { return _jvmti_env_iteration_count > 0; } duke@435: duke@435: // Code generation duke@435: static ByteSize exception_file_offset() { return byte_offset_of(Thread, _exception_file ); } duke@435: static ByteSize exception_line_offset() { return byte_offset_of(Thread, _exception_line ); } duke@435: static ByteSize active_handles_offset() { return byte_offset_of(Thread, _active_handles ); } duke@435: duke@435: static ByteSize stack_base_offset() { return byte_offset_of(Thread, _stack_base ); } duke@435: static ByteSize stack_size_offset() { return byte_offset_of(Thread, _stack_size ); } duke@435: static ByteSize omFreeList_offset() { return byte_offset_of(Thread, omFreeList); } duke@435: duke@435: #define TLAB_FIELD_OFFSET(name) \ duke@435: static ByteSize tlab_##name##_offset() { return byte_offset_of(Thread, _tlab) + ThreadLocalAllocBuffer::name##_offset(); } duke@435: duke@435: TLAB_FIELD_OFFSET(start) duke@435: TLAB_FIELD_OFFSET(end) duke@435: TLAB_FIELD_OFFSET(top) duke@435: TLAB_FIELD_OFFSET(pf_top) duke@435: TLAB_FIELD_OFFSET(size) // desired_size duke@435: TLAB_FIELD_OFFSET(refill_waste_limit) duke@435: TLAB_FIELD_OFFSET(number_of_refills) duke@435: TLAB_FIELD_OFFSET(fast_refill_waste) duke@435: TLAB_FIELD_OFFSET(slow_allocations) duke@435: duke@435: #undef TLAB_FIELD_OFFSET duke@435: duke@435: public: duke@435: volatile intptr_t _Stalled ; duke@435: volatile int _TypeTag ; duke@435: ParkEvent * _ParkEvent ; // for synchronized() duke@435: ParkEvent * _SleepEvent ; // for Thread.sleep duke@435: ParkEvent * _MutexEvent ; // for native internal Mutex/Monitor duke@435: ParkEvent * _MuxEvent ; // for low-level muxAcquire-muxRelease duke@435: int NativeSyncRecursion ; // diagnostic duke@435: duke@435: volatile int _OnTrap ; // Resume-at IP delta duke@435: jint _hashStateW ; // Marsaglia Shift-XOR thread-local RNG duke@435: jint _hashStateX ; // thread-specific hashCode generator state duke@435: jint _hashStateY ; duke@435: jint _hashStateZ ; duke@435: void * _schedctl ; duke@435: duke@435: intptr_t _ScratchA, _ScratchB ; // Scratch locations for fast-path sync code duke@435: static ByteSize ScratchA_offset() { return byte_offset_of(Thread, _ScratchA ); } duke@435: static ByteSize ScratchB_offset() { return byte_offset_of(Thread, _ScratchB ); } duke@435: duke@435: volatile jint rng [4] ; // RNG for spin loop duke@435: duke@435: // Low-level leaf-lock primitives used to implement synchronization duke@435: // and native monitor-mutex infrastructure. duke@435: // Not for general synchronization use. duke@435: static void SpinAcquire (volatile int * Lock, const char * Name) ; duke@435: static void SpinRelease (volatile int * Lock) ; duke@435: static void muxAcquire (volatile intptr_t * Lock, const char * Name) ; duke@435: static void muxAcquireW (volatile intptr_t * Lock, ParkEvent * ev) ; duke@435: static void muxRelease (volatile intptr_t * Lock) ; duke@435: duke@435: }; duke@435: duke@435: // Inline implementation of Thread::current() duke@435: // Thread::current is "hot" it's called > 128K times in the 1st 500 msecs of duke@435: // startup. duke@435: // ThreadLocalStorage::thread is warm -- it's called > 16K times in the same duke@435: // period. This is inlined in thread_.inline.hpp. duke@435: duke@435: inline Thread* Thread::current() { duke@435: #ifdef ASSERT duke@435: // This function is very high traffic. Define PARANOID to enable expensive duke@435: // asserts. duke@435: #ifdef PARANOID duke@435: // Signal handler should call ThreadLocalStorage::get_thread_slow() duke@435: Thread* t = ThreadLocalStorage::get_thread_slow(); duke@435: assert(t != NULL && !t->is_inside_signal_handler(), duke@435: "Don't use Thread::current() inside signal handler"); duke@435: #endif duke@435: #endif duke@435: Thread* thread = ThreadLocalStorage::thread(); duke@435: assert(thread != NULL, "just checking"); duke@435: return thread; duke@435: } duke@435: duke@435: // Name support for threads. non-JavaThread subclasses with multiple duke@435: // uniquely named instances should derive from this. duke@435: class NamedThread: public Thread { duke@435: friend class VMStructs; duke@435: enum { duke@435: max_name_len = 64 duke@435: }; duke@435: private: duke@435: char* _name; duke@435: public: duke@435: NamedThread(); duke@435: ~NamedThread(); duke@435: // May only be called once per thread. duke@435: void set_name(const char* format, ...); duke@435: virtual char* name() const { return _name == NULL ? (char*)"Unknown Thread" : _name; } duke@435: }; duke@435: duke@435: // Worker threads are named and have an id of an assigned work. duke@435: class WorkerThread: public NamedThread { duke@435: private: duke@435: uint _id; duke@435: public: duke@435: WorkerThread() : _id(0) { } duke@435: void set_id(uint work_id) { _id = work_id; } duke@435: uint id() const { return _id; } duke@435: }; duke@435: duke@435: // A single WatcherThread is used for simulating timer interrupts. duke@435: class WatcherThread: public Thread { duke@435: friend class VMStructs; duke@435: public: duke@435: virtual void run(); duke@435: duke@435: private: duke@435: static WatcherThread* _watcher_thread; duke@435: duke@435: static bool _should_terminate; duke@435: public: duke@435: enum SomeConstants { duke@435: delay_interval = 10 // interrupt delay in milliseconds duke@435: }; duke@435: duke@435: // Constructor duke@435: WatcherThread(); duke@435: duke@435: // Tester duke@435: bool is_Watcher_thread() const { return true; } duke@435: duke@435: // Printing duke@435: char* name() const { return (char*)"VM Periodic Task Thread"; } duke@435: void print_on(outputStream* st) const; duke@435: void print() const { print_on(tty); } duke@435: duke@435: // Returns the single instance of WatcherThread duke@435: static WatcherThread* watcher_thread() { return _watcher_thread; } duke@435: duke@435: // Create and start the single instance of WatcherThread, or stop it on shutdown duke@435: static void start(); duke@435: static void stop(); duke@435: }; duke@435: duke@435: duke@435: class CompilerThread; duke@435: duke@435: typedef void (*ThreadFunction)(JavaThread*, TRAPS); duke@435: duke@435: class JavaThread: public Thread { duke@435: friend class VMStructs; duke@435: private: duke@435: JavaThread* _next; // The next thread in the Threads list duke@435: oop _threadObj; // The Java level thread object duke@435: duke@435: #ifdef ASSERT duke@435: private: duke@435: int _java_call_counter; duke@435: duke@435: public: duke@435: int java_call_counter() { return _java_call_counter; } duke@435: void inc_java_call_counter() { _java_call_counter++; } duke@435: void dec_java_call_counter() { duke@435: assert(_java_call_counter > 0, "Invalid nesting of JavaCallWrapper"); duke@435: _java_call_counter--; duke@435: } duke@435: private: // restore original namespace restriction duke@435: #endif // ifdef ASSERT duke@435: duke@435: #ifndef PRODUCT duke@435: public: duke@435: enum { duke@435: jump_ring_buffer_size = 16 duke@435: }; duke@435: private: // restore original namespace restriction duke@435: #endif duke@435: duke@435: JavaFrameAnchor _anchor; // Encapsulation of current java frame and it state duke@435: duke@435: ThreadFunction _entry_point; duke@435: duke@435: JNIEnv _jni_environment; duke@435: duke@435: // Deopt support duke@435: DeoptResourceMark* _deopt_mark; // Holds special ResourceMark for deoptimization duke@435: duke@435: intptr_t* _must_deopt_id; // id of frame that needs to be deopted once we duke@435: // transition out of native duke@435: duke@435: vframeArray* _vframe_array_head; // Holds the heap of the active vframeArrays duke@435: vframeArray* _vframe_array_last; // Holds last vFrameArray we popped duke@435: // Because deoptimization is lazy we must save jvmti requests to set locals duke@435: // in compiled frames until we deoptimize and we have an interpreter frame. duke@435: // This holds the pointer to array (yeah like there might be more than one) of duke@435: // description of compiled vframes that have locals that need to be updated. duke@435: GrowableArray* _deferred_locals_updates; duke@435: duke@435: // Handshake value for fixing 6243940. We need a place for the i2c duke@435: // adapter to store the callee methodOop. This value is NEVER live duke@435: // across a gc point so it does NOT have to be gc'd duke@435: // The handshake is open ended since we can't be certain that it will duke@435: // be NULLed. This is because we rarely ever see the race and end up duke@435: // in handle_wrong_method which is the backend of the handshake. See duke@435: // code in i2c adapters and handle_wrong_method. duke@435: duke@435: methodOop _callee_target; duke@435: duke@435: // Oop results of VM runtime calls duke@435: oop _vm_result; // Used to pass back an oop result into Java code, GC-preserved duke@435: oop _vm_result_2; // Used to pass back an oop result into Java code, GC-preserved duke@435: duke@435: MonitorChunk* _monitor_chunks; // Contains the off stack monitors duke@435: // allocated during deoptimization duke@435: // and by JNI_MonitorEnter/Exit duke@435: duke@435: // Async. requests support duke@435: enum AsyncRequests { duke@435: _no_async_condition = 0, duke@435: _async_exception, duke@435: _async_unsafe_access_error duke@435: }; duke@435: AsyncRequests _special_runtime_exit_condition; // Enum indicating pending async. request duke@435: oop _pending_async_exception; duke@435: duke@435: // Safepoint support duke@435: public: // Expose _thread_state for SafeFetchInt() duke@435: volatile JavaThreadState _thread_state; duke@435: private: duke@435: ThreadSafepointState *_safepoint_state; // Holds information about a thread during a safepoint duke@435: address _saved_exception_pc; // Saved pc of instruction where last implicit exception happened duke@435: duke@435: // JavaThread termination support duke@435: enum TerminatedTypes { duke@435: _not_terminated = 0xDEAD - 2, duke@435: _thread_exiting, // JavaThread::exit() has been called for this thread duke@435: _thread_terminated, // JavaThread is removed from thread list duke@435: _vm_exited // JavaThread is still executing native code, but VM is terminated duke@435: // only VM_Exit can set _vm_exited duke@435: }; duke@435: duke@435: // In general a JavaThread's _terminated field transitions as follows: duke@435: // duke@435: // _not_terminated => _thread_exiting => _thread_terminated duke@435: // duke@435: // _vm_exited is a special value to cover the case of a JavaThread duke@435: // executing native code after the VM itself is terminated. duke@435: TerminatedTypes _terminated; duke@435: // suspend/resume support duke@435: volatile bool _suspend_equivalent; // Suspend equivalent condition duke@435: jint _in_deopt_handler; // count of deoptimization duke@435: // handlers thread is in duke@435: volatile bool _doing_unsafe_access; // Thread may fault due to unsafe access duke@435: bool _do_not_unlock_if_synchronized; // Do not unlock the receiver of a synchronized method (since it was duke@435: // never locked) when throwing an exception. Used by interpreter only. duke@435: duke@435: // Flag to mark a JNI thread in the process of attaching - See CR 6404306 duke@435: // This flag is never set true other than at construction, and in that case duke@435: // is shortly thereafter set false duke@435: volatile bool _is_attaching; duke@435: duke@435: public: duke@435: // State of the stack guard pages for this thread. duke@435: enum StackGuardState { duke@435: stack_guard_unused, // not needed duke@435: stack_guard_yellow_disabled,// disabled (temporarily) after stack overflow duke@435: stack_guard_enabled // enabled duke@435: }; duke@435: duke@435: private: duke@435: duke@435: StackGuardState _stack_guard_state; duke@435: duke@435: // Compiler exception handling (NOTE: The _exception_oop is *NOT* the same as _pending_exception. It is duke@435: // used to temp. parsing values into and out of the runtime system during exception handling for compiled duke@435: // code) duke@435: volatile oop _exception_oop; // Exception thrown in compiled code duke@435: volatile address _exception_pc; // PC where exception happened duke@435: volatile address _exception_handler_pc; // PC for handler of exception duke@435: volatile int _exception_stack_size; // Size of frame where exception happened duke@435: duke@435: // support for compilation duke@435: bool _is_compiling; // is true if a compilation is active inthis thread (one compilation per thread possible) duke@435: duke@435: // support for JNI critical regions duke@435: jint _jni_active_critical; // count of entries into JNI critical region duke@435: duke@435: // For deadlock detection. duke@435: int _depth_first_number; duke@435: duke@435: // JVMTI PopFrame support duke@435: // This is set to popframe_pending to signal that top Java frame should be popped immediately duke@435: int _popframe_condition; duke@435: duke@435: #ifndef PRODUCT duke@435: int _jmp_ring_index; duke@435: struct { duke@435: // We use intptr_t instead of address so debugger doesn't try and display strings duke@435: intptr_t _target; duke@435: intptr_t _instruction; duke@435: const char* _file; duke@435: int _line; duke@435: } _jmp_ring[ jump_ring_buffer_size ]; duke@435: #endif /* PRODUCT */ duke@435: ysr@777: #ifndef SERIALGC ysr@777: // Support for G1 barriers ysr@777: ysr@777: ObjPtrQueue _satb_mark_queue; // Thread-local log for SATB barrier. ysr@777: // Set of all such queues. ysr@777: static SATBMarkQueueSet _satb_mark_queue_set; ysr@777: ysr@777: DirtyCardQueue _dirty_card_queue; // Thread-local log for dirty cards. ysr@777: // Set of all such queues. ysr@777: static DirtyCardQueueSet _dirty_card_queue_set; iveresov@876: iveresov@876: void flush_barrier_queues(); ysr@777: #endif // !SERIALGC ysr@777: duke@435: friend class VMThread; duke@435: friend class ThreadWaitTransition; duke@435: friend class VM_Exit; duke@435: duke@435: void initialize(); // Initialized the instance variables duke@435: duke@435: public: duke@435: // Constructor duke@435: JavaThread(bool is_attaching = false); // for main thread and JNI attached threads duke@435: JavaThread(ThreadFunction entry_point, size_t stack_size = 0); duke@435: ~JavaThread(); duke@435: duke@435: #ifdef ASSERT duke@435: // verify this JavaThread hasn't be published in the Threads::list yet duke@435: void verify_not_published(); duke@435: #endif duke@435: duke@435: //JNI functiontable getter/setter for JVMTI jni function table interception API. duke@435: void set_jni_functions(struct JNINativeInterface_* functionTable) { duke@435: _jni_environment.functions = functionTable; duke@435: } duke@435: struct JNINativeInterface_* get_jni_functions() { duke@435: return (struct JNINativeInterface_ *)_jni_environment.functions; duke@435: } duke@435: duke@435: // Executes Shutdown.shutdown() duke@435: void invoke_shutdown_hooks(); duke@435: duke@435: // Cleanup on thread exit duke@435: enum ExitType { duke@435: normal_exit, duke@435: jni_detach duke@435: }; duke@435: void exit(bool destroy_vm, ExitType exit_type = normal_exit); duke@435: duke@435: void cleanup_failed_attach_current_thread(); duke@435: duke@435: // Testers duke@435: virtual bool is_Java_thread() const { return true; } duke@435: duke@435: // compilation duke@435: void set_is_compiling(bool f) { _is_compiling = f; } duke@435: bool is_compiling() const { return _is_compiling; } duke@435: duke@435: // Thread chain operations duke@435: JavaThread* next() const { return _next; } duke@435: void set_next(JavaThread* p) { _next = p; } duke@435: duke@435: // Thread oop. threadObj() can be NULL for initial JavaThread duke@435: // (or for threads attached via JNI) duke@435: oop threadObj() const { return _threadObj; } duke@435: void set_threadObj(oop p) { _threadObj = p; } duke@435: duke@435: ThreadPriority java_priority() const; // Read from threadObj() duke@435: duke@435: // Prepare thread and add to priority queue. If a priority is duke@435: // not specified, use the priority of the thread object. Threads_lock duke@435: // must be held while this function is called. duke@435: void prepare(jobject jni_thread, ThreadPriority prio=NoPriority); duke@435: duke@435: void set_saved_exception_pc(address pc) { _saved_exception_pc = pc; } duke@435: address saved_exception_pc() { return _saved_exception_pc; } duke@435: duke@435: duke@435: ThreadFunction entry_point() const { return _entry_point; } duke@435: duke@435: // Allocates a new Java level thread object for this thread. thread_name may be NULL. duke@435: void allocate_threadObj(Handle thread_group, char* thread_name, bool daemon, TRAPS); duke@435: duke@435: // Last frame anchor routines duke@435: duke@435: JavaFrameAnchor* frame_anchor(void) { return &_anchor; } duke@435: duke@435: // last_Java_sp duke@435: bool has_last_Java_frame() const { return _anchor.has_last_Java_frame(); } duke@435: intptr_t* last_Java_sp() const { return _anchor.last_Java_sp(); } duke@435: duke@435: // last_Java_pc duke@435: duke@435: address last_Java_pc(void) { return _anchor.last_Java_pc(); } duke@435: duke@435: // Safepoint support duke@435: JavaThreadState thread_state() const { return _thread_state; } duke@435: void set_thread_state(JavaThreadState s) { _thread_state=s; } duke@435: ThreadSafepointState *safepoint_state() const { return _safepoint_state; } duke@435: void set_safepoint_state(ThreadSafepointState *state) { _safepoint_state = state; } duke@435: bool is_at_poll_safepoint() { return _safepoint_state->is_at_poll_safepoint(); } duke@435: duke@435: // thread has called JavaThread::exit() or is terminated duke@435: bool is_exiting() { return _terminated == _thread_exiting || is_terminated(); } duke@435: // thread is terminated (no longer on the threads list); we compare duke@435: // against the two non-terminated values so that a freed JavaThread duke@435: // will also be considered terminated. duke@435: bool is_terminated() { return _terminated != _not_terminated && _terminated != _thread_exiting; } duke@435: void set_terminated(TerminatedTypes t) { _terminated = t; } duke@435: // special for Threads::remove() which is static: duke@435: void set_terminated_value() { _terminated = _thread_terminated; } duke@435: void block_if_vm_exited(); duke@435: duke@435: bool doing_unsafe_access() { return _doing_unsafe_access; } duke@435: void set_doing_unsafe_access(bool val) { _doing_unsafe_access = val; } duke@435: duke@435: bool do_not_unlock_if_synchronized() { return _do_not_unlock_if_synchronized; } duke@435: void set_do_not_unlock_if_synchronized(bool val) { _do_not_unlock_if_synchronized = val; } duke@435: duke@435: duke@435: // Suspend/resume support for JavaThread duke@435: duke@435: private: duke@435: void set_ext_suspended() { set_suspend_flag (_ext_suspended); } duke@435: void clear_ext_suspended() { clear_suspend_flag(_ext_suspended); } duke@435: duke@435: public: duke@435: void java_suspend(); duke@435: void java_resume(); duke@435: int java_suspend_self(); duke@435: duke@435: void check_and_wait_while_suspended() { duke@435: assert(JavaThread::current() == this, "sanity check"); duke@435: duke@435: bool do_self_suspend; duke@435: do { duke@435: // were we externally suspended while we were waiting? duke@435: do_self_suspend = handle_special_suspend_equivalent_condition(); duke@435: if (do_self_suspend) { duke@435: // don't surprise the thread that suspended us by returning duke@435: java_suspend_self(); duke@435: set_suspend_equivalent(); duke@435: } duke@435: } while (do_self_suspend); duke@435: } duke@435: static void check_safepoint_and_suspend_for_native_trans(JavaThread *thread); duke@435: // Check for async exception in addition to safepoint and suspend request. duke@435: static void check_special_condition_for_native_trans(JavaThread *thread); duke@435: duke@435: bool is_ext_suspend_completed(bool called_by_wait, int delay, uint32_t *bits); duke@435: bool is_ext_suspend_completed_with_lock(uint32_t *bits) { duke@435: MutexLockerEx ml(SR_lock(), Mutex::_no_safepoint_check_flag); duke@435: // Warning: is_ext_suspend_completed() may temporarily drop the duke@435: // SR_lock to allow the thread to reach a stable thread state if duke@435: // it is currently in a transient thread state. duke@435: return is_ext_suspend_completed(false /*!called_by_wait */, duke@435: SuspendRetryDelay, bits); duke@435: } duke@435: duke@435: // We cannot allow wait_for_ext_suspend_completion() to run forever or duke@435: // we could hang. SuspendRetryCount and SuspendRetryDelay are normally duke@435: // passed as the count and delay parameters. Experiments with specific duke@435: // calls to wait_for_ext_suspend_completion() can be done by passing duke@435: // other values in the code. Experiments with all calls can be done duke@435: // via the appropriate -XX options. duke@435: bool wait_for_ext_suspend_completion(int count, int delay, uint32_t *bits); duke@435: duke@435: void set_external_suspend() { set_suspend_flag (_external_suspend); } duke@435: void clear_external_suspend() { clear_suspend_flag(_external_suspend); } duke@435: duke@435: void set_deopt_suspend() { set_suspend_flag (_deopt_suspend); } duke@435: void clear_deopt_suspend() { clear_suspend_flag(_deopt_suspend); } duke@435: bool is_deopt_suspend() { return (_suspend_flags & _deopt_suspend) != 0; } duke@435: duke@435: bool is_external_suspend() const { duke@435: return (_suspend_flags & _external_suspend) != 0; duke@435: } duke@435: // Whenever a thread transitions from native to vm/java it must suspend duke@435: // if external|deopt suspend is present. duke@435: bool is_suspend_after_native() const { duke@435: return (_suspend_flags & (_external_suspend | _deopt_suspend) ) != 0; duke@435: } duke@435: duke@435: // external suspend request is completed duke@435: bool is_ext_suspended() const { duke@435: return (_suspend_flags & _ext_suspended) != 0; duke@435: } duke@435: duke@435: // legacy method that checked for either external suspension or vm suspension duke@435: bool is_any_suspended() const { duke@435: return is_ext_suspended(); duke@435: } duke@435: duke@435: bool is_external_suspend_with_lock() const { duke@435: MutexLockerEx ml(SR_lock(), Mutex::_no_safepoint_check_flag); duke@435: return is_external_suspend(); duke@435: } duke@435: duke@435: // Special method to handle a pending external suspend request duke@435: // when a suspend equivalent condition lifts. duke@435: bool handle_special_suspend_equivalent_condition() { duke@435: assert(is_suspend_equivalent(), duke@435: "should only be called in a suspend equivalence condition"); duke@435: MutexLockerEx ml(SR_lock(), Mutex::_no_safepoint_check_flag); duke@435: bool ret = is_external_suspend(); duke@435: if (!ret) { duke@435: // not about to self-suspend so clear suspend equivalence duke@435: clear_suspend_equivalent(); duke@435: } duke@435: // implied else: duke@435: // We have a pending external suspend request so we leave the duke@435: // suspend_equivalent flag set until java_suspend_self() sets duke@435: // the ext_suspended flag and clears the suspend_equivalent duke@435: // flag. This insures that wait_for_ext_suspend_completion() duke@435: // will return consistent values. duke@435: return ret; duke@435: } duke@435: duke@435: bool is_any_suspended_with_lock() const { duke@435: MutexLockerEx ml(SR_lock(), Mutex::_no_safepoint_check_flag); duke@435: return is_any_suspended(); duke@435: } duke@435: // utility methods to see if we are doing some kind of suspension duke@435: bool is_being_ext_suspended() const { duke@435: MutexLockerEx ml(SR_lock(), Mutex::_no_safepoint_check_flag); duke@435: return is_ext_suspended() || is_external_suspend(); duke@435: } duke@435: duke@435: bool is_suspend_equivalent() const { return _suspend_equivalent; } duke@435: duke@435: void set_suspend_equivalent() { _suspend_equivalent = true; }; duke@435: void clear_suspend_equivalent() { _suspend_equivalent = false; }; duke@435: duke@435: // Thread.stop support duke@435: void send_thread_stop(oop throwable); duke@435: AsyncRequests clear_special_runtime_exit_condition() { duke@435: AsyncRequests x = _special_runtime_exit_condition; duke@435: _special_runtime_exit_condition = _no_async_condition; duke@435: return x; duke@435: } duke@435: duke@435: // Are any async conditions present? duke@435: bool has_async_condition() { return (_special_runtime_exit_condition != _no_async_condition); } duke@435: duke@435: void check_and_handle_async_exceptions(bool check_unsafe_error = true); duke@435: duke@435: // these next two are also used for self-suspension and async exception support duke@435: void handle_special_runtime_exit_condition(bool check_asyncs = true); duke@435: duke@435: // Return true if JavaThread has an asynchronous condition or duke@435: // if external suspension is requested. duke@435: bool has_special_runtime_exit_condition() { duke@435: // We call is_external_suspend() last since external suspend should duke@435: // be less common. Because we don't use is_external_suspend_with_lock duke@435: // it is possible that we won't see an asynchronous external suspend duke@435: // request that has just gotten started, i.e., SR_lock grabbed but duke@435: // _external_suspend field change either not made yet or not visible duke@435: // yet. However, this is okay because the request is asynchronous and duke@435: // we will see the new flag value the next time through. It's also duke@435: // possible that the external suspend request is dropped after duke@435: // we have checked is_external_suspend(), we will recheck its value duke@435: // under SR_lock in java_suspend_self(). duke@435: return (_special_runtime_exit_condition != _no_async_condition) || duke@435: is_external_suspend() || is_deopt_suspend(); duke@435: } duke@435: duke@435: void set_pending_unsafe_access_error() { _special_runtime_exit_condition = _async_unsafe_access_error; } duke@435: duke@435: void set_pending_async_exception(oop e) { duke@435: _pending_async_exception = e; duke@435: _special_runtime_exit_condition = _async_exception; duke@435: set_has_async_exception(); duke@435: } duke@435: duke@435: // Fast-locking support duke@435: bool is_lock_owned(address adr) const; duke@435: duke@435: // Accessors for vframe array top duke@435: // The linked list of vframe arrays are sorted on sp. This means when we duke@435: // unpack the head must contain the vframe array to unpack. duke@435: void set_vframe_array_head(vframeArray* value) { _vframe_array_head = value; } duke@435: vframeArray* vframe_array_head() const { return _vframe_array_head; } duke@435: duke@435: // Side structure for defering update of java frame locals until deopt occurs duke@435: GrowableArray* deferred_locals() const { return _deferred_locals_updates; } duke@435: void set_deferred_locals(GrowableArray* vf) { _deferred_locals_updates = vf; } duke@435: duke@435: // These only really exist to make debugging deopt problems simpler duke@435: duke@435: void set_vframe_array_last(vframeArray* value) { _vframe_array_last = value; } duke@435: vframeArray* vframe_array_last() const { return _vframe_array_last; } duke@435: duke@435: // The special resourceMark used during deoptimization duke@435: duke@435: void set_deopt_mark(DeoptResourceMark* value) { _deopt_mark = value; } duke@435: DeoptResourceMark* deopt_mark(void) { return _deopt_mark; } duke@435: duke@435: intptr_t* must_deopt_id() { return _must_deopt_id; } duke@435: void set_must_deopt_id(intptr_t* id) { _must_deopt_id = id; } duke@435: void clear_must_deopt_id() { _must_deopt_id = NULL; } duke@435: duke@435: methodOop callee_target() const { return _callee_target; } duke@435: void set_callee_target (methodOop x) { _callee_target = x; } duke@435: duke@435: // Oop results of vm runtime calls duke@435: oop vm_result() const { return _vm_result; } duke@435: void set_vm_result (oop x) { _vm_result = x; } duke@435: duke@435: oop vm_result_2() const { return _vm_result_2; } duke@435: void set_vm_result_2 (oop x) { _vm_result_2 = x; } duke@435: duke@435: // Exception handling for compiled methods duke@435: oop exception_oop() const { return _exception_oop; } duke@435: int exception_stack_size() const { return _exception_stack_size; } duke@435: address exception_pc() const { return _exception_pc; } duke@435: address exception_handler_pc() const { return _exception_handler_pc; } duke@435: duke@435: void set_exception_oop(oop o) { _exception_oop = o; } duke@435: void set_exception_pc(address a) { _exception_pc = a; } duke@435: void set_exception_handler_pc(address a) { _exception_handler_pc = a; } duke@435: void set_exception_stack_size(int size) { _exception_stack_size = size; } duke@435: duke@435: // Stack overflow support duke@435: inline size_t stack_available(address cur_sp); duke@435: address stack_yellow_zone_base() duke@435: { return (address)(stack_base() - (stack_size() - (stack_red_zone_size() + stack_yellow_zone_size()))); } duke@435: size_t stack_yellow_zone_size() duke@435: { return StackYellowPages * os::vm_page_size(); } duke@435: address stack_red_zone_base() duke@435: { return (address)(stack_base() - (stack_size() - stack_red_zone_size())); } duke@435: size_t stack_red_zone_size() duke@435: { return StackRedPages * os::vm_page_size(); } duke@435: bool in_stack_yellow_zone(address a) duke@435: { return (a <= stack_yellow_zone_base()) && (a >= stack_red_zone_base()); } duke@435: bool in_stack_red_zone(address a) duke@435: { return (a <= stack_red_zone_base()) && (a >= (address)((intptr_t)stack_base() - stack_size())); } duke@435: duke@435: void create_stack_guard_pages(); duke@435: void remove_stack_guard_pages(); duke@435: duke@435: void enable_stack_yellow_zone(); duke@435: void disable_stack_yellow_zone(); duke@435: void enable_stack_red_zone(); duke@435: void disable_stack_red_zone(); duke@435: duke@435: inline bool stack_yellow_zone_disabled(); duke@435: inline bool stack_yellow_zone_enabled(); duke@435: duke@435: // Attempt to reguard the stack after a stack overflow may have occurred. duke@435: // Returns true if (a) guard pages are not needed on this thread, (b) the duke@435: // pages are already guarded, or (c) the pages were successfully reguarded. duke@435: // Returns false if there is not enough stack space to reguard the pages, in duke@435: // which case the caller should unwind a frame and try again. The argument duke@435: // should be the caller's (approximate) sp. duke@435: bool reguard_stack(address cur_sp); duke@435: // Similar to above but see if current stackpoint is out of the guard area duke@435: // and reguard if possible. duke@435: bool reguard_stack(void); duke@435: duke@435: // Misc. accessors/mutators duke@435: void set_do_not_unlock(void) { _do_not_unlock_if_synchronized = true; } duke@435: void clr_do_not_unlock(void) { _do_not_unlock_if_synchronized = false; } duke@435: bool do_not_unlock(void) { return _do_not_unlock_if_synchronized; } duke@435: duke@435: #ifndef PRODUCT duke@435: void record_jump(address target, address instr, const char* file, int line); duke@435: #endif /* PRODUCT */ duke@435: duke@435: // For assembly stub generation duke@435: static ByteSize threadObj_offset() { return byte_offset_of(JavaThread, _threadObj ); } duke@435: #ifndef PRODUCT duke@435: static ByteSize jmp_ring_index_offset() { return byte_offset_of(JavaThread, _jmp_ring_index ); } duke@435: static ByteSize jmp_ring_offset() { return byte_offset_of(JavaThread, _jmp_ring ); } duke@435: #endif /* PRODUCT */ duke@435: static ByteSize jni_environment_offset() { return byte_offset_of(JavaThread, _jni_environment ); } duke@435: static ByteSize last_Java_sp_offset() { duke@435: return byte_offset_of(JavaThread, _anchor) + JavaFrameAnchor::last_Java_sp_offset(); duke@435: } duke@435: static ByteSize last_Java_pc_offset() { duke@435: return byte_offset_of(JavaThread, _anchor) + JavaFrameAnchor::last_Java_pc_offset(); duke@435: } duke@435: static ByteSize frame_anchor_offset() { duke@435: return byte_offset_of(JavaThread, _anchor); duke@435: } duke@435: static ByteSize callee_target_offset() { return byte_offset_of(JavaThread, _callee_target ); } duke@435: static ByteSize vm_result_offset() { return byte_offset_of(JavaThread, _vm_result ); } duke@435: static ByteSize vm_result_2_offset() { return byte_offset_of(JavaThread, _vm_result_2 ); } duke@435: static ByteSize thread_state_offset() { return byte_offset_of(JavaThread, _thread_state ); } duke@435: static ByteSize saved_exception_pc_offset() { return byte_offset_of(JavaThread, _saved_exception_pc ); } duke@435: static ByteSize osthread_offset() { return byte_offset_of(JavaThread, _osthread ); } duke@435: static ByteSize exception_oop_offset() { return byte_offset_of(JavaThread, _exception_oop ); } duke@435: static ByteSize exception_pc_offset() { return byte_offset_of(JavaThread, _exception_pc ); } duke@435: static ByteSize exception_handler_pc_offset() { return byte_offset_of(JavaThread, _exception_handler_pc); } duke@435: static ByteSize exception_stack_size_offset() { return byte_offset_of(JavaThread, _exception_stack_size); } duke@435: static ByteSize stack_guard_state_offset() { return byte_offset_of(JavaThread, _stack_guard_state ); } duke@435: static ByteSize suspend_flags_offset() { return byte_offset_of(JavaThread, _suspend_flags ); } duke@435: duke@435: static ByteSize do_not_unlock_if_synchronized_offset() { return byte_offset_of(JavaThread, _do_not_unlock_if_synchronized); } duke@435: ysr@777: #ifndef SERIALGC ysr@777: static ByteSize satb_mark_queue_offset() { return byte_offset_of(JavaThread, _satb_mark_queue); } ysr@777: static ByteSize dirty_card_queue_offset() { return byte_offset_of(JavaThread, _dirty_card_queue); } ysr@777: #endif // !SERIALGC ysr@777: duke@435: // Returns the jni environment for this thread duke@435: JNIEnv* jni_environment() { return &_jni_environment; } duke@435: duke@435: static JavaThread* thread_from_jni_environment(JNIEnv* env) { duke@435: JavaThread *thread_from_jni_env = (JavaThread*)((intptr_t)env - in_bytes(jni_environment_offset())); duke@435: // Only return NULL if thread is off the thread list; starting to duke@435: // exit should not return NULL. duke@435: if (thread_from_jni_env->is_terminated()) { duke@435: thread_from_jni_env->block_if_vm_exited(); duke@435: return NULL; duke@435: } else { duke@435: return thread_from_jni_env; duke@435: } duke@435: } duke@435: duke@435: // JNI critical regions. These can nest. duke@435: bool in_critical() { return _jni_active_critical > 0; } duke@435: void enter_critical() { assert(Thread::current() == this, duke@435: "this must be current thread"); duke@435: _jni_active_critical++; } duke@435: void exit_critical() { assert(Thread::current() == this, duke@435: "this must be current thread"); duke@435: _jni_active_critical--; duke@435: assert(_jni_active_critical >= 0, duke@435: "JNI critical nesting problem?"); } duke@435: duke@435: // For deadlock detection duke@435: int depth_first_number() { return _depth_first_number; } duke@435: void set_depth_first_number(int dfn) { _depth_first_number = dfn; } duke@435: duke@435: private: duke@435: void set_monitor_chunks(MonitorChunk* monitor_chunks) { _monitor_chunks = monitor_chunks; } duke@435: duke@435: public: duke@435: MonitorChunk* monitor_chunks() const { return _monitor_chunks; } duke@435: void add_monitor_chunk(MonitorChunk* chunk); duke@435: void remove_monitor_chunk(MonitorChunk* chunk); duke@435: bool in_deopt_handler() const { return _in_deopt_handler > 0; } duke@435: void inc_in_deopt_handler() { _in_deopt_handler++; } duke@435: void dec_in_deopt_handler() { duke@435: assert(_in_deopt_handler > 0, "mismatched deopt nesting"); duke@435: if (_in_deopt_handler > 0) { // robustness duke@435: _in_deopt_handler--; duke@435: } duke@435: } duke@435: duke@435: private: duke@435: void set_entry_point(ThreadFunction entry_point) { _entry_point = entry_point; } duke@435: duke@435: public: duke@435: duke@435: // Frame iteration; calls the function f for all frames on the stack duke@435: void frames_do(void f(frame*, const RegisterMap*)); duke@435: duke@435: // Memory operations duke@435: void oops_do(OopClosure* f); duke@435: duke@435: // Sweeper operations duke@435: void nmethods_do(); duke@435: duke@435: // Memory management operations duke@435: void gc_epilogue(); duke@435: void gc_prologue(); duke@435: duke@435: // Misc. operations duke@435: char* name() const { return (char*)get_thread_name(); } duke@435: void print_on(outputStream* st) const; duke@435: void print() const { print_on(tty); } duke@435: void print_value(); duke@435: void print_thread_state_on(outputStream* ) const PRODUCT_RETURN; duke@435: void print_thread_state() const PRODUCT_RETURN; duke@435: void print_on_error(outputStream* st, char* buf, int buflen) const; duke@435: void verify(); duke@435: const char* get_thread_name() const; duke@435: private: duke@435: // factor out low-level mechanics for use in both normal and error cases duke@435: const char* get_thread_name_string(char* buf = NULL, int buflen = 0) const; duke@435: public: duke@435: const char* get_threadgroup_name() const; duke@435: const char* get_parent_name() const; duke@435: duke@435: // Accessing frames duke@435: frame last_frame() { duke@435: _anchor.make_walkable(this); duke@435: return pd_last_frame(); duke@435: } duke@435: javaVFrame* last_java_vframe(RegisterMap* reg_map); duke@435: duke@435: // Returns method at 'depth' java or native frames down the stack duke@435: // Used for security checks duke@435: klassOop security_get_caller_class(int depth); duke@435: duke@435: // Print stack trace in external format duke@435: void print_stack_on(outputStream* st); duke@435: void print_stack() { print_stack_on(tty); } duke@435: duke@435: // Print stack traces in various internal formats duke@435: void trace_stack() PRODUCT_RETURN; duke@435: void trace_stack_from(vframe* start_vf) PRODUCT_RETURN; duke@435: void trace_frames() PRODUCT_RETURN; duke@435: duke@435: // Returns the number of stack frames on the stack duke@435: int depth() const; duke@435: duke@435: // Function for testing deoptimization duke@435: void deoptimize(); duke@435: void make_zombies(); duke@435: duke@435: void deoptimized_wrt_marked_nmethods(); duke@435: duke@435: // Profiling operation (see fprofile.cpp) duke@435: public: duke@435: bool profile_last_Java_frame(frame* fr); duke@435: duke@435: private: duke@435: ThreadProfiler* _thread_profiler; duke@435: private: duke@435: friend class FlatProfiler; // uses both [gs]et_thread_profiler. duke@435: friend class FlatProfilerTask; // uses get_thread_profiler. duke@435: friend class ThreadProfilerMark; // uses get_thread_profiler. duke@435: ThreadProfiler* get_thread_profiler() { return _thread_profiler; } duke@435: ThreadProfiler* set_thread_profiler(ThreadProfiler* tp) { duke@435: ThreadProfiler* result = _thread_profiler; duke@435: _thread_profiler = tp; duke@435: return result; duke@435: } duke@435: duke@435: // Static operations duke@435: public: duke@435: // Returns the running thread as a JavaThread duke@435: static inline JavaThread* current(); duke@435: duke@435: // Returns the active Java thread. Do not use this if you know you are calling duke@435: // from a JavaThread, as it's slower than JavaThread::current. If called from duke@435: // the VMThread, it also returns the JavaThread that instigated the VMThread's duke@435: // operation. You may not want that either. duke@435: static JavaThread* active(); duke@435: duke@435: inline CompilerThread* as_CompilerThread(); duke@435: duke@435: public: duke@435: virtual void run(); duke@435: void thread_main_inner(); duke@435: duke@435: private: duke@435: // PRIVILEGED STACK duke@435: PrivilegedElement* _privileged_stack_top; duke@435: GrowableArray* _array_for_gc; duke@435: public: duke@435: duke@435: // Returns the privileged_stack information. duke@435: PrivilegedElement* privileged_stack_top() const { return _privileged_stack_top; } duke@435: void set_privileged_stack_top(PrivilegedElement *e) { _privileged_stack_top = e; } duke@435: void register_array_for_gc(GrowableArray* array) { _array_for_gc = array; } duke@435: duke@435: public: duke@435: // Thread local information maintained by JVMTI. duke@435: void set_jvmti_thread_state(JvmtiThreadState *value) { _jvmti_thread_state = value; } dcubed@1044: // A JvmtiThreadState is lazily allocated. This jvmti_thread_state() dcubed@1044: // getter is used to get this JavaThread's JvmtiThreadState if it has dcubed@1044: // one which means NULL can be returned. JvmtiThreadState::state_for() dcubed@1044: // is used to get the specified JavaThread's JvmtiThreadState if it has dcubed@1044: // one or it allocates a new JvmtiThreadState for the JavaThread and dcubed@1044: // returns it. JvmtiThreadState::state_for() will return NULL only if dcubed@1044: // the specified JavaThread is exiting. duke@435: JvmtiThreadState *jvmti_thread_state() const { return _jvmti_thread_state; } duke@435: static ByteSize jvmti_thread_state_offset() { return byte_offset_of(JavaThread, _jvmti_thread_state); } duke@435: void set_jvmti_get_loaded_classes_closure(JvmtiGetLoadedClassesClosure* value) { _jvmti_get_loaded_classes_closure = value; } duke@435: JvmtiGetLoadedClassesClosure* get_jvmti_get_loaded_classes_closure() const { return _jvmti_get_loaded_classes_closure; } duke@435: duke@435: // JVMTI PopFrame support duke@435: // Setting and clearing popframe_condition duke@435: // All of these enumerated values are bits. popframe_pending duke@435: // indicates that a PopFrame() has been requested and not yet been duke@435: // completed. popframe_processing indicates that that PopFrame() is in duke@435: // the process of being completed. popframe_force_deopt_reexecution_bit duke@435: // indicates that special handling is required when returning to a duke@435: // deoptimized caller. duke@435: enum PopCondition { duke@435: popframe_inactive = 0x00, duke@435: popframe_pending_bit = 0x01, duke@435: popframe_processing_bit = 0x02, duke@435: popframe_force_deopt_reexecution_bit = 0x04 duke@435: }; duke@435: PopCondition popframe_condition() { return (PopCondition) _popframe_condition; } duke@435: void set_popframe_condition(PopCondition c) { _popframe_condition = c; } duke@435: void set_popframe_condition_bit(PopCondition c) { _popframe_condition |= c; } duke@435: void clear_popframe_condition() { _popframe_condition = popframe_inactive; } duke@435: static ByteSize popframe_condition_offset() { return byte_offset_of(JavaThread, _popframe_condition); } duke@435: bool has_pending_popframe() { return (popframe_condition() & popframe_pending_bit) != 0; } duke@435: bool popframe_forcing_deopt_reexecution() { return (popframe_condition() & popframe_force_deopt_reexecution_bit) != 0; } duke@435: void clear_popframe_forcing_deopt_reexecution() { _popframe_condition &= ~popframe_force_deopt_reexecution_bit; } duke@435: #ifdef CC_INTERP duke@435: bool pop_frame_pending(void) { return ((_popframe_condition & popframe_pending_bit) != 0); } duke@435: void clr_pop_frame_pending(void) { _popframe_condition = popframe_inactive; } duke@435: bool pop_frame_in_process(void) { return ((_popframe_condition & popframe_processing_bit) != 0); } duke@435: void set_pop_frame_in_process(void) { _popframe_condition |= popframe_processing_bit; } duke@435: void clr_pop_frame_in_process(void) { _popframe_condition &= ~popframe_processing_bit; } duke@435: #endif duke@435: duke@435: private: duke@435: // Saved incoming arguments to popped frame. duke@435: // Used only when popped interpreted frame returns to deoptimized frame. duke@435: void* _popframe_preserved_args; duke@435: int _popframe_preserved_args_size; duke@435: duke@435: public: duke@435: void popframe_preserve_args(ByteSize size_in_bytes, void* start); duke@435: void* popframe_preserved_args(); duke@435: ByteSize popframe_preserved_args_size(); duke@435: WordSize popframe_preserved_args_size_in_words(); duke@435: void popframe_free_preserved_args(); duke@435: duke@435: duke@435: private: duke@435: JvmtiThreadState *_jvmti_thread_state; duke@435: JvmtiGetLoadedClassesClosure* _jvmti_get_loaded_classes_closure; duke@435: duke@435: // Used by the interpreter in fullspeed mode for frame pop, method duke@435: // entry, method exit and single stepping support. This field is duke@435: // only set to non-zero by the VM_EnterInterpOnlyMode VM operation. duke@435: // It can be set to zero asynchronously (i.e., without a VM operation duke@435: // or a lock) so we have to be very careful. duke@435: int _interp_only_mode; duke@435: duke@435: public: duke@435: // used by the interpreter for fullspeed debugging support (see above) duke@435: static ByteSize interp_only_mode_offset() { return byte_offset_of(JavaThread, _interp_only_mode); } duke@435: bool is_interp_only_mode() { return (_interp_only_mode != 0); } duke@435: int get_interp_only_mode() { return _interp_only_mode; } duke@435: void increment_interp_only_mode() { ++_interp_only_mode; } duke@435: void decrement_interp_only_mode() { --_interp_only_mode; } duke@435: duke@435: private: duke@435: ThreadStatistics *_thread_stat; duke@435: duke@435: public: duke@435: ThreadStatistics* get_thread_stat() const { return _thread_stat; } duke@435: duke@435: // Return a blocker object for which this thread is blocked parking. duke@435: oop current_park_blocker(); duke@435: duke@435: private: duke@435: static size_t _stack_size_at_create; duke@435: duke@435: public: duke@435: static inline size_t stack_size_at_create(void) { duke@435: return _stack_size_at_create; duke@435: } duke@435: static inline void set_stack_size_at_create(size_t value) { duke@435: _stack_size_at_create = value; duke@435: } duke@435: ysr@777: #ifndef SERIALGC ysr@777: // SATB marking queue support ysr@777: ObjPtrQueue& satb_mark_queue() { return _satb_mark_queue; } ysr@777: static SATBMarkQueueSet& satb_mark_queue_set() { ysr@777: return _satb_mark_queue_set; ysr@777: } ysr@777: ysr@777: // Dirty card queue support ysr@777: DirtyCardQueue& dirty_card_queue() { return _dirty_card_queue; } ysr@777: static DirtyCardQueueSet& dirty_card_queue_set() { ysr@777: return _dirty_card_queue_set; ysr@777: } ysr@777: #endif // !SERIALGC ysr@777: duke@435: // Machine dependent stuff duke@435: #include "incls/_thread_pd.hpp.incl" duke@435: duke@435: public: duke@435: void set_blocked_on_compilation(bool value) { duke@435: _blocked_on_compilation = value; duke@435: } duke@435: duke@435: bool blocked_on_compilation() { duke@435: return _blocked_on_compilation; duke@435: } duke@435: protected: duke@435: bool _blocked_on_compilation; duke@435: duke@435: duke@435: // JSR166 per-thread parker duke@435: private: duke@435: Parker* _parker; duke@435: public: duke@435: Parker* parker() { return _parker; } duke@435: duke@435: // Biased locking support duke@435: private: duke@435: GrowableArray* _cached_monitor_info; duke@435: public: duke@435: GrowableArray* cached_monitor_info() { return _cached_monitor_info; } duke@435: void set_cached_monitor_info(GrowableArray* info) { _cached_monitor_info = info; } duke@435: duke@435: // clearing/querying jni attach status duke@435: bool is_attaching() const { return _is_attaching; } duke@435: void set_attached() { _is_attaching = false; OrderAccess::fence(); } ysr@777: private: ysr@777: // This field is used to determine if a thread has claimed ysr@777: // a par_id: it is -1 if the thread has not claimed a par_id; ysr@777: // otherwise its value is the par_id that has been claimed. ysr@777: int _claimed_par_id; ysr@777: public: ysr@777: int get_claimed_par_id() { return _claimed_par_id; } ysr@777: void set_claimed_par_id(int id) { _claimed_par_id = id;} duke@435: }; duke@435: duke@435: // Inline implementation of JavaThread::current duke@435: inline JavaThread* JavaThread::current() { duke@435: Thread* thread = ThreadLocalStorage::thread(); duke@435: assert(thread != NULL && thread->is_Java_thread(), "just checking"); duke@435: return (JavaThread*)thread; duke@435: } duke@435: duke@435: inline CompilerThread* JavaThread::as_CompilerThread() { duke@435: assert(is_Compiler_thread(), "just checking"); duke@435: return (CompilerThread*)this; duke@435: } duke@435: duke@435: inline bool JavaThread::stack_yellow_zone_disabled() { duke@435: return _stack_guard_state == stack_guard_yellow_disabled; duke@435: } duke@435: duke@435: inline bool JavaThread::stack_yellow_zone_enabled() { duke@435: #ifdef ASSERT duke@435: if (os::uses_stack_guard_pages()) { duke@435: assert(_stack_guard_state != stack_guard_unused, "guard pages must be in use"); duke@435: } duke@435: #endif duke@435: return _stack_guard_state == stack_guard_enabled; duke@435: } duke@435: duke@435: inline size_t JavaThread::stack_available(address cur_sp) { duke@435: // This code assumes java stacks grow down duke@435: address low_addr; // Limit on the address for deepest stack depth duke@435: if ( _stack_guard_state == stack_guard_unused) { duke@435: low_addr = stack_base() - stack_size(); duke@435: } else { duke@435: low_addr = stack_yellow_zone_base(); duke@435: } duke@435: return cur_sp > low_addr ? cur_sp - low_addr : 0; duke@435: } duke@435: duke@435: // A JavaThread for low memory detection support duke@435: class LowMemoryDetectorThread : public JavaThread { duke@435: friend class VMStructs; duke@435: public: duke@435: LowMemoryDetectorThread(ThreadFunction entry_point) : JavaThread(entry_point) {}; duke@435: duke@435: // Hide this thread from external view. duke@435: bool is_hidden_from_external_view() const { return true; } duke@435: }; duke@435: duke@435: // A thread used for Compilation. duke@435: class CompilerThread : public JavaThread { duke@435: friend class VMStructs; duke@435: private: duke@435: CompilerCounters* _counters; duke@435: duke@435: ciEnv* _env; duke@435: CompileLog* _log; duke@435: CompileTask* _task; duke@435: CompileQueue* _queue; duke@435: duke@435: public: duke@435: duke@435: static CompilerThread* current(); duke@435: duke@435: CompilerThread(CompileQueue* queue, CompilerCounters* counters); duke@435: duke@435: bool is_Compiler_thread() const { return true; } duke@435: // Hide this compiler thread from external view. duke@435: bool is_hidden_from_external_view() const { return true; } duke@435: duke@435: CompileQueue* queue() { return _queue; } duke@435: CompilerCounters* counters() { return _counters; } duke@435: duke@435: // Get/set the thread's compilation environment. duke@435: ciEnv* env() { return _env; } duke@435: void set_env(ciEnv* env) { _env = env; } duke@435: duke@435: // Get/set the thread's logging information duke@435: CompileLog* log() { return _log; } duke@435: void init_log(CompileLog* log) { duke@435: // Set once, for good. duke@435: assert(_log == NULL, "set only once"); duke@435: _log = log; duke@435: } duke@435: duke@435: #ifndef PRODUCT duke@435: private: duke@435: IdealGraphPrinter *_ideal_graph_printer; duke@435: public: duke@435: IdealGraphPrinter *ideal_graph_printer() { return _ideal_graph_printer; } duke@435: void set_ideal_graph_printer(IdealGraphPrinter *n) { _ideal_graph_printer = n; } duke@435: #endif duke@435: duke@435: // Get/set the thread's current task duke@435: CompileTask* task() { return _task; } duke@435: void set_task(CompileTask* task) { _task = task; } duke@435: }; duke@435: duke@435: inline CompilerThread* CompilerThread::current() { duke@435: return JavaThread::current()->as_CompilerThread(); duke@435: } duke@435: duke@435: duke@435: // The active thread queue. It also keeps track of the current used duke@435: // thread priorities. duke@435: class Threads: AllStatic { duke@435: friend class VMStructs; duke@435: private: duke@435: static JavaThread* _thread_list; duke@435: static int _number_of_threads; duke@435: static int _number_of_non_daemon_threads; duke@435: static int _return_code; duke@435: duke@435: public: duke@435: // Thread management duke@435: // force_daemon is a concession to JNI, where we may need to add a duke@435: // thread to the thread list before allocating its thread object duke@435: static void add(JavaThread* p, bool force_daemon = false); duke@435: static void remove(JavaThread* p); duke@435: static bool includes(JavaThread* p); duke@435: static JavaThread* first() { return _thread_list; } duke@435: static void threads_do(ThreadClosure* tc); duke@435: duke@435: // Initializes the vm and creates the vm thread duke@435: static jint create_vm(JavaVMInitArgs* args, bool* canTryAgain); duke@435: static void convert_vm_init_libraries_to_agents(); duke@435: static void create_vm_init_libraries(); duke@435: static void create_vm_init_agents(); duke@435: static void shutdown_vm_agents(); duke@435: static bool destroy_vm(); duke@435: // Supported VM versions via JNI duke@435: // Includes JNI_VERSION_1_1 duke@435: static jboolean is_supported_jni_version_including_1_1(jint version); duke@435: // Does not include JNI_VERSION_1_1 duke@435: static jboolean is_supported_jni_version(jint version); duke@435: duke@435: // Garbage collection duke@435: static void follow_other_roots(void f(oop*)); duke@435: duke@435: // Apply "f->do_oop" to all root oops in all threads. duke@435: // This version may only be called by sequential code. duke@435: static void oops_do(OopClosure* f); duke@435: // This version may be called by sequential or parallel code. duke@435: static void possibly_parallel_oops_do(OopClosure* f); duke@435: // This creates a list of GCTasks, one per thread. duke@435: static void create_thread_roots_tasks(GCTaskQueue* q); duke@435: // This creates a list of GCTasks, one per thread, for marking objects. duke@435: static void create_thread_roots_marking_tasks(GCTaskQueue* q); duke@435: duke@435: // Apply "f->do_oop" to roots in all threads that duke@435: // are part of compiled frames duke@435: static void compiled_frame_oops_do(OopClosure* f); duke@435: duke@435: static void convert_hcode_pointers(); duke@435: static void restore_hcode_pointers(); duke@435: duke@435: // Sweeper duke@435: static void nmethods_do(); duke@435: duke@435: static void gc_epilogue(); duke@435: static void gc_prologue(); duke@435: duke@435: // Verification duke@435: static void verify(); duke@435: static void print_on(outputStream* st, bool print_stacks, bool internal_format, bool print_concurrent_locks); duke@435: static void print(bool print_stacks, bool internal_format) { duke@435: // this function is only used by debug.cpp duke@435: print_on(tty, print_stacks, internal_format, false /* no concurrent lock printed */); duke@435: } duke@435: static void print_on_error(outputStream* st, Thread* current, char* buf, int buflen); duke@435: duke@435: // Get Java threads that are waiting to enter a monitor. If doLock duke@435: // is true, then Threads_lock is grabbed as needed. Otherwise, the duke@435: // VM needs to be at a safepoint. duke@435: static GrowableArray* get_pending_threads(int count, duke@435: address monitor, bool doLock); duke@435: duke@435: // Get owning Java thread from the monitor's owner field. If doLock duke@435: // is true, then Threads_lock is grabbed as needed. Otherwise, the duke@435: // VM needs to be at a safepoint. duke@435: static JavaThread *owning_thread_from_monitor_owner(address owner, duke@435: bool doLock); duke@435: duke@435: // Number of threads on the active threads list duke@435: static int number_of_threads() { return _number_of_threads; } duke@435: // Number of non-daemon threads on the active threads list duke@435: static int number_of_non_daemon_threads() { return _number_of_non_daemon_threads; } duke@435: duke@435: // Deoptimizes all frames tied to marked nmethods duke@435: static void deoptimized_wrt_marked_nmethods(); duke@435: duke@435: }; duke@435: duke@435: duke@435: // Thread iterator duke@435: class ThreadClosure: public StackObj { duke@435: public: duke@435: virtual void do_thread(Thread* thread) = 0; duke@435: }; duke@435: duke@435: class SignalHandlerMark: public StackObj { duke@435: private: duke@435: Thread* _thread; duke@435: public: duke@435: SignalHandlerMark(Thread* t) { duke@435: _thread = t; duke@435: if (_thread) _thread->enter_signal_handler(); duke@435: } duke@435: ~SignalHandlerMark() { duke@435: if (_thread) _thread->leave_signal_handler(); duke@435: _thread = NULL; duke@435: } duke@435: }; duke@435: duke@435: // ParkEvents are type-stable and immortal. duke@435: // duke@435: // Lifecycle: Once a ParkEvent is associated with a thread that ParkEvent remains duke@435: // associated with the thread for the thread's entire lifetime - the relationship is duke@435: // stable. A thread will be associated at most one ParkEvent. When the thread duke@435: // expires, the ParkEvent moves to the EventFreeList. New threads attempt to allocate from duke@435: // the EventFreeList before creating a new Event. Type-stability frees us from duke@435: // worrying about stale Event or Thread references in the objectMonitor subsystem. duke@435: // (A reference to ParkEvent is always valid, even though the event may no longer be associated duke@435: // with the desired or expected thread. A key aspect of this design is that the callers of duke@435: // park, unpark, etc must tolerate stale references and spurious wakeups). duke@435: // duke@435: // Only the "associated" thread can block (park) on the ParkEvent, although duke@435: // any other thread can unpark a reachable parkevent. Park() is allowed to duke@435: // return spuriously. In fact park-unpark a really just an optimization to duke@435: // avoid unbounded spinning and surrender the CPU to be a polite system citizen. duke@435: // A degenerate albeit "impolite" park-unpark implementation could simply return. duke@435: // See http://blogs.sun.com/dave for more details. duke@435: // duke@435: // Eventually I'd like to eliminate Events and ObjectWaiters, both of which serve as duke@435: // thread proxies, and simply make the THREAD structure type-stable and persistent. duke@435: // Currently, we unpark events associated with threads, but ideally we'd just duke@435: // unpark threads. duke@435: // duke@435: // The base-class, PlatformEvent, is platform-specific while the ParkEvent is duke@435: // platform-independent. PlatformEvent provides park(), unpark(), etc., and duke@435: // is abstract -- that is, a PlatformEvent should never be instantiated except duke@435: // as part of a ParkEvent. duke@435: // Equivalently we could have defined a platform-independent base-class that duke@435: // exported Allocate(), Release(), etc. The platform-specific class would extend duke@435: // that base-class, adding park(), unpark(), etc. duke@435: // duke@435: // A word of caution: The JVM uses 2 very similar constructs: duke@435: // 1. ParkEvent are used for Java-level "monitor" synchronization. duke@435: // 2. Parkers are used by JSR166-JUC park-unpark. duke@435: // duke@435: // We'll want to eventually merge these redundant facilities and use ParkEvent. duke@435: duke@435: duke@435: class ParkEvent : public os::PlatformEvent { duke@435: private: duke@435: ParkEvent * FreeNext ; duke@435: duke@435: // Current association duke@435: Thread * AssociatedWith ; duke@435: intptr_t RawThreadIdentity ; // LWPID etc duke@435: volatile int Incarnation ; duke@435: duke@435: // diagnostic : keep track of last thread to wake this thread. duke@435: // this is useful for construction of dependency graphs. duke@435: void * LastWaker ; duke@435: duke@435: public: duke@435: // MCS-CLH list linkage and Native Mutex/Monitor duke@435: ParkEvent * volatile ListNext ; duke@435: ParkEvent * volatile ListPrev ; duke@435: volatile intptr_t OnList ; duke@435: volatile int TState ; duke@435: volatile int Notified ; // for native monitor construct duke@435: volatile int IsWaiting ; // Enqueued on WaitSet duke@435: duke@435: duke@435: private: duke@435: static ParkEvent * volatile FreeList ; duke@435: static volatile int ListLock ; duke@435: duke@435: // It's prudent to mark the dtor as "private" duke@435: // ensuring that it's not visible outside the package. duke@435: // Unfortunately gcc warns about such usage, so duke@435: // we revert to the less desirable "protected" visibility. duke@435: // The other compilers accept private dtors. duke@435: duke@435: protected: // Ensure dtor is never invoked duke@435: ~ParkEvent() { guarantee (0, "invariant") ; } duke@435: duke@435: ParkEvent() : PlatformEvent() { duke@435: AssociatedWith = NULL ; duke@435: FreeNext = NULL ; duke@435: ListNext = NULL ; duke@435: ListPrev = NULL ; duke@435: OnList = 0 ; duke@435: TState = 0 ; duke@435: Notified = 0 ; duke@435: IsWaiting = 0 ; duke@435: } duke@435: duke@435: // We use placement-new to force ParkEvent instances to be duke@435: // aligned on 256-byte address boundaries. This ensures that the least duke@435: // significant byte of a ParkEvent address is always 0. duke@435: duke@435: void * operator new (size_t sz) ; duke@435: void operator delete (void * a) ; duke@435: duke@435: public: duke@435: static ParkEvent * Allocate (Thread * t) ; duke@435: static void Release (ParkEvent * e) ; duke@435: } ;