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

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

src/share/vm/runtime/mutexLocker.cpp

Wed, 18 Sep 2013 07:02:10 -0700

author

dcubed

date

Wed, 18 Sep 2013 07:02:10 -0700

changeset 5743

63147986a428

parent 5574

739c309fd729

child 5732

b2e698d2276c

permissions

-rw-r--r--

8019835: Strings interned in different threads equal but does not ==
Summary: Add -XX:+VerifyStringTableAtExit option and code to verify StringTable invariants.
Reviewed-by: rdurbin, sspitsyn, coleenp

duke@435	1	/*
sla@5237	2	* Copyright (c) 1997, 2013, 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;
duke@435	48	Mutex* JNICachedItableIndex_lock = NULL;
sspitsyn@4965	49	Mutex* MemberNameTable_lock = NULL;
duke@435	50	Mutex* JmethodIdCreation_lock = NULL;
duke@435	51	Mutex* JfieldIdCreation_lock = NULL;
duke@435	52	Monitor* JNICritical_lock = NULL;
duke@435	53	Mutex* JvmtiThreadState_lock = NULL;
duke@435	54	Monitor* JvmtiPendingEvent_lock = NULL;
ysr@777	55	Monitor* Heap_lock = NULL;
duke@435	56	Mutex* ExpandHeap_lock = NULL;
duke@435	57	Mutex* AdapterHandlerLibrary_lock = NULL;
duke@435	58	Mutex* SignatureHandlerLibrary_lock = NULL;
duke@435	59	Mutex* VtableStubs_lock = NULL;
duke@435	60	Mutex* SymbolTable_lock = NULL;
duke@435	61	Mutex* StringTable_lock = NULL;
duke@435	62	Mutex* CodeCache_lock = NULL;
duke@435	63	Mutex* MethodData_lock = NULL;
duke@435	64	Mutex* RetData_lock = NULL;
duke@435	65	Monitor* VMOperationQueue_lock = NULL;
duke@435	66	Monitor* VMOperationRequest_lock = NULL;
duke@435	67	Monitor* Safepoint_lock = NULL;
duke@435	68	Monitor* SerializePage_lock = NULL;
duke@435	69	Monitor* Threads_lock = NULL;
duke@435	70	Monitor* CGC_lock = NULL;
duke@435	71	Mutex* STS_init_lock = NULL;
duke@435	72	Monitor* SLT_lock = NULL;
duke@435	73	Monitor* iCMS_lock = NULL;
duke@435	74	Monitor* FullGCCount_lock = NULL;
ysr@777	75	Monitor* CMark_lock = NULL;
tonyp@1793	76	Mutex* CMRegionStack_lock = NULL;
ysr@777	77	Mutex* SATB_Q_FL_lock = NULL;
ysr@777	78	Monitor* SATB_Q_CBL_mon = NULL;
ysr@777	79	Mutex* Shared_SATB_Q_lock = NULL;
ysr@777	80	Mutex* DirtyCardQ_FL_lock = NULL;
ysr@777	81	Monitor* DirtyCardQ_CBL_mon = NULL;
ysr@777	82	Mutex* Shared_DirtyCardQ_lock = NULL;
duke@435	83	Mutex* ParGCRareEvent_lock = NULL;
ysr@777	84	Mutex* EvacFailureStack_lock = NULL;
duke@435	85	Mutex* DerivedPointerTableGC_lock = NULL;
duke@435	86	Mutex* Compile_lock = NULL;
duke@435	87	Monitor* MethodCompileQueue_lock = NULL;
duke@435	88	Monitor* CompileThread_lock = NULL;
duke@435	89	Mutex* CompileTaskAlloc_lock = NULL;
duke@435	90	Mutex* CompileStatistics_lock = NULL;
duke@435	91	Mutex* MultiArray_lock = NULL;
duke@435	92	Monitor* Terminator_lock = NULL;
duke@435	93	Monitor* BeforeExit_lock = NULL;
duke@435	94	Monitor* Notify_lock = NULL;
duke@435	95	Monitor* Interrupt_lock = NULL;
duke@435	96	Monitor* ProfileVM_lock = NULL;
duke@435	97	Mutex* ProfilePrint_lock = NULL;
duke@435	98	Mutex* ExceptionCache_lock = NULL;
duke@435	99	Monitor* ObjAllocPost_lock = NULL;
duke@435	100	Mutex* OsrList_lock = NULL;
duke@435	101	#ifndef PRODUCT
duke@435	102	Mutex* FullGCALot_lock = NULL;
duke@435	103	#endif
duke@435	104
duke@435	105	Mutex* Debug1_lock = NULL;
duke@435	106	Mutex* Debug2_lock = NULL;
duke@435	107	Mutex* Debug3_lock = NULL;
duke@435	108
duke@435	109	Mutex* tty_lock = NULL;
duke@435	110
duke@435	111	Mutex* RawMonitor_lock = NULL;
duke@435	112	Mutex* PerfDataMemAlloc_lock = NULL;
duke@435	113	Mutex* PerfDataManager_lock = NULL;
duke@435	114	Mutex* OopMapCacheAlloc_lock = NULL;
duke@435	115
tonyp@2472	116	Mutex* FreeList_lock = NULL;
tonyp@2472	117	Monitor* SecondaryFreeList_lock = NULL;
tonyp@2472	118	Mutex* OldSets_lock = NULL;
tonyp@3464	119	Monitor* RootRegionScan_lock = NULL;
ysr@777	120	Mutex* MMUTracker_lock = NULL;
ysr@777	121	Mutex* HotCardCache_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;
phh@3427	128
mgronlun@5574	129	#ifdef INCLUDE_TRACE
mgronlun@5574	130	Mutex* JfrStacktrace_lock = NULL;
phh@3427	131	Monitor* JfrMsg_lock = NULL;
phh@3427	132	Mutex* JfrBuffer_lock = NULL;
phh@3427	133	Mutex* JfrStream_lock = NULL;
mgronlun@5574	134	Mutex* JfrThreadGroups_lock = NULL;
mgronlun@5574	135	#endif
duke@435	136
duke@435	137	#define MAX_NUM_MUTEX 128
duke@435	138	static Monitor * _mutex_array[MAX_NUM_MUTEX];
duke@435	139	static int _num_mutex;
duke@435	140
duke@435	141	#ifdef ASSERT
duke@435	142	void assert_locked_or_safepoint(const Monitor * lock) {
duke@435	143	// check if this thread owns the lock (common case)
duke@435	144	if (IgnoreLockingAssertions) return;
duke@435	145	assert(lock != NULL, "Need non-NULL lock");
duke@435	146	if (lock->owned_by_self()) return;
duke@435	147	if (SafepointSynchronize::is_at_safepoint()) return;
duke@435	148	if (!Universe::is_fully_initialized()) return;
duke@435	149	// see if invoker of VM operation owns it
duke@435	150	VM_Operation* op = VMThread::vm_operation();
duke@435	151	if (op != NULL && op->calling_thread() == lock->owner()) return;
jcoomes@1845	152	fatal(err_msg("must own lock %s", lock->name()));
duke@435	153	}
duke@435	154
duke@435	155	// a stronger assertion than the above
duke@435	156	void assert_lock_strong(const Monitor * lock) {
duke@435	157	if (IgnoreLockingAssertions) return;
duke@435	158	assert(lock != NULL, "Need non-NULL lock");
duke@435	159	if (lock->owned_by_self()) return;
jcoomes@1845	160	fatal(err_msg("must own lock %s", lock->name()));
duke@435	161	}
duke@435	162	#endif
duke@435	163
duke@435	164	#define def(var, type, pri, vm_block) { \
duke@435	165	var = new type(Mutex::pri, #var, vm_block); \
duke@435	166	assert(_num_mutex < MAX_NUM_MUTEX, \
duke@435	167	"increase MAX_NUM_MUTEX"); \
duke@435	168	_mutex_array[_num_mutex++] = var; \
duke@435	169	}
duke@435	170
duke@435	171	void mutex_init() {
duke@435	172	def(tty_lock , Mutex , event, true ); // allow to lock in VM
duke@435	173
duke@435	174	def(CGC_lock , Monitor, special, true ); // coordinate between fore- and background GC
duke@435	175	def(STS_init_lock , Mutex, leaf, true );
duke@435	176	if (UseConcMarkSweepGC) {
duke@435	177	def(iCMS_lock , Monitor, special, true ); // CMS incremental mode start/stop notification
tonyp@2011	178	}
tonyp@2011	179	if (UseConcMarkSweepGC || UseG1GC) {
duke@435	180	def(FullGCCount_lock , Monitor, leaf, true ); // in support of ExplicitGCInvokesConcurrent
duke@435	181	}
ysr@777	182	if (UseG1GC) {
ysr@777	183	def(CMark_lock , Monitor, nonleaf, true ); // coordinate concurrent mark thread
tonyp@1793	184	def(CMRegionStack_lock , Mutex, leaf, true );
ysr@777	185	def(SATB_Q_FL_lock , Mutex , special, true );
ysr@777	186	def(SATB_Q_CBL_mon , Monitor, nonleaf, true );
ysr@777	187	def(Shared_SATB_Q_lock , Mutex, nonleaf, true );
ysr@777	188
ysr@777	189	def(DirtyCardQ_FL_lock , Mutex , special, true );
ysr@777	190	def(DirtyCardQ_CBL_mon , Monitor, nonleaf, true );
ysr@777	191	def(Shared_DirtyCardQ_lock , Mutex, nonleaf, true );
ysr@777	192
tonyp@2472	193	def(FreeList_lock , Mutex, leaf , true );
tonyp@2472	194	def(SecondaryFreeList_lock , Monitor, leaf , true );
tonyp@2472	195	def(OldSets_lock , Mutex , leaf , true );
tonyp@3464	196	def(RootRegionScan_lock , Monitor, leaf , true );
ysr@777	197	def(MMUTracker_lock , Mutex , leaf , true );
ysr@777	198	def(HotCardCache_lock , Mutex , special , true );
ysr@777	199	def(EvacFailureStack_lock , Mutex , nonleaf , true );
ysr@777	200	}
duke@435	201	def(ParGCRareEvent_lock , Mutex , leaf , true );
duke@435	202	def(DerivedPointerTableGC_lock , Mutex, leaf, true );
duke@435	203	def(CodeCache_lock , Mutex , special, true );
duke@435	204	def(Interrupt_lock , Monitor, special, true ); // used for interrupt processing
duke@435	205	def(RawMonitor_lock , Mutex, special, true );
duke@435	206	def(OopMapCacheAlloc_lock , Mutex, leaf, true ); // used for oop_map_cache allocation.
duke@435	207
duke@435	208	def(Patching_lock , Mutex , special, true ); // used for safepointing and code patching.
duke@435	209	def(ObjAllocPost_lock , Monitor, special, false);
kamg@2511	210	def(Service_lock , Monitor, special, true ); // used for service thread operations
duke@435	211	def(JmethodIdCreation_lock , Mutex , leaf, true ); // used for creating jmethodIDs.
duke@435	212
duke@435	213	def(SystemDictionary_lock , Monitor, leaf, true ); // lookups done by VM thread
duke@435	214	def(PackageTable_lock , Mutex , leaf, false);
duke@435	215	def(InlineCacheBuffer_lock , Mutex , leaf, true );
duke@435	216	def(VMStatistic_lock , Mutex , leaf, false);
duke@435	217	def(ExpandHeap_lock , Mutex , leaf, true ); // Used during compilation by VM thread
duke@435	218	def(JNIHandleBlockFreeList_lock , Mutex , leaf, true ); // handles are used by VM thread
duke@435	219	def(SignatureHandlerLibrary_lock , Mutex , leaf, false);
coleenp@4037	220	def(SymbolTable_lock , Mutex , leaf+2, true );
duke@435	221	def(StringTable_lock , Mutex , leaf, true );
duke@435	222	def(ProfilePrint_lock , Mutex , leaf, false); // serial profile printing
duke@435	223	def(ExceptionCache_lock , Mutex , leaf, false); // serial profile printing
duke@435	224	def(OsrList_lock , Mutex , leaf, true );
duke@435	225	def(Debug1_lock , Mutex , leaf, true );
duke@435	226	#ifndef PRODUCT
duke@435	227	def(FullGCALot_lock , Mutex , leaf, false); // a lock to make FullGCALot MT safe
duke@435	228	#endif
duke@435	229	def(BeforeExit_lock , Monitor, leaf, true );
duke@435	230	def(PerfDataMemAlloc_lock , Mutex , leaf, true ); // used for allocating PerfData memory for performance data
duke@435	231	def(PerfDataManager_lock , Mutex , leaf, true ); // used for synchronized access to PerfDataManager resources
duke@435	232
duke@435	233	// CMS_modUnionTable_lock leaf
duke@435	234	// CMS_bitMap_lock leaf + 1
duke@435	235	// CMS_freeList_lock leaf + 2
duke@435	236
duke@435	237	def(Safepoint_lock , Monitor, safepoint, true ); // locks SnippetCache_lock/Threads_lock
duke@435	238
duke@435	239	def(Threads_lock , Monitor, barrier, true );
duke@435	240
duke@435	241	def(VMOperationQueue_lock , Monitor, nonleaf, true ); // VM_thread allowed to block on these
duke@435	242	def(VMOperationRequest_lock , Monitor, nonleaf, true );
duke@435	243	def(RetData_lock , Mutex , nonleaf, false);
duke@435	244	def(Terminator_lock , Monitor, nonleaf, true );
duke@435	245	def(VtableStubs_lock , Mutex , nonleaf, true );
duke@435	246	def(Notify_lock , Monitor, nonleaf, true );
duke@435	247	def(JNIGlobalHandle_lock , Mutex , nonleaf, true ); // locks JNIHandleBlockFreeList_lock
duke@435	248	def(JNICritical_lock , Monitor, nonleaf, true ); // used for JNI critical regions
duke@435	249	def(AdapterHandlerLibrary_lock , Mutex , nonleaf, true);
duke@435	250	if (UseConcMarkSweepGC) {
duke@435	251	def(SLT_lock , Monitor, nonleaf, false );
duke@435	252	// used in CMS GC for locking PLL lock
duke@435	253	}
ysr@777	254	def(Heap_lock , Monitor, nonleaf+1, false);
duke@435	255	def(JfieldIdCreation_lock , Mutex , nonleaf+1, true ); // jfieldID, Used in VM_Operation
duke@435	256	def(JNICachedItableIndex_lock , Mutex , nonleaf+1, false); // Used to cache an itable index during JNI invoke
sspitsyn@4965	257	def(MemberNameTable_lock , Mutex , nonleaf+1, false); // Used to protect MemberNameTable
duke@435	258
duke@435	259	def(CompiledIC_lock , Mutex , nonleaf+2, false); // locks VtableStubs_lock, InlineCacheBuffer_lock
duke@435	260	def(CompileTaskAlloc_lock , Mutex , nonleaf+2, true );
duke@435	261	def(CompileStatistics_lock , Mutex , nonleaf+2, false);
duke@435	262	def(MultiArray_lock , Mutex , nonleaf+2, false); // locks SymbolTable_lock
duke@435	263
duke@435	264	def(JvmtiThreadState_lock , Mutex , nonleaf+2, false); // Used by JvmtiThreadState/JvmtiEventController
duke@435	265	def(JvmtiPendingEvent_lock , Monitor, nonleaf, false); // Used by JvmtiCodeBlobEvents
duke@435	266	def(Management_lock , Mutex , nonleaf+2, false); // used for JVM management
duke@435	267
duke@435	268	def(Compile_lock , Mutex , nonleaf+3, true );
duke@435	269	def(MethodData_lock , Mutex , nonleaf+3, false);
duke@435	270
duke@435	271	def(MethodCompileQueue_lock , Monitor, nonleaf+4, true );
duke@435	272	def(Debug2_lock , Mutex , nonleaf+4, true );
duke@435	273	def(Debug3_lock , Mutex , nonleaf+4, true );
sla@5237	274	def(ProfileVM_lock , Monitor, special, false); // used for profiling of the VMThread
duke@435	275	def(CompileThread_lock , Monitor, nonleaf+5, false );
mgronlun@5574	276	def(PeriodicTask_lock , Monitor, nonleaf+5, true);
phh@3427	277
mgronlun@5574	278	#ifdef INCLUDE_TRACE
sla@5237	279	def(JfrMsg_lock , Monitor, leaf, true);
sla@5237	280	def(JfrBuffer_lock , Mutex, nonleaf+1, true);
mgronlun@5574	281	def(JfrThreadGroups_lock , Mutex, nonleaf+1, true);
sla@5237	282	def(JfrStream_lock , Mutex, nonleaf+2, true);
mgronlun@5574	283	def(JfrStacktrace_lock , Mutex, special, true );
mgronlun@5574	284	#endif
mgronlun@5574	285
duke@435	286	}
duke@435	287
duke@435	288	GCMutexLocker::GCMutexLocker(Monitor * mutex) {
duke@435	289	if (SafepointSynchronize::is_at_safepoint()) {
duke@435	290	_locked = false;
duke@435	291	} else {
duke@435	292	_mutex = mutex;
duke@435	293	_locked = true;
duke@435	294	_mutex->lock();
duke@435	295	}
duke@435	296	}
duke@435	297
duke@435	298	// Print all mutexes/monitors that are currently owned by a thread; called
duke@435	299	// by fatal error handler.
duke@435	300	void print_owned_locks_on_error(outputStream* st) {
duke@435	301	st->print("VM Mutex/Monitor currently owned by a thread: ");
duke@435	302	bool none = true;
duke@435	303	for (int i = 0; i < _num_mutex; i++) {
duke@435	304	// see if it has an owner
duke@435	305	if (_mutex_array[i]->owner() != NULL) {
duke@435	306	if (none) {
duke@435	307	// print format used by Mutex::print_on_error()
duke@435	308	st->print_cr(" ([mutex/lock_event])");
duke@435	309	none = false;
duke@435	310	}
duke@435	311	_mutex_array[i]->print_on_error(st);
duke@435	312	st->cr();
duke@435	313	}
duke@435	314	}
duke@435	315	if (none) st->print_cr("None");
duke@435	316	}