1 /*
2 * Copyright (c) 1998, 2018, Oracle and/or its affiliates. All rights reserved.
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 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
24
25 #ifndef SHARE_VM_RUNTIME_MUTEX_HPP
26 #define SHARE_VM_RUNTIME_MUTEX_HPP
27
28 #include "memory/allocation.hpp"
29 #include "runtime/os.hpp"
30 #include "utilities/histogram.hpp"
31
32 // The SplitWord construct allows us to colocate the contention queue
33 // (cxq) with the lock-byte. The queue elements are ParkEvents, which are
34 // always aligned on 256-byte addresses - the least significant byte of
35 // a ParkEvent is always 0. Colocating the lock-byte with the queue
36 // allows us to easily avoid what would otherwise be a race in lock()
37 // if we were to use two completely separate fields for the contention queue
38 // and the lock indicator. Specifically, colocation renders us immune
39 // from the race where a thread might enqueue itself in the lock() slow-path
40 // immediately after the lock holder drops the outer lock in the unlock()
41 // fast-path.
42 //
43 // Colocation allows us to use a fast-path unlock() form that uses
44 // A MEMBAR instead of a CAS. MEMBAR has lower local latency than CAS
45 // on many platforms.
46 //
47 // See:
48 // + http://blogs.sun.com/dave/entry/biased_locking_in_hotspot
49 // + http://blogs.sun.com/dave/resource/synchronization-public2.pdf
50 //
51 // Note that we're *not* using word-tearing the classic sense.
52 // The lock() fast-path will CAS the lockword and the unlock()
53 // fast-path will store into the lock-byte colocated within the lockword.
54 // We depend on the fact that all our reference platforms have
55 // coherent and atomic byte accesses. More precisely, byte stores
56 // interoperate in a safe, sane, and expected manner with respect to
57 // CAS, ST and LDs to the full-word containing the byte.
58 // If you're porting HotSpot to a platform where that isn't the case
59 // then you'll want change the unlock() fast path from:
60 // STB;MEMBAR #storeload; LDN
61 // to a full-word CAS of the lockword.
62
63
64 union SplitWord { // full-word with separately addressable LSB
65 volatile intptr_t FullWord ;
66 volatile void * Address ;
67 volatile jbyte Bytes [sizeof(intptr_t)] ;
68 } ;
69
70 class ParkEvent ;
71
72 // See orderAccess.hpp. We assume throughout the VM that mutex lock and
73 // try_lock do fence-lock-acquire, and that unlock does a release-unlock,
74 // *in that order*. If their implementations change such that these
75 // assumptions are violated, a whole lot of code will break.
76
77 // The default length of monitor name was originally chosen to be 64 to avoid
78 // false sharing. Now, PaddedMonitor is available for this purpose.
79 // TODO: Check if _name[MONITOR_NAME_LEN] should better get replaced by const char*.
80 static const int MONITOR_NAME_LEN = 64;
81
82 class Monitor : public CHeapObj<mtInternal> {
83
84 public:
85 // A special lock: Is a lock where you are guaranteed not to block while you are
86 // holding it, i.e., no vm operation can happen, taking other (blocking) locks, etc.
87 // The rank 'access' is similar to 'special' and has the same restrictions on usage.
88 // It is reserved for locks that may be required in order to perform memory accesses
89 // that require special barriers, e.g. SATB GC barriers, that in turn uses locks.
90 // Since memory accesses should be able to be performed pretty much anywhere
91 // in the code, that requires locks required for performing accesses being
92 // inherently a bit more special than even locks of the 'special' rank.
93 // NOTE: It is critical that the rank 'special' be the lowest (earliest)
94 // (except for "event" and "access") for the deadlock detection to work correctly.
95 // The rank native is only for use in Mutex's created by JVM_RawMonitorCreate,
96 // which being external to the VM are not subject to deadlock detection.
97 // The rank safepoint is used only for synchronization in reaching a
98 // safepoint and leaving a safepoint. It is only used for the Safepoint_lock
99 // currently. While at a safepoint no mutexes of rank safepoint are held
100 // by any thread.
101 // The rank named "leaf" is probably historical (and should
102 // be changed) -- mutexes of this rank aren't really leaf mutexes
103 // at all.
104 enum lock_types {
105 event,
106 access = event + 1,
107 special = access + 2,
108 suspend_resume = special + 1,
109 vmweak = suspend_resume + 2,
110 leaf = vmweak + 2,
111 safepoint = leaf + 10,
112 barrier = safepoint + 1,
113 nonleaf = barrier + 1,
114 max_nonleaf = nonleaf + 900,
115 native = max_nonleaf + 1
116 };
117
118 // The WaitSet and EntryList linked lists are composed of ParkEvents.
119 // I use ParkEvent instead of threads as ParkEvents are immortal and
120 // type-stable, meaning we can safely unpark() a possibly stale
121 // list element in the unlock()-path.
122
123 protected: // Monitor-Mutex metadata
124 SplitWord _LockWord ; // Contention queue (cxq) colocated with Lock-byte
125 Thread * volatile _owner; // The owner of the lock
126 // Consider sequestering _owner on its own $line
127 // to aid future synchronization mechanisms.
128 ParkEvent * volatile _EntryList ; // List of threads waiting for entry
129 ParkEvent * volatile _OnDeck ; // heir-presumptive
130 volatile intptr_t _WaitLock [1] ; // Protects _WaitSet
131 ParkEvent * volatile _WaitSet ; // LL of ParkEvents
132 volatile bool _snuck; // Used for sneaky locking (evil).
133 char _name[MONITOR_NAME_LEN]; // Name of mutex
134
135 // Debugging fields for naming, deadlock detection, etc. (some only used in debug mode)
136 #ifndef PRODUCT
137 bool _allow_vm_block;
138 debug_only(int _rank;) // rank (to avoid/detect potential deadlocks)
139 debug_only(Monitor * _next;) // Used by a Thread to link up owned locks
140 debug_only(Thread* _last_owner;) // the last thread to own the lock
141 debug_only(static bool contains(Monitor * locks, Monitor * lock);)
142 debug_only(static Monitor * get_least_ranked_lock(Monitor * locks);)
143 debug_only(Monitor * get_least_ranked_lock_besides_this(Monitor * locks);)
144 #endif
145
146 void set_owner_implementation(Thread* owner) PRODUCT_RETURN;
147 void check_prelock_state (Thread* thread, bool safepoint_check) PRODUCT_RETURN;
148 void check_block_state (Thread* thread) PRODUCT_RETURN;
149 void check_safepoint_state (Thread* Self, bool safepoint_check) PRODUCT_RETURN;
150
151 // platform-dependent support code can go here (in os_<os_family>.cpp)
152 public:
153 enum {
154 _no_safepoint_check_flag = true,
155 _allow_vm_block_flag = true,
156 _as_suspend_equivalent_flag = true
157 };
158
159 // Locks can be acquired with or without safepoint check.
160 // Monitor::lock and Monitor::lock_without_safepoint_check
161 // checks these flags when acquiring a lock to ensure
162 // consistent checking for each lock.
163 // A few existing locks will sometimes have a safepoint check and
164 // sometimes not, but these locks are set up in such a way to avoid deadlocks.
165 enum SafepointCheckRequired {
166 _safepoint_check_never, // Monitors with this value will cause errors
167 // when acquired with a safepoint check.
168 _safepoint_check_sometimes, // Certain locks are called sometimes with and
169 // sometimes without safepoint checks. These
170 // locks will not produce errors when locked.
171 _safepoint_check_always // Causes error if locked without a safepoint
172 // check.
173 };
174
175 NOT_PRODUCT(SafepointCheckRequired _safepoint_check_required;)
176
177 enum WaitResults {
178 CONDVAR_EVENT, // Wait returned because of condition variable notification
179 INTERRUPT_EVENT, // Wait returned because waiting thread was interrupted
180 NUMBER_WAIT_RESULTS
181 };
182
183 private:
184 int TrySpin (Thread * Self) ;
185 int TryLock () ;
186 int TryFast () ;
187 int AcquireOrPush (ParkEvent * ev) ;
188 void IUnlock (bool RelaxAssert) ;
189 void ILock (Thread * Self) ;
190 int IWait (Thread * Self, jlong timo);
191 int ILocked () ;
192
193 protected:
194 static void ClearMonitor (Monitor * m, const char* name = NULL) ;
195 Monitor() ;
196
197 public:
198 Monitor(int rank, const char *name, bool allow_vm_block = false,
199 SafepointCheckRequired safepoint_check_required = _safepoint_check_always);
200 ~Monitor();
201
202 // Wait until monitor is notified (or times out).
203 // Defaults are to make safepoint checks, wait time is forever (i.e.,
204 // zero), and not a suspend-equivalent condition. Returns true if wait
205 // times out; otherwise returns false.
206 bool wait(bool no_safepoint_check = !_no_safepoint_check_flag,
207 long timeout = 0,
208 bool as_suspend_equivalent = !_as_suspend_equivalent_flag);
209 bool notify();
210 bool notify_all();
211
212
213 void lock(); // prints out warning if VM thread blocks
214 void lock(Thread *thread); // overloaded with current thread
215 void unlock();
216 bool is_locked() const { return _owner != NULL; }
217
218 bool try_lock(); // Like lock(), but unblocking. It returns false instead
219
220 // Lock without safepoint check. Should ONLY be used by safepoint code and other code
221 // that is guaranteed not to block while running inside the VM.
222 void lock_without_safepoint_check();
223 void lock_without_safepoint_check (Thread * Self) ;
224
225 // Current owner - not not MT-safe. Can only be used to guarantee that
226 // the current running thread owns the lock
227 Thread* owner() const { return _owner; }
228 bool owned_by_self() const;
229
230 // Support for JVM_RawMonitorEnter & JVM_RawMonitorExit. These can be called by
231 // non-Java thread. (We should really have a RawMonitor abstraction)
232 void jvm_raw_lock();
233 void jvm_raw_unlock();
234 const char *name() const { return _name; }
235
236 void print_on_error(outputStream* st) const;
237
238 #ifndef PRODUCT
239 void print_on(outputStream* st) const;
240 void print() const { print_on(tty); }
241 debug_only(int rank() const { return _rank; })
242 bool allow_vm_block() { return _allow_vm_block; }
243
244 debug_only(Monitor *next() const { return _next; })
245 debug_only(void set_next(Monitor *next) { _next = next; })
246 #endif
247
248 void set_owner(Thread* owner) {
249 #ifndef PRODUCT
250 set_owner_implementation(owner);
251 debug_only(void verify_Monitor(Thread* thr));
252 #else
253 _owner = owner;
254 #endif
255 }
256
257 };
258
259 class PaddedMonitor : public Monitor {
260 enum {
261 CACHE_LINE_PADDING = (int)DEFAULT_CACHE_LINE_SIZE - (int)sizeof(Monitor),
262 PADDING_LEN = CACHE_LINE_PADDING > 0 ? CACHE_LINE_PADDING : 1
263 };
264 char _padding[PADDING_LEN];
265 public:
266 PaddedMonitor(int rank, const char *name, bool allow_vm_block = false,
267 SafepointCheckRequired safepoint_check_required = _safepoint_check_always) :
268 Monitor(rank, name, allow_vm_block, safepoint_check_required) {};
269 };
270
271 // Normally we'd expect Monitor to extend Mutex in the sense that a monitor
272 // constructed from pthreads primitives might extend a mutex by adding
273 // a condvar and some extra metadata. In fact this was the case until J2SE7.
274 //
275 // Currently, however, the base object is a monitor. Monitor contains all the
276 // logic for wait(), notify(), etc. Mutex extends monitor and restricts the
277 // visibility of wait(), notify(), and notify_all().
278 //
279 // Another viable alternative would have been to have Monitor extend Mutex and
280 // implement all the normal mutex and wait()-notify() logic in Mutex base class.
281 // The wait()-notify() facility would be exposed via special protected member functions
282 // (e.g., _Wait() and _Notify()) in Mutex. Monitor would extend Mutex and expose wait()
283 // as a call to _Wait(). That is, the public wait() would be a wrapper for the protected
284 // _Wait().
285 //
286 // An even better alternative is to simply eliminate Mutex:: and use Monitor:: instead.
287 // After all, monitors are sufficient for Java-level synchronization. At one point in time
288 // there may have been some benefit to having distinct mutexes and monitors, but that time
289 // has past.
290 //
291 // The Mutex/Monitor design parallels that of Java-monitors, being based on
292 // thread-specific park-unpark platform-specific primitives.
293
294
295 class Mutex : public Monitor { // degenerate Monitor
296 public:
297 Mutex(int rank, const char *name, bool allow_vm_block = false,
298 SafepointCheckRequired safepoint_check_required = _safepoint_check_always);
299 // default destructor
300 private:
301 bool notify () { ShouldNotReachHere(); return false; }
302 bool notify_all() { ShouldNotReachHere(); return false; }
303 bool wait (bool no_safepoint_check, long timeout, bool as_suspend_equivalent) {
304 ShouldNotReachHere() ;
305 return false ;
306 }
307 };
308
309 class PaddedMutex : public Mutex {
310 enum {
311 CACHE_LINE_PADDING = (int)DEFAULT_CACHE_LINE_SIZE - (int)sizeof(Mutex),
312 PADDING_LEN = CACHE_LINE_PADDING > 0 ? CACHE_LINE_PADDING : 1
313 };
314 char _padding[PADDING_LEN];
315 public:
316 PaddedMutex(int rank, const char *name, bool allow_vm_block = false,
317 SafepointCheckRequired safepoint_check_required = _safepoint_check_always) :
318 Mutex(rank, name, allow_vm_block, safepoint_check_required) {};
319 };
320
321 #endif // SHARE_VM_RUNTIME_MUTEX_HPP
--- EOF ---