Mercurial > hg > truffle
annotate src/share/vm/runtime/mutexLocker.hpp @ 2152:0fa27f37d4d4
6977804: G1: remove the zero-filling thread
Summary: This changeset removes the zero-filling thread from G1 and collapses the two free region lists we had before (the "free" and "unclean" lists) into one. The new free list uses the new heap region sets / lists abstractions that we'll ultimately use it to keep track of all regions in the heap. A heap region set was also introduced for the humongous regions. Finally, this change increases the concurrency between the thread that completes freeing regions (after a cleanup pause) and the rest of the system (before we'd have to wait for said thread to complete before allocating a new region). The changest also includes a lot of refactoring and code simplification.
Reviewed-by: jcoomes, johnc
| author | tonyp |
|---|---|
| date | Wed, 19 Jan 2011 19:30:42 -0500 |
| parents | f95d63e2154a |
| children | bf8517f4e4d0 |
| rev | line source |
|---|---|
| 0 | 1 /* |
| 2152 | 2 * Copyright (c) 1997, 2011, Oracle and/or its affiliates. All rights reserved. |
| 0 | 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
| 4 * | |
| 5 * This code is free software; you can redistribute it and/or modify it | |
| 6 * under the terms of the GNU General Public License version 2 only, as | |
| 7 * published by the Free Software Foundation. | |
| 8 * | |
| 9 * This code is distributed in the hope that it will be useful, but WITHOUT | |
| 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
| 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
| 12 * version 2 for more details (a copy is included in the LICENSE file that | |
| 13 * accompanied this code). | |
| 14 * | |
| 15 * You should have received a copy of the GNU General Public License version | |
| 16 * 2 along with this work; if not, write to the Free Software Foundation, | |
| 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
| 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 | 22 * |
| 23 */ | |
| 24 | |
| 1972 | 25 #ifndef SHARE_VM_RUNTIME_MUTEXLOCKER_HPP |
| 26 #define SHARE_VM_RUNTIME_MUTEXLOCKER_HPP | |
| 27 | |
| 28 #include "memory/allocation.hpp" | |
| 29 #include "runtime/mutex.hpp" | |
| 30 #ifdef TARGET_OS_FAMILY_linux | |
| 31 # include "os_linux.inline.hpp" | |
| 32 #endif | |
| 33 #ifdef TARGET_OS_FAMILY_solaris | |
| 34 # include "os_solaris.inline.hpp" | |
| 35 #endif | |
| 36 #ifdef TARGET_OS_FAMILY_windows | |
| 37 # include "os_windows.inline.hpp" | |
| 38 #endif | |
| 39 | |
| 0 | 40 // Mutexes used in the VM. |
| 41 | |
| 42 extern Mutex* Patching_lock; // a lock used to guard code patching of compiled code | |
| 43 extern Monitor* SystemDictionary_lock; // a lock on the system dictonary | |
| 44 extern Mutex* PackageTable_lock; // a lock on the class loader package table | |
| 45 extern Mutex* CompiledIC_lock; // a lock used to guard compiled IC patching and access | |
| 46 extern Mutex* InlineCacheBuffer_lock; // a lock used to guard the InlineCacheBuffer | |
| 47 extern Mutex* VMStatistic_lock; // a lock used to guard statistics count increment | |
| 48 extern Mutex* JNIGlobalHandle_lock; // a lock on creating JNI global handles | |
| 49 extern Mutex* JNIHandleBlockFreeList_lock; // a lock on the JNI handle block free list | |
| 50 extern Mutex* JNICachedItableIndex_lock; // a lock on caching an itable index during JNI invoke | |
| 51 extern Mutex* JmethodIdCreation_lock; // a lock on creating JNI method identifiers | |
| 52 extern Mutex* JfieldIdCreation_lock; // a lock on creating JNI static field identifiers | |
| 53 extern Monitor* JNICritical_lock; // a lock used while entering and exiting JNI critical regions, allows GC to sometimes get in | |
| 54 extern Mutex* JvmtiThreadState_lock; // a lock on modification of JVMTI thread data | |
| 55 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
|
56 extern Monitor* Heap_lock; // a lock on the heap |
| 0 | 57 extern Mutex* ExpandHeap_lock; // a lock on expanding the heap |
| 58 extern Mutex* AdapterHandlerLibrary_lock; // a lock on the AdapterHandlerLibrary | |
| 59 extern Mutex* SignatureHandlerLibrary_lock; // a lock on the SignatureHandlerLibrary | |
| 60 extern Mutex* VtableStubs_lock; // a lock on the VtableStubs | |
| 61 extern Mutex* SymbolTable_lock; // a lock on the symbol table | |
| 62 extern Mutex* StringTable_lock; // a lock on the interned string table | |
| 63 extern Mutex* CodeCache_lock; // a lock on the CodeCache, rank is special, use MutexLockerEx | |
| 64 extern Mutex* MethodData_lock; // a lock on installation of method data | |
| 65 extern Mutex* RetData_lock; // a lock on installation of RetData inside method data | |
| 66 extern Mutex* DerivedPointerTableGC_lock; // a lock to protect the derived pointer table | |
| 67 extern Monitor* VMOperationQueue_lock; // a lock on queue of vm_operations waiting to execute | |
| 68 extern Monitor* VMOperationRequest_lock; // a lock on Threads waiting for a vm_operation to terminate | |
| 69 extern Monitor* Safepoint_lock; // a lock used by the safepoint abstraction | |
| 70 extern Monitor* Threads_lock; // a lock on the Threads table of active Java threads | |
| 71 // (also used by Safepoints too to block threads creation/destruction) | |
| 72 extern Monitor* CGC_lock; // used for coordination between | |
| 73 // fore- & background GC threads. | |
| 74 extern Mutex* STS_init_lock; // coordinate initialization of SuspendibleThreadSets. | |
| 75 extern Monitor* SLT_lock; // used in CMS GC for acquiring PLL | |
| 76 extern Monitor* iCMS_lock; // CMS incremental mode start/stop notification | |
| 77 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
|
78 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
|
79 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
|
80 extern Mutex* SATB_Q_FL_lock; // Protects SATB Q |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
55
diff
changeset
|
81 // buffer free list. |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
55
diff
changeset
|
82 extern Monitor* SATB_Q_CBL_mon; // Protects SATB Q |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
55
diff
changeset
|
83 // completed buffer queue. |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
55
diff
changeset
|
84 extern Mutex* Shared_SATB_Q_lock; // Lock protecting SATB |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
55
diff
changeset
|
85 // queue shared by |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
55
diff
changeset
|
86 // non-Java threads. |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
55
diff
changeset
|
87 |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
55
diff
changeset
|
88 extern Mutex* DirtyCardQ_FL_lock; // Protects dirty card Q |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
55
diff
changeset
|
89 // buffer free list. |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
55
diff
changeset
|
90 extern Monitor* DirtyCardQ_CBL_mon; // Protects dirty card Q |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
55
diff
changeset
|
91 // completed buffer queue. |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
55
diff
changeset
|
92 extern Mutex* Shared_DirtyCardQ_lock; // Lock protecting dirty card |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
55
diff
changeset
|
93 // queue shared by |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
55
diff
changeset
|
94 // non-Java threads. |
| 0 | 95 // (see option ExplicitGCInvokesConcurrent) |
| 96 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
|
97 extern Mutex* EvacFailureStack_lock; // guards the evac failure scan stack |
| 0 | 98 extern Mutex* Compile_lock; // a lock held when Compilation is updating code (used to block CodeCache traversal, CHA updates, etc) |
| 99 extern Monitor* MethodCompileQueue_lock; // a lock held when method compilations are enqueued, dequeued | |
| 100 extern Monitor* CompileThread_lock; // a lock held by compile threads during compilation system initialization | |
| 101 extern Mutex* CompileTaskAlloc_lock; // a lock held when CompileTasks are allocated | |
| 102 extern Mutex* CompileStatistics_lock; // a lock held when updating compilation statistics | |
| 103 extern Mutex* MultiArray_lock; // a lock used to guard allocation of multi-dim arrays | |
| 104 extern Monitor* Terminator_lock; // a lock used to guard termination of the vm | |
| 105 extern Monitor* BeforeExit_lock; // a lock used to guard cleanups and shutdown hooks | |
| 106 extern Monitor* Notify_lock; // a lock used to synchronize the start-up of the vm | |
| 107 extern Monitor* Interrupt_lock; // a lock used for condition variable mediated interrupt processing | |
| 108 extern Monitor* ProfileVM_lock; // a lock used for profiling the VMThread | |
| 109 extern Mutex* ProfilePrint_lock; // a lock used to serialize the printing of profiles | |
| 110 extern Mutex* ExceptionCache_lock; // a lock used to synchronize exception cache updates | |
| 111 extern Mutex* OsrList_lock; // a lock used to serialize access to OSR queues | |
| 112 | |
| 113 #ifndef PRODUCT | |
| 114 extern Mutex* FullGCALot_lock; // a lock to make FullGCALot MT safe | |
| 115 #endif | |
| 116 extern Mutex* Debug1_lock; // A bunch of pre-allocated locks that can be used for tracing | |
| 117 extern Mutex* Debug2_lock; // down synchronization related bugs! | |
| 118 extern Mutex* Debug3_lock; | |
| 119 | |
| 120 extern Mutex* RawMonitor_lock; | |
| 121 extern Mutex* PerfDataMemAlloc_lock; // a lock on the allocator for PerfData memory for performance data | |
| 122 extern Mutex* PerfDataManager_lock; // a long on access to PerfDataManager resources | |
| 123 extern Mutex* ParkerFreeList_lock; | |
| 124 extern Mutex* OopMapCacheAlloc_lock; // protects allocation of oop_map caches | |
| 125 | |
| 2152 | 126 extern Mutex* FreeList_lock; // protects the free region list during safepoints |
| 127 extern Monitor* SecondaryFreeList_lock; // protects the secondary free region list | |
| 128 extern Mutex* OldSets_lock; // protects the old region sets | |
|
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
55
diff
changeset
|
129 extern Mutex* MMUTracker_lock; // protects the MMU |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
55
diff
changeset
|
130 // tracker data structures |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
55
diff
changeset
|
131 extern Mutex* HotCardCache_lock; // protects the hot card cache |
|
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
55
diff
changeset
|
132 |
| 0 | 133 extern Mutex* Management_lock; // a lock used to serialize JVM management |
| 134 extern Monitor* LowMemory_lock; // a lock used for low memory detection | |
| 135 | |
| 136 // A MutexLocker provides mutual exclusion with respect to a given mutex | |
| 137 // for the scope which contains the locker. The lock is an OS lock, not | |
| 138 // an object lock, and the two do not interoperate. Do not use Mutex-based | |
| 139 // locks to lock on Java objects, because they will not be respected if a | |
| 140 // that object is locked using the Java locking mechanism. | |
| 141 // | |
| 142 // NOTE WELL!! | |
| 143 // | |
| 144 // See orderAccess.hpp. We assume throughout the VM that MutexLocker's | |
| 145 // and friends constructors do a fence, a lock and an acquire *in that | |
| 146 // order*. And that their destructors do a release and unlock, in *that* | |
| 147 // order. If their implementations change such that these assumptions | |
| 148 // are violated, a whole lot of code will break. | |
| 149 | |
| 150 // Print all mutexes/monitors that are currently owned by a thread; called | |
| 151 // by fatal error handler. | |
| 152 void print_owned_locks_on_error(outputStream* st); | |
| 153 | |
| 154 char *lock_name(Mutex *mutex); | |
| 155 | |
| 156 class MutexLocker: StackObj { | |
| 157 private: | |
| 158 Monitor * _mutex; | |
| 159 public: | |
| 160 MutexLocker(Monitor * mutex) { | |
| 161 assert(mutex->rank() != Mutex::special, | |
| 162 "Special ranked mutex should only use MutexLockerEx"); | |
| 163 _mutex = mutex; | |
| 164 _mutex->lock(); | |
| 165 } | |
| 166 | |
| 167 // Overloaded constructor passing current thread | |
| 168 MutexLocker(Monitor * mutex, Thread *thread) { | |
| 169 assert(mutex->rank() != Mutex::special, | |
| 170 "Special ranked mutex should only use MutexLockerEx"); | |
| 171 _mutex = mutex; | |
| 172 _mutex->lock(thread); | |
| 173 } | |
| 174 | |
| 175 ~MutexLocker() { | |
| 176 _mutex->unlock(); | |
| 177 } | |
| 178 | |
| 179 }; | |
| 180 | |
| 181 // for debugging: check that we're already owning this lock (or are at a safepoint) | |
| 182 #ifdef ASSERT | |
| 183 void assert_locked_or_safepoint(const Monitor * lock); | |
| 184 void assert_lock_strong(const Monitor * lock); | |
| 185 #else | |
| 186 #define assert_locked_or_safepoint(lock) | |
| 187 #define assert_lock_strong(lock) | |
| 188 #endif | |
| 189 | |
| 190 // A MutexLockerEx behaves like a MutexLocker when its constructor is | |
| 191 // called with a Mutex. Unlike a MutexLocker, its constructor can also be | |
| 192 // called with NULL, in which case the MutexLockerEx is a no-op. There | |
| 193 // is also a corresponding MutexUnlockerEx. We want to keep the | |
| 194 // basic MutexLocker as fast as possible. MutexLockerEx can also lock | |
| 195 // without safepoint check. | |
| 196 | |
| 197 class MutexLockerEx: public StackObj { | |
| 198 private: | |
| 199 Monitor * _mutex; | |
| 200 public: | |
| 201 MutexLockerEx(Monitor * mutex, bool no_safepoint_check = !Mutex::_no_safepoint_check_flag) { | |
| 202 _mutex = mutex; | |
| 203 if (_mutex != NULL) { | |
| 204 assert(mutex->rank() > Mutex::special || no_safepoint_check, | |
| 205 "Mutexes with rank special or lower should not do safepoint checks"); | |
| 206 if (no_safepoint_check) | |
| 207 _mutex->lock_without_safepoint_check(); | |
| 208 else | |
| 209 _mutex->lock(); | |
| 210 } | |
| 211 } | |
| 212 | |
| 213 ~MutexLockerEx() { | |
| 214 if (_mutex != NULL) { | |
| 215 _mutex->unlock(); | |
| 216 } | |
| 217 } | |
| 218 }; | |
| 219 | |
| 220 // A MonitorLockerEx is like a MutexLockerEx above, except it takes | |
| 221 // a possibly null Monitor, and allows wait/notify as well which are | |
| 222 // delegated to the underlying Monitor. | |
| 223 | |
| 224 class MonitorLockerEx: public MutexLockerEx { | |
| 225 private: | |
| 226 Monitor * _monitor; | |
| 227 public: | |
| 228 MonitorLockerEx(Monitor* monitor, | |
| 229 bool no_safepoint_check = !Mutex::_no_safepoint_check_flag): | |
| 230 MutexLockerEx(monitor, no_safepoint_check), | |
| 231 _monitor(monitor) { | |
| 232 // Superclass constructor did locking | |
| 233 } | |
| 234 | |
| 235 ~MonitorLockerEx() { | |
| 236 #ifdef ASSERT | |
| 237 if (_monitor != NULL) { | |
| 238 assert_lock_strong(_monitor); | |
| 239 } | |
| 240 #endif // ASSERT | |
| 241 // Superclass destructor will do unlocking | |
| 242 } | |
| 243 | |
| 244 bool wait(bool no_safepoint_check = !Mutex::_no_safepoint_check_flag, | |
| 245 long timeout = 0, | |
| 246 bool as_suspend_equivalent = !Mutex::_as_suspend_equivalent_flag) { | |
| 247 if (_monitor != NULL) { | |
| 248 return _monitor->wait(no_safepoint_check, timeout, as_suspend_equivalent); | |
| 249 } | |
| 250 return false; | |
| 251 } | |
| 252 | |
| 253 bool notify_all() { | |
| 254 if (_monitor != NULL) { | |
| 255 return _monitor->notify_all(); | |
| 256 } | |
| 257 return true; | |
| 258 } | |
| 259 | |
| 260 bool notify() { | |
| 261 if (_monitor != NULL) { | |
| 262 return _monitor->notify(); | |
| 263 } | |
| 264 return true; | |
| 265 } | |
| 266 }; | |
| 267 | |
| 268 | |
| 269 | |
| 270 // A GCMutexLocker is usually initialized with a mutex that is | |
| 271 // automatically acquired in order to do GC. The function that | |
| 272 // synchronizes using a GCMutexLocker may be called both during and between | |
| 273 // GC's. Thus, it must acquire the mutex if GC is not in progress, but not | |
| 274 // if GC is in progress (since the mutex is already held on its behalf.) | |
| 275 | |
| 276 class GCMutexLocker: public StackObj { | |
| 277 private: | |
| 278 Monitor * _mutex; | |
| 279 bool _locked; | |
| 280 public: | |
| 281 GCMutexLocker(Monitor * mutex); | |
| 282 ~GCMutexLocker() { if (_locked) _mutex->unlock(); } | |
| 283 }; | |
| 284 | |
| 285 | |
| 286 | |
| 287 // A MutexUnlocker temporarily exits a previously | |
| 288 // entered mutex for the scope which contains the unlocker. | |
| 289 | |
| 290 class MutexUnlocker: StackObj { | |
| 291 private: | |
| 292 Monitor * _mutex; | |
| 293 | |
| 294 public: | |
| 295 MutexUnlocker(Monitor * mutex) { | |
| 296 _mutex = mutex; | |
| 297 _mutex->unlock(); | |
| 298 } | |
| 299 | |
| 300 ~MutexUnlocker() { | |
| 301 _mutex->lock(); | |
| 302 } | |
| 303 }; | |
| 304 | |
| 305 // A MutexUnlockerEx temporarily exits a previously | |
| 306 // entered mutex for the scope which contains the unlocker. | |
| 307 | |
| 308 class MutexUnlockerEx: StackObj { | |
| 309 private: | |
| 310 Monitor * _mutex; | |
| 311 bool _no_safepoint_check; | |
| 312 | |
| 313 public: | |
| 314 MutexUnlockerEx(Monitor * mutex, bool no_safepoint_check = !Mutex::_no_safepoint_check_flag) { | |
| 315 _mutex = mutex; | |
| 316 _no_safepoint_check = no_safepoint_check; | |
| 317 _mutex->unlock(); | |
| 318 } | |
| 319 | |
| 320 ~MutexUnlockerEx() { | |
| 321 if (_no_safepoint_check == Mutex::_no_safepoint_check_flag) { | |
| 322 _mutex->lock_without_safepoint_check(); | |
| 323 } else { | |
| 324 _mutex->lock(); | |
| 325 } | |
| 326 } | |
| 327 }; | |
| 328 | |
| 329 #ifndef PRODUCT | |
| 330 // | |
| 331 // A special MutexLocker that allows: | |
| 332 // - reentrant locking | |
| 333 // - locking out of order | |
| 334 // | |
| 335 // Only too be used for verify code, where we can relaxe out dead-lock | |
| 336 // dection code a bit (unsafe, but probably ok). This code is NEVER to | |
| 337 // be included in a product version. | |
| 338 // | |
| 339 class VerifyMutexLocker: StackObj { | |
| 340 private: | |
| 341 Monitor * _mutex; | |
| 342 bool _reentrant; | |
| 343 public: | |
| 344 VerifyMutexLocker(Monitor * mutex) { | |
| 345 _mutex = mutex; | |
| 346 _reentrant = mutex->owned_by_self(); | |
| 347 if (!_reentrant) { | |
| 348 // We temp. diable strict safepoint checking, while we require the lock | |
| 349 FlagSetting fs(StrictSafepointChecks, false); | |
| 350 _mutex->lock(); | |
| 351 } | |
| 352 } | |
| 353 | |
| 354 ~VerifyMutexLocker() { | |
| 355 if (!_reentrant) { | |
| 356 _mutex->unlock(); | |
| 357 } | |
| 358 } | |
| 359 }; | |
| 360 | |
| 361 #endif | |
| 1972 | 362 |
| 363 #endif // SHARE_VM_RUNTIME_MUTEXLOCKER_HPP |