blob: d1d62f942be2285a7e11588201ac199dc700a805 [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001/* SPDX-License-Identifier: GPL-2.0 */
Ingo Molnar23f78d4a2006-06-27 02:54:53 -07002/*
3 * RT Mutexes: blocking mutual exclusion locks with PI support
4 *
5 * started by Ingo Molnar and Thomas Gleixner:
6 *
7 * Copyright (C) 2004-2006 Red Hat, Inc., Ingo Molnar <mingo@redhat.com>
8 * Copyright (C) 2006, Timesys Corp., Thomas Gleixner <tglx@timesys.com>
9 *
10 * This file contains the private data structure and API definitions.
11 */
12
13#ifndef __KERNEL_RTMUTEX_COMMON_H
14#define __KERNEL_RTMUTEX_COMMON_H
15
16#include <linux/rtmutex.h>
Ingo Molnar84f001e2017-02-01 16:36:40 +010017#include <linux/sched/wake_q.h>
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070018
19/*
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070020 * This is the control structure for tasks blocked on a rt_mutex,
21 * which is allocated on the kernel stack on of the blocked task.
22 *
Peter Zijlstrafb00aca2013-11-07 14:43:43 +010023 * @tree_entry: pi node to enqueue into the mutex waiters tree
24 * @pi_tree_entry: pi node to enqueue into the mutex owner waiters tree
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070025 * @task: task reference to the blocked task
26 */
27struct rt_mutex_waiter {
Peter Zijlstrafb00aca2013-11-07 14:43:43 +010028 struct rb_node tree_entry;
29 struct rb_node pi_tree_entry;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070030 struct task_struct *task;
31 struct rt_mutex *lock;
32#ifdef CONFIG_DEBUG_RT_MUTEXES
33 unsigned long ip;
Pavel Emelyanov48d13e42008-02-08 04:21:53 -080034 struct pid *deadlock_task_pid;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070035 struct rt_mutex *deadlock_lock;
36#endif
Dario Faggioli2d3d8912013-11-07 14:43:44 +010037 int prio;
Peter Zijlstrae0aad5b2017-03-23 15:56:13 +010038 u64 deadline;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070039};
40
41/*
Peter Zijlstrafb00aca2013-11-07 14:43:43 +010042 * Various helpers to access the waiters-tree:
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070043 */
Nicolas Pitrebc2eecd2017-08-01 00:31:32 -040044
45#ifdef CONFIG_RT_MUTEXES
46
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070047static inline int rt_mutex_has_waiters(struct rt_mutex *lock)
48{
Davidlohr Buesoa23ba902017-09-08 16:15:01 -070049 return !RB_EMPTY_ROOT(&lock->waiters.rb_root);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070050}
51
52static inline struct rt_mutex_waiter *
53rt_mutex_top_waiter(struct rt_mutex *lock)
54{
Peter Zijlstrac28d62c2018-03-27 14:14:38 +020055 struct rb_node *leftmost = rb_first_cached(&lock->waiters);
56 struct rt_mutex_waiter *w = NULL;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070057
Peter Zijlstrac28d62c2018-03-27 14:14:38 +020058 if (leftmost) {
59 w = rb_entry(leftmost, struct rt_mutex_waiter, tree_entry);
60 BUG_ON(w->lock != lock);
61 }
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070062 return w;
63}
64
65static inline int task_has_pi_waiters(struct task_struct *p)
66{
Davidlohr Buesoa23ba902017-09-08 16:15:01 -070067 return !RB_EMPTY_ROOT(&p->pi_waiters.rb_root);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070068}
69
70static inline struct rt_mutex_waiter *
71task_top_pi_waiter(struct task_struct *p)
72{
Davidlohr Buesoa23ba902017-09-08 16:15:01 -070073 return rb_entry(p->pi_waiters.rb_leftmost,
74 struct rt_mutex_waiter, pi_tree_entry);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070075}
76
Nicolas Pitrebc2eecd2017-08-01 00:31:32 -040077#else
78
79static inline int rt_mutex_has_waiters(struct rt_mutex *lock)
80{
81 return false;
82}
83
84static inline struct rt_mutex_waiter *
85rt_mutex_top_waiter(struct rt_mutex *lock)
86{
87 return NULL;
88}
89
90static inline int task_has_pi_waiters(struct task_struct *p)
91{
92 return false;
93}
94
95static inline struct rt_mutex_waiter *
96task_top_pi_waiter(struct task_struct *p)
97{
98 return NULL;
99}
100
101#endif
102
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700103/*
104 * lock->owner state tracking:
105 */
Lai Jiangshan81612392011-01-14 17:09:41 +0800106#define RT_MUTEX_HAS_WAITERS 1UL
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700107
108static inline struct task_struct *rt_mutex_owner(struct rt_mutex *lock)
109{
Thomas Gleixner1be5d4f2016-11-30 21:04:42 +0000110 unsigned long owner = (unsigned long) READ_ONCE(lock->owner);
111
Thomas Gleixnerb5016e82016-11-30 21:04:44 +0000112 return (struct task_struct *) (owner & ~RT_MUTEX_HAS_WAITERS);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700113}
114
Ingo Molnarc87e2832006-06-27 02:54:58 -0700115/*
Thomas Gleixner8930ed82014-05-22 03:25:47 +0000116 * Constants for rt mutex functions which have a selectable deadlock
117 * detection.
118 *
119 * RT_MUTEX_MIN_CHAINWALK: Stops the lock chain walk when there are
120 * no further PI adjustments to be made.
121 *
122 * RT_MUTEX_FULL_CHAINWALK: Invoke deadlock detection with a full
123 * walk of the lock chain.
124 */
125enum rtmutex_chainwalk {
126 RT_MUTEX_MIN_CHAINWALK,
127 RT_MUTEX_FULL_CHAINWALK,
128};
129
130/*
Ingo Molnarc87e2832006-06-27 02:54:58 -0700131 * PI-futex support (proxy locking functions, etc.):
132 */
133extern struct task_struct *rt_mutex_next_owner(struct rt_mutex *lock);
134extern void rt_mutex_init_proxy_locked(struct rt_mutex *lock,
135 struct task_struct *proxy_owner);
136extern void rt_mutex_proxy_unlock(struct rt_mutex *lock,
137 struct task_struct *proxy_owner);
Peter Zijlstra50809352017-03-22 11:35:56 +0100138extern void rt_mutex_init_waiter(struct rt_mutex_waiter *waiter);
Peter Zijlstra56222b22017-03-22 11:36:00 +0100139extern int __rt_mutex_start_proxy_lock(struct rt_mutex *lock,
140 struct rt_mutex_waiter *waiter,
141 struct task_struct *task);
Darren Hart8dac4562009-04-03 13:40:12 -0700142extern int rt_mutex_start_proxy_lock(struct rt_mutex *lock,
143 struct rt_mutex_waiter *waiter,
Thomas Gleixnerc051b212014-05-22 03:25:50 +0000144 struct task_struct *task);
Peter Zijlstra38d589f2017-03-22 11:35:57 +0100145extern int rt_mutex_wait_proxy_lock(struct rt_mutex *lock,
146 struct hrtimer_sleeper *to,
147 struct rt_mutex_waiter *waiter);
148extern bool rt_mutex_cleanup_proxy_lock(struct rt_mutex *lock,
149 struct rt_mutex_waiter *waiter);
Peter Zijlstra5293c2e2017-03-22 11:35:51 +0100150
Peter Zijlstra5293c2e2017-03-22 11:35:51 +0100151extern int rt_mutex_futex_trylock(struct rt_mutex *l);
Peter Zijlstrac1e2f0e2017-12-08 13:49:39 +0100152extern int __rt_mutex_futex_trylock(struct rt_mutex *l);
Peter Zijlstra5293c2e2017-03-22 11:35:51 +0100153
154extern void rt_mutex_futex_unlock(struct rt_mutex *lock);
155extern bool __rt_mutex_futex_unlock(struct rt_mutex *lock,
156 struct wake_q_head *wqh);
157
Peter Zijlstraaa2bfe52017-03-23 15:56:10 +0100158extern void rt_mutex_postunlock(struct wake_q_head *wake_q);
Thomas Gleixner36cf3b52007-07-15 23:41:20 -0700159
160#ifdef CONFIG_DEBUG_RT_MUTEXES
161# include "rtmutex-debug.h"
162#else
163# include "rtmutex.h"
164#endif
165
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700166#endif