blob: 1a064adab658cbacc72c2fe8a88ab7e6f3a2efeb [file] [log] [blame]
Matthew Wilcox64ac24e2008-03-07 21:55:58 -05001/*
2 * Copyright (c) 2008 Intel Corporation
3 * Author: Matthew Wilcox <willy@linux.intel.com>
4 *
5 * Distributed under the terms of the GNU GPL, version 2
Matthew Wilcox714493c2008-04-11 15:23:52 -04006 *
7 * This file implements counting semaphores.
8 * A counting semaphore may be acquired 'n' times before sleeping.
9 * See mutex.c for single-acquisition sleeping locks which enforce
10 * rules which allow code to be debugged more easily.
11 */
12
13/*
14 * Some notes on the implementation:
15 *
16 * The spinlock controls access to the other members of the semaphore.
17 * down_trylock() and up() can be called from interrupt context, so we
18 * have to disable interrupts when taking the lock. It turns out various
19 * parts of the kernel expect to be able to use down() on a semaphore in
20 * interrupt context when they know it will succeed, so we have to use
21 * irqsave variants for down(), down_interruptible() and down_killable()
22 * too.
23 *
24 * The ->count variable represents how many more tasks can acquire this
25 * semaphore. If it's zero, there may be tasks waiting on the wait_list.
Matthew Wilcox64ac24e2008-03-07 21:55:58 -050026 */
27
28#include <linux/compiler.h>
29#include <linux/kernel.h>
30#include <linux/module.h>
31#include <linux/sched.h>
32#include <linux/semaphore.h>
33#include <linux/spinlock.h>
Ingo Molnar74f4e362008-05-12 21:21:15 +020034#include <linux/ftrace.h>
Matthew Wilcox64ac24e2008-03-07 21:55:58 -050035
Matthew Wilcox64ac24e2008-03-07 21:55:58 -050036static noinline void __down(struct semaphore *sem);
37static noinline int __down_interruptible(struct semaphore *sem);
Matthew Wilcoxf06d9682008-03-14 13:19:33 -040038static noinline int __down_killable(struct semaphore *sem);
Matthew Wilcoxf1241c82008-03-14 13:43:13 -040039static noinline int __down_timeout(struct semaphore *sem, long jiffies);
Matthew Wilcox64ac24e2008-03-07 21:55:58 -050040static noinline void __up(struct semaphore *sem);
41
Matthew Wilcox714493c2008-04-11 15:23:52 -040042/**
43 * down - acquire the semaphore
44 * @sem: the semaphore to be acquired
45 *
46 * Acquires the semaphore. If no more tasks are allowed to acquire the
47 * semaphore, calling this function will put the task to sleep until the
48 * semaphore is released.
49 *
50 * Use of this function is deprecated, please use down_interruptible() or
51 * down_killable() instead.
52 */
Matthew Wilcox64ac24e2008-03-07 21:55:58 -050053void down(struct semaphore *sem)
54{
55 unsigned long flags;
56
Ingo Molnar74f4e362008-05-12 21:21:15 +020057 ftrace_special(sem->count, 0, __LINE__);
Matthew Wilcox64ac24e2008-03-07 21:55:58 -050058 spin_lock_irqsave(&sem->lock, flags);
Linus Torvalds00b41ec2008-05-10 20:43:22 -070059 if (likely(sem->count > 0))
60 sem->count--;
61 else
Matthew Wilcox64ac24e2008-03-07 21:55:58 -050062 __down(sem);
63 spin_unlock_irqrestore(&sem->lock, flags);
64}
65EXPORT_SYMBOL(down);
66
Matthew Wilcox714493c2008-04-11 15:23:52 -040067/**
68 * down_interruptible - acquire the semaphore unless interrupted
69 * @sem: the semaphore to be acquired
70 *
71 * Attempts to acquire the semaphore. If no more tasks are allowed to
72 * acquire the semaphore, calling this function will put the task to sleep.
73 * If the sleep is interrupted by a signal, this function will return -EINTR.
74 * If the semaphore is successfully acquired, this function returns 0.
75 */
Matthew Wilcox64ac24e2008-03-07 21:55:58 -050076int down_interruptible(struct semaphore *sem)
77{
78 unsigned long flags;
79 int result = 0;
80
81 spin_lock_irqsave(&sem->lock, flags);
Linus Torvalds00b41ec2008-05-10 20:43:22 -070082 if (likely(sem->count > 0))
Ingo Molnarbf726ea2008-05-08 11:53:48 +020083 sem->count--;
Linus Torvalds00b41ec2008-05-10 20:43:22 -070084 else
85 result = __down_interruptible(sem);
Matthew Wilcox64ac24e2008-03-07 21:55:58 -050086 spin_unlock_irqrestore(&sem->lock, flags);
87
88 return result;
89}
90EXPORT_SYMBOL(down_interruptible);
91
Matthew Wilcox714493c2008-04-11 15:23:52 -040092/**
93 * down_killable - acquire the semaphore unless killed
94 * @sem: the semaphore to be acquired
95 *
96 * Attempts to acquire the semaphore. If no more tasks are allowed to
97 * acquire the semaphore, calling this function will put the task to sleep.
98 * If the sleep is interrupted by a fatal signal, this function will return
99 * -EINTR. If the semaphore is successfully acquired, this function returns
100 * 0.
101 */
Matthew Wilcoxf06d9682008-03-14 13:19:33 -0400102int down_killable(struct semaphore *sem)
103{
104 unsigned long flags;
105 int result = 0;
106
107 spin_lock_irqsave(&sem->lock, flags);
Linus Torvalds00b41ec2008-05-10 20:43:22 -0700108 if (likely(sem->count > 0))
Ingo Molnarbf726ea2008-05-08 11:53:48 +0200109 sem->count--;
Linus Torvalds00b41ec2008-05-10 20:43:22 -0700110 else
111 result = __down_killable(sem);
Matthew Wilcoxf06d9682008-03-14 13:19:33 -0400112 spin_unlock_irqrestore(&sem->lock, flags);
113
114 return result;
115}
116EXPORT_SYMBOL(down_killable);
117
Matthew Wilcox64ac24e2008-03-07 21:55:58 -0500118/**
119 * down_trylock - try to acquire the semaphore, without waiting
120 * @sem: the semaphore to be acquired
121 *
122 * Try to acquire the semaphore atomically. Returns 0 if the mutex has
Matthew Wilcox714493c2008-04-11 15:23:52 -0400123 * been acquired successfully or 1 if it it cannot be acquired.
Matthew Wilcox64ac24e2008-03-07 21:55:58 -0500124 *
125 * NOTE: This return value is inverted from both spin_trylock and
126 * mutex_trylock! Be careful about this when converting code.
127 *
128 * Unlike mutex_trylock, this function can be used from interrupt context,
129 * and the semaphore can be released by any task or interrupt.
130 */
131int down_trylock(struct semaphore *sem)
132{
133 unsigned long flags;
134 int count;
135
136 spin_lock_irqsave(&sem->lock, flags);
137 count = sem->count - 1;
138 if (likely(count >= 0))
139 sem->count = count;
140 spin_unlock_irqrestore(&sem->lock, flags);
141
142 return (count < 0);
143}
144EXPORT_SYMBOL(down_trylock);
145
Matthew Wilcox714493c2008-04-11 15:23:52 -0400146/**
147 * down_timeout - acquire the semaphore within a specified time
148 * @sem: the semaphore to be acquired
149 * @jiffies: how long to wait before failing
150 *
151 * Attempts to acquire the semaphore. If no more tasks are allowed to
152 * acquire the semaphore, calling this function will put the task to sleep.
153 * If the semaphore is not released within the specified number of jiffies,
154 * this function returns -ETIME. It returns 0 if the semaphore was acquired.
155 */
Matthew Wilcoxf1241c82008-03-14 13:43:13 -0400156int down_timeout(struct semaphore *sem, long jiffies)
157{
158 unsigned long flags;
159 int result = 0;
160
161 spin_lock_irqsave(&sem->lock, flags);
Linus Torvalds00b41ec2008-05-10 20:43:22 -0700162 if (likely(sem->count > 0))
Ingo Molnarbf726ea2008-05-08 11:53:48 +0200163 sem->count--;
Linus Torvalds00b41ec2008-05-10 20:43:22 -0700164 else
165 result = __down_timeout(sem, jiffies);
Matthew Wilcoxf1241c82008-03-14 13:43:13 -0400166 spin_unlock_irqrestore(&sem->lock, flags);
167
168 return result;
169}
170EXPORT_SYMBOL(down_timeout);
171
Matthew Wilcox714493c2008-04-11 15:23:52 -0400172/**
173 * up - release the semaphore
174 * @sem: the semaphore to release
175 *
176 * Release the semaphore. Unlike mutexes, up() may be called from any
177 * context and even by tasks which have never called down().
178 */
Matthew Wilcox64ac24e2008-03-07 21:55:58 -0500179void up(struct semaphore *sem)
180{
181 unsigned long flags;
182
183 spin_lock_irqsave(&sem->lock, flags);
Linus Torvalds00b41ec2008-05-10 20:43:22 -0700184 if (likely(list_empty(&sem->wait_list)))
185 sem->count++;
186 else
Matthew Wilcox64ac24e2008-03-07 21:55:58 -0500187 __up(sem);
188 spin_unlock_irqrestore(&sem->lock, flags);
189}
190EXPORT_SYMBOL(up);
191
192/* Functions for the contended case */
193
194struct semaphore_waiter {
195 struct list_head list;
196 struct task_struct *task;
Linus Torvalds00b41ec2008-05-10 20:43:22 -0700197 int up;
Matthew Wilcox64ac24e2008-03-07 21:55:58 -0500198};
199
200/*
Matthew Wilcoxf1241c82008-03-14 13:43:13 -0400201 * Because this function is inlined, the 'state' parameter will be
202 * constant, and thus optimised away by the compiler. Likewise the
203 * 'timeout' parameter for the cases without timeouts.
Matthew Wilcox64ac24e2008-03-07 21:55:58 -0500204 */
Matthew Wilcoxf1241c82008-03-14 13:43:13 -0400205static inline int __sched __down_common(struct semaphore *sem, long state,
206 long timeout)
Matthew Wilcox64ac24e2008-03-07 21:55:58 -0500207{
Matthew Wilcox64ac24e2008-03-07 21:55:58 -0500208 struct task_struct *task = current;
209 struct semaphore_waiter waiter;
210
Ingo Molnarbf726ea2008-05-08 11:53:48 +0200211 list_add_tail(&waiter.list, &sem->wait_list);
Linus Torvalds00b41ec2008-05-10 20:43:22 -0700212 waiter.task = task;
213 waiter.up = 0;
Matthew Wilcox64ac24e2008-03-07 21:55:58 -0500214
215 for (;;) {
Linus Torvalds00b41ec2008-05-10 20:43:22 -0700216 if (state == TASK_INTERRUPTIBLE && signal_pending(task))
217 goto interrupted;
218 if (state == TASK_KILLABLE && fatal_signal_pending(task))
219 goto interrupted;
220 if (timeout <= 0)
221 goto timed_out;
Matthew Wilcox64ac24e2008-03-07 21:55:58 -0500222 __set_task_state(task, state);
223 spin_unlock_irq(&sem->lock);
Matthew Wilcoxf1241c82008-03-14 13:43:13 -0400224 timeout = schedule_timeout(timeout);
Matthew Wilcox64ac24e2008-03-07 21:55:58 -0500225 spin_lock_irq(&sem->lock);
Linus Torvalds00b41ec2008-05-10 20:43:22 -0700226 if (waiter.up)
227 return 0;
Matthew Wilcox64ac24e2008-03-07 21:55:58 -0500228 }
229
Linus Torvalds00b41ec2008-05-10 20:43:22 -0700230 timed_out:
Matthew Wilcoxf1241c82008-03-14 13:43:13 -0400231 list_del(&waiter.list);
Linus Torvalds00b41ec2008-05-10 20:43:22 -0700232 return -ETIME;
233
234 interrupted:
235 list_del(&waiter.list);
236 return -EINTR;
Matthew Wilcox64ac24e2008-03-07 21:55:58 -0500237}
238
239static noinline void __sched __down(struct semaphore *sem)
240{
Matthew Wilcoxf1241c82008-03-14 13:43:13 -0400241 __down_common(sem, TASK_UNINTERRUPTIBLE, MAX_SCHEDULE_TIMEOUT);
Matthew Wilcox64ac24e2008-03-07 21:55:58 -0500242}
243
244static noinline int __sched __down_interruptible(struct semaphore *sem)
245{
Matthew Wilcoxf1241c82008-03-14 13:43:13 -0400246 return __down_common(sem, TASK_INTERRUPTIBLE, MAX_SCHEDULE_TIMEOUT);
Matthew Wilcox64ac24e2008-03-07 21:55:58 -0500247}
248
Matthew Wilcoxf06d9682008-03-14 13:19:33 -0400249static noinline int __sched __down_killable(struct semaphore *sem)
250{
Matthew Wilcoxf1241c82008-03-14 13:43:13 -0400251 return __down_common(sem, TASK_KILLABLE, MAX_SCHEDULE_TIMEOUT);
252}
253
254static noinline int __sched __down_timeout(struct semaphore *sem, long jiffies)
255{
256 return __down_common(sem, TASK_UNINTERRUPTIBLE, jiffies);
Matthew Wilcoxf06d9682008-03-14 13:19:33 -0400257}
258
Matthew Wilcox64ac24e2008-03-07 21:55:58 -0500259static noinline void __sched __up(struct semaphore *sem)
260{
Matthew Wilcoxb17170b2008-03-14 14:35:22 -0400261 struct semaphore_waiter *waiter = list_first_entry(&sem->wait_list,
262 struct semaphore_waiter, list);
Linus Torvalds00b41ec2008-05-10 20:43:22 -0700263 list_del(&waiter->list);
264 waiter->up = 1;
Matthew Wilcoxb17170b2008-03-14 14:35:22 -0400265 wake_up_process(waiter->task);
Matthew Wilcox64ac24e2008-03-07 21:55:58 -0500266}