blob: a90c22abdbca90087b76aa552af5713717a36768 [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
28 * @prio: Priority of the waiter
29 * @deadline: Deadline of the waiter if applicable
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070030 */
31struct rt_mutex_waiter {
Thomas Gleixner37350e32021-03-26 16:29:37 +010032 struct rb_node tree_entry;
33 struct rb_node pi_tree_entry;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070034 struct task_struct *task;
35 struct rt_mutex *lock;
Thomas Gleixner37350e32021-03-26 16:29:37 +010036 int prio;
37 u64 deadline;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070038};
39
40/*
Thomas Gleixner37350e32021-03-26 16:29:37 +010041 * Must be guarded because this header is included from rcu/tree_plugin.h
42 * unconditionally.
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070043 */
Nicolas Pitrebc2eecd2017-08-01 00:31:32 -040044#ifdef CONFIG_RT_MUTEXES
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070045static inline int rt_mutex_has_waiters(struct rt_mutex *lock)
46{
Davidlohr Buesoa23ba902017-09-08 16:15:01 -070047 return !RB_EMPTY_ROOT(&lock->waiters.rb_root);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070048}
49
Thomas Gleixner37350e32021-03-26 16:29:37 +010050static inline struct rt_mutex_waiter *rt_mutex_top_waiter(struct rt_mutex *lock)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070051{
Peter Zijlstrac28d62c2018-03-27 14:14:38 +020052 struct rb_node *leftmost = rb_first_cached(&lock->waiters);
53 struct rt_mutex_waiter *w = NULL;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070054
Peter Zijlstrac28d62c2018-03-27 14:14:38 +020055 if (leftmost) {
56 w = rb_entry(leftmost, struct rt_mutex_waiter, tree_entry);
57 BUG_ON(w->lock != lock);
58 }
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070059 return w;
60}
61
62static inline int task_has_pi_waiters(struct task_struct *p)
63{
Davidlohr Buesoa23ba902017-09-08 16:15:01 -070064 return !RB_EMPTY_ROOT(&p->pi_waiters.rb_root);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070065}
66
Thomas Gleixner37350e32021-03-26 16:29:37 +010067static inline struct rt_mutex_waiter *task_top_pi_waiter(struct task_struct *p)
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070068{
Thomas Gleixner37350e32021-03-26 16:29:37 +010069 return rb_entry(p->pi_waiters.rb_leftmost, struct rt_mutex_waiter,
70 pi_tree_entry);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070071}
72
Lai Jiangshan81612392011-01-14 17:09:41 +080073#define RT_MUTEX_HAS_WAITERS 1UL
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070074
75static inline struct task_struct *rt_mutex_owner(struct rt_mutex *lock)
76{
Thomas Gleixner1be5d4f2016-11-30 21:04:42 +000077 unsigned long owner = (unsigned long) READ_ONCE(lock->owner);
78
Thomas Gleixnerb5016e82016-11-30 21:04:44 +000079 return (struct task_struct *) (owner & ~RT_MUTEX_HAS_WAITERS);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070080}
Thomas Gleixner37350e32021-03-26 16:29:37 +010081#else /* CONFIG_RT_MUTEXES */
82/* Used in rcu/tree_plugin.h */
83static inline struct task_struct *rt_mutex_owner(struct rt_mutex *lock)
84{
85 return NULL;
86}
87#endif /* !CONFIG_RT_MUTEXES */
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070088
Ingo Molnarc87e2832006-06-27 02:54:58 -070089/*
Thomas Gleixner8930ed82014-05-22 03:25:47 +000090 * Constants for rt mutex functions which have a selectable deadlock
91 * detection.
92 *
93 * RT_MUTEX_MIN_CHAINWALK: Stops the lock chain walk when there are
94 * no further PI adjustments to be made.
95 *
96 * RT_MUTEX_FULL_CHAINWALK: Invoke deadlock detection with a full
97 * walk of the lock chain.
98 */
99enum rtmutex_chainwalk {
100 RT_MUTEX_MIN_CHAINWALK,
101 RT_MUTEX_FULL_CHAINWALK,
102};
103
Thomas Gleixnerf5a98862021-03-26 16:29:38 +0100104static inline void __rt_mutex_basic_init(struct rt_mutex *lock)
105{
106 lock->owner = NULL;
107 raw_spin_lock_init(&lock->wait_lock);
108 lock->waiters = RB_ROOT_CACHED;
109}
110
Thomas Gleixner8930ed82014-05-22 03:25:47 +0000111/*
Ingo Molnarc87e2832006-06-27 02:54:58 -0700112 * PI-futex support (proxy locking functions, etc.):
113 */
Ingo Molnarc87e2832006-06-27 02:54:58 -0700114extern void rt_mutex_init_proxy_locked(struct rt_mutex *lock,
115 struct task_struct *proxy_owner);
Thomas Gleixner2156ac12021-01-20 11:32:07 +0100116extern void rt_mutex_proxy_unlock(struct rt_mutex *lock);
Peter Zijlstra50809352017-03-22 11:35:56 +0100117extern void rt_mutex_init_waiter(struct rt_mutex_waiter *waiter);
Peter Zijlstra56222b22017-03-22 11:36:00 +0100118extern int __rt_mutex_start_proxy_lock(struct rt_mutex *lock,
119 struct rt_mutex_waiter *waiter,
120 struct task_struct *task);
Darren Hart8dac4562009-04-03 13:40:12 -0700121extern int rt_mutex_start_proxy_lock(struct rt_mutex *lock,
122 struct rt_mutex_waiter *waiter,
Thomas Gleixnerc051b212014-05-22 03:25:50 +0000123 struct task_struct *task);
Peter Zijlstra38d589f2017-03-22 11:35:57 +0100124extern int rt_mutex_wait_proxy_lock(struct rt_mutex *lock,
125 struct hrtimer_sleeper *to,
126 struct rt_mutex_waiter *waiter);
127extern bool rt_mutex_cleanup_proxy_lock(struct rt_mutex *lock,
128 struct rt_mutex_waiter *waiter);
Peter Zijlstra5293c2e2017-03-22 11:35:51 +0100129
Peter Zijlstra5293c2e2017-03-22 11:35:51 +0100130extern int rt_mutex_futex_trylock(struct rt_mutex *l);
Peter Zijlstrac1e2f0e2017-12-08 13:49:39 +0100131extern int __rt_mutex_futex_trylock(struct rt_mutex *l);
Peter Zijlstra5293c2e2017-03-22 11:35:51 +0100132
133extern void rt_mutex_futex_unlock(struct rt_mutex *lock);
134extern bool __rt_mutex_futex_unlock(struct rt_mutex *lock,
135 struct wake_q_head *wqh);
136
Peter Zijlstraaa2bfe52017-03-23 15:56:10 +0100137extern void rt_mutex_postunlock(struct wake_q_head *wake_q);
Thomas Gleixner36cf3b52007-07-15 23:41:20 -0700138
Thomas Gleixnerf41dcc12021-03-26 16:29:39 +0100139/* Debug functions */
140static inline void debug_rt_mutex_unlock(struct rt_mutex *lock)
141{
142 if (IS_ENABLED(CONFIG_DEBUG_RT_MUTEXES))
143 DEBUG_LOCKS_WARN_ON(rt_mutex_owner(lock) != current);
144}
145
146static inline void debug_rt_mutex_proxy_unlock(struct rt_mutex *lock)
147{
148 if (IS_ENABLED(CONFIG_DEBUG_RT_MUTEXES))
149 DEBUG_LOCKS_WARN_ON(!rt_mutex_owner(lock));
150}
151
152static inline void debug_rt_mutex_init_waiter(struct rt_mutex_waiter *waiter)
153{
154 if (IS_ENABLED(CONFIG_DEBUG_RT_MUTEXES))
155 memset(waiter, 0x11, sizeof(*waiter));
156}
157
158static inline void debug_rt_mutex_free_waiter(struct rt_mutex_waiter *waiter)
159{
160 if (IS_ENABLED(CONFIG_DEBUG_RT_MUTEXES))
161 memset(waiter, 0x22, sizeof(*waiter));
162}
Thomas Gleixner36cf3b52007-07-15 23:41:20 -0700163
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700164#endif