annotate src/share/vm/runtime/mutexLocker.hpp @ 1721:413ad0331a0c

6977924: Changes for 6975078 produce build error with certain gcc versions Summary: The changes introduced for 6975078 assign badHeapOopVal to the _allocation field in the ResourceObj class. In 32 bit linux builds with certain versions of gcc this assignment will be flagged as an error while compiling allocation.cpp. In 32 bit builds the constant value badHeapOopVal (which is cast to an intptr_t) is negative. The _allocation field is typed as an unsigned intptr_t and gcc catches this as an error. Reviewed-by: jcoomes, ysr, phh
author johnc
date Wed, 18 Aug 2010 10:59:06 -0700
parents b812ff5abc73
children f95d63e2154a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1358
diff changeset
2 * Copyright (c) 1997, 2009, 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
a61af66fc99e Initial load
duke
parents:
diff changeset
25 // Mutexes used in the VM.
a61af66fc99e Initial load
duke
parents:
diff changeset
26
a61af66fc99e Initial load
duke
parents:
diff changeset
27 extern Mutex* Patching_lock; // a lock used to guard code patching of compiled code
a61af66fc99e Initial load
duke
parents:
diff changeset
28 extern Monitor* SystemDictionary_lock; // a lock on the system dictonary
a61af66fc99e Initial load
duke
parents:
diff changeset
29 extern Mutex* PackageTable_lock; // a lock on the class loader package table
a61af66fc99e Initial load
duke
parents:
diff changeset
30 extern Mutex* CompiledIC_lock; // a lock used to guard compiled IC patching and access
a61af66fc99e Initial load
duke
parents:
diff changeset
31 extern Mutex* InlineCacheBuffer_lock; // a lock used to guard the InlineCacheBuffer
a61af66fc99e Initial load
duke
parents:
diff changeset
32 extern Mutex* VMStatistic_lock; // a lock used to guard statistics count increment
a61af66fc99e Initial load
duke
parents:
diff changeset
33 extern Mutex* JNIGlobalHandle_lock; // a lock on creating JNI global handles
a61af66fc99e Initial load
duke
parents:
diff changeset
34 extern Mutex* JNIHandleBlockFreeList_lock; // a lock on the JNI handle block free list
a61af66fc99e Initial load
duke
parents:
diff changeset
35 extern Mutex* JNICachedItableIndex_lock; // a lock on caching an itable index during JNI invoke
a61af66fc99e Initial load
duke
parents:
diff changeset
36 extern Mutex* JmethodIdCreation_lock; // a lock on creating JNI method identifiers
a61af66fc99e Initial load
duke
parents:
diff changeset
37 extern Mutex* JfieldIdCreation_lock; // a lock on creating JNI static field identifiers
a61af66fc99e Initial load
duke
parents:
diff changeset
38 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
39 extern Mutex* JvmtiThreadState_lock; // a lock on modification of JVMTI thread data
a61af66fc99e Initial load
duke
parents:
diff changeset
40 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
41 extern Monitor* Heap_lock; // a lock on the heap
0
a61af66fc99e Initial load
duke
parents:
diff changeset
42 extern Mutex* ExpandHeap_lock; // a lock on expanding the heap
a61af66fc99e Initial load
duke
parents:
diff changeset
43 extern Mutex* AdapterHandlerLibrary_lock; // a lock on the AdapterHandlerLibrary
a61af66fc99e Initial load
duke
parents:
diff changeset
44 extern Mutex* SignatureHandlerLibrary_lock; // a lock on the SignatureHandlerLibrary
a61af66fc99e Initial load
duke
parents:
diff changeset
45 extern Mutex* VtableStubs_lock; // a lock on the VtableStubs
a61af66fc99e Initial load
duke
parents:
diff changeset
46 extern Mutex* SymbolTable_lock; // a lock on the symbol table
a61af66fc99e Initial load
duke
parents:
diff changeset
47 extern Mutex* StringTable_lock; // a lock on the interned string table
a61af66fc99e Initial load
duke
parents:
diff changeset
48 extern Mutex* CodeCache_lock; // a lock on the CodeCache, rank is special, use MutexLockerEx
a61af66fc99e Initial load
duke
parents:
diff changeset
49 extern Mutex* MethodData_lock; // a lock on installation of method data
a61af66fc99e Initial load
duke
parents:
diff changeset
50 extern Mutex* RetData_lock; // a lock on installation of RetData inside method data
a61af66fc99e Initial load
duke
parents:
diff changeset
51 extern Mutex* DerivedPointerTableGC_lock; // a lock to protect the derived pointer table
a61af66fc99e Initial load
duke
parents:
diff changeset
52 extern Monitor* VMOperationQueue_lock; // a lock on queue of vm_operations waiting to execute
a61af66fc99e Initial load
duke
parents:
diff changeset
53 extern Monitor* VMOperationRequest_lock; // a lock on Threads waiting for a vm_operation to terminate
a61af66fc99e Initial load
duke
parents:
diff changeset
54 extern Monitor* Safepoint_lock; // a lock used by the safepoint abstraction
a61af66fc99e Initial load
duke
parents:
diff changeset
55 extern Monitor* Threads_lock; // a lock on the Threads table of active Java threads
a61af66fc99e Initial load
duke
parents:
diff changeset
56 // (also used by Safepoints too to block threads creation/destruction)
a61af66fc99e Initial load
duke
parents:
diff changeset
57 extern Monitor* CGC_lock; // used for coordination between
a61af66fc99e Initial load
duke
parents:
diff changeset
58 // fore- & background GC threads.
a61af66fc99e Initial load
duke
parents:
diff changeset
59 extern Mutex* STS_init_lock; // coordinate initialization of SuspendibleThreadSets.
a61af66fc99e Initial load
duke
parents:
diff changeset
60 extern Monitor* SLT_lock; // used in CMS GC for acquiring PLL
a61af66fc99e Initial load
duke
parents:
diff changeset
61 extern Monitor* iCMS_lock; // CMS incremental mode start/stop notification
a61af66fc99e Initial load
duke
parents:
diff changeset
62 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
63 extern Monitor* CMark_lock; // used for concurrent mark thread coordination
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
64 extern Monitor* ZF_mon; // used for G1 conc zero-fill.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
65 extern Monitor* Cleanup_mon; // used for G1 conc cleanup.
1358
72f725c5a7be 6940310: G1: MT-unsafe calls to CM::region_stack_push() / CM::region_stack_pop()
tonyp
parents: 844
diff changeset
66 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
67 extern Mutex* SATB_Q_FL_lock; // Protects SATB Q
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
68 // buffer free list.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
69 extern Monitor* SATB_Q_CBL_mon; // Protects SATB Q
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
70 // completed buffer queue.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
71 extern Mutex* Shared_SATB_Q_lock; // Lock protecting SATB
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
72 // queue shared by
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
73 // non-Java threads.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
74
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
75 extern Mutex* DirtyCardQ_FL_lock; // Protects dirty card Q
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
76 // buffer free list.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
77 extern Monitor* DirtyCardQ_CBL_mon; // Protects dirty card Q
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
78 // completed buffer queue.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
79 extern Mutex* Shared_DirtyCardQ_lock; // Lock protecting dirty card
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
80 // queue shared by
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
81 // non-Java threads.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
82 // (see option ExplicitGCInvokesConcurrent)
a61af66fc99e Initial load
duke
parents:
diff changeset
83 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
84 extern Mutex* EvacFailureStack_lock; // guards the evac failure scan stack
0
a61af66fc99e Initial load
duke
parents:
diff changeset
85 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
86 extern Monitor* MethodCompileQueue_lock; // a lock held when method compilations are enqueued, dequeued
a61af66fc99e Initial load
duke
parents:
diff changeset
87 extern Monitor* CompileThread_lock; // a lock held by compile threads during compilation system initialization
a61af66fc99e Initial load
duke
parents:
diff changeset
88 extern Mutex* CompileTaskAlloc_lock; // a lock held when CompileTasks are allocated
a61af66fc99e Initial load
duke
parents:
diff changeset
89 extern Mutex* CompileStatistics_lock; // a lock held when updating compilation statistics
a61af66fc99e Initial load
duke
parents:
diff changeset
90 extern Mutex* MultiArray_lock; // a lock used to guard allocation of multi-dim arrays
a61af66fc99e Initial load
duke
parents:
diff changeset
91 extern Monitor* Terminator_lock; // a lock used to guard termination of the vm
a61af66fc99e Initial load
duke
parents:
diff changeset
92 extern Monitor* BeforeExit_lock; // a lock used to guard cleanups and shutdown hooks
a61af66fc99e Initial load
duke
parents:
diff changeset
93 extern Monitor* Notify_lock; // a lock used to synchronize the start-up of the vm
a61af66fc99e Initial load
duke
parents:
diff changeset
94 extern Monitor* Interrupt_lock; // a lock used for condition variable mediated interrupt processing
a61af66fc99e Initial load
duke
parents:
diff changeset
95 extern Monitor* ProfileVM_lock; // a lock used for profiling the VMThread
a61af66fc99e Initial load
duke
parents:
diff changeset
96 extern Mutex* ProfilePrint_lock; // a lock used to serialize the printing of profiles
a61af66fc99e Initial load
duke
parents:
diff changeset
97 extern Mutex* ExceptionCache_lock; // a lock used to synchronize exception cache updates
a61af66fc99e Initial load
duke
parents:
diff changeset
98 extern Mutex* OsrList_lock; // a lock used to serialize access to OSR queues
a61af66fc99e Initial load
duke
parents:
diff changeset
99
a61af66fc99e Initial load
duke
parents:
diff changeset
100 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
101 extern Mutex* FullGCALot_lock; // a lock to make FullGCALot MT safe
a61af66fc99e Initial load
duke
parents:
diff changeset
102 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
103 extern Mutex* Debug1_lock; // A bunch of pre-allocated locks that can be used for tracing
a61af66fc99e Initial load
duke
parents:
diff changeset
104 extern Mutex* Debug2_lock; // down synchronization related bugs!
a61af66fc99e Initial load
duke
parents:
diff changeset
105 extern Mutex* Debug3_lock;
a61af66fc99e Initial load
duke
parents:
diff changeset
106
a61af66fc99e Initial load
duke
parents:
diff changeset
107 extern Mutex* RawMonitor_lock;
a61af66fc99e Initial load
duke
parents:
diff changeset
108 extern Mutex* PerfDataMemAlloc_lock; // a lock on the allocator for PerfData memory for performance data
a61af66fc99e Initial load
duke
parents:
diff changeset
109 extern Mutex* PerfDataManager_lock; // a long on access to PerfDataManager resources
a61af66fc99e Initial load
duke
parents:
diff changeset
110 extern Mutex* ParkerFreeList_lock;
a61af66fc99e Initial load
duke
parents:
diff changeset
111 extern Mutex* OopMapCacheAlloc_lock; // protects allocation of oop_map caches
a61af66fc99e Initial load
duke
parents:
diff changeset
112
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
113 extern Mutex* MMUTracker_lock; // protects the MMU
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
114 // tracker data structures
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
115 extern Mutex* HotCardCache_lock; // protects the hot card cache
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 55
diff changeset
116
0
a61af66fc99e Initial load
duke
parents:
diff changeset
117 extern Mutex* Management_lock; // a lock used to serialize JVM management
a61af66fc99e Initial load
duke
parents:
diff changeset
118 extern Monitor* LowMemory_lock; // a lock used for low memory detection
a61af66fc99e Initial load
duke
parents:
diff changeset
119
a61af66fc99e Initial load
duke
parents:
diff changeset
120 // A MutexLocker provides mutual exclusion with respect to a given mutex
a61af66fc99e Initial load
duke
parents:
diff changeset
121 // for the scope which contains the locker. The lock is an OS lock, not
a61af66fc99e Initial load
duke
parents:
diff changeset
122 // an object lock, and the two do not interoperate. Do not use Mutex-based
a61af66fc99e Initial load
duke
parents:
diff changeset
123 // locks to lock on Java objects, because they will not be respected if a
a61af66fc99e Initial load
duke
parents:
diff changeset
124 // that object is locked using the Java locking mechanism.
a61af66fc99e Initial load
duke
parents:
diff changeset
125 //
a61af66fc99e Initial load
duke
parents:
diff changeset
126 // NOTE WELL!!
a61af66fc99e Initial load
duke
parents:
diff changeset
127 //
a61af66fc99e Initial load
duke
parents:
diff changeset
128 // See orderAccess.hpp. We assume throughout the VM that MutexLocker's
a61af66fc99e Initial load
duke
parents:
diff changeset
129 // and friends constructors do a fence, a lock and an acquire *in that
a61af66fc99e Initial load
duke
parents:
diff changeset
130 // order*. And that their destructors do a release and unlock, in *that*
a61af66fc99e Initial load
duke
parents:
diff changeset
131 // order. If their implementations change such that these assumptions
a61af66fc99e Initial load
duke
parents:
diff changeset
132 // are violated, a whole lot of code will break.
a61af66fc99e Initial load
duke
parents:
diff changeset
133
a61af66fc99e Initial load
duke
parents:
diff changeset
134 // Print all mutexes/monitors that are currently owned by a thread; called
a61af66fc99e Initial load
duke
parents:
diff changeset
135 // by fatal error handler.
a61af66fc99e Initial load
duke
parents:
diff changeset
136 void print_owned_locks_on_error(outputStream* st);
a61af66fc99e Initial load
duke
parents:
diff changeset
137
a61af66fc99e Initial load
duke
parents:
diff changeset
138 char *lock_name(Mutex *mutex);
a61af66fc99e Initial load
duke
parents:
diff changeset
139
a61af66fc99e Initial load
duke
parents:
diff changeset
140 class MutexLocker: StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
141 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
142 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
143 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
144 MutexLocker(Monitor * mutex) {
a61af66fc99e Initial load
duke
parents:
diff changeset
145 assert(mutex->rank() != Mutex::special,
a61af66fc99e Initial load
duke
parents:
diff changeset
146 "Special ranked mutex should only use MutexLockerEx");
a61af66fc99e Initial load
duke
parents:
diff changeset
147 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
148 _mutex->lock();
a61af66fc99e Initial load
duke
parents:
diff changeset
149 }
a61af66fc99e Initial load
duke
parents:
diff changeset
150
a61af66fc99e Initial load
duke
parents:
diff changeset
151 // Overloaded constructor passing current thread
a61af66fc99e Initial load
duke
parents:
diff changeset
152 MutexLocker(Monitor * mutex, Thread *thread) {
a61af66fc99e Initial load
duke
parents:
diff changeset
153 assert(mutex->rank() != Mutex::special,
a61af66fc99e Initial load
duke
parents:
diff changeset
154 "Special ranked mutex should only use MutexLockerEx");
a61af66fc99e Initial load
duke
parents:
diff changeset
155 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
156 _mutex->lock(thread);
a61af66fc99e Initial load
duke
parents:
diff changeset
157 }
a61af66fc99e Initial load
duke
parents:
diff changeset
158
a61af66fc99e Initial load
duke
parents:
diff changeset
159 ~MutexLocker() {
a61af66fc99e Initial load
duke
parents:
diff changeset
160 _mutex->unlock();
a61af66fc99e Initial load
duke
parents:
diff changeset
161 }
a61af66fc99e Initial load
duke
parents:
diff changeset
162
a61af66fc99e Initial load
duke
parents:
diff changeset
163 };
a61af66fc99e Initial load
duke
parents:
diff changeset
164
a61af66fc99e Initial load
duke
parents:
diff changeset
165 // for debugging: check that we're already owning this lock (or are at a safepoint)
a61af66fc99e Initial load
duke
parents:
diff changeset
166 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
167 void assert_locked_or_safepoint(const Monitor * lock);
a61af66fc99e Initial load
duke
parents:
diff changeset
168 void assert_lock_strong(const Monitor * lock);
a61af66fc99e Initial load
duke
parents:
diff changeset
169 #else
a61af66fc99e Initial load
duke
parents:
diff changeset
170 #define assert_locked_or_safepoint(lock)
a61af66fc99e Initial load
duke
parents:
diff changeset
171 #define assert_lock_strong(lock)
a61af66fc99e Initial load
duke
parents:
diff changeset
172 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
173
a61af66fc99e Initial load
duke
parents:
diff changeset
174 // A MutexLockerEx behaves like a MutexLocker when its constructor is
a61af66fc99e Initial load
duke
parents:
diff changeset
175 // called with a Mutex. Unlike a MutexLocker, its constructor can also be
a61af66fc99e Initial load
duke
parents:
diff changeset
176 // called with NULL, in which case the MutexLockerEx is a no-op. There
a61af66fc99e Initial load
duke
parents:
diff changeset
177 // is also a corresponding MutexUnlockerEx. We want to keep the
a61af66fc99e Initial load
duke
parents:
diff changeset
178 // basic MutexLocker as fast as possible. MutexLockerEx can also lock
a61af66fc99e Initial load
duke
parents:
diff changeset
179 // without safepoint check.
a61af66fc99e Initial load
duke
parents:
diff changeset
180
a61af66fc99e Initial load
duke
parents:
diff changeset
181 class MutexLockerEx: public StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
182 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
183 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
184 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
185 MutexLockerEx(Monitor * mutex, bool no_safepoint_check = !Mutex::_no_safepoint_check_flag) {
a61af66fc99e Initial load
duke
parents:
diff changeset
186 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
187 if (_mutex != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
188 assert(mutex->rank() > Mutex::special || no_safepoint_check,
a61af66fc99e Initial load
duke
parents:
diff changeset
189 "Mutexes with rank special or lower should not do safepoint checks");
a61af66fc99e Initial load
duke
parents:
diff changeset
190 if (no_safepoint_check)
a61af66fc99e Initial load
duke
parents:
diff changeset
191 _mutex->lock_without_safepoint_check();
a61af66fc99e Initial load
duke
parents:
diff changeset
192 else
a61af66fc99e Initial load
duke
parents:
diff changeset
193 _mutex->lock();
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 ~MutexLockerEx() {
a61af66fc99e Initial load
duke
parents:
diff changeset
198 if (_mutex != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
199 _mutex->unlock();
a61af66fc99e Initial load
duke
parents:
diff changeset
200 }
a61af66fc99e Initial load
duke
parents:
diff changeset
201 }
a61af66fc99e Initial load
duke
parents:
diff changeset
202 };
a61af66fc99e Initial load
duke
parents:
diff changeset
203
a61af66fc99e Initial load
duke
parents:
diff changeset
204 // A MonitorLockerEx is like a MutexLockerEx above, except it takes
a61af66fc99e Initial load
duke
parents:
diff changeset
205 // a possibly null Monitor, and allows wait/notify as well which are
a61af66fc99e Initial load
duke
parents:
diff changeset
206 // delegated to the underlying Monitor.
a61af66fc99e Initial load
duke
parents:
diff changeset
207
a61af66fc99e Initial load
duke
parents:
diff changeset
208 class MonitorLockerEx: public MutexLockerEx {
a61af66fc99e Initial load
duke
parents:
diff changeset
209 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
210 Monitor * _monitor;
a61af66fc99e Initial load
duke
parents:
diff changeset
211 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
212 MonitorLockerEx(Monitor* monitor,
a61af66fc99e Initial load
duke
parents:
diff changeset
213 bool no_safepoint_check = !Mutex::_no_safepoint_check_flag):
a61af66fc99e Initial load
duke
parents:
diff changeset
214 MutexLockerEx(monitor, no_safepoint_check),
a61af66fc99e Initial load
duke
parents:
diff changeset
215 _monitor(monitor) {
a61af66fc99e Initial load
duke
parents:
diff changeset
216 // Superclass constructor did locking
a61af66fc99e Initial load
duke
parents:
diff changeset
217 }
a61af66fc99e Initial load
duke
parents:
diff changeset
218
a61af66fc99e Initial load
duke
parents:
diff changeset
219 ~MonitorLockerEx() {
a61af66fc99e Initial load
duke
parents:
diff changeset
220 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
221 if (_monitor != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
222 assert_lock_strong(_monitor);
a61af66fc99e Initial load
duke
parents:
diff changeset
223 }
a61af66fc99e Initial load
duke
parents:
diff changeset
224 #endif // ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
225 // Superclass destructor will do unlocking
a61af66fc99e Initial load
duke
parents:
diff changeset
226 }
a61af66fc99e Initial load
duke
parents:
diff changeset
227
a61af66fc99e Initial load
duke
parents:
diff changeset
228 bool wait(bool no_safepoint_check = !Mutex::_no_safepoint_check_flag,
a61af66fc99e Initial load
duke
parents:
diff changeset
229 long timeout = 0,
a61af66fc99e Initial load
duke
parents:
diff changeset
230 bool as_suspend_equivalent = !Mutex::_as_suspend_equivalent_flag) {
a61af66fc99e Initial load
duke
parents:
diff changeset
231 if (_monitor != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
232 return _monitor->wait(no_safepoint_check, timeout, as_suspend_equivalent);
a61af66fc99e Initial load
duke
parents:
diff changeset
233 }
a61af66fc99e Initial load
duke
parents:
diff changeset
234 return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
235 }
a61af66fc99e Initial load
duke
parents:
diff changeset
236
a61af66fc99e Initial load
duke
parents:
diff changeset
237 bool notify_all() {
a61af66fc99e Initial load
duke
parents:
diff changeset
238 if (_monitor != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
239 return _monitor->notify_all();
a61af66fc99e Initial load
duke
parents:
diff changeset
240 }
a61af66fc99e Initial load
duke
parents:
diff changeset
241 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
242 }
a61af66fc99e Initial load
duke
parents:
diff changeset
243
a61af66fc99e Initial load
duke
parents:
diff changeset
244 bool notify() {
a61af66fc99e Initial load
duke
parents:
diff changeset
245 if (_monitor != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
246 return _monitor->notify();
a61af66fc99e Initial load
duke
parents:
diff changeset
247 }
a61af66fc99e Initial load
duke
parents:
diff changeset
248 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
249 }
a61af66fc99e Initial load
duke
parents:
diff changeset
250 };
a61af66fc99e Initial load
duke
parents:
diff changeset
251
a61af66fc99e Initial load
duke
parents:
diff changeset
252
a61af66fc99e Initial load
duke
parents:
diff changeset
253
a61af66fc99e Initial load
duke
parents:
diff changeset
254 // A GCMutexLocker is usually initialized with a mutex that is
a61af66fc99e Initial load
duke
parents:
diff changeset
255 // automatically acquired in order to do GC. The function that
a61af66fc99e Initial load
duke
parents:
diff changeset
256 // synchronizes using a GCMutexLocker may be called both during and between
a61af66fc99e Initial load
duke
parents:
diff changeset
257 // GC's. Thus, it must acquire the mutex if GC is not in progress, but not
a61af66fc99e Initial load
duke
parents:
diff changeset
258 // if GC is in progress (since the mutex is already held on its behalf.)
a61af66fc99e Initial load
duke
parents:
diff changeset
259
a61af66fc99e Initial load
duke
parents:
diff changeset
260 class GCMutexLocker: public StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
261 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
262 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
263 bool _locked;
a61af66fc99e Initial load
duke
parents:
diff changeset
264 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
265 GCMutexLocker(Monitor * mutex);
a61af66fc99e Initial load
duke
parents:
diff changeset
266 ~GCMutexLocker() { if (_locked) _mutex->unlock(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
267 };
a61af66fc99e Initial load
duke
parents:
diff changeset
268
a61af66fc99e Initial load
duke
parents:
diff changeset
269
a61af66fc99e Initial load
duke
parents:
diff changeset
270
a61af66fc99e Initial load
duke
parents:
diff changeset
271 // A MutexUnlocker temporarily exits a previously
a61af66fc99e Initial load
duke
parents:
diff changeset
272 // entered mutex for the scope which contains the unlocker.
a61af66fc99e Initial load
duke
parents:
diff changeset
273
a61af66fc99e Initial load
duke
parents:
diff changeset
274 class MutexUnlocker: StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
275 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
276 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
277
a61af66fc99e Initial load
duke
parents:
diff changeset
278 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
279 MutexUnlocker(Monitor * mutex) {
a61af66fc99e Initial load
duke
parents:
diff changeset
280 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
281 _mutex->unlock();
a61af66fc99e Initial load
duke
parents:
diff changeset
282 }
a61af66fc99e Initial load
duke
parents:
diff changeset
283
a61af66fc99e Initial load
duke
parents:
diff changeset
284 ~MutexUnlocker() {
a61af66fc99e Initial load
duke
parents:
diff changeset
285 _mutex->lock();
a61af66fc99e Initial load
duke
parents:
diff changeset
286 }
a61af66fc99e Initial load
duke
parents:
diff changeset
287 };
a61af66fc99e Initial load
duke
parents:
diff changeset
288
a61af66fc99e Initial load
duke
parents:
diff changeset
289 // A MutexUnlockerEx temporarily exits a previously
a61af66fc99e Initial load
duke
parents:
diff changeset
290 // entered mutex for the scope which contains the unlocker.
a61af66fc99e Initial load
duke
parents:
diff changeset
291
a61af66fc99e Initial load
duke
parents:
diff changeset
292 class MutexUnlockerEx: StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
293 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
294 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
295 bool _no_safepoint_check;
a61af66fc99e Initial load
duke
parents:
diff changeset
296
a61af66fc99e Initial load
duke
parents:
diff changeset
297 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
298 MutexUnlockerEx(Monitor * mutex, bool no_safepoint_check = !Mutex::_no_safepoint_check_flag) {
a61af66fc99e Initial load
duke
parents:
diff changeset
299 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
300 _no_safepoint_check = no_safepoint_check;
a61af66fc99e Initial load
duke
parents:
diff changeset
301 _mutex->unlock();
a61af66fc99e Initial load
duke
parents:
diff changeset
302 }
a61af66fc99e Initial load
duke
parents:
diff changeset
303
a61af66fc99e Initial load
duke
parents:
diff changeset
304 ~MutexUnlockerEx() {
a61af66fc99e Initial load
duke
parents:
diff changeset
305 if (_no_safepoint_check == Mutex::_no_safepoint_check_flag) {
a61af66fc99e Initial load
duke
parents:
diff changeset
306 _mutex->lock_without_safepoint_check();
a61af66fc99e Initial load
duke
parents:
diff changeset
307 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
308 _mutex->lock();
a61af66fc99e Initial load
duke
parents:
diff changeset
309 }
a61af66fc99e Initial load
duke
parents:
diff changeset
310 }
a61af66fc99e Initial load
duke
parents:
diff changeset
311 };
a61af66fc99e Initial load
duke
parents:
diff changeset
312
a61af66fc99e Initial load
duke
parents:
diff changeset
313 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
314 //
a61af66fc99e Initial load
duke
parents:
diff changeset
315 // A special MutexLocker that allows:
a61af66fc99e Initial load
duke
parents:
diff changeset
316 // - reentrant locking
a61af66fc99e Initial load
duke
parents:
diff changeset
317 // - locking out of order
a61af66fc99e Initial load
duke
parents:
diff changeset
318 //
a61af66fc99e Initial load
duke
parents:
diff changeset
319 // Only too be used for verify code, where we can relaxe out dead-lock
a61af66fc99e Initial load
duke
parents:
diff changeset
320 // dection code a bit (unsafe, but probably ok). This code is NEVER to
a61af66fc99e Initial load
duke
parents:
diff changeset
321 // be included in a product version.
a61af66fc99e Initial load
duke
parents:
diff changeset
322 //
a61af66fc99e Initial load
duke
parents:
diff changeset
323 class VerifyMutexLocker: StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
324 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
325 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
326 bool _reentrant;
a61af66fc99e Initial load
duke
parents:
diff changeset
327 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
328 VerifyMutexLocker(Monitor * mutex) {
a61af66fc99e Initial load
duke
parents:
diff changeset
329 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
330 _reentrant = mutex->owned_by_self();
a61af66fc99e Initial load
duke
parents:
diff changeset
331 if (!_reentrant) {
a61af66fc99e Initial load
duke
parents:
diff changeset
332 // We temp. diable strict safepoint checking, while we require the lock
a61af66fc99e Initial load
duke
parents:
diff changeset
333 FlagSetting fs(StrictSafepointChecks, false);
a61af66fc99e Initial load
duke
parents:
diff changeset
334 _mutex->lock();
a61af66fc99e Initial load
duke
parents:
diff changeset
335 }
a61af66fc99e Initial load
duke
parents:
diff changeset
336 }
a61af66fc99e Initial load
duke
parents:
diff changeset
337
a61af66fc99e Initial load
duke
parents:
diff changeset
338 ~VerifyMutexLocker() {
a61af66fc99e Initial load
duke
parents:
diff changeset
339 if (!_reentrant) {
a61af66fc99e Initial load
duke
parents:
diff changeset
340 _mutex->unlock();
a61af66fc99e Initial load
duke
parents:
diff changeset
341 }
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 #endif