blob: 9be8a9144978685b4c7eae4762d559f9896675a4 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/* rwsem-spinlock.c: R/W semaphores: contention handling functions for
2 * generic spinlock implementation
3 *
4 * Copyright (c) 2001 David Howells (dhowells@redhat.com).
5 * - Derived partially from idea by Andrea Arcangeli <andrea@suse.de>
6 * - Derived also from comments by Linus
7 */
8#include <linux/rwsem.h>
9#include <linux/sched.h>
Paul Gortmaker8bc3bcc2011-11-16 21:29:17 -050010#include <linux/export.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070011
Michel Lespinassee2d57f72013-05-07 06:45:49 -070012enum rwsem_waiter_type {
13 RWSEM_WAITING_FOR_WRITE,
14 RWSEM_WAITING_FOR_READ
15};
16
Linus Torvalds1da177e2005-04-16 15:20:36 -070017struct rwsem_waiter {
18 struct list_head list;
19 struct task_struct *task;
Michel Lespinassee2d57f72013-05-07 06:45:49 -070020 enum rwsem_waiter_type type;
Linus Torvalds1da177e2005-04-16 15:20:36 -070021};
22
Amerigo Wang29671f22009-12-14 18:00:21 -080023int rwsem_is_locked(struct rw_semaphore *sem)
24{
25 int ret = 1;
26 unsigned long flags;
27
Thomas Gleixnerddb6c9b2010-02-24 09:54:54 +010028 if (raw_spin_trylock_irqsave(&sem->wait_lock, flags)) {
Amerigo Wang29671f22009-12-14 18:00:21 -080029 ret = (sem->activity != 0);
Thomas Gleixnerddb6c9b2010-02-24 09:54:54 +010030 raw_spin_unlock_irqrestore(&sem->wait_lock, flags);
Amerigo Wang29671f22009-12-14 18:00:21 -080031 }
32 return ret;
33}
34EXPORT_SYMBOL(rwsem_is_locked);
35
Linus Torvalds1da177e2005-04-16 15:20:36 -070036/*
37 * initialise the semaphore
38 */
Ingo Molnar4ea21762006-07-03 00:24:53 -070039void __init_rwsem(struct rw_semaphore *sem, const char *name,
40 struct lock_class_key *key)
Linus Torvalds1da177e2005-04-16 15:20:36 -070041{
Ingo Molnar4ea21762006-07-03 00:24:53 -070042#ifdef CONFIG_DEBUG_LOCK_ALLOC
43 /*
44 * Make sure we are not reinitializing a held semaphore:
45 */
46 debug_check_no_locks_freed((void *)sem, sizeof(*sem));
Peter Zijlstra4dfbb9d2006-10-11 01:45:14 -040047 lockdep_init_map(&sem->dep_map, name, key, 0);
Ingo Molnar4ea21762006-07-03 00:24:53 -070048#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -070049 sem->activity = 0;
Thomas Gleixnerddb6c9b2010-02-24 09:54:54 +010050 raw_spin_lock_init(&sem->wait_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -070051 INIT_LIST_HEAD(&sem->wait_list);
Linus Torvalds1da177e2005-04-16 15:20:36 -070052}
Amerigo Wang118d52d2009-12-14 18:00:20 -080053EXPORT_SYMBOL(__init_rwsem);
Linus Torvalds1da177e2005-04-16 15:20:36 -070054
55/*
56 * handle the lock release when processes blocked on it that can now run
57 * - if we come here, then:
58 * - the 'active count' _reached_ zero
59 * - the 'waiting count' is non-zero
60 * - the spinlock must be held by the caller
61 * - woken process blocks are discarded from the list after having task zeroed
62 * - writers are only woken if wakewrite is non-zero
63 */
64static inline struct rw_semaphore *
65__rwsem_do_wake(struct rw_semaphore *sem, int wakewrite)
66{
67 struct rwsem_waiter *waiter;
68 struct task_struct *tsk;
69 int woken;
70
Linus Torvalds1da177e2005-04-16 15:20:36 -070071 waiter = list_entry(sem->wait_list.next, struct rwsem_waiter, list);
72
Michel Lespinassee2d57f72013-05-07 06:45:49 -070073 if (waiter->type == RWSEM_WAITING_FOR_WRITE) {
Michel Lespinasse8cf53222013-05-07 06:45:58 -070074 if (wakewrite)
75 /* Wake up a writer. Note that we do not grant it the
76 * lock - it will have to acquire it when it runs. */
77 wake_up_process(waiter->task);
Linus Torvalds1da177e2005-04-16 15:20:36 -070078 goto out;
79 }
80
81 /* grant an infinite number of read locks to the front of the queue */
Linus Torvalds1da177e2005-04-16 15:20:36 -070082 woken = 0;
Michel Lespinasse8cf53222013-05-07 06:45:58 -070083 do {
Linus Torvalds1da177e2005-04-16 15:20:36 -070084 struct list_head *next = waiter->list.next;
85
86 list_del(&waiter->list);
87 tsk = waiter->task;
akpm@osdl.orgd59dd462005-05-01 08:58:47 -070088 smp_mb();
Linus Torvalds1da177e2005-04-16 15:20:36 -070089 waiter->task = NULL;
90 wake_up_process(tsk);
91 put_task_struct(tsk);
92 woken++;
Michel Lespinasse8cf53222013-05-07 06:45:58 -070093 if (next == &sem->wait_list)
Linus Torvalds1da177e2005-04-16 15:20:36 -070094 break;
95 waiter = list_entry(next, struct rwsem_waiter, list);
Michel Lespinasse8cf53222013-05-07 06:45:58 -070096 } while (waiter->type != RWSEM_WAITING_FOR_WRITE);
Linus Torvalds1da177e2005-04-16 15:20:36 -070097
98 sem->activity += woken;
99
100 out:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700101 return sem;
102}
103
104/*
105 * wake a single writer
106 */
107static inline struct rw_semaphore *
108__rwsem_wake_one_writer(struct rw_semaphore *sem)
109{
110 struct rwsem_waiter *waiter;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700111
112 waiter = list_entry(sem->wait_list.next, struct rwsem_waiter, list);
Yuanhan Liu41ef8f82013-02-01 18:59:16 +0800113 wake_up_process(waiter->task);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700114
Linus Torvalds1da177e2005-04-16 15:20:36 -0700115 return sem;
116}
117
118/*
119 * get a read lock on the semaphore
120 */
Harvey Harrison9f741cb2008-02-08 04:19:55 -0800121void __sched __down_read(struct rw_semaphore *sem)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700122{
123 struct rwsem_waiter waiter;
124 struct task_struct *tsk;
Kevin Hilman3eac4ab2010-04-07 11:52:46 -0700125 unsigned long flags;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700126
Thomas Gleixnerddb6c9b2010-02-24 09:54:54 +0100127 raw_spin_lock_irqsave(&sem->wait_lock, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700128
129 if (sem->activity >= 0 && list_empty(&sem->wait_list)) {
130 /* granted */
131 sem->activity++;
Thomas Gleixnerddb6c9b2010-02-24 09:54:54 +0100132 raw_spin_unlock_irqrestore(&sem->wait_lock, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700133 goto out;
134 }
135
136 tsk = current;
137 set_task_state(tsk, TASK_UNINTERRUPTIBLE);
138
139 /* set up my own style of waitqueue */
140 waiter.task = tsk;
Michel Lespinassee2d57f72013-05-07 06:45:49 -0700141 waiter.type = RWSEM_WAITING_FOR_READ;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700142 get_task_struct(tsk);
143
144 list_add_tail(&waiter.list, &sem->wait_list);
145
146 /* we don't need to touch the semaphore struct anymore */
Thomas Gleixnerddb6c9b2010-02-24 09:54:54 +0100147 raw_spin_unlock_irqrestore(&sem->wait_lock, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700148
149 /* wait to be given the lock */
150 for (;;) {
151 if (!waiter.task)
152 break;
153 schedule();
154 set_task_state(tsk, TASK_UNINTERRUPTIBLE);
155 }
156
157 tsk->state = TASK_RUNNING;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700158 out:
Ingo Molnarc4e05112006-07-03 00:24:29 -0700159 ;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700160}
161
162/*
163 * trylock for reading -- returns 1 if successful, 0 if contention
164 */
Harvey Harrison9f741cb2008-02-08 04:19:55 -0800165int __down_read_trylock(struct rw_semaphore *sem)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700166{
167 unsigned long flags;
168 int ret = 0;
169
Linus Torvalds1da177e2005-04-16 15:20:36 -0700170
Thomas Gleixnerddb6c9b2010-02-24 09:54:54 +0100171 raw_spin_lock_irqsave(&sem->wait_lock, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700172
173 if (sem->activity >= 0 && list_empty(&sem->wait_list)) {
174 /* granted */
175 sem->activity++;
176 ret = 1;
177 }
178
Thomas Gleixnerddb6c9b2010-02-24 09:54:54 +0100179 raw_spin_unlock_irqrestore(&sem->wait_lock, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700180
Linus Torvalds1da177e2005-04-16 15:20:36 -0700181 return ret;
182}
183
184/*
185 * get a write lock on the semaphore
Linus Torvalds1da177e2005-04-16 15:20:36 -0700186 */
Harvey Harrison9f741cb2008-02-08 04:19:55 -0800187void __sched __down_write_nested(struct rw_semaphore *sem, int subclass)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700188{
189 struct rwsem_waiter waiter;
190 struct task_struct *tsk;
Kevin Hilman3eac4ab2010-04-07 11:52:46 -0700191 unsigned long flags;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700192
Thomas Gleixnerddb6c9b2010-02-24 09:54:54 +0100193 raw_spin_lock_irqsave(&sem->wait_lock, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700194
Linus Torvalds1da177e2005-04-16 15:20:36 -0700195 /* set up my own style of waitqueue */
Yuanhan Liu41ef8f82013-02-01 18:59:16 +0800196 tsk = current;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700197 waiter.task = tsk;
Michel Lespinassee2d57f72013-05-07 06:45:49 -0700198 waiter.type = RWSEM_WAITING_FOR_WRITE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700199 list_add_tail(&waiter.list, &sem->wait_list);
200
Yuanhan Liu41ef8f82013-02-01 18:59:16 +0800201 /* wait for someone to release the lock */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700202 for (;;) {
Yuanhan Liu41ef8f82013-02-01 18:59:16 +0800203 /*
204 * That is the key to support write lock stealing: allows the
205 * task already on CPU to get the lock soon rather than put
206 * itself into sleep and waiting for system woke it or someone
207 * else in the head of the wait list up.
208 */
209 if (sem->activity == 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700210 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700211 set_task_state(tsk, TASK_UNINTERRUPTIBLE);
Yuanhan Liu41ef8f82013-02-01 18:59:16 +0800212 raw_spin_unlock_irqrestore(&sem->wait_lock, flags);
213 schedule();
214 raw_spin_lock_irqsave(&sem->wait_lock, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700215 }
Yuanhan Liu41ef8f82013-02-01 18:59:16 +0800216 /* got the lock */
217 sem->activity = -1;
218 list_del(&waiter.list);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700219
Yuanhan Liu41ef8f82013-02-01 18:59:16 +0800220 raw_spin_unlock_irqrestore(&sem->wait_lock, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700221}
222
Harvey Harrison9f741cb2008-02-08 04:19:55 -0800223void __sched __down_write(struct rw_semaphore *sem)
Ingo Molnar4ea21762006-07-03 00:24:53 -0700224{
225 __down_write_nested(sem, 0);
226}
227
Linus Torvalds1da177e2005-04-16 15:20:36 -0700228/*
229 * trylock for writing -- returns 1 if successful, 0 if contention
230 */
Harvey Harrison9f741cb2008-02-08 04:19:55 -0800231int __down_write_trylock(struct rw_semaphore *sem)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700232{
233 unsigned long flags;
234 int ret = 0;
235
Thomas Gleixnerddb6c9b2010-02-24 09:54:54 +0100236 raw_spin_lock_irqsave(&sem->wait_lock, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700237
Yuanhan Liu41ef8f82013-02-01 18:59:16 +0800238 if (sem->activity == 0) {
239 /* got the lock */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700240 sem->activity = -1;
241 ret = 1;
242 }
243
Thomas Gleixnerddb6c9b2010-02-24 09:54:54 +0100244 raw_spin_unlock_irqrestore(&sem->wait_lock, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700245
Linus Torvalds1da177e2005-04-16 15:20:36 -0700246 return ret;
247}
248
249/*
250 * release a read lock on the semaphore
251 */
Harvey Harrison9f741cb2008-02-08 04:19:55 -0800252void __up_read(struct rw_semaphore *sem)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700253{
254 unsigned long flags;
255
Thomas Gleixnerddb6c9b2010-02-24 09:54:54 +0100256 raw_spin_lock_irqsave(&sem->wait_lock, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700257
258 if (--sem->activity == 0 && !list_empty(&sem->wait_list))
259 sem = __rwsem_wake_one_writer(sem);
260
Thomas Gleixnerddb6c9b2010-02-24 09:54:54 +0100261 raw_spin_unlock_irqrestore(&sem->wait_lock, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700262}
263
264/*
265 * release a write lock on the semaphore
266 */
Harvey Harrison9f741cb2008-02-08 04:19:55 -0800267void __up_write(struct rw_semaphore *sem)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700268{
269 unsigned long flags;
270
Thomas Gleixnerddb6c9b2010-02-24 09:54:54 +0100271 raw_spin_lock_irqsave(&sem->wait_lock, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700272
273 sem->activity = 0;
274 if (!list_empty(&sem->wait_list))
275 sem = __rwsem_do_wake(sem, 1);
276
Thomas Gleixnerddb6c9b2010-02-24 09:54:54 +0100277 raw_spin_unlock_irqrestore(&sem->wait_lock, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700278}
279
280/*
281 * downgrade a write lock into a read lock
282 * - just wake up any readers at the front of the queue
283 */
Harvey Harrison9f741cb2008-02-08 04:19:55 -0800284void __downgrade_write(struct rw_semaphore *sem)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700285{
286 unsigned long flags;
287
Thomas Gleixnerddb6c9b2010-02-24 09:54:54 +0100288 raw_spin_lock_irqsave(&sem->wait_lock, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700289
290 sem->activity = 1;
291 if (!list_empty(&sem->wait_list))
292 sem = __rwsem_do_wake(sem, 0);
293
Thomas Gleixnerddb6c9b2010-02-24 09:54:54 +0100294 raw_spin_unlock_irqrestore(&sem->wait_lock, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700295}
296