blob: 68686b3ec3c17cb199a72300f06e2904640ff189 [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{
55 struct rt_mutex_waiter *w;
56
Davidlohr Buesoa23ba902017-09-08 16:15:01 -070057 w = rb_entry(lock->waiters.rb_leftmost,
58 struct rt_mutex_waiter, tree_entry);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070059 BUG_ON(w->lock != lock);
60
61 return w;
62}
63
64static inline int task_has_pi_waiters(struct task_struct *p)
65{
Davidlohr Buesoa23ba902017-09-08 16:15:01 -070066 return !RB_EMPTY_ROOT(&p->pi_waiters.rb_root);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070067}
68
69static inline struct rt_mutex_waiter *
70task_top_pi_waiter(struct task_struct *p)
71{
Davidlohr Buesoa23ba902017-09-08 16:15:01 -070072 return rb_entry(p->pi_waiters.rb_leftmost,
73 struct rt_mutex_waiter, pi_tree_entry);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070074}
75
Nicolas Pitrebc2eecd2017-08-01 00:31:32 -040076#else
77
78static inline int rt_mutex_has_waiters(struct rt_mutex *lock)
79{
80 return false;
81}
82
83static inline struct rt_mutex_waiter *
84rt_mutex_top_waiter(struct rt_mutex *lock)
85{
86 return NULL;
87}
88
89static inline int task_has_pi_waiters(struct task_struct *p)
90{
91 return false;
92}
93
94static inline struct rt_mutex_waiter *
95task_top_pi_waiter(struct task_struct *p)
96{
97 return NULL;
98}
99
100#endif
101
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700102/*
103 * lock->owner state tracking:
104 */
Lai Jiangshan81612392011-01-14 17:09:41 +0800105#define RT_MUTEX_HAS_WAITERS 1UL
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700106
107static inline struct task_struct *rt_mutex_owner(struct rt_mutex *lock)
108{
Thomas Gleixner1be5d4f2016-11-30 21:04:42 +0000109 unsigned long owner = (unsigned long) READ_ONCE(lock->owner);
110
Thomas Gleixnerb5016e82016-11-30 21:04:44 +0000111 return (struct task_struct *) (owner & ~RT_MUTEX_HAS_WAITERS);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700112}
113
Ingo Molnarc87e2832006-06-27 02:54:58 -0700114/*
Thomas Gleixner8930ed82014-05-22 03:25:47 +0000115 * Constants for rt mutex functions which have a selectable deadlock
116 * detection.
117 *
118 * RT_MUTEX_MIN_CHAINWALK: Stops the lock chain walk when there are
119 * no further PI adjustments to be made.
120 *
121 * RT_MUTEX_FULL_CHAINWALK: Invoke deadlock detection with a full
122 * walk of the lock chain.
123 */
124enum rtmutex_chainwalk {
125 RT_MUTEX_MIN_CHAINWALK,
126 RT_MUTEX_FULL_CHAINWALK,
127};
128
129/*
Ingo Molnarc87e2832006-06-27 02:54:58 -0700130 * PI-futex support (proxy locking functions, etc.):
131 */
132extern struct task_struct *rt_mutex_next_owner(struct rt_mutex *lock);
133extern void rt_mutex_init_proxy_locked(struct rt_mutex *lock,
134 struct task_struct *proxy_owner);
135extern void rt_mutex_proxy_unlock(struct rt_mutex *lock,
136 struct task_struct *proxy_owner);
Peter Zijlstra50809352017-03-22 11:35:56 +0100137extern void rt_mutex_init_waiter(struct rt_mutex_waiter *waiter);
Peter Zijlstra56222b22017-03-22 11:36:00 +0100138extern int __rt_mutex_start_proxy_lock(struct rt_mutex *lock,
139 struct rt_mutex_waiter *waiter,
140 struct task_struct *task);
Darren Hart8dac4562009-04-03 13:40:12 -0700141extern int rt_mutex_start_proxy_lock(struct rt_mutex *lock,
142 struct rt_mutex_waiter *waiter,
Thomas Gleixnerc051b212014-05-22 03:25:50 +0000143 struct task_struct *task);
Peter Zijlstra38d589f2017-03-22 11:35:57 +0100144extern int rt_mutex_wait_proxy_lock(struct rt_mutex *lock,
145 struct hrtimer_sleeper *to,
146 struct rt_mutex_waiter *waiter);
147extern bool rt_mutex_cleanup_proxy_lock(struct rt_mutex *lock,
148 struct rt_mutex_waiter *waiter);
Peter Zijlstra5293c2e2017-03-22 11:35:51 +0100149
Peter Zijlstra5293c2e2017-03-22 11:35:51 +0100150extern int rt_mutex_futex_trylock(struct rt_mutex *l);
Peter Zijlstrac1e2f0e2017-12-08 13:49:39 +0100151extern int __rt_mutex_futex_trylock(struct rt_mutex *l);
Peter Zijlstra5293c2e2017-03-22 11:35:51 +0100152
153extern void rt_mutex_futex_unlock(struct rt_mutex *lock);
154extern bool __rt_mutex_futex_unlock(struct rt_mutex *lock,
155 struct wake_q_head *wqh);
156
Peter Zijlstraaa2bfe52017-03-23 15:56:10 +0100157extern void rt_mutex_postunlock(struct wake_q_head *wake_q);
Thomas Gleixner36cf3b52007-07-15 23:41:20 -0700158
159#ifdef CONFIG_DEBUG_RT_MUTEXES
160# include "rtmutex-debug.h"
161#else
162# include "rtmutex.h"
163#endif
164
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700165#endif