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

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

src/share/vm/runtime/mutexLocker.cpp

Tue, 18 Mar 2014 19:07:22 +0100

author

pliden

date

Tue, 18 Mar 2014 19:07:22 +0100

changeset 6413

595c0f60d50d

parent 5732

b2e698d2276c

child 6876

710a3c8b516e

child 6906

581e70386ec9

permissions

-rw-r--r--

8029075: String deduplication in G1
Summary: Implementation of JEP 192, http://openjdk.java.net/jeps/192
Reviewed-by: brutisso, tschatzl, coleenp

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