blob: fcc55de46b284605f9479d3806b4241132102a78 [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
Thomas Gleixnerf41dcc12021-03-26 16:29:39 +010016#include <linux/debug_locks.h>
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070017#include <linux/rtmutex.h>
Ingo Molnar84f001e2017-02-01 16:36:40 +010018#include <linux/sched/wake_q.h>
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070019
20/*
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070021 * This is the control structure for tasks blocked on a rt_mutex,
22 * which is allocated on the kernel stack on of the blocked task.
23 *
Peter Zijlstrafb00aca2013-11-07 14:43:43 +010024 * @tree_entry: pi node to enqueue into the mutex waiters tree
25 * @pi_tree_entry: pi node to enqueue into the mutex owner waiters tree
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070026 * @task: task reference to the blocked task
Thomas Gleixner37350e32021-03-26 16:29:37 +010027 * @lock: Pointer to the rt_mutex on which the waiter blocks
Thomas Gleixnerc014ef62021-08-15 23:28:06 +020028 * @wake_state: Wakeup state to use (TASK_NORMAL or TASK_RTLOCK_WAIT)
Thomas Gleixner37350e32021-03-26 16:29:37 +010029 * @prio: Priority of the waiter
30 * @deadline: Deadline of the waiter if applicable
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070031 */
32struct rt_mutex_waiter {
Thomas Gleixner37350e32021-03-26 16:29:37 +010033 struct rb_node tree_entry;
34 struct rb_node pi_tree_entry;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070035 struct task_struct *task;
Peter Zijlstra830e6ac2021-08-15 23:27:58 +020036 struct rt_mutex_base *lock;
Thomas Gleixnerc014ef62021-08-15 23:28:06 +020037 unsigned int wake_state;
Thomas Gleixner37350e32021-03-26 16:29:37 +010038 int prio;
39 u64 deadline;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070040};
41
42/*
Thomas Gleixner531ae4b2021-08-15 23:27:57 +020043 * PI-futex support (proxy locking functions, etc.):
44 */
Peter Zijlstra830e6ac2021-08-15 23:27:58 +020045extern void rt_mutex_init_proxy_locked(struct rt_mutex_base *lock,
Thomas Gleixner531ae4b2021-08-15 23:27:57 +020046 struct task_struct *proxy_owner);
Peter Zijlstra830e6ac2021-08-15 23:27:58 +020047extern void rt_mutex_proxy_unlock(struct rt_mutex_base *lock);
48extern int __rt_mutex_start_proxy_lock(struct rt_mutex_base *lock,
Thomas Gleixner531ae4b2021-08-15 23:27:57 +020049 struct rt_mutex_waiter *waiter,
50 struct task_struct *task);
Peter Zijlstra830e6ac2021-08-15 23:27:58 +020051extern int rt_mutex_start_proxy_lock(struct rt_mutex_base *lock,
Thomas Gleixner531ae4b2021-08-15 23:27:57 +020052 struct rt_mutex_waiter *waiter,
53 struct task_struct *task);
Peter Zijlstra830e6ac2021-08-15 23:27:58 +020054extern int rt_mutex_wait_proxy_lock(struct rt_mutex_base *lock,
Thomas Gleixner531ae4b2021-08-15 23:27:57 +020055 struct hrtimer_sleeper *to,
56 struct rt_mutex_waiter *waiter);
Peter Zijlstra830e6ac2021-08-15 23:27:58 +020057extern bool rt_mutex_cleanup_proxy_lock(struct rt_mutex_base *lock,
Thomas Gleixner531ae4b2021-08-15 23:27:57 +020058 struct rt_mutex_waiter *waiter);
59
Peter Zijlstra830e6ac2021-08-15 23:27:58 +020060extern int rt_mutex_futex_trylock(struct rt_mutex_base *l);
61extern int __rt_mutex_futex_trylock(struct rt_mutex_base *l);
Thomas Gleixner531ae4b2021-08-15 23:27:57 +020062
Peter Zijlstra830e6ac2021-08-15 23:27:58 +020063extern void rt_mutex_futex_unlock(struct rt_mutex_base *lock);
64extern bool __rt_mutex_futex_unlock(struct rt_mutex_base *lock,
Thomas Gleixner531ae4b2021-08-15 23:27:57 +020065 struct wake_q_head *wake_q);
66
67extern void rt_mutex_postunlock(struct wake_q_head *wake_q);
68
69/*
Thomas Gleixner37350e32021-03-26 16:29:37 +010070 * Must be guarded because this header is included from rcu/tree_plugin.h
71 * unconditionally.
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070072 */
Nicolas Pitrebc2eecd2017-08-01 00:31:32 -040073#ifdef CONFIG_RT_MUTEXES
Peter Zijlstra830e6ac2021-08-15 23:27:58 +020074static inline int rt_mutex_has_waiters(struct rt_mutex_base *lock)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070075{
Davidlohr Buesoa23ba902017-09-08 16:15:01 -070076 return !RB_EMPTY_ROOT(&lock->waiters.rb_root);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070077}
78
Peter Zijlstra830e6ac2021-08-15 23:27:58 +020079static inline struct rt_mutex_waiter *rt_mutex_top_waiter(struct rt_mutex_base *lock)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070080{
Peter Zijlstrac28d62c2018-03-27 14:14:38 +020081 struct rb_node *leftmost = rb_first_cached(&lock->waiters);
82 struct rt_mutex_waiter *w = NULL;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070083
Peter Zijlstrac28d62c2018-03-27 14:14:38 +020084 if (leftmost) {
85 w = rb_entry(leftmost, struct rt_mutex_waiter, tree_entry);
86 BUG_ON(w->lock != lock);
87 }
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070088 return w;
89}
90
91static inline int task_has_pi_waiters(struct task_struct *p)
92{
Davidlohr Buesoa23ba902017-09-08 16:15:01 -070093 return !RB_EMPTY_ROOT(&p->pi_waiters.rb_root);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070094}
95
Thomas Gleixner37350e32021-03-26 16:29:37 +010096static inline struct rt_mutex_waiter *task_top_pi_waiter(struct task_struct *p)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070097{
Thomas Gleixner37350e32021-03-26 16:29:37 +010098 return rb_entry(p->pi_waiters.rb_leftmost, struct rt_mutex_waiter,
99 pi_tree_entry);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700100}
101
Lai Jiangshan81612392011-01-14 17:09:41 +0800102#define RT_MUTEX_HAS_WAITERS 1UL
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700103
Peter Zijlstra830e6ac2021-08-15 23:27:58 +0200104static inline struct task_struct *rt_mutex_owner(struct rt_mutex_base *lock)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700105{
Thomas Gleixner1be5d4f2016-11-30 21:04:42 +0000106 unsigned long owner = (unsigned long) READ_ONCE(lock->owner);
107
Thomas Gleixnerb5016e82016-11-30 21:04:44 +0000108 return (struct task_struct *) (owner & ~RT_MUTEX_HAS_WAITERS);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700109}
110
Ingo Molnarc87e2832006-06-27 02:54:58 -0700111/*
Thomas Gleixner8930ed82014-05-22 03:25:47 +0000112 * Constants for rt mutex functions which have a selectable deadlock
113 * detection.
114 *
115 * RT_MUTEX_MIN_CHAINWALK: Stops the lock chain walk when there are
116 * no further PI adjustments to be made.
117 *
118 * RT_MUTEX_FULL_CHAINWALK: Invoke deadlock detection with a full
119 * walk of the lock chain.
120 */
121enum rtmutex_chainwalk {
122 RT_MUTEX_MIN_CHAINWALK,
123 RT_MUTEX_FULL_CHAINWALK,
124};
125
Peter Zijlstra830e6ac2021-08-15 23:27:58 +0200126static inline void __rt_mutex_base_init(struct rt_mutex_base *lock)
Thomas Gleixnerf5a98862021-03-26 16:29:38 +0100127{
Thomas Gleixnerf5a98862021-03-26 16:29:38 +0100128 raw_spin_lock_init(&lock->wait_lock);
129 lock->waiters = RB_ROOT_CACHED;
Peter Zijlstra830e6ac2021-08-15 23:27:58 +0200130 lock->owner = NULL;
Thomas Gleixnerf5a98862021-03-26 16:29:38 +0100131}
132
Thomas Gleixnerf41dcc12021-03-26 16:29:39 +0100133/* Debug functions */
Peter Zijlstra830e6ac2021-08-15 23:27:58 +0200134static inline void debug_rt_mutex_unlock(struct rt_mutex_base *lock)
Thomas Gleixnerf41dcc12021-03-26 16:29:39 +0100135{
136 if (IS_ENABLED(CONFIG_DEBUG_RT_MUTEXES))
137 DEBUG_LOCKS_WARN_ON(rt_mutex_owner(lock) != current);
138}
139
Peter Zijlstra830e6ac2021-08-15 23:27:58 +0200140static inline void debug_rt_mutex_proxy_unlock(struct rt_mutex_base *lock)
Thomas Gleixnerf41dcc12021-03-26 16:29:39 +0100141{
142 if (IS_ENABLED(CONFIG_DEBUG_RT_MUTEXES))
143 DEBUG_LOCKS_WARN_ON(!rt_mutex_owner(lock));
144}
145
146static inline void debug_rt_mutex_init_waiter(struct rt_mutex_waiter *waiter)
147{
148 if (IS_ENABLED(CONFIG_DEBUG_RT_MUTEXES))
149 memset(waiter, 0x11, sizeof(*waiter));
150}
151
152static inline void debug_rt_mutex_free_waiter(struct rt_mutex_waiter *waiter)
153{
154 if (IS_ENABLED(CONFIG_DEBUG_RT_MUTEXES))
155 memset(waiter, 0x22, sizeof(*waiter));
156}
Thomas Gleixner36cf3b52007-07-15 23:41:20 -0700157
Thomas Gleixner531ae4b2021-08-15 23:27:57 +0200158static inline void rt_mutex_init_waiter(struct rt_mutex_waiter *waiter)
159{
160 debug_rt_mutex_init_waiter(waiter);
161 RB_CLEAR_NODE(&waiter->pi_tree_entry);
162 RB_CLEAR_NODE(&waiter->tree_entry);
Thomas Gleixnerc014ef62021-08-15 23:28:06 +0200163 waiter->wake_state = TASK_NORMAL;
Thomas Gleixner531ae4b2021-08-15 23:27:57 +0200164 waiter->task = NULL;
165}
166
Thomas Gleixnerc014ef62021-08-15 23:28:06 +0200167static inline void rtlock_init_rtmutex_waiter(struct rt_mutex_waiter *waiter)
168{
169 rt_mutex_init_waiter(waiter);
170 waiter->wake_state = TASK_RTLOCK_WAIT;
171}
172
Thomas Gleixner531ae4b2021-08-15 23:27:57 +0200173#else /* CONFIG_RT_MUTEXES */
174/* Used in rcu/tree_plugin.h */
Peter Zijlstra830e6ac2021-08-15 23:27:58 +0200175static inline struct task_struct *rt_mutex_owner(struct rt_mutex_base *lock)
Thomas Gleixner531ae4b2021-08-15 23:27:57 +0200176{
177 return NULL;
178}
179#endif /* !CONFIG_RT_MUTEXES */
180
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700181#endif