annotate src/share/vm/runtime/mutexLocker.hpp @ 8804:91bf0bdae37b

8008217: CDS: Class data sharing limits the malloc heap on Solaris Summary: In 64bit VM move CDS archive address to 32G on all platforms using new flag SharedBaseAddress. In 32bit VM set CDS archive address to 3Gb on Linux and let other OSs pick the address. Reviewed-by: kvn, dcubed, zgu, hseigel
author coleenp
date Wed, 20 Mar 2013 08:04:54 -0400
parents c284cf4781f0
children e522a00b91aa 6337ca4dcad8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
4837
eff609af17d7 7127706: G1: re-enable survivors during the initial-mark pause
tonyp
parents: 3960
diff changeset
2 * Copyright (c) 1997, 2012, 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
a61af66fc99e Initial load
duke
parents:
diff changeset
53 extern Mutex* JNICachedItableIndex_lock; // a lock on caching an itable index during JNI invoke
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
4800
94ec88ca68e2 7115199: Add event tracing hooks and Java Flight Recorder infrastructure
phh
parents: 3960
diff changeset
139 extern Mutex* Stacktrace_lock; // used to guard access to the stacktrace table
94ec88ca68e2 7115199: Add event tracing hooks and Java Flight Recorder infrastructure
phh
parents: 3960
diff changeset
140
94ec88ca68e2 7115199: Add event tracing hooks and Java Flight Recorder infrastructure
phh
parents: 3960
diff changeset
141 extern Monitor* JfrQuery_lock; // protects JFR use
94ec88ca68e2 7115199: Add event tracing hooks and Java Flight Recorder infrastructure
phh
parents: 3960
diff changeset
142 extern Monitor* JfrMsg_lock; // protects JFR messaging
94ec88ca68e2 7115199: Add event tracing hooks and Java Flight Recorder infrastructure
phh
parents: 3960
diff changeset
143 extern Mutex* JfrBuffer_lock; // protects JFR buffer operations
94ec88ca68e2 7115199: Add event tracing hooks and Java Flight Recorder infrastructure
phh
parents: 3960
diff changeset
144 extern Mutex* JfrStream_lock; // protects JFR stream access
6939
c284cf4781f0 7127792: Add the ability to change an existing PeriodicTask's execution interval
rbackman
parents: 4840
diff changeset
145 extern Monitor* PeriodicTask_lock; // protects the periodic task structure
0
a61af66fc99e Initial load
duke
parents:
diff changeset
146
a61af66fc99e Initial load
duke
parents:
diff changeset
147 // A MutexLocker provides mutual exclusion with respect to a given mutex
a61af66fc99e Initial load
duke
parents:
diff changeset
148 // for the scope which contains the locker. The lock is an OS lock, not
a61af66fc99e Initial load
duke
parents:
diff changeset
149 // an object lock, and the two do not interoperate. Do not use Mutex-based
a61af66fc99e Initial load
duke
parents:
diff changeset
150 // locks to lock on Java objects, because they will not be respected if a
a61af66fc99e Initial load
duke
parents:
diff changeset
151 // that object is locked using the Java locking mechanism.
a61af66fc99e Initial load
duke
parents:
diff changeset
152 //
a61af66fc99e Initial load
duke
parents:
diff changeset
153 // NOTE WELL!!
a61af66fc99e Initial load
duke
parents:
diff changeset
154 //
a61af66fc99e Initial load
duke
parents:
diff changeset
155 // See orderAccess.hpp. We assume throughout the VM that MutexLocker's
a61af66fc99e Initial load
duke
parents:
diff changeset
156 // and friends constructors do a fence, a lock and an acquire *in that
a61af66fc99e Initial load
duke
parents:
diff changeset
157 // order*. And that their destructors do a release and unlock, in *that*
a61af66fc99e Initial load
duke
parents:
diff changeset
158 // order. If their implementations change such that these assumptions
a61af66fc99e Initial load
duke
parents:
diff changeset
159 // are violated, a whole lot of code will break.
a61af66fc99e Initial load
duke
parents:
diff changeset
160
a61af66fc99e Initial load
duke
parents:
diff changeset
161 // Print all mutexes/monitors that are currently owned by a thread; called
a61af66fc99e Initial load
duke
parents:
diff changeset
162 // by fatal error handler.
a61af66fc99e Initial load
duke
parents:
diff changeset
163 void print_owned_locks_on_error(outputStream* st);
a61af66fc99e Initial load
duke
parents:
diff changeset
164
a61af66fc99e Initial load
duke
parents:
diff changeset
165 char *lock_name(Mutex *mutex);
a61af66fc99e Initial load
duke
parents:
diff changeset
166
a61af66fc99e Initial load
duke
parents:
diff changeset
167 class MutexLocker: StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
168 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
169 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
170 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
171 MutexLocker(Monitor * mutex) {
a61af66fc99e Initial load
duke
parents:
diff changeset
172 assert(mutex->rank() != Mutex::special,
a61af66fc99e Initial load
duke
parents:
diff changeset
173 "Special ranked mutex should only use MutexLockerEx");
a61af66fc99e Initial load
duke
parents:
diff changeset
174 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
175 _mutex->lock();
a61af66fc99e Initial load
duke
parents:
diff changeset
176 }
a61af66fc99e Initial load
duke
parents:
diff changeset
177
a61af66fc99e Initial load
duke
parents:
diff changeset
178 // Overloaded constructor passing current thread
a61af66fc99e Initial load
duke
parents:
diff changeset
179 MutexLocker(Monitor * mutex, Thread *thread) {
a61af66fc99e Initial load
duke
parents:
diff changeset
180 assert(mutex->rank() != Mutex::special,
a61af66fc99e Initial load
duke
parents:
diff changeset
181 "Special ranked mutex should only use MutexLockerEx");
a61af66fc99e Initial load
duke
parents:
diff changeset
182 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
183 _mutex->lock(thread);
a61af66fc99e Initial load
duke
parents:
diff changeset
184 }
a61af66fc99e Initial load
duke
parents:
diff changeset
185
a61af66fc99e Initial load
duke
parents:
diff changeset
186 ~MutexLocker() {
a61af66fc99e Initial load
duke
parents:
diff changeset
187 _mutex->unlock();
a61af66fc99e Initial load
duke
parents:
diff changeset
188 }
a61af66fc99e Initial load
duke
parents:
diff changeset
189
a61af66fc99e Initial load
duke
parents:
diff changeset
190 };
a61af66fc99e Initial load
duke
parents:
diff changeset
191
a61af66fc99e Initial load
duke
parents:
diff changeset
192 // for debugging: check that we're already owning this lock (or are at a safepoint)
a61af66fc99e Initial load
duke
parents:
diff changeset
193 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
194 void assert_locked_or_safepoint(const Monitor * lock);
a61af66fc99e Initial load
duke
parents:
diff changeset
195 void assert_lock_strong(const Monitor * lock);
a61af66fc99e Initial load
duke
parents:
diff changeset
196 #else
a61af66fc99e Initial load
duke
parents:
diff changeset
197 #define assert_locked_or_safepoint(lock)
a61af66fc99e Initial load
duke
parents:
diff changeset
198 #define assert_lock_strong(lock)
a61af66fc99e Initial load
duke
parents:
diff changeset
199 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
200
a61af66fc99e Initial load
duke
parents:
diff changeset
201 // A MutexLockerEx behaves like a MutexLocker when its constructor is
a61af66fc99e Initial load
duke
parents:
diff changeset
202 // called with a Mutex. Unlike a MutexLocker, its constructor can also be
a61af66fc99e Initial load
duke
parents:
diff changeset
203 // called with NULL, in which case the MutexLockerEx is a no-op. There
a61af66fc99e Initial load
duke
parents:
diff changeset
204 // is also a corresponding MutexUnlockerEx. We want to keep the
a61af66fc99e Initial load
duke
parents:
diff changeset
205 // basic MutexLocker as fast as possible. MutexLockerEx can also lock
a61af66fc99e Initial load
duke
parents:
diff changeset
206 // without safepoint check.
a61af66fc99e Initial load
duke
parents:
diff changeset
207
a61af66fc99e Initial load
duke
parents:
diff changeset
208 class MutexLockerEx: public StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
209 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
210 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
211 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
212 MutexLockerEx(Monitor * mutex, bool no_safepoint_check = !Mutex::_no_safepoint_check_flag) {
a61af66fc99e Initial load
duke
parents:
diff changeset
213 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
214 if (_mutex != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
215 assert(mutex->rank() > Mutex::special || no_safepoint_check,
a61af66fc99e Initial load
duke
parents:
diff changeset
216 "Mutexes with rank special or lower should not do safepoint checks");
a61af66fc99e Initial load
duke
parents:
diff changeset
217 if (no_safepoint_check)
a61af66fc99e Initial load
duke
parents:
diff changeset
218 _mutex->lock_without_safepoint_check();
a61af66fc99e Initial load
duke
parents:
diff changeset
219 else
a61af66fc99e Initial load
duke
parents:
diff changeset
220 _mutex->lock();
a61af66fc99e Initial load
duke
parents:
diff changeset
221 }
a61af66fc99e Initial load
duke
parents:
diff changeset
222 }
a61af66fc99e Initial load
duke
parents:
diff changeset
223
a61af66fc99e Initial load
duke
parents:
diff changeset
224 ~MutexLockerEx() {
a61af66fc99e Initial load
duke
parents:
diff changeset
225 if (_mutex != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
226 _mutex->unlock();
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
a61af66fc99e Initial load
duke
parents:
diff changeset
231 // A MonitorLockerEx is like a MutexLockerEx above, except it takes
a61af66fc99e Initial load
duke
parents:
diff changeset
232 // a possibly null Monitor, and allows wait/notify as well which are
a61af66fc99e Initial load
duke
parents:
diff changeset
233 // delegated to the underlying Monitor.
a61af66fc99e Initial load
duke
parents:
diff changeset
234
a61af66fc99e Initial load
duke
parents:
diff changeset
235 class MonitorLockerEx: public MutexLockerEx {
a61af66fc99e Initial load
duke
parents:
diff changeset
236 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
237 Monitor * _monitor;
a61af66fc99e Initial load
duke
parents:
diff changeset
238 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
239 MonitorLockerEx(Monitor* monitor,
a61af66fc99e Initial load
duke
parents:
diff changeset
240 bool no_safepoint_check = !Mutex::_no_safepoint_check_flag):
a61af66fc99e Initial load
duke
parents:
diff changeset
241 MutexLockerEx(monitor, no_safepoint_check),
a61af66fc99e Initial load
duke
parents:
diff changeset
242 _monitor(monitor) {
a61af66fc99e Initial load
duke
parents:
diff changeset
243 // Superclass constructor did locking
a61af66fc99e Initial load
duke
parents:
diff changeset
244 }
a61af66fc99e Initial load
duke
parents:
diff changeset
245
a61af66fc99e Initial load
duke
parents:
diff changeset
246 ~MonitorLockerEx() {
a61af66fc99e Initial load
duke
parents:
diff changeset
247 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
248 if (_monitor != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
249 assert_lock_strong(_monitor);
a61af66fc99e Initial load
duke
parents:
diff changeset
250 }
a61af66fc99e Initial load
duke
parents:
diff changeset
251 #endif // ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
252 // Superclass destructor will do unlocking
a61af66fc99e Initial load
duke
parents:
diff changeset
253 }
a61af66fc99e Initial load
duke
parents:
diff changeset
254
a61af66fc99e Initial load
duke
parents:
diff changeset
255 bool wait(bool no_safepoint_check = !Mutex::_no_safepoint_check_flag,
a61af66fc99e Initial load
duke
parents:
diff changeset
256 long timeout = 0,
a61af66fc99e Initial load
duke
parents:
diff changeset
257 bool as_suspend_equivalent = !Mutex::_as_suspend_equivalent_flag) {
a61af66fc99e Initial load
duke
parents:
diff changeset
258 if (_monitor != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
259 return _monitor->wait(no_safepoint_check, timeout, as_suspend_equivalent);
a61af66fc99e Initial load
duke
parents:
diff changeset
260 }
a61af66fc99e Initial load
duke
parents:
diff changeset
261 return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
262 }
a61af66fc99e Initial load
duke
parents:
diff changeset
263
a61af66fc99e Initial load
duke
parents:
diff changeset
264 bool notify_all() {
a61af66fc99e Initial load
duke
parents:
diff changeset
265 if (_monitor != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
266 return _monitor->notify_all();
a61af66fc99e Initial load
duke
parents:
diff changeset
267 }
a61af66fc99e Initial load
duke
parents:
diff changeset
268 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
269 }
a61af66fc99e Initial load
duke
parents:
diff changeset
270
a61af66fc99e Initial load
duke
parents:
diff changeset
271 bool notify() {
a61af66fc99e Initial load
duke
parents:
diff changeset
272 if (_monitor != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
273 return _monitor->notify();
a61af66fc99e Initial load
duke
parents:
diff changeset
274 }
a61af66fc99e Initial load
duke
parents:
diff changeset
275 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
276 }
a61af66fc99e Initial load
duke
parents:
diff changeset
277 };
a61af66fc99e Initial load
duke
parents:
diff changeset
278
a61af66fc99e Initial load
duke
parents:
diff changeset
279
a61af66fc99e Initial load
duke
parents:
diff changeset
280
a61af66fc99e Initial load
duke
parents:
diff changeset
281 // A GCMutexLocker is usually initialized with a mutex that is
a61af66fc99e Initial load
duke
parents:
diff changeset
282 // automatically acquired in order to do GC. The function that
a61af66fc99e Initial load
duke
parents:
diff changeset
283 // synchronizes using a GCMutexLocker may be called both during and between
a61af66fc99e Initial load
duke
parents:
diff changeset
284 // GC's. Thus, it must acquire the mutex if GC is not in progress, but not
a61af66fc99e Initial load
duke
parents:
diff changeset
285 // if GC is in progress (since the mutex is already held on its behalf.)
a61af66fc99e Initial load
duke
parents:
diff changeset
286
a61af66fc99e Initial load
duke
parents:
diff changeset
287 class GCMutexLocker: public StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
288 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
289 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
290 bool _locked;
a61af66fc99e Initial load
duke
parents:
diff changeset
291 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
292 GCMutexLocker(Monitor * mutex);
a61af66fc99e Initial load
duke
parents:
diff changeset
293 ~GCMutexLocker() { if (_locked) _mutex->unlock(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
294 };
a61af66fc99e Initial load
duke
parents:
diff changeset
295
a61af66fc99e Initial load
duke
parents:
diff changeset
296
a61af66fc99e Initial load
duke
parents:
diff changeset
297
a61af66fc99e Initial load
duke
parents:
diff changeset
298 // A MutexUnlocker temporarily exits a previously
a61af66fc99e Initial load
duke
parents:
diff changeset
299 // entered mutex for the scope which contains the unlocker.
a61af66fc99e Initial load
duke
parents:
diff changeset
300
a61af66fc99e Initial load
duke
parents:
diff changeset
301 class MutexUnlocker: StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
302 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
303 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
304
a61af66fc99e Initial load
duke
parents:
diff changeset
305 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
306 MutexUnlocker(Monitor * mutex) {
a61af66fc99e Initial load
duke
parents:
diff changeset
307 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
308 _mutex->unlock();
a61af66fc99e Initial load
duke
parents:
diff changeset
309 }
a61af66fc99e Initial load
duke
parents:
diff changeset
310
a61af66fc99e Initial load
duke
parents:
diff changeset
311 ~MutexUnlocker() {
a61af66fc99e Initial load
duke
parents:
diff changeset
312 _mutex->lock();
a61af66fc99e Initial load
duke
parents:
diff changeset
313 }
a61af66fc99e Initial load
duke
parents:
diff changeset
314 };
a61af66fc99e Initial load
duke
parents:
diff changeset
315
a61af66fc99e Initial load
duke
parents:
diff changeset
316 // A MutexUnlockerEx temporarily exits a previously
a61af66fc99e Initial load
duke
parents:
diff changeset
317 // entered mutex for the scope which contains the unlocker.
a61af66fc99e Initial load
duke
parents:
diff changeset
318
a61af66fc99e Initial load
duke
parents:
diff changeset
319 class MutexUnlockerEx: StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
320 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
321 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
322 bool _no_safepoint_check;
a61af66fc99e Initial load
duke
parents:
diff changeset
323
a61af66fc99e Initial load
duke
parents:
diff changeset
324 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
325 MutexUnlockerEx(Monitor * mutex, bool no_safepoint_check = !Mutex::_no_safepoint_check_flag) {
a61af66fc99e Initial load
duke
parents:
diff changeset
326 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
327 _no_safepoint_check = no_safepoint_check;
a61af66fc99e Initial load
duke
parents:
diff changeset
328 _mutex->unlock();
a61af66fc99e Initial load
duke
parents:
diff changeset
329 }
a61af66fc99e Initial load
duke
parents:
diff changeset
330
a61af66fc99e Initial load
duke
parents:
diff changeset
331 ~MutexUnlockerEx() {
a61af66fc99e Initial load
duke
parents:
diff changeset
332 if (_no_safepoint_check == Mutex::_no_safepoint_check_flag) {
a61af66fc99e Initial load
duke
parents:
diff changeset
333 _mutex->lock_without_safepoint_check();
a61af66fc99e Initial load
duke
parents:
diff changeset
334 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
335 _mutex->lock();
a61af66fc99e Initial load
duke
parents:
diff changeset
336 }
a61af66fc99e Initial load
duke
parents:
diff changeset
337 }
a61af66fc99e Initial load
duke
parents:
diff changeset
338 };
a61af66fc99e Initial load
duke
parents:
diff changeset
339
a61af66fc99e Initial load
duke
parents:
diff changeset
340 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
341 //
a61af66fc99e Initial load
duke
parents:
diff changeset
342 // A special MutexLocker that allows:
a61af66fc99e Initial load
duke
parents:
diff changeset
343 // - reentrant locking
a61af66fc99e Initial load
duke
parents:
diff changeset
344 // - locking out of order
a61af66fc99e Initial load
duke
parents:
diff changeset
345 //
a61af66fc99e Initial load
duke
parents:
diff changeset
346 // Only too be used for verify code, where we can relaxe out dead-lock
a61af66fc99e Initial load
duke
parents:
diff changeset
347 // dection code a bit (unsafe, but probably ok). This code is NEVER to
a61af66fc99e Initial load
duke
parents:
diff changeset
348 // be included in a product version.
a61af66fc99e Initial load
duke
parents:
diff changeset
349 //
a61af66fc99e Initial load
duke
parents:
diff changeset
350 class VerifyMutexLocker: StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
351 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
352 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
353 bool _reentrant;
a61af66fc99e Initial load
duke
parents:
diff changeset
354 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
355 VerifyMutexLocker(Monitor * mutex) {
a61af66fc99e Initial load
duke
parents:
diff changeset
356 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
357 _reentrant = mutex->owned_by_self();
a61af66fc99e Initial load
duke
parents:
diff changeset
358 if (!_reentrant) {
a61af66fc99e Initial load
duke
parents:
diff changeset
359 // We temp. diable strict safepoint checking, while we require the lock
a61af66fc99e Initial load
duke
parents:
diff changeset
360 FlagSetting fs(StrictSafepointChecks, false);
a61af66fc99e Initial load
duke
parents:
diff changeset
361 _mutex->lock();
a61af66fc99e Initial load
duke
parents:
diff changeset
362 }
a61af66fc99e Initial load
duke
parents:
diff changeset
363 }
a61af66fc99e Initial load
duke
parents:
diff changeset
364
a61af66fc99e Initial load
duke
parents:
diff changeset
365 ~VerifyMutexLocker() {
a61af66fc99e Initial load
duke
parents:
diff changeset
366 if (!_reentrant) {
a61af66fc99e Initial load
duke
parents:
diff changeset
367 _mutex->unlock();
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
a61af66fc99e Initial load
duke
parents:
diff changeset
372 #endif
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1584
diff changeset
373
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1584
diff changeset
374 #endif // SHARE_VM_RUNTIME_MUTEXLOCKER_HPP