blob: ba5e239d08e7fded5bef60ee466b213a209e78b0 [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001// SPDX-License-Identifier: GPL-2.0
Ingo Molnarc4e05112006-07-03 00:24:29 -07002/* kernel/rwsem.c: R/W semaphores, public implementation
3 *
4 * Written by David Howells (dhowells@redhat.com).
5 * Derived from asm-i386/semaphore.h
Waiman Long5dec94d2019-05-20 16:59:03 -04006 *
7 * Writer lock-stealing by Alex Shi <alex.shi@intel.com>
8 * and Michel Lespinasse <walken@google.com>
9 *
10 * Optimistic spinning by Tim Chen <tim.c.chen@intel.com>
11 * and Davidlohr Bueso <davidlohr@hp.com>. Based on mutexes.
12 *
Waiman Long4f23dbc2019-05-20 16:59:06 -040013 * Rwsem count bit fields re-definition and rwsem rearchitecture by
14 * Waiman Long <longman@redhat.com> and
15 * Peter Zijlstra <peterz@infradead.org>.
Ingo Molnarc4e05112006-07-03 00:24:29 -070016 */
17
18#include <linux/types.h>
19#include <linux/kernel.h>
Livio Soaresc7af77b2007-12-18 15:21:13 +010020#include <linux/sched.h>
Waiman Long5dec94d2019-05-20 16:59:03 -040021#include <linux/sched/rt.h>
22#include <linux/sched/task.h>
Ingo Molnarb17b0152017-02-08 18:51:35 +010023#include <linux/sched/debug.h>
Waiman Long5dec94d2019-05-20 16:59:03 -040024#include <linux/sched/wake_q.h>
25#include <linux/sched/signal.h>
Waiman Long7d43f1c2019-05-20 16:59:13 -040026#include <linux/sched/clock.h>
Paul Gortmaker9984de12011-05-23 14:51:41 -040027#include <linux/export.h>
Ingo Molnarc4e05112006-07-03 00:24:29 -070028#include <linux/rwsem.h>
Arun Sharma600634972011-07-26 16:09:06 -070029#include <linux/atomic.h>
Ingo Molnarc4e05112006-07-03 00:24:29 -070030
Waiman Long5dec94d2019-05-20 16:59:03 -040031#include "lock_events.h"
32
33/*
Waiman Long7d43f1c2019-05-20 16:59:13 -040034 * The least significant 3 bits of the owner value has the following
Waiman Long5dec94d2019-05-20 16:59:03 -040035 * meanings when set.
Waiman Long02f10822019-05-20 16:59:10 -040036 * - Bit 0: RWSEM_READER_OWNED - The rwsem is owned by readers
Waiman Long7d43f1c2019-05-20 16:59:13 -040037 * - Bit 1: RWSEM_RD_NONSPINNABLE - Readers cannot spin on this lock.
38 * - Bit 2: RWSEM_WR_NONSPINNABLE - Writers cannot spin on this lock.
Waiman Long5dec94d2019-05-20 16:59:03 -040039 *
Waiman Long7d43f1c2019-05-20 16:59:13 -040040 * When the rwsem is either owned by an anonymous writer, or it is
41 * reader-owned, but a spinning writer has timed out, both nonspinnable
42 * bits will be set to disable optimistic spinning by readers and writers.
43 * In the later case, the last unlocking reader should then check the
44 * writer nonspinnable bit and clear it only to give writers preference
45 * to acquire the lock via optimistic spinning, but not readers. Similar
46 * action is also done in the reader slowpath.
47
Waiman Long5dec94d2019-05-20 16:59:03 -040048 * When a writer acquires a rwsem, it puts its task_struct pointer
49 * into the owner field. It is cleared after an unlock.
50 *
51 * When a reader acquires a rwsem, it will also puts its task_struct
Waiman Long7d43f1c2019-05-20 16:59:13 -040052 * pointer into the owner field with the RWSEM_READER_OWNED bit set.
53 * On unlock, the owner field will largely be left untouched. So
54 * for a free or reader-owned rwsem, the owner value may contain
55 * information about the last reader that acquires the rwsem.
Waiman Long5dec94d2019-05-20 16:59:03 -040056 *
57 * That information may be helpful in debugging cases where the system
58 * seems to hang on a reader owned rwsem especially if only one reader
59 * is involved. Ideally we would like to track all the readers that own
60 * a rwsem, but the overhead is simply too big.
Waiman Long5cfd92e2019-05-20 16:59:14 -040061 *
62 * Reader optimistic spinning is helpful when the reader critical section
63 * is short and there aren't that many readers around. It makes readers
64 * relatively more preferred than writers. When a writer times out spinning
65 * on a reader-owned lock and set the nospinnable bits, there are two main
66 * reasons for that.
67 *
68 * 1) The reader critical section is long, perhaps the task sleeps after
69 * acquiring the read lock.
70 * 2) There are just too many readers contending the lock causing it to
71 * take a while to service all of them.
72 *
73 * In the former case, long reader critical section will impede the progress
74 * of writers which is usually more important for system performance. In
75 * the later case, reader optimistic spinning tends to make the reader
76 * groups that contain readers that acquire the lock together smaller
77 * leading to more of them. That may hurt performance in some cases. In
78 * other words, the setting of nonspinnable bits indicates that reader
79 * optimistic spinning may not be helpful for those workloads that cause
80 * it.
81 *
82 * Therefore, any writers that had observed the setting of the writer
83 * nonspinnable bit for a given rwsem after they fail to acquire the lock
84 * via optimistic spinning will set the reader nonspinnable bit once they
85 * acquire the write lock. Similarly, readers that observe the setting
86 * of reader nonspinnable bit at slowpath entry will set the reader
87 * nonspinnable bits when they acquire the read lock via the wakeup path.
88 *
89 * Once the reader nonspinnable bit is on, it will only be reset when
90 * a writer is able to acquire the rwsem in the fast path or somehow a
91 * reader or writer in the slowpath doesn't observe the nonspinable bit.
92 *
93 * This is to discourage reader optmistic spinning on that particular
94 * rwsem and make writers more preferred. This adaptive disabling of reader
95 * optimistic spinning will alleviate the negative side effect of this
96 * feature.
Waiman Long5dec94d2019-05-20 16:59:03 -040097 */
98#define RWSEM_READER_OWNED (1UL << 0)
Waiman Long7d43f1c2019-05-20 16:59:13 -040099#define RWSEM_RD_NONSPINNABLE (1UL << 1)
100#define RWSEM_WR_NONSPINNABLE (1UL << 2)
101#define RWSEM_NONSPINNABLE (RWSEM_RD_NONSPINNABLE | RWSEM_WR_NONSPINNABLE)
Waiman Long02f10822019-05-20 16:59:10 -0400102#define RWSEM_OWNER_FLAGS_MASK (RWSEM_READER_OWNED | RWSEM_NONSPINNABLE)
Waiman Long5dec94d2019-05-20 16:59:03 -0400103
104#ifdef CONFIG_DEBUG_RWSEMS
105# define DEBUG_RWSEMS_WARN_ON(c, sem) do { \
106 if (!debug_locks_silent && \
Davidlohr Buesofce45cd2019-07-28 21:47:35 -0700107 WARN_ONCE(c, "DEBUG_RWSEMS_WARN_ON(%s): count = 0x%lx, magic = 0x%lx, owner = 0x%lx, curr 0x%lx, list %sempty\n",\
Waiman Long5dec94d2019-05-20 16:59:03 -0400108 #c, atomic_long_read(&(sem)->count), \
Davidlohr Buesofce45cd2019-07-28 21:47:35 -0700109 (unsigned long) sem->magic, \
Waiman Long94a97172019-05-20 16:59:12 -0400110 atomic_long_read(&(sem)->owner), (long)current, \
Waiman Long5dec94d2019-05-20 16:59:03 -0400111 list_empty(&(sem)->wait_list) ? "" : "not ")) \
112 debug_locks_off(); \
113 } while (0)
114#else
115# define DEBUG_RWSEMS_WARN_ON(c, sem)
116#endif
117
118/*
Waiman Longa15ea1a2019-05-20 16:59:15 -0400119 * On 64-bit architectures, the bit definitions of the count are:
Waiman Long5dec94d2019-05-20 16:59:03 -0400120 *
Waiman Longa15ea1a2019-05-20 16:59:15 -0400121 * Bit 0 - writer locked bit
122 * Bit 1 - waiters present bit
123 * Bit 2 - lock handoff bit
124 * Bits 3-7 - reserved
125 * Bits 8-62 - 55-bit reader count
126 * Bit 63 - read fail bit
127 *
128 * On 32-bit architectures, the bit definitions of the count are:
129 *
130 * Bit 0 - writer locked bit
131 * Bit 1 - waiters present bit
132 * Bit 2 - lock handoff bit
133 * Bits 3-7 - reserved
134 * Bits 8-30 - 23-bit reader count
135 * Bit 31 - read fail bit
136 *
137 * It is not likely that the most significant bit (read fail bit) will ever
138 * be set. This guard bit is still checked anyway in the down_read() fastpath
139 * just in case we need to use up more of the reader bits for other purpose
140 * in the future.
Waiman Long5dec94d2019-05-20 16:59:03 -0400141 *
142 * atomic_long_fetch_add() is used to obtain reader lock, whereas
143 * atomic_long_cmpxchg() will be used to obtain writer lock.
Waiman Long4f23dbc2019-05-20 16:59:06 -0400144 *
145 * There are three places where the lock handoff bit may be set or cleared.
146 * 1) rwsem_mark_wake() for readers.
147 * 2) rwsem_try_write_lock() for writers.
148 * 3) Error path of rwsem_down_write_slowpath().
149 *
150 * For all the above cases, wait_lock will be held. A writer must also
151 * be the first one in the wait_list to be eligible for setting the handoff
152 * bit. So concurrent setting/clearing of handoff bit is not possible.
Waiman Long5dec94d2019-05-20 16:59:03 -0400153 */
154#define RWSEM_WRITER_LOCKED (1UL << 0)
155#define RWSEM_FLAG_WAITERS (1UL << 1)
Waiman Long4f23dbc2019-05-20 16:59:06 -0400156#define RWSEM_FLAG_HANDOFF (1UL << 2)
Waiman Longa15ea1a2019-05-20 16:59:15 -0400157#define RWSEM_FLAG_READFAIL (1UL << (BITS_PER_LONG - 1))
Waiman Long4f23dbc2019-05-20 16:59:06 -0400158
Waiman Long5dec94d2019-05-20 16:59:03 -0400159#define RWSEM_READER_SHIFT 8
160#define RWSEM_READER_BIAS (1UL << RWSEM_READER_SHIFT)
161#define RWSEM_READER_MASK (~(RWSEM_READER_BIAS - 1))
162#define RWSEM_WRITER_MASK RWSEM_WRITER_LOCKED
163#define RWSEM_LOCK_MASK (RWSEM_WRITER_MASK|RWSEM_READER_MASK)
Waiman Long4f23dbc2019-05-20 16:59:06 -0400164#define RWSEM_READ_FAILED_MASK (RWSEM_WRITER_MASK|RWSEM_FLAG_WAITERS|\
Waiman Longa15ea1a2019-05-20 16:59:15 -0400165 RWSEM_FLAG_HANDOFF|RWSEM_FLAG_READFAIL)
Waiman Long5dec94d2019-05-20 16:59:03 -0400166
167/*
168 * All writes to owner are protected by WRITE_ONCE() to make sure that
169 * store tearing can't happen as optimistic spinners may read and use
170 * the owner value concurrently without lock. Read from owner, however,
171 * may not need READ_ONCE() as long as the pointer value is only used
172 * for comparison and isn't being dereferenced.
173 */
174static inline void rwsem_set_owner(struct rw_semaphore *sem)
175{
Waiman Long94a97172019-05-20 16:59:12 -0400176 atomic_long_set(&sem->owner, (long)current);
Waiman Long5dec94d2019-05-20 16:59:03 -0400177}
178
179static inline void rwsem_clear_owner(struct rw_semaphore *sem)
180{
Waiman Long94a97172019-05-20 16:59:12 -0400181 atomic_long_set(&sem->owner, 0);
182}
183
184/*
185 * Test the flags in the owner field.
186 */
187static inline bool rwsem_test_oflags(struct rw_semaphore *sem, long flags)
188{
189 return atomic_long_read(&sem->owner) & flags;
Waiman Long5dec94d2019-05-20 16:59:03 -0400190}
191
192/*
193 * The task_struct pointer of the last owning reader will be left in
194 * the owner field.
195 *
196 * Note that the owner value just indicates the task has owned the rwsem
197 * previously, it may not be the real owner or one of the real owners
198 * anymore when that field is examined, so take it with a grain of salt.
Waiman Long5cfd92e2019-05-20 16:59:14 -0400199 *
200 * The reader non-spinnable bit is preserved.
Waiman Long5dec94d2019-05-20 16:59:03 -0400201 */
202static inline void __rwsem_set_reader_owned(struct rw_semaphore *sem,
203 struct task_struct *owner)
204{
Waiman Long5cfd92e2019-05-20 16:59:14 -0400205 unsigned long val = (unsigned long)owner | RWSEM_READER_OWNED |
206 (atomic_long_read(&sem->owner) & RWSEM_RD_NONSPINNABLE);
Waiman Long5dec94d2019-05-20 16:59:03 -0400207
Waiman Long94a97172019-05-20 16:59:12 -0400208 atomic_long_set(&sem->owner, val);
Waiman Long5dec94d2019-05-20 16:59:03 -0400209}
210
211static inline void rwsem_set_reader_owned(struct rw_semaphore *sem)
212{
213 __rwsem_set_reader_owned(sem, current);
214}
215
216/*
Waiman Long94a97172019-05-20 16:59:12 -0400217 * Return true if the rwsem is owned by a reader.
Waiman Long5dec94d2019-05-20 16:59:03 -0400218 */
Waiman Long94a97172019-05-20 16:59:12 -0400219static inline bool is_rwsem_reader_owned(struct rw_semaphore *sem)
Waiman Long5dec94d2019-05-20 16:59:03 -0400220{
Waiman Long94a97172019-05-20 16:59:12 -0400221#ifdef CONFIG_DEBUG_RWSEMS
222 /*
223 * Check the count to see if it is write-locked.
224 */
225 long count = atomic_long_read(&sem->count);
226
227 if (count & RWSEM_WRITER_MASK)
228 return false;
229#endif
230 return rwsem_test_oflags(sem, RWSEM_READER_OWNED);
Waiman Long5dec94d2019-05-20 16:59:03 -0400231}
232
233#ifdef CONFIG_DEBUG_RWSEMS
234/*
235 * With CONFIG_DEBUG_RWSEMS configured, it will make sure that if there
236 * is a task pointer in owner of a reader-owned rwsem, it will be the
237 * real owner or one of the real owners. The only exception is when the
238 * unlock is done by up_read_non_owner().
239 */
240static inline void rwsem_clear_reader_owned(struct rw_semaphore *sem)
241{
Waiman Long94a97172019-05-20 16:59:12 -0400242 unsigned long val = atomic_long_read(&sem->owner);
243
244 while ((val & ~RWSEM_OWNER_FLAGS_MASK) == (unsigned long)current) {
245 if (atomic_long_try_cmpxchg(&sem->owner, &val,
246 val & RWSEM_OWNER_FLAGS_MASK))
247 return;
248 }
Waiman Long5dec94d2019-05-20 16:59:03 -0400249}
250#else
251static inline void rwsem_clear_reader_owned(struct rw_semaphore *sem)
252{
253}
254#endif
255
256/*
Waiman Long7d43f1c2019-05-20 16:59:13 -0400257 * Set the RWSEM_NONSPINNABLE bits if the RWSEM_READER_OWNED flag
258 * remains set. Otherwise, the operation will be aborted.
259 */
260static inline void rwsem_set_nonspinnable(struct rw_semaphore *sem)
261{
262 unsigned long owner = atomic_long_read(&sem->owner);
263
264 do {
265 if (!(owner & RWSEM_READER_OWNED))
266 break;
267 if (owner & RWSEM_NONSPINNABLE)
268 break;
269 } while (!atomic_long_try_cmpxchg(&sem->owner, &owner,
270 owner | RWSEM_NONSPINNABLE));
271}
272
Waiman Longc8fe8b02020-11-20 23:14:12 -0500273static inline bool rwsem_read_trylock(struct rw_semaphore *sem, long *cntp)
Waiman Longa15ea1a2019-05-20 16:59:15 -0400274{
Waiman Longc8fe8b02020-11-20 23:14:12 -0500275 *cntp = atomic_long_add_return_acquire(RWSEM_READER_BIAS, &sem->count);
Peter Zijlstra33791162020-12-08 10:22:16 +0100276
Waiman Longc8fe8b02020-11-20 23:14:12 -0500277 if (WARN_ON_ONCE(*cntp < 0))
Waiman Longa15ea1a2019-05-20 16:59:15 -0400278 rwsem_set_nonspinnable(sem);
Peter Zijlstra33791162020-12-08 10:22:16 +0100279
Waiman Longc8fe8b02020-11-20 23:14:12 -0500280 if (!(*cntp & RWSEM_READ_FAILED_MASK)) {
Peter Zijlstra33791162020-12-08 10:22:16 +0100281 rwsem_set_reader_owned(sem);
282 return true;
283 }
284
285 return false;
Waiman Longa15ea1a2019-05-20 16:59:15 -0400286}
287
Peter Zijlstra285c61a2020-12-08 10:25:06 +0100288static inline bool rwsem_write_trylock(struct rw_semaphore *sem)
289{
290 long tmp = RWSEM_UNLOCKED_VALUE;
291
292 if (atomic_long_try_cmpxchg_acquire(&sem->count, &tmp, RWSEM_WRITER_LOCKED)) {
293 rwsem_set_owner(sem);
294 return true;
295 }
296
297 return false;
298}
299
Waiman Long7d43f1c2019-05-20 16:59:13 -0400300/*
Waiman Long94a97172019-05-20 16:59:12 -0400301 * Return just the real task structure pointer of the owner
302 */
303static inline struct task_struct *rwsem_owner(struct rw_semaphore *sem)
304{
305 return (struct task_struct *)
306 (atomic_long_read(&sem->owner) & ~RWSEM_OWNER_FLAGS_MASK);
307}
308
309/*
310 * Return the real task structure pointer of the owner and the embedded
311 * flags in the owner. pflags must be non-NULL.
312 */
313static inline struct task_struct *
314rwsem_owner_flags(struct rw_semaphore *sem, unsigned long *pflags)
315{
316 unsigned long owner = atomic_long_read(&sem->owner);
317
318 *pflags = owner & RWSEM_OWNER_FLAGS_MASK;
319 return (struct task_struct *)(owner & ~RWSEM_OWNER_FLAGS_MASK);
320}
321
322/*
Waiman Long5dec94d2019-05-20 16:59:03 -0400323 * Guide to the rw_semaphore's count field.
324 *
325 * When the RWSEM_WRITER_LOCKED bit in count is set, the lock is owned
326 * by a writer.
327 *
328 * The lock is owned by readers when
329 * (1) the RWSEM_WRITER_LOCKED isn't set in count,
330 * (2) some of the reader bits are set in count, and
331 * (3) the owner field has RWSEM_READ_OWNED bit set.
332 *
333 * Having some reader bits set is not enough to guarantee a readers owned
334 * lock as the readers may be in the process of backing out from the count
335 * and a writer has just released the lock. So another writer may steal
336 * the lock immediately after that.
337 */
338
339/*
340 * Initialize an rwsem:
341 */
342void __init_rwsem(struct rw_semaphore *sem, const char *name,
343 struct lock_class_key *key)
344{
345#ifdef CONFIG_DEBUG_LOCK_ALLOC
346 /*
347 * Make sure we are not reinitializing a held semaphore:
348 */
349 debug_check_no_locks_freed((void *)sem, sizeof(*sem));
Peter Zijlstrade8f5e42020-03-21 12:26:01 +0100350 lockdep_init_map_wait(&sem->dep_map, name, key, 0, LD_WAIT_SLEEP);
Waiman Long5dec94d2019-05-20 16:59:03 -0400351#endif
Davidlohr Buesofce45cd2019-07-28 21:47:35 -0700352#ifdef CONFIG_DEBUG_RWSEMS
353 sem->magic = sem;
354#endif
Waiman Long5dec94d2019-05-20 16:59:03 -0400355 atomic_long_set(&sem->count, RWSEM_UNLOCKED_VALUE);
356 raw_spin_lock_init(&sem->wait_lock);
357 INIT_LIST_HEAD(&sem->wait_list);
Waiman Long94a97172019-05-20 16:59:12 -0400358 atomic_long_set(&sem->owner, 0L);
Waiman Long5dec94d2019-05-20 16:59:03 -0400359#ifdef CONFIG_RWSEM_SPIN_ON_OWNER
360 osq_lock_init(&sem->osq);
361#endif
362}
Waiman Long5dec94d2019-05-20 16:59:03 -0400363EXPORT_SYMBOL(__init_rwsem);
364
365enum rwsem_waiter_type {
366 RWSEM_WAITING_FOR_WRITE,
367 RWSEM_WAITING_FOR_READ
368};
369
370struct rwsem_waiter {
371 struct list_head list;
372 struct task_struct *task;
373 enum rwsem_waiter_type type;
Waiman Long4f23dbc2019-05-20 16:59:06 -0400374 unsigned long timeout;
Waiman Long5cfd92e2019-05-20 16:59:14 -0400375 unsigned long last_rowner;
Waiman Long5dec94d2019-05-20 16:59:03 -0400376};
Waiman Long4f23dbc2019-05-20 16:59:06 -0400377#define rwsem_first_waiter(sem) \
378 list_first_entry(&sem->wait_list, struct rwsem_waiter, list)
Waiman Long5dec94d2019-05-20 16:59:03 -0400379
380enum rwsem_wake_type {
381 RWSEM_WAKE_ANY, /* Wake whatever's at head of wait list */
382 RWSEM_WAKE_READERS, /* Wake readers only */
383 RWSEM_WAKE_READ_OWNED /* Waker thread holds the read lock */
384};
385
Waiman Long4f23dbc2019-05-20 16:59:06 -0400386enum writer_wait_state {
387 WRITER_NOT_FIRST, /* Writer is not first in wait list */
388 WRITER_FIRST, /* Writer is first in wait list */
389 WRITER_HANDOFF /* Writer is first & handoff needed */
390};
391
392/*
393 * The typical HZ value is either 250 or 1000. So set the minimum waiting
394 * time to at least 4ms or 1 jiffy (if it is higher than 4ms) in the wait
395 * queue before initiating the handoff protocol.
396 */
397#define RWSEM_WAIT_TIMEOUT DIV_ROUND_UP(HZ, 250)
398
Waiman Long5dec94d2019-05-20 16:59:03 -0400399/*
Waiman Longd3681e22019-05-20 16:59:09 -0400400 * Magic number to batch-wakeup waiting readers, even when writers are
401 * also present in the queue. This both limits the amount of work the
402 * waking thread must do and also prevents any potential counter overflow,
403 * however unlikely.
404 */
405#define MAX_READERS_WAKEUP 0x100
406
407/*
Waiman Long5dec94d2019-05-20 16:59:03 -0400408 * handle the lock release when processes blocked on it that can now run
409 * - if we come here from up_xxxx(), then the RWSEM_FLAG_WAITERS bit must
410 * have been set.
411 * - there must be someone on the queue
412 * - the wait_lock must be held by the caller
413 * - tasks are marked for wakeup, the caller must later invoke wake_up_q()
414 * to actually wakeup the blocked task(s) and drop the reference count,
415 * preferably when the wait_lock is released
416 * - woken process blocks are discarded from the list after having task zeroed
417 * - writers are only marked woken if downgrading is false
418 */
Waiman Long6cef7ff62019-05-20 16:59:04 -0400419static void rwsem_mark_wake(struct rw_semaphore *sem,
420 enum rwsem_wake_type wake_type,
421 struct wake_q_head *wake_q)
Waiman Long5dec94d2019-05-20 16:59:03 -0400422{
423 struct rwsem_waiter *waiter, *tmp;
424 long oldcount, woken = 0, adjustment = 0;
425 struct list_head wlist;
426
Waiman Long4f23dbc2019-05-20 16:59:06 -0400427 lockdep_assert_held(&sem->wait_lock);
428
Waiman Long5dec94d2019-05-20 16:59:03 -0400429 /*
430 * Take a peek at the queue head waiter such that we can determine
431 * the wakeup(s) to perform.
432 */
Waiman Long4f23dbc2019-05-20 16:59:06 -0400433 waiter = rwsem_first_waiter(sem);
Waiman Long5dec94d2019-05-20 16:59:03 -0400434
435 if (waiter->type == RWSEM_WAITING_FOR_WRITE) {
436 if (wake_type == RWSEM_WAKE_ANY) {
437 /*
438 * Mark writer at the front of the queue for wakeup.
439 * Until the task is actually later awoken later by
440 * the caller, other writers are able to steal it.
441 * Readers, on the other hand, will block as they
442 * will notice the queued writer.
443 */
444 wake_q_add(wake_q, waiter->task);
445 lockevent_inc(rwsem_wake_writer);
446 }
447
448 return;
449 }
450
451 /*
Waiman Longa15ea1a2019-05-20 16:59:15 -0400452 * No reader wakeup if there are too many of them already.
453 */
454 if (unlikely(atomic_long_read(&sem->count) < 0))
455 return;
456
457 /*
Waiman Long5dec94d2019-05-20 16:59:03 -0400458 * Writers might steal the lock before we grant it to the next reader.
459 * We prefer to do the first reader grant before counting readers
460 * so we can bail out early if a writer stole the lock.
461 */
462 if (wake_type != RWSEM_WAKE_READ_OWNED) {
Waiman Long5cfd92e2019-05-20 16:59:14 -0400463 struct task_struct *owner;
464
Waiman Long5dec94d2019-05-20 16:59:03 -0400465 adjustment = RWSEM_READER_BIAS;
466 oldcount = atomic_long_fetch_add(adjustment, &sem->count);
467 if (unlikely(oldcount & RWSEM_WRITER_MASK)) {
Waiman Long4f23dbc2019-05-20 16:59:06 -0400468 /*
469 * When we've been waiting "too" long (for writers
470 * to give up the lock), request a HANDOFF to
471 * force the issue.
472 */
473 if (!(oldcount & RWSEM_FLAG_HANDOFF) &&
474 time_after(jiffies, waiter->timeout)) {
475 adjustment -= RWSEM_FLAG_HANDOFF;
476 lockevent_inc(rwsem_rlock_handoff);
477 }
478
479 atomic_long_add(-adjustment, &sem->count);
Waiman Long5dec94d2019-05-20 16:59:03 -0400480 return;
481 }
482 /*
483 * Set it to reader-owned to give spinners an early
484 * indication that readers now have the lock.
Waiman Long5cfd92e2019-05-20 16:59:14 -0400485 * The reader nonspinnable bit seen at slowpath entry of
486 * the reader is copied over.
Waiman Long5dec94d2019-05-20 16:59:03 -0400487 */
Waiman Long5cfd92e2019-05-20 16:59:14 -0400488 owner = waiter->task;
489 if (waiter->last_rowner & RWSEM_RD_NONSPINNABLE) {
490 owner = (void *)((unsigned long)owner | RWSEM_RD_NONSPINNABLE);
491 lockevent_inc(rwsem_opt_norspin);
492 }
493 __rwsem_set_reader_owned(sem, owner);
Waiman Long5dec94d2019-05-20 16:59:03 -0400494 }
495
496 /*
Waiman Longd3681e22019-05-20 16:59:09 -0400497 * Grant up to MAX_READERS_WAKEUP read locks to all the readers in the
498 * queue. We know that the woken will be at least 1 as we accounted
Waiman Long5dec94d2019-05-20 16:59:03 -0400499 * for above. Note we increment the 'active part' of the count by the
500 * number of readers before waking any processes up.
501 *
Waiman Longd3681e22019-05-20 16:59:09 -0400502 * This is an adaptation of the phase-fair R/W locks where at the
503 * reader phase (first waiter is a reader), all readers are eligible
504 * to acquire the lock at the same time irrespective of their order
505 * in the queue. The writers acquire the lock according to their
506 * order in the queue.
507 *
Waiman Long5dec94d2019-05-20 16:59:03 -0400508 * We have to do wakeup in 2 passes to prevent the possibility that
509 * the reader count may be decremented before it is incremented. It
510 * is because the to-be-woken waiter may not have slept yet. So it
511 * may see waiter->task got cleared, finish its critical section and
512 * do an unlock before the reader count increment.
513 *
514 * 1) Collect the read-waiters in a separate list, count them and
515 * fully increment the reader count in rwsem.
516 * 2) For each waiters in the new list, clear waiter->task and
517 * put them into wake_q to be woken up later.
518 */
Waiman Longd3681e22019-05-20 16:59:09 -0400519 INIT_LIST_HEAD(&wlist);
520 list_for_each_entry_safe(waiter, tmp, &sem->wait_list, list) {
Waiman Long5dec94d2019-05-20 16:59:03 -0400521 if (waiter->type == RWSEM_WAITING_FOR_WRITE)
Waiman Longd3681e22019-05-20 16:59:09 -0400522 continue;
Waiman Long5dec94d2019-05-20 16:59:03 -0400523
524 woken++;
Waiman Longd3681e22019-05-20 16:59:09 -0400525 list_move_tail(&waiter->list, &wlist);
526
527 /*
528 * Limit # of readers that can be woken up per wakeup call.
529 */
530 if (woken >= MAX_READERS_WAKEUP)
531 break;
Waiman Long5dec94d2019-05-20 16:59:03 -0400532 }
Waiman Long5dec94d2019-05-20 16:59:03 -0400533
534 adjustment = woken * RWSEM_READER_BIAS - adjustment;
535 lockevent_cond_inc(rwsem_wake_reader, woken);
536 if (list_empty(&sem->wait_list)) {
537 /* hit end of list above */
538 adjustment -= RWSEM_FLAG_WAITERS;
539 }
540
Waiman Long4f23dbc2019-05-20 16:59:06 -0400541 /*
542 * When we've woken a reader, we no longer need to force writers
543 * to give up the lock and we can clear HANDOFF.
544 */
545 if (woken && (atomic_long_read(&sem->count) & RWSEM_FLAG_HANDOFF))
546 adjustment -= RWSEM_FLAG_HANDOFF;
547
Waiman Long5dec94d2019-05-20 16:59:03 -0400548 if (adjustment)
549 atomic_long_add(adjustment, &sem->count);
550
551 /* 2nd pass */
552 list_for_each_entry_safe(waiter, tmp, &wlist, list) {
553 struct task_struct *tsk;
554
555 tsk = waiter->task;
556 get_task_struct(tsk);
557
558 /*
559 * Ensure calling get_task_struct() before setting the reader
Waiman Long6cef7ff62019-05-20 16:59:04 -0400560 * waiter to nil such that rwsem_down_read_slowpath() cannot
Waiman Long5dec94d2019-05-20 16:59:03 -0400561 * race with do_exit() by always holding a reference count
562 * to the task to wakeup.
563 */
564 smp_store_release(&waiter->task, NULL);
565 /*
566 * Ensure issuing the wakeup (either by us or someone else)
567 * after setting the reader waiter to nil.
568 */
569 wake_q_add_safe(wake_q, tsk);
570 }
571}
572
573/*
574 * This function must be called with the sem->wait_lock held to prevent
575 * race conditions between checking the rwsem wait list and setting the
576 * sem->count accordingly.
Waiman Long4f23dbc2019-05-20 16:59:06 -0400577 *
578 * If wstate is WRITER_HANDOFF, it will make sure that either the handoff
579 * bit is set or the lock is acquired with handoff bit cleared.
Waiman Long5dec94d2019-05-20 16:59:03 -0400580 */
Waiman Long00f3c5a2019-05-20 16:59:07 -0400581static inline bool rwsem_try_write_lock(struct rw_semaphore *sem,
Waiman Long4f23dbc2019-05-20 16:59:06 -0400582 enum writer_wait_state wstate)
Waiman Long5dec94d2019-05-20 16:59:03 -0400583{
Waiman Long00f3c5a2019-05-20 16:59:07 -0400584 long count, new;
Waiman Long5dec94d2019-05-20 16:59:03 -0400585
Waiman Long4f23dbc2019-05-20 16:59:06 -0400586 lockdep_assert_held(&sem->wait_lock);
587
Waiman Long00f3c5a2019-05-20 16:59:07 -0400588 count = atomic_long_read(&sem->count);
Waiman Long4f23dbc2019-05-20 16:59:06 -0400589 do {
590 bool has_handoff = !!(count & RWSEM_FLAG_HANDOFF);
591
592 if (has_handoff && wstate == WRITER_NOT_FIRST)
593 return false;
594
595 new = count;
596
597 if (count & RWSEM_LOCK_MASK) {
598 if (has_handoff || (wstate != WRITER_HANDOFF))
599 return false;
600
601 new |= RWSEM_FLAG_HANDOFF;
602 } else {
603 new |= RWSEM_WRITER_LOCKED;
604 new &= ~RWSEM_FLAG_HANDOFF;
605
606 if (list_is_singular(&sem->wait_list))
607 new &= ~RWSEM_FLAG_WAITERS;
608 }
609 } while (!atomic_long_try_cmpxchg_acquire(&sem->count, &count, new));
610
611 /*
612 * We have either acquired the lock with handoff bit cleared or
613 * set the handoff bit.
614 */
615 if (new & RWSEM_FLAG_HANDOFF)
Waiman Long5dec94d2019-05-20 16:59:03 -0400616 return false;
617
Waiman Long4f23dbc2019-05-20 16:59:06 -0400618 rwsem_set_owner(sem);
619 return true;
Waiman Long5dec94d2019-05-20 16:59:03 -0400620}
621
622#ifdef CONFIG_RWSEM_SPIN_ON_OWNER
623/*
Waiman Longcf694822019-05-20 16:59:11 -0400624 * Try to acquire read lock before the reader is put on wait queue.
625 * Lock acquisition isn't allowed if the rwsem is locked or a writer handoff
626 * is ongoing.
627 */
628static inline bool rwsem_try_read_lock_unqueued(struct rw_semaphore *sem)
629{
630 long count = atomic_long_read(&sem->count);
631
632 if (count & (RWSEM_WRITER_MASK | RWSEM_FLAG_HANDOFF))
633 return false;
634
635 count = atomic_long_fetch_add_acquire(RWSEM_READER_BIAS, &sem->count);
636 if (!(count & (RWSEM_WRITER_MASK | RWSEM_FLAG_HANDOFF))) {
637 rwsem_set_reader_owned(sem);
638 lockevent_inc(rwsem_opt_rlock);
639 return true;
640 }
641
642 /* Back out the change */
643 atomic_long_add(-RWSEM_READER_BIAS, &sem->count);
644 return false;
645}
646
647/*
Waiman Long5dec94d2019-05-20 16:59:03 -0400648 * Try to acquire write lock before the writer has been put on wait queue.
649 */
650static inline bool rwsem_try_write_lock_unqueued(struct rw_semaphore *sem)
651{
652 long count = atomic_long_read(&sem->count);
653
Waiman Long4f23dbc2019-05-20 16:59:06 -0400654 while (!(count & (RWSEM_LOCK_MASK|RWSEM_FLAG_HANDOFF))) {
Waiman Long5dec94d2019-05-20 16:59:03 -0400655 if (atomic_long_try_cmpxchg_acquire(&sem->count, &count,
Waiman Long4f23dbc2019-05-20 16:59:06 -0400656 count | RWSEM_WRITER_LOCKED)) {
Waiman Long5dec94d2019-05-20 16:59:03 -0400657 rwsem_set_owner(sem);
658 lockevent_inc(rwsem_opt_wlock);
659 return true;
660 }
661 }
662 return false;
663}
664
665static inline bool owner_on_cpu(struct task_struct *owner)
666{
667 /*
668 * As lock holder preemption issue, we both skip spinning if
669 * task is not on cpu or its cpu is preempted
670 */
671 return owner->on_cpu && !vcpu_is_preempted(task_cpu(owner));
672}
673
Waiman Long7d43f1c2019-05-20 16:59:13 -0400674static inline bool rwsem_can_spin_on_owner(struct rw_semaphore *sem,
675 unsigned long nonspinnable)
Waiman Long5dec94d2019-05-20 16:59:03 -0400676{
677 struct task_struct *owner;
Waiman Long94a97172019-05-20 16:59:12 -0400678 unsigned long flags;
Waiman Long5dec94d2019-05-20 16:59:03 -0400679 bool ret = true;
680
Waiman Longcf694822019-05-20 16:59:11 -0400681 if (need_resched()) {
682 lockevent_inc(rwsem_opt_fail);
Waiman Long5dec94d2019-05-20 16:59:03 -0400683 return false;
Waiman Longcf694822019-05-20 16:59:11 -0400684 }
Waiman Long5dec94d2019-05-20 16:59:03 -0400685
Waiman Longcf694822019-05-20 16:59:11 -0400686 preempt_disable();
Waiman Long5dec94d2019-05-20 16:59:03 -0400687 rcu_read_lock();
Waiman Long94a97172019-05-20 16:59:12 -0400688 owner = rwsem_owner_flags(sem, &flags);
Waiman Long78134302019-07-20 11:04:10 -0400689 /*
690 * Don't check the read-owner as the entry may be stale.
691 */
692 if ((flags & nonspinnable) ||
693 (owner && !(flags & RWSEM_READER_OWNED) && !owner_on_cpu(owner)))
Waiman Long94a97172019-05-20 16:59:12 -0400694 ret = false;
Waiman Long5dec94d2019-05-20 16:59:03 -0400695 rcu_read_unlock();
Waiman Longcf694822019-05-20 16:59:11 -0400696 preempt_enable();
697
698 lockevent_cond_inc(rwsem_opt_fail, !ret);
Waiman Long5dec94d2019-05-20 16:59:03 -0400699 return ret;
700}
701
702/*
Waiman Long3f6d5172019-05-20 16:59:05 -0400703 * The rwsem_spin_on_owner() function returns the folowing 4 values
704 * depending on the lock owner state.
705 * OWNER_NULL : owner is currently NULL
706 * OWNER_WRITER: when owner changes and is a writer
707 * OWNER_READER: when owner changes and the new owner may be a reader.
708 * OWNER_NONSPINNABLE:
709 * when optimistic spinning has to stop because either the
710 * owner stops running, is unknown, or its timeslice has
711 * been used up.
Waiman Long5dec94d2019-05-20 16:59:03 -0400712 */
Waiman Long3f6d5172019-05-20 16:59:05 -0400713enum owner_state {
714 OWNER_NULL = 1 << 0,
715 OWNER_WRITER = 1 << 1,
716 OWNER_READER = 1 << 2,
717 OWNER_NONSPINNABLE = 1 << 3,
718};
Waiman Long7d43f1c2019-05-20 16:59:13 -0400719#define OWNER_SPINNABLE (OWNER_NULL | OWNER_WRITER | OWNER_READER)
Waiman Long5dec94d2019-05-20 16:59:03 -0400720
Waiman Long94a97172019-05-20 16:59:12 -0400721static inline enum owner_state
Waiman Long7d43f1c2019-05-20 16:59:13 -0400722rwsem_owner_state(struct task_struct *owner, unsigned long flags, unsigned long nonspinnable)
Waiman Long3f6d5172019-05-20 16:59:05 -0400723{
Waiman Long7d43f1c2019-05-20 16:59:13 -0400724 if (flags & nonspinnable)
Waiman Long3f6d5172019-05-20 16:59:05 -0400725 return OWNER_NONSPINNABLE;
726
Waiman Long94a97172019-05-20 16:59:12 -0400727 if (flags & RWSEM_READER_OWNED)
Waiman Long3f6d5172019-05-20 16:59:05 -0400728 return OWNER_READER;
729
Waiman Long94a97172019-05-20 16:59:12 -0400730 return owner ? OWNER_WRITER : OWNER_NULL;
Waiman Long3f6d5172019-05-20 16:59:05 -0400731}
732
Waiman Long7d43f1c2019-05-20 16:59:13 -0400733static noinline enum owner_state
734rwsem_spin_on_owner(struct rw_semaphore *sem, unsigned long nonspinnable)
Waiman Long3f6d5172019-05-20 16:59:05 -0400735{
Waiman Long94a97172019-05-20 16:59:12 -0400736 struct task_struct *new, *owner;
737 unsigned long flags, new_flags;
738 enum owner_state state;
Waiman Long3f6d5172019-05-20 16:59:05 -0400739
Waiman Long94a97172019-05-20 16:59:12 -0400740 owner = rwsem_owner_flags(sem, &flags);
Waiman Long7d43f1c2019-05-20 16:59:13 -0400741 state = rwsem_owner_state(owner, flags, nonspinnable);
Waiman Long3f6d5172019-05-20 16:59:05 -0400742 if (state != OWNER_WRITER)
743 return state;
Waiman Long5dec94d2019-05-20 16:59:03 -0400744
745 rcu_read_lock();
Waiman Long3f6d5172019-05-20 16:59:05 -0400746 for (;;) {
Waiman Long91d2a812019-06-25 10:39:13 -0400747 /*
748 * When a waiting writer set the handoff flag, it may spin
749 * on the owner as well. Once that writer acquires the lock,
750 * we can spin on it. So we don't need to quit even when the
751 * handoff bit is set.
752 */
Waiman Long94a97172019-05-20 16:59:12 -0400753 new = rwsem_owner_flags(sem, &new_flags);
754 if ((new != owner) || (new_flags != flags)) {
Waiman Long7d43f1c2019-05-20 16:59:13 -0400755 state = rwsem_owner_state(new, new_flags, nonspinnable);
Waiman Long3f6d5172019-05-20 16:59:05 -0400756 break;
757 }
758
Waiman Long5dec94d2019-05-20 16:59:03 -0400759 /*
760 * Ensure we emit the owner->on_cpu, dereference _after_
761 * checking sem->owner still matches owner, if that fails,
762 * owner might point to free()d memory, if it still matches,
763 * the rcu_read_lock() ensures the memory stays valid.
764 */
765 barrier();
766
Waiman Long5dec94d2019-05-20 16:59:03 -0400767 if (need_resched() || !owner_on_cpu(owner)) {
Waiman Long3f6d5172019-05-20 16:59:05 -0400768 state = OWNER_NONSPINNABLE;
769 break;
Waiman Long5dec94d2019-05-20 16:59:03 -0400770 }
771
772 cpu_relax();
773 }
774 rcu_read_unlock();
775
Waiman Long3f6d5172019-05-20 16:59:05 -0400776 return state;
Waiman Long5dec94d2019-05-20 16:59:03 -0400777}
778
Waiman Long7d43f1c2019-05-20 16:59:13 -0400779/*
780 * Calculate reader-owned rwsem spinning threshold for writer
781 *
782 * The more readers own the rwsem, the longer it will take for them to
783 * wind down and free the rwsem. So the empirical formula used to
784 * determine the actual spinning time limit here is:
785 *
786 * Spinning threshold = (10 + nr_readers/2)us
787 *
788 * The limit is capped to a maximum of 25us (30 readers). This is just
789 * a heuristic and is subjected to change in the future.
790 */
791static inline u64 rwsem_rspin_threshold(struct rw_semaphore *sem)
792{
793 long count = atomic_long_read(&sem->count);
794 int readers = count >> RWSEM_READER_SHIFT;
795 u64 delta;
796
797 if (readers > 30)
798 readers = 30;
799 delta = (20 + readers) * NSEC_PER_USEC / 2;
800
801 return sched_clock() + delta;
802}
803
Waiman Longcf694822019-05-20 16:59:11 -0400804static bool rwsem_optimistic_spin(struct rw_semaphore *sem, bool wlock)
Waiman Long5dec94d2019-05-20 16:59:03 -0400805{
806 bool taken = false;
Waiman Long990fa732019-05-20 16:59:08 -0400807 int prev_owner_state = OWNER_NULL;
Waiman Long7d43f1c2019-05-20 16:59:13 -0400808 int loop = 0;
809 u64 rspin_threshold = 0;
810 unsigned long nonspinnable = wlock ? RWSEM_WR_NONSPINNABLE
811 : RWSEM_RD_NONSPINNABLE;
Waiman Long5dec94d2019-05-20 16:59:03 -0400812
813 preempt_disable();
814
815 /* sem->wait_lock should not be held when doing optimistic spinning */
Waiman Long5dec94d2019-05-20 16:59:03 -0400816 if (!osq_lock(&sem->osq))
817 goto done;
818
819 /*
820 * Optimistically spin on the owner field and attempt to acquire the
821 * lock whenever the owner changes. Spinning will be stopped when:
822 * 1) the owning writer isn't running; or
Waiman Long7d43f1c2019-05-20 16:59:13 -0400823 * 2) readers own the lock and spinning time has exceeded limit.
Waiman Long5dec94d2019-05-20 16:59:03 -0400824 */
Waiman Long990fa732019-05-20 16:59:08 -0400825 for (;;) {
Waiman Long7d43f1c2019-05-20 16:59:13 -0400826 enum owner_state owner_state;
Waiman Long990fa732019-05-20 16:59:08 -0400827
Waiman Long7d43f1c2019-05-20 16:59:13 -0400828 owner_state = rwsem_spin_on_owner(sem, nonspinnable);
Waiman Long990fa732019-05-20 16:59:08 -0400829 if (!(owner_state & OWNER_SPINNABLE))
830 break;
831
Waiman Long5dec94d2019-05-20 16:59:03 -0400832 /*
833 * Try to acquire the lock
834 */
Waiman Longcf694822019-05-20 16:59:11 -0400835 taken = wlock ? rwsem_try_write_lock_unqueued(sem)
836 : rwsem_try_read_lock_unqueued(sem);
837
838 if (taken)
Waiman Long5dec94d2019-05-20 16:59:03 -0400839 break;
Waiman Long5dec94d2019-05-20 16:59:03 -0400840
841 /*
Waiman Long7d43f1c2019-05-20 16:59:13 -0400842 * Time-based reader-owned rwsem optimistic spinning
843 */
844 if (wlock && (owner_state == OWNER_READER)) {
845 /*
846 * Re-initialize rspin_threshold every time when
847 * the owner state changes from non-reader to reader.
848 * This allows a writer to steal the lock in between
849 * 2 reader phases and have the threshold reset at
850 * the beginning of the 2nd reader phase.
851 */
852 if (prev_owner_state != OWNER_READER) {
853 if (rwsem_test_oflags(sem, nonspinnable))
854 break;
855 rspin_threshold = rwsem_rspin_threshold(sem);
856 loop = 0;
857 }
858
859 /*
860 * Check time threshold once every 16 iterations to
861 * avoid calling sched_clock() too frequently so
862 * as to reduce the average latency between the times
863 * when the lock becomes free and when the spinner
864 * is ready to do a trylock.
865 */
866 else if (!(++loop & 0xf) && (sched_clock() > rspin_threshold)) {
867 rwsem_set_nonspinnable(sem);
868 lockevent_inc(rwsem_opt_nospin);
869 break;
870 }
871 }
872
873 /*
Waiman Long990fa732019-05-20 16:59:08 -0400874 * An RT task cannot do optimistic spinning if it cannot
875 * be sure the lock holder is running or live-lock may
876 * happen if the current task and the lock holder happen
877 * to run in the same CPU. However, aborting optimistic
878 * spinning while a NULL owner is detected may miss some
879 * opportunity where spinning can continue without causing
880 * problem.
881 *
882 * There are 2 possible cases where an RT task may be able
883 * to continue spinning.
884 *
885 * 1) The lock owner is in the process of releasing the
886 * lock, sem->owner is cleared but the lock has not
887 * been released yet.
888 * 2) The lock was free and owner cleared, but another
889 * task just comes in and acquire the lock before
890 * we try to get it. The new owner may be a spinnable
891 * writer.
892 *
893 * To take advantage of two scenarios listed agove, the RT
894 * task is made to retry one more time to see if it can
895 * acquire the lock or continue spinning on the new owning
896 * writer. Of course, if the time lag is long enough or the
897 * new owner is not a writer or spinnable, the RT task will
898 * quit spinning.
899 *
900 * If the owner is a writer, the need_resched() check is
901 * done inside rwsem_spin_on_owner(). If the owner is not
902 * a writer, need_resched() check needs to be done here.
Waiman Long5dec94d2019-05-20 16:59:03 -0400903 */
Waiman Long990fa732019-05-20 16:59:08 -0400904 if (owner_state != OWNER_WRITER) {
905 if (need_resched())
906 break;
907 if (rt_task(current) &&
908 (prev_owner_state != OWNER_WRITER))
909 break;
910 }
911 prev_owner_state = owner_state;
Waiman Long5dec94d2019-05-20 16:59:03 -0400912
913 /*
914 * The cpu_relax() call is a compiler barrier which forces
915 * everything in this loop to be re-loaded. We don't need
916 * memory barriers as we'll eventually observe the right
917 * values at the cost of a few extra spins.
918 */
919 cpu_relax();
920 }
921 osq_unlock(&sem->osq);
922done:
923 preempt_enable();
924 lockevent_cond_inc(rwsem_opt_fail, !taken);
925 return taken;
926}
Waiman Long7d43f1c2019-05-20 16:59:13 -0400927
928/*
929 * Clear the owner's RWSEM_WR_NONSPINNABLE bit if it is set. This should
930 * only be called when the reader count reaches 0.
931 *
932 * This give writers better chance to acquire the rwsem first before
933 * readers when the rwsem was being held by readers for a relatively long
934 * period of time. Race can happen that an optimistic spinner may have
935 * just stolen the rwsem and set the owner, but just clearing the
936 * RWSEM_WR_NONSPINNABLE bit will do no harm anyway.
937 */
938static inline void clear_wr_nonspinnable(struct rw_semaphore *sem)
939{
940 if (rwsem_test_oflags(sem, RWSEM_WR_NONSPINNABLE))
941 atomic_long_andnot(RWSEM_WR_NONSPINNABLE, &sem->owner);
942}
Waiman Long5cfd92e2019-05-20 16:59:14 -0400943
944/*
945 * This function is called when the reader fails to acquire the lock via
946 * optimistic spinning. In this case we will still attempt to do a trylock
947 * when comparing the rwsem state right now with the state when entering
948 * the slowpath indicates that the reader is still in a valid reader phase.
949 * This happens when the following conditions are true:
950 *
951 * 1) The lock is currently reader owned, and
952 * 2) The lock is previously not reader-owned or the last read owner changes.
953 *
954 * In the former case, we have transitioned from a writer phase to a
955 * reader-phase while spinning. In the latter case, it means the reader
956 * phase hasn't ended when we entered the optimistic spinning loop. In
957 * both cases, the reader is eligible to acquire the lock. This is the
958 * secondary path where a read lock is acquired optimistically.
959 *
960 * The reader non-spinnable bit wasn't set at time of entry or it will
961 * not be here at all.
962 */
963static inline bool rwsem_reader_phase_trylock(struct rw_semaphore *sem,
964 unsigned long last_rowner)
965{
966 unsigned long owner = atomic_long_read(&sem->owner);
967
968 if (!(owner & RWSEM_READER_OWNED))
969 return false;
970
971 if (((owner ^ last_rowner) & ~RWSEM_OWNER_FLAGS_MASK) &&
972 rwsem_try_read_lock_unqueued(sem)) {
973 lockevent_inc(rwsem_opt_rlock2);
974 lockevent_add(rwsem_opt_fail, -1);
975 return true;
976 }
977 return false;
978}
Waiman Long1a728df2020-11-20 23:14:14 -0500979
980static inline bool rwsem_no_spinners(struct rw_semaphore *sem)
981{
982 return !osq_is_locked(&sem->osq);
983}
984
Waiman Long5dec94d2019-05-20 16:59:03 -0400985#else
Waiman Long7d43f1c2019-05-20 16:59:13 -0400986static inline bool rwsem_can_spin_on_owner(struct rw_semaphore *sem,
987 unsigned long nonspinnable)
Waiman Longcf694822019-05-20 16:59:11 -0400988{
989 return false;
990}
991
992static inline bool rwsem_optimistic_spin(struct rw_semaphore *sem, bool wlock)
Waiman Long5dec94d2019-05-20 16:59:03 -0400993{
994 return false;
995}
Waiman Long7d43f1c2019-05-20 16:59:13 -0400996
997static inline void clear_wr_nonspinnable(struct rw_semaphore *sem) { }
Waiman Long5cfd92e2019-05-20 16:59:14 -0400998
999static inline bool rwsem_reader_phase_trylock(struct rw_semaphore *sem,
1000 unsigned long last_rowner)
1001{
1002 return false;
1003}
Waiman Long91d2a812019-06-25 10:39:13 -04001004
Waiman Long1a728df2020-11-20 23:14:14 -05001005static inline bool rwsem_no_spinners(sem)
1006{
1007 return false;
1008}
1009
Waiman Long91d2a812019-06-25 10:39:13 -04001010static inline int
1011rwsem_spin_on_owner(struct rw_semaphore *sem, unsigned long nonspinnable)
1012{
1013 return 0;
1014}
1015#define OWNER_NULL 1
Waiman Long5dec94d2019-05-20 16:59:03 -04001016#endif
1017
1018/*
1019 * Wait for the read lock to be granted
1020 */
Waiman Long6cef7ff62019-05-20 16:59:04 -04001021static struct rw_semaphore __sched *
Waiman Longc8fe8b02020-11-20 23:14:12 -05001022rwsem_down_read_slowpath(struct rw_semaphore *sem, long count, int state)
Waiman Long5dec94d2019-05-20 16:59:03 -04001023{
Waiman Long2f06f702020-11-20 23:14:13 -05001024 long owner, adjustment = -RWSEM_READER_BIAS;
1025 long rcnt = (count >> RWSEM_READER_SHIFT);
Waiman Long5dec94d2019-05-20 16:59:03 -04001026 struct rwsem_waiter waiter;
1027 DEFINE_WAKE_Q(wake_q);
Waiman Longa15ea1a2019-05-20 16:59:15 -04001028 bool wake = false;
Waiman Long5dec94d2019-05-20 16:59:03 -04001029
Waiman Long5cfd92e2019-05-20 16:59:14 -04001030 /*
Waiman Long2f06f702020-11-20 23:14:13 -05001031 * To prevent a constant stream of readers from starving a sleeping
1032 * waiter, don't attempt optimistic spinning if the lock is currently
1033 * owned by readers.
1034 */
1035 owner = atomic_long_read(&sem->owner);
1036 if ((owner & RWSEM_READER_OWNED) && (rcnt > 1) &&
1037 !(count & RWSEM_WRITER_LOCKED))
1038 goto queue;
1039
1040 /*
Waiman Long1a728df2020-11-20 23:14:14 -05001041 * Reader optimistic lock stealing
1042 *
1043 * We can take the read lock directly without doing
1044 * rwsem_optimistic_spin() if the conditions are right.
1045 * Also wake up other readers if it is the first reader.
1046 */
1047 if (!(count & (RWSEM_WRITER_LOCKED | RWSEM_FLAG_HANDOFF)) &&
1048 rwsem_no_spinners(sem)) {
1049 rwsem_set_reader_owned(sem);
1050 lockevent_inc(rwsem_rlock_steal);
1051 if (rcnt == 1)
1052 goto wake_readers;
1053 return sem;
1054 }
1055
1056 /*
Waiman Long5cfd92e2019-05-20 16:59:14 -04001057 * Save the current read-owner of rwsem, if available, and the
1058 * reader nonspinnable bit.
1059 */
Waiman Long2f06f702020-11-20 23:14:13 -05001060 waiter.last_rowner = owner;
Waiman Long5cfd92e2019-05-20 16:59:14 -04001061 if (!(waiter.last_rowner & RWSEM_READER_OWNED))
1062 waiter.last_rowner &= RWSEM_RD_NONSPINNABLE;
1063
Waiman Long7d43f1c2019-05-20 16:59:13 -04001064 if (!rwsem_can_spin_on_owner(sem, RWSEM_RD_NONSPINNABLE))
Waiman Longcf694822019-05-20 16:59:11 -04001065 goto queue;
1066
1067 /*
1068 * Undo read bias from down_read() and do optimistic spinning.
1069 */
1070 atomic_long_add(-RWSEM_READER_BIAS, &sem->count);
1071 adjustment = 0;
1072 if (rwsem_optimistic_spin(sem, false)) {
Peter Zijlstra6ffddfb2019-07-18 15:08:53 +02001073 /* rwsem_optimistic_spin() implies ACQUIRE on success */
Waiman Longcf694822019-05-20 16:59:11 -04001074 /*
1075 * Wake up other readers in the wait list if the front
1076 * waiter is a reader.
1077 */
Waiman Long1a728df2020-11-20 23:14:14 -05001078wake_readers:
Waiman Longcf694822019-05-20 16:59:11 -04001079 if ((atomic_long_read(&sem->count) & RWSEM_FLAG_WAITERS)) {
1080 raw_spin_lock_irq(&sem->wait_lock);
1081 if (!list_empty(&sem->wait_list))
1082 rwsem_mark_wake(sem, RWSEM_WAKE_READ_OWNED,
1083 &wake_q);
1084 raw_spin_unlock_irq(&sem->wait_lock);
1085 wake_up_q(&wake_q);
1086 }
1087 return sem;
Waiman Long5cfd92e2019-05-20 16:59:14 -04001088 } else if (rwsem_reader_phase_trylock(sem, waiter.last_rowner)) {
Peter Zijlstra6ffddfb2019-07-18 15:08:53 +02001089 /* rwsem_reader_phase_trylock() implies ACQUIRE on success */
Waiman Long5cfd92e2019-05-20 16:59:14 -04001090 return sem;
Waiman Longcf694822019-05-20 16:59:11 -04001091 }
1092
1093queue:
Waiman Long5dec94d2019-05-20 16:59:03 -04001094 waiter.task = current;
1095 waiter.type = RWSEM_WAITING_FOR_READ;
Waiman Long4f23dbc2019-05-20 16:59:06 -04001096 waiter.timeout = jiffies + RWSEM_WAIT_TIMEOUT;
Waiman Long5dec94d2019-05-20 16:59:03 -04001097
1098 raw_spin_lock_irq(&sem->wait_lock);
1099 if (list_empty(&sem->wait_list)) {
1100 /*
1101 * In case the wait queue is empty and the lock isn't owned
Waiman Long4f23dbc2019-05-20 16:59:06 -04001102 * by a writer or has the handoff bit set, this reader can
1103 * exit the slowpath and return immediately as its
1104 * RWSEM_READER_BIAS has already been set in the count.
Waiman Long5dec94d2019-05-20 16:59:03 -04001105 */
Waiman Longcf694822019-05-20 16:59:11 -04001106 if (adjustment && !(atomic_long_read(&sem->count) &
Waiman Long4f23dbc2019-05-20 16:59:06 -04001107 (RWSEM_WRITER_MASK | RWSEM_FLAG_HANDOFF))) {
Jan Stanceke1b98fa2019-07-18 10:51:25 +02001108 /* Provide lock ACQUIRE */
1109 smp_acquire__after_ctrl_dep();
Waiman Long5dec94d2019-05-20 16:59:03 -04001110 raw_spin_unlock_irq(&sem->wait_lock);
1111 rwsem_set_reader_owned(sem);
1112 lockevent_inc(rwsem_rlock_fast);
1113 return sem;
1114 }
1115 adjustment += RWSEM_FLAG_WAITERS;
1116 }
1117 list_add_tail(&waiter.list, &sem->wait_list);
1118
1119 /* we're now waiting on the lock, but no longer actively locking */
Waiman Longcf694822019-05-20 16:59:11 -04001120 if (adjustment)
1121 count = atomic_long_add_return(adjustment, &sem->count);
1122 else
1123 count = atomic_long_read(&sem->count);
Waiman Long5dec94d2019-05-20 16:59:03 -04001124
1125 /*
1126 * If there are no active locks, wake the front queued process(es).
1127 *
1128 * If there are no writers and we are first in the queue,
1129 * wake our own waiter to join the existing active readers !
1130 */
Waiman Long7d43f1c2019-05-20 16:59:13 -04001131 if (!(count & RWSEM_LOCK_MASK)) {
1132 clear_wr_nonspinnable(sem);
1133 wake = true;
1134 }
1135 if (wake || (!(count & RWSEM_WRITER_MASK) &&
1136 (adjustment & RWSEM_FLAG_WAITERS)))
Waiman Long6cef7ff62019-05-20 16:59:04 -04001137 rwsem_mark_wake(sem, RWSEM_WAKE_ANY, &wake_q);
Waiman Long5dec94d2019-05-20 16:59:03 -04001138
1139 raw_spin_unlock_irq(&sem->wait_lock);
1140 wake_up_q(&wake_q);
1141
1142 /* wait to be given the lock */
Peter Zijlstra6ffddfb2019-07-18 15:08:53 +02001143 for (;;) {
Waiman Long5dec94d2019-05-20 16:59:03 -04001144 set_current_state(state);
Peter Zijlstra99143f82019-07-18 14:56:17 +02001145 if (!smp_load_acquire(&waiter.task)) {
Peter Zijlstra6ffddfb2019-07-18 15:08:53 +02001146 /* Matches rwsem_mark_wake()'s smp_store_release(). */
Waiman Long5dec94d2019-05-20 16:59:03 -04001147 break;
Peter Zijlstra99143f82019-07-18 14:56:17 +02001148 }
Waiman Long5dec94d2019-05-20 16:59:03 -04001149 if (signal_pending_state(state, current)) {
1150 raw_spin_lock_irq(&sem->wait_lock);
1151 if (waiter.task)
1152 goto out_nolock;
1153 raw_spin_unlock_irq(&sem->wait_lock);
Peter Zijlstra6ffddfb2019-07-18 15:08:53 +02001154 /* Ordered by sem->wait_lock against rwsem_mark_wake(). */
Waiman Long5dec94d2019-05-20 16:59:03 -04001155 break;
1156 }
1157 schedule();
1158 lockevent_inc(rwsem_sleep_reader);
1159 }
1160
1161 __set_current_state(TASK_RUNNING);
1162 lockevent_inc(rwsem_rlock);
1163 return sem;
Peter Zijlstra6ffddfb2019-07-18 15:08:53 +02001164
Waiman Long5dec94d2019-05-20 16:59:03 -04001165out_nolock:
1166 list_del(&waiter.list);
Waiman Long4f23dbc2019-05-20 16:59:06 -04001167 if (list_empty(&sem->wait_list)) {
1168 atomic_long_andnot(RWSEM_FLAG_WAITERS|RWSEM_FLAG_HANDOFF,
1169 &sem->count);
1170 }
Waiman Long5dec94d2019-05-20 16:59:03 -04001171 raw_spin_unlock_irq(&sem->wait_lock);
1172 __set_current_state(TASK_RUNNING);
1173 lockevent_inc(rwsem_rlock_fail);
1174 return ERR_PTR(-EINTR);
1175}
1176
Waiman Long5dec94d2019-05-20 16:59:03 -04001177/*
Waiman Long5cfd92e2019-05-20 16:59:14 -04001178 * This function is called by the a write lock owner. So the owner value
1179 * won't get changed by others.
1180 */
1181static inline void rwsem_disable_reader_optspin(struct rw_semaphore *sem,
1182 bool disable)
1183{
1184 if (unlikely(disable)) {
1185 atomic_long_or(RWSEM_RD_NONSPINNABLE, &sem->owner);
1186 lockevent_inc(rwsem_opt_norspin);
1187 }
1188}
1189
1190/*
Waiman Long5dec94d2019-05-20 16:59:03 -04001191 * Wait until we successfully acquire the write lock
1192 */
Waiman Long6cef7ff62019-05-20 16:59:04 -04001193static struct rw_semaphore *
1194rwsem_down_write_slowpath(struct rw_semaphore *sem, int state)
Waiman Long5dec94d2019-05-20 16:59:03 -04001195{
1196 long count;
Waiman Long5cfd92e2019-05-20 16:59:14 -04001197 bool disable_rspin;
Waiman Long4f23dbc2019-05-20 16:59:06 -04001198 enum writer_wait_state wstate;
Waiman Long5dec94d2019-05-20 16:59:03 -04001199 struct rwsem_waiter waiter;
1200 struct rw_semaphore *ret = sem;
1201 DEFINE_WAKE_Q(wake_q);
1202
1203 /* do optimistic spinning and steal lock if possible */
Waiman Long7d43f1c2019-05-20 16:59:13 -04001204 if (rwsem_can_spin_on_owner(sem, RWSEM_WR_NONSPINNABLE) &&
Peter Zijlstra6ffddfb2019-07-18 15:08:53 +02001205 rwsem_optimistic_spin(sem, true)) {
1206 /* rwsem_optimistic_spin() implies ACQUIRE on success */
Waiman Long5dec94d2019-05-20 16:59:03 -04001207 return sem;
Peter Zijlstra6ffddfb2019-07-18 15:08:53 +02001208 }
Waiman Long5dec94d2019-05-20 16:59:03 -04001209
1210 /*
Waiman Long5cfd92e2019-05-20 16:59:14 -04001211 * Disable reader optimistic spinning for this rwsem after
1212 * acquiring the write lock when the setting of the nonspinnable
1213 * bits are observed.
1214 */
1215 disable_rspin = atomic_long_read(&sem->owner) & RWSEM_NONSPINNABLE;
1216
1217 /*
Waiman Long5dec94d2019-05-20 16:59:03 -04001218 * Optimistic spinning failed, proceed to the slowpath
1219 * and block until we can acquire the sem.
1220 */
1221 waiter.task = current;
1222 waiter.type = RWSEM_WAITING_FOR_WRITE;
Waiman Long4f23dbc2019-05-20 16:59:06 -04001223 waiter.timeout = jiffies + RWSEM_WAIT_TIMEOUT;
Waiman Long5dec94d2019-05-20 16:59:03 -04001224
1225 raw_spin_lock_irq(&sem->wait_lock);
1226
1227 /* account for this before adding a new element to the list */
Waiman Long4f23dbc2019-05-20 16:59:06 -04001228 wstate = list_empty(&sem->wait_list) ? WRITER_FIRST : WRITER_NOT_FIRST;
Waiman Long5dec94d2019-05-20 16:59:03 -04001229
1230 list_add_tail(&waiter.list, &sem->wait_list);
1231
1232 /* we're now waiting on the lock */
Waiman Long4f23dbc2019-05-20 16:59:06 -04001233 if (wstate == WRITER_NOT_FIRST) {
Waiman Long5dec94d2019-05-20 16:59:03 -04001234 count = atomic_long_read(&sem->count);
1235
1236 /*
Waiman Long4f23dbc2019-05-20 16:59:06 -04001237 * If there were already threads queued before us and:
1238 * 1) there are no no active locks, wake the front
1239 * queued process(es) as the handoff bit might be set.
1240 * 2) there are no active writers and some readers, the lock
1241 * must be read owned; so we try to wake any read lock
1242 * waiters that were queued ahead of us.
Waiman Long5dec94d2019-05-20 16:59:03 -04001243 */
Waiman Long4f23dbc2019-05-20 16:59:06 -04001244 if (count & RWSEM_WRITER_MASK)
1245 goto wait;
Waiman Long5dec94d2019-05-20 16:59:03 -04001246
Waiman Long4f23dbc2019-05-20 16:59:06 -04001247 rwsem_mark_wake(sem, (count & RWSEM_READER_MASK)
1248 ? RWSEM_WAKE_READERS
1249 : RWSEM_WAKE_ANY, &wake_q);
Waiman Long5dec94d2019-05-20 16:59:03 -04001250
Waiman Long00f3c5a2019-05-20 16:59:07 -04001251 if (!wake_q_empty(&wake_q)) {
1252 /*
1253 * We want to minimize wait_lock hold time especially
1254 * when a large number of readers are to be woken up.
1255 */
1256 raw_spin_unlock_irq(&sem->wait_lock);
1257 wake_up_q(&wake_q);
1258 wake_q_init(&wake_q); /* Used again, reinit */
1259 raw_spin_lock_irq(&sem->wait_lock);
1260 }
Waiman Long5dec94d2019-05-20 16:59:03 -04001261 } else {
Waiman Long00f3c5a2019-05-20 16:59:07 -04001262 atomic_long_or(RWSEM_FLAG_WAITERS, &sem->count);
Waiman Long5dec94d2019-05-20 16:59:03 -04001263 }
1264
Waiman Long4f23dbc2019-05-20 16:59:06 -04001265wait:
Waiman Long5dec94d2019-05-20 16:59:03 -04001266 /* wait until we successfully acquire the lock */
1267 set_current_state(state);
Peter Zijlstra6ffddfb2019-07-18 15:08:53 +02001268 for (;;) {
1269 if (rwsem_try_write_lock(sem, wstate)) {
1270 /* rwsem_try_write_lock() implies ACQUIRE on success */
Waiman Long5dec94d2019-05-20 16:59:03 -04001271 break;
Peter Zijlstra6ffddfb2019-07-18 15:08:53 +02001272 }
Waiman Long4f23dbc2019-05-20 16:59:06 -04001273
Waiman Long5dec94d2019-05-20 16:59:03 -04001274 raw_spin_unlock_irq(&sem->wait_lock);
1275
Waiman Long91d2a812019-06-25 10:39:13 -04001276 /*
1277 * After setting the handoff bit and failing to acquire
1278 * the lock, attempt to spin on owner to accelerate lock
1279 * transfer. If the previous owner is a on-cpu writer and it
1280 * has just released the lock, OWNER_NULL will be returned.
1281 * In this case, we attempt to acquire the lock again
1282 * without sleeping.
1283 */
Waiman Long39e72342020-01-15 10:43:36 -05001284 if (wstate == WRITER_HANDOFF &&
1285 rwsem_spin_on_owner(sem, RWSEM_NONSPINNABLE) == OWNER_NULL)
Waiman Long91d2a812019-06-25 10:39:13 -04001286 goto trylock_again;
1287
Waiman Long5dec94d2019-05-20 16:59:03 -04001288 /* Block until there are no active lockers. */
Waiman Long4f23dbc2019-05-20 16:59:06 -04001289 for (;;) {
Waiman Long5dec94d2019-05-20 16:59:03 -04001290 if (signal_pending_state(state, current))
1291 goto out_nolock;
1292
1293 schedule();
1294 lockevent_inc(rwsem_sleep_writer);
1295 set_current_state(state);
Waiman Long4f23dbc2019-05-20 16:59:06 -04001296 /*
1297 * If HANDOFF bit is set, unconditionally do
1298 * a trylock.
1299 */
1300 if (wstate == WRITER_HANDOFF)
1301 break;
1302
1303 if ((wstate == WRITER_NOT_FIRST) &&
1304 (rwsem_first_waiter(sem) == &waiter))
1305 wstate = WRITER_FIRST;
1306
Waiman Long5dec94d2019-05-20 16:59:03 -04001307 count = atomic_long_read(&sem->count);
Waiman Long4f23dbc2019-05-20 16:59:06 -04001308 if (!(count & RWSEM_LOCK_MASK))
1309 break;
1310
1311 /*
1312 * The setting of the handoff bit is deferred
1313 * until rwsem_try_write_lock() is called.
1314 */
1315 if ((wstate == WRITER_FIRST) && (rt_task(current) ||
1316 time_after(jiffies, waiter.timeout))) {
1317 wstate = WRITER_HANDOFF;
1318 lockevent_inc(rwsem_wlock_handoff);
1319 break;
1320 }
1321 }
Waiman Long91d2a812019-06-25 10:39:13 -04001322trylock_again:
Waiman Long5dec94d2019-05-20 16:59:03 -04001323 raw_spin_lock_irq(&sem->wait_lock);
1324 }
1325 __set_current_state(TASK_RUNNING);
1326 list_del(&waiter.list);
Waiman Long5cfd92e2019-05-20 16:59:14 -04001327 rwsem_disable_reader_optspin(sem, disable_rspin);
Waiman Long5dec94d2019-05-20 16:59:03 -04001328 raw_spin_unlock_irq(&sem->wait_lock);
1329 lockevent_inc(rwsem_wlock);
1330
1331 return ret;
1332
1333out_nolock:
1334 __set_current_state(TASK_RUNNING);
1335 raw_spin_lock_irq(&sem->wait_lock);
1336 list_del(&waiter.list);
Waiman Long4f23dbc2019-05-20 16:59:06 -04001337
1338 if (unlikely(wstate == WRITER_HANDOFF))
1339 atomic_long_add(-RWSEM_FLAG_HANDOFF, &sem->count);
1340
Waiman Long5dec94d2019-05-20 16:59:03 -04001341 if (list_empty(&sem->wait_list))
1342 atomic_long_andnot(RWSEM_FLAG_WAITERS, &sem->count);
1343 else
Waiman Long6cef7ff62019-05-20 16:59:04 -04001344 rwsem_mark_wake(sem, RWSEM_WAKE_ANY, &wake_q);
Waiman Long5dec94d2019-05-20 16:59:03 -04001345 raw_spin_unlock_irq(&sem->wait_lock);
1346 wake_up_q(&wake_q);
1347 lockevent_inc(rwsem_wlock_fail);
1348
1349 return ERR_PTR(-EINTR);
1350}
1351
Waiman Long5dec94d2019-05-20 16:59:03 -04001352/*
1353 * handle waking up a waiter on the semaphore
1354 * - up_read/up_write has decremented the active part of count if we come here
1355 */
Waiman Long4f23dbc2019-05-20 16:59:06 -04001356static struct rw_semaphore *rwsem_wake(struct rw_semaphore *sem, long count)
Waiman Long5dec94d2019-05-20 16:59:03 -04001357{
1358 unsigned long flags;
1359 DEFINE_WAKE_Q(wake_q);
1360
1361 raw_spin_lock_irqsave(&sem->wait_lock, flags);
1362
1363 if (!list_empty(&sem->wait_list))
Waiman Long6cef7ff62019-05-20 16:59:04 -04001364 rwsem_mark_wake(sem, RWSEM_WAKE_ANY, &wake_q);
Waiman Long5dec94d2019-05-20 16:59:03 -04001365
1366 raw_spin_unlock_irqrestore(&sem->wait_lock, flags);
1367 wake_up_q(&wake_q);
1368
1369 return sem;
1370}
Waiman Long5dec94d2019-05-20 16:59:03 -04001371
1372/*
1373 * downgrade a write lock into a read lock
1374 * - caller incremented waiting part of count and discovered it still negative
1375 * - just wake up any readers at the front of the queue
1376 */
Waiman Long6cef7ff62019-05-20 16:59:04 -04001377static struct rw_semaphore *rwsem_downgrade_wake(struct rw_semaphore *sem)
Waiman Long5dec94d2019-05-20 16:59:03 -04001378{
1379 unsigned long flags;
1380 DEFINE_WAKE_Q(wake_q);
1381
1382 raw_spin_lock_irqsave(&sem->wait_lock, flags);
1383
1384 if (!list_empty(&sem->wait_list))
Waiman Long6cef7ff62019-05-20 16:59:04 -04001385 rwsem_mark_wake(sem, RWSEM_WAKE_READ_OWNED, &wake_q);
Waiman Long5dec94d2019-05-20 16:59:03 -04001386
1387 raw_spin_unlock_irqrestore(&sem->wait_lock, flags);
1388 wake_up_q(&wake_q);
1389
1390 return sem;
1391}
Waiman Long5dec94d2019-05-20 16:59:03 -04001392
1393/*
1394 * lock for reading
1395 */
Peter Zijlstrac995e632020-12-08 10:27:41 +01001396static inline int __down_read_common(struct rw_semaphore *sem, int state)
Waiman Long5dec94d2019-05-20 16:59:03 -04001397{
Waiman Longc8fe8b02020-11-20 23:14:12 -05001398 long count;
1399
1400 if (!rwsem_read_trylock(sem, &count)) {
1401 if (IS_ERR(rwsem_down_read_slowpath(sem, count, state)))
Peter Zijlstrac995e632020-12-08 10:27:41 +01001402 return -EINTR;
Waiman Long94a97172019-05-20 16:59:12 -04001403 DEBUG_RWSEMS_WARN_ON(!is_rwsem_reader_owned(sem), sem);
Waiman Long5dec94d2019-05-20 16:59:03 -04001404 }
Peter Zijlstrac995e632020-12-08 10:27:41 +01001405 return 0;
1406}
1407
1408static inline void __down_read(struct rw_semaphore *sem)
1409{
1410 __down_read_common(sem, TASK_UNINTERRUPTIBLE);
Waiman Long5dec94d2019-05-20 16:59:03 -04001411}
1412
Eric W. Biederman31784cf2020-12-03 14:11:13 -06001413static inline int __down_read_interruptible(struct rw_semaphore *sem)
1414{
Peter Zijlstrac995e632020-12-08 10:27:41 +01001415 return __down_read_common(sem, TASK_INTERRUPTIBLE);
Eric W. Biederman31784cf2020-12-03 14:11:13 -06001416}
1417
Waiman Long5dec94d2019-05-20 16:59:03 -04001418static inline int __down_read_killable(struct rw_semaphore *sem)
1419{
Peter Zijlstrac995e632020-12-08 10:27:41 +01001420 return __down_read_common(sem, TASK_KILLABLE);
Waiman Long5dec94d2019-05-20 16:59:03 -04001421}
1422
1423static inline int __down_read_trylock(struct rw_semaphore *sem)
1424{
Davidlohr Buesofce45cd2019-07-28 21:47:35 -07001425 long tmp;
1426
1427 DEBUG_RWSEMS_WARN_ON(sem->magic != sem, sem);
1428
Waiman Long5dec94d2019-05-20 16:59:03 -04001429 /*
1430 * Optimize for the case when the rwsem is not locked at all.
1431 */
Davidlohr Buesofce45cd2019-07-28 21:47:35 -07001432 tmp = RWSEM_UNLOCKED_VALUE;
Waiman Long5dec94d2019-05-20 16:59:03 -04001433 do {
1434 if (atomic_long_try_cmpxchg_acquire(&sem->count, &tmp,
1435 tmp + RWSEM_READER_BIAS)) {
1436 rwsem_set_reader_owned(sem);
1437 return 1;
1438 }
1439 } while (!(tmp & RWSEM_READ_FAILED_MASK));
1440 return 0;
1441}
1442
1443/*
1444 * lock for writing
1445 */
Peter Zijlstrac995e632020-12-08 10:27:41 +01001446static inline int __down_write_common(struct rw_semaphore *sem, int state)
Waiman Long5dec94d2019-05-20 16:59:03 -04001447{
Peter Zijlstra285c61a2020-12-08 10:25:06 +01001448 if (unlikely(!rwsem_write_trylock(sem))) {
Peter Zijlstrac995e632020-12-08 10:27:41 +01001449 if (IS_ERR(rwsem_down_write_slowpath(sem, state)))
Waiman Long5dec94d2019-05-20 16:59:03 -04001450 return -EINTR;
Waiman Long6cef7ff62019-05-20 16:59:04 -04001451 }
Peter Zijlstra285c61a2020-12-08 10:25:06 +01001452
Waiman Long5dec94d2019-05-20 16:59:03 -04001453 return 0;
1454}
1455
Peter Zijlstrac995e632020-12-08 10:27:41 +01001456static inline void __down_write(struct rw_semaphore *sem)
1457{
1458 __down_write_common(sem, TASK_UNINTERRUPTIBLE);
1459}
1460
1461static inline int __down_write_killable(struct rw_semaphore *sem)
1462{
1463 return __down_write_common(sem, TASK_KILLABLE);
1464}
1465
Waiman Long5dec94d2019-05-20 16:59:03 -04001466static inline int __down_write_trylock(struct rw_semaphore *sem)
1467{
Davidlohr Buesofce45cd2019-07-28 21:47:35 -07001468 DEBUG_RWSEMS_WARN_ON(sem->magic != sem, sem);
Peter Zijlstra285c61a2020-12-08 10:25:06 +01001469 return rwsem_write_trylock(sem);
Waiman Long5dec94d2019-05-20 16:59:03 -04001470}
1471
1472/*
1473 * unlock after reading
1474 */
Peter Zijlstra7f264822019-10-30 20:30:41 +01001475static inline void __up_read(struct rw_semaphore *sem)
Waiman Long5dec94d2019-05-20 16:59:03 -04001476{
1477 long tmp;
1478
Davidlohr Buesofce45cd2019-07-28 21:47:35 -07001479 DEBUG_RWSEMS_WARN_ON(sem->magic != sem, sem);
Waiman Long94a97172019-05-20 16:59:12 -04001480 DEBUG_RWSEMS_WARN_ON(!is_rwsem_reader_owned(sem), sem);
Davidlohr Buesofce45cd2019-07-28 21:47:35 -07001481
Waiman Long5dec94d2019-05-20 16:59:03 -04001482 rwsem_clear_reader_owned(sem);
1483 tmp = atomic_long_add_return_release(-RWSEM_READER_BIAS, &sem->count);
Waiman Longa15ea1a2019-05-20 16:59:15 -04001484 DEBUG_RWSEMS_WARN_ON(tmp < 0, sem);
Waiman Long6cef7ff62019-05-20 16:59:04 -04001485 if (unlikely((tmp & (RWSEM_LOCK_MASK|RWSEM_FLAG_WAITERS)) ==
Waiman Long7d43f1c2019-05-20 16:59:13 -04001486 RWSEM_FLAG_WAITERS)) {
1487 clear_wr_nonspinnable(sem);
Waiman Long4f23dbc2019-05-20 16:59:06 -04001488 rwsem_wake(sem, tmp);
Waiman Long7d43f1c2019-05-20 16:59:13 -04001489 }
Waiman Long5dec94d2019-05-20 16:59:03 -04001490}
1491
1492/*
1493 * unlock after writing
1494 */
Peter Zijlstra7f264822019-10-30 20:30:41 +01001495static inline void __up_write(struct rw_semaphore *sem)
Waiman Long5dec94d2019-05-20 16:59:03 -04001496{
Waiman Long6cef7ff62019-05-20 16:59:04 -04001497 long tmp;
1498
Davidlohr Buesofce45cd2019-07-28 21:47:35 -07001499 DEBUG_RWSEMS_WARN_ON(sem->magic != sem, sem);
Waiman Long02f10822019-05-20 16:59:10 -04001500 /*
1501 * sem->owner may differ from current if the ownership is transferred
1502 * to an anonymous writer by setting the RWSEM_NONSPINNABLE bits.
1503 */
Waiman Long94a97172019-05-20 16:59:12 -04001504 DEBUG_RWSEMS_WARN_ON((rwsem_owner(sem) != current) &&
1505 !rwsem_test_oflags(sem, RWSEM_NONSPINNABLE), sem);
Davidlohr Buesofce45cd2019-07-28 21:47:35 -07001506
Waiman Long5dec94d2019-05-20 16:59:03 -04001507 rwsem_clear_owner(sem);
Waiman Long6cef7ff62019-05-20 16:59:04 -04001508 tmp = atomic_long_fetch_add_release(-RWSEM_WRITER_LOCKED, &sem->count);
1509 if (unlikely(tmp & RWSEM_FLAG_WAITERS))
Waiman Long4f23dbc2019-05-20 16:59:06 -04001510 rwsem_wake(sem, tmp);
Waiman Long5dec94d2019-05-20 16:59:03 -04001511}
1512
1513/*
1514 * downgrade write lock to read lock
1515 */
1516static inline void __downgrade_write(struct rw_semaphore *sem)
1517{
1518 long tmp;
1519
1520 /*
1521 * When downgrading from exclusive to shared ownership,
1522 * anything inside the write-locked region cannot leak
1523 * into the read side. In contrast, anything in the
1524 * read-locked region is ok to be re-ordered into the
1525 * write side. As such, rely on RELEASE semantics.
1526 */
Waiman Long94a97172019-05-20 16:59:12 -04001527 DEBUG_RWSEMS_WARN_ON(rwsem_owner(sem) != current, sem);
Waiman Long5dec94d2019-05-20 16:59:03 -04001528 tmp = atomic_long_fetch_add_release(
1529 -RWSEM_WRITER_LOCKED+RWSEM_READER_BIAS, &sem->count);
1530 rwsem_set_reader_owned(sem);
1531 if (tmp & RWSEM_FLAG_WAITERS)
1532 rwsem_downgrade_wake(sem);
1533}
Davidlohr Bueso4fc828e2014-05-02 11:24:15 -07001534
Ingo Molnarc4e05112006-07-03 00:24:29 -07001535/*
1536 * lock for reading
1537 */
Livio Soaresc7af77b2007-12-18 15:21:13 +01001538void __sched down_read(struct rw_semaphore *sem)
Ingo Molnarc4e05112006-07-03 00:24:29 -07001539{
1540 might_sleep();
1541 rwsem_acquire_read(&sem->dep_map, 0, 0, _RET_IP_);
1542
Peter Zijlstra4fe87742007-07-19 01:48:58 -07001543 LOCK_CONTENDED(sem, __down_read_trylock, __down_read);
Ingo Molnarc4e05112006-07-03 00:24:29 -07001544}
Ingo Molnarc4e05112006-07-03 00:24:29 -07001545EXPORT_SYMBOL(down_read);
1546
Eric W. Biederman31784cf2020-12-03 14:11:13 -06001547int __sched down_read_interruptible(struct rw_semaphore *sem)
1548{
1549 might_sleep();
1550 rwsem_acquire_read(&sem->dep_map, 0, 0, _RET_IP_);
1551
1552 if (LOCK_CONTENDED_RETURN(sem, __down_read_trylock, __down_read_interruptible)) {
1553 rwsem_release(&sem->dep_map, _RET_IP_);
1554 return -EINTR;
1555 }
1556
1557 return 0;
1558}
1559EXPORT_SYMBOL(down_read_interruptible);
1560
Kirill Tkhai76f85072017-09-29 19:06:38 +03001561int __sched down_read_killable(struct rw_semaphore *sem)
1562{
1563 might_sleep();
1564 rwsem_acquire_read(&sem->dep_map, 0, 0, _RET_IP_);
1565
1566 if (LOCK_CONTENDED_RETURN(sem, __down_read_trylock, __down_read_killable)) {
Qian Cai5facae42019-09-19 12:09:40 -04001567 rwsem_release(&sem->dep_map, _RET_IP_);
Kirill Tkhai76f85072017-09-29 19:06:38 +03001568 return -EINTR;
1569 }
1570
Kirill Tkhai76f85072017-09-29 19:06:38 +03001571 return 0;
1572}
Kirill Tkhai76f85072017-09-29 19:06:38 +03001573EXPORT_SYMBOL(down_read_killable);
1574
Ingo Molnarc4e05112006-07-03 00:24:29 -07001575/*
1576 * trylock for reading -- returns 1 if successful, 0 if contention
1577 */
1578int down_read_trylock(struct rw_semaphore *sem)
1579{
1580 int ret = __down_read_trylock(sem);
1581
Waiman Longc7580c12019-04-04 13:43:11 -04001582 if (ret == 1)
Ingo Molnarc4e05112006-07-03 00:24:29 -07001583 rwsem_acquire_read(&sem->dep_map, 0, 1, _RET_IP_);
1584 return ret;
1585}
Ingo Molnarc4e05112006-07-03 00:24:29 -07001586EXPORT_SYMBOL(down_read_trylock);
1587
1588/*
1589 * lock for writing
1590 */
Livio Soaresc7af77b2007-12-18 15:21:13 +01001591void __sched down_write(struct rw_semaphore *sem)
Ingo Molnarc4e05112006-07-03 00:24:29 -07001592{
1593 might_sleep();
1594 rwsem_acquire(&sem->dep_map, 0, 0, _RET_IP_);
Peter Zijlstra4fe87742007-07-19 01:48:58 -07001595 LOCK_CONTENDED(sem, __down_write_trylock, __down_write);
Ingo Molnarc4e05112006-07-03 00:24:29 -07001596}
Ingo Molnarc4e05112006-07-03 00:24:29 -07001597EXPORT_SYMBOL(down_write);
1598
1599/*
Michal Hocko916633a2016-04-07 17:12:31 +02001600 * lock for writing
1601 */
1602int __sched down_write_killable(struct rw_semaphore *sem)
1603{
1604 might_sleep();
1605 rwsem_acquire(&sem->dep_map, 0, 0, _RET_IP_);
1606
Waiman Long6cef7ff62019-05-20 16:59:04 -04001607 if (LOCK_CONTENDED_RETURN(sem, __down_write_trylock,
1608 __down_write_killable)) {
Qian Cai5facae42019-09-19 12:09:40 -04001609 rwsem_release(&sem->dep_map, _RET_IP_);
Michal Hocko916633a2016-04-07 17:12:31 +02001610 return -EINTR;
1611 }
1612
Michal Hocko916633a2016-04-07 17:12:31 +02001613 return 0;
1614}
Michal Hocko916633a2016-04-07 17:12:31 +02001615EXPORT_SYMBOL(down_write_killable);
1616
1617/*
Ingo Molnarc4e05112006-07-03 00:24:29 -07001618 * trylock for writing -- returns 1 if successful, 0 if contention
1619 */
1620int down_write_trylock(struct rw_semaphore *sem)
1621{
1622 int ret = __down_write_trylock(sem);
1623
Waiman Longc7580c12019-04-04 13:43:11 -04001624 if (ret == 1)
Pavel Emelianov428e6ce2007-05-08 00:29:10 -07001625 rwsem_acquire(&sem->dep_map, 0, 1, _RET_IP_);
Davidlohr Bueso4fc828e2014-05-02 11:24:15 -07001626
Ingo Molnarc4e05112006-07-03 00:24:29 -07001627 return ret;
1628}
Ingo Molnarc4e05112006-07-03 00:24:29 -07001629EXPORT_SYMBOL(down_write_trylock);
1630
1631/*
1632 * release a read lock
1633 */
1634void up_read(struct rw_semaphore *sem)
1635{
Qian Cai5facae42019-09-19 12:09:40 -04001636 rwsem_release(&sem->dep_map, _RET_IP_);
Ingo Molnarc4e05112006-07-03 00:24:29 -07001637 __up_read(sem);
1638}
Ingo Molnarc4e05112006-07-03 00:24:29 -07001639EXPORT_SYMBOL(up_read);
1640
1641/*
1642 * release a write lock
1643 */
1644void up_write(struct rw_semaphore *sem)
1645{
Qian Cai5facae42019-09-19 12:09:40 -04001646 rwsem_release(&sem->dep_map, _RET_IP_);
Ingo Molnarc4e05112006-07-03 00:24:29 -07001647 __up_write(sem);
1648}
Ingo Molnarc4e05112006-07-03 00:24:29 -07001649EXPORT_SYMBOL(up_write);
1650
1651/*
1652 * downgrade write lock to read lock
1653 */
1654void downgrade_write(struct rw_semaphore *sem)
1655{
J. R. Okajima6419c4a2017-02-03 01:38:17 +09001656 lock_downgrade(&sem->dep_map, _RET_IP_);
Ingo Molnarc4e05112006-07-03 00:24:29 -07001657 __downgrade_write(sem);
1658}
Ingo Molnarc4e05112006-07-03 00:24:29 -07001659EXPORT_SYMBOL(downgrade_write);
Ingo Molnar4ea21762006-07-03 00:24:53 -07001660
1661#ifdef CONFIG_DEBUG_LOCK_ALLOC
1662
1663void down_read_nested(struct rw_semaphore *sem, int subclass)
1664{
1665 might_sleep();
1666 rwsem_acquire_read(&sem->dep_map, subclass, 0, _RET_IP_);
Peter Zijlstra4fe87742007-07-19 01:48:58 -07001667 LOCK_CONTENDED(sem, __down_read_trylock, __down_read);
Ingo Molnar4ea21762006-07-03 00:24:53 -07001668}
Ingo Molnar4ea21762006-07-03 00:24:53 -07001669EXPORT_SYMBOL(down_read_nested);
1670
Eric W. Biederman0f9368b2020-12-03 14:10:32 -06001671int down_read_killable_nested(struct rw_semaphore *sem, int subclass)
1672{
1673 might_sleep();
1674 rwsem_acquire_read(&sem->dep_map, subclass, 0, _RET_IP_);
1675
1676 if (LOCK_CONTENDED_RETURN(sem, __down_read_trylock, __down_read_killable)) {
1677 rwsem_release(&sem->dep_map, _RET_IP_);
1678 return -EINTR;
1679 }
1680
1681 return 0;
1682}
1683EXPORT_SYMBOL(down_read_killable_nested);
1684
Jiri Kosina1b963c82013-01-11 14:31:56 -08001685void _down_write_nest_lock(struct rw_semaphore *sem, struct lockdep_map *nest)
1686{
1687 might_sleep();
1688 rwsem_acquire_nest(&sem->dep_map, 0, 0, nest, _RET_IP_);
Jiri Kosina1b963c82013-01-11 14:31:56 -08001689 LOCK_CONTENDED(sem, __down_write_trylock, __down_write);
1690}
Jiri Kosina1b963c82013-01-11 14:31:56 -08001691EXPORT_SYMBOL(_down_write_nest_lock);
1692
Kent Overstreet84759c62011-09-21 21:43:05 -07001693void down_read_non_owner(struct rw_semaphore *sem)
1694{
1695 might_sleep();
Kent Overstreet84759c62011-09-21 21:43:05 -07001696 __down_read(sem);
Waiman Long925b9cd2018-09-06 16:18:34 -04001697 __rwsem_set_reader_owned(sem, NULL);
Kent Overstreet84759c62011-09-21 21:43:05 -07001698}
Kent Overstreet84759c62011-09-21 21:43:05 -07001699EXPORT_SYMBOL(down_read_non_owner);
1700
Ingo Molnar4ea21762006-07-03 00:24:53 -07001701void down_write_nested(struct rw_semaphore *sem, int subclass)
1702{
1703 might_sleep();
1704 rwsem_acquire(&sem->dep_map, subclass, 0, _RET_IP_);
Peter Zijlstra4fe87742007-07-19 01:48:58 -07001705 LOCK_CONTENDED(sem, __down_write_trylock, __down_write);
Ingo Molnar4ea21762006-07-03 00:24:53 -07001706}
Ingo Molnar4ea21762006-07-03 00:24:53 -07001707EXPORT_SYMBOL(down_write_nested);
1708
Al Viro887bddf2016-05-26 00:04:58 -04001709int __sched down_write_killable_nested(struct rw_semaphore *sem, int subclass)
1710{
1711 might_sleep();
1712 rwsem_acquire(&sem->dep_map, subclass, 0, _RET_IP_);
1713
Waiman Long6cef7ff62019-05-20 16:59:04 -04001714 if (LOCK_CONTENDED_RETURN(sem, __down_write_trylock,
1715 __down_write_killable)) {
Qian Cai5facae42019-09-19 12:09:40 -04001716 rwsem_release(&sem->dep_map, _RET_IP_);
Al Viro887bddf2016-05-26 00:04:58 -04001717 return -EINTR;
1718 }
1719
Al Viro887bddf2016-05-26 00:04:58 -04001720 return 0;
1721}
Al Viro887bddf2016-05-26 00:04:58 -04001722EXPORT_SYMBOL(down_write_killable_nested);
1723
Kent Overstreet84759c62011-09-21 21:43:05 -07001724void up_read_non_owner(struct rw_semaphore *sem)
1725{
Waiman Long94a97172019-05-20 16:59:12 -04001726 DEBUG_RWSEMS_WARN_ON(!is_rwsem_reader_owned(sem), sem);
Kent Overstreet84759c62011-09-21 21:43:05 -07001727 __up_read(sem);
1728}
Kent Overstreet84759c62011-09-21 21:43:05 -07001729EXPORT_SYMBOL(up_read_non_owner);
1730
Ingo Molnar4ea21762006-07-03 00:24:53 -07001731#endif