annotate src/share/vm/runtime/mutexLocker.hpp @ 9126:bc26f978b0ce

HotSpotResolvedObjectType: implement hasFinalizeSubclass() correctly don't use the (wrong) cached value, but ask the runtime on each request. Fixes regression on xml.* benchmarks @ specjvm2008. The problem was: After the constructor of Object was deoptimized due to an assumption violation, it was recompiled again after some time. However, on recompilation, the value of hasFinalizeSubclass for the class was not updated and it was compiled again with a, now wrong, assumption, which then triggers deoptimization again. This was repeated until it hit the recompilation limit (defined by PerMethodRecompilationCutoff), and therefore only executed by the interpreter from now on, causing the performance regression.
author Bernhard Urban <bernhard.urban@jku.at>
date Mon, 15 Apr 2013 19:54:58 +0200
parents e522a00b91aa
children 836a62f43af9
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
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
147 #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
148 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
149 #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
150
0
a61af66fc99e Initial load
duke
parents:
diff changeset
151 // A MutexLocker provides mutual exclusion with respect to a given mutex
a61af66fc99e Initial load
duke
parents:
diff changeset
152 // for the scope which contains the locker. The lock is an OS lock, not
a61af66fc99e Initial load
duke
parents:
diff changeset
153 // an object lock, and the two do not interoperate. Do not use Mutex-based
a61af66fc99e Initial load
duke
parents:
diff changeset
154 // locks to lock on Java objects, because they will not be respected if a
a61af66fc99e Initial load
duke
parents:
diff changeset
155 // that object is locked using the Java locking mechanism.
a61af66fc99e Initial load
duke
parents:
diff changeset
156 //
a61af66fc99e Initial load
duke
parents:
diff changeset
157 // NOTE WELL!!
a61af66fc99e Initial load
duke
parents:
diff changeset
158 //
a61af66fc99e Initial load
duke
parents:
diff changeset
159 // See orderAccess.hpp. We assume throughout the VM that MutexLocker's
a61af66fc99e Initial load
duke
parents:
diff changeset
160 // and friends constructors do a fence, a lock and an acquire *in that
a61af66fc99e Initial load
duke
parents:
diff changeset
161 // order*. And that their destructors do a release and unlock, in *that*
a61af66fc99e Initial load
duke
parents:
diff changeset
162 // order. If their implementations change such that these assumptions
a61af66fc99e Initial load
duke
parents:
diff changeset
163 // are violated, a whole lot of code will break.
a61af66fc99e Initial load
duke
parents:
diff changeset
164
a61af66fc99e Initial load
duke
parents:
diff changeset
165 // Print all mutexes/monitors that are currently owned by a thread; called
a61af66fc99e Initial load
duke
parents:
diff changeset
166 // by fatal error handler.
a61af66fc99e Initial load
duke
parents:
diff changeset
167 void print_owned_locks_on_error(outputStream* st);
a61af66fc99e Initial load
duke
parents:
diff changeset
168
a61af66fc99e Initial load
duke
parents:
diff changeset
169 char *lock_name(Mutex *mutex);
a61af66fc99e Initial load
duke
parents:
diff changeset
170
a61af66fc99e Initial load
duke
parents:
diff changeset
171 class MutexLocker: StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
172 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
173 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
174 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
175 MutexLocker(Monitor * mutex) {
a61af66fc99e Initial load
duke
parents:
diff changeset
176 assert(mutex->rank() != Mutex::special,
a61af66fc99e Initial load
duke
parents:
diff changeset
177 "Special ranked mutex should only use MutexLockerEx");
a61af66fc99e Initial load
duke
parents:
diff changeset
178 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
179 _mutex->lock();
a61af66fc99e Initial load
duke
parents:
diff changeset
180 }
a61af66fc99e Initial load
duke
parents:
diff changeset
181
a61af66fc99e Initial load
duke
parents:
diff changeset
182 // Overloaded constructor passing current thread
a61af66fc99e Initial load
duke
parents:
diff changeset
183 MutexLocker(Monitor * mutex, Thread *thread) {
a61af66fc99e Initial load
duke
parents:
diff changeset
184 assert(mutex->rank() != Mutex::special,
a61af66fc99e Initial load
duke
parents:
diff changeset
185 "Special ranked mutex should only use MutexLockerEx");
a61af66fc99e Initial load
duke
parents:
diff changeset
186 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
187 _mutex->lock(thread);
a61af66fc99e Initial load
duke
parents:
diff changeset
188 }
a61af66fc99e Initial load
duke
parents:
diff changeset
189
a61af66fc99e Initial load
duke
parents:
diff changeset
190 ~MutexLocker() {
a61af66fc99e Initial load
duke
parents:
diff changeset
191 _mutex->unlock();
a61af66fc99e Initial load
duke
parents:
diff changeset
192 }
a61af66fc99e Initial load
duke
parents:
diff changeset
193
a61af66fc99e Initial load
duke
parents:
diff changeset
194 };
a61af66fc99e Initial load
duke
parents:
diff changeset
195
a61af66fc99e Initial load
duke
parents:
diff changeset
196 // for debugging: check that we're already owning this lock (or are at a safepoint)
a61af66fc99e Initial load
duke
parents:
diff changeset
197 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
198 void assert_locked_or_safepoint(const Monitor * lock);
a61af66fc99e Initial load
duke
parents:
diff changeset
199 void assert_lock_strong(const Monitor * lock);
a61af66fc99e Initial load
duke
parents:
diff changeset
200 #else
a61af66fc99e Initial load
duke
parents:
diff changeset
201 #define assert_locked_or_safepoint(lock)
a61af66fc99e Initial load
duke
parents:
diff changeset
202 #define assert_lock_strong(lock)
a61af66fc99e Initial load
duke
parents:
diff changeset
203 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
204
a61af66fc99e Initial load
duke
parents:
diff changeset
205 // A MutexLockerEx behaves like a MutexLocker when its constructor is
a61af66fc99e Initial load
duke
parents:
diff changeset
206 // called with a Mutex. Unlike a MutexLocker, its constructor can also be
a61af66fc99e Initial load
duke
parents:
diff changeset
207 // called with NULL, in which case the MutexLockerEx is a no-op. There
a61af66fc99e Initial load
duke
parents:
diff changeset
208 // is also a corresponding MutexUnlockerEx. We want to keep the
a61af66fc99e Initial load
duke
parents:
diff changeset
209 // basic MutexLocker as fast as possible. MutexLockerEx can also lock
a61af66fc99e Initial load
duke
parents:
diff changeset
210 // without safepoint check.
a61af66fc99e Initial load
duke
parents:
diff changeset
211
a61af66fc99e Initial load
duke
parents:
diff changeset
212 class MutexLockerEx: public StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
213 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
214 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
215 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
216 MutexLockerEx(Monitor * mutex, bool no_safepoint_check = !Mutex::_no_safepoint_check_flag) {
a61af66fc99e Initial load
duke
parents:
diff changeset
217 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
218 if (_mutex != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
219 assert(mutex->rank() > Mutex::special || no_safepoint_check,
a61af66fc99e Initial load
duke
parents:
diff changeset
220 "Mutexes with rank special or lower should not do safepoint checks");
a61af66fc99e Initial load
duke
parents:
diff changeset
221 if (no_safepoint_check)
a61af66fc99e Initial load
duke
parents:
diff changeset
222 _mutex->lock_without_safepoint_check();
a61af66fc99e Initial load
duke
parents:
diff changeset
223 else
a61af66fc99e Initial load
duke
parents:
diff changeset
224 _mutex->lock();
a61af66fc99e Initial load
duke
parents:
diff changeset
225 }
a61af66fc99e Initial load
duke
parents:
diff changeset
226 }
a61af66fc99e Initial load
duke
parents:
diff changeset
227
a61af66fc99e Initial load
duke
parents:
diff changeset
228 ~MutexLockerEx() {
a61af66fc99e Initial load
duke
parents:
diff changeset
229 if (_mutex != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
230 _mutex->unlock();
a61af66fc99e Initial load
duke
parents:
diff changeset
231 }
a61af66fc99e Initial load
duke
parents:
diff changeset
232 }
a61af66fc99e Initial load
duke
parents:
diff changeset
233 };
a61af66fc99e Initial load
duke
parents:
diff changeset
234
a61af66fc99e Initial load
duke
parents:
diff changeset
235 // A MonitorLockerEx is like a MutexLockerEx above, except it takes
a61af66fc99e Initial load
duke
parents:
diff changeset
236 // a possibly null Monitor, and allows wait/notify as well which are
a61af66fc99e Initial load
duke
parents:
diff changeset
237 // delegated to the underlying Monitor.
a61af66fc99e Initial load
duke
parents:
diff changeset
238
a61af66fc99e Initial load
duke
parents:
diff changeset
239 class MonitorLockerEx: public MutexLockerEx {
a61af66fc99e Initial load
duke
parents:
diff changeset
240 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
241 Monitor * _monitor;
a61af66fc99e Initial load
duke
parents:
diff changeset
242 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
243 MonitorLockerEx(Monitor* monitor,
a61af66fc99e Initial load
duke
parents:
diff changeset
244 bool no_safepoint_check = !Mutex::_no_safepoint_check_flag):
a61af66fc99e Initial load
duke
parents:
diff changeset
245 MutexLockerEx(monitor, no_safepoint_check),
a61af66fc99e Initial load
duke
parents:
diff changeset
246 _monitor(monitor) {
a61af66fc99e Initial load
duke
parents:
diff changeset
247 // Superclass constructor did locking
a61af66fc99e Initial load
duke
parents:
diff changeset
248 }
a61af66fc99e Initial load
duke
parents:
diff changeset
249
a61af66fc99e Initial load
duke
parents:
diff changeset
250 ~MonitorLockerEx() {
a61af66fc99e Initial load
duke
parents:
diff changeset
251 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
252 if (_monitor != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
253 assert_lock_strong(_monitor);
a61af66fc99e Initial load
duke
parents:
diff changeset
254 }
a61af66fc99e Initial load
duke
parents:
diff changeset
255 #endif // ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
256 // Superclass destructor will do unlocking
a61af66fc99e Initial load
duke
parents:
diff changeset
257 }
a61af66fc99e Initial load
duke
parents:
diff changeset
258
a61af66fc99e Initial load
duke
parents:
diff changeset
259 bool wait(bool no_safepoint_check = !Mutex::_no_safepoint_check_flag,
a61af66fc99e Initial load
duke
parents:
diff changeset
260 long timeout = 0,
a61af66fc99e Initial load
duke
parents:
diff changeset
261 bool as_suspend_equivalent = !Mutex::_as_suspend_equivalent_flag) {
a61af66fc99e Initial load
duke
parents:
diff changeset
262 if (_monitor != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
263 return _monitor->wait(no_safepoint_check, timeout, as_suspend_equivalent);
a61af66fc99e Initial load
duke
parents:
diff changeset
264 }
a61af66fc99e Initial load
duke
parents:
diff changeset
265 return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
266 }
a61af66fc99e Initial load
duke
parents:
diff changeset
267
a61af66fc99e Initial load
duke
parents:
diff changeset
268 bool notify_all() {
a61af66fc99e Initial load
duke
parents:
diff changeset
269 if (_monitor != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
270 return _monitor->notify_all();
a61af66fc99e Initial load
duke
parents:
diff changeset
271 }
a61af66fc99e Initial load
duke
parents:
diff changeset
272 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
273 }
a61af66fc99e Initial load
duke
parents:
diff changeset
274
a61af66fc99e Initial load
duke
parents:
diff changeset
275 bool notify() {
a61af66fc99e Initial load
duke
parents:
diff changeset
276 if (_monitor != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
277 return _monitor->notify();
a61af66fc99e Initial load
duke
parents:
diff changeset
278 }
a61af66fc99e Initial load
duke
parents:
diff changeset
279 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
280 }
a61af66fc99e Initial load
duke
parents:
diff changeset
281 };
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 // A GCMutexLocker is usually initialized with a mutex that is
a61af66fc99e Initial load
duke
parents:
diff changeset
286 // automatically acquired in order to do GC. The function that
a61af66fc99e Initial load
duke
parents:
diff changeset
287 // synchronizes using a GCMutexLocker may be called both during and between
a61af66fc99e Initial load
duke
parents:
diff changeset
288 // GC's. Thus, it must acquire the mutex if GC is not in progress, but not
a61af66fc99e Initial load
duke
parents:
diff changeset
289 // if GC is in progress (since the mutex is already held on its behalf.)
a61af66fc99e Initial load
duke
parents:
diff changeset
290
a61af66fc99e Initial load
duke
parents:
diff changeset
291 class GCMutexLocker: public StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
292 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
293 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
294 bool _locked;
a61af66fc99e Initial load
duke
parents:
diff changeset
295 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
296 GCMutexLocker(Monitor * mutex);
a61af66fc99e Initial load
duke
parents:
diff changeset
297 ~GCMutexLocker() { if (_locked) _mutex->unlock(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
298 };
a61af66fc99e Initial load
duke
parents:
diff changeset
299
a61af66fc99e Initial load
duke
parents:
diff changeset
300
a61af66fc99e Initial load
duke
parents:
diff changeset
301
a61af66fc99e Initial load
duke
parents:
diff changeset
302 // A MutexUnlocker temporarily exits a previously
a61af66fc99e Initial load
duke
parents:
diff changeset
303 // entered mutex for the scope which contains the unlocker.
a61af66fc99e Initial load
duke
parents:
diff changeset
304
a61af66fc99e Initial load
duke
parents:
diff changeset
305 class MutexUnlocker: StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
306 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
307 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
308
a61af66fc99e Initial load
duke
parents:
diff changeset
309 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
310 MutexUnlocker(Monitor * mutex) {
a61af66fc99e Initial load
duke
parents:
diff changeset
311 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
312 _mutex->unlock();
a61af66fc99e Initial load
duke
parents:
diff changeset
313 }
a61af66fc99e Initial load
duke
parents:
diff changeset
314
a61af66fc99e Initial load
duke
parents:
diff changeset
315 ~MutexUnlocker() {
a61af66fc99e Initial load
duke
parents:
diff changeset
316 _mutex->lock();
a61af66fc99e Initial load
duke
parents:
diff changeset
317 }
a61af66fc99e Initial load
duke
parents:
diff changeset
318 };
a61af66fc99e Initial load
duke
parents:
diff changeset
319
a61af66fc99e Initial load
duke
parents:
diff changeset
320 // A MutexUnlockerEx temporarily exits a previously
a61af66fc99e Initial load
duke
parents:
diff changeset
321 // entered mutex for the scope which contains the unlocker.
a61af66fc99e Initial load
duke
parents:
diff changeset
322
a61af66fc99e Initial load
duke
parents:
diff changeset
323 class MutexUnlockerEx: 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 _no_safepoint_check;
a61af66fc99e Initial load
duke
parents:
diff changeset
327
a61af66fc99e Initial load
duke
parents:
diff changeset
328 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
329 MutexUnlockerEx(Monitor * mutex, bool no_safepoint_check = !Mutex::_no_safepoint_check_flag) {
a61af66fc99e Initial load
duke
parents:
diff changeset
330 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
331 _no_safepoint_check = no_safepoint_check;
a61af66fc99e Initial load
duke
parents:
diff changeset
332 _mutex->unlock();
a61af66fc99e Initial load
duke
parents:
diff changeset
333 }
a61af66fc99e Initial load
duke
parents:
diff changeset
334
a61af66fc99e Initial load
duke
parents:
diff changeset
335 ~MutexUnlockerEx() {
a61af66fc99e Initial load
duke
parents:
diff changeset
336 if (_no_safepoint_check == Mutex::_no_safepoint_check_flag) {
a61af66fc99e Initial load
duke
parents:
diff changeset
337 _mutex->lock_without_safepoint_check();
a61af66fc99e Initial load
duke
parents:
diff changeset
338 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
339 _mutex->lock();
a61af66fc99e Initial load
duke
parents:
diff changeset
340 }
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 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
345 //
a61af66fc99e Initial load
duke
parents:
diff changeset
346 // A special MutexLocker that allows:
a61af66fc99e Initial load
duke
parents:
diff changeset
347 // - reentrant locking
a61af66fc99e Initial load
duke
parents:
diff changeset
348 // - locking out of order
a61af66fc99e Initial load
duke
parents:
diff changeset
349 //
a61af66fc99e Initial load
duke
parents:
diff changeset
350 // Only too be used for verify code, where we can relaxe out dead-lock
a61af66fc99e Initial load
duke
parents:
diff changeset
351 // dection code a bit (unsafe, but probably ok). This code is NEVER to
a61af66fc99e Initial load
duke
parents:
diff changeset
352 // be included in a product version.
a61af66fc99e Initial load
duke
parents:
diff changeset
353 //
a61af66fc99e Initial load
duke
parents:
diff changeset
354 class VerifyMutexLocker: StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
355 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
356 Monitor * _mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
357 bool _reentrant;
a61af66fc99e Initial load
duke
parents:
diff changeset
358 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
359 VerifyMutexLocker(Monitor * mutex) {
a61af66fc99e Initial load
duke
parents:
diff changeset
360 _mutex = mutex;
a61af66fc99e Initial load
duke
parents:
diff changeset
361 _reentrant = mutex->owned_by_self();
a61af66fc99e Initial load
duke
parents:
diff changeset
362 if (!_reentrant) {
a61af66fc99e Initial load
duke
parents:
diff changeset
363 // We temp. diable strict safepoint checking, while we require the lock
a61af66fc99e Initial load
duke
parents:
diff changeset
364 FlagSetting fs(StrictSafepointChecks, false);
a61af66fc99e Initial load
duke
parents:
diff changeset
365 _mutex->lock();
a61af66fc99e Initial load
duke
parents:
diff changeset
366 }
a61af66fc99e Initial load
duke
parents:
diff changeset
367 }
a61af66fc99e Initial load
duke
parents:
diff changeset
368
a61af66fc99e Initial load
duke
parents:
diff changeset
369 ~VerifyMutexLocker() {
a61af66fc99e Initial load
duke
parents:
diff changeset
370 if (!_reentrant) {
a61af66fc99e Initial load
duke
parents:
diff changeset
371 _mutex->unlock();
a61af66fc99e Initial load
duke
parents:
diff changeset
372 }
a61af66fc99e Initial load
duke
parents:
diff changeset
373 }
a61af66fc99e Initial load
duke
parents:
diff changeset
374 };
a61af66fc99e Initial load
duke
parents:
diff changeset
375
a61af66fc99e Initial load
duke
parents:
diff changeset
376 #endif
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1584
diff changeset
377
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1584
diff changeset
378 #endif // SHARE_VM_RUNTIME_MUTEXLOCKER_HPP