blob: eb7a4632779861553709d0df2ab2ae00f9a78899 [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>
Peter Zijlstrafb00aca2013-11-07 14:43:43 +010017#include <linux/sched/deadline.h>
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070018#include <linux/timer.h>
19
20#include "rtmutex_common.h"
21
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070022/*
23 * lock->owner state tracking:
24 *
Lai Jiangshan81612392011-01-14 17:09:41 +080025 * lock->owner holds the task_struct pointer of the owner. Bit 0
26 * is used to keep track of the "lock has waiters" state.
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070027 *
Lai Jiangshan81612392011-01-14 17:09:41 +080028 * owner bit0
29 * NULL 0 lock is free (fast acquire possible)
30 * NULL 1 lock is free and has waiters and the top waiter
31 * is going to take the lock*
32 * taskpointer 0 lock is held (fast release possible)
33 * taskpointer 1 lock is held and has waiters**
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070034 *
35 * The fast atomic compare exchange based acquire and release is only
Lai Jiangshan81612392011-01-14 17:09:41 +080036 * possible when bit 0 of lock->owner is 0.
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070037 *
Lai Jiangshan81612392011-01-14 17:09:41 +080038 * (*) It also can be a transitional state when grabbing the lock
39 * with ->wait_lock is held. To prevent any fast path cmpxchg to the lock,
40 * we need to set the bit0 before looking at the lock, and the owner may be
41 * NULL in this small time, hence this can be a transitional state.
42 *
43 * (**) There is a small time when bit 0 is set but there are no
44 * waiters. This can happen when grabbing the lock in the slow path.
45 * To prevent a cmpxchg of the owner releasing the lock, we need to
46 * set this bit before looking at the lock.
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070047 */
48
Thomas Gleixnerbd197232007-06-17 21:11:10 +020049static void
Lai Jiangshan81612392011-01-14 17:09:41 +080050rt_mutex_set_owner(struct rt_mutex *lock, struct task_struct *owner)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070051{
Lai Jiangshan81612392011-01-14 17:09:41 +080052 unsigned long val = (unsigned long)owner;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070053
54 if (rt_mutex_has_waiters(lock))
55 val |= RT_MUTEX_HAS_WAITERS;
56
57 lock->owner = (struct task_struct *)val;
58}
59
60static inline void clear_rt_mutex_waiters(struct rt_mutex *lock)
61{
62 lock->owner = (struct task_struct *)
63 ((unsigned long)lock->owner & ~RT_MUTEX_HAS_WAITERS);
64}
65
66static void fixup_rt_mutex_waiters(struct rt_mutex *lock)
67{
68 if (!rt_mutex_has_waiters(lock))
69 clear_rt_mutex_waiters(lock);
70}
71
72/*
Thomas Gleixnerbd197232007-06-17 21:11:10 +020073 * We can speed up the acquire/release, if the architecture
74 * supports cmpxchg and if there's no debugging state to be set up
75 */
76#if defined(__HAVE_ARCH_CMPXCHG) && !defined(CONFIG_DEBUG_RT_MUTEXES)
77# define rt_mutex_cmpxchg(l,c,n) (cmpxchg(&l->owner, c, n) == c)
78static inline void mark_rt_mutex_waiters(struct rt_mutex *lock)
79{
80 unsigned long owner, *p = (unsigned long *) &lock->owner;
81
82 do {
83 owner = *p;
84 } while (cmpxchg(p, owner, owner | RT_MUTEX_HAS_WAITERS) != owner);
85}
86#else
87# define rt_mutex_cmpxchg(l,c,n) (0)
88static inline void mark_rt_mutex_waiters(struct rt_mutex *lock)
89{
90 lock->owner = (struct task_struct *)
91 ((unsigned long)lock->owner | RT_MUTEX_HAS_WAITERS);
92}
93#endif
94
Peter Zijlstrafb00aca2013-11-07 14:43:43 +010095static inline int
96rt_mutex_waiter_less(struct rt_mutex_waiter *left,
97 struct rt_mutex_waiter *right)
98{
Dario Faggioli2d3d8912013-11-07 14:43:44 +010099 if (left->prio < right->prio)
Peter Zijlstrafb00aca2013-11-07 14:43:43 +0100100 return 1;
101
102 /*
Dario Faggioli2d3d8912013-11-07 14:43:44 +0100103 * If both waiters have dl_prio(), we check the deadlines of the
104 * associated tasks.
105 * If left waiter has a dl_prio(), and we didn't return 1 above,
106 * then right waiter has a dl_prio() too.
Peter Zijlstrafb00aca2013-11-07 14:43:43 +0100107 */
Dario Faggioli2d3d8912013-11-07 14:43:44 +0100108 if (dl_prio(left->prio))
Peter Zijlstrafb00aca2013-11-07 14:43:43 +0100109 return (left->task->dl.deadline < right->task->dl.deadline);
110
111 return 0;
112}
113
114static void
115rt_mutex_enqueue(struct rt_mutex *lock, struct rt_mutex_waiter *waiter)
116{
117 struct rb_node **link = &lock->waiters.rb_node;
118 struct rb_node *parent = NULL;
119 struct rt_mutex_waiter *entry;
120 int leftmost = 1;
121
122 while (*link) {
123 parent = *link;
124 entry = rb_entry(parent, struct rt_mutex_waiter, tree_entry);
125 if (rt_mutex_waiter_less(waiter, entry)) {
126 link = &parent->rb_left;
127 } else {
128 link = &parent->rb_right;
129 leftmost = 0;
130 }
131 }
132
133 if (leftmost)
134 lock->waiters_leftmost = &waiter->tree_entry;
135
136 rb_link_node(&waiter->tree_entry, parent, link);
137 rb_insert_color(&waiter->tree_entry, &lock->waiters);
138}
139
140static void
141rt_mutex_dequeue(struct rt_mutex *lock, struct rt_mutex_waiter *waiter)
142{
143 if (RB_EMPTY_NODE(&waiter->tree_entry))
144 return;
145
146 if (lock->waiters_leftmost == &waiter->tree_entry)
147 lock->waiters_leftmost = rb_next(&waiter->tree_entry);
148
149 rb_erase(&waiter->tree_entry, &lock->waiters);
150 RB_CLEAR_NODE(&waiter->tree_entry);
151}
152
153static void
154rt_mutex_enqueue_pi(struct task_struct *task, struct rt_mutex_waiter *waiter)
155{
156 struct rb_node **link = &task->pi_waiters.rb_node;
157 struct rb_node *parent = NULL;
158 struct rt_mutex_waiter *entry;
159 int leftmost = 1;
160
161 while (*link) {
162 parent = *link;
163 entry = rb_entry(parent, struct rt_mutex_waiter, pi_tree_entry);
164 if (rt_mutex_waiter_less(waiter, entry)) {
165 link = &parent->rb_left;
166 } else {
167 link = &parent->rb_right;
168 leftmost = 0;
169 }
170 }
171
172 if (leftmost)
173 task->pi_waiters_leftmost = &waiter->pi_tree_entry;
174
175 rb_link_node(&waiter->pi_tree_entry, parent, link);
176 rb_insert_color(&waiter->pi_tree_entry, &task->pi_waiters);
177}
178
179static void
180rt_mutex_dequeue_pi(struct task_struct *task, struct rt_mutex_waiter *waiter)
181{
182 if (RB_EMPTY_NODE(&waiter->pi_tree_entry))
183 return;
184
185 if (task->pi_waiters_leftmost == &waiter->pi_tree_entry)
186 task->pi_waiters_leftmost = rb_next(&waiter->pi_tree_entry);
187
188 rb_erase(&waiter->pi_tree_entry, &task->pi_waiters);
189 RB_CLEAR_NODE(&waiter->pi_tree_entry);
190}
191
Thomas Gleixnerbd197232007-06-17 21:11:10 +0200192/*
Peter Zijlstrafb00aca2013-11-07 14:43:43 +0100193 * Calculate task priority from the waiter tree priority
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700194 *
Peter Zijlstrafb00aca2013-11-07 14:43:43 +0100195 * Return task->normal_prio when the waiter tree is empty or when
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700196 * the waiter is not allowed to do priority boosting
197 */
198int rt_mutex_getprio(struct task_struct *task)
199{
200 if (likely(!task_has_pi_waiters(task)))
201 return task->normal_prio;
202
Dario Faggioli2d3d8912013-11-07 14:43:44 +0100203 return min(task_top_pi_waiter(task)->prio,
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700204 task->normal_prio);
205}
206
Dario Faggioli2d3d8912013-11-07 14:43:44 +0100207struct task_struct *rt_mutex_get_top_task(struct task_struct *task)
208{
209 if (likely(!task_has_pi_waiters(task)))
210 return NULL;
211
212 return task_top_pi_waiter(task)->task;
213}
214
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700215/*
Thomas Gleixnerc365c292014-02-07 20:58:42 +0100216 * Called by sched_setscheduler() to check whether the priority change
217 * is overruled by a possible priority boosting.
218 */
219int rt_mutex_check_prio(struct task_struct *task, int newprio)
220{
221 if (!task_has_pi_waiters(task))
222 return 0;
223
224 return task_top_pi_waiter(task)->task->prio <= newprio;
225}
226
227/*
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700228 * Adjust the priority of a task, after its pi_waiters got modified.
229 *
230 * This can be both boosting and unboosting. task->pi_lock must be held.
231 */
Thomas Gleixnerbd197232007-06-17 21:11:10 +0200232static void __rt_mutex_adjust_prio(struct task_struct *task)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700233{
234 int prio = rt_mutex_getprio(task);
235
Dario Faggioli2d3d8912013-11-07 14:43:44 +0100236 if (task->prio != prio || dl_prio(prio))
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700237 rt_mutex_setprio(task, prio);
238}
239
240/*
241 * Adjust task priority (undo boosting). Called from the exit path of
242 * rt_mutex_slowunlock() and rt_mutex_slowlock().
243 *
244 * (Note: We do this outside of the protection of lock->wait_lock to
245 * allow the lock to be taken while or before we readjust the priority
246 * of task. We do not use the spin_xx_mutex() variants here as we are
247 * outside of the debug path.)
248 */
249static void rt_mutex_adjust_prio(struct task_struct *task)
250{
251 unsigned long flags;
252
Thomas Gleixner1d615482009-11-17 14:54:03 +0100253 raw_spin_lock_irqsave(&task->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700254 __rt_mutex_adjust_prio(task);
Thomas Gleixner1d615482009-11-17 14:54:03 +0100255 raw_spin_unlock_irqrestore(&task->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700256}
257
258/*
259 * Max number of times we'll walk the boosting chain:
260 */
261int max_lock_depth = 1024;
262
263/*
264 * Adjust the priority chain. Also used for deadlock detection.
265 * Decreases task's usage by one - may thus free the task.
Juri Lelli0c106172013-05-15 11:04:10 +0200266 *
267 * @task: the task owning the mutex (owner) for which a chain walk is probably
268 * needed
269 * @deadlock_detect: do we have to carry out deadlock detection?
270 * @orig_lock: the mutex (can be NULL if we are walking the chain to recheck
271 * things for a task that has just got its priority adjusted, and
272 * is waiting on a mutex)
273 * @orig_waiter: rt_mutex_waiter struct for the task that has just donated
274 * its priority to the mutex owner (can be NULL in the case
275 * depicted above or if the top waiter is gone away and we are
276 * actually deboosting the owner)
277 * @top_task: the current top waiter
278 *
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700279 * Returns 0 or -EDEADLK.
280 */
Thomas Gleixnerbd197232007-06-17 21:11:10 +0200281static int rt_mutex_adjust_prio_chain(struct task_struct *task,
282 int deadlock_detect,
283 struct rt_mutex *orig_lock,
284 struct rt_mutex_waiter *orig_waiter,
285 struct task_struct *top_task)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700286{
287 struct rt_mutex *lock;
288 struct rt_mutex_waiter *waiter, *top_waiter = orig_waiter;
289 int detect_deadlock, ret = 0, depth = 0;
290 unsigned long flags;
291
292 detect_deadlock = debug_rt_mutex_detect_deadlock(orig_waiter,
293 deadlock_detect);
294
295 /*
296 * The (de)boosting is a step by step approach with a lot of
297 * pitfalls. We want this to be preemptible and we want hold a
298 * maximum of two locks per step. So we have to check
299 * carefully whether things change under us.
300 */
301 again:
302 if (++depth > max_lock_depth) {
303 static int prev_max;
304
305 /*
306 * Print this only once. If the admin changes the limit,
307 * print a new message when reaching the limit again.
308 */
309 if (prev_max != max_lock_depth) {
310 prev_max = max_lock_depth;
311 printk(KERN_WARNING "Maximum lock depth %d reached "
312 "task: %s (%d)\n", max_lock_depth,
Pavel Emelyanovba25f9d2007-10-18 23:40:40 -0700313 top_task->comm, task_pid_nr(top_task));
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700314 }
315 put_task_struct(task);
316
Thomas Gleixner3d5c9342014-06-05 12:34:23 +0200317 return -EDEADLK;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700318 }
319 retry:
320 /*
321 * Task can not go away as we did a get_task() before !
322 */
Thomas Gleixner1d615482009-11-17 14:54:03 +0100323 raw_spin_lock_irqsave(&task->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700324
325 waiter = task->pi_blocked_on;
326 /*
327 * Check whether the end of the boosting chain has been
328 * reached or the state of the chain has changed while we
329 * dropped the locks.
330 */
Lai Jiangshan81612392011-01-14 17:09:41 +0800331 if (!waiter)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700332 goto out_unlock_pi;
333
Thomas Gleixner1a539a82007-06-08 13:46:58 -0700334 /*
335 * Check the orig_waiter state. After we dropped the locks,
Lai Jiangshan81612392011-01-14 17:09:41 +0800336 * the previous owner of the lock might have released the lock.
Thomas Gleixner1a539a82007-06-08 13:46:58 -0700337 */
Lai Jiangshan81612392011-01-14 17:09:41 +0800338 if (orig_waiter && !rt_mutex_owner(orig_lock))
Thomas Gleixner1a539a82007-06-08 13:46:58 -0700339 goto out_unlock_pi;
340
341 /*
342 * Drop out, when the task has no waiters. Note,
343 * top_waiter can be NULL, when we are in the deboosting
344 * mode!
345 */
Thomas Gleixner397335f2014-05-22 03:25:39 +0000346 if (top_waiter) {
347 if (!task_has_pi_waiters(task))
348 goto out_unlock_pi;
349 /*
350 * If deadlock detection is off, we stop here if we
351 * are not the top pi waiter of the task.
352 */
353 if (!detect_deadlock && top_waiter != task_top_pi_waiter(task))
354 goto out_unlock_pi;
355 }
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700356
357 /*
358 * When deadlock detection is off then we check, if further
359 * priority adjustment is necessary.
360 */
Dario Faggioli2d3d8912013-11-07 14:43:44 +0100361 if (!detect_deadlock && waiter->prio == task->prio)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700362 goto out_unlock_pi;
363
364 lock = waiter->lock;
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100365 if (!raw_spin_trylock(&lock->wait_lock)) {
Thomas Gleixner1d615482009-11-17 14:54:03 +0100366 raw_spin_unlock_irqrestore(&task->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700367 cpu_relax();
368 goto retry;
369 }
370
Thomas Gleixner397335f2014-05-22 03:25:39 +0000371 /*
372 * Deadlock detection. If the lock is the same as the original
373 * lock which caused us to walk the lock chain or if the
374 * current lock is owned by the task which initiated the chain
375 * walk, we detected a deadlock.
376 */
Thomas Gleixner95e02ca2006-06-27 02:55:02 -0700377 if (lock == orig_lock || rt_mutex_owner(lock) == top_task) {
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700378 debug_rt_mutex_deadlock(deadlock_detect, orig_waiter, lock);
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100379 raw_spin_unlock(&lock->wait_lock);
Thomas Gleixner3d5c9342014-06-05 12:34:23 +0200380 ret = -EDEADLK;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700381 goto out_unlock_pi;
382 }
383
384 top_waiter = rt_mutex_top_waiter(lock);
385
386 /* Requeue the waiter */
Peter Zijlstrafb00aca2013-11-07 14:43:43 +0100387 rt_mutex_dequeue(lock, waiter);
Dario Faggioli2d3d8912013-11-07 14:43:44 +0100388 waiter->prio = task->prio;
Peter Zijlstrafb00aca2013-11-07 14:43:43 +0100389 rt_mutex_enqueue(lock, waiter);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700390
391 /* Release the task */
Thomas Gleixner1d615482009-11-17 14:54:03 +0100392 raw_spin_unlock_irqrestore(&task->pi_lock, flags);
Lai Jiangshan81612392011-01-14 17:09:41 +0800393 if (!rt_mutex_owner(lock)) {
394 /*
395 * If the requeue above changed the top waiter, then we need
396 * to wake the new top waiter up to try to get the lock.
397 */
398
399 if (top_waiter != rt_mutex_top_waiter(lock))
400 wake_up_process(rt_mutex_top_waiter(lock)->task);
401 raw_spin_unlock(&lock->wait_lock);
402 goto out_put_task;
403 }
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700404 put_task_struct(task);
405
406 /* Grab the next task */
407 task = rt_mutex_owner(lock);
Steven Rostedtdb630632006-09-29 01:59:44 -0700408 get_task_struct(task);
Thomas Gleixner1d615482009-11-17 14:54:03 +0100409 raw_spin_lock_irqsave(&task->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700410
411 if (waiter == rt_mutex_top_waiter(lock)) {
412 /* Boost the owner */
Peter Zijlstrafb00aca2013-11-07 14:43:43 +0100413 rt_mutex_dequeue_pi(task, top_waiter);
414 rt_mutex_enqueue_pi(task, waiter);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700415 __rt_mutex_adjust_prio(task);
416
417 } else if (top_waiter == waiter) {
418 /* Deboost the owner */
Peter Zijlstrafb00aca2013-11-07 14:43:43 +0100419 rt_mutex_dequeue_pi(task, waiter);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700420 waiter = rt_mutex_top_waiter(lock);
Peter Zijlstrafb00aca2013-11-07 14:43:43 +0100421 rt_mutex_enqueue_pi(task, waiter);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700422 __rt_mutex_adjust_prio(task);
423 }
424
Thomas Gleixner1d615482009-11-17 14:54:03 +0100425 raw_spin_unlock_irqrestore(&task->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700426
427 top_waiter = rt_mutex_top_waiter(lock);
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100428 raw_spin_unlock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700429
430 if (!detect_deadlock && waiter != top_waiter)
431 goto out_put_task;
432
433 goto again;
434
435 out_unlock_pi:
Thomas Gleixner1d615482009-11-17 14:54:03 +0100436 raw_spin_unlock_irqrestore(&task->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700437 out_put_task:
438 put_task_struct(task);
Ingo Molnar36c8b582006-07-03 00:25:41 -0700439
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700440 return ret;
441}
442
443/*
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700444 * Try to take an rt-mutex
445 *
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700446 * Must be called with lock->wait_lock held.
Lai Jiangshan81612392011-01-14 17:09:41 +0800447 *
448 * @lock: the lock to be acquired.
449 * @task: the task which wants to acquire the lock
450 * @waiter: the waiter that is queued to the lock's wait list. (could be NULL)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700451 */
Lai Jiangshan81612392011-01-14 17:09:41 +0800452static int try_to_take_rt_mutex(struct rt_mutex *lock, struct task_struct *task,
453 struct rt_mutex_waiter *waiter)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700454{
455 /*
456 * We have to be careful here if the atomic speedups are
457 * enabled, such that, when
458 * - no other waiter is on the lock
459 * - the lock has been released since we did the cmpxchg
460 * the lock can be released or taken while we are doing the
461 * checks and marking the lock with RT_MUTEX_HAS_WAITERS.
462 *
463 * The atomic acquire/release aware variant of
464 * mark_rt_mutex_waiters uses a cmpxchg loop. After setting
465 * the WAITERS bit, the atomic release / acquire can not
466 * happen anymore and lock->wait_lock protects us from the
467 * non-atomic case.
468 *
469 * Note, that this might set lock->owner =
470 * RT_MUTEX_HAS_WAITERS in the case the lock is not contended
471 * any more. This is fixed up when we take the ownership.
472 * This is the transitional state explained at the top of this file.
473 */
474 mark_rt_mutex_waiters(lock);
475
Lai Jiangshan81612392011-01-14 17:09:41 +0800476 if (rt_mutex_owner(lock))
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700477 return 0;
478
Lai Jiangshan81612392011-01-14 17:09:41 +0800479 /*
480 * It will get the lock because of one of these conditions:
481 * 1) there is no waiter
482 * 2) higher priority than waiters
483 * 3) it is top waiter
484 */
485 if (rt_mutex_has_waiters(lock)) {
Dario Faggioli2d3d8912013-11-07 14:43:44 +0100486 if (task->prio >= rt_mutex_top_waiter(lock)->prio) {
Lai Jiangshan81612392011-01-14 17:09:41 +0800487 if (!waiter || waiter != rt_mutex_top_waiter(lock))
488 return 0;
489 }
490 }
491
492 if (waiter || rt_mutex_has_waiters(lock)) {
493 unsigned long flags;
494 struct rt_mutex_waiter *top;
495
496 raw_spin_lock_irqsave(&task->pi_lock, flags);
497
498 /* remove the queued waiter. */
499 if (waiter) {
Peter Zijlstrafb00aca2013-11-07 14:43:43 +0100500 rt_mutex_dequeue(lock, waiter);
Lai Jiangshan81612392011-01-14 17:09:41 +0800501 task->pi_blocked_on = NULL;
502 }
503
504 /*
505 * We have to enqueue the top waiter(if it exists) into
506 * task->pi_waiters list.
507 */
508 if (rt_mutex_has_waiters(lock)) {
509 top = rt_mutex_top_waiter(lock);
Peter Zijlstrafb00aca2013-11-07 14:43:43 +0100510 rt_mutex_enqueue_pi(task, top);
Lai Jiangshan81612392011-01-14 17:09:41 +0800511 }
512 raw_spin_unlock_irqrestore(&task->pi_lock, flags);
513 }
514
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700515 /* We got the lock. */
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700516 debug_rt_mutex_lock(lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700517
Lai Jiangshan81612392011-01-14 17:09:41 +0800518 rt_mutex_set_owner(lock, task);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700519
Lai Jiangshan81612392011-01-14 17:09:41 +0800520 rt_mutex_deadlock_account_lock(lock, task);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700521
522 return 1;
523}
524
525/*
526 * Task blocks on lock.
527 *
528 * Prepare waiter and propagate pi chain
529 *
530 * This must be called with lock->wait_lock held.
531 */
532static int task_blocks_on_rt_mutex(struct rt_mutex *lock,
533 struct rt_mutex_waiter *waiter,
Darren Hart8dac4562009-04-03 13:40:12 -0700534 struct task_struct *task,
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700535 int detect_deadlock)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700536{
Ingo Molnar36c8b582006-07-03 00:25:41 -0700537 struct task_struct *owner = rt_mutex_owner(lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700538 struct rt_mutex_waiter *top_waiter = waiter;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700539 unsigned long flags;
Steven Rostedtdb630632006-09-29 01:59:44 -0700540 int chain_walk = 0, res;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700541
Thomas Gleixner397335f2014-05-22 03:25:39 +0000542 /*
543 * Early deadlock detection. We really don't want the task to
544 * enqueue on itself just to untangle the mess later. It's not
545 * only an optimization. We drop the locks, so another waiter
546 * can come in before the chain walk detects the deadlock. So
547 * the other will detect the deadlock and return -EDEADLOCK,
548 * which is wrong, as the other waiter is not in a deadlock
549 * situation.
550 */
Thomas Gleixner3d5c9342014-06-05 12:34:23 +0200551 if (owner == task)
Thomas Gleixner397335f2014-05-22 03:25:39 +0000552 return -EDEADLK;
553
Thomas Gleixner1d615482009-11-17 14:54:03 +0100554 raw_spin_lock_irqsave(&task->pi_lock, flags);
Darren Hart8dac4562009-04-03 13:40:12 -0700555 __rt_mutex_adjust_prio(task);
556 waiter->task = task;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700557 waiter->lock = lock;
Dario Faggioli2d3d8912013-11-07 14:43:44 +0100558 waiter->prio = task->prio;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700559
560 /* Get the top priority waiter on the lock */
561 if (rt_mutex_has_waiters(lock))
562 top_waiter = rt_mutex_top_waiter(lock);
Peter Zijlstrafb00aca2013-11-07 14:43:43 +0100563 rt_mutex_enqueue(lock, waiter);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700564
Darren Hart8dac4562009-04-03 13:40:12 -0700565 task->pi_blocked_on = waiter;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700566
Thomas Gleixner1d615482009-11-17 14:54:03 +0100567 raw_spin_unlock_irqrestore(&task->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700568
Lai Jiangshan81612392011-01-14 17:09:41 +0800569 if (!owner)
570 return 0;
571
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700572 if (waiter == rt_mutex_top_waiter(lock)) {
Thomas Gleixner1d615482009-11-17 14:54:03 +0100573 raw_spin_lock_irqsave(&owner->pi_lock, flags);
Peter Zijlstrafb00aca2013-11-07 14:43:43 +0100574 rt_mutex_dequeue_pi(owner, top_waiter);
575 rt_mutex_enqueue_pi(owner, waiter);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700576
577 __rt_mutex_adjust_prio(owner);
Steven Rostedtdb630632006-09-29 01:59:44 -0700578 if (owner->pi_blocked_on)
579 chain_walk = 1;
Thomas Gleixner1d615482009-11-17 14:54:03 +0100580 raw_spin_unlock_irqrestore(&owner->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700581 }
Steven Rostedtdb630632006-09-29 01:59:44 -0700582 else if (debug_rt_mutex_detect_deadlock(waiter, detect_deadlock))
583 chain_walk = 1;
584
585 if (!chain_walk)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700586 return 0;
587
Steven Rostedtdb630632006-09-29 01:59:44 -0700588 /*
589 * The owner can't disappear while holding a lock,
590 * so the owner struct is protected by wait_lock.
591 * Gets dropped in rt_mutex_adjust_prio_chain()!
592 */
593 get_task_struct(owner);
594
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100595 raw_spin_unlock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700596
Thomas Gleixner95e02ca2006-06-27 02:55:02 -0700597 res = rt_mutex_adjust_prio_chain(owner, detect_deadlock, lock, waiter,
Darren Hart8dac4562009-04-03 13:40:12 -0700598 task);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700599
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100600 raw_spin_lock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700601
602 return res;
603}
604
605/*
606 * Wake up the next waiter on the lock.
607 *
Lai Jiangshan81612392011-01-14 17:09:41 +0800608 * Remove the top waiter from the current tasks waiter list and wake it up.
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700609 *
610 * Called with lock->wait_lock held.
611 */
612static void wakeup_next_waiter(struct rt_mutex *lock)
613{
614 struct rt_mutex_waiter *waiter;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700615 unsigned long flags;
616
Thomas Gleixner1d615482009-11-17 14:54:03 +0100617 raw_spin_lock_irqsave(&current->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700618
619 waiter = rt_mutex_top_waiter(lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700620
621 /*
622 * Remove it from current->pi_waiters. We do not adjust a
623 * possible priority boost right now. We execute wakeup in the
624 * boosted mode and go back to normal after releasing
625 * lock->wait_lock.
626 */
Peter Zijlstrafb00aca2013-11-07 14:43:43 +0100627 rt_mutex_dequeue_pi(current, waiter);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700628
Lai Jiangshan81612392011-01-14 17:09:41 +0800629 rt_mutex_set_owner(lock, NULL);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700630
Thomas Gleixner1d615482009-11-17 14:54:03 +0100631 raw_spin_unlock_irqrestore(&current->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700632
Lai Jiangshan81612392011-01-14 17:09:41 +0800633 wake_up_process(waiter->task);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700634}
635
636/*
Lai Jiangshan81612392011-01-14 17:09:41 +0800637 * Remove a waiter from a lock and give up
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700638 *
Lai Jiangshan81612392011-01-14 17:09:41 +0800639 * Must be called with lock->wait_lock held and
640 * have just failed to try_to_take_rt_mutex().
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700641 */
Thomas Gleixnerbd197232007-06-17 21:11:10 +0200642static void remove_waiter(struct rt_mutex *lock,
643 struct rt_mutex_waiter *waiter)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700644{
645 int first = (waiter == rt_mutex_top_waiter(lock));
Ingo Molnar36c8b582006-07-03 00:25:41 -0700646 struct task_struct *owner = rt_mutex_owner(lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700647 unsigned long flags;
Steven Rostedtdb630632006-09-29 01:59:44 -0700648 int chain_walk = 0;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700649
Thomas Gleixner1d615482009-11-17 14:54:03 +0100650 raw_spin_lock_irqsave(&current->pi_lock, flags);
Peter Zijlstrafb00aca2013-11-07 14:43:43 +0100651 rt_mutex_dequeue(lock, waiter);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700652 current->pi_blocked_on = NULL;
Thomas Gleixner1d615482009-11-17 14:54:03 +0100653 raw_spin_unlock_irqrestore(&current->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700654
Lai Jiangshan81612392011-01-14 17:09:41 +0800655 if (!owner)
656 return;
657
658 if (first) {
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700659
Thomas Gleixner1d615482009-11-17 14:54:03 +0100660 raw_spin_lock_irqsave(&owner->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700661
Peter Zijlstrafb00aca2013-11-07 14:43:43 +0100662 rt_mutex_dequeue_pi(owner, waiter);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700663
664 if (rt_mutex_has_waiters(lock)) {
665 struct rt_mutex_waiter *next;
666
667 next = rt_mutex_top_waiter(lock);
Peter Zijlstrafb00aca2013-11-07 14:43:43 +0100668 rt_mutex_enqueue_pi(owner, next);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700669 }
670 __rt_mutex_adjust_prio(owner);
671
Steven Rostedtdb630632006-09-29 01:59:44 -0700672 if (owner->pi_blocked_on)
673 chain_walk = 1;
674
Thomas Gleixner1d615482009-11-17 14:54:03 +0100675 raw_spin_unlock_irqrestore(&owner->pi_lock, flags);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700676 }
677
Steven Rostedtdb630632006-09-29 01:59:44 -0700678 if (!chain_walk)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700679 return;
680
Steven Rostedtdb630632006-09-29 01:59:44 -0700681 /* gets dropped in rt_mutex_adjust_prio_chain()! */
682 get_task_struct(owner);
683
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100684 raw_spin_unlock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700685
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700686 rt_mutex_adjust_prio_chain(owner, 0, lock, NULL, current);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700687
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100688 raw_spin_lock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700689}
690
691/*
Thomas Gleixner95e02ca2006-06-27 02:55:02 -0700692 * Recheck the pi chain, in case we got a priority setting
693 *
694 * Called from sched_setscheduler
695 */
696void rt_mutex_adjust_pi(struct task_struct *task)
697{
698 struct rt_mutex_waiter *waiter;
699 unsigned long flags;
700
Thomas Gleixner1d615482009-11-17 14:54:03 +0100701 raw_spin_lock_irqsave(&task->pi_lock, flags);
Thomas Gleixner95e02ca2006-06-27 02:55:02 -0700702
703 waiter = task->pi_blocked_on;
Dario Faggioli2d3d8912013-11-07 14:43:44 +0100704 if (!waiter || (waiter->prio == task->prio &&
705 !dl_prio(task->prio))) {
Thomas Gleixner1d615482009-11-17 14:54:03 +0100706 raw_spin_unlock_irqrestore(&task->pi_lock, flags);
Thomas Gleixner95e02ca2006-06-27 02:55:02 -0700707 return;
708 }
709
Thomas Gleixner1d615482009-11-17 14:54:03 +0100710 raw_spin_unlock_irqrestore(&task->pi_lock, flags);
Thomas Gleixner95e02ca2006-06-27 02:55:02 -0700711
Steven Rostedtdb630632006-09-29 01:59:44 -0700712 /* gets dropped in rt_mutex_adjust_prio_chain()! */
713 get_task_struct(task);
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700714 rt_mutex_adjust_prio_chain(task, 0, NULL, NULL, task);
Thomas Gleixner95e02ca2006-06-27 02:55:02 -0700715}
716
Darren Hart8dac4562009-04-03 13:40:12 -0700717/**
718 * __rt_mutex_slowlock() - Perform the wait-wake-try-to-take loop
719 * @lock: the rt_mutex to take
720 * @state: the state the task should block in (TASK_INTERRUPTIBLE
721 * or TASK_UNINTERRUPTIBLE)
722 * @timeout: the pre-initialized and started timer, or NULL for none
723 * @waiter: the pre-initialized rt_mutex_waiter
Darren Hart8dac4562009-04-03 13:40:12 -0700724 *
725 * lock->wait_lock must be held by the caller.
726 */
727static int __sched
728__rt_mutex_slowlock(struct rt_mutex *lock, int state,
729 struct hrtimer_sleeper *timeout,
Lai Jiangshan81612392011-01-14 17:09:41 +0800730 struct rt_mutex_waiter *waiter)
Darren Hart8dac4562009-04-03 13:40:12 -0700731{
732 int ret = 0;
733
734 for (;;) {
735 /* Try to acquire the lock: */
Lai Jiangshan81612392011-01-14 17:09:41 +0800736 if (try_to_take_rt_mutex(lock, current, waiter))
Darren Hart8dac4562009-04-03 13:40:12 -0700737 break;
738
739 /*
740 * TASK_INTERRUPTIBLE checks for signals and
741 * timeout. Ignored otherwise.
742 */
743 if (unlikely(state == TASK_INTERRUPTIBLE)) {
744 /* Signal pending? */
745 if (signal_pending(current))
746 ret = -EINTR;
747 if (timeout && !timeout->task)
748 ret = -ETIMEDOUT;
749 if (ret)
750 break;
751 }
752
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100753 raw_spin_unlock(&lock->wait_lock);
Darren Hart8dac4562009-04-03 13:40:12 -0700754
755 debug_rt_mutex_print_deadlock(waiter);
756
Lai Jiangshan81612392011-01-14 17:09:41 +0800757 schedule_rt_mutex(lock);
Darren Hart8dac4562009-04-03 13:40:12 -0700758
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100759 raw_spin_lock(&lock->wait_lock);
Darren Hart8dac4562009-04-03 13:40:12 -0700760 set_current_state(state);
761 }
762
763 return ret;
764}
765
Thomas Gleixner3d5c9342014-06-05 12:34:23 +0200766static void rt_mutex_handle_deadlock(int res, int detect_deadlock,
767 struct rt_mutex_waiter *w)
768{
769 /*
770 * If the result is not -EDEADLOCK or the caller requested
771 * deadlock detection, nothing to do here.
772 */
773 if (res != -EDEADLOCK || detect_deadlock)
774 return;
775
776 /*
777 * Yell lowdly and stop the task right here.
778 */
779 rt_mutex_print_deadlock(w);
780 while (1) {
781 set_current_state(TASK_INTERRUPTIBLE);
782 schedule();
783 }
784}
785
Thomas Gleixner95e02ca2006-06-27 02:55:02 -0700786/*
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700787 * Slow path lock function:
788 */
789static int __sched
790rt_mutex_slowlock(struct rt_mutex *lock, int state,
791 struct hrtimer_sleeper *timeout,
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700792 int detect_deadlock)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700793{
794 struct rt_mutex_waiter waiter;
795 int ret = 0;
796
797 debug_rt_mutex_init_waiter(&waiter);
Peter Zijlstrafb00aca2013-11-07 14:43:43 +0100798 RB_CLEAR_NODE(&waiter.pi_tree_entry);
799 RB_CLEAR_NODE(&waiter.tree_entry);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700800
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100801 raw_spin_lock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700802
803 /* Try to acquire the lock again: */
Lai Jiangshan81612392011-01-14 17:09:41 +0800804 if (try_to_take_rt_mutex(lock, current, NULL)) {
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100805 raw_spin_unlock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700806 return 0;
807 }
808
809 set_current_state(state);
810
811 /* Setup the timer, when timeout != NULL */
Peter Zijlstra720a2592008-02-13 15:45:36 +0100812 if (unlikely(timeout)) {
Arjan van de Vencc584b22008-09-01 15:02:30 -0700813 hrtimer_start_expires(&timeout->timer, HRTIMER_MODE_ABS);
Peter Zijlstra720a2592008-02-13 15:45:36 +0100814 if (!hrtimer_active(&timeout->timer))
815 timeout->task = NULL;
816 }
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700817
Lai Jiangshan81612392011-01-14 17:09:41 +0800818 ret = task_blocks_on_rt_mutex(lock, &waiter, current, detect_deadlock);
819
820 if (likely(!ret))
821 ret = __rt_mutex_slowlock(lock, state, timeout, &waiter);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700822
823 set_current_state(TASK_RUNNING);
824
Thomas Gleixner3d5c9342014-06-05 12:34:23 +0200825 if (unlikely(ret)) {
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700826 remove_waiter(lock, &waiter);
Thomas Gleixner3d5c9342014-06-05 12:34:23 +0200827 rt_mutex_handle_deadlock(ret, detect_deadlock, &waiter);
828 }
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700829
830 /*
831 * try_to_take_rt_mutex() sets the waiter bit
832 * unconditionally. We might have to fix that up.
833 */
834 fixup_rt_mutex_waiters(lock);
835
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100836 raw_spin_unlock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700837
838 /* Remove pending timer: */
839 if (unlikely(timeout))
840 hrtimer_cancel(&timeout->timer);
841
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700842 debug_rt_mutex_free_waiter(&waiter);
843
844 return ret;
845}
846
847/*
848 * Slow path try-lock function:
849 */
850static inline int
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700851rt_mutex_slowtrylock(struct rt_mutex *lock)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700852{
853 int ret = 0;
854
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100855 raw_spin_lock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700856
857 if (likely(rt_mutex_owner(lock) != current)) {
858
Lai Jiangshan81612392011-01-14 17:09:41 +0800859 ret = try_to_take_rt_mutex(lock, current, NULL);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700860 /*
861 * try_to_take_rt_mutex() sets the lock waiters
862 * bit unconditionally. Clean this up.
863 */
864 fixup_rt_mutex_waiters(lock);
865 }
866
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100867 raw_spin_unlock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700868
869 return ret;
870}
871
872/*
873 * Slow path to release a rt-mutex:
874 */
875static void __sched
876rt_mutex_slowunlock(struct rt_mutex *lock)
877{
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100878 raw_spin_lock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700879
880 debug_rt_mutex_unlock(lock);
881
882 rt_mutex_deadlock_account_unlock(current);
883
884 if (!rt_mutex_has_waiters(lock)) {
885 lock->owner = NULL;
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100886 raw_spin_unlock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700887 return;
888 }
889
890 wakeup_next_waiter(lock);
891
Thomas Gleixnerd209d742009-11-17 18:22:11 +0100892 raw_spin_unlock(&lock->wait_lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700893
894 /* Undo pi boosting if necessary: */
895 rt_mutex_adjust_prio(current);
896}
897
898/*
899 * debug aware fast / slowpath lock,trylock,unlock
900 *
901 * The atomic acquire/release ops are compiled away, when either the
902 * architecture does not support cmpxchg or when debugging is enabled.
903 */
904static inline int
905rt_mutex_fastlock(struct rt_mutex *lock, int state,
906 int detect_deadlock,
907 int (*slowfn)(struct rt_mutex *lock, int state,
908 struct hrtimer_sleeper *timeout,
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700909 int detect_deadlock))
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700910{
911 if (!detect_deadlock && likely(rt_mutex_cmpxchg(lock, NULL, current))) {
912 rt_mutex_deadlock_account_lock(lock, current);
913 return 0;
914 } else
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700915 return slowfn(lock, state, NULL, detect_deadlock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700916}
917
918static inline int
919rt_mutex_timed_fastlock(struct rt_mutex *lock, int state,
920 struct hrtimer_sleeper *timeout, int detect_deadlock,
921 int (*slowfn)(struct rt_mutex *lock, int state,
922 struct hrtimer_sleeper *timeout,
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700923 int detect_deadlock))
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700924{
925 if (!detect_deadlock && likely(rt_mutex_cmpxchg(lock, NULL, current))) {
926 rt_mutex_deadlock_account_lock(lock, current);
927 return 0;
928 } else
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700929 return slowfn(lock, state, timeout, detect_deadlock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700930}
931
932static inline int
933rt_mutex_fasttrylock(struct rt_mutex *lock,
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700934 int (*slowfn)(struct rt_mutex *lock))
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700935{
936 if (likely(rt_mutex_cmpxchg(lock, NULL, current))) {
937 rt_mutex_deadlock_account_lock(lock, current);
938 return 1;
939 }
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700940 return slowfn(lock);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700941}
942
943static inline void
944rt_mutex_fastunlock(struct rt_mutex *lock,
945 void (*slowfn)(struct rt_mutex *lock))
946{
947 if (likely(rt_mutex_cmpxchg(lock, current, NULL)))
948 rt_mutex_deadlock_account_unlock(current);
949 else
950 slowfn(lock);
951}
952
953/**
954 * rt_mutex_lock - lock a rt_mutex
955 *
956 * @lock: the rt_mutex to be locked
957 */
958void __sched rt_mutex_lock(struct rt_mutex *lock)
959{
960 might_sleep();
961
962 rt_mutex_fastlock(lock, TASK_UNINTERRUPTIBLE, 0, rt_mutex_slowlock);
963}
964EXPORT_SYMBOL_GPL(rt_mutex_lock);
965
966/**
967 * rt_mutex_lock_interruptible - lock a rt_mutex interruptible
968 *
969 * @lock: the rt_mutex to be locked
970 * @detect_deadlock: deadlock detection on/off
971 *
972 * Returns:
973 * 0 on success
974 * -EINTR when interrupted by a signal
975 * -EDEADLK when the lock would deadlock (when deadlock detection is on)
976 */
977int __sched rt_mutex_lock_interruptible(struct rt_mutex *lock,
978 int detect_deadlock)
979{
980 might_sleep();
981
982 return rt_mutex_fastlock(lock, TASK_INTERRUPTIBLE,
983 detect_deadlock, rt_mutex_slowlock);
984}
985EXPORT_SYMBOL_GPL(rt_mutex_lock_interruptible);
986
987/**
Luis Henriques23b94b92009-04-29 21:54:51 +0100988 * rt_mutex_timed_lock - lock a rt_mutex interruptible
989 * the timeout structure is provided
990 * by the caller
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700991 *
992 * @lock: the rt_mutex to be locked
993 * @timeout: timeout structure or NULL (no timeout)
994 * @detect_deadlock: deadlock detection on/off
995 *
996 * Returns:
997 * 0 on success
998 * -EINTR when interrupted by a signal
Jean Delvare3ac49a12009-06-04 16:20:28 +0200999 * -ETIMEDOUT when the timeout expired
Ingo Molnar23f78d4a2006-06-27 02:54:53 -07001000 * -EDEADLK when the lock would deadlock (when deadlock detection is on)
1001 */
1002int
1003rt_mutex_timed_lock(struct rt_mutex *lock, struct hrtimer_sleeper *timeout,
1004 int detect_deadlock)
1005{
1006 might_sleep();
1007
1008 return rt_mutex_timed_fastlock(lock, TASK_INTERRUPTIBLE, timeout,
1009 detect_deadlock, rt_mutex_slowlock);
1010}
1011EXPORT_SYMBOL_GPL(rt_mutex_timed_lock);
1012
1013/**
1014 * rt_mutex_trylock - try to lock a rt_mutex
1015 *
1016 * @lock: the rt_mutex to be locked
1017 *
1018 * Returns 1 on success and 0 on contention
1019 */
1020int __sched rt_mutex_trylock(struct rt_mutex *lock)
1021{
1022 return rt_mutex_fasttrylock(lock, rt_mutex_slowtrylock);
1023}
1024EXPORT_SYMBOL_GPL(rt_mutex_trylock);
1025
1026/**
1027 * rt_mutex_unlock - unlock a rt_mutex
1028 *
1029 * @lock: the rt_mutex to be unlocked
1030 */
1031void __sched rt_mutex_unlock(struct rt_mutex *lock)
1032{
1033 rt_mutex_fastunlock(lock, rt_mutex_slowunlock);
1034}
1035EXPORT_SYMBOL_GPL(rt_mutex_unlock);
1036
Luis Henriques23b94b92009-04-29 21:54:51 +01001037/**
Ingo Molnar23f78d4a2006-06-27 02:54:53 -07001038 * rt_mutex_destroy - mark a mutex unusable
1039 * @lock: the mutex to be destroyed
1040 *
1041 * This function marks the mutex uninitialized, and any subsequent
1042 * use of the mutex is forbidden. The mutex must not be locked when
1043 * this function is called.
1044 */
1045void rt_mutex_destroy(struct rt_mutex *lock)
1046{
1047 WARN_ON(rt_mutex_is_locked(lock));
1048#ifdef CONFIG_DEBUG_RT_MUTEXES
1049 lock->magic = NULL;
1050#endif
1051}
1052
1053EXPORT_SYMBOL_GPL(rt_mutex_destroy);
1054
1055/**
1056 * __rt_mutex_init - initialize the rt lock
1057 *
1058 * @lock: the rt lock to be initialized
1059 *
1060 * Initialize the rt lock to unlocked state.
1061 *
1062 * Initializing of a locked rt lock is not allowed
1063 */
1064void __rt_mutex_init(struct rt_mutex *lock, const char *name)
1065{
1066 lock->owner = NULL;
Thomas Gleixnerd209d742009-11-17 18:22:11 +01001067 raw_spin_lock_init(&lock->wait_lock);
Peter Zijlstrafb00aca2013-11-07 14:43:43 +01001068 lock->waiters = RB_ROOT;
1069 lock->waiters_leftmost = NULL;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -07001070
1071 debug_rt_mutex_init(lock, name);
1072}
1073EXPORT_SYMBOL_GPL(__rt_mutex_init);
Ingo Molnar0cdbee92006-06-27 02:54:57 -07001074
1075/**
1076 * rt_mutex_init_proxy_locked - initialize and lock a rt_mutex on behalf of a
1077 * proxy owner
1078 *
1079 * @lock: the rt_mutex to be locked
1080 * @proxy_owner:the task to set as owner
1081 *
1082 * No locking. Caller has to do serializing itself
1083 * Special API call for PI-futex support
1084 */
1085void rt_mutex_init_proxy_locked(struct rt_mutex *lock,
1086 struct task_struct *proxy_owner)
1087{
1088 __rt_mutex_init(lock, NULL);
Ingo Molnar9a11b49a2006-07-03 00:24:33 -07001089 debug_rt_mutex_proxy_lock(lock, proxy_owner);
Lai Jiangshan81612392011-01-14 17:09:41 +08001090 rt_mutex_set_owner(lock, proxy_owner);
Ingo Molnar0cdbee92006-06-27 02:54:57 -07001091 rt_mutex_deadlock_account_lock(lock, proxy_owner);
1092}
1093
1094/**
1095 * rt_mutex_proxy_unlock - release a lock on behalf of owner
1096 *
1097 * @lock: the rt_mutex to be locked
1098 *
1099 * No locking. Caller has to do serializing itself
1100 * Special API call for PI-futex support
1101 */
1102void rt_mutex_proxy_unlock(struct rt_mutex *lock,
1103 struct task_struct *proxy_owner)
1104{
1105 debug_rt_mutex_proxy_unlock(lock);
Lai Jiangshan81612392011-01-14 17:09:41 +08001106 rt_mutex_set_owner(lock, NULL);
Ingo Molnar0cdbee92006-06-27 02:54:57 -07001107 rt_mutex_deadlock_account_unlock(proxy_owner);
1108}
1109
1110/**
Darren Hart8dac4562009-04-03 13:40:12 -07001111 * rt_mutex_start_proxy_lock() - Start lock acquisition for another task
1112 * @lock: the rt_mutex to take
1113 * @waiter: the pre-initialized rt_mutex_waiter
1114 * @task: the task to prepare
1115 * @detect_deadlock: perform deadlock detection (1) or not (0)
1116 *
1117 * Returns:
1118 * 0 - task blocked on lock
1119 * 1 - acquired the lock for task, caller should wake it up
1120 * <0 - error
1121 *
1122 * Special API call for FUTEX_REQUEUE_PI support.
1123 */
1124int rt_mutex_start_proxy_lock(struct rt_mutex *lock,
1125 struct rt_mutex_waiter *waiter,
1126 struct task_struct *task, int detect_deadlock)
1127{
1128 int ret;
1129
Thomas Gleixnerd209d742009-11-17 18:22:11 +01001130 raw_spin_lock(&lock->wait_lock);
Darren Hart8dac4562009-04-03 13:40:12 -07001131
Lai Jiangshan81612392011-01-14 17:09:41 +08001132 if (try_to_take_rt_mutex(lock, task, NULL)) {
Thomas Gleixnerd209d742009-11-17 18:22:11 +01001133 raw_spin_unlock(&lock->wait_lock);
Darren Hart8dac4562009-04-03 13:40:12 -07001134 return 1;
1135 }
1136
Thomas Gleixner3d5c9342014-06-05 12:34:23 +02001137 /* We enforce deadlock detection for futexes */
1138 ret = task_blocks_on_rt_mutex(lock, waiter, task, 1);
Darren Hart8dac4562009-04-03 13:40:12 -07001139
Lai Jiangshan81612392011-01-14 17:09:41 +08001140 if (ret && !rt_mutex_owner(lock)) {
Darren Hart8dac4562009-04-03 13:40:12 -07001141 /*
1142 * Reset the return value. We might have
1143 * returned with -EDEADLK and the owner
1144 * released the lock while we were walking the
1145 * pi chain. Let the waiter sort it out.
1146 */
1147 ret = 0;
1148 }
Lai Jiangshan81612392011-01-14 17:09:41 +08001149
1150 if (unlikely(ret))
1151 remove_waiter(lock, waiter);
1152
Thomas Gleixnerd209d742009-11-17 18:22:11 +01001153 raw_spin_unlock(&lock->wait_lock);
Darren Hart8dac4562009-04-03 13:40:12 -07001154
1155 debug_rt_mutex_print_deadlock(waiter);
1156
1157 return ret;
1158}
1159
1160/**
Ingo Molnar0cdbee92006-06-27 02:54:57 -07001161 * rt_mutex_next_owner - return the next owner of the lock
1162 *
1163 * @lock: the rt lock query
1164 *
1165 * Returns the next owner of the lock or NULL
1166 *
1167 * Caller has to serialize against other accessors to the lock
1168 * itself.
1169 *
1170 * Special API call for PI-futex support
1171 */
1172struct task_struct *rt_mutex_next_owner(struct rt_mutex *lock)
1173{
1174 if (!rt_mutex_has_waiters(lock))
1175 return NULL;
1176
1177 return rt_mutex_top_waiter(lock)->task;
1178}
Darren Hart8dac4562009-04-03 13:40:12 -07001179
1180/**
1181 * rt_mutex_finish_proxy_lock() - Complete lock acquisition
1182 * @lock: the rt_mutex we were woken on
1183 * @to: the timeout, null if none. hrtimer should already have
1184 * been started.
1185 * @waiter: the pre-initialized rt_mutex_waiter
1186 * @detect_deadlock: perform deadlock detection (1) or not (0)
1187 *
1188 * Complete the lock acquisition started our behalf by another thread.
1189 *
1190 * Returns:
1191 * 0 - success
1192 * <0 - error, one of -EINTR, -ETIMEDOUT, or -EDEADLK
1193 *
1194 * Special API call for PI-futex requeue support
1195 */
1196int rt_mutex_finish_proxy_lock(struct rt_mutex *lock,
1197 struct hrtimer_sleeper *to,
1198 struct rt_mutex_waiter *waiter,
1199 int detect_deadlock)
1200{
1201 int ret;
1202
Thomas Gleixnerd209d742009-11-17 18:22:11 +01001203 raw_spin_lock(&lock->wait_lock);
Darren Hart8dac4562009-04-03 13:40:12 -07001204
1205 set_current_state(TASK_INTERRUPTIBLE);
1206
Lai Jiangshan81612392011-01-14 17:09:41 +08001207 ret = __rt_mutex_slowlock(lock, TASK_INTERRUPTIBLE, to, waiter);
Darren Hart8dac4562009-04-03 13:40:12 -07001208
1209 set_current_state(TASK_RUNNING);
1210
Lai Jiangshan81612392011-01-14 17:09:41 +08001211 if (unlikely(ret))
Darren Hart8dac4562009-04-03 13:40:12 -07001212 remove_waiter(lock, waiter);
1213
1214 /*
1215 * try_to_take_rt_mutex() sets the waiter bit unconditionally. We might
1216 * have to fix that up.
1217 */
1218 fixup_rt_mutex_waiters(lock);
1219
Thomas Gleixnerd209d742009-11-17 18:22:11 +01001220 raw_spin_unlock(&lock->wait_lock);
Darren Hart8dac4562009-04-03 13:40:12 -07001221
Darren Hart8dac4562009-04-03 13:40:12 -07001222 return ret;
1223}