blob: 14cbafed0014281aecea23d413824c017d8b96a9 [file] [log] [blame]
Ingo Molnar23f78d4a2006-06-27 02:54:53 -07001/*
2 * RT Mutexes: 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) 2006, Timesys Corp., Thomas Gleixner <tglx@timesys.com>
8 *
9 * This file contains the private data structure and API definitions.
10 */
11
12#ifndef __KERNEL_RTMUTEX_COMMON_H
13#define __KERNEL_RTMUTEX_COMMON_H
14
15#include <linux/rtmutex.h>
16
17/*
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070018 * This is the control structure for tasks blocked on a rt_mutex,
19 * which is allocated on the kernel stack on of the blocked task.
20 *
Peter Zijlstrafb00aca2013-11-07 14:43:43 +010021 * @tree_entry: pi node to enqueue into the mutex waiters tree
22 * @pi_tree_entry: pi node to enqueue into the mutex owner waiters tree
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070023 * @task: task reference to the blocked task
24 */
25struct rt_mutex_waiter {
Peter Zijlstrafb00aca2013-11-07 14:43:43 +010026 struct rb_node tree_entry;
27 struct rb_node pi_tree_entry;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070028 struct task_struct *task;
29 struct rt_mutex *lock;
30#ifdef CONFIG_DEBUG_RT_MUTEXES
31 unsigned long ip;
Pavel Emelyanov48d13e42008-02-08 04:21:53 -080032 struct pid *deadlock_task_pid;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070033 struct rt_mutex *deadlock_lock;
34#endif
Dario Faggioli2d3d8912013-11-07 14:43:44 +010035 int prio;
Peter Zijlstra0e6661b2017-03-23 15:56:13 +010036 u64 deadline;
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070037};
38
39/*
Peter Zijlstrafb00aca2013-11-07 14:43:43 +010040 * Various helpers to access the waiters-tree:
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070041 */
42static inline int rt_mutex_has_waiters(struct rt_mutex *lock)
43{
Peter Zijlstrafb00aca2013-11-07 14:43:43 +010044 return !RB_EMPTY_ROOT(&lock->waiters);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070045}
46
47static inline struct rt_mutex_waiter *
48rt_mutex_top_waiter(struct rt_mutex *lock)
49{
50 struct rt_mutex_waiter *w;
51
Peter Zijlstrafb00aca2013-11-07 14:43:43 +010052 w = rb_entry(lock->waiters_leftmost, struct rt_mutex_waiter,
53 tree_entry);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070054 BUG_ON(w->lock != lock);
55
56 return w;
57}
58
59static inline int task_has_pi_waiters(struct task_struct *p)
60{
Peter Zijlstrafb00aca2013-11-07 14:43:43 +010061 return !RB_EMPTY_ROOT(&p->pi_waiters);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070062}
63
64static inline struct rt_mutex_waiter *
65task_top_pi_waiter(struct task_struct *p)
66{
Peter Zijlstrafb00aca2013-11-07 14:43:43 +010067 return rb_entry(p->pi_waiters_leftmost, struct rt_mutex_waiter,
68 pi_tree_entry);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070069}
70
71/*
72 * lock->owner state tracking:
73 */
Lai Jiangshan81612392011-01-14 17:09:41 +080074#define RT_MUTEX_HAS_WAITERS 1UL
75#define RT_MUTEX_OWNER_MASKALL 1UL
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070076
77static inline struct task_struct *rt_mutex_owner(struct rt_mutex *lock)
78{
Thomas Gleixner1be5d4f2016-11-30 21:04:42 +000079 unsigned long owner = (unsigned long) READ_ONCE(lock->owner);
80
81 return (struct task_struct *) (owner & ~RT_MUTEX_OWNER_MASKALL);
Ingo Molnar23f78d4a2006-06-27 02:54:53 -070082}
83
Ingo Molnarc87e2832006-06-27 02:54:58 -070084/*
Thomas Gleixner8930ed82014-05-22 03:25:47 +000085 * Constants for rt mutex functions which have a selectable deadlock
86 * detection.
87 *
88 * RT_MUTEX_MIN_CHAINWALK: Stops the lock chain walk when there are
89 * no further PI adjustments to be made.
90 *
91 * RT_MUTEX_FULL_CHAINWALK: Invoke deadlock detection with a full
92 * walk of the lock chain.
93 */
94enum rtmutex_chainwalk {
95 RT_MUTEX_MIN_CHAINWALK,
96 RT_MUTEX_FULL_CHAINWALK,
97};
98
99/*
Ingo Molnarc87e2832006-06-27 02:54:58 -0700100 * PI-futex support (proxy locking functions, etc.):
101 */
102extern struct task_struct *rt_mutex_next_owner(struct rt_mutex *lock);
103extern void rt_mutex_init_proxy_locked(struct rt_mutex *lock,
104 struct task_struct *proxy_owner);
105extern void rt_mutex_proxy_unlock(struct rt_mutex *lock,
106 struct task_struct *proxy_owner);
Darren Hart8dac4562009-04-03 13:40:12 -0700107extern int rt_mutex_start_proxy_lock(struct rt_mutex *lock,
108 struct rt_mutex_waiter *waiter,
Thomas Gleixnerc051b212014-05-22 03:25:50 +0000109 struct task_struct *task);
Peter Zijlstrace813552017-03-22 11:35:57 +0100110extern int rt_mutex_wait_proxy_lock(struct rt_mutex *lock,
111 struct hrtimer_sleeper *to,
112 struct rt_mutex_waiter *waiter);
113extern bool rt_mutex_cleanup_proxy_lock(struct rt_mutex *lock,
114 struct rt_mutex_waiter *waiter);
Thomas Gleixnerc051b212014-05-22 03:25:50 +0000115extern int rt_mutex_timed_futex_lock(struct rt_mutex *l, struct hrtimer_sleeper *to);
Sebastian Andrzej Siewior802ab582015-06-17 10:33:50 +0200116extern bool rt_mutex_futex_unlock(struct rt_mutex *lock,
117 struct wake_q_head *wqh);
118extern void rt_mutex_adjust_prio(struct task_struct *task);
Thomas Gleixner36cf3b52007-07-15 23:41:20 -0700119
120#ifdef CONFIG_DEBUG_RT_MUTEXES
121# include "rtmutex-debug.h"
122#else
123# include "rtmutex.h"
124#endif
125
Ingo Molnar23f78d4a2006-06-27 02:54:53 -0700126#endif