annotate src/share/vm/runtime/mutexLocker.hpp @ 13212:eb03a7335eb0

Use fixed instead of virtual register for target in far foreign call, since the register allocator does not support virtual registers to be used at call sites.
author Christian Wimmer <christian.wimmer@oracle.com>
date Mon, 02 Dec 2013 14:20:32 -0800
parents cefad50507d8
children d8041d695d19
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
12264
b2e698d2276c 8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents: 12106
diff changeset
2 * Copyright (c) 1997, 2013, Oracle and/or its affiliates. All rights reserved.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1358
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1358
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1358
diff changeset
21 * questions.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1584
diff changeset
25 #ifndef SHARE_VM_RUNTIME_MUTEXLOCKER_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1584
diff changeset
26 #define SHARE_VM_RUNTIME_MUTEXLOCKER_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1584
diff changeset
27
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1584
diff changeset
28 #include "memory/allocation.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1584
diff changeset
29 #include "runtime/mutex.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1584
diff changeset
30 #ifdef TARGET_OS_FAMILY_linux
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1584
diff changeset
31 # include "os_linux.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1584
diff changeset
32 #endif
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1584
diff changeset
33 #ifdef TARGET_OS_FAMILY_solaris
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1584
diff changeset
34 # include "os_solaris.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1584
diff changeset
35 #endif
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1584
diff changeset
36 #ifdef TARGET_OS_FAMILY_windows
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1584
diff changeset
37 # include "os_windows.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1584
diff changeset
38 #endif
3960
f08d439fab8c 7089790: integrate bsd-port changes
never
parents: 2195
diff changeset
39 #ifdef TARGET_OS_FAMILY_bsd
f08d439fab8c 7089790: integrate bsd-port changes
never
parents: 2195
diff changeset
40 # include "os_bsd.inline.hpp"
f08d439fab8c 7089790: integrate bsd-port changes
never
parents: 2195
diff changeset
41 #endif
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1584
diff changeset
42
0
a61af66fc99e Initial load
duke
parents:
diff changeset
43 // Mutexes used in the VM.
a61af66fc99e Initial load
duke
parents:
diff changeset
44
a61af66fc99e Initial load
duke
parents:
diff changeset
45 extern Mutex* Patching_lock; // a lock used to guard code patching of compiled code
a61af66fc99e Initial load
duke
parents:
diff changeset
46 extern Monitor* SystemDictionary_lock; // a lock on the system dictonary
a61af66fc99e Initial load
duke
parents:
diff changeset
47 extern Mutex* PackageTable_lock; // a lock on the class loader package table
a61af66fc99e Initial load
duke
parents:
diff changeset
48 extern Mutex* CompiledIC_lock; // a lock used to guard compiled IC patching and access
a61af66fc99e Initial load
duke
parents:
diff changeset
49 extern Mutex* InlineCacheBuffer_lock; // a lock used to guard the InlineCacheBuffer
a61af66fc99e Initial load
duke
parents:
diff changeset
50 extern Mutex* VMStatistic_lock; // a lock used to guard statistics count increment
a61af66fc99e Initial load
duke
parents:
diff changeset
51 extern Mutex* JNIGlobalHandle_lock; // a lock on creating JNI global handles
a61af66fc99e Initial load
duke
parents:
diff changeset
52 extern Mutex* JNIHandleBlockFreeList_lock; // a lock on the JNI handle block free list
10133
6337ca4dcad8 8008511: JSR 292: MemberName vmtarget refs to methods must be updated at class redefinition
sspitsyn
parents: 6939
diff changeset
53 extern Mutex* MemberNameTable_lock; // a lock on the MemberNameTable updates
0
a61af66fc99e Initial load
duke
parents:
diff changeset
54 extern Mutex* JmethodIdCreation_lock; // a lock on creating JNI method identifiers
a61af66fc99e Initial load
duke
parents:
diff changeset
55 extern Mutex* JfieldIdCreation_lock; // a lock on creating JNI static field identifiers
a61af66fc99e Initial load
duke
parents:
diff changeset
56 extern Monitor* JNICritical_lock; // a lock used while entering and exiting JNI critical regions, allows GC to sometimes get in
a61af66fc99e Initial load
duke
parents:
diff changeset
57 extern Mutex* JvmtiThreadState_lock; // a lock on modification of JVMTI thread data
a61af66fc99e Initial load
duke
parents:
diff changeset
58 extern Monitor* JvmtiPendingEvent_lock; // a lock on the JVMTI pending events list
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
59 extern Monitor* Heap_lock; // a lock on the heap
0
a61af66fc99e Initial load
duke
parents:
diff changeset
60 extern Mutex* ExpandHeap_lock; // a lock on expanding the heap
a61af66fc99e Initial load
duke
parents:
diff changeset
61 extern Mutex* AdapterHandlerLibrary_lock; // a lock on the AdapterHandlerLibrary
a61af66fc99e Initial load
duke
parents:
diff changeset
62 extern Mutex* SignatureHandlerLibrary_lock; // a lock on the SignatureHandlerLibrary
a61af66fc99e Initial load
duke
parents:
diff changeset
63 extern Mutex* VtableStubs_lock; // a lock on the VtableStubs
a61af66fc99e Initial load
duke
parents:
diff changeset
64 extern Mutex* SymbolTable_lock; // a lock on the symbol table
a61af66fc99e Initial load
duke
parents:
diff changeset
65 extern Mutex* StringTable_lock; // a lock on the interned string table
a61af66fc99e Initial load
duke
parents:
diff changeset
66 extern Mutex* CodeCache_lock; // a lock on the CodeCache, rank is special, use MutexLockerEx
a61af66fc99e Initial load
duke
parents:
diff changeset
67 extern Mutex* MethodData_lock; // a lock on installation of method data
a61af66fc99e Initial load
duke
parents:
diff changeset
68 extern Mutex* RetData_lock; // a lock on installation of RetData inside method data
a61af66fc99e Initial load
duke
parents:
diff changeset
69 extern Mutex* DerivedPointerTableGC_lock; // a lock to protect the derived pointer table
a61af66fc99e Initial load
duke
parents:
diff changeset
70 extern Monitor* VMOperationQueue_lock; // a lock on queue of vm_operations waiting to execute
a61af66fc99e Initial load
duke
parents:
diff changeset
71 extern Monitor* VMOperationRequest_lock; // a lock on Threads waiting for a vm_operation to terminate
a61af66fc99e Initial load
duke
parents:
diff changeset
72 extern Monitor* Safepoint_lock; // a lock used by the safepoint abstraction
a61af66fc99e Initial load
duke
parents:
diff changeset
73 extern Monitor* Threads_lock; // a lock on the Threads table of active Java threads
a61af66fc99e Initial load
duke
parents:
diff changeset
74 // (also used by Safepoints too to block threads creation/destruction)
a61af66fc99e Initial load
duke
parents:
diff changeset
75 extern Monitor* CGC_lock; // used for coordination between
a61af66fc99e Initial load
duke
parents:
diff changeset
76 // fore- & background GC threads.
a61af66fc99e Initial load
duke
parents:
diff changeset
77 extern Mutex* STS_init_lock; // coordinate initialization of SuspendibleThreadSets.
a61af66fc99e Initial load
duke
parents:
diff changeset
78 extern Monitor* SLT_lock; // used in CMS GC for acquiring PLL
a61af66fc99e Initial load
duke
parents:
diff changeset
79 extern Monitor* iCMS_lock; // CMS incremental mode start/stop notification
a61af66fc99e Initial load
duke
parents:
diff changeset
80 extern Monitor* FullGCCount_lock; // in support of "concurrent" full gc
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
81 extern Monitor* CMark_lock; // used for concurrent mark thread coordination
1358
72f725c5a7be 6940310: G1: MT-unsafe calls to CM::region_stack_push() / CM::region_stack_pop()
tonyp
parents: 844
diff changeset
82 extern Mutex* CMRegionStack_lock; // used for protecting accesses to the CM region stack
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
83 extern Mutex* SATB_Q_FL_lock; // Protects SATB Q
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
84 // buffer free list.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
85 extern Monitor* SATB_Q_CBL_mon; // Protects SATB Q
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
86 // completed buffer queue.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
87 extern Mutex* Shared_SATB_Q_lock; // Lock protecting SATB
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
88 // queue shared by
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
89 // non-Java threads.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
90
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
91 extern Mutex* DirtyCardQ_FL_lock; // Protects dirty card Q
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
92 // buffer free list.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
93 extern Monitor* DirtyCardQ_CBL_mon; // Protects dirty card Q
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
94 // completed buffer queue.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
95 extern Mutex* Shared_DirtyCardQ_lock; // Lock protecting dirty card
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
96 // queue shared by
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
97 // non-Java threads.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
98 // (see option ExplicitGCInvokesConcurrent)
a61af66fc99e Initial load
duke
parents:
diff changeset
99 extern Mutex* ParGCRareEvent_lock; // Synchronizes various (rare) parallel GC ops.
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
100 extern Mutex* EvacFailureStack_lock; // guards the evac failure scan stack
0
a61af66fc99e Initial load
duke
parents:
diff changeset
101 extern Mutex* Compile_lock; // a lock held when Compilation is updating code (used to block CodeCache traversal, CHA updates, etc)
a61af66fc99e Initial load
duke
parents:
diff changeset
102 extern Monitor* MethodCompileQueue_lock; // a lock held when method compilations are enqueued, dequeued
a61af66fc99e Initial load
duke
parents:
diff changeset
103 extern Monitor* CompileThread_lock; // a lock held by compile threads during compilation system initialization
a61af66fc99e Initial load
duke
parents:
diff changeset
104 extern Mutex* CompileTaskAlloc_lock; // a lock held when CompileTasks are allocated
a61af66fc99e Initial load
duke
parents:
diff changeset
105 extern Mutex* CompileStatistics_lock; // a lock held when updating compilation statistics
a61af66fc99e Initial load
duke
parents:
diff changeset
106 extern Mutex* MultiArray_lock; // a lock used to guard allocation of multi-dim arrays
a61af66fc99e Initial load
duke
parents:
diff changeset
107 extern Monitor* Terminator_lock; // a lock used to guard termination of the vm
a61af66fc99e Initial load
duke
parents:
diff changeset
108 extern Monitor* BeforeExit_lock; // a lock used to guard cleanups and shutdown hooks
a61af66fc99e Initial load
duke
parents:
diff changeset
109 extern Monitor* Notify_lock; // a lock used to synchronize the start-up of the vm
a61af66fc99e Initial load
duke
parents:
diff changeset
110 extern Monitor* Interrupt_lock; // a lock used for condition variable mediated interrupt processing
a61af66fc99e Initial load
duke
parents:
diff changeset
111 extern Monitor* ProfileVM_lock; // a lock used for profiling the VMThread
a61af66fc99e Initial load
duke
parents:
diff changeset
112 extern Mutex* ProfilePrint_lock; // a lock used to serialize the printing of profiles
a61af66fc99e Initial load
duke
parents:
diff changeset
113 extern Mutex* ExceptionCache_lock; // a lock used to synchronize exception cache updates
a61af66fc99e Initial load
duke
parents:
diff changeset
114 extern Mutex* OsrList_lock; // a lock used to serialize access to OSR queues
a61af66fc99e Initial load
duke
parents:
diff changeset
115
a61af66fc99e Initial load
duke
parents:
diff changeset
116 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
117 extern Mutex* FullGCALot_lock; // a lock to make FullGCALot MT safe
4837
eff609af17d7 7127706: G1: re-enable survivors during the initial-mark pause
tonyp
parents: 3960
diff changeset
118 #endif // PRODUCT
0
a61af66fc99e Initial load
duke
parents:
diff changeset
119 extern Mutex* Debug1_lock; // A bunch of pre-allocated locks that can be used for tracing
a61af66fc99e Initial load
duke
parents:
diff changeset
120 extern Mutex* Debug2_lock; // down synchronization related bugs!
a61af66fc99e Initial load
duke
parents:
diff changeset
121 extern Mutex* Debug3_lock;
a61af66fc99e Initial load
duke
parents:
diff changeset
122
a61af66fc99e Initial load
duke
parents:
diff changeset
123 extern Mutex* RawMonitor_lock;
a61af66fc99e Initial load
duke
parents:
diff changeset
124 extern Mutex* PerfDataMemAlloc_lock; // a lock on the allocator for PerfData memory for performance data
a61af66fc99e Initial load
duke
parents:
diff changeset
125 extern Mutex* PerfDataManager_lock; // a long on access to PerfDataManager resources
a61af66fc99e Initial load
duke
parents:
diff changeset
126 extern Mutex* ParkerFreeList_lock;
a61af66fc99e Initial load
duke
parents:
diff changeset
127 extern Mutex* OopMapCacheAlloc_lock; // protects allocation of oop_map caches
a61af66fc99e Initial load
duke
parents:
diff changeset
128
2152
0fa27f37d4d4 6977804: G1: remove the zero-filling thread
tonyp
parents: 1972
diff changeset
129 extern Mutex* FreeList_lock; // protects the free region list during safepoints
0fa27f37d4d4 6977804: G1: remove the zero-filling thread
tonyp
parents: 1972
diff changeset
130 extern Monitor* SecondaryFreeList_lock; // protects the secondary free region list
0fa27f37d4d4 6977804: G1: remove the zero-filling thread
tonyp
parents: 1972
diff changeset
131 extern Mutex* OldSets_lock; // protects the old region sets
4837
eff609af17d7 7127706: G1: re-enable survivors during the initial-mark pause
tonyp
parents: 3960
diff changeset
132 extern Monitor* RootRegionScan_lock; // used to notify that the CM threads have finished scanning the IM snapshot regions
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
133 extern Mutex* MMUTracker_lock; // protects the MMU
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
134 // tracker data structures
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
135 extern Mutex* HotCardCache_lock; // protects the hot card cache
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
136
0
a61af66fc99e Initial load
duke
parents:
diff changeset
137 extern Mutex* Management_lock; // a lock used to serialize JVM management
2195
bf8517f4e4d0 6766644: Redefinition of compiled method fails with assertion "Can not load classes with the Compiler thread"
kamg
parents: 2152
diff changeset
138 extern Monitor* Service_lock; // a lock used for service thread operation
12106
739c309fd729 8023457: Event based tracing framework needs a mutex for thread groups
mgronlun
parents: 10133
diff changeset
139 extern Monitor* PeriodicTask_lock; // protects the periodic task structure
4800
94ec88ca68e2 7115199: Add event tracing hooks and Java Flight Recorder infrastructure
phh
parents: 3960
diff changeset
140
12106
739c309fd729 8023457: Event based tracing framework needs a mutex for thread groups
mgronlun
parents: 10133
diff changeset
141 #ifdef INCLUDE_TRACE
739c309fd729 8023457: Event based tracing framework needs a mutex for thread groups
mgronlun
parents: 10133
diff changeset
142 extern Mutex* JfrStacktrace_lock; // used to guard access to the JFR stacktrace table
4800
94ec88ca68e2 7115199: Add event tracing hooks and Java Flight Recorder infrastructure
phh
parents: 3960
diff changeset
143 extern Monitor* JfrMsg_lock; // protects JFR messaging
94ec88ca68e2 7115199: Add event tracing hooks and Java Flight Recorder infrastructure
phh
parents: 3960
diff changeset
144 extern Mutex* JfrBuffer_lock; // protects JFR buffer operations
94ec88ca68e2 7115199: Add event tracing hooks and Java Flight Recorder infrastructure
phh
parents: 3960
diff changeset
145 extern Mutex* JfrStream_lock; // protects JFR stream access
12106
739c309fd729 8023457: Event based tracing framework needs a mutex for thread groups
mgronlun
parents: 10133
diff changeset
146 extern Mutex* JfrThreadGroups_lock; // protects JFR access to Thread Groups
739c309fd729 8023457: Event based tracing framework needs a mutex for thread groups
mgronlun
parents: 10133
diff changeset
147 #endif
0
a61af66fc99e Initial load
duke
parents:
diff changeset
148
5129
51111665eda6 Support for recording a leaf graph id for each deoptimization point in the debug info.
Lukas Stadler <lukas.stadler@jku.at>
parents: 4840
diff changeset
149 #ifdef GRAAL
51111665eda6 Support for recording a leaf graph id for each deoptimization point in the debug info.
Lukas Stadler <lukas.stadler@jku.at>
parents: 4840
diff changeset
150 extern Mutex* GraalDeoptLeafGraphIds_lock; // protects access to the global array of deopt'ed leaf graphs
51111665eda6 Support for recording a leaf graph id for each deoptimization point in the debug info.
Lukas Stadler <lukas.stadler@jku.at>
parents: 4840
diff changeset
151 #endif // GRAAL
51111665eda6 Support for recording a leaf graph id for each deoptimization point in the debug info.
Lukas Stadler <lukas.stadler@jku.at>
parents: 4840
diff changeset
152
0
a61af66fc99e Initial load
duke
parents:
diff changeset
153 // A MutexLocker provides mutual exclusion with respect to a given mutex
a61af66fc99e Initial load
duke
parents:
diff changeset
154 // for the scope which contains the locker. The lock is an OS lock, not
a61af66fc99e Initial load
duke
parents:
diff changeset
155 // an object lock, and the two do not interoperate. Do not use Mutex-based
a61af66fc99e Initial load
duke
parents:
diff changeset
156 // locks to lock on Java objects, because they will not be respected if a
a61af66fc99e Initial load
duke
parents:
diff changeset
157 // that object is locked using the Java locking mechanism.
a61af66fc99e Initial load
duke
parents:
diff changeset
158 //
a61af66fc99e Initial load
duke
parents:
diff changeset
159 // NOTE WELL!!
a61af66fc99e Initial load
duke
parents:
diff changeset
160 //
a61af66fc99e Initial load
duke
parents:
diff changeset
161 // See orderAccess.hpp. We assume throughout the VM that MutexLocker's
a61af66fc99e Initial load
duke
parents:
diff changeset
162 // and friends constructors do a fence, a lock and an acquire *in that
a61af66fc99e Initial load
duke
parents:
diff changeset
163 // order*. And that their destructors do a release and unlock, in *that*
a61af66fc99e Initial load
duke
parents:
diff changeset
164 // order. If their implementations change such that these assumptions
a61af66fc99e Initial load
duke
parents:
diff changeset
165 // are violated, a whole lot of code will break.
a61af66fc99e Initial load
duke
parents:
diff changeset
166
a61af66fc99e Initial load
duke
parents:
diff changeset
167 // Print all mutexes/monitors that are currently owned by a thread; called
a61af66fc99e Initial load
duke
parents:
diff changeset
168 // by fatal error handler.
a61af66fc99e Initial load
duke
parents:
diff changeset
169 void print_owned_locks_on_error(outputStream* st);
a61af66fc99e Initial load
duke
parents:
diff changeset
170
a61af66fc99e Initial load
duke
parents:
diff changeset
171 char *lock_name(Mutex *mutex);
a61af66fc99e Initial load
duke
parents:
diff changeset
172
a61af66fc99e Initial load
duke
parents:
diff changeset
173 class MutexLocker: StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
174 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
175 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
176 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
177 MutexLocker(Monitor * mutex) {
a61af66fc99e Initial load
duke
parents:
diff changeset
178 assert(mutex->rank() != Mutex::special,
a61af66fc99e Initial load
duke
parents:
diff changeset
179 "Special ranked mutex should only use MutexLockerEx");
a61af66fc99e Initial load
duke
parents:
diff changeset
180 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
181 _mutex->lock();
a61af66fc99e Initial load
duke
parents:
diff changeset
182 }
a61af66fc99e Initial load
duke
parents:
diff changeset
183
a61af66fc99e Initial load
duke
parents:
diff changeset
184 // Overloaded constructor passing current thread
a61af66fc99e Initial load
duke
parents:
diff changeset
185 MutexLocker(Monitor * mutex, Thread *thread) {
a61af66fc99e Initial load
duke
parents:
diff changeset
186 assert(mutex->rank() != Mutex::special,
a61af66fc99e Initial load
duke
parents:
diff changeset
187 "Special ranked mutex should only use MutexLockerEx");
a61af66fc99e Initial load
duke
parents:
diff changeset
188 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
189 _mutex->lock(thread);
a61af66fc99e Initial load
duke
parents:
diff changeset
190 }
a61af66fc99e Initial load
duke
parents:
diff changeset
191
a61af66fc99e Initial load
duke
parents:
diff changeset
192 ~MutexLocker() {
a61af66fc99e Initial load
duke
parents:
diff changeset
193 _mutex->unlock();
a61af66fc99e Initial load
duke
parents:
diff changeset
194 }
a61af66fc99e Initial load
duke
parents:
diff changeset
195
a61af66fc99e Initial load
duke
parents:
diff changeset
196 };
a61af66fc99e Initial load
duke
parents:
diff changeset
197
a61af66fc99e Initial load
duke
parents:
diff changeset
198 // for debugging: check that we're already owning this lock (or are at a safepoint)
a61af66fc99e Initial load
duke
parents:
diff changeset
199 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
200 void assert_locked_or_safepoint(const Monitor * lock);
a61af66fc99e Initial load
duke
parents:
diff changeset
201 void assert_lock_strong(const Monitor * lock);
a61af66fc99e Initial load
duke
parents:
diff changeset
202 #else
a61af66fc99e Initial load
duke
parents:
diff changeset
203 #define assert_locked_or_safepoint(lock)
a61af66fc99e Initial load
duke
parents:
diff changeset
204 #define assert_lock_strong(lock)
a61af66fc99e Initial load
duke
parents:
diff changeset
205 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
206
a61af66fc99e Initial load
duke
parents:
diff changeset
207 // A MutexLockerEx behaves like a MutexLocker when its constructor is
a61af66fc99e Initial load
duke
parents:
diff changeset
208 // called with a Mutex. Unlike a MutexLocker, its constructor can also be
a61af66fc99e Initial load
duke
parents:
diff changeset
209 // called with NULL, in which case the MutexLockerEx is a no-op. There
a61af66fc99e Initial load
duke
parents:
diff changeset
210 // is also a corresponding MutexUnlockerEx. We want to keep the
a61af66fc99e Initial load
duke
parents:
diff changeset
211 // basic MutexLocker as fast as possible. MutexLockerEx can also lock
a61af66fc99e Initial load
duke
parents:
diff changeset
212 // without safepoint check.
a61af66fc99e Initial load
duke
parents:
diff changeset
213
a61af66fc99e Initial load
duke
parents:
diff changeset
214 class MutexLockerEx: public StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
215 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
216 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
217 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
218 MutexLockerEx(Monitor * mutex, bool no_safepoint_check = !Mutex::_no_safepoint_check_flag) {
a61af66fc99e Initial load
duke
parents:
diff changeset
219 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
220 if (_mutex != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
221 assert(mutex->rank() > Mutex::special || no_safepoint_check,
a61af66fc99e Initial load
duke
parents:
diff changeset
222 "Mutexes with rank special or lower should not do safepoint checks");
a61af66fc99e Initial load
duke
parents:
diff changeset
223 if (no_safepoint_check)
a61af66fc99e Initial load
duke
parents:
diff changeset
224 _mutex->lock_without_safepoint_check();
a61af66fc99e Initial load
duke
parents:
diff changeset
225 else
a61af66fc99e Initial load
duke
parents:
diff changeset
226 _mutex->lock();
a61af66fc99e Initial load
duke
parents:
diff changeset
227 }
a61af66fc99e Initial load
duke
parents:
diff changeset
228 }
a61af66fc99e Initial load
duke
parents:
diff changeset
229
a61af66fc99e Initial load
duke
parents:
diff changeset
230 ~MutexLockerEx() {
a61af66fc99e Initial load
duke
parents:
diff changeset
231 if (_mutex != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
232 _mutex->unlock();
a61af66fc99e Initial load
duke
parents:
diff changeset
233 }
a61af66fc99e Initial load
duke
parents:
diff changeset
234 }
a61af66fc99e Initial load
duke
parents:
diff changeset
235 };
a61af66fc99e Initial load
duke
parents:
diff changeset
236
a61af66fc99e Initial load
duke
parents:
diff changeset
237 // A MonitorLockerEx is like a MutexLockerEx above, except it takes
a61af66fc99e Initial load
duke
parents:
diff changeset
238 // a possibly null Monitor, and allows wait/notify as well which are
a61af66fc99e Initial load
duke
parents:
diff changeset
239 // delegated to the underlying Monitor.
a61af66fc99e Initial load
duke
parents:
diff changeset
240
a61af66fc99e Initial load
duke
parents:
diff changeset
241 class MonitorLockerEx: public MutexLockerEx {
a61af66fc99e Initial load
duke
parents:
diff changeset
242 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
243 Monitor * _monitor;
a61af66fc99e Initial load
duke
parents:
diff changeset
244 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
245 MonitorLockerEx(Monitor* monitor,
a61af66fc99e Initial load
duke
parents:
diff changeset
246 bool no_safepoint_check = !Mutex::_no_safepoint_check_flag):
a61af66fc99e Initial load
duke
parents:
diff changeset
247 MutexLockerEx(monitor, no_safepoint_check),
a61af66fc99e Initial load
duke
parents:
diff changeset
248 _monitor(monitor) {
a61af66fc99e Initial load
duke
parents:
diff changeset
249 // Superclass constructor did locking
a61af66fc99e Initial load
duke
parents:
diff changeset
250 }
a61af66fc99e Initial load
duke
parents:
diff changeset
251
a61af66fc99e Initial load
duke
parents:
diff changeset
252 ~MonitorLockerEx() {
a61af66fc99e Initial load
duke
parents:
diff changeset
253 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
254 if (_monitor != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
255 assert_lock_strong(_monitor);
a61af66fc99e Initial load
duke
parents:
diff changeset
256 }
a61af66fc99e Initial load
duke
parents:
diff changeset
257 #endif // ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
258 // Superclass destructor will do unlocking
a61af66fc99e Initial load
duke
parents:
diff changeset
259 }
a61af66fc99e Initial load
duke
parents:
diff changeset
260
a61af66fc99e Initial load
duke
parents:
diff changeset
261 bool wait(bool no_safepoint_check = !Mutex::_no_safepoint_check_flag,
a61af66fc99e Initial load
duke
parents:
diff changeset
262 long timeout = 0,
a61af66fc99e Initial load
duke
parents:
diff changeset
263 bool as_suspend_equivalent = !Mutex::_as_suspend_equivalent_flag) {
a61af66fc99e Initial load
duke
parents:
diff changeset
264 if (_monitor != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
265 return _monitor->wait(no_safepoint_check, timeout, as_suspend_equivalent);
a61af66fc99e Initial load
duke
parents:
diff changeset
266 }
a61af66fc99e Initial load
duke
parents:
diff changeset
267 return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
268 }
a61af66fc99e Initial load
duke
parents:
diff changeset
269
a61af66fc99e Initial load
duke
parents:
diff changeset
270 bool notify_all() {
a61af66fc99e Initial load
duke
parents:
diff changeset
271 if (_monitor != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
272 return _monitor->notify_all();
a61af66fc99e Initial load
duke
parents:
diff changeset
273 }
a61af66fc99e Initial load
duke
parents:
diff changeset
274 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
275 }
a61af66fc99e Initial load
duke
parents:
diff changeset
276
a61af66fc99e Initial load
duke
parents:
diff changeset
277 bool notify() {
a61af66fc99e Initial load
duke
parents:
diff changeset
278 if (_monitor != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
279 return _monitor->notify();
a61af66fc99e Initial load
duke
parents:
diff changeset
280 }
a61af66fc99e Initial load
duke
parents:
diff changeset
281 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
282 }
a61af66fc99e Initial load
duke
parents:
diff changeset
283 };
a61af66fc99e Initial load
duke
parents:
diff changeset
284
a61af66fc99e Initial load
duke
parents:
diff changeset
285
a61af66fc99e Initial load
duke
parents:
diff changeset
286
a61af66fc99e Initial load
duke
parents:
diff changeset
287 // A GCMutexLocker is usually initialized with a mutex that is
a61af66fc99e Initial load
duke
parents:
diff changeset
288 // automatically acquired in order to do GC. The function that
a61af66fc99e Initial load
duke
parents:
diff changeset
289 // synchronizes using a GCMutexLocker may be called both during and between
a61af66fc99e Initial load
duke
parents:
diff changeset
290 // GC's. Thus, it must acquire the mutex if GC is not in progress, but not
a61af66fc99e Initial load
duke
parents:
diff changeset
291 // if GC is in progress (since the mutex is already held on its behalf.)
a61af66fc99e Initial load
duke
parents:
diff changeset
292
a61af66fc99e Initial load
duke
parents:
diff changeset
293 class GCMutexLocker: public StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
294 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
295 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
296 bool _locked;
a61af66fc99e Initial load
duke
parents:
diff changeset
297 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
298 GCMutexLocker(Monitor * mutex);
a61af66fc99e Initial load
duke
parents:
diff changeset
299 ~GCMutexLocker() { if (_locked) _mutex->unlock(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
300 };
a61af66fc99e Initial load
duke
parents:
diff changeset
301
a61af66fc99e Initial load
duke
parents:
diff changeset
302
a61af66fc99e Initial load
duke
parents:
diff changeset
303
a61af66fc99e Initial load
duke
parents:
diff changeset
304 // A MutexUnlocker temporarily exits a previously
a61af66fc99e Initial load
duke
parents:
diff changeset
305 // entered mutex for the scope which contains the unlocker.
a61af66fc99e Initial load
duke
parents:
diff changeset
306
a61af66fc99e Initial load
duke
parents:
diff changeset
307 class MutexUnlocker: StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
308 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
309 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
310
a61af66fc99e Initial load
duke
parents:
diff changeset
311 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
312 MutexUnlocker(Monitor * mutex) {
a61af66fc99e Initial load
duke
parents:
diff changeset
313 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
314 _mutex->unlock();
a61af66fc99e Initial load
duke
parents:
diff changeset
315 }
a61af66fc99e Initial load
duke
parents:
diff changeset
316
a61af66fc99e Initial load
duke
parents:
diff changeset
317 ~MutexUnlocker() {
a61af66fc99e Initial load
duke
parents:
diff changeset
318 _mutex->lock();
a61af66fc99e Initial load
duke
parents:
diff changeset
319 }
a61af66fc99e Initial load
duke
parents:
diff changeset
320 };
a61af66fc99e Initial load
duke
parents:
diff changeset
321
a61af66fc99e Initial load
duke
parents:
diff changeset
322 // A MutexUnlockerEx temporarily exits a previously
a61af66fc99e Initial load
duke
parents:
diff changeset
323 // entered mutex for the scope which contains the unlocker.
a61af66fc99e Initial load
duke
parents:
diff changeset
324
a61af66fc99e Initial load
duke
parents:
diff changeset
325 class MutexUnlockerEx: StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
326 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
327 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
328 bool _no_safepoint_check;
a61af66fc99e Initial load
duke
parents:
diff changeset
329
a61af66fc99e Initial load
duke
parents:
diff changeset
330 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
331 MutexUnlockerEx(Monitor * mutex, bool no_safepoint_check = !Mutex::_no_safepoint_check_flag) {
a61af66fc99e Initial load
duke
parents:
diff changeset
332 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
333 _no_safepoint_check = no_safepoint_check;
a61af66fc99e Initial load
duke
parents:
diff changeset
334 _mutex->unlock();
a61af66fc99e Initial load
duke
parents:
diff changeset
335 }
a61af66fc99e Initial load
duke
parents:
diff changeset
336
a61af66fc99e Initial load
duke
parents:
diff changeset
337 ~MutexUnlockerEx() {
a61af66fc99e Initial load
duke
parents:
diff changeset
338 if (_no_safepoint_check == Mutex::_no_safepoint_check_flag) {
a61af66fc99e Initial load
duke
parents:
diff changeset
339 _mutex->lock_without_safepoint_check();
a61af66fc99e Initial load
duke
parents:
diff changeset
340 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
341 _mutex->lock();
a61af66fc99e Initial load
duke
parents:
diff changeset
342 }
a61af66fc99e Initial load
duke
parents:
diff changeset
343 }
a61af66fc99e Initial load
duke
parents:
diff changeset
344 };
a61af66fc99e Initial load
duke
parents:
diff changeset
345
a61af66fc99e Initial load
duke
parents:
diff changeset
346 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
347 //
a61af66fc99e Initial load
duke
parents:
diff changeset
348 // A special MutexLocker that allows:
a61af66fc99e Initial load
duke
parents:
diff changeset
349 // - reentrant locking
a61af66fc99e Initial load
duke
parents:
diff changeset
350 // - locking out of order
a61af66fc99e Initial load
duke
parents:
diff changeset
351 //
a61af66fc99e Initial load
duke
parents:
diff changeset
352 // Only too be used for verify code, where we can relaxe out dead-lock
a61af66fc99e Initial load
duke
parents:
diff changeset
353 // dection code a bit (unsafe, but probably ok). This code is NEVER to
a61af66fc99e Initial load
duke
parents:
diff changeset
354 // be included in a product version.
a61af66fc99e Initial load
duke
parents:
diff changeset
355 //
a61af66fc99e Initial load
duke
parents:
diff changeset
356 class VerifyMutexLocker: StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
357 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
358 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
359 bool _reentrant;
a61af66fc99e Initial load
duke
parents:
diff changeset
360 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
361 VerifyMutexLocker(Monitor * mutex) {
a61af66fc99e Initial load
duke
parents:
diff changeset
362 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
363 _reentrant = mutex->owned_by_self();
a61af66fc99e Initial load
duke
parents:
diff changeset
364 if (!_reentrant) {
a61af66fc99e Initial load
duke
parents:
diff changeset
365 // We temp. diable strict safepoint checking, while we require the lock
a61af66fc99e Initial load
duke
parents:
diff changeset
366 FlagSetting fs(StrictSafepointChecks, false);
a61af66fc99e Initial load
duke
parents:
diff changeset
367 _mutex->lock();
a61af66fc99e Initial load
duke
parents:
diff changeset
368 }
a61af66fc99e Initial load
duke
parents:
diff changeset
369 }
a61af66fc99e Initial load
duke
parents:
diff changeset
370
a61af66fc99e Initial load
duke
parents:
diff changeset
371 ~VerifyMutexLocker() {
a61af66fc99e Initial load
duke
parents:
diff changeset
372 if (!_reentrant) {
a61af66fc99e Initial load
duke
parents:
diff changeset
373 _mutex->unlock();
a61af66fc99e Initial load
duke
parents:
diff changeset
374 }
a61af66fc99e Initial load
duke
parents:
diff changeset
375 }
a61af66fc99e Initial load
duke
parents:
diff changeset
376 };
a61af66fc99e Initial load
duke
parents:
diff changeset
377
a61af66fc99e Initial load
duke
parents:
diff changeset
378 #endif
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1584
diff changeset
379
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1584
diff changeset
380 #endif // SHARE_VM_RUNTIME_MUTEXLOCKER_HPP