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

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

src/share/vm/runtime/mutexLocker.cpp

Mon, 28 Jun 2010 14:13:17 -0400

author

tonyp

date

Mon, 28 Jun 2010 14:13:17 -0400

changeset 2011

4e5661ba9d98

parent 1939

b812ff5abc73

child 2314

f95d63e2154a

permissions

-rw-r--r--

6944166: G1: explicit GCs are not always handled correctly
Summary: G1 was not handling explicit GCs correctly in many ways. It does now. See the CR for the list of improvements contained in this changeset.
Reviewed-by: iveresov, ysr, johnc

duke@435	1	/*
trims@1907	2	* Copyright (c) 1997, 2009, 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
duke@435	25	#include "incls/_precompiled.incl"
duke@435	26	#include "incls/_mutexLocker.cpp.incl"
duke@435	27
duke@435	28	// Mutexes used in the VM (see comment in mutexLocker.hpp):
duke@435	29	//
duke@435	30	// Note that the following pointers are effectively final -- after having been
duke@435	31	// set at JVM startup-time, they should never be subsequently mutated.
duke@435	32	// Instead of using pointers to malloc()ed monitors and mutexes we should consider
duke@435	33	// eliminating the indirection and using instances instead.
duke@435	34	// Consider using GCC's __read_mostly.
duke@435	35
duke@435	36	Mutex* Patching_lock = NULL;
duke@435	37	Monitor* SystemDictionary_lock = NULL;
duke@435	38	Mutex* PackageTable_lock = NULL;
duke@435	39	Mutex* CompiledIC_lock = NULL;
duke@435	40	Mutex* InlineCacheBuffer_lock = NULL;
duke@435	41	Mutex* VMStatistic_lock = NULL;
duke@435	42	Mutex* JNIGlobalHandle_lock = NULL;
duke@435	43	Mutex* JNIHandleBlockFreeList_lock = NULL;
duke@435	44	Mutex* JNICachedItableIndex_lock = NULL;
duke@435	45	Mutex* JmethodIdCreation_lock = NULL;
duke@435	46	Mutex* JfieldIdCreation_lock = NULL;
duke@435	47	Monitor* JNICritical_lock = NULL;
duke@435	48	Mutex* JvmtiThreadState_lock = NULL;
duke@435	49	Monitor* JvmtiPendingEvent_lock = NULL;
ysr@777	50	Monitor* Heap_lock = NULL;
duke@435	51	Mutex* ExpandHeap_lock = NULL;
duke@435	52	Mutex* AdapterHandlerLibrary_lock = NULL;
duke@435	53	Mutex* SignatureHandlerLibrary_lock = NULL;
duke@435	54	Mutex* VtableStubs_lock = NULL;
duke@435	55	Mutex* SymbolTable_lock = NULL;
duke@435	56	Mutex* StringTable_lock = NULL;
duke@435	57	Mutex* CodeCache_lock = NULL;
duke@435	58	Mutex* MethodData_lock = NULL;
duke@435	59	Mutex* RetData_lock = NULL;
duke@435	60	Monitor* VMOperationQueue_lock = NULL;
duke@435	61	Monitor* VMOperationRequest_lock = NULL;
duke@435	62	Monitor* Safepoint_lock = NULL;
duke@435	63	Monitor* SerializePage_lock = NULL;
duke@435	64	Monitor* Threads_lock = NULL;
duke@435	65	Monitor* CGC_lock = NULL;
duke@435	66	Mutex* STS_init_lock = NULL;
duke@435	67	Monitor* SLT_lock = NULL;
duke@435	68	Monitor* iCMS_lock = NULL;
duke@435	69	Monitor* FullGCCount_lock = NULL;
ysr@777	70	Monitor* CMark_lock = NULL;
ysr@777	71	Monitor* ZF_mon = NULL;
ysr@777	72	Monitor* Cleanup_mon = NULL;
tonyp@1793	73	Mutex* CMRegionStack_lock = NULL;
ysr@777	74	Mutex* SATB_Q_FL_lock = NULL;
ysr@777	75	Monitor* SATB_Q_CBL_mon = NULL;
ysr@777	76	Mutex* Shared_SATB_Q_lock = NULL;
ysr@777	77	Mutex* DirtyCardQ_FL_lock = NULL;
ysr@777	78	Monitor* DirtyCardQ_CBL_mon = NULL;
ysr@777	79	Mutex* Shared_DirtyCardQ_lock = NULL;
duke@435	80	Mutex* ParGCRareEvent_lock = NULL;
ysr@777	81	Mutex* EvacFailureStack_lock = NULL;
duke@435	82	Mutex* DerivedPointerTableGC_lock = NULL;
duke@435	83	Mutex* Compile_lock = NULL;
duke@435	84	Monitor* MethodCompileQueue_lock = NULL;
duke@435	85	Monitor* CompileThread_lock = NULL;
duke@435	86	Mutex* CompileTaskAlloc_lock = NULL;
duke@435	87	Mutex* CompileStatistics_lock = NULL;
duke@435	88	Mutex* MultiArray_lock = NULL;
duke@435	89	Monitor* Terminator_lock = NULL;
duke@435	90	Monitor* BeforeExit_lock = NULL;
duke@435	91	Monitor* Notify_lock = NULL;
duke@435	92	Monitor* Interrupt_lock = NULL;
duke@435	93	Monitor* ProfileVM_lock = NULL;
duke@435	94	Mutex* ProfilePrint_lock = NULL;
duke@435	95	Mutex* ExceptionCache_lock = NULL;
duke@435	96	Monitor* ObjAllocPost_lock = NULL;
duke@435	97	Mutex* OsrList_lock = NULL;
duke@435	98	#ifndef PRODUCT
duke@435	99	Mutex* FullGCALot_lock = NULL;
duke@435	100	#endif
duke@435	101
duke@435	102	Mutex* Debug1_lock = NULL;
duke@435	103	Mutex* Debug2_lock = NULL;
duke@435	104	Mutex* Debug3_lock = NULL;
duke@435	105
duke@435	106	Mutex* tty_lock = NULL;
duke@435	107
duke@435	108	Mutex* RawMonitor_lock = NULL;
duke@435	109	Mutex* PerfDataMemAlloc_lock = NULL;
duke@435	110	Mutex* PerfDataManager_lock = NULL;
duke@435	111	Mutex* OopMapCacheAlloc_lock = NULL;
duke@435	112
ysr@777	113	Mutex* MMUTracker_lock = NULL;
ysr@777	114	Mutex* HotCardCache_lock = NULL;
ysr@777	115
duke@435	116	Monitor* GCTaskManager_lock = NULL;
duke@435	117
duke@435	118	Mutex* Management_lock = NULL;
duke@435	119	Monitor* LowMemory_lock = NULL;
duke@435	120
duke@435	121	#define MAX_NUM_MUTEX 128
duke@435	122	static Monitor * _mutex_array[MAX_NUM_MUTEX];
duke@435	123	static int _num_mutex;
duke@435	124
duke@435	125	#ifdef ASSERT
duke@435	126	void assert_locked_or_safepoint(const Monitor * lock) {
duke@435	127	// check if this thread owns the lock (common case)
duke@435	128	if (IgnoreLockingAssertions) return;
duke@435	129	assert(lock != NULL, "Need non-NULL lock");
duke@435	130	if (lock->owned_by_self()) return;
duke@435	131	if (SafepointSynchronize::is_at_safepoint()) return;
duke@435	132	if (!Universe::is_fully_initialized()) return;
duke@435	133	// see if invoker of VM operation owns it
duke@435	134	VM_Operation* op = VMThread::vm_operation();
duke@435	135	if (op != NULL && op->calling_thread() == lock->owner()) return;
jcoomes@1845	136	fatal(err_msg("must own lock %s", lock->name()));
duke@435	137	}
duke@435	138
duke@435	139	// a stronger assertion than the above
duke@435	140	void assert_lock_strong(const Monitor * lock) {
duke@435	141	if (IgnoreLockingAssertions) return;
duke@435	142	assert(lock != NULL, "Need non-NULL lock");
duke@435	143	if (lock->owned_by_self()) return;
jcoomes@1845	144	fatal(err_msg("must own lock %s", lock->name()));
duke@435	145	}
duke@435	146	#endif
duke@435	147
duke@435	148	#define def(var, type, pri, vm_block) { \
duke@435	149	var = new type(Mutex::pri, #var, vm_block); \
duke@435	150	assert(_num_mutex < MAX_NUM_MUTEX, \
duke@435	151	"increase MAX_NUM_MUTEX"); \
duke@435	152	_mutex_array[_num_mutex++] = var; \
duke@435	153	}
duke@435	154
duke@435	155	void mutex_init() {
duke@435	156	def(tty_lock , Mutex , event, true ); // allow to lock in VM
duke@435	157
duke@435	158	def(CGC_lock , Monitor, special, true ); // coordinate between fore- and background GC
duke@435	159	def(STS_init_lock , Mutex, leaf, true );
duke@435	160	if (UseConcMarkSweepGC) {
duke@435	161	def(iCMS_lock , Monitor, special, true ); // CMS incremental mode start/stop notification
tonyp@2011	162	}
tonyp@2011	163	if (UseConcMarkSweepGC || UseG1GC) {
duke@435	164	def(FullGCCount_lock , Monitor, leaf, true ); // in support of ExplicitGCInvokesConcurrent
duke@435	165	}
ysr@777	166	if (UseG1GC) {
ysr@777	167	def(CMark_lock , Monitor, nonleaf, true ); // coordinate concurrent mark thread
ysr@777	168	def(ZF_mon , Monitor, leaf, true );
ysr@777	169	def(Cleanup_mon , Monitor, nonleaf, true );
tonyp@1793	170	def(CMRegionStack_lock , Mutex, leaf, true );
ysr@777	171	def(SATB_Q_FL_lock , Mutex , special, true );
ysr@777	172	def(SATB_Q_CBL_mon , Monitor, nonleaf, true );
ysr@777	173	def(Shared_SATB_Q_lock , Mutex, nonleaf, true );
ysr@777	174
ysr@777	175	def(DirtyCardQ_FL_lock , Mutex , special, true );
ysr@777	176	def(DirtyCardQ_CBL_mon , Monitor, nonleaf, true );
ysr@777	177	def(Shared_DirtyCardQ_lock , Mutex, nonleaf, true );
ysr@777	178
ysr@777	179	def(MMUTracker_lock , Mutex , leaf , true );
ysr@777	180	def(HotCardCache_lock , Mutex , special , true );
ysr@777	181	def(EvacFailureStack_lock , Mutex , nonleaf , true );
ysr@777	182	}
duke@435	183	def(ParGCRareEvent_lock , Mutex , leaf , true );
duke@435	184	def(DerivedPointerTableGC_lock , Mutex, leaf, true );
duke@435	185	def(CodeCache_lock , Mutex , special, true );
duke@435	186	def(Interrupt_lock , Monitor, special, true ); // used for interrupt processing
duke@435	187	def(RawMonitor_lock , Mutex, special, true );
duke@435	188	def(OopMapCacheAlloc_lock , Mutex, leaf, true ); // used for oop_map_cache allocation.
duke@435	189
duke@435	190	def(Patching_lock , Mutex , special, true ); // used for safepointing and code patching.
duke@435	191	def(ObjAllocPost_lock , Monitor, special, false);
duke@435	192	def(LowMemory_lock , Monitor, special, true ); // used for low memory detection
duke@435	193	def(JmethodIdCreation_lock , Mutex , leaf, true ); // used for creating jmethodIDs.
duke@435	194
duke@435	195	def(SystemDictionary_lock , Monitor, leaf, true ); // lookups done by VM thread
duke@435	196	def(PackageTable_lock , Mutex , leaf, false);
duke@435	197	def(InlineCacheBuffer_lock , Mutex , leaf, true );
duke@435	198	def(VMStatistic_lock , Mutex , leaf, false);
duke@435	199	def(ExpandHeap_lock , Mutex , leaf, true ); // Used during compilation by VM thread
duke@435	200	def(JNIHandleBlockFreeList_lock , Mutex , leaf, true ); // handles are used by VM thread
duke@435	201	def(SignatureHandlerLibrary_lock , Mutex , leaf, false);
duke@435	202	def(SymbolTable_lock , Mutex , leaf, true );
duke@435	203	def(StringTable_lock , Mutex , leaf, true );
duke@435	204	def(ProfilePrint_lock , Mutex , leaf, false); // serial profile printing
duke@435	205	def(ExceptionCache_lock , Mutex , leaf, false); // serial profile printing
duke@435	206	def(OsrList_lock , Mutex , leaf, true );
duke@435	207	def(Debug1_lock , Mutex , leaf, true );
duke@435	208	#ifndef PRODUCT
duke@435	209	def(FullGCALot_lock , Mutex , leaf, false); // a lock to make FullGCALot MT safe
duke@435	210	#endif
duke@435	211	def(BeforeExit_lock , Monitor, leaf, true );
duke@435	212	def(PerfDataMemAlloc_lock , Mutex , leaf, true ); // used for allocating PerfData memory for performance data
duke@435	213	def(PerfDataManager_lock , Mutex , leaf, true ); // used for synchronized access to PerfDataManager resources
duke@435	214
duke@435	215	// CMS_modUnionTable_lock leaf
duke@435	216	// CMS_bitMap_lock leaf + 1
duke@435	217	// CMS_freeList_lock leaf + 2
duke@435	218
duke@435	219	def(Safepoint_lock , Monitor, safepoint, true ); // locks SnippetCache_lock/Threads_lock
duke@435	220
duke@435	221	def(Threads_lock , Monitor, barrier, true );
duke@435	222
duke@435	223	def(VMOperationQueue_lock , Monitor, nonleaf, true ); // VM_thread allowed to block on these
duke@435	224	def(VMOperationRequest_lock , Monitor, nonleaf, true );
duke@435	225	def(RetData_lock , Mutex , nonleaf, false);
duke@435	226	def(Terminator_lock , Monitor, nonleaf, true );
duke@435	227	def(VtableStubs_lock , Mutex , nonleaf, true );
duke@435	228	def(Notify_lock , Monitor, nonleaf, true );
duke@435	229	def(JNIGlobalHandle_lock , Mutex , nonleaf, true ); // locks JNIHandleBlockFreeList_lock
duke@435	230	def(JNICritical_lock , Monitor, nonleaf, true ); // used for JNI critical regions
duke@435	231	def(AdapterHandlerLibrary_lock , Mutex , nonleaf, true);
duke@435	232	if (UseConcMarkSweepGC) {
duke@435	233	def(SLT_lock , Monitor, nonleaf, false );
duke@435	234	// used in CMS GC for locking PLL lock
duke@435	235	}
ysr@777	236	def(Heap_lock , Monitor, nonleaf+1, false);
duke@435	237	def(JfieldIdCreation_lock , Mutex , nonleaf+1, true ); // jfieldID, Used in VM_Operation
duke@435	238	def(JNICachedItableIndex_lock , Mutex , nonleaf+1, false); // Used to cache an itable index during JNI invoke
duke@435	239
duke@435	240	def(CompiledIC_lock , Mutex , nonleaf+2, false); // locks VtableStubs_lock, InlineCacheBuffer_lock
duke@435	241	def(CompileTaskAlloc_lock , Mutex , nonleaf+2, true );
duke@435	242	def(CompileStatistics_lock , Mutex , nonleaf+2, false);
duke@435	243	def(MultiArray_lock , Mutex , nonleaf+2, false); // locks SymbolTable_lock
duke@435	244
duke@435	245	def(JvmtiThreadState_lock , Mutex , nonleaf+2, false); // Used by JvmtiThreadState/JvmtiEventController
duke@435	246	def(JvmtiPendingEvent_lock , Monitor, nonleaf, false); // Used by JvmtiCodeBlobEvents
duke@435	247	def(Management_lock , Mutex , nonleaf+2, false); // used for JVM management
duke@435	248
duke@435	249	def(Compile_lock , Mutex , nonleaf+3, true );
duke@435	250	def(MethodData_lock , Mutex , nonleaf+3, false);
duke@435	251
duke@435	252	def(MethodCompileQueue_lock , Monitor, nonleaf+4, true );
duke@435	253	def(Debug2_lock , Mutex , nonleaf+4, true );
duke@435	254	def(Debug3_lock , Mutex , nonleaf+4, true );
duke@435	255	def(ProfileVM_lock , Monitor, nonleaf+4, false); // used for profiling of the VMThread
duke@435	256	def(CompileThread_lock , Monitor, nonleaf+5, false );
duke@435	257	}
duke@435	258
duke@435	259	GCMutexLocker::GCMutexLocker(Monitor * mutex) {
duke@435	260	if (SafepointSynchronize::is_at_safepoint()) {
duke@435	261	_locked = false;
duke@435	262	} else {
duke@435	263	_mutex = mutex;
duke@435	264	_locked = true;
duke@435	265	_mutex->lock();
duke@435	266	}
duke@435	267	}
duke@435	268
duke@435	269	// Print all mutexes/monitors that are currently owned by a thread; called
duke@435	270	// by fatal error handler.
duke@435	271	void print_owned_locks_on_error(outputStream* st) {
duke@435	272	st->print("VM Mutex/Monitor currently owned by a thread: ");
duke@435	273	bool none = true;
duke@435	274	for (int i = 0; i < _num_mutex; i++) {
duke@435	275	// see if it has an owner
duke@435	276	if (_mutex_array[i]->owner() != NULL) {
duke@435	277	if (none) {
duke@435	278	// print format used by Mutex::print_on_error()
duke@435	279	st->print_cr(" ([mutex/lock_event])");
duke@435	280	none = false;
duke@435	281	}
duke@435	282	_mutex_array[i]->print_on_error(st);
duke@435	283	st->cr();
duke@435	284	}
duke@435	285	}
duke@435	286	if (none) st->print_cr("None");
duke@435	287	}