• file
• revisions
• annotate
• diff
• comparison
• raw

src/share/vm/runtime/mutexLocker.cpp@fd44df5e3bc3 (annotated)

src/share/vm/runtime/mutexLocker.cpp

Wed, 14 Oct 2020 17:44:48 +0800

author

aoqi

date

Wed, 14 Oct 2020 17:44:48 +0800

changeset 9931

fd44df5e3bc3

parent 9756

2be326848943

parent 9896

1b8c45b8216a

permissions

-rw-r--r--

Merge

duke@435	1	/*
redestad@7653	2	* Copyright (c) 1997, 2015, Oracle and/or its affiliates. All rights reserved.
duke@435	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435	4	*
duke@435	5	* This code is free software; you can redistribute it and/or modify it
duke@435	6	* under the terms of the GNU General Public License version 2 only, as
duke@435	7	* published by the Free Software Foundation.
duke@435	8	*
duke@435	9	* This code is distributed in the hope that it will be useful, but WITHOUT
duke@435	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435	12	* version 2 for more details (a copy is included in the LICENSE file that
duke@435	13	* accompanied this code).
duke@435	14	*
duke@435	15	* You should have received a copy of the GNU General Public License version
duke@435	16	* 2 along with this work; if not, write to the Free Software Foundation,
duke@435	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435	18	*
trims@1907	19	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907	20	* or visit www.oracle.com if you need additional information or have any
trims@1907	21	* questions.
duke@435	22	*
duke@435	23	*/
duke@435	24
stefank@2314	25	#include "precompiled.hpp"
stefank@2314	26	#include "runtime/mutexLocker.hpp"
stefank@2314	27	#include "runtime/safepoint.hpp"
stefank@4299	28	#include "runtime/thread.inline.hpp"
stefank@2314	29	#include "runtime/threadLocalStorage.hpp"
stefank@2314	30	#include "runtime/vmThread.hpp"
duke@435	31
duke@435	32	// Mutexes used in the VM (see comment in mutexLocker.hpp):
duke@435	33	//
duke@435	34	// Note that the following pointers are effectively final -- after having been
duke@435	35	// set at JVM startup-time, they should never be subsequently mutated.
duke@435	36	// Instead of using pointers to malloc()ed monitors and mutexes we should consider
duke@435	37	// eliminating the indirection and using instances instead.
duke@435	38	// Consider using GCC's __read_mostly.
duke@435	39
duke@435	40	Mutex* Patching_lock = NULL;
duke@435	41	Monitor* SystemDictionary_lock = NULL;
duke@435	42	Mutex* PackageTable_lock = NULL;
duke@435	43	Mutex* CompiledIC_lock = NULL;
duke@435	44	Mutex* InlineCacheBuffer_lock = NULL;
duke@435	45	Mutex* VMStatistic_lock = NULL;
duke@435	46	Mutex* JNIGlobalHandle_lock = NULL;
duke@435	47	Mutex* JNIHandleBlockFreeList_lock = NULL;
sspitsyn@4965	48	Mutex* MemberNameTable_lock = NULL;
duke@435	49	Mutex* JmethodIdCreation_lock = NULL;
duke@435	50	Mutex* JfieldIdCreation_lock = NULL;
duke@435	51	Monitor* JNICritical_lock = NULL;
duke@435	52	Mutex* JvmtiThreadState_lock = NULL;
duke@435	53	Monitor* JvmtiPendingEvent_lock = NULL;
ysr@777	54	Monitor* Heap_lock = NULL;
duke@435	55	Mutex* ExpandHeap_lock = NULL;
duke@435	56	Mutex* AdapterHandlerLibrary_lock = NULL;
duke@435	57	Mutex* SignatureHandlerLibrary_lock = NULL;
duke@435	58	Mutex* VtableStubs_lock = NULL;
duke@435	59	Mutex* SymbolTable_lock = NULL;
duke@435	60	Mutex* StringTable_lock = NULL;
pliden@6413	61	Monitor* StringDedupQueue_lock = NULL;
pliden@6413	62	Mutex* StringDedupTable_lock = NULL;
duke@435	63	Mutex* CodeCache_lock = NULL;
duke@435	64	Mutex* MethodData_lock = NULL;
duke@435	65	Mutex* RetData_lock = NULL;
duke@435	66	Monitor* VMOperationQueue_lock = NULL;
duke@435	67	Monitor* VMOperationRequest_lock = NULL;
duke@435	68	Monitor* Safepoint_lock = NULL;
duke@435	69	Monitor* SerializePage_lock = NULL;
duke@435	70	Monitor* Threads_lock = NULL;
duke@435	71	Monitor* CGC_lock = NULL;
pliden@6906	72	Monitor* STS_lock = NULL;
duke@435	73	Monitor* SLT_lock = NULL;
duke@435	74	Monitor* iCMS_lock = NULL;
duke@435	75	Monitor* FullGCCount_lock = NULL;
ysr@777	76	Monitor* CMark_lock = NULL;
tonyp@1793	77	Mutex* CMRegionStack_lock = NULL;
ysr@777	78	Mutex* SATB_Q_FL_lock = NULL;
ysr@777	79	Monitor* SATB_Q_CBL_mon = NULL;
ysr@777	80	Mutex* Shared_SATB_Q_lock = NULL;
ysr@777	81	Mutex* DirtyCardQ_FL_lock = NULL;
ysr@777	82	Monitor* DirtyCardQ_CBL_mon = NULL;
ysr@777	83	Mutex* Shared_DirtyCardQ_lock = NULL;
duke@435	84	Mutex* ParGCRareEvent_lock = NULL;
ysr@777	85	Mutex* EvacFailureStack_lock = NULL;
duke@435	86	Mutex* DerivedPointerTableGC_lock = NULL;
duke@435	87	Mutex* Compile_lock = NULL;
duke@435	88	Monitor* MethodCompileQueue_lock = NULL;
duke@435	89	Monitor* CompileThread_lock = NULL;
duke@435	90	Mutex* CompileTaskAlloc_lock = NULL;
duke@435	91	Mutex* CompileStatistics_lock = NULL;
duke@435	92	Mutex* MultiArray_lock = NULL;
duke@435	93	Monitor* Terminator_lock = NULL;
duke@435	94	Monitor* BeforeExit_lock = NULL;
duke@435	95	Monitor* Notify_lock = NULL;
duke@435	96	Monitor* Interrupt_lock = NULL;
duke@435	97	Monitor* ProfileVM_lock = NULL;
duke@435	98	Mutex* ProfilePrint_lock = NULL;
duke@435	99	Mutex* ExceptionCache_lock = NULL;
duke@435	100	Monitor* ObjAllocPost_lock = NULL;
duke@435	101	Mutex* OsrList_lock = NULL;
duke@435	102	#ifndef PRODUCT
duke@435	103	Mutex* FullGCALot_lock = NULL;
duke@435	104	#endif
duke@435	105
duke@435	106	Mutex* Debug1_lock = NULL;
duke@435	107	Mutex* Debug2_lock = NULL;
duke@435	108	Mutex* Debug3_lock = NULL;
duke@435	109
duke@435	110	Mutex* tty_lock = NULL;
duke@435	111
duke@435	112	Mutex* RawMonitor_lock = NULL;
duke@435	113	Mutex* PerfDataMemAlloc_lock = NULL;
duke@435	114	Mutex* PerfDataManager_lock = NULL;
duke@435	115	Mutex* OopMapCacheAlloc_lock = NULL;
duke@435	116
tonyp@2472	117	Mutex* FreeList_lock = NULL;
tonyp@2472	118	Monitor* SecondaryFreeList_lock = NULL;
tonyp@2472	119	Mutex* OldSets_lock = NULL;
tonyp@3464	120	Monitor* RootRegionScan_lock = NULL;
ysr@777	121	Mutex* MMUTracker_lock = NULL;
ysr@777	122
duke@435	123	Monitor* GCTaskManager_lock = NULL;
duke@435	124
duke@435	125	Mutex* Management_lock = NULL;
phh@3427	126	Monitor* Service_lock = NULL;
mgronlun@5574	127	Monitor* PeriodicTask_lock = NULL;
zgu@9745	128	Monitor* RedefineClasses_lock = NULL;
phh@3427	129
apetushkov@9858	130	#ifdef INCLUDE_JFR
mgronlun@5574	131	Mutex* JfrStacktrace_lock = NULL;
phh@3427	132	Monitor* JfrMsg_lock = NULL;
phh@3427	133	Mutex* JfrBuffer_lock = NULL;
phh@3427	134	Mutex* JfrStream_lock = NULL;
mgronlun@5574	135	Mutex* JfrThreadGroups_lock = NULL;
apetushkov@9858	136
apetushkov@9858	137	#ifndef SUPPORTS_NATIVE_CX8
apetushkov@9858	138	Mutex* JfrCounters_lock = NULL;
apetushkov@9858	139	#endif
mgronlun@5574	140	#endif
duke@435	141
dholmes@7547	142	#ifndef SUPPORTS_NATIVE_CX8
dholmes@7547	143	Mutex* UnsafeJlong_lock = NULL;
dholmes@7547	144	#endif
dholmes@7547	145
duke@435	146	#define MAX_NUM_MUTEX 128
duke@435	147	static Monitor * _mutex_array[MAX_NUM_MUTEX];
duke@435	148	static int _num_mutex;
duke@435	149
duke@435	150	#ifdef ASSERT
duke@435	151	void assert_locked_or_safepoint(const Monitor * lock) {
duke@435	152	// check if this thread owns the lock (common case)
duke@435	153	if (IgnoreLockingAssertions) return;
duke@435	154	assert(lock != NULL, "Need non-NULL lock");
duke@435	155	if (lock->owned_by_self()) return;
duke@435	156	if (SafepointSynchronize::is_at_safepoint()) return;
duke@435	157	if (!Universe::is_fully_initialized()) return;
duke@435	158	// see if invoker of VM operation owns it
duke@435	159	VM_Operation* op = VMThread::vm_operation();
duke@435	160	if (op != NULL && op->calling_thread() == lock->owner()) return;
jcoomes@1845	161	fatal(err_msg("must own lock %s", lock->name()));
duke@435	162	}
duke@435	163
duke@435	164	// a stronger assertion than the above
duke@435	165	void assert_lock_strong(const Monitor * lock) {
duke@435	166	if (IgnoreLockingAssertions) return;
duke@435	167	assert(lock != NULL, "Need non-NULL lock");
duke@435	168	if (lock->owned_by_self()) return;
jcoomes@1845	169	fatal(err_msg("must own lock %s", lock->name()));
duke@435	170	}
duke@435	171	#endif
duke@435	172
duke@435	173	#define def(var, type, pri, vm_block) { \
duke@435	174	var = new type(Mutex::pri, #var, vm_block); \
duke@435	175	assert(_num_mutex < MAX_NUM_MUTEX, \
duke@435	176	"increase MAX_NUM_MUTEX"); \
duke@435	177	_mutex_array[_num_mutex++] = var; \
duke@435	178	}
duke@435	179
duke@435	180	void mutex_init() {
duke@435	181	def(tty_lock , Mutex , event, true ); // allow to lock in VM
duke@435	182
duke@435	183	def(CGC_lock , Monitor, special, true ); // coordinate between fore- and background GC
pliden@6906	184	def(STS_lock , Monitor, leaf, true );
duke@435	185	if (UseConcMarkSweepGC) {
duke@435	186	def(iCMS_lock , Monitor, special, true ); // CMS incremental mode start/stop notification
tonyp@2011	187	}
tonyp@2011	188	if (UseConcMarkSweepGC || UseG1GC) {
duke@435	189	def(FullGCCount_lock , Monitor, leaf, true ); // in support of ExplicitGCInvokesConcurrent
duke@435	190	}
ysr@777	191	if (UseG1GC) {
ysr@777	192	def(CMark_lock , Monitor, nonleaf, true ); // coordinate concurrent mark thread
tonyp@1793	193	def(CMRegionStack_lock , Mutex, leaf, true );
ysr@777	194	def(SATB_Q_FL_lock , Mutex , special, true );
ysr@777	195	def(SATB_Q_CBL_mon , Monitor, nonleaf, true );
ysr@777	196	def(Shared_SATB_Q_lock , Mutex, nonleaf, true );
ysr@777	197
ysr@777	198	def(DirtyCardQ_FL_lock , Mutex , special, true );
ysr@777	199	def(DirtyCardQ_CBL_mon , Monitor, nonleaf, true );
ysr@777	200	def(Shared_DirtyCardQ_lock , Mutex, nonleaf, true );
ysr@777	201
tonyp@2472	202	def(FreeList_lock , Mutex, leaf , true );
tonyp@2472	203	def(SecondaryFreeList_lock , Monitor, leaf , true );
tonyp@2472	204	def(OldSets_lock , Mutex , leaf , true );
tonyp@3464	205	def(RootRegionScan_lock , Monitor, leaf , true );
ysr@777	206	def(MMUTracker_lock , Mutex , leaf , true );
ysr@777	207	def(EvacFailureStack_lock , Mutex , nonleaf , true );
pliden@6413	208
pliden@6413	209	def(StringDedupQueue_lock , Monitor, leaf, true );
pliden@6413	210	def(StringDedupTable_lock , Mutex , leaf, true );
ysr@777	211	}
duke@435	212	def(ParGCRareEvent_lock , Mutex , leaf , true );
duke@435	213	def(DerivedPointerTableGC_lock , Mutex, leaf, true );
duke@435	214	def(CodeCache_lock , Mutex , special, true );
duke@435	215	def(Interrupt_lock , Monitor, special, true ); // used for interrupt processing
duke@435	216	def(RawMonitor_lock , Mutex, special, true );
duke@435	217	def(OopMapCacheAlloc_lock , Mutex, leaf, true ); // used for oop_map_cache allocation.
duke@435	218
duke@435	219	def(Patching_lock , Mutex , special, true ); // used for safepointing and code patching.
duke@435	220	def(ObjAllocPost_lock , Monitor, special, false);
kamg@2511	221	def(Service_lock , Monitor, special, true ); // used for service thread operations
duke@435	222	def(JmethodIdCreation_lock , Mutex , leaf, true ); // used for creating jmethodIDs.
duke@435	223
duke@435	224	def(SystemDictionary_lock , Monitor, leaf, true ); // lookups done by VM thread
duke@435	225	def(PackageTable_lock , Mutex , leaf, false);
duke@435	226	def(InlineCacheBuffer_lock , Mutex , leaf, true );
duke@435	227	def(VMStatistic_lock , Mutex , leaf, false);
duke@435	228	def(ExpandHeap_lock , Mutex , leaf, true ); // Used during compilation by VM thread
duke@435	229	def(JNIHandleBlockFreeList_lock , Mutex , leaf, true ); // handles are used by VM thread
duke@435	230	def(SignatureHandlerLibrary_lock , Mutex , leaf, false);
coleenp@4037	231	def(SymbolTable_lock , Mutex , leaf+2, true );
duke@435	232	def(StringTable_lock , Mutex , leaf, true );
duke@435	233	def(ProfilePrint_lock , Mutex , leaf, false); // serial profile printing
duke@435	234	def(ExceptionCache_lock , Mutex , leaf, false); // serial profile printing
duke@435	235	def(OsrList_lock , Mutex , leaf, true );
duke@435	236	def(Debug1_lock , Mutex , leaf, true );
duke@435	237	#ifndef PRODUCT
duke@435	238	def(FullGCALot_lock , Mutex , leaf, false); // a lock to make FullGCALot MT safe
duke@435	239	#endif
duke@435	240	def(BeforeExit_lock , Monitor, leaf, true );
duke@435	241	def(PerfDataMemAlloc_lock , Mutex , leaf, true ); // used for allocating PerfData memory for performance data
duke@435	242	def(PerfDataManager_lock , Mutex , leaf, true ); // used for synchronized access to PerfDataManager resources
duke@435	243
duke@435	244	// CMS_modUnionTable_lock leaf
duke@435	245	// CMS_bitMap_lock leaf + 1
duke@435	246	// CMS_freeList_lock leaf + 2
duke@435	247
duke@435	248	def(Safepoint_lock , Monitor, safepoint, true ); // locks SnippetCache_lock/Threads_lock
duke@435	249
duke@435	250	def(Threads_lock , Monitor, barrier, true );
duke@435	251
duke@435	252	def(VMOperationQueue_lock , Monitor, nonleaf, true ); // VM_thread allowed to block on these
duke@435	253	def(VMOperationRequest_lock , Monitor, nonleaf, true );
duke@435	254	def(RetData_lock , Mutex , nonleaf, false);
duke@435	255	def(Terminator_lock , Monitor, nonleaf, true );
duke@435	256	def(VtableStubs_lock , Mutex , nonleaf, true );
duke@435	257	def(Notify_lock , Monitor, nonleaf, true );
duke@435	258	def(JNIGlobalHandle_lock , Mutex , nonleaf, true ); // locks JNIHandleBlockFreeList_lock
duke@435	259	def(JNICritical_lock , Monitor, nonleaf, true ); // used for JNI critical regions
duke@435	260	def(AdapterHandlerLibrary_lock , Mutex , nonleaf, true);
duke@435	261	if (UseConcMarkSweepGC) {
duke@435	262	def(SLT_lock , Monitor, nonleaf, false );
duke@435	263	// used in CMS GC for locking PLL lock
duke@435	264	}
ysr@777	265	def(Heap_lock , Monitor, nonleaf+1, false);
duke@435	266	def(JfieldIdCreation_lock , Mutex , nonleaf+1, true ); // jfieldID, Used in VM_Operation
sspitsyn@4965	267	def(MemberNameTable_lock , Mutex , nonleaf+1, false); // Used to protect MemberNameTable
duke@435	268
duke@435	269	def(CompiledIC_lock , Mutex , nonleaf+2, false); // locks VtableStubs_lock, InlineCacheBuffer_lock
duke@435	270	def(CompileTaskAlloc_lock , Mutex , nonleaf+2, true );
duke@435	271	def(CompileStatistics_lock , Mutex , nonleaf+2, false);
duke@435	272	def(MultiArray_lock , Mutex , nonleaf+2, false); // locks SymbolTable_lock
duke@435	273
duke@435	274	def(JvmtiThreadState_lock , Mutex , nonleaf+2, false); // Used by JvmtiThreadState/JvmtiEventController
duke@435	275	def(JvmtiPendingEvent_lock , Monitor, nonleaf, false); // Used by JvmtiCodeBlobEvents
duke@435	276	def(Management_lock , Mutex , nonleaf+2, false); // used for JVM management
duke@435	277
duke@435	278	def(Compile_lock , Mutex , nonleaf+3, true );
duke@435	279	def(MethodData_lock , Mutex , nonleaf+3, false);
duke@435	280
duke@435	281	def(MethodCompileQueue_lock , Monitor, nonleaf+4, true );
duke@435	282	def(Debug2_lock , Mutex , nonleaf+4, true );
duke@435	283	def(Debug3_lock , Mutex , nonleaf+4, true );
sla@5237	284	def(ProfileVM_lock , Monitor, special, false); // used for profiling of the VMThread
duke@435	285	def(CompileThread_lock , Monitor, nonleaf+5, false );
mgronlun@5574	286	def(PeriodicTask_lock , Monitor, nonleaf+5, true);
zgu@9745	287	def(RedefineClasses_lock , Monitor, nonleaf+5, true);
phh@3427	288
neugens@9892	289	#if INCLUDE_JFR
sla@5237	290	def(JfrMsg_lock , Monitor, leaf, true);
mlarsson@7689	291	def(JfrBuffer_lock , Mutex, leaf, true);
mlarsson@7689	292	def(JfrThreadGroups_lock , Mutex, leaf, true);
mlarsson@7689	293	def(JfrStream_lock , Mutex, nonleaf, true);
mlarsson@7689	294	def(JfrStacktrace_lock , Mutex, special, true);
apetushkov@9858	295
apetushkov@9858	296	#ifndef SUPPORTS_NATIVE_CX8
apetushkov@9858	297	def(JfrCounters_lock , Mutex, special, false);
apetushkov@9858	298	#endif
mgronlun@5574	299	#endif
mgronlun@5574	300
dholmes@7547	301	#ifndef SUPPORTS_NATIVE_CX8
dholmes@7547	302	def(UnsafeJlong_lock , Mutex, special, false);
dholmes@7547	303	#endif
duke@435	304	}
duke@435	305
duke@435	306	GCMutexLocker::GCMutexLocker(Monitor * mutex) {
duke@435	307	if (SafepointSynchronize::is_at_safepoint()) {
duke@435	308	_locked = false;
duke@435	309	} else {
duke@435	310	_mutex = mutex;
duke@435	311	_locked = true;
duke@435	312	_mutex->lock();
duke@435	313	}
duke@435	314	}
duke@435	315
duke@435	316	// Print all mutexes/monitors that are currently owned by a thread; called
duke@435	317	// by fatal error handler.
duke@435	318	void print_owned_locks_on_error(outputStream* st) {
duke@435	319	st->print("VM Mutex/Monitor currently owned by a thread: ");
duke@435	320	bool none = true;
duke@435	321	for (int i = 0; i < _num_mutex; i++) {
duke@435	322	// see if it has an owner
duke@435	323	if (_mutex_array[i]->owner() != NULL) {
duke@435	324	if (none) {
duke@435	325	// print format used by Mutex::print_on_error()
duke@435	326	st->print_cr(" ([mutex/lock_event])");
duke@435	327	none = false;
duke@435	328	}
duke@435	329	_mutex_array[i]->print_on_error(st);
duke@435	330	st->cr();
duke@435	331	}
duke@435	332	}
duke@435	333	if (none) st->print_cr("None");
duke@435	334	}