blob: 04a74d040a6d3af40dcd4932cfd9407b3bb4c1df [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
Thomas Gleixner42254102021-08-15 23:28:05 +020031#ifndef CONFIG_PREEMPT_RT
Waiman Long5dec94d2019-05-20 16:59:03 -040032#include "lock_events.h"
33
34/*
Waiman Long617f3ef2020-11-20 23:14:16 -050035 * The least significant 2 bits of the owner value has the following
Waiman Long5dec94d2019-05-20 16:59:03 -040036 * meanings when set.
Waiman Long02f10822019-05-20 16:59:10 -040037 * - Bit 0: RWSEM_READER_OWNED - The rwsem is owned by readers
Waiman Long617f3ef2020-11-20 23:14:16 -050038 * - Bit 1: RWSEM_NONSPINNABLE - Cannot spin on a reader-owned lock
Waiman Long5dec94d2019-05-20 16:59:03 -040039 *
Waiman Long617f3ef2020-11-20 23:14:16 -050040 * When the rwsem is reader-owned and a spinning writer has timed out,
41 * the nonspinnable bit will be set to disable optimistic spinning.
Waiman Long7d43f1c2019-05-20 16:59:13 -040042
Waiman Long5dec94d2019-05-20 16:59:03 -040043 * When a writer acquires a rwsem, it puts its task_struct pointer
44 * into the owner field. It is cleared after an unlock.
45 *
46 * When a reader acquires a rwsem, it will also puts its task_struct
Waiman Long7d43f1c2019-05-20 16:59:13 -040047 * pointer into the owner field with the RWSEM_READER_OWNED bit set.
48 * On unlock, the owner field will largely be left untouched. So
49 * for a free or reader-owned rwsem, the owner value may contain
50 * information about the last reader that acquires the rwsem.
Waiman Long5dec94d2019-05-20 16:59:03 -040051 *
52 * That information may be helpful in debugging cases where the system
53 * seems to hang on a reader owned rwsem especially if only one reader
54 * is involved. Ideally we would like to track all the readers that own
55 * a rwsem, but the overhead is simply too big.
Waiman Long5cfd92e2019-05-20 16:59:14 -040056 *
Waiman Long617f3ef2020-11-20 23:14:16 -050057 * A fast path reader optimistic lock stealing is supported when the rwsem
58 * is previously owned by a writer and the following conditions are met:
Waiman Long617f3ef2020-11-20 23:14:16 -050059 * - rwsem is not currently writer owned
60 * - the handoff isn't set.
Waiman Long5dec94d2019-05-20 16:59:03 -040061 */
62#define RWSEM_READER_OWNED (1UL << 0)
Waiman Long617f3ef2020-11-20 23:14:16 -050063#define RWSEM_NONSPINNABLE (1UL << 1)
Waiman Long02f10822019-05-20 16:59:10 -040064#define RWSEM_OWNER_FLAGS_MASK (RWSEM_READER_OWNED | RWSEM_NONSPINNABLE)
Waiman Long5dec94d2019-05-20 16:59:03 -040065
66#ifdef CONFIG_DEBUG_RWSEMS
67# define DEBUG_RWSEMS_WARN_ON(c, sem) do { \
68 if (!debug_locks_silent && \
Davidlohr Buesofce45cd2019-07-28 21:47:35 -070069 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 -040070 #c, atomic_long_read(&(sem)->count), \
Davidlohr Buesofce45cd2019-07-28 21:47:35 -070071 (unsigned long) sem->magic, \
Waiman Long94a97172019-05-20 16:59:12 -040072 atomic_long_read(&(sem)->owner), (long)current, \
Waiman Long5dec94d2019-05-20 16:59:03 -040073 list_empty(&(sem)->wait_list) ? "" : "not ")) \
74 debug_locks_off(); \
75 } while (0)
76#else
77# define DEBUG_RWSEMS_WARN_ON(c, sem)
78#endif
79
80/*
Waiman Longa15ea1a2019-05-20 16:59:15 -040081 * On 64-bit architectures, the bit definitions of the count are:
Waiman Long5dec94d2019-05-20 16:59:03 -040082 *
Waiman Longa15ea1a2019-05-20 16:59:15 -040083 * Bit 0 - writer locked bit
84 * Bit 1 - waiters present bit
85 * Bit 2 - lock handoff bit
86 * Bits 3-7 - reserved
87 * Bits 8-62 - 55-bit reader count
88 * Bit 63 - read fail bit
89 *
90 * On 32-bit architectures, the bit definitions of the count are:
91 *
92 * Bit 0 - writer locked bit
93 * Bit 1 - waiters present bit
94 * Bit 2 - lock handoff bit
95 * Bits 3-7 - reserved
96 * Bits 8-30 - 23-bit reader count
97 * Bit 31 - read fail bit
98 *
99 * It is not likely that the most significant bit (read fail bit) will ever
100 * be set. This guard bit is still checked anyway in the down_read() fastpath
101 * just in case we need to use up more of the reader bits for other purpose
102 * in the future.
Waiman Long5dec94d2019-05-20 16:59:03 -0400103 *
104 * atomic_long_fetch_add() is used to obtain reader lock, whereas
105 * atomic_long_cmpxchg() will be used to obtain writer lock.
Waiman Long4f23dbc2019-05-20 16:59:06 -0400106 *
107 * There are three places where the lock handoff bit may be set or cleared.
Waiman Longd257cc82021-11-15 20:29:12 -0500108 * 1) rwsem_mark_wake() for readers -- set, clear
109 * 2) rwsem_try_write_lock() for writers -- set, clear
110 * 3) rwsem_del_waiter() -- clear
Waiman Long4f23dbc2019-05-20 16:59:06 -0400111 *
112 * For all the above cases, wait_lock will be held. A writer must also
113 * be the first one in the wait_list to be eligible for setting the handoff
114 * bit. So concurrent setting/clearing of handoff bit is not possible.
Waiman Long5dec94d2019-05-20 16:59:03 -0400115 */
116#define RWSEM_WRITER_LOCKED (1UL << 0)
117#define RWSEM_FLAG_WAITERS (1UL << 1)
Waiman Long4f23dbc2019-05-20 16:59:06 -0400118#define RWSEM_FLAG_HANDOFF (1UL << 2)
Waiman Longa15ea1a2019-05-20 16:59:15 -0400119#define RWSEM_FLAG_READFAIL (1UL << (BITS_PER_LONG - 1))
Waiman Long4f23dbc2019-05-20 16:59:06 -0400120
Waiman Long5dec94d2019-05-20 16:59:03 -0400121#define RWSEM_READER_SHIFT 8
122#define RWSEM_READER_BIAS (1UL << RWSEM_READER_SHIFT)
123#define RWSEM_READER_MASK (~(RWSEM_READER_BIAS - 1))
124#define RWSEM_WRITER_MASK RWSEM_WRITER_LOCKED
125#define RWSEM_LOCK_MASK (RWSEM_WRITER_MASK|RWSEM_READER_MASK)
Waiman Long4f23dbc2019-05-20 16:59:06 -0400126#define RWSEM_READ_FAILED_MASK (RWSEM_WRITER_MASK|RWSEM_FLAG_WAITERS|\
Waiman Longa15ea1a2019-05-20 16:59:15 -0400127 RWSEM_FLAG_HANDOFF|RWSEM_FLAG_READFAIL)
Waiman Long5dec94d2019-05-20 16:59:03 -0400128
129/*
130 * All writes to owner are protected by WRITE_ONCE() to make sure that
131 * store tearing can't happen as optimistic spinners may read and use
132 * the owner value concurrently without lock. Read from owner, however,
133 * may not need READ_ONCE() as long as the pointer value is only used
134 * for comparison and isn't being dereferenced.
135 */
136static inline void rwsem_set_owner(struct rw_semaphore *sem)
137{
Waiman Long94a97172019-05-20 16:59:12 -0400138 atomic_long_set(&sem->owner, (long)current);
Waiman Long5dec94d2019-05-20 16:59:03 -0400139}
140
141static inline void rwsem_clear_owner(struct rw_semaphore *sem)
142{
Waiman Long94a97172019-05-20 16:59:12 -0400143 atomic_long_set(&sem->owner, 0);
144}
145
146/*
147 * Test the flags in the owner field.
148 */
149static inline bool rwsem_test_oflags(struct rw_semaphore *sem, long flags)
150{
151 return atomic_long_read(&sem->owner) & flags;
Waiman Long5dec94d2019-05-20 16:59:03 -0400152}
153
154/*
155 * The task_struct pointer of the last owning reader will be left in
156 * the owner field.
157 *
158 * Note that the owner value just indicates the task has owned the rwsem
159 * previously, it may not be the real owner or one of the real owners
160 * anymore when that field is examined, so take it with a grain of salt.
Waiman Long5cfd92e2019-05-20 16:59:14 -0400161 *
162 * The reader non-spinnable bit is preserved.
Waiman Long5dec94d2019-05-20 16:59:03 -0400163 */
164static inline void __rwsem_set_reader_owned(struct rw_semaphore *sem,
165 struct task_struct *owner)
166{
Waiman Long5cfd92e2019-05-20 16:59:14 -0400167 unsigned long val = (unsigned long)owner | RWSEM_READER_OWNED |
Waiman Long617f3ef2020-11-20 23:14:16 -0500168 (atomic_long_read(&sem->owner) & RWSEM_NONSPINNABLE);
Waiman Long5dec94d2019-05-20 16:59:03 -0400169
Waiman Long94a97172019-05-20 16:59:12 -0400170 atomic_long_set(&sem->owner, val);
Waiman Long5dec94d2019-05-20 16:59:03 -0400171}
172
173static inline void rwsem_set_reader_owned(struct rw_semaphore *sem)
174{
175 __rwsem_set_reader_owned(sem, current);
176}
177
178/*
Waiman Long94a97172019-05-20 16:59:12 -0400179 * Return true if the rwsem is owned by a reader.
Waiman Long5dec94d2019-05-20 16:59:03 -0400180 */
Waiman Long94a97172019-05-20 16:59:12 -0400181static inline bool is_rwsem_reader_owned(struct rw_semaphore *sem)
Waiman Long5dec94d2019-05-20 16:59:03 -0400182{
Waiman Long94a97172019-05-20 16:59:12 -0400183#ifdef CONFIG_DEBUG_RWSEMS
184 /*
185 * Check the count to see if it is write-locked.
186 */
187 long count = atomic_long_read(&sem->count);
188
189 if (count & RWSEM_WRITER_MASK)
190 return false;
191#endif
192 return rwsem_test_oflags(sem, RWSEM_READER_OWNED);
Waiman Long5dec94d2019-05-20 16:59:03 -0400193}
194
195#ifdef CONFIG_DEBUG_RWSEMS
196/*
197 * With CONFIG_DEBUG_RWSEMS configured, it will make sure that if there
198 * is a task pointer in owner of a reader-owned rwsem, it will be the
199 * real owner or one of the real owners. The only exception is when the
200 * unlock is done by up_read_non_owner().
201 */
202static inline void rwsem_clear_reader_owned(struct rw_semaphore *sem)
203{
Waiman Long94a97172019-05-20 16:59:12 -0400204 unsigned long val = atomic_long_read(&sem->owner);
205
206 while ((val & ~RWSEM_OWNER_FLAGS_MASK) == (unsigned long)current) {
207 if (atomic_long_try_cmpxchg(&sem->owner, &val,
208 val & RWSEM_OWNER_FLAGS_MASK))
209 return;
210 }
Waiman Long5dec94d2019-05-20 16:59:03 -0400211}
212#else
213static inline void rwsem_clear_reader_owned(struct rw_semaphore *sem)
214{
215}
216#endif
217
218/*
Waiman Long7d43f1c2019-05-20 16:59:13 -0400219 * Set the RWSEM_NONSPINNABLE bits if the RWSEM_READER_OWNED flag
220 * remains set. Otherwise, the operation will be aborted.
221 */
222static inline void rwsem_set_nonspinnable(struct rw_semaphore *sem)
223{
224 unsigned long owner = atomic_long_read(&sem->owner);
225
226 do {
227 if (!(owner & RWSEM_READER_OWNED))
228 break;
229 if (owner & RWSEM_NONSPINNABLE)
230 break;
231 } while (!atomic_long_try_cmpxchg(&sem->owner, &owner,
232 owner | RWSEM_NONSPINNABLE));
233}
234
Waiman Longc8fe8b02020-11-20 23:14:12 -0500235static inline bool rwsem_read_trylock(struct rw_semaphore *sem, long *cntp)
Waiman Longa15ea1a2019-05-20 16:59:15 -0400236{
Waiman Longc8fe8b02020-11-20 23:14:12 -0500237 *cntp = atomic_long_add_return_acquire(RWSEM_READER_BIAS, &sem->count);
Peter Zijlstra33791162020-12-08 10:22:16 +0100238
Waiman Longc8fe8b02020-11-20 23:14:12 -0500239 if (WARN_ON_ONCE(*cntp < 0))
Waiman Longa15ea1a2019-05-20 16:59:15 -0400240 rwsem_set_nonspinnable(sem);
Peter Zijlstra33791162020-12-08 10:22:16 +0100241
Waiman Longc8fe8b02020-11-20 23:14:12 -0500242 if (!(*cntp & RWSEM_READ_FAILED_MASK)) {
Peter Zijlstra33791162020-12-08 10:22:16 +0100243 rwsem_set_reader_owned(sem);
244 return true;
245 }
246
247 return false;
Waiman Longa15ea1a2019-05-20 16:59:15 -0400248}
249
Peter Zijlstra285c61a2020-12-08 10:25:06 +0100250static inline bool rwsem_write_trylock(struct rw_semaphore *sem)
251{
252 long tmp = RWSEM_UNLOCKED_VALUE;
253
254 if (atomic_long_try_cmpxchg_acquire(&sem->count, &tmp, RWSEM_WRITER_LOCKED)) {
255 rwsem_set_owner(sem);
256 return true;
257 }
258
259 return false;
260}
261
Waiman Long7d43f1c2019-05-20 16:59:13 -0400262/*
Waiman Long94a97172019-05-20 16:59:12 -0400263 * Return just the real task structure pointer of the owner
264 */
265static inline struct task_struct *rwsem_owner(struct rw_semaphore *sem)
266{
267 return (struct task_struct *)
268 (atomic_long_read(&sem->owner) & ~RWSEM_OWNER_FLAGS_MASK);
269}
270
271/*
272 * Return the real task structure pointer of the owner and the embedded
273 * flags in the owner. pflags must be non-NULL.
274 */
275static inline struct task_struct *
276rwsem_owner_flags(struct rw_semaphore *sem, unsigned long *pflags)
277{
278 unsigned long owner = atomic_long_read(&sem->owner);
279
280 *pflags = owner & RWSEM_OWNER_FLAGS_MASK;
281 return (struct task_struct *)(owner & ~RWSEM_OWNER_FLAGS_MASK);
282}
283
284/*
Waiman Long5dec94d2019-05-20 16:59:03 -0400285 * Guide to the rw_semaphore's count field.
286 *
287 * When the RWSEM_WRITER_LOCKED bit in count is set, the lock is owned
288 * by a writer.
289 *
290 * The lock is owned by readers when
291 * (1) the RWSEM_WRITER_LOCKED isn't set in count,
292 * (2) some of the reader bits are set in count, and
293 * (3) the owner field has RWSEM_READ_OWNED bit set.
294 *
295 * Having some reader bits set is not enough to guarantee a readers owned
296 * lock as the readers may be in the process of backing out from the count
297 * and a writer has just released the lock. So another writer may steal
298 * the lock immediately after that.
299 */
300
301/*
302 * Initialize an rwsem:
303 */
304void __init_rwsem(struct rw_semaphore *sem, const char *name,
305 struct lock_class_key *key)
306{
307#ifdef CONFIG_DEBUG_LOCK_ALLOC
308 /*
309 * Make sure we are not reinitializing a held semaphore:
310 */
311 debug_check_no_locks_freed((void *)sem, sizeof(*sem));
Peter Zijlstrade8f5e42020-03-21 12:26:01 +0100312 lockdep_init_map_wait(&sem->dep_map, name, key, 0, LD_WAIT_SLEEP);
Waiman Long5dec94d2019-05-20 16:59:03 -0400313#endif
Davidlohr Buesofce45cd2019-07-28 21:47:35 -0700314#ifdef CONFIG_DEBUG_RWSEMS
315 sem->magic = sem;
316#endif
Waiman Long5dec94d2019-05-20 16:59:03 -0400317 atomic_long_set(&sem->count, RWSEM_UNLOCKED_VALUE);
318 raw_spin_lock_init(&sem->wait_lock);
319 INIT_LIST_HEAD(&sem->wait_list);
Waiman Long94a97172019-05-20 16:59:12 -0400320 atomic_long_set(&sem->owner, 0L);
Waiman Long5dec94d2019-05-20 16:59:03 -0400321#ifdef CONFIG_RWSEM_SPIN_ON_OWNER
322 osq_lock_init(&sem->osq);
323#endif
324}
Waiman Long5dec94d2019-05-20 16:59:03 -0400325EXPORT_SYMBOL(__init_rwsem);
326
327enum rwsem_waiter_type {
328 RWSEM_WAITING_FOR_WRITE,
329 RWSEM_WAITING_FOR_READ
330};
331
332struct rwsem_waiter {
333 struct list_head list;
334 struct task_struct *task;
335 enum rwsem_waiter_type type;
Waiman Long4f23dbc2019-05-20 16:59:06 -0400336 unsigned long timeout;
Waiman Longd257cc82021-11-15 20:29:12 -0500337
338 /* Writer only, not initialized in reader */
339 bool handoff_set;
Waiman Long5dec94d2019-05-20 16:59:03 -0400340};
Waiman Long4f23dbc2019-05-20 16:59:06 -0400341#define rwsem_first_waiter(sem) \
342 list_first_entry(&sem->wait_list, struct rwsem_waiter, list)
Waiman Long5dec94d2019-05-20 16:59:03 -0400343
344enum rwsem_wake_type {
345 RWSEM_WAKE_ANY, /* Wake whatever's at head of wait list */
346 RWSEM_WAKE_READERS, /* Wake readers only */
347 RWSEM_WAKE_READ_OWNED /* Waker thread holds the read lock */
348};
349
Waiman Long4f23dbc2019-05-20 16:59:06 -0400350/*
351 * The typical HZ value is either 250 or 1000. So set the minimum waiting
352 * time to at least 4ms or 1 jiffy (if it is higher than 4ms) in the wait
353 * queue before initiating the handoff protocol.
354 */
355#define RWSEM_WAIT_TIMEOUT DIV_ROUND_UP(HZ, 250)
356
Waiman Long5dec94d2019-05-20 16:59:03 -0400357/*
Waiman Longd3681e22019-05-20 16:59:09 -0400358 * Magic number to batch-wakeup waiting readers, even when writers are
359 * also present in the queue. This both limits the amount of work the
360 * waking thread must do and also prevents any potential counter overflow,
361 * however unlikely.
362 */
363#define MAX_READERS_WAKEUP 0x100
364
Waiman Longd257cc82021-11-15 20:29:12 -0500365static inline void
366rwsem_add_waiter(struct rw_semaphore *sem, struct rwsem_waiter *waiter)
367{
368 lockdep_assert_held(&sem->wait_lock);
369 list_add_tail(&waiter->list, &sem->wait_list);
370 /* caller will set RWSEM_FLAG_WAITERS */
371}
372
373/*
374 * Remove a waiter from the wait_list and clear flags.
375 *
376 * Both rwsem_mark_wake() and rwsem_try_write_lock() contain a full 'copy' of
377 * this function. Modify with care.
378 */
379static inline void
380rwsem_del_waiter(struct rw_semaphore *sem, struct rwsem_waiter *waiter)
381{
382 lockdep_assert_held(&sem->wait_lock);
383 list_del(&waiter->list);
384 if (likely(!list_empty(&sem->wait_list)))
385 return;
386
387 atomic_long_andnot(RWSEM_FLAG_HANDOFF | RWSEM_FLAG_WAITERS, &sem->count);
388}
389
Waiman Longd3681e22019-05-20 16:59:09 -0400390/*
Waiman Long5dec94d2019-05-20 16:59:03 -0400391 * handle the lock release when processes blocked on it that can now run
392 * - if we come here from up_xxxx(), then the RWSEM_FLAG_WAITERS bit must
393 * have been set.
394 * - there must be someone on the queue
395 * - the wait_lock must be held by the caller
396 * - tasks are marked for wakeup, the caller must later invoke wake_up_q()
397 * to actually wakeup the blocked task(s) and drop the reference count,
398 * preferably when the wait_lock is released
399 * - woken process blocks are discarded from the list after having task zeroed
400 * - writers are only marked woken if downgrading is false
Waiman Longd257cc82021-11-15 20:29:12 -0500401 *
402 * Implies rwsem_del_waiter() for all woken readers.
Waiman Long5dec94d2019-05-20 16:59:03 -0400403 */
Waiman Long6cef7ff62019-05-20 16:59:04 -0400404static void rwsem_mark_wake(struct rw_semaphore *sem,
405 enum rwsem_wake_type wake_type,
406 struct wake_q_head *wake_q)
Waiman Long5dec94d2019-05-20 16:59:03 -0400407{
408 struct rwsem_waiter *waiter, *tmp;
409 long oldcount, woken = 0, adjustment = 0;
410 struct list_head wlist;
411
Waiman Long4f23dbc2019-05-20 16:59:06 -0400412 lockdep_assert_held(&sem->wait_lock);
413
Waiman Long5dec94d2019-05-20 16:59:03 -0400414 /*
415 * Take a peek at the queue head waiter such that we can determine
416 * the wakeup(s) to perform.
417 */
Waiman Long4f23dbc2019-05-20 16:59:06 -0400418 waiter = rwsem_first_waiter(sem);
Waiman Long5dec94d2019-05-20 16:59:03 -0400419
420 if (waiter->type == RWSEM_WAITING_FOR_WRITE) {
421 if (wake_type == RWSEM_WAKE_ANY) {
422 /*
423 * Mark writer at the front of the queue for wakeup.
424 * Until the task is actually later awoken later by
425 * the caller, other writers are able to steal it.
426 * Readers, on the other hand, will block as they
427 * will notice the queued writer.
428 */
429 wake_q_add(wake_q, waiter->task);
430 lockevent_inc(rwsem_wake_writer);
431 }
432
433 return;
434 }
435
436 /*
Waiman Longa15ea1a2019-05-20 16:59:15 -0400437 * No reader wakeup if there are too many of them already.
438 */
439 if (unlikely(atomic_long_read(&sem->count) < 0))
440 return;
441
442 /*
Waiman Long5dec94d2019-05-20 16:59:03 -0400443 * Writers might steal the lock before we grant it to the next reader.
444 * We prefer to do the first reader grant before counting readers
445 * so we can bail out early if a writer stole the lock.
446 */
447 if (wake_type != RWSEM_WAKE_READ_OWNED) {
Waiman Long5cfd92e2019-05-20 16:59:14 -0400448 struct task_struct *owner;
449
Waiman Long5dec94d2019-05-20 16:59:03 -0400450 adjustment = RWSEM_READER_BIAS;
451 oldcount = atomic_long_fetch_add(adjustment, &sem->count);
452 if (unlikely(oldcount & RWSEM_WRITER_MASK)) {
Waiman Long4f23dbc2019-05-20 16:59:06 -0400453 /*
454 * When we've been waiting "too" long (for writers
455 * to give up the lock), request a HANDOFF to
456 * force the issue.
457 */
458 if (!(oldcount & RWSEM_FLAG_HANDOFF) &&
459 time_after(jiffies, waiter->timeout)) {
460 adjustment -= RWSEM_FLAG_HANDOFF;
461 lockevent_inc(rwsem_rlock_handoff);
462 }
463
464 atomic_long_add(-adjustment, &sem->count);
Waiman Long5dec94d2019-05-20 16:59:03 -0400465 return;
466 }
467 /*
468 * Set it to reader-owned to give spinners an early
469 * indication that readers now have the lock.
Waiman Long5cfd92e2019-05-20 16:59:14 -0400470 * The reader nonspinnable bit seen at slowpath entry of
471 * the reader is copied over.
Waiman Long5dec94d2019-05-20 16:59:03 -0400472 */
Waiman Long5cfd92e2019-05-20 16:59:14 -0400473 owner = waiter->task;
Waiman Long5cfd92e2019-05-20 16:59:14 -0400474 __rwsem_set_reader_owned(sem, owner);
Waiman Long5dec94d2019-05-20 16:59:03 -0400475 }
476
477 /*
Waiman Longd3681e22019-05-20 16:59:09 -0400478 * Grant up to MAX_READERS_WAKEUP read locks to all the readers in the
479 * queue. We know that the woken will be at least 1 as we accounted
Waiman Long5dec94d2019-05-20 16:59:03 -0400480 * for above. Note we increment the 'active part' of the count by the
481 * number of readers before waking any processes up.
482 *
Waiman Longd3681e22019-05-20 16:59:09 -0400483 * This is an adaptation of the phase-fair R/W locks where at the
484 * reader phase (first waiter is a reader), all readers are eligible
485 * to acquire the lock at the same time irrespective of their order
486 * in the queue. The writers acquire the lock according to their
487 * order in the queue.
488 *
Waiman Long5dec94d2019-05-20 16:59:03 -0400489 * We have to do wakeup in 2 passes to prevent the possibility that
490 * the reader count may be decremented before it is incremented. It
491 * is because the to-be-woken waiter may not have slept yet. So it
492 * may see waiter->task got cleared, finish its critical section and
493 * do an unlock before the reader count increment.
494 *
495 * 1) Collect the read-waiters in a separate list, count them and
496 * fully increment the reader count in rwsem.
497 * 2) For each waiters in the new list, clear waiter->task and
498 * put them into wake_q to be woken up later.
499 */
Waiman Longd3681e22019-05-20 16:59:09 -0400500 INIT_LIST_HEAD(&wlist);
501 list_for_each_entry_safe(waiter, tmp, &sem->wait_list, list) {
Waiman Long5dec94d2019-05-20 16:59:03 -0400502 if (waiter->type == RWSEM_WAITING_FOR_WRITE)
Waiman Longd3681e22019-05-20 16:59:09 -0400503 continue;
Waiman Long5dec94d2019-05-20 16:59:03 -0400504
505 woken++;
Waiman Longd3681e22019-05-20 16:59:09 -0400506 list_move_tail(&waiter->list, &wlist);
507
508 /*
509 * Limit # of readers that can be woken up per wakeup call.
510 */
Yanfei Xu5197fcd2021-10-13 21:41:54 +0800511 if (unlikely(woken >= MAX_READERS_WAKEUP))
Waiman Longd3681e22019-05-20 16:59:09 -0400512 break;
Waiman Long5dec94d2019-05-20 16:59:03 -0400513 }
Waiman Long5dec94d2019-05-20 16:59:03 -0400514
515 adjustment = woken * RWSEM_READER_BIAS - adjustment;
516 lockevent_cond_inc(rwsem_wake_reader, woken);
Waiman Long5dec94d2019-05-20 16:59:03 -0400517
Waiman Longd257cc82021-11-15 20:29:12 -0500518 oldcount = atomic_long_read(&sem->count);
519 if (list_empty(&sem->wait_list)) {
520 /*
521 * Combined with list_move_tail() above, this implies
522 * rwsem_del_waiter().
523 */
524 adjustment -= RWSEM_FLAG_WAITERS;
525 if (oldcount & RWSEM_FLAG_HANDOFF)
526 adjustment -= RWSEM_FLAG_HANDOFF;
527 } else if (woken) {
528 /*
529 * When we've woken a reader, we no longer need to force
530 * writers to give up the lock and we can clear HANDOFF.
531 */
532 if (oldcount & RWSEM_FLAG_HANDOFF)
533 adjustment -= RWSEM_FLAG_HANDOFF;
534 }
Waiman Long4f23dbc2019-05-20 16:59:06 -0400535
Waiman Long5dec94d2019-05-20 16:59:03 -0400536 if (adjustment)
537 atomic_long_add(adjustment, &sem->count);
538
539 /* 2nd pass */
540 list_for_each_entry_safe(waiter, tmp, &wlist, list) {
541 struct task_struct *tsk;
542
543 tsk = waiter->task;
544 get_task_struct(tsk);
545
546 /*
547 * Ensure calling get_task_struct() before setting the reader
Waiman Long6cef7ff62019-05-20 16:59:04 -0400548 * waiter to nil such that rwsem_down_read_slowpath() cannot
Waiman Long5dec94d2019-05-20 16:59:03 -0400549 * race with do_exit() by always holding a reference count
550 * to the task to wakeup.
551 */
552 smp_store_release(&waiter->task, NULL);
553 /*
554 * Ensure issuing the wakeup (either by us or someone else)
555 * after setting the reader waiter to nil.
556 */
557 wake_q_add_safe(wake_q, tsk);
558 }
559}
560
561/*
562 * This function must be called with the sem->wait_lock held to prevent
563 * race conditions between checking the rwsem wait list and setting the
564 * sem->count accordingly.
Waiman Long4f23dbc2019-05-20 16:59:06 -0400565 *
Waiman Longd257cc82021-11-15 20:29:12 -0500566 * Implies rwsem_del_waiter() on success.
Waiman Long5dec94d2019-05-20 16:59:03 -0400567 */
Waiman Long00f3c5a2019-05-20 16:59:07 -0400568static inline bool rwsem_try_write_lock(struct rw_semaphore *sem,
Waiman Longd257cc82021-11-15 20:29:12 -0500569 struct rwsem_waiter *waiter)
Waiman Long5dec94d2019-05-20 16:59:03 -0400570{
Waiman Longd257cc82021-11-15 20:29:12 -0500571 bool first = rwsem_first_waiter(sem) == waiter;
Waiman Long00f3c5a2019-05-20 16:59:07 -0400572 long count, new;
Waiman Long5dec94d2019-05-20 16:59:03 -0400573
Waiman Long4f23dbc2019-05-20 16:59:06 -0400574 lockdep_assert_held(&sem->wait_lock);
575
Waiman Long00f3c5a2019-05-20 16:59:07 -0400576 count = atomic_long_read(&sem->count);
Waiman Long4f23dbc2019-05-20 16:59:06 -0400577 do {
578 bool has_handoff = !!(count & RWSEM_FLAG_HANDOFF);
579
Waiman Longd257cc82021-11-15 20:29:12 -0500580 if (has_handoff) {
581 if (!first)
582 return false;
583
584 /* First waiter inherits a previously set handoff bit */
585 waiter->handoff_set = true;
586 }
Waiman Long4f23dbc2019-05-20 16:59:06 -0400587
588 new = count;
589
590 if (count & RWSEM_LOCK_MASK) {
Waiman Longd257cc82021-11-15 20:29:12 -0500591 if (has_handoff || (!rt_task(waiter->task) &&
592 !time_after(jiffies, waiter->timeout)))
Waiman Long4f23dbc2019-05-20 16:59:06 -0400593 return false;
594
595 new |= RWSEM_FLAG_HANDOFF;
596 } else {
597 new |= RWSEM_WRITER_LOCKED;
598 new &= ~RWSEM_FLAG_HANDOFF;
599
600 if (list_is_singular(&sem->wait_list))
601 new &= ~RWSEM_FLAG_WAITERS;
602 }
603 } while (!atomic_long_try_cmpxchg_acquire(&sem->count, &count, new));
604
605 /*
606 * We have either acquired the lock with handoff bit cleared or
607 * set the handoff bit.
608 */
Waiman Longd257cc82021-11-15 20:29:12 -0500609 if (new & RWSEM_FLAG_HANDOFF) {
610 waiter->handoff_set = true;
611 lockevent_inc(rwsem_wlock_handoff);
Waiman Long5dec94d2019-05-20 16:59:03 -0400612 return false;
Waiman Longd257cc82021-11-15 20:29:12 -0500613 }
Waiman Long5dec94d2019-05-20 16:59:03 -0400614
Waiman Longd257cc82021-11-15 20:29:12 -0500615 /*
616 * Have rwsem_try_write_lock() fully imply rwsem_del_waiter() on
617 * success.
618 */
619 list_del(&waiter->list);
Waiman Long4f23dbc2019-05-20 16:59:06 -0400620 rwsem_set_owner(sem);
621 return true;
Waiman Long5dec94d2019-05-20 16:59:03 -0400622}
623
Yanfei Xu7cdacc52021-10-13 21:41:53 +0800624/*
625 * The rwsem_spin_on_owner() function returns the following 4 values
626 * depending on the lock owner state.
627 * OWNER_NULL : owner is currently NULL
628 * OWNER_WRITER: when owner changes and is a writer
629 * OWNER_READER: when owner changes and the new owner may be a reader.
630 * OWNER_NONSPINNABLE:
631 * when optimistic spinning has to stop because either the
632 * owner stops running, is unknown, or its timeslice has
633 * been used up.
634 */
635enum owner_state {
636 OWNER_NULL = 1 << 0,
637 OWNER_WRITER = 1 << 1,
638 OWNER_READER = 1 << 2,
639 OWNER_NONSPINNABLE = 1 << 3,
640};
641
Waiman Long5dec94d2019-05-20 16:59:03 -0400642#ifdef CONFIG_RWSEM_SPIN_ON_OWNER
643/*
644 * Try to acquire write lock before the writer has been put on wait queue.
645 */
646static inline bool rwsem_try_write_lock_unqueued(struct rw_semaphore *sem)
647{
648 long count = atomic_long_read(&sem->count);
649
Waiman Long4f23dbc2019-05-20 16:59:06 -0400650 while (!(count & (RWSEM_LOCK_MASK|RWSEM_FLAG_HANDOFF))) {
Waiman Long5dec94d2019-05-20 16:59:03 -0400651 if (atomic_long_try_cmpxchg_acquire(&sem->count, &count,
Waiman Long4f23dbc2019-05-20 16:59:06 -0400652 count | RWSEM_WRITER_LOCKED)) {
Waiman Long5dec94d2019-05-20 16:59:03 -0400653 rwsem_set_owner(sem);
Waiman Long617f3ef2020-11-20 23:14:16 -0500654 lockevent_inc(rwsem_opt_lock);
Waiman Long5dec94d2019-05-20 16:59:03 -0400655 return true;
656 }
657 }
658 return false;
659}
660
661static inline bool owner_on_cpu(struct task_struct *owner)
662{
663 /*
664 * As lock holder preemption issue, we both skip spinning if
665 * task is not on cpu or its cpu is preempted
666 */
667 return owner->on_cpu && !vcpu_is_preempted(task_cpu(owner));
668}
669
Waiman Long617f3ef2020-11-20 23:14:16 -0500670static inline bool rwsem_can_spin_on_owner(struct rw_semaphore *sem)
Waiman Long5dec94d2019-05-20 16:59:03 -0400671{
672 struct task_struct *owner;
Waiman Long94a97172019-05-20 16:59:12 -0400673 unsigned long flags;
Waiman Long5dec94d2019-05-20 16:59:03 -0400674 bool ret = true;
675
Waiman Longcf694822019-05-20 16:59:11 -0400676 if (need_resched()) {
677 lockevent_inc(rwsem_opt_fail);
Waiman Long5dec94d2019-05-20 16:59:03 -0400678 return false;
Waiman Longcf694822019-05-20 16:59:11 -0400679 }
Waiman Long5dec94d2019-05-20 16:59:03 -0400680
Waiman Longcf694822019-05-20 16:59:11 -0400681 preempt_disable();
Yanfei Xu6c2787f2021-10-13 21:41:52 +0800682 /*
683 * Disable preemption is equal to the RCU read-side crital section,
684 * thus the task_strcut structure won't go away.
685 */
Waiman Long94a97172019-05-20 16:59:12 -0400686 owner = rwsem_owner_flags(sem, &flags);
Waiman Long78134302019-07-20 11:04:10 -0400687 /*
688 * Don't check the read-owner as the entry may be stale.
689 */
Waiman Long617f3ef2020-11-20 23:14:16 -0500690 if ((flags & RWSEM_NONSPINNABLE) ||
Waiman Long78134302019-07-20 11:04:10 -0400691 (owner && !(flags & RWSEM_READER_OWNED) && !owner_on_cpu(owner)))
Waiman Long94a97172019-05-20 16:59:12 -0400692 ret = false;
Waiman Longcf694822019-05-20 16:59:11 -0400693 preempt_enable();
694
695 lockevent_cond_inc(rwsem_opt_fail, !ret);
Waiman Long5dec94d2019-05-20 16:59:03 -0400696 return ret;
697}
698
Waiman Long7d43f1c2019-05-20 16:59:13 -0400699#define OWNER_SPINNABLE (OWNER_NULL | OWNER_WRITER | OWNER_READER)
Waiman Long5dec94d2019-05-20 16:59:03 -0400700
Waiman Long94a97172019-05-20 16:59:12 -0400701static inline enum owner_state
Waiman Long617f3ef2020-11-20 23:14:16 -0500702rwsem_owner_state(struct task_struct *owner, unsigned long flags)
Waiman Long3f6d5172019-05-20 16:59:05 -0400703{
Waiman Long617f3ef2020-11-20 23:14:16 -0500704 if (flags & RWSEM_NONSPINNABLE)
Waiman Long3f6d5172019-05-20 16:59:05 -0400705 return OWNER_NONSPINNABLE;
706
Waiman Long94a97172019-05-20 16:59:12 -0400707 if (flags & RWSEM_READER_OWNED)
Waiman Long3f6d5172019-05-20 16:59:05 -0400708 return OWNER_READER;
709
Waiman Long94a97172019-05-20 16:59:12 -0400710 return owner ? OWNER_WRITER : OWNER_NULL;
Waiman Long3f6d5172019-05-20 16:59:05 -0400711}
712
Waiman Long7d43f1c2019-05-20 16:59:13 -0400713static noinline enum owner_state
Waiman Long617f3ef2020-11-20 23:14:16 -0500714rwsem_spin_on_owner(struct rw_semaphore *sem)
Waiman Long3f6d5172019-05-20 16:59:05 -0400715{
Waiman Long94a97172019-05-20 16:59:12 -0400716 struct task_struct *new, *owner;
717 unsigned long flags, new_flags;
718 enum owner_state state;
Waiman Long3f6d5172019-05-20 16:59:05 -0400719
Yanfei Xu6c2787f2021-10-13 21:41:52 +0800720 lockdep_assert_preemption_disabled();
721
Waiman Long94a97172019-05-20 16:59:12 -0400722 owner = rwsem_owner_flags(sem, &flags);
Waiman Long617f3ef2020-11-20 23:14:16 -0500723 state = rwsem_owner_state(owner, flags);
Waiman Long3f6d5172019-05-20 16:59:05 -0400724 if (state != OWNER_WRITER)
725 return state;
Waiman Long5dec94d2019-05-20 16:59:03 -0400726
Waiman Long3f6d5172019-05-20 16:59:05 -0400727 for (;;) {
Waiman Long91d2a812019-06-25 10:39:13 -0400728 /*
729 * When a waiting writer set the handoff flag, it may spin
730 * on the owner as well. Once that writer acquires the lock,
731 * we can spin on it. So we don't need to quit even when the
732 * handoff bit is set.
733 */
Waiman Long94a97172019-05-20 16:59:12 -0400734 new = rwsem_owner_flags(sem, &new_flags);
735 if ((new != owner) || (new_flags != flags)) {
Waiman Long617f3ef2020-11-20 23:14:16 -0500736 state = rwsem_owner_state(new, new_flags);
Waiman Long3f6d5172019-05-20 16:59:05 -0400737 break;
738 }
739
Waiman Long5dec94d2019-05-20 16:59:03 -0400740 /*
741 * Ensure we emit the owner->on_cpu, dereference _after_
742 * checking sem->owner still matches owner, if that fails,
743 * owner might point to free()d memory, if it still matches,
Yanfei Xu6c2787f2021-10-13 21:41:52 +0800744 * our spinning context already disabled preemption which is
745 * equal to RCU read-side crital section ensures the memory
746 * stays valid.
Waiman Long5dec94d2019-05-20 16:59:03 -0400747 */
748 barrier();
749
Waiman Long5dec94d2019-05-20 16:59:03 -0400750 if (need_resched() || !owner_on_cpu(owner)) {
Waiman Long3f6d5172019-05-20 16:59:05 -0400751 state = OWNER_NONSPINNABLE;
752 break;
Waiman Long5dec94d2019-05-20 16:59:03 -0400753 }
754
755 cpu_relax();
756 }
Waiman Long5dec94d2019-05-20 16:59:03 -0400757
Waiman Long3f6d5172019-05-20 16:59:05 -0400758 return state;
Waiman Long5dec94d2019-05-20 16:59:03 -0400759}
760
Waiman Long7d43f1c2019-05-20 16:59:13 -0400761/*
762 * Calculate reader-owned rwsem spinning threshold for writer
763 *
764 * The more readers own the rwsem, the longer it will take for them to
765 * wind down and free the rwsem. So the empirical formula used to
766 * determine the actual spinning time limit here is:
767 *
768 * Spinning threshold = (10 + nr_readers/2)us
769 *
770 * The limit is capped to a maximum of 25us (30 readers). This is just
771 * a heuristic and is subjected to change in the future.
772 */
773static inline u64 rwsem_rspin_threshold(struct rw_semaphore *sem)
774{
775 long count = atomic_long_read(&sem->count);
776 int readers = count >> RWSEM_READER_SHIFT;
777 u64 delta;
778
779 if (readers > 30)
780 readers = 30;
781 delta = (20 + readers) * NSEC_PER_USEC / 2;
782
783 return sched_clock() + delta;
784}
785
Waiman Long617f3ef2020-11-20 23:14:16 -0500786static bool rwsem_optimistic_spin(struct rw_semaphore *sem)
Waiman Long5dec94d2019-05-20 16:59:03 -0400787{
788 bool taken = false;
Waiman Long990fa732019-05-20 16:59:08 -0400789 int prev_owner_state = OWNER_NULL;
Waiman Long7d43f1c2019-05-20 16:59:13 -0400790 int loop = 0;
791 u64 rspin_threshold = 0;
Waiman Long5dec94d2019-05-20 16:59:03 -0400792
793 preempt_disable();
794
795 /* sem->wait_lock should not be held when doing optimistic spinning */
Waiman Long5dec94d2019-05-20 16:59:03 -0400796 if (!osq_lock(&sem->osq))
797 goto done;
798
799 /*
800 * Optimistically spin on the owner field and attempt to acquire the
801 * lock whenever the owner changes. Spinning will be stopped when:
802 * 1) the owning writer isn't running; or
Waiman Long7d43f1c2019-05-20 16:59:13 -0400803 * 2) readers own the lock and spinning time has exceeded limit.
Waiman Long5dec94d2019-05-20 16:59:03 -0400804 */
Waiman Long990fa732019-05-20 16:59:08 -0400805 for (;;) {
Waiman Long7d43f1c2019-05-20 16:59:13 -0400806 enum owner_state owner_state;
Waiman Long990fa732019-05-20 16:59:08 -0400807
Waiman Long617f3ef2020-11-20 23:14:16 -0500808 owner_state = rwsem_spin_on_owner(sem);
Waiman Long990fa732019-05-20 16:59:08 -0400809 if (!(owner_state & OWNER_SPINNABLE))
810 break;
811
Waiman Long5dec94d2019-05-20 16:59:03 -0400812 /*
813 * Try to acquire the lock
814 */
Waiman Long617f3ef2020-11-20 23:14:16 -0500815 taken = rwsem_try_write_lock_unqueued(sem);
Waiman Longcf694822019-05-20 16:59:11 -0400816
817 if (taken)
Waiman Long5dec94d2019-05-20 16:59:03 -0400818 break;
Waiman Long5dec94d2019-05-20 16:59:03 -0400819
820 /*
Waiman Long7d43f1c2019-05-20 16:59:13 -0400821 * Time-based reader-owned rwsem optimistic spinning
822 */
Waiman Long617f3ef2020-11-20 23:14:16 -0500823 if (owner_state == OWNER_READER) {
Waiman Long7d43f1c2019-05-20 16:59:13 -0400824 /*
825 * Re-initialize rspin_threshold every time when
826 * the owner state changes from non-reader to reader.
827 * This allows a writer to steal the lock in between
828 * 2 reader phases and have the threshold reset at
829 * the beginning of the 2nd reader phase.
830 */
831 if (prev_owner_state != OWNER_READER) {
Waiman Long617f3ef2020-11-20 23:14:16 -0500832 if (rwsem_test_oflags(sem, RWSEM_NONSPINNABLE))
Waiman Long7d43f1c2019-05-20 16:59:13 -0400833 break;
834 rspin_threshold = rwsem_rspin_threshold(sem);
835 loop = 0;
836 }
837
838 /*
839 * Check time threshold once every 16 iterations to
840 * avoid calling sched_clock() too frequently so
841 * as to reduce the average latency between the times
842 * when the lock becomes free and when the spinner
843 * is ready to do a trylock.
844 */
845 else if (!(++loop & 0xf) && (sched_clock() > rspin_threshold)) {
846 rwsem_set_nonspinnable(sem);
847 lockevent_inc(rwsem_opt_nospin);
848 break;
849 }
850 }
851
852 /*
Waiman Long990fa732019-05-20 16:59:08 -0400853 * An RT task cannot do optimistic spinning if it cannot
854 * be sure the lock holder is running or live-lock may
855 * happen if the current task and the lock holder happen
856 * to run in the same CPU. However, aborting optimistic
857 * spinning while a NULL owner is detected may miss some
858 * opportunity where spinning can continue without causing
859 * problem.
860 *
861 * There are 2 possible cases where an RT task may be able
862 * to continue spinning.
863 *
864 * 1) The lock owner is in the process of releasing the
865 * lock, sem->owner is cleared but the lock has not
866 * been released yet.
867 * 2) The lock was free and owner cleared, but another
868 * task just comes in and acquire the lock before
869 * we try to get it. The new owner may be a spinnable
870 * writer.
871 *
Ingo Molnare2db7592021-03-22 02:35:05 +0100872 * To take advantage of two scenarios listed above, the RT
Waiman Long990fa732019-05-20 16:59:08 -0400873 * task is made to retry one more time to see if it can
874 * acquire the lock or continue spinning on the new owning
875 * writer. Of course, if the time lag is long enough or the
876 * new owner is not a writer or spinnable, the RT task will
877 * quit spinning.
878 *
879 * If the owner is a writer, the need_resched() check is
880 * done inside rwsem_spin_on_owner(). If the owner is not
881 * a writer, need_resched() check needs to be done here.
Waiman Long5dec94d2019-05-20 16:59:03 -0400882 */
Waiman Long990fa732019-05-20 16:59:08 -0400883 if (owner_state != OWNER_WRITER) {
884 if (need_resched())
885 break;
886 if (rt_task(current) &&
887 (prev_owner_state != OWNER_WRITER))
888 break;
889 }
890 prev_owner_state = owner_state;
Waiman Long5dec94d2019-05-20 16:59:03 -0400891
892 /*
893 * The cpu_relax() call is a compiler barrier which forces
894 * everything in this loop to be re-loaded. We don't need
895 * memory barriers as we'll eventually observe the right
896 * values at the cost of a few extra spins.
897 */
898 cpu_relax();
899 }
900 osq_unlock(&sem->osq);
901done:
902 preempt_enable();
903 lockevent_cond_inc(rwsem_opt_fail, !taken);
904 return taken;
905}
Waiman Long7d43f1c2019-05-20 16:59:13 -0400906
907/*
Waiman Long617f3ef2020-11-20 23:14:16 -0500908 * Clear the owner's RWSEM_NONSPINNABLE bit if it is set. This should
Waiman Long7d43f1c2019-05-20 16:59:13 -0400909 * only be called when the reader count reaches 0.
Waiman Long7d43f1c2019-05-20 16:59:13 -0400910 */
Waiman Long617f3ef2020-11-20 23:14:16 -0500911static inline void clear_nonspinnable(struct rw_semaphore *sem)
Waiman Long7d43f1c2019-05-20 16:59:13 -0400912{
Waiman Long617f3ef2020-11-20 23:14:16 -0500913 if (rwsem_test_oflags(sem, RWSEM_NONSPINNABLE))
914 atomic_long_andnot(RWSEM_NONSPINNABLE, &sem->owner);
Waiman Long1a728df2020-11-20 23:14:14 -0500915}
916
Waiman Long5dec94d2019-05-20 16:59:03 -0400917#else
Waiman Long617f3ef2020-11-20 23:14:16 -0500918static inline bool rwsem_can_spin_on_owner(struct rw_semaphore *sem)
Waiman Longcf694822019-05-20 16:59:11 -0400919{
920 return false;
921}
922
Waiman Long617f3ef2020-11-20 23:14:16 -0500923static inline bool rwsem_optimistic_spin(struct rw_semaphore *sem)
Waiman Long5dec94d2019-05-20 16:59:03 -0400924{
925 return false;
926}
Waiman Long7d43f1c2019-05-20 16:59:13 -0400927
Waiman Long617f3ef2020-11-20 23:14:16 -0500928static inline void clear_nonspinnable(struct rw_semaphore *sem) { }
Waiman Long1a728df2020-11-20 23:14:14 -0500929
Yanfei Xu7cdacc52021-10-13 21:41:53 +0800930static inline enum owner_state
Waiman Long617f3ef2020-11-20 23:14:16 -0500931rwsem_spin_on_owner(struct rw_semaphore *sem)
Waiman Long91d2a812019-06-25 10:39:13 -0400932{
Yanfei Xu7cdacc52021-10-13 21:41:53 +0800933 return OWNER_NONSPINNABLE;
Waiman Long91d2a812019-06-25 10:39:13 -0400934}
Waiman Long5dec94d2019-05-20 16:59:03 -0400935#endif
936
937/*
938 * Wait for the read lock to be granted
939 */
Waiman Long6cef7ff62019-05-20 16:59:04 -0400940static struct rw_semaphore __sched *
Peter Zijlstra2f064a52021-06-11 10:28:17 +0200941rwsem_down_read_slowpath(struct rw_semaphore *sem, long count, unsigned int state)
Waiman Long5dec94d2019-05-20 16:59:03 -0400942{
Waiman Long617f3ef2020-11-20 23:14:16 -0500943 long adjustment = -RWSEM_READER_BIAS;
Waiman Long2f06f702020-11-20 23:14:13 -0500944 long rcnt = (count >> RWSEM_READER_SHIFT);
Waiman Long5dec94d2019-05-20 16:59:03 -0400945 struct rwsem_waiter waiter;
946 DEFINE_WAKE_Q(wake_q);
Waiman Longa15ea1a2019-05-20 16:59:15 -0400947 bool wake = false;
Waiman Long5dec94d2019-05-20 16:59:03 -0400948
Waiman Long5cfd92e2019-05-20 16:59:14 -0400949 /*
Waiman Long2f06f702020-11-20 23:14:13 -0500950 * To prevent a constant stream of readers from starving a sleeping
Waiman Long617f3ef2020-11-20 23:14:16 -0500951 * waiter, don't attempt optimistic lock stealing if the lock is
952 * currently owned by readers.
Waiman Long2f06f702020-11-20 23:14:13 -0500953 */
Waiman Long617f3ef2020-11-20 23:14:16 -0500954 if ((atomic_long_read(&sem->owner) & RWSEM_READER_OWNED) &&
955 (rcnt > 1) && !(count & RWSEM_WRITER_LOCKED))
Waiman Long2f06f702020-11-20 23:14:13 -0500956 goto queue;
957
958 /*
Waiman Long617f3ef2020-11-20 23:14:16 -0500959 * Reader optimistic lock stealing.
Waiman Long1a728df2020-11-20 23:14:14 -0500960 */
Waiman Long617f3ef2020-11-20 23:14:16 -0500961 if (!(count & (RWSEM_WRITER_LOCKED | RWSEM_FLAG_HANDOFF))) {
Waiman Long1a728df2020-11-20 23:14:14 -0500962 rwsem_set_reader_owned(sem);
963 lockevent_inc(rwsem_rlock_steal);
Waiman Long1a728df2020-11-20 23:14:14 -0500964
Waiman Longcf694822019-05-20 16:59:11 -0400965 /*
Waiman Long617f3ef2020-11-20 23:14:16 -0500966 * Wake up other readers in the wait queue if it is
967 * the first reader.
Waiman Longcf694822019-05-20 16:59:11 -0400968 */
Waiman Long617f3ef2020-11-20 23:14:16 -0500969 if ((rcnt == 1) && (count & RWSEM_FLAG_WAITERS)) {
Waiman Longcf694822019-05-20 16:59:11 -0400970 raw_spin_lock_irq(&sem->wait_lock);
971 if (!list_empty(&sem->wait_list))
972 rwsem_mark_wake(sem, RWSEM_WAKE_READ_OWNED,
973 &wake_q);
974 raw_spin_unlock_irq(&sem->wait_lock);
975 wake_up_q(&wake_q);
976 }
977 return sem;
978 }
979
980queue:
Waiman Long5dec94d2019-05-20 16:59:03 -0400981 waiter.task = current;
982 waiter.type = RWSEM_WAITING_FOR_READ;
Waiman Long4f23dbc2019-05-20 16:59:06 -0400983 waiter.timeout = jiffies + RWSEM_WAIT_TIMEOUT;
Waiman Long5dec94d2019-05-20 16:59:03 -0400984
985 raw_spin_lock_irq(&sem->wait_lock);
986 if (list_empty(&sem->wait_list)) {
987 /*
988 * In case the wait queue is empty and the lock isn't owned
Waiman Long4f23dbc2019-05-20 16:59:06 -0400989 * by a writer or has the handoff bit set, this reader can
990 * exit the slowpath and return immediately as its
991 * RWSEM_READER_BIAS has already been set in the count.
Waiman Long5dec94d2019-05-20 16:59:03 -0400992 */
Waiman Long617f3ef2020-11-20 23:14:16 -0500993 if (!(atomic_long_read(&sem->count) &
Waiman Long4f23dbc2019-05-20 16:59:06 -0400994 (RWSEM_WRITER_MASK | RWSEM_FLAG_HANDOFF))) {
Jan Stanceke1b98fa2019-07-18 10:51:25 +0200995 /* Provide lock ACQUIRE */
996 smp_acquire__after_ctrl_dep();
Waiman Long5dec94d2019-05-20 16:59:03 -0400997 raw_spin_unlock_irq(&sem->wait_lock);
998 rwsem_set_reader_owned(sem);
999 lockevent_inc(rwsem_rlock_fast);
1000 return sem;
1001 }
1002 adjustment += RWSEM_FLAG_WAITERS;
1003 }
Waiman Longd257cc82021-11-15 20:29:12 -05001004 rwsem_add_waiter(sem, &waiter);
Waiman Long5dec94d2019-05-20 16:59:03 -04001005
1006 /* we're now waiting on the lock, but no longer actively locking */
Waiman Long617f3ef2020-11-20 23:14:16 -05001007 count = atomic_long_add_return(adjustment, &sem->count);
Waiman Long5dec94d2019-05-20 16:59:03 -04001008
1009 /*
1010 * If there are no active locks, wake the front queued process(es).
1011 *
1012 * If there are no writers and we are first in the queue,
1013 * wake our own waiter to join the existing active readers !
1014 */
Waiman Long7d43f1c2019-05-20 16:59:13 -04001015 if (!(count & RWSEM_LOCK_MASK)) {
Waiman Long617f3ef2020-11-20 23:14:16 -05001016 clear_nonspinnable(sem);
Waiman Long7d43f1c2019-05-20 16:59:13 -04001017 wake = true;
1018 }
1019 if (wake || (!(count & RWSEM_WRITER_MASK) &&
1020 (adjustment & RWSEM_FLAG_WAITERS)))
Waiman Long6cef7ff62019-05-20 16:59:04 -04001021 rwsem_mark_wake(sem, RWSEM_WAKE_ANY, &wake_q);
Waiman Long5dec94d2019-05-20 16:59:03 -04001022
1023 raw_spin_unlock_irq(&sem->wait_lock);
1024 wake_up_q(&wake_q);
1025
1026 /* wait to be given the lock */
Peter Zijlstra6ffddfb2019-07-18 15:08:53 +02001027 for (;;) {
Waiman Long5dec94d2019-05-20 16:59:03 -04001028 set_current_state(state);
Peter Zijlstra99143f82019-07-18 14:56:17 +02001029 if (!smp_load_acquire(&waiter.task)) {
Peter Zijlstra6ffddfb2019-07-18 15:08:53 +02001030 /* Matches rwsem_mark_wake()'s smp_store_release(). */
Waiman Long5dec94d2019-05-20 16:59:03 -04001031 break;
Peter Zijlstra99143f82019-07-18 14:56:17 +02001032 }
Waiman Long5dec94d2019-05-20 16:59:03 -04001033 if (signal_pending_state(state, current)) {
1034 raw_spin_lock_irq(&sem->wait_lock);
1035 if (waiter.task)
1036 goto out_nolock;
1037 raw_spin_unlock_irq(&sem->wait_lock);
Peter Zijlstra6ffddfb2019-07-18 15:08:53 +02001038 /* Ordered by sem->wait_lock against rwsem_mark_wake(). */
Waiman Long5dec94d2019-05-20 16:59:03 -04001039 break;
1040 }
1041 schedule();
1042 lockevent_inc(rwsem_sleep_reader);
1043 }
1044
1045 __set_current_state(TASK_RUNNING);
1046 lockevent_inc(rwsem_rlock);
1047 return sem;
Peter Zijlstra6ffddfb2019-07-18 15:08:53 +02001048
Waiman Long5dec94d2019-05-20 16:59:03 -04001049out_nolock:
Waiman Longd257cc82021-11-15 20:29:12 -05001050 rwsem_del_waiter(sem, &waiter);
Waiman Long5dec94d2019-05-20 16:59:03 -04001051 raw_spin_unlock_irq(&sem->wait_lock);
1052 __set_current_state(TASK_RUNNING);
1053 lockevent_inc(rwsem_rlock_fail);
1054 return ERR_PTR(-EINTR);
1055}
1056
Waiman Long5dec94d2019-05-20 16:59:03 -04001057/*
1058 * Wait until we successfully acquire the write lock
1059 */
Waiman Long6cef7ff62019-05-20 16:59:04 -04001060static struct rw_semaphore *
1061rwsem_down_write_slowpath(struct rw_semaphore *sem, int state)
Waiman Long5dec94d2019-05-20 16:59:03 -04001062{
1063 long count;
Waiman Long5dec94d2019-05-20 16:59:03 -04001064 struct rwsem_waiter waiter;
Waiman Long5dec94d2019-05-20 16:59:03 -04001065 DEFINE_WAKE_Q(wake_q);
1066
1067 /* do optimistic spinning and steal lock if possible */
Waiman Long617f3ef2020-11-20 23:14:16 -05001068 if (rwsem_can_spin_on_owner(sem) && rwsem_optimistic_spin(sem)) {
Peter Zijlstra6ffddfb2019-07-18 15:08:53 +02001069 /* rwsem_optimistic_spin() implies ACQUIRE on success */
Waiman Long5dec94d2019-05-20 16:59:03 -04001070 return sem;
Peter Zijlstra6ffddfb2019-07-18 15:08:53 +02001071 }
Waiman Long5dec94d2019-05-20 16:59:03 -04001072
1073 /*
1074 * Optimistic spinning failed, proceed to the slowpath
1075 * and block until we can acquire the sem.
1076 */
1077 waiter.task = current;
1078 waiter.type = RWSEM_WAITING_FOR_WRITE;
Waiman Long4f23dbc2019-05-20 16:59:06 -04001079 waiter.timeout = jiffies + RWSEM_WAIT_TIMEOUT;
Waiman Longd257cc82021-11-15 20:29:12 -05001080 waiter.handoff_set = false;
Waiman Long5dec94d2019-05-20 16:59:03 -04001081
1082 raw_spin_lock_irq(&sem->wait_lock);
Waiman Longd257cc82021-11-15 20:29:12 -05001083 rwsem_add_waiter(sem, &waiter);
Waiman Long5dec94d2019-05-20 16:59:03 -04001084
1085 /* we're now waiting on the lock */
Waiman Longd257cc82021-11-15 20:29:12 -05001086 if (rwsem_first_waiter(sem) != &waiter) {
Waiman Long5dec94d2019-05-20 16:59:03 -04001087 count = atomic_long_read(&sem->count);
1088
1089 /*
Waiman Long4f23dbc2019-05-20 16:59:06 -04001090 * If there were already threads queued before us and:
Randy Dunlapc034f482021-02-25 17:21:10 -08001091 * 1) there are no active locks, wake the front
Waiman Long4f23dbc2019-05-20 16:59:06 -04001092 * queued process(es) as the handoff bit might be set.
1093 * 2) there are no active writers and some readers, the lock
1094 * must be read owned; so we try to wake any read lock
1095 * waiters that were queued ahead of us.
Waiman Long5dec94d2019-05-20 16:59:03 -04001096 */
Waiman Long4f23dbc2019-05-20 16:59:06 -04001097 if (count & RWSEM_WRITER_MASK)
1098 goto wait;
Waiman Long5dec94d2019-05-20 16:59:03 -04001099
Waiman Long4f23dbc2019-05-20 16:59:06 -04001100 rwsem_mark_wake(sem, (count & RWSEM_READER_MASK)
1101 ? RWSEM_WAKE_READERS
1102 : RWSEM_WAKE_ANY, &wake_q);
Waiman Long5dec94d2019-05-20 16:59:03 -04001103
Waiman Long00f3c5a2019-05-20 16:59:07 -04001104 if (!wake_q_empty(&wake_q)) {
1105 /*
1106 * We want to minimize wait_lock hold time especially
1107 * when a large number of readers are to be woken up.
1108 */
1109 raw_spin_unlock_irq(&sem->wait_lock);
1110 wake_up_q(&wake_q);
1111 wake_q_init(&wake_q); /* Used again, reinit */
1112 raw_spin_lock_irq(&sem->wait_lock);
1113 }
Waiman Long5dec94d2019-05-20 16:59:03 -04001114 } else {
Waiman Long00f3c5a2019-05-20 16:59:07 -04001115 atomic_long_or(RWSEM_FLAG_WAITERS, &sem->count);
Waiman Long5dec94d2019-05-20 16:59:03 -04001116 }
1117
Waiman Long4f23dbc2019-05-20 16:59:06 -04001118wait:
Waiman Long5dec94d2019-05-20 16:59:03 -04001119 /* wait until we successfully acquire the lock */
1120 set_current_state(state);
Peter Zijlstra6ffddfb2019-07-18 15:08:53 +02001121 for (;;) {
Waiman Longd257cc82021-11-15 20:29:12 -05001122 if (rwsem_try_write_lock(sem, &waiter)) {
Peter Zijlstra6ffddfb2019-07-18 15:08:53 +02001123 /* rwsem_try_write_lock() implies ACQUIRE on success */
Waiman Long5dec94d2019-05-20 16:59:03 -04001124 break;
Peter Zijlstra6ffddfb2019-07-18 15:08:53 +02001125 }
Waiman Long4f23dbc2019-05-20 16:59:06 -04001126
Waiman Long5dec94d2019-05-20 16:59:03 -04001127 raw_spin_unlock_irq(&sem->wait_lock);
1128
Waiman Longd257cc82021-11-15 20:29:12 -05001129 if (signal_pending_state(state, current))
1130 goto out_nolock;
1131
Waiman Long91d2a812019-06-25 10:39:13 -04001132 /*
1133 * After setting the handoff bit and failing to acquire
1134 * the lock, attempt to spin on owner to accelerate lock
1135 * transfer. If the previous owner is a on-cpu writer and it
1136 * has just released the lock, OWNER_NULL will be returned.
1137 * In this case, we attempt to acquire the lock again
1138 * without sleeping.
1139 */
Waiman Longd257cc82021-11-15 20:29:12 -05001140 if (waiter.handoff_set) {
Yanfei Xu7cdacc52021-10-13 21:41:53 +08001141 enum owner_state owner_state;
1142
1143 preempt_disable();
1144 owner_state = rwsem_spin_on_owner(sem);
1145 preempt_enable();
1146
1147 if (owner_state == OWNER_NULL)
1148 goto trylock_again;
1149 }
Waiman Long91d2a812019-06-25 10:39:13 -04001150
Waiman Longd257cc82021-11-15 20:29:12 -05001151 schedule();
1152 lockevent_inc(rwsem_sleep_writer);
1153 set_current_state(state);
Waiman Long91d2a812019-06-25 10:39:13 -04001154trylock_again:
Waiman Long5dec94d2019-05-20 16:59:03 -04001155 raw_spin_lock_irq(&sem->wait_lock);
1156 }
1157 __set_current_state(TASK_RUNNING);
Waiman Long5dec94d2019-05-20 16:59:03 -04001158 raw_spin_unlock_irq(&sem->wait_lock);
1159 lockevent_inc(rwsem_wlock);
Waiman Longd257cc82021-11-15 20:29:12 -05001160 return sem;
Waiman Long5dec94d2019-05-20 16:59:03 -04001161
1162out_nolock:
1163 __set_current_state(TASK_RUNNING);
1164 raw_spin_lock_irq(&sem->wait_lock);
Waiman Longd257cc82021-11-15 20:29:12 -05001165 rwsem_del_waiter(sem, &waiter);
1166 if (!list_empty(&sem->wait_list))
Waiman Long6cef7ff62019-05-20 16:59:04 -04001167 rwsem_mark_wake(sem, RWSEM_WAKE_ANY, &wake_q);
Waiman Long5dec94d2019-05-20 16:59:03 -04001168 raw_spin_unlock_irq(&sem->wait_lock);
1169 wake_up_q(&wake_q);
1170 lockevent_inc(rwsem_wlock_fail);
Waiman Long5dec94d2019-05-20 16:59:03 -04001171 return ERR_PTR(-EINTR);
1172}
1173
Waiman Long5dec94d2019-05-20 16:59:03 -04001174/*
1175 * handle waking up a waiter on the semaphore
1176 * - up_read/up_write has decremented the active part of count if we come here
1177 */
xuyehand4e50762021-07-06 12:50:43 +08001178static struct rw_semaphore *rwsem_wake(struct rw_semaphore *sem)
Waiman Long5dec94d2019-05-20 16:59:03 -04001179{
1180 unsigned long flags;
1181 DEFINE_WAKE_Q(wake_q);
1182
1183 raw_spin_lock_irqsave(&sem->wait_lock, flags);
1184
1185 if (!list_empty(&sem->wait_list))
Waiman Long6cef7ff62019-05-20 16:59:04 -04001186 rwsem_mark_wake(sem, RWSEM_WAKE_ANY, &wake_q);
Waiman Long5dec94d2019-05-20 16:59:03 -04001187
1188 raw_spin_unlock_irqrestore(&sem->wait_lock, flags);
1189 wake_up_q(&wake_q);
1190
1191 return sem;
1192}
Waiman Long5dec94d2019-05-20 16:59:03 -04001193
1194/*
1195 * downgrade a write lock into a read lock
1196 * - caller incremented waiting part of count and discovered it still negative
1197 * - just wake up any readers at the front of the queue
1198 */
Waiman Long6cef7ff62019-05-20 16:59:04 -04001199static struct rw_semaphore *rwsem_downgrade_wake(struct rw_semaphore *sem)
Waiman Long5dec94d2019-05-20 16:59:03 -04001200{
1201 unsigned long flags;
1202 DEFINE_WAKE_Q(wake_q);
1203
1204 raw_spin_lock_irqsave(&sem->wait_lock, flags);
1205
1206 if (!list_empty(&sem->wait_list))
Waiman Long6cef7ff62019-05-20 16:59:04 -04001207 rwsem_mark_wake(sem, RWSEM_WAKE_READ_OWNED, &wake_q);
Waiman Long5dec94d2019-05-20 16:59:03 -04001208
1209 raw_spin_unlock_irqrestore(&sem->wait_lock, flags);
1210 wake_up_q(&wake_q);
1211
1212 return sem;
1213}
Waiman Long5dec94d2019-05-20 16:59:03 -04001214
1215/*
1216 * lock for reading
1217 */
Peter Zijlstrac995e632020-12-08 10:27:41 +01001218static inline int __down_read_common(struct rw_semaphore *sem, int state)
Waiman Long5dec94d2019-05-20 16:59:03 -04001219{
Waiman Longc8fe8b02020-11-20 23:14:12 -05001220 long count;
1221
1222 if (!rwsem_read_trylock(sem, &count)) {
1223 if (IS_ERR(rwsem_down_read_slowpath(sem, count, state)))
Peter Zijlstrac995e632020-12-08 10:27:41 +01001224 return -EINTR;
Waiman Long94a97172019-05-20 16:59:12 -04001225 DEBUG_RWSEMS_WARN_ON(!is_rwsem_reader_owned(sem), sem);
Waiman Long5dec94d2019-05-20 16:59:03 -04001226 }
Peter Zijlstrac995e632020-12-08 10:27:41 +01001227 return 0;
1228}
1229
1230static inline void __down_read(struct rw_semaphore *sem)
1231{
1232 __down_read_common(sem, TASK_UNINTERRUPTIBLE);
Waiman Long5dec94d2019-05-20 16:59:03 -04001233}
1234
Eric W. Biederman31784cf2020-12-03 14:11:13 -06001235static inline int __down_read_interruptible(struct rw_semaphore *sem)
1236{
Peter Zijlstrac995e632020-12-08 10:27:41 +01001237 return __down_read_common(sem, TASK_INTERRUPTIBLE);
Eric W. Biederman31784cf2020-12-03 14:11:13 -06001238}
1239
Waiman Long5dec94d2019-05-20 16:59:03 -04001240static inline int __down_read_killable(struct rw_semaphore *sem)
1241{
Peter Zijlstrac995e632020-12-08 10:27:41 +01001242 return __down_read_common(sem, TASK_KILLABLE);
Waiman Long5dec94d2019-05-20 16:59:03 -04001243}
1244
1245static inline int __down_read_trylock(struct rw_semaphore *sem)
1246{
Davidlohr Buesofce45cd2019-07-28 21:47:35 -07001247 long tmp;
1248
1249 DEBUG_RWSEMS_WARN_ON(sem->magic != sem, sem);
1250
Muchun Song14c24042021-11-18 17:44:55 +08001251 tmp = atomic_long_read(&sem->count);
1252 while (!(tmp & RWSEM_READ_FAILED_MASK)) {
Waiman Long5dec94d2019-05-20 16:59:03 -04001253 if (atomic_long_try_cmpxchg_acquire(&sem->count, &tmp,
Muchun Song14c24042021-11-18 17:44:55 +08001254 tmp + RWSEM_READER_BIAS)) {
Waiman Long5dec94d2019-05-20 16:59:03 -04001255 rwsem_set_reader_owned(sem);
1256 return 1;
1257 }
Muchun Song14c24042021-11-18 17:44:55 +08001258 }
Waiman Long5dec94d2019-05-20 16:59:03 -04001259 return 0;
1260}
1261
1262/*
1263 * lock for writing
1264 */
Peter Zijlstrac995e632020-12-08 10:27:41 +01001265static inline int __down_write_common(struct rw_semaphore *sem, int state)
Waiman Long5dec94d2019-05-20 16:59:03 -04001266{
Peter Zijlstra285c61a2020-12-08 10:25:06 +01001267 if (unlikely(!rwsem_write_trylock(sem))) {
Peter Zijlstrac995e632020-12-08 10:27:41 +01001268 if (IS_ERR(rwsem_down_write_slowpath(sem, state)))
Waiman Long5dec94d2019-05-20 16:59:03 -04001269 return -EINTR;
Waiman Long6cef7ff62019-05-20 16:59:04 -04001270 }
Peter Zijlstra285c61a2020-12-08 10:25:06 +01001271
Waiman Long5dec94d2019-05-20 16:59:03 -04001272 return 0;
1273}
1274
Peter Zijlstrac995e632020-12-08 10:27:41 +01001275static inline void __down_write(struct rw_semaphore *sem)
1276{
1277 __down_write_common(sem, TASK_UNINTERRUPTIBLE);
1278}
1279
1280static inline int __down_write_killable(struct rw_semaphore *sem)
1281{
1282 return __down_write_common(sem, TASK_KILLABLE);
1283}
1284
Waiman Long5dec94d2019-05-20 16:59:03 -04001285static inline int __down_write_trylock(struct rw_semaphore *sem)
1286{
Davidlohr Buesofce45cd2019-07-28 21:47:35 -07001287 DEBUG_RWSEMS_WARN_ON(sem->magic != sem, sem);
Peter Zijlstra285c61a2020-12-08 10:25:06 +01001288 return rwsem_write_trylock(sem);
Waiman Long5dec94d2019-05-20 16:59:03 -04001289}
1290
1291/*
1292 * unlock after reading
1293 */
Peter Zijlstra7f264822019-10-30 20:30:41 +01001294static inline void __up_read(struct rw_semaphore *sem)
Waiman Long5dec94d2019-05-20 16:59:03 -04001295{
1296 long tmp;
1297
Davidlohr Buesofce45cd2019-07-28 21:47:35 -07001298 DEBUG_RWSEMS_WARN_ON(sem->magic != sem, sem);
Waiman Long94a97172019-05-20 16:59:12 -04001299 DEBUG_RWSEMS_WARN_ON(!is_rwsem_reader_owned(sem), sem);
Davidlohr Buesofce45cd2019-07-28 21:47:35 -07001300
Waiman Long5dec94d2019-05-20 16:59:03 -04001301 rwsem_clear_reader_owned(sem);
1302 tmp = atomic_long_add_return_release(-RWSEM_READER_BIAS, &sem->count);
Waiman Longa15ea1a2019-05-20 16:59:15 -04001303 DEBUG_RWSEMS_WARN_ON(tmp < 0, sem);
Waiman Long6cef7ff62019-05-20 16:59:04 -04001304 if (unlikely((tmp & (RWSEM_LOCK_MASK|RWSEM_FLAG_WAITERS)) ==
Waiman Long7d43f1c2019-05-20 16:59:13 -04001305 RWSEM_FLAG_WAITERS)) {
Waiman Long617f3ef2020-11-20 23:14:16 -05001306 clear_nonspinnable(sem);
xuyehand4e50762021-07-06 12:50:43 +08001307 rwsem_wake(sem);
Waiman Long7d43f1c2019-05-20 16:59:13 -04001308 }
Waiman Long5dec94d2019-05-20 16:59:03 -04001309}
1310
1311/*
1312 * unlock after writing
1313 */
Peter Zijlstra7f264822019-10-30 20:30:41 +01001314static inline void __up_write(struct rw_semaphore *sem)
Waiman Long5dec94d2019-05-20 16:59:03 -04001315{
Waiman Long6cef7ff62019-05-20 16:59:04 -04001316 long tmp;
1317
Davidlohr Buesofce45cd2019-07-28 21:47:35 -07001318 DEBUG_RWSEMS_WARN_ON(sem->magic != sem, sem);
Waiman Long02f10822019-05-20 16:59:10 -04001319 /*
1320 * sem->owner may differ from current if the ownership is transferred
1321 * to an anonymous writer by setting the RWSEM_NONSPINNABLE bits.
1322 */
Waiman Long94a97172019-05-20 16:59:12 -04001323 DEBUG_RWSEMS_WARN_ON((rwsem_owner(sem) != current) &&
1324 !rwsem_test_oflags(sem, RWSEM_NONSPINNABLE), sem);
Davidlohr Buesofce45cd2019-07-28 21:47:35 -07001325
Waiman Long5dec94d2019-05-20 16:59:03 -04001326 rwsem_clear_owner(sem);
Waiman Long6cef7ff62019-05-20 16:59:04 -04001327 tmp = atomic_long_fetch_add_release(-RWSEM_WRITER_LOCKED, &sem->count);
1328 if (unlikely(tmp & RWSEM_FLAG_WAITERS))
xuyehand4e50762021-07-06 12:50:43 +08001329 rwsem_wake(sem);
Waiman Long5dec94d2019-05-20 16:59:03 -04001330}
1331
1332/*
1333 * downgrade write lock to read lock
1334 */
1335static inline void __downgrade_write(struct rw_semaphore *sem)
1336{
1337 long tmp;
1338
1339 /*
1340 * When downgrading from exclusive to shared ownership,
1341 * anything inside the write-locked region cannot leak
1342 * into the read side. In contrast, anything in the
1343 * read-locked region is ok to be re-ordered into the
1344 * write side. As such, rely on RELEASE semantics.
1345 */
Waiman Long94a97172019-05-20 16:59:12 -04001346 DEBUG_RWSEMS_WARN_ON(rwsem_owner(sem) != current, sem);
Waiman Long5dec94d2019-05-20 16:59:03 -04001347 tmp = atomic_long_fetch_add_release(
1348 -RWSEM_WRITER_LOCKED+RWSEM_READER_BIAS, &sem->count);
1349 rwsem_set_reader_owned(sem);
1350 if (tmp & RWSEM_FLAG_WAITERS)
1351 rwsem_downgrade_wake(sem);
1352}
Davidlohr Bueso4fc828e2014-05-02 11:24:15 -07001353
Thomas Gleixner42254102021-08-15 23:28:05 +02001354#else /* !CONFIG_PREEMPT_RT */
1355
Thomas Gleixnere17ba59b2021-08-15 23:28:12 +02001356#define RT_MUTEX_BUILD_MUTEX
Thomas Gleixner42254102021-08-15 23:28:05 +02001357#include "rtmutex.c"
1358
1359#define rwbase_set_and_save_current_state(state) \
1360 set_current_state(state)
1361
1362#define rwbase_restore_current_state() \
1363 __set_current_state(TASK_RUNNING)
1364
1365#define rwbase_rtmutex_lock_state(rtm, state) \
1366 __rt_mutex_lock(rtm, state)
1367
1368#define rwbase_rtmutex_slowlock_locked(rtm, state) \
Peter Zijlstraadd46132021-08-15 23:28:58 +02001369 __rt_mutex_slowlock_locked(rtm, NULL, state)
Thomas Gleixner42254102021-08-15 23:28:05 +02001370
1371#define rwbase_rtmutex_unlock(rtm) \
1372 __rt_mutex_unlock(rtm)
1373
1374#define rwbase_rtmutex_trylock(rtm) \
1375 __rt_mutex_trylock(rtm)
1376
1377#define rwbase_signal_pending_state(state, current) \
1378 signal_pending_state(state, current)
1379
1380#define rwbase_schedule() \
1381 schedule()
1382
1383#include "rwbase_rt.c"
1384
Mike Galbraith15eb7c82021-08-31 08:38:19 +02001385void __init_rwsem(struct rw_semaphore *sem, const char *name,
Thomas Gleixner42254102021-08-15 23:28:05 +02001386 struct lock_class_key *key)
1387{
Mike Galbraith15eb7c82021-08-31 08:38:19 +02001388 init_rwbase_rt(&(sem)->rwbase);
1389
1390#ifdef CONFIG_DEBUG_LOCK_ALLOC
Thomas Gleixner42254102021-08-15 23:28:05 +02001391 debug_check_no_locks_freed((void *)sem, sizeof(*sem));
1392 lockdep_init_map_wait(&sem->dep_map, name, key, 0, LD_WAIT_SLEEP);
Thomas Gleixner42254102021-08-15 23:28:05 +02001393#endif
Mike Galbraith15eb7c82021-08-31 08:38:19 +02001394}
1395EXPORT_SYMBOL(__init_rwsem);
Thomas Gleixner42254102021-08-15 23:28:05 +02001396
1397static inline void __down_read(struct rw_semaphore *sem)
1398{
1399 rwbase_read_lock(&sem->rwbase, TASK_UNINTERRUPTIBLE);
1400}
1401
1402static inline int __down_read_interruptible(struct rw_semaphore *sem)
1403{
1404 return rwbase_read_lock(&sem->rwbase, TASK_INTERRUPTIBLE);
1405}
1406
1407static inline int __down_read_killable(struct rw_semaphore *sem)
1408{
1409 return rwbase_read_lock(&sem->rwbase, TASK_KILLABLE);
1410}
1411
1412static inline int __down_read_trylock(struct rw_semaphore *sem)
1413{
1414 return rwbase_read_trylock(&sem->rwbase);
1415}
1416
1417static inline void __up_read(struct rw_semaphore *sem)
1418{
1419 rwbase_read_unlock(&sem->rwbase, TASK_NORMAL);
1420}
1421
1422static inline void __sched __down_write(struct rw_semaphore *sem)
1423{
1424 rwbase_write_lock(&sem->rwbase, TASK_UNINTERRUPTIBLE);
1425}
1426
1427static inline int __sched __down_write_killable(struct rw_semaphore *sem)
1428{
1429 return rwbase_write_lock(&sem->rwbase, TASK_KILLABLE);
1430}
1431
1432static inline int __down_write_trylock(struct rw_semaphore *sem)
1433{
1434 return rwbase_write_trylock(&sem->rwbase);
1435}
1436
1437static inline void __up_write(struct rw_semaphore *sem)
1438{
1439 rwbase_write_unlock(&sem->rwbase);
1440}
1441
1442static inline void __downgrade_write(struct rw_semaphore *sem)
1443{
1444 rwbase_write_downgrade(&sem->rwbase);
1445}
1446
1447/* Debug stubs for the common API */
1448#define DEBUG_RWSEMS_WARN_ON(c, sem)
1449
1450static inline void __rwsem_set_reader_owned(struct rw_semaphore *sem,
1451 struct task_struct *owner)
1452{
1453}
1454
1455static inline bool is_rwsem_reader_owned(struct rw_semaphore *sem)
1456{
1457 int count = atomic_read(&sem->rwbase.readers);
1458
1459 return count < 0 && count != READER_BIAS;
1460}
1461
1462#endif /* CONFIG_PREEMPT_RT */
1463
Ingo Molnarc4e05112006-07-03 00:24:29 -07001464/*
1465 * lock for reading
1466 */
Livio Soaresc7af77b2007-12-18 15:21:13 +01001467void __sched down_read(struct rw_semaphore *sem)
Ingo Molnarc4e05112006-07-03 00:24:29 -07001468{
1469 might_sleep();
1470 rwsem_acquire_read(&sem->dep_map, 0, 0, _RET_IP_);
1471
Peter Zijlstra4fe87742007-07-19 01:48:58 -07001472 LOCK_CONTENDED(sem, __down_read_trylock, __down_read);
Ingo Molnarc4e05112006-07-03 00:24:29 -07001473}
Ingo Molnarc4e05112006-07-03 00:24:29 -07001474EXPORT_SYMBOL(down_read);
1475
Eric W. Biederman31784cf2020-12-03 14:11:13 -06001476int __sched down_read_interruptible(struct rw_semaphore *sem)
1477{
1478 might_sleep();
1479 rwsem_acquire_read(&sem->dep_map, 0, 0, _RET_IP_);
1480
1481 if (LOCK_CONTENDED_RETURN(sem, __down_read_trylock, __down_read_interruptible)) {
1482 rwsem_release(&sem->dep_map, _RET_IP_);
1483 return -EINTR;
1484 }
1485
1486 return 0;
1487}
1488EXPORT_SYMBOL(down_read_interruptible);
1489
Kirill Tkhai76f85072017-09-29 19:06:38 +03001490int __sched down_read_killable(struct rw_semaphore *sem)
1491{
1492 might_sleep();
1493 rwsem_acquire_read(&sem->dep_map, 0, 0, _RET_IP_);
1494
1495 if (LOCK_CONTENDED_RETURN(sem, __down_read_trylock, __down_read_killable)) {
Qian Cai5facae42019-09-19 12:09:40 -04001496 rwsem_release(&sem->dep_map, _RET_IP_);
Kirill Tkhai76f85072017-09-29 19:06:38 +03001497 return -EINTR;
1498 }
1499
Kirill Tkhai76f85072017-09-29 19:06:38 +03001500 return 0;
1501}
Kirill Tkhai76f85072017-09-29 19:06:38 +03001502EXPORT_SYMBOL(down_read_killable);
1503
Ingo Molnarc4e05112006-07-03 00:24:29 -07001504/*
1505 * trylock for reading -- returns 1 if successful, 0 if contention
1506 */
1507int down_read_trylock(struct rw_semaphore *sem)
1508{
1509 int ret = __down_read_trylock(sem);
1510
Waiman Longc7580c12019-04-04 13:43:11 -04001511 if (ret == 1)
Ingo Molnarc4e05112006-07-03 00:24:29 -07001512 rwsem_acquire_read(&sem->dep_map, 0, 1, _RET_IP_);
1513 return ret;
1514}
Ingo Molnarc4e05112006-07-03 00:24:29 -07001515EXPORT_SYMBOL(down_read_trylock);
1516
1517/*
1518 * lock for writing
1519 */
Livio Soaresc7af77b2007-12-18 15:21:13 +01001520void __sched down_write(struct rw_semaphore *sem)
Ingo Molnarc4e05112006-07-03 00:24:29 -07001521{
1522 might_sleep();
1523 rwsem_acquire(&sem->dep_map, 0, 0, _RET_IP_);
Peter Zijlstra4fe87742007-07-19 01:48:58 -07001524 LOCK_CONTENDED(sem, __down_write_trylock, __down_write);
Ingo Molnarc4e05112006-07-03 00:24:29 -07001525}
Ingo Molnarc4e05112006-07-03 00:24:29 -07001526EXPORT_SYMBOL(down_write);
1527
1528/*
Michal Hocko916633a2016-04-07 17:12:31 +02001529 * lock for writing
1530 */
1531int __sched down_write_killable(struct rw_semaphore *sem)
1532{
1533 might_sleep();
1534 rwsem_acquire(&sem->dep_map, 0, 0, _RET_IP_);
1535
Waiman Long6cef7ff62019-05-20 16:59:04 -04001536 if (LOCK_CONTENDED_RETURN(sem, __down_write_trylock,
1537 __down_write_killable)) {
Qian Cai5facae42019-09-19 12:09:40 -04001538 rwsem_release(&sem->dep_map, _RET_IP_);
Michal Hocko916633a2016-04-07 17:12:31 +02001539 return -EINTR;
1540 }
1541
Michal Hocko916633a2016-04-07 17:12:31 +02001542 return 0;
1543}
Michal Hocko916633a2016-04-07 17:12:31 +02001544EXPORT_SYMBOL(down_write_killable);
1545
1546/*
Ingo Molnarc4e05112006-07-03 00:24:29 -07001547 * trylock for writing -- returns 1 if successful, 0 if contention
1548 */
1549int down_write_trylock(struct rw_semaphore *sem)
1550{
1551 int ret = __down_write_trylock(sem);
1552
Waiman Longc7580c12019-04-04 13:43:11 -04001553 if (ret == 1)
Pavel Emelianov428e6ce2007-05-08 00:29:10 -07001554 rwsem_acquire(&sem->dep_map, 0, 1, _RET_IP_);
Davidlohr Bueso4fc828e2014-05-02 11:24:15 -07001555
Ingo Molnarc4e05112006-07-03 00:24:29 -07001556 return ret;
1557}
Ingo Molnarc4e05112006-07-03 00:24:29 -07001558EXPORT_SYMBOL(down_write_trylock);
1559
1560/*
1561 * release a read lock
1562 */
1563void up_read(struct rw_semaphore *sem)
1564{
Qian Cai5facae42019-09-19 12:09:40 -04001565 rwsem_release(&sem->dep_map, _RET_IP_);
Ingo Molnarc4e05112006-07-03 00:24:29 -07001566 __up_read(sem);
1567}
Ingo Molnarc4e05112006-07-03 00:24:29 -07001568EXPORT_SYMBOL(up_read);
1569
1570/*
1571 * release a write lock
1572 */
1573void up_write(struct rw_semaphore *sem)
1574{
Qian Cai5facae42019-09-19 12:09:40 -04001575 rwsem_release(&sem->dep_map, _RET_IP_);
Ingo Molnarc4e05112006-07-03 00:24:29 -07001576 __up_write(sem);
1577}
Ingo Molnarc4e05112006-07-03 00:24:29 -07001578EXPORT_SYMBOL(up_write);
1579
1580/*
1581 * downgrade write lock to read lock
1582 */
1583void downgrade_write(struct rw_semaphore *sem)
1584{
J. R. Okajima6419c4a2017-02-03 01:38:17 +09001585 lock_downgrade(&sem->dep_map, _RET_IP_);
Ingo Molnarc4e05112006-07-03 00:24:29 -07001586 __downgrade_write(sem);
1587}
Ingo Molnarc4e05112006-07-03 00:24:29 -07001588EXPORT_SYMBOL(downgrade_write);
Ingo Molnar4ea21762006-07-03 00:24:53 -07001589
1590#ifdef CONFIG_DEBUG_LOCK_ALLOC
1591
1592void down_read_nested(struct rw_semaphore *sem, int subclass)
1593{
1594 might_sleep();
1595 rwsem_acquire_read(&sem->dep_map, subclass, 0, _RET_IP_);
Peter Zijlstra4fe87742007-07-19 01:48:58 -07001596 LOCK_CONTENDED(sem, __down_read_trylock, __down_read);
Ingo Molnar4ea21762006-07-03 00:24:53 -07001597}
Ingo Molnar4ea21762006-07-03 00:24:53 -07001598EXPORT_SYMBOL(down_read_nested);
1599
Eric W. Biederman0f9368b2020-12-03 14:10:32 -06001600int down_read_killable_nested(struct rw_semaphore *sem, int subclass)
1601{
1602 might_sleep();
1603 rwsem_acquire_read(&sem->dep_map, subclass, 0, _RET_IP_);
1604
1605 if (LOCK_CONTENDED_RETURN(sem, __down_read_trylock, __down_read_killable)) {
1606 rwsem_release(&sem->dep_map, _RET_IP_);
1607 return -EINTR;
1608 }
1609
1610 return 0;
1611}
1612EXPORT_SYMBOL(down_read_killable_nested);
1613
Jiri Kosina1b963c82013-01-11 14:31:56 -08001614void _down_write_nest_lock(struct rw_semaphore *sem, struct lockdep_map *nest)
1615{
1616 might_sleep();
1617 rwsem_acquire_nest(&sem->dep_map, 0, 0, nest, _RET_IP_);
Jiri Kosina1b963c82013-01-11 14:31:56 -08001618 LOCK_CONTENDED(sem, __down_write_trylock, __down_write);
1619}
Jiri Kosina1b963c82013-01-11 14:31:56 -08001620EXPORT_SYMBOL(_down_write_nest_lock);
1621
Kent Overstreet84759c62011-09-21 21:43:05 -07001622void down_read_non_owner(struct rw_semaphore *sem)
1623{
1624 might_sleep();
Kent Overstreet84759c62011-09-21 21:43:05 -07001625 __down_read(sem);
Waiman Long925b9cd2018-09-06 16:18:34 -04001626 __rwsem_set_reader_owned(sem, NULL);
Kent Overstreet84759c62011-09-21 21:43:05 -07001627}
Kent Overstreet84759c62011-09-21 21:43:05 -07001628EXPORT_SYMBOL(down_read_non_owner);
1629
Ingo Molnar4ea21762006-07-03 00:24:53 -07001630void down_write_nested(struct rw_semaphore *sem, int subclass)
1631{
1632 might_sleep();
1633 rwsem_acquire(&sem->dep_map, subclass, 0, _RET_IP_);
Peter Zijlstra4fe87742007-07-19 01:48:58 -07001634 LOCK_CONTENDED(sem, __down_write_trylock, __down_write);
Ingo Molnar4ea21762006-07-03 00:24:53 -07001635}
Ingo Molnar4ea21762006-07-03 00:24:53 -07001636EXPORT_SYMBOL(down_write_nested);
1637
Al Viro887bddf2016-05-26 00:04:58 -04001638int __sched down_write_killable_nested(struct rw_semaphore *sem, int subclass)
1639{
1640 might_sleep();
1641 rwsem_acquire(&sem->dep_map, subclass, 0, _RET_IP_);
1642
Waiman Long6cef7ff62019-05-20 16:59:04 -04001643 if (LOCK_CONTENDED_RETURN(sem, __down_write_trylock,
1644 __down_write_killable)) {
Qian Cai5facae42019-09-19 12:09:40 -04001645 rwsem_release(&sem->dep_map, _RET_IP_);
Al Viro887bddf2016-05-26 00:04:58 -04001646 return -EINTR;
1647 }
1648
Al Viro887bddf2016-05-26 00:04:58 -04001649 return 0;
1650}
Al Viro887bddf2016-05-26 00:04:58 -04001651EXPORT_SYMBOL(down_write_killable_nested);
1652
Kent Overstreet84759c62011-09-21 21:43:05 -07001653void up_read_non_owner(struct rw_semaphore *sem)
1654{
Waiman Long94a97172019-05-20 16:59:12 -04001655 DEBUG_RWSEMS_WARN_ON(!is_rwsem_reader_owned(sem), sem);
Kent Overstreet84759c62011-09-21 21:43:05 -07001656 __up_read(sem);
1657}
Kent Overstreet84759c62011-09-21 21:43:05 -07001658EXPORT_SYMBOL(up_read_non_owner);
1659
Ingo Molnar4ea21762006-07-03 00:24:53 -07001660#endif