blob: e401358c4e7eb5be64626e0c73c12a8d1bed366c [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001/* SPDX-License-Identifier: GPL-2.0 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07002/* rwsem.h: R/W semaphores, public interface
3 *
4 * Written by David Howells (dhowells@redhat.com).
5 * Derived from asm-i386/semaphore.h
6 */
7
8#ifndef _LINUX_RWSEM_H
9#define _LINUX_RWSEM_H
10
11#include <linux/linkage.h>
12
Linus Torvalds1da177e2005-04-16 15:20:36 -070013#include <linux/types.h>
14#include <linux/kernel.h>
Thomas Gleixnerc16a87c2011-01-26 20:05:50 +000015#include <linux/list.h>
16#include <linux/spinlock.h>
Arun Sharma600634972011-07-26 16:09:06 -070017#include <linux/atomic.h>
Michal Hockod47996082016-04-07 17:12:26 +020018#include <linux/err.h>
Davidlohr Bueso5db6c6f2014-07-11 14:00:06 -070019#ifdef CONFIG_RWSEM_SPIN_ON_OWNER
Jason Low90631822014-07-14 10:27:49 -070020#include <linux/osq_lock.h>
Davidlohr Bueso5db6c6f2014-07-11 14:00:06 -070021#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -070022
Waiman Long364f7842019-04-04 13:43:20 -040023/*
24 * For an uncontended rwsem, count and owner are the only fields a task
25 * needs to touch when acquiring the rwsem. So they are put next to each
26 * other to increase the chance that they will share the same cacheline.
27 *
28 * In a contended rwsem, the owner is likely the most frequently accessed
29 * field in the structure as the optimistic waiter that holds the osq lock
30 * will spin on owner. For an embedded rwsem, other hot fields in the
31 * containing structure should be moved further away from the rwsem to
32 * reduce the chance that they will share the same cacheline causing
33 * cacheline bouncing problem.
34 */
Thomas Gleixner1c8ed642011-01-26 20:05:56 +000035struct rw_semaphore {
Jason Low8ee62b12016-06-03 22:26:02 -070036 atomic_long_t count;
Davidlohr Bueso4fc828e2014-05-02 11:24:15 -070037 /*
Waiman Long94a97172019-05-20 16:59:12 -040038 * Write owner or one of the read owners as well flags regarding
39 * the current state of the rwsem. Can be used as a speculative
40 * check to see if the write owner is running on the cpu.
Davidlohr Bueso4fc828e2014-05-02 11:24:15 -070041 */
Waiman Long94a97172019-05-20 16:59:12 -040042 atomic_long_t owner;
Waiman Longc71fd892019-05-20 16:59:00 -040043#ifdef CONFIG_RWSEM_SPIN_ON_OWNER
Waiman Long364f7842019-04-04 13:43:20 -040044 struct optimistic_spin_queue osq; /* spinner MCS lock */
Davidlohr Bueso4fc828e2014-05-02 11:24:15 -070045#endif
Waiman Long364f7842019-04-04 13:43:20 -040046 raw_spinlock_t wait_lock;
47 struct list_head wait_list;
Thomas Gleixner1c8ed642011-01-26 20:05:56 +000048#ifdef CONFIG_DEBUG_LOCK_ALLOC
49 struct lockdep_map dep_map;
50#endif
51};
52
Waiman Long5a817642018-05-15 17:49:51 -040053/*
Waiman Long02f10822019-05-20 16:59:10 -040054 * Setting all bits of the owner field except bit 0 will indicate
Waiman Long5a817642018-05-15 17:49:51 -040055 * that the rwsem is writer-owned with an unknown owner.
56 */
Waiman Long94a97172019-05-20 16:59:12 -040057#define RWSEM_OWNER_UNKNOWN (-2L)
Waiman Long5a817642018-05-15 17:49:51 -040058
Thomas Gleixner41e58872011-01-26 20:06:03 +000059/* In all implementations count != 0 means locked */
60static inline int rwsem_is_locked(struct rw_semaphore *sem)
61{
Jason Low8ee62b12016-06-03 22:26:02 -070062 return atomic_long_read(&sem->count) != 0;
Thomas Gleixner41e58872011-01-26 20:06:03 +000063}
64
Waiman Long46ad0842019-03-22 10:30:06 -040065#define RWSEM_UNLOCKED_VALUE 0L
Jason Low8ee62b12016-06-03 22:26:02 -070066#define __RWSEM_INIT_COUNT(name) .count = ATOMIC_LONG_INIT(RWSEM_UNLOCKED_VALUE)
Linus Torvalds1da177e2005-04-16 15:20:36 -070067
Thomas Gleixner12249b32011-01-26 20:06:00 +000068/* Common initializer macros and functions */
69
70#ifdef CONFIG_DEBUG_LOCK_ALLOC
71# define __RWSEM_DEP_MAP_INIT(lockname) , .dep_map = { .name = #lockname }
72#else
73# define __RWSEM_DEP_MAP_INIT(lockname)
74#endif
75
Davidlohr Bueso5db6c6f2014-07-11 14:00:06 -070076#ifdef CONFIG_RWSEM_SPIN_ON_OWNER
Waiman Longc71fd892019-05-20 16:59:00 -040077#define __RWSEM_OPT_INIT(lockname) , .osq = OSQ_LOCK_UNLOCKED
Davidlohr Bueso4fc828e2014-05-02 11:24:15 -070078#else
Jason Lowce069fc2014-07-14 10:27:52 -070079#define __RWSEM_OPT_INIT(lockname)
Davidlohr Bueso4fc828e2014-05-02 11:24:15 -070080#endif
Thomas Gleixner12249b32011-01-26 20:06:00 +000081
Jason Lowce069fc2014-07-14 10:27:52 -070082#define __RWSEM_INITIALIZER(name) \
Jason Low8ee62b12016-06-03 22:26:02 -070083 { __RWSEM_INIT_COUNT(name), \
Waiman Long94a97172019-05-20 16:59:12 -040084 .owner = ATOMIC_LONG_INIT(0), \
Jason Lowce069fc2014-07-14 10:27:52 -070085 .wait_list = LIST_HEAD_INIT((name).wait_list), \
86 .wait_lock = __RAW_SPIN_LOCK_UNLOCKED(name.wait_lock) \
87 __RWSEM_OPT_INIT(name) \
88 __RWSEM_DEP_MAP_INIT(name) }
89
Thomas Gleixner12249b32011-01-26 20:06:00 +000090#define DECLARE_RWSEM(name) \
91 struct rw_semaphore name = __RWSEM_INITIALIZER(name)
92
93extern void __init_rwsem(struct rw_semaphore *sem, const char *name,
94 struct lock_class_key *key);
95
96#define init_rwsem(sem) \
97do { \
98 static struct lock_class_key __key; \
99 \
100 __init_rwsem((sem), #sem, &__key); \
101} while (0)
102
Linus Torvalds1da177e2005-04-16 15:20:36 -0700103/*
Josef Bacik4a444b12013-08-30 10:05:22 -0400104 * This is the same regardless of which rwsem implementation that is being used.
105 * It is just a heuristic meant to be called by somebody alreadying holding the
106 * rwsem to see if somebody from an incompatible type is wanting access to the
107 * lock.
108 */
109static inline int rwsem_is_contended(struct rw_semaphore *sem)
110{
111 return !list_empty(&sem->wait_list);
112}
113
114/*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700115 * lock for reading
116 */
Ingo Molnar4ea21762006-07-03 00:24:53 -0700117extern void down_read(struct rw_semaphore *sem);
Kirill Tkhai76f85072017-09-29 19:06:38 +0300118extern int __must_check down_read_killable(struct rw_semaphore *sem);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700119
120/*
121 * trylock for reading -- returns 1 if successful, 0 if contention
122 */
Ingo Molnar4ea21762006-07-03 00:24:53 -0700123extern int down_read_trylock(struct rw_semaphore *sem);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700124
125/*
126 * lock for writing
127 */
Ingo Molnar4ea21762006-07-03 00:24:53 -0700128extern void down_write(struct rw_semaphore *sem);
Michal Hocko916633a2016-04-07 17:12:31 +0200129extern int __must_check down_write_killable(struct rw_semaphore *sem);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700130
131/*
132 * trylock for writing -- returns 1 if successful, 0 if contention
133 */
Ingo Molnar4ea21762006-07-03 00:24:53 -0700134extern int down_write_trylock(struct rw_semaphore *sem);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700135
136/*
137 * release a read lock
138 */
Ingo Molnar4ea21762006-07-03 00:24:53 -0700139extern void up_read(struct rw_semaphore *sem);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700140
141/*
142 * release a write lock
143 */
Ingo Molnar4ea21762006-07-03 00:24:53 -0700144extern void up_write(struct rw_semaphore *sem);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700145
146/*
147 * downgrade write lock to read lock
148 */
Ingo Molnar4ea21762006-07-03 00:24:53 -0700149extern void downgrade_write(struct rw_semaphore *sem);
150
151#ifdef CONFIG_DEBUG_LOCK_ALLOC
152/*
Ingo Molnar5fca80e2006-07-10 04:44:02 -0700153 * nested locking. NOTE: rwsems are not allowed to recurse
154 * (which occurs if the same task tries to acquire the same
155 * lock instance multiple times), but multiple locks of the
156 * same lock class might be taken, if the order of the locks
157 * is always the same. This ordering rule can be expressed
158 * to lockdep via the _nested() APIs, but enumerating the
159 * subclasses that are used. (If the nesting relationship is
160 * static then another method for expressing nested locking is
161 * the explicit definition of lock class keys and the use of
162 * lockdep_set_class() at lock initialization time.
Davidlohr Bueso214e0ae2014-07-30 13:41:55 -0700163 * See Documentation/locking/lockdep-design.txt for more details.)
Ingo Molnar4ea21762006-07-03 00:24:53 -0700164 */
165extern void down_read_nested(struct rw_semaphore *sem, int subclass);
166extern void down_write_nested(struct rw_semaphore *sem, int subclass);
Al Viro887bddf2016-05-26 00:04:58 -0400167extern int down_write_killable_nested(struct rw_semaphore *sem, int subclass);
Jiri Kosina1b963c82013-01-11 14:31:56 -0800168extern void _down_write_nest_lock(struct rw_semaphore *sem, struct lockdep_map *nest_lock);
169
170# define down_write_nest_lock(sem, nest_lock) \
171do { \
172 typecheck(struct lockdep_map *, &(nest_lock)->dep_map); \
173 _down_write_nest_lock(sem, &(nest_lock)->dep_map); \
174} while (0);
175
Kent Overstreet84759c62011-09-21 21:43:05 -0700176/*
177 * Take/release a lock when not the owner will release it.
178 *
179 * [ This API should be avoided as much as possible - the
180 * proper abstraction for this case is completions. ]
181 */
182extern void down_read_non_owner(struct rw_semaphore *sem);
183extern void up_read_non_owner(struct rw_semaphore *sem);
Ingo Molnar4ea21762006-07-03 00:24:53 -0700184#else
185# define down_read_nested(sem, subclass) down_read(sem)
Jiri Kosinae65b9ad2013-01-15 20:12:37 +0100186# define down_write_nest_lock(sem, nest_lock) down_write(sem)
Ingo Molnar4ea21762006-07-03 00:24:53 -0700187# define down_write_nested(sem, subclass) down_write(sem)
Al Viro887bddf2016-05-26 00:04:58 -0400188# define down_write_killable_nested(sem, subclass) down_write_killable(sem)
Kent Overstreet84759c62011-09-21 21:43:05 -0700189# define down_read_non_owner(sem) down_read(sem)
190# define up_read_non_owner(sem) up_read(sem)
Ingo Molnar4ea21762006-07-03 00:24:53 -0700191#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700192
Linus Torvalds1da177e2005-04-16 15:20:36 -0700193#endif /* _LINUX_RWSEM_H */