blob: 0dd6aec1cb6ad8bb41a44ba74f770ca4439fc022 [file] [log] [blame]
Ingo Molnar23f78d4a2006-06-27 02:54:53 -07001/*
2 * RT-Mutexes: simple blocking mutual exclusion locks with PI support
3 *
4 * started by Ingo Molnar and Thomas Gleixner.
5 *
6 * Copyright (C) 2004-2006 Red Hat, Inc., Ingo Molnar <mingo@redhat.com>
7 * Copyright (C) 2005-2006 Timesys Corp., Thomas Gleixner <tglx@timesys.com>
8 * Copyright (C) 2005 Kihon Technologies Inc., Steven Rostedt
9 * Copyright (C) 2006 Esben Nielsen
Steven Rostedtd07fe82c22006-07-30 03:04:03 -070010 *
11 * See Documentation/rt-mutex-design.txt for details.
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070012 */
13#include <linux/spinlock.h>
Paul Gortmaker9984de12011-05-23 14:51:41 -040014#include <linux/export.h>
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070015#include <linux/sched.h>
Clark Williams8bd75c72013-02-07 09:47:07 -060016#include <linux/sched/rt.h>
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070017#include <linux/timer.h>
18
19#include "rtmutex_common.h"
20
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070021/*
22 * lock->owner state tracking:
23 *
Lai Jiangshan81612392011-01-14 17:09:41 +080024 * lock->owner holds the task_struct pointer of the owner. Bit 0
25 * is used to keep track of the "lock has waiters" state.
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070026 *
Lai Jiangshan81612392011-01-14 17:09:41 +080027 * owner bit0
28 * NULL 0 lock is free (fast acquire possible)
29 * NULL 1 lock is free and has waiters and the top waiter
30 * is going to take the lock*
31 * taskpointer 0 lock is held (fast release possible)
32 * taskpointer 1 lock is held and has waiters**
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070033 *
34 * The fast atomic compare exchange based acquire and release is only
Lai Jiangshan81612392011-01-14 17:09:41 +080035 * possible when bit 0 of lock->owner is 0.
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070036 *
Lai Jiangshan81612392011-01-14 17:09:41 +080037 * (*) It also can be a transitional state when grabbing the lock
38 * with ->wait_lock is held. To prevent any fast path cmpxchg to the lock,
39 * we need to set the bit0 before looking at the lock, and the owner may be
40 * NULL in this small time, hence this can be a transitional state.
41 *
42 * (**) There is a small time when bit 0 is set but there are no
43 * waiters. This can happen when grabbing the lock in the slow path.
44 * To prevent a cmpxchg of the owner releasing the lock, we need to
45 * set this bit before looking at the lock.
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070046 */
47
Thomas Gleixnerbd197232007-06-17 21:11:10 +020048static void
Lai Jiangshan81612392011-01-14 17:09:41 +080049rt_mutex_set_owner(struct rt_mutex *lock, struct task_struct *owner)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070050{
Lai Jiangshan81612392011-01-14 17:09:41 +080051 unsigned long val = (unsigned long)owner;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070052
53 if (rt_mutex_has_waiters(lock))
54 val |= RT_MUTEX_HAS_WAITERS;
55
56 lock->owner = (struct task_struct *)val;
57}
58
59static inline void clear_rt_mutex_waiters(struct rt_mutex *lock)
60{
61 lock->owner = (struct task_struct *)
62 ((unsigned long)lock->owner & ~RT_MUTEX_HAS_WAITERS);
63}
64
65static void fixup_rt_mutex_waiters(struct rt_mutex *lock)
66{
67 if (!rt_mutex_has_waiters(lock))
68 clear_rt_mutex_waiters(lock);
69}
70
71/*
Thomas Gleixnerbd197232007-06-17 21:11:10 +020072 * We can speed up the acquire/release, if the architecture
73 * supports cmpxchg and if there's no debugging state to be set up
74 */
75#if defined(__HAVE_ARCH_CMPXCHG) && !defined(CONFIG_DEBUG_RT_MUTEXES)
76# define rt_mutex_cmpxchg(l,c,n) (cmpxchg(&l->owner, c, n) == c)
77static inline void mark_rt_mutex_waiters(struct rt_mutex *lock)
78{
79 unsigned long owner, *p = (unsigned long *) &lock->owner;
80
81 do {
82 owner = *p;
83 } while (cmpxchg(p, owner, owner | RT_MUTEX_HAS_WAITERS) != owner);
84}
85#else
86# define rt_mutex_cmpxchg(l,c,n) (0)
87static inline void mark_rt_mutex_waiters(struct rt_mutex *lock)
88{
89 lock->owner = (struct task_struct *)
90 ((unsigned long)lock->owner | RT_MUTEX_HAS_WAITERS);
91}
92#endif
93
94/*
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070095 * Calculate task priority from the waiter list priority
96 *
97 * Return task->normal_prio when the waiter list is empty or when
98 * the waiter is not allowed to do priority boosting
99 */
100int rt_mutex_getprio(struct task_struct *task)
101{
102 if (likely(!task_has_pi_waiters(task)))
103 return task->normal_prio;
104
105 return min(task_top_pi_waiter(task)->pi_list_entry.prio,
106 task->normal_prio);
107}
108
109/*
110 * Adjust the priority of a task, after its pi_waiters got modified.
111 *
112 * This can be both boosting and unboosting. task->pi_lock must be held.
113 */
Thomas Gleixnerbd197232007-06-17 21:11:10 +0200114static void __rt_mutex_adjust_prio(struct task_struct *task)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700115{
116 int prio = rt_mutex_getprio(task);
117
118 if (task->prio != prio)
119 rt_mutex_setprio(task, prio);
120}
121
122/*
123 * Adjust task priority (undo boosting). Called from the exit path of
124 * rt_mutex_slowunlock() and rt_mutex_slowlock().
125 *
126 * (Note: We do this outside of the protection of lock->wait_lock to
127 * allow the lock to be taken while or before we readjust the priority
128 * of task. We do not use the spin_xx_mutex() variants here as we are
129 * outside of the debug path.)
130 */
131static void rt_mutex_adjust_prio(struct task_struct *task)
132{
133 unsigned long flags;
134
Thomas Gleixner1d615482009-11-17 14:54:03 +0100135 raw_spin_lock_irqsave(&task->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700136 __rt_mutex_adjust_prio(task);
Thomas Gleixner1d615482009-11-17 14:54:03 +0100137 raw_spin_unlock_irqrestore(&task->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700138}
139
140/*
141 * Max number of times we'll walk the boosting chain:
142 */
143int max_lock_depth = 1024;
144
145/*
146 * Adjust the priority chain. Also used for deadlock detection.
147 * Decreases task's usage by one - may thus free the task.
Juri Lelli0c106172013-05-15 11:04:10 +0200148 *
149 * @task: the task owning the mutex (owner) for which a chain walk is probably
150 * needed
151 * @deadlock_detect: do we have to carry out deadlock detection?
152 * @orig_lock: the mutex (can be NULL if we are walking the chain to recheck
153 * things for a task that has just got its priority adjusted, and
154 * is waiting on a mutex)
155 * @orig_waiter: rt_mutex_waiter struct for the task that has just donated
156 * its priority to the mutex owner (can be NULL in the case
157 * depicted above or if the top waiter is gone away and we are
158 * actually deboosting the owner)
159 * @top_task: the current top waiter
160 *
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700161 * Returns 0 or -EDEADLK.
162 */
Thomas Gleixnerbd197232007-06-17 21:11:10 +0200163static int rt_mutex_adjust_prio_chain(struct task_struct *task,
164 int deadlock_detect,
165 struct rt_mutex *orig_lock,
166 struct rt_mutex_waiter *orig_waiter,
167 struct task_struct *top_task)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700168{
169 struct rt_mutex *lock;
170 struct rt_mutex_waiter *waiter, *top_waiter = orig_waiter;
171 int detect_deadlock, ret = 0, depth = 0;
172 unsigned long flags;
173
174 detect_deadlock = debug_rt_mutex_detect_deadlock(orig_waiter,
175 deadlock_detect);
176
177 /*
178 * The (de)boosting is a step by step approach with a lot of
179 * pitfalls. We want this to be preemptible and we want hold a
180 * maximum of two locks per step. So we have to check
181 * carefully whether things change under us.
182 */
183 again:
184 if (++depth > max_lock_depth) {
185 static int prev_max;
186
187 /*
188 * Print this only once. If the admin changes the limit,
189 * print a new message when reaching the limit again.
190 */
191 if (prev_max != max_lock_depth) {
192 prev_max = max_lock_depth;
193 printk(KERN_WARNING "Maximum lock depth %d reached "
194 "task: %s (%d)\n", max_lock_depth,
Pavel Emelyanovba25f9d2007-10-18 23:40:40 -0700195 top_task->comm, task_pid_nr(top_task));
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700196 }
197 put_task_struct(task);
198
199 return deadlock_detect ? -EDEADLK : 0;
200 }
201 retry:
202 /*
203 * Task can not go away as we did a get_task() before !
204 */
Thomas Gleixner1d615482009-11-17 14:54:03 +0100205 raw_spin_lock_irqsave(&task->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700206
207 waiter = task->pi_blocked_on;
208 /*
209 * Check whether the end of the boosting chain has been
210 * reached or the state of the chain has changed while we
211 * dropped the locks.
212 */
Lai Jiangshan81612392011-01-14 17:09:41 +0800213 if (!waiter)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700214 goto out_unlock_pi;
215
Thomas Gleixner1a539a82007-06-08 13:46:58 -0700216 /*
217 * Check the orig_waiter state. After we dropped the locks,
Lai Jiangshan81612392011-01-14 17:09:41 +0800218 * the previous owner of the lock might have released the lock.
Thomas Gleixner1a539a82007-06-08 13:46:58 -0700219 */
Lai Jiangshan81612392011-01-14 17:09:41 +0800220 if (orig_waiter && !rt_mutex_owner(orig_lock))
Thomas Gleixner1a539a82007-06-08 13:46:58 -0700221 goto out_unlock_pi;
222
223 /*
224 * Drop out, when the task has no waiters. Note,
225 * top_waiter can be NULL, when we are in the deboosting
226 * mode!
227 */
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700228 if (top_waiter && (!task_has_pi_waiters(task) ||
229 top_waiter != task_top_pi_waiter(task)))
230 goto out_unlock_pi;
231
232 /*
233 * When deadlock detection is off then we check, if further
234 * priority adjustment is necessary.
235 */
236 if (!detect_deadlock && waiter->list_entry.prio == task->prio)
237 goto out_unlock_pi;
238
239 lock = waiter->lock;
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100240 if (!raw_spin_trylock(&lock->wait_lock)) {
Thomas Gleixner1d615482009-11-17 14:54:03 +0100241 raw_spin_unlock_irqrestore(&task->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700242 cpu_relax();
243 goto retry;
244 }
245
246 /* Deadlock detection */
Thomas Gleixner95e02ca2006-06-27 02:55:02 -0700247 if (lock == orig_lock || rt_mutex_owner(lock) == top_task) {
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700248 debug_rt_mutex_deadlock(deadlock_detect, orig_waiter, lock);
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100249 raw_spin_unlock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700250 ret = deadlock_detect ? -EDEADLK : 0;
251 goto out_unlock_pi;
252 }
253
254 top_waiter = rt_mutex_top_waiter(lock);
255
256 /* Requeue the waiter */
257 plist_del(&waiter->list_entry, &lock->wait_list);
258 waiter->list_entry.prio = task->prio;
259 plist_add(&waiter->list_entry, &lock->wait_list);
260
261 /* Release the task */
Thomas Gleixner1d615482009-11-17 14:54:03 +0100262 raw_spin_unlock_irqrestore(&task->pi_lock, flags);
Lai Jiangshan81612392011-01-14 17:09:41 +0800263 if (!rt_mutex_owner(lock)) {
264 /*
265 * If the requeue above changed the top waiter, then we need
266 * to wake the new top waiter up to try to get the lock.
267 */
268
269 if (top_waiter != rt_mutex_top_waiter(lock))
270 wake_up_process(rt_mutex_top_waiter(lock)->task);
271 raw_spin_unlock(&lock->wait_lock);
272 goto out_put_task;
273 }
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700274 put_task_struct(task);
275
276 /* Grab the next task */
277 task = rt_mutex_owner(lock);
Steven Rostedtdb630632006-09-29 01:59:44 -0700278 get_task_struct(task);
Thomas Gleixner1d615482009-11-17 14:54:03 +0100279 raw_spin_lock_irqsave(&task->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700280
281 if (waiter == rt_mutex_top_waiter(lock)) {
282 /* Boost the owner */
283 plist_del(&top_waiter->pi_list_entry, &task->pi_waiters);
284 waiter->pi_list_entry.prio = waiter->list_entry.prio;
285 plist_add(&waiter->pi_list_entry, &task->pi_waiters);
286 __rt_mutex_adjust_prio(task);
287
288 } else if (top_waiter == waiter) {
289 /* Deboost the owner */
290 plist_del(&waiter->pi_list_entry, &task->pi_waiters);
291 waiter = rt_mutex_top_waiter(lock);
292 waiter->pi_list_entry.prio = waiter->list_entry.prio;
293 plist_add(&waiter->pi_list_entry, &task->pi_waiters);
294 __rt_mutex_adjust_prio(task);
295 }
296
Thomas Gleixner1d615482009-11-17 14:54:03 +0100297 raw_spin_unlock_irqrestore(&task->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700298
299 top_waiter = rt_mutex_top_waiter(lock);
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100300 raw_spin_unlock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700301
302 if (!detect_deadlock && waiter != top_waiter)
303 goto out_put_task;
304
305 goto again;
306
307 out_unlock_pi:
Thomas Gleixner1d615482009-11-17 14:54:03 +0100308 raw_spin_unlock_irqrestore(&task->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700309 out_put_task:
310 put_task_struct(task);
Ingo Molnar36c8b582006-07-03 00:25:41 -0700311
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700312 return ret;
313}
314
315/*
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700316 * Try to take an rt-mutex
317 *
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700318 * Must be called with lock->wait_lock held.
Lai Jiangshan81612392011-01-14 17:09:41 +0800319 *
320 * @lock: the lock to be acquired.
321 * @task: the task which wants to acquire the lock
322 * @waiter: the waiter that is queued to the lock's wait list. (could be NULL)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700323 */
Lai Jiangshan81612392011-01-14 17:09:41 +0800324static int try_to_take_rt_mutex(struct rt_mutex *lock, struct task_struct *task,
325 struct rt_mutex_waiter *waiter)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700326{
327 /*
328 * We have to be careful here if the atomic speedups are
329 * enabled, such that, when
330 * - no other waiter is on the lock
331 * - the lock has been released since we did the cmpxchg
332 * the lock can be released or taken while we are doing the
333 * checks and marking the lock with RT_MUTEX_HAS_WAITERS.
334 *
335 * The atomic acquire/release aware variant of
336 * mark_rt_mutex_waiters uses a cmpxchg loop. After setting
337 * the WAITERS bit, the atomic release / acquire can not
338 * happen anymore and lock->wait_lock protects us from the
339 * non-atomic case.
340 *
341 * Note, that this might set lock->owner =
342 * RT_MUTEX_HAS_WAITERS in the case the lock is not contended
343 * any more. This is fixed up when we take the ownership.
344 * This is the transitional state explained at the top of this file.
345 */
346 mark_rt_mutex_waiters(lock);
347
Lai Jiangshan81612392011-01-14 17:09:41 +0800348 if (rt_mutex_owner(lock))
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700349 return 0;
350
Lai Jiangshan81612392011-01-14 17:09:41 +0800351 /*
352 * It will get the lock because of one of these conditions:
353 * 1) there is no waiter
354 * 2) higher priority than waiters
355 * 3) it is top waiter
356 */
357 if (rt_mutex_has_waiters(lock)) {
358 if (task->prio >= rt_mutex_top_waiter(lock)->list_entry.prio) {
359 if (!waiter || waiter != rt_mutex_top_waiter(lock))
360 return 0;
361 }
362 }
363
364 if (waiter || rt_mutex_has_waiters(lock)) {
365 unsigned long flags;
366 struct rt_mutex_waiter *top;
367
368 raw_spin_lock_irqsave(&task->pi_lock, flags);
369
370 /* remove the queued waiter. */
371 if (waiter) {
372 plist_del(&waiter->list_entry, &lock->wait_list);
373 task->pi_blocked_on = NULL;
374 }
375
376 /*
377 * We have to enqueue the top waiter(if it exists) into
378 * task->pi_waiters list.
379 */
380 if (rt_mutex_has_waiters(lock)) {
381 top = rt_mutex_top_waiter(lock);
382 top->pi_list_entry.prio = top->list_entry.prio;
383 plist_add(&top->pi_list_entry, &task->pi_waiters);
384 }
385 raw_spin_unlock_irqrestore(&task->pi_lock, flags);
386 }
387
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700388 /* We got the lock. */
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700389 debug_rt_mutex_lock(lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700390
Lai Jiangshan81612392011-01-14 17:09:41 +0800391 rt_mutex_set_owner(lock, task);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700392
Lai Jiangshan81612392011-01-14 17:09:41 +0800393 rt_mutex_deadlock_account_lock(lock, task);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700394
395 return 1;
396}
397
398/*
399 * Task blocks on lock.
400 *
401 * Prepare waiter and propagate pi chain
402 *
403 * This must be called with lock->wait_lock held.
404 */
405static int task_blocks_on_rt_mutex(struct rt_mutex *lock,
406 struct rt_mutex_waiter *waiter,
Darren Hart8dac4562009-04-03 13:40:12 -0700407 struct task_struct *task,
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700408 int detect_deadlock)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700409{
Ingo Molnar36c8b582006-07-03 00:25:41 -0700410 struct task_struct *owner = rt_mutex_owner(lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700411 struct rt_mutex_waiter *top_waiter = waiter;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700412 unsigned long flags;
Steven Rostedtdb630632006-09-29 01:59:44 -0700413 int chain_walk = 0, res;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700414
Thomas Gleixner1d615482009-11-17 14:54:03 +0100415 raw_spin_lock_irqsave(&task->pi_lock, flags);
Darren Hart8dac4562009-04-03 13:40:12 -0700416 __rt_mutex_adjust_prio(task);
417 waiter->task = task;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700418 waiter->lock = lock;
Darren Hart8dac4562009-04-03 13:40:12 -0700419 plist_node_init(&waiter->list_entry, task->prio);
420 plist_node_init(&waiter->pi_list_entry, task->prio);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700421
422 /* Get the top priority waiter on the lock */
423 if (rt_mutex_has_waiters(lock))
424 top_waiter = rt_mutex_top_waiter(lock);
425 plist_add(&waiter->list_entry, &lock->wait_list);
426
Darren Hart8dac4562009-04-03 13:40:12 -0700427 task->pi_blocked_on = waiter;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700428
Thomas Gleixner1d615482009-11-17 14:54:03 +0100429 raw_spin_unlock_irqrestore(&task->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700430
Lai Jiangshan81612392011-01-14 17:09:41 +0800431 if (!owner)
432 return 0;
433
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700434 if (waiter == rt_mutex_top_waiter(lock)) {
Thomas Gleixner1d615482009-11-17 14:54:03 +0100435 raw_spin_lock_irqsave(&owner->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700436 plist_del(&top_waiter->pi_list_entry, &owner->pi_waiters);
437 plist_add(&waiter->pi_list_entry, &owner->pi_waiters);
438
439 __rt_mutex_adjust_prio(owner);
Steven Rostedtdb630632006-09-29 01:59:44 -0700440 if (owner->pi_blocked_on)
441 chain_walk = 1;
Thomas Gleixner1d615482009-11-17 14:54:03 +0100442 raw_spin_unlock_irqrestore(&owner->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700443 }
Steven Rostedtdb630632006-09-29 01:59:44 -0700444 else if (debug_rt_mutex_detect_deadlock(waiter, detect_deadlock))
445 chain_walk = 1;
446
447 if (!chain_walk)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700448 return 0;
449
Steven Rostedtdb630632006-09-29 01:59:44 -0700450 /*
451 * The owner can't disappear while holding a lock,
452 * so the owner struct is protected by wait_lock.
453 * Gets dropped in rt_mutex_adjust_prio_chain()!
454 */
455 get_task_struct(owner);
456
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100457 raw_spin_unlock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700458
Thomas Gleixner95e02ca2006-06-27 02:55:02 -0700459 res = rt_mutex_adjust_prio_chain(owner, detect_deadlock, lock, waiter,
Darren Hart8dac4562009-04-03 13:40:12 -0700460 task);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700461
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100462 raw_spin_lock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700463
464 return res;
465}
466
467/*
468 * Wake up the next waiter on the lock.
469 *
Lai Jiangshan81612392011-01-14 17:09:41 +0800470 * Remove the top waiter from the current tasks waiter list and wake it up.
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700471 *
472 * Called with lock->wait_lock held.
473 */
474static void wakeup_next_waiter(struct rt_mutex *lock)
475{
476 struct rt_mutex_waiter *waiter;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700477 unsigned long flags;
478
Thomas Gleixner1d615482009-11-17 14:54:03 +0100479 raw_spin_lock_irqsave(&current->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700480
481 waiter = rt_mutex_top_waiter(lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700482
483 /*
484 * Remove it from current->pi_waiters. We do not adjust a
485 * possible priority boost right now. We execute wakeup in the
486 * boosted mode and go back to normal after releasing
487 * lock->wait_lock.
488 */
489 plist_del(&waiter->pi_list_entry, &current->pi_waiters);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700490
Lai Jiangshan81612392011-01-14 17:09:41 +0800491 rt_mutex_set_owner(lock, NULL);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700492
Thomas Gleixner1d615482009-11-17 14:54:03 +0100493 raw_spin_unlock_irqrestore(&current->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700494
Lai Jiangshan81612392011-01-14 17:09:41 +0800495 wake_up_process(waiter->task);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700496}
497
498/*
Lai Jiangshan81612392011-01-14 17:09:41 +0800499 * Remove a waiter from a lock and give up
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700500 *
Lai Jiangshan81612392011-01-14 17:09:41 +0800501 * Must be called with lock->wait_lock held and
502 * have just failed to try_to_take_rt_mutex().
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700503 */
Thomas Gleixnerbd197232007-06-17 21:11:10 +0200504static void remove_waiter(struct rt_mutex *lock,
505 struct rt_mutex_waiter *waiter)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700506{
507 int first = (waiter == rt_mutex_top_waiter(lock));
Ingo Molnar36c8b582006-07-03 00:25:41 -0700508 struct task_struct *owner = rt_mutex_owner(lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700509 unsigned long flags;
Steven Rostedtdb630632006-09-29 01:59:44 -0700510 int chain_walk = 0;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700511
Thomas Gleixner1d615482009-11-17 14:54:03 +0100512 raw_spin_lock_irqsave(&current->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700513 plist_del(&waiter->list_entry, &lock->wait_list);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700514 current->pi_blocked_on = NULL;
Thomas Gleixner1d615482009-11-17 14:54:03 +0100515 raw_spin_unlock_irqrestore(&current->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700516
Lai Jiangshan81612392011-01-14 17:09:41 +0800517 if (!owner)
518 return;
519
520 if (first) {
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700521
Thomas Gleixner1d615482009-11-17 14:54:03 +0100522 raw_spin_lock_irqsave(&owner->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700523
524 plist_del(&waiter->pi_list_entry, &owner->pi_waiters);
525
526 if (rt_mutex_has_waiters(lock)) {
527 struct rt_mutex_waiter *next;
528
529 next = rt_mutex_top_waiter(lock);
530 plist_add(&next->pi_list_entry, &owner->pi_waiters);
531 }
532 __rt_mutex_adjust_prio(owner);
533
Steven Rostedtdb630632006-09-29 01:59:44 -0700534 if (owner->pi_blocked_on)
535 chain_walk = 1;
536
Thomas Gleixner1d615482009-11-17 14:54:03 +0100537 raw_spin_unlock_irqrestore(&owner->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700538 }
539
540 WARN_ON(!plist_node_empty(&waiter->pi_list_entry));
541
Steven Rostedtdb630632006-09-29 01:59:44 -0700542 if (!chain_walk)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700543 return;
544
Steven Rostedtdb630632006-09-29 01:59:44 -0700545 /* gets dropped in rt_mutex_adjust_prio_chain()! */
546 get_task_struct(owner);
547
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100548 raw_spin_unlock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700549
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700550 rt_mutex_adjust_prio_chain(owner, 0, lock, NULL, current);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700551
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100552 raw_spin_lock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700553}
554
555/*
Thomas Gleixner95e02ca2006-06-27 02:55:02 -0700556 * Recheck the pi chain, in case we got a priority setting
557 *
558 * Called from sched_setscheduler
559 */
560void rt_mutex_adjust_pi(struct task_struct *task)
561{
562 struct rt_mutex_waiter *waiter;
563 unsigned long flags;
564
Thomas Gleixner1d615482009-11-17 14:54:03 +0100565 raw_spin_lock_irqsave(&task->pi_lock, flags);
Thomas Gleixner95e02ca2006-06-27 02:55:02 -0700566
567 waiter = task->pi_blocked_on;
568 if (!waiter || waiter->list_entry.prio == task->prio) {
Thomas Gleixner1d615482009-11-17 14:54:03 +0100569 raw_spin_unlock_irqrestore(&task->pi_lock, flags);
Thomas Gleixner95e02ca2006-06-27 02:55:02 -0700570 return;
571 }
572
Thomas Gleixner1d615482009-11-17 14:54:03 +0100573 raw_spin_unlock_irqrestore(&task->pi_lock, flags);
Thomas Gleixner95e02ca2006-06-27 02:55:02 -0700574
Steven Rostedtdb630632006-09-29 01:59:44 -0700575 /* gets dropped in rt_mutex_adjust_prio_chain()! */
576 get_task_struct(task);
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700577 rt_mutex_adjust_prio_chain(task, 0, NULL, NULL, task);
Thomas Gleixner95e02ca2006-06-27 02:55:02 -0700578}
579
Darren Hart8dac4562009-04-03 13:40:12 -0700580/**
581 * __rt_mutex_slowlock() - Perform the wait-wake-try-to-take loop
582 * @lock: the rt_mutex to take
583 * @state: the state the task should block in (TASK_INTERRUPTIBLE
584 * or TASK_UNINTERRUPTIBLE)
585 * @timeout: the pre-initialized and started timer, or NULL for none
586 * @waiter: the pre-initialized rt_mutex_waiter
Darren Hart8dac4562009-04-03 13:40:12 -0700587 *
588 * lock->wait_lock must be held by the caller.
589 */
590static int __sched
591__rt_mutex_slowlock(struct rt_mutex *lock, int state,
592 struct hrtimer_sleeper *timeout,
Lai Jiangshan81612392011-01-14 17:09:41 +0800593 struct rt_mutex_waiter *waiter)
Darren Hart8dac4562009-04-03 13:40:12 -0700594{
595 int ret = 0;
596
597 for (;;) {
598 /* Try to acquire the lock: */
Lai Jiangshan81612392011-01-14 17:09:41 +0800599 if (try_to_take_rt_mutex(lock, current, waiter))
Darren Hart8dac4562009-04-03 13:40:12 -0700600 break;
601
602 /*
603 * TASK_INTERRUPTIBLE checks for signals and
604 * timeout. Ignored otherwise.
605 */
606 if (unlikely(state == TASK_INTERRUPTIBLE)) {
607 /* Signal pending? */
608 if (signal_pending(current))
609 ret = -EINTR;
610 if (timeout && !timeout->task)
611 ret = -ETIMEDOUT;
612 if (ret)
613 break;
614 }
615
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100616 raw_spin_unlock(&lock->wait_lock);
Darren Hart8dac4562009-04-03 13:40:12 -0700617
618 debug_rt_mutex_print_deadlock(waiter);
619
Lai Jiangshan81612392011-01-14 17:09:41 +0800620 schedule_rt_mutex(lock);
Darren Hart8dac4562009-04-03 13:40:12 -0700621
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100622 raw_spin_lock(&lock->wait_lock);
Darren Hart8dac4562009-04-03 13:40:12 -0700623 set_current_state(state);
624 }
625
626 return ret;
627}
628
Thomas Gleixner95e02ca2006-06-27 02:55:02 -0700629/*
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700630 * Slow path lock function:
631 */
632static int __sched
633rt_mutex_slowlock(struct rt_mutex *lock, int state,
634 struct hrtimer_sleeper *timeout,
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700635 int detect_deadlock)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700636{
637 struct rt_mutex_waiter waiter;
638 int ret = 0;
639
640 debug_rt_mutex_init_waiter(&waiter);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700641
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100642 raw_spin_lock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700643
644 /* Try to acquire the lock again: */
Lai Jiangshan81612392011-01-14 17:09:41 +0800645 if (try_to_take_rt_mutex(lock, current, NULL)) {
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100646 raw_spin_unlock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700647 return 0;
648 }
649
650 set_current_state(state);
651
652 /* Setup the timer, when timeout != NULL */
Peter Zijlstra720a2592008-02-13 15:45:36 +0100653 if (unlikely(timeout)) {
Arjan van de Vencc584b22008-09-01 15:02:30 -0700654 hrtimer_start_expires(&timeout->timer, HRTIMER_MODE_ABS);
Peter Zijlstra720a2592008-02-13 15:45:36 +0100655 if (!hrtimer_active(&timeout->timer))
656 timeout->task = NULL;
657 }
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700658
Lai Jiangshan81612392011-01-14 17:09:41 +0800659 ret = task_blocks_on_rt_mutex(lock, &waiter, current, detect_deadlock);
660
661 if (likely(!ret))
662 ret = __rt_mutex_slowlock(lock, state, timeout, &waiter);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700663
664 set_current_state(TASK_RUNNING);
665
Lai Jiangshan81612392011-01-14 17:09:41 +0800666 if (unlikely(ret))
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700667 remove_waiter(lock, &waiter);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700668
669 /*
670 * try_to_take_rt_mutex() sets the waiter bit
671 * unconditionally. We might have to fix that up.
672 */
673 fixup_rt_mutex_waiters(lock);
674
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100675 raw_spin_unlock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700676
677 /* Remove pending timer: */
678 if (unlikely(timeout))
679 hrtimer_cancel(&timeout->timer);
680
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700681 debug_rt_mutex_free_waiter(&waiter);
682
683 return ret;
684}
685
686/*
687 * Slow path try-lock function:
688 */
689static inline int
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700690rt_mutex_slowtrylock(struct rt_mutex *lock)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700691{
692 int ret = 0;
693
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100694 raw_spin_lock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700695
696 if (likely(rt_mutex_owner(lock) != current)) {
697
Lai Jiangshan81612392011-01-14 17:09:41 +0800698 ret = try_to_take_rt_mutex(lock, current, NULL);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700699 /*
700 * try_to_take_rt_mutex() sets the lock waiters
701 * bit unconditionally. Clean this up.
702 */
703 fixup_rt_mutex_waiters(lock);
704 }
705
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100706 raw_spin_unlock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700707
708 return ret;
709}
710
711/*
712 * Slow path to release a rt-mutex:
713 */
714static void __sched
715rt_mutex_slowunlock(struct rt_mutex *lock)
716{
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100717 raw_spin_lock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700718
719 debug_rt_mutex_unlock(lock);
720
721 rt_mutex_deadlock_account_unlock(current);
722
723 if (!rt_mutex_has_waiters(lock)) {
724 lock->owner = NULL;
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100725 raw_spin_unlock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700726 return;
727 }
728
729 wakeup_next_waiter(lock);
730
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100731 raw_spin_unlock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700732
733 /* Undo pi boosting if necessary: */
734 rt_mutex_adjust_prio(current);
735}
736
737/*
738 * debug aware fast / slowpath lock,trylock,unlock
739 *
740 * The atomic acquire/release ops are compiled away, when either the
741 * architecture does not support cmpxchg or when debugging is enabled.
742 */
743static inline int
744rt_mutex_fastlock(struct rt_mutex *lock, int state,
745 int detect_deadlock,
746 int (*slowfn)(struct rt_mutex *lock, int state,
747 struct hrtimer_sleeper *timeout,
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700748 int detect_deadlock))
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700749{
750 if (!detect_deadlock && likely(rt_mutex_cmpxchg(lock, NULL, current))) {
751 rt_mutex_deadlock_account_lock(lock, current);
752 return 0;
753 } else
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700754 return slowfn(lock, state, NULL, detect_deadlock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700755}
756
757static inline int
758rt_mutex_timed_fastlock(struct rt_mutex *lock, int state,
759 struct hrtimer_sleeper *timeout, int detect_deadlock,
760 int (*slowfn)(struct rt_mutex *lock, int state,
761 struct hrtimer_sleeper *timeout,
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700762 int detect_deadlock))
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700763{
764 if (!detect_deadlock && likely(rt_mutex_cmpxchg(lock, NULL, current))) {
765 rt_mutex_deadlock_account_lock(lock, current);
766 return 0;
767 } else
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700768 return slowfn(lock, state, timeout, detect_deadlock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700769}
770
771static inline int
772rt_mutex_fasttrylock(struct rt_mutex *lock,
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700773 int (*slowfn)(struct rt_mutex *lock))
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700774{
775 if (likely(rt_mutex_cmpxchg(lock, NULL, current))) {
776 rt_mutex_deadlock_account_lock(lock, current);
777 return 1;
778 }
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700779 return slowfn(lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700780}
781
782static inline void
783rt_mutex_fastunlock(struct rt_mutex *lock,
784 void (*slowfn)(struct rt_mutex *lock))
785{
786 if (likely(rt_mutex_cmpxchg(lock, current, NULL)))
787 rt_mutex_deadlock_account_unlock(current);
788 else
789 slowfn(lock);
790}
791
792/**
793 * rt_mutex_lock - lock a rt_mutex
794 *
795 * @lock: the rt_mutex to be locked
796 */
797void __sched rt_mutex_lock(struct rt_mutex *lock)
798{
799 might_sleep();
800
801 rt_mutex_fastlock(lock, TASK_UNINTERRUPTIBLE, 0, rt_mutex_slowlock);
802}
803EXPORT_SYMBOL_GPL(rt_mutex_lock);
804
805/**
806 * rt_mutex_lock_interruptible - lock a rt_mutex interruptible
807 *
808 * @lock: the rt_mutex to be locked
809 * @detect_deadlock: deadlock detection on/off
810 *
811 * Returns:
812 * 0 on success
813 * -EINTR when interrupted by a signal
814 * -EDEADLK when the lock would deadlock (when deadlock detection is on)
815 */
816int __sched rt_mutex_lock_interruptible(struct rt_mutex *lock,
817 int detect_deadlock)
818{
819 might_sleep();
820
821 return rt_mutex_fastlock(lock, TASK_INTERRUPTIBLE,
822 detect_deadlock, rt_mutex_slowlock);
823}
824EXPORT_SYMBOL_GPL(rt_mutex_lock_interruptible);
825
826/**
Luis Henriques23b94b92009-04-29 21:54:51 +0100827 * rt_mutex_timed_lock - lock a rt_mutex interruptible
828 * the timeout structure is provided
829 * by the caller
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700830 *
831 * @lock: the rt_mutex to be locked
832 * @timeout: timeout structure or NULL (no timeout)
833 * @detect_deadlock: deadlock detection on/off
834 *
835 * Returns:
836 * 0 on success
837 * -EINTR when interrupted by a signal
Jean Delvare3ac49a12009-06-04 16:20:28 +0200838 * -ETIMEDOUT when the timeout expired
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700839 * -EDEADLK when the lock would deadlock (when deadlock detection is on)
840 */
841int
842rt_mutex_timed_lock(struct rt_mutex *lock, struct hrtimer_sleeper *timeout,
843 int detect_deadlock)
844{
845 might_sleep();
846
847 return rt_mutex_timed_fastlock(lock, TASK_INTERRUPTIBLE, timeout,
848 detect_deadlock, rt_mutex_slowlock);
849}
850EXPORT_SYMBOL_GPL(rt_mutex_timed_lock);
851
852/**
853 * rt_mutex_trylock - try to lock a rt_mutex
854 *
855 * @lock: the rt_mutex to be locked
856 *
857 * Returns 1 on success and 0 on contention
858 */
859int __sched rt_mutex_trylock(struct rt_mutex *lock)
860{
861 return rt_mutex_fasttrylock(lock, rt_mutex_slowtrylock);
862}
863EXPORT_SYMBOL_GPL(rt_mutex_trylock);
864
865/**
866 * rt_mutex_unlock - unlock a rt_mutex
867 *
868 * @lock: the rt_mutex to be unlocked
869 */
870void __sched rt_mutex_unlock(struct rt_mutex *lock)
871{
872 rt_mutex_fastunlock(lock, rt_mutex_slowunlock);
873}
874EXPORT_SYMBOL_GPL(rt_mutex_unlock);
875
Luis Henriques23b94b92009-04-29 21:54:51 +0100876/**
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700877 * rt_mutex_destroy - mark a mutex unusable
878 * @lock: the mutex to be destroyed
879 *
880 * This function marks the mutex uninitialized, and any subsequent
881 * use of the mutex is forbidden. The mutex must not be locked when
882 * this function is called.
883 */
884void rt_mutex_destroy(struct rt_mutex *lock)
885{
886 WARN_ON(rt_mutex_is_locked(lock));
887#ifdef CONFIG_DEBUG_RT_MUTEXES
888 lock->magic = NULL;
889#endif
890}
891
892EXPORT_SYMBOL_GPL(rt_mutex_destroy);
893
894/**
895 * __rt_mutex_init - initialize the rt lock
896 *
897 * @lock: the rt lock to be initialized
898 *
899 * Initialize the rt lock to unlocked state.
900 *
901 * Initializing of a locked rt lock is not allowed
902 */
903void __rt_mutex_init(struct rt_mutex *lock, const char *name)
904{
905 lock->owner = NULL;
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100906 raw_spin_lock_init(&lock->wait_lock);
Dima Zavin732375c2011-07-07 17:27:59 -0700907 plist_head_init(&lock->wait_list);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700908
909 debug_rt_mutex_init(lock, name);
910}
911EXPORT_SYMBOL_GPL(__rt_mutex_init);
Ingo Molnar0cdbee92006-06-27 02:54:57 -0700912
913/**
914 * rt_mutex_init_proxy_locked - initialize and lock a rt_mutex on behalf of a
915 * proxy owner
916 *
917 * @lock: the rt_mutex to be locked
918 * @proxy_owner:the task to set as owner
919 *
920 * No locking. Caller has to do serializing itself
921 * Special API call for PI-futex support
922 */
923void rt_mutex_init_proxy_locked(struct rt_mutex *lock,
924 struct task_struct *proxy_owner)
925{
926 __rt_mutex_init(lock, NULL);
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700927 debug_rt_mutex_proxy_lock(lock, proxy_owner);
Lai Jiangshan81612392011-01-14 17:09:41 +0800928 rt_mutex_set_owner(lock, proxy_owner);
Ingo Molnar0cdbee92006-06-27 02:54:57 -0700929 rt_mutex_deadlock_account_lock(lock, proxy_owner);
930}
931
932/**
933 * rt_mutex_proxy_unlock - release a lock on behalf of owner
934 *
935 * @lock: the rt_mutex to be locked
936 *
937 * No locking. Caller has to do serializing itself
938 * Special API call for PI-futex support
939 */
940void rt_mutex_proxy_unlock(struct rt_mutex *lock,
941 struct task_struct *proxy_owner)
942{
943 debug_rt_mutex_proxy_unlock(lock);
Lai Jiangshan81612392011-01-14 17:09:41 +0800944 rt_mutex_set_owner(lock, NULL);
Ingo Molnar0cdbee92006-06-27 02:54:57 -0700945 rt_mutex_deadlock_account_unlock(proxy_owner);
946}
947
948/**
Darren Hart8dac4562009-04-03 13:40:12 -0700949 * rt_mutex_start_proxy_lock() - Start lock acquisition for another task
950 * @lock: the rt_mutex to take
951 * @waiter: the pre-initialized rt_mutex_waiter
952 * @task: the task to prepare
953 * @detect_deadlock: perform deadlock detection (1) or not (0)
954 *
955 * Returns:
956 * 0 - task blocked on lock
957 * 1 - acquired the lock for task, caller should wake it up
958 * <0 - error
959 *
960 * Special API call for FUTEX_REQUEUE_PI support.
961 */
962int rt_mutex_start_proxy_lock(struct rt_mutex *lock,
963 struct rt_mutex_waiter *waiter,
964 struct task_struct *task, int detect_deadlock)
965{
966 int ret;
967
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100968 raw_spin_lock(&lock->wait_lock);
Darren Hart8dac4562009-04-03 13:40:12 -0700969
Lai Jiangshan81612392011-01-14 17:09:41 +0800970 if (try_to_take_rt_mutex(lock, task, NULL)) {
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100971 raw_spin_unlock(&lock->wait_lock);
Darren Hart8dac4562009-04-03 13:40:12 -0700972 return 1;
973 }
974
975 ret = task_blocks_on_rt_mutex(lock, waiter, task, detect_deadlock);
976
Lai Jiangshan81612392011-01-14 17:09:41 +0800977 if (ret && !rt_mutex_owner(lock)) {
Darren Hart8dac4562009-04-03 13:40:12 -0700978 /*
979 * Reset the return value. We might have
980 * returned with -EDEADLK and the owner
981 * released the lock while we were walking the
982 * pi chain. Let the waiter sort it out.
983 */
984 ret = 0;
985 }
Lai Jiangshan81612392011-01-14 17:09:41 +0800986
987 if (unlikely(ret))
988 remove_waiter(lock, waiter);
989
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100990 raw_spin_unlock(&lock->wait_lock);
Darren Hart8dac4562009-04-03 13:40:12 -0700991
992 debug_rt_mutex_print_deadlock(waiter);
993
994 return ret;
995}
996
997/**
Ingo Molnar0cdbee92006-06-27 02:54:57 -0700998 * rt_mutex_next_owner - return the next owner of the lock
999 *
1000 * @lock: the rt lock query
1001 *
1002 * Returns the next owner of the lock or NULL
1003 *
1004 * Caller has to serialize against other accessors to the lock
1005 * itself.
1006 *
1007 * Special API call for PI-futex support
1008 */
1009struct task_struct *rt_mutex_next_owner(struct rt_mutex *lock)
1010{
1011 if (!rt_mutex_has_waiters(lock))
1012 return NULL;
1013
1014 return rt_mutex_top_waiter(lock)->task;
1015}
Darren Hart8dac4562009-04-03 13:40:12 -07001016
1017/**
1018 * rt_mutex_finish_proxy_lock() - Complete lock acquisition
1019 * @lock: the rt_mutex we were woken on
1020 * @to: the timeout, null if none. hrtimer should already have
1021 * been started.
1022 * @waiter: the pre-initialized rt_mutex_waiter
1023 * @detect_deadlock: perform deadlock detection (1) or not (0)
1024 *
1025 * Complete the lock acquisition started our behalf by another thread.
1026 *
1027 * Returns:
1028 * 0 - success
1029 * <0 - error, one of -EINTR, -ETIMEDOUT, or -EDEADLK
1030 *
1031 * Special API call for PI-futex requeue support
1032 */
1033int rt_mutex_finish_proxy_lock(struct rt_mutex *lock,
1034 struct hrtimer_sleeper *to,
1035 struct rt_mutex_waiter *waiter,
1036 int detect_deadlock)
1037{
1038 int ret;
1039
Thomas Gleixnerd209d742009-11-17 18:22:11 +01001040 raw_spin_lock(&lock->wait_lock);
Darren Hart8dac4562009-04-03 13:40:12 -07001041
1042 set_current_state(TASK_INTERRUPTIBLE);
1043
Lai Jiangshan81612392011-01-14 17:09:41 +08001044 ret = __rt_mutex_slowlock(lock, TASK_INTERRUPTIBLE, to, waiter);
Darren Hart8dac4562009-04-03 13:40:12 -07001045
1046 set_current_state(TASK_RUNNING);
1047
Lai Jiangshan81612392011-01-14 17:09:41 +08001048 if (unlikely(ret))
Darren Hart8dac4562009-04-03 13:40:12 -07001049 remove_waiter(lock, waiter);
1050
1051 /*
1052 * try_to_take_rt_mutex() sets the waiter bit unconditionally. We might
1053 * have to fix that up.
1054 */
1055 fixup_rt_mutex_waiters(lock);
1056
Thomas Gleixnerd209d742009-11-17 18:22:11 +01001057 raw_spin_unlock(&lock->wait_lock);
Darren Hart8dac4562009-04-03 13:40:12 -07001058
Darren Hart8dac4562009-04-03 13:40:12 -07001059 return ret;
1060}