Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /* rwsem.h: R/W semaphores, public interface |
| 2 | * |
| 3 | * Written by David Howells (dhowells@redhat.com). |
| 4 | * Derived from asm-i386/semaphore.h |
| 5 | */ |
| 6 | |
| 7 | #ifndef _LINUX_RWSEM_H |
| 8 | #define _LINUX_RWSEM_H |
| 9 | |
| 10 | #include <linux/linkage.h> |
| 11 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 12 | #include <linux/types.h> |
| 13 | #include <linux/kernel.h> |
Thomas Gleixner | c16a87c | 2011-01-26 20:05:50 +0000 | [diff] [blame] | 14 | #include <linux/list.h> |
| 15 | #include <linux/spinlock.h> |
Arun Sharma | 60063497 | 2011-07-26 16:09:06 -0700 | [diff] [blame] | 16 | #include <linux/atomic.h> |
Davidlohr Bueso | 5db6c6f | 2014-07-11 14:00:06 -0700 | [diff] [blame] | 17 | #ifdef CONFIG_RWSEM_SPIN_ON_OWNER |
Jason Low | 9063182 | 2014-07-14 10:27:49 -0700 | [diff] [blame] | 18 | #include <linux/osq_lock.h> |
Davidlohr Bueso | 5db6c6f | 2014-07-11 14:00:06 -0700 | [diff] [blame] | 19 | #endif |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 20 | |
| 21 | struct rw_semaphore; |
| 22 | |
| 23 | #ifdef CONFIG_RWSEM_GENERIC_SPINLOCK |
| 24 | #include <linux/rwsem-spinlock.h> /* use a generic implementation */ |
| 25 | #else |
Thomas Gleixner | 1c8ed64 | 2011-01-26 20:05:56 +0000 | [diff] [blame] | 26 | /* All arch specific implementations share the same struct */ |
| 27 | struct rw_semaphore { |
Davidlohr Bueso | 4fc828e | 2014-05-02 11:24:15 -0700 | [diff] [blame] | 28 | long count; |
Davidlohr Bueso | 4fc828e | 2014-05-02 11:24:15 -0700 | [diff] [blame] | 29 | struct list_head wait_list; |
Jason Low | ce069fc | 2014-07-14 10:27:52 -0700 | [diff] [blame] | 30 | raw_spinlock_t wait_lock; |
Davidlohr Bueso | 5db6c6f | 2014-07-11 14:00:06 -0700 | [diff] [blame] | 31 | #ifdef CONFIG_RWSEM_SPIN_ON_OWNER |
Jason Low | ce069fc | 2014-07-14 10:27:52 -0700 | [diff] [blame] | 32 | struct optimistic_spin_queue osq; /* spinner MCS lock */ |
Davidlohr Bueso | 4fc828e | 2014-05-02 11:24:15 -0700 | [diff] [blame] | 33 | /* |
| 34 | * Write owner. Used as a speculative check to see |
| 35 | * if the owner is running on the cpu. |
| 36 | */ |
| 37 | struct task_struct *owner; |
Davidlohr Bueso | 4fc828e | 2014-05-02 11:24:15 -0700 | [diff] [blame] | 38 | #endif |
Thomas Gleixner | 1c8ed64 | 2011-01-26 20:05:56 +0000 | [diff] [blame] | 39 | #ifdef CONFIG_DEBUG_LOCK_ALLOC |
| 40 | struct lockdep_map dep_map; |
| 41 | #endif |
| 42 | }; |
| 43 | |
Thomas Gleixner | d123375 | 2011-01-26 21:32:01 +0100 | [diff] [blame] | 44 | extern struct rw_semaphore *rwsem_down_read_failed(struct rw_semaphore *sem); |
| 45 | extern struct rw_semaphore *rwsem_down_write_failed(struct rw_semaphore *sem); |
| 46 | extern struct rw_semaphore *rwsem_wake(struct rw_semaphore *); |
| 47 | extern struct rw_semaphore *rwsem_downgrade_wake(struct rw_semaphore *sem); |
Thomas Gleixner | aac7227 | 2011-01-26 20:06:06 +0000 | [diff] [blame] | 48 | |
Thomas Gleixner | 1c8ed64 | 2011-01-26 20:05:56 +0000 | [diff] [blame] | 49 | /* Include the arch specific part */ |
| 50 | #include <asm/rwsem.h> |
Thomas Gleixner | 41e5887 | 2011-01-26 20:06:03 +0000 | [diff] [blame] | 51 | |
| 52 | /* In all implementations count != 0 means locked */ |
| 53 | static inline int rwsem_is_locked(struct rw_semaphore *sem) |
| 54 | { |
| 55 | return sem->count != 0; |
| 56 | } |
| 57 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 58 | #endif |
| 59 | |
Thomas Gleixner | 12249b3 | 2011-01-26 20:06:00 +0000 | [diff] [blame] | 60 | /* Common initializer macros and functions */ |
| 61 | |
| 62 | #ifdef CONFIG_DEBUG_LOCK_ALLOC |
| 63 | # define __RWSEM_DEP_MAP_INIT(lockname) , .dep_map = { .name = #lockname } |
| 64 | #else |
| 65 | # define __RWSEM_DEP_MAP_INIT(lockname) |
| 66 | #endif |
| 67 | |
Davidlohr Bueso | 5db6c6f | 2014-07-11 14:00:06 -0700 | [diff] [blame] | 68 | #ifdef CONFIG_RWSEM_SPIN_ON_OWNER |
Jason Low | ce069fc | 2014-07-14 10:27:52 -0700 | [diff] [blame] | 69 | #define __RWSEM_OPT_INIT(lockname) , .osq = OSQ_LOCK_UNLOCKED, .owner = NULL |
Davidlohr Bueso | 4fc828e | 2014-05-02 11:24:15 -0700 | [diff] [blame] | 70 | #else |
Jason Low | ce069fc | 2014-07-14 10:27:52 -0700 | [diff] [blame] | 71 | #define __RWSEM_OPT_INIT(lockname) |
Davidlohr Bueso | 4fc828e | 2014-05-02 11:24:15 -0700 | [diff] [blame] | 72 | #endif |
Thomas Gleixner | 12249b3 | 2011-01-26 20:06:00 +0000 | [diff] [blame] | 73 | |
Jason Low | ce069fc | 2014-07-14 10:27:52 -0700 | [diff] [blame] | 74 | #define __RWSEM_INITIALIZER(name) \ |
| 75 | { .count = RWSEM_UNLOCKED_VALUE, \ |
| 76 | .wait_list = LIST_HEAD_INIT((name).wait_list), \ |
| 77 | .wait_lock = __RAW_SPIN_LOCK_UNLOCKED(name.wait_lock) \ |
| 78 | __RWSEM_OPT_INIT(name) \ |
| 79 | __RWSEM_DEP_MAP_INIT(name) } |
| 80 | |
Thomas Gleixner | 12249b3 | 2011-01-26 20:06:00 +0000 | [diff] [blame] | 81 | #define DECLARE_RWSEM(name) \ |
| 82 | struct rw_semaphore name = __RWSEM_INITIALIZER(name) |
| 83 | |
| 84 | extern void __init_rwsem(struct rw_semaphore *sem, const char *name, |
| 85 | struct lock_class_key *key); |
| 86 | |
| 87 | #define init_rwsem(sem) \ |
| 88 | do { \ |
| 89 | static struct lock_class_key __key; \ |
| 90 | \ |
| 91 | __init_rwsem((sem), #sem, &__key); \ |
| 92 | } while (0) |
| 93 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 94 | /* |
Josef Bacik | 4a444b1 | 2013-08-30 10:05:22 -0400 | [diff] [blame] | 95 | * This is the same regardless of which rwsem implementation that is being used. |
| 96 | * It is just a heuristic meant to be called by somebody alreadying holding the |
| 97 | * rwsem to see if somebody from an incompatible type is wanting access to the |
| 98 | * lock. |
| 99 | */ |
| 100 | static inline int rwsem_is_contended(struct rw_semaphore *sem) |
| 101 | { |
| 102 | return !list_empty(&sem->wait_list); |
| 103 | } |
| 104 | |
| 105 | /* |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 106 | * lock for reading |
| 107 | */ |
Ingo Molnar | 4ea2176 | 2006-07-03 00:24:53 -0700 | [diff] [blame] | 108 | extern void down_read(struct rw_semaphore *sem); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 109 | |
| 110 | /* |
| 111 | * trylock for reading -- returns 1 if successful, 0 if contention |
| 112 | */ |
Ingo Molnar | 4ea2176 | 2006-07-03 00:24:53 -0700 | [diff] [blame] | 113 | extern int down_read_trylock(struct rw_semaphore *sem); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 114 | |
| 115 | /* |
| 116 | * lock for writing |
| 117 | */ |
Ingo Molnar | 4ea2176 | 2006-07-03 00:24:53 -0700 | [diff] [blame] | 118 | extern void down_write(struct rw_semaphore *sem); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 119 | |
| 120 | /* |
| 121 | * trylock for writing -- returns 1 if successful, 0 if contention |
| 122 | */ |
Ingo Molnar | 4ea2176 | 2006-07-03 00:24:53 -0700 | [diff] [blame] | 123 | extern int down_write_trylock(struct rw_semaphore *sem); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 124 | |
| 125 | /* |
| 126 | * release a read lock |
| 127 | */ |
Ingo Molnar | 4ea2176 | 2006-07-03 00:24:53 -0700 | [diff] [blame] | 128 | extern void up_read(struct rw_semaphore *sem); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 129 | |
| 130 | /* |
| 131 | * release a write lock |
| 132 | */ |
Ingo Molnar | 4ea2176 | 2006-07-03 00:24:53 -0700 | [diff] [blame] | 133 | extern void up_write(struct rw_semaphore *sem); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 134 | |
| 135 | /* |
| 136 | * downgrade write lock to read lock |
| 137 | */ |
Ingo Molnar | 4ea2176 | 2006-07-03 00:24:53 -0700 | [diff] [blame] | 138 | extern void downgrade_write(struct rw_semaphore *sem); |
| 139 | |
| 140 | #ifdef CONFIG_DEBUG_LOCK_ALLOC |
| 141 | /* |
Ingo Molnar | 5fca80e | 2006-07-10 04:44:02 -0700 | [diff] [blame] | 142 | * nested locking. NOTE: rwsems are not allowed to recurse |
| 143 | * (which occurs if the same task tries to acquire the same |
| 144 | * lock instance multiple times), but multiple locks of the |
| 145 | * same lock class might be taken, if the order of the locks |
| 146 | * is always the same. This ordering rule can be expressed |
| 147 | * to lockdep via the _nested() APIs, but enumerating the |
| 148 | * subclasses that are used. (If the nesting relationship is |
| 149 | * static then another method for expressing nested locking is |
| 150 | * the explicit definition of lock class keys and the use of |
| 151 | * lockdep_set_class() at lock initialization time. |
| 152 | * See Documentation/lockdep-design.txt for more details.) |
Ingo Molnar | 4ea2176 | 2006-07-03 00:24:53 -0700 | [diff] [blame] | 153 | */ |
| 154 | extern void down_read_nested(struct rw_semaphore *sem, int subclass); |
| 155 | extern void down_write_nested(struct rw_semaphore *sem, int subclass); |
Jiri Kosina | 1b963c8 | 2013-01-11 14:31:56 -0800 | [diff] [blame] | 156 | extern void _down_write_nest_lock(struct rw_semaphore *sem, struct lockdep_map *nest_lock); |
| 157 | |
| 158 | # define down_write_nest_lock(sem, nest_lock) \ |
| 159 | do { \ |
| 160 | typecheck(struct lockdep_map *, &(nest_lock)->dep_map); \ |
| 161 | _down_write_nest_lock(sem, &(nest_lock)->dep_map); \ |
| 162 | } while (0); |
| 163 | |
Kent Overstreet | 84759c6 | 2011-09-21 21:43:05 -0700 | [diff] [blame] | 164 | /* |
| 165 | * Take/release a lock when not the owner will release it. |
| 166 | * |
| 167 | * [ This API should be avoided as much as possible - the |
| 168 | * proper abstraction for this case is completions. ] |
| 169 | */ |
| 170 | extern void down_read_non_owner(struct rw_semaphore *sem); |
| 171 | extern void up_read_non_owner(struct rw_semaphore *sem); |
Ingo Molnar | 4ea2176 | 2006-07-03 00:24:53 -0700 | [diff] [blame] | 172 | #else |
| 173 | # define down_read_nested(sem, subclass) down_read(sem) |
Jiri Kosina | e65b9ad | 2013-01-15 20:12:37 +0100 | [diff] [blame] | 174 | # define down_write_nest_lock(sem, nest_lock) down_write(sem) |
Ingo Molnar | 4ea2176 | 2006-07-03 00:24:53 -0700 | [diff] [blame] | 175 | # define down_write_nested(sem, subclass) down_write(sem) |
Kent Overstreet | 84759c6 | 2011-09-21 21:43:05 -0700 | [diff] [blame] | 176 | # define down_read_non_owner(sem) down_read(sem) |
| 177 | # define up_read_non_owner(sem) up_read(sem) |
Ingo Molnar | 4ea2176 | 2006-07-03 00:24:53 -0700 | [diff] [blame] | 178 | #endif |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 179 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 180 | #endif /* _LINUX_RWSEM_H */ |