xref: /linux/kernel/rcu/tasks.h (revision 88092d0c99d7584d50cc8caadb8fa9ff8a1d4ea0)
1eacd6f04SPaul E. McKenney /* SPDX-License-Identifier: GPL-2.0+ */
2eacd6f04SPaul E. McKenney /*
3eacd6f04SPaul E. McKenney  * Task-based RCU implementations.
4eacd6f04SPaul E. McKenney  *
5eacd6f04SPaul E. McKenney  * Copyright (C) 2020 Paul E. McKenney
6eacd6f04SPaul E. McKenney  */
7eacd6f04SPaul E. McKenney 
88fd8ca38SPaul E. McKenney #ifdef CONFIG_TASKS_RCU_GENERIC
95873b8a9SPaul E. McKenney 
105873b8a9SPaul E. McKenney ////////////////////////////////////////////////////////////////////////
115873b8a9SPaul E. McKenney //
125873b8a9SPaul E. McKenney // Generic data structures.
135873b8a9SPaul E. McKenney 
145873b8a9SPaul E. McKenney struct rcu_tasks;
155873b8a9SPaul E. McKenney typedef void (*rcu_tasks_gp_func_t)(struct rcu_tasks *rtp);
16e4fe5dd6SPaul E. McKenney typedef void (*pregp_func_t)(void);
17e4fe5dd6SPaul E. McKenney typedef void (*pertask_func_t)(struct task_struct *t, struct list_head *hop);
18e4fe5dd6SPaul E. McKenney typedef void (*postscan_func_t)(void);
19e4fe5dd6SPaul E. McKenney typedef void (*holdouts_func_t)(struct list_head *hop, bool ndrpt, bool *frptp);
20af051ca4SPaul E. McKenney typedef void (*postgp_func_t)(struct rcu_tasks *rtp);
21eacd6f04SPaul E. McKenney 
2207e10515SPaul E. McKenney /**
2307e10515SPaul E. McKenney  * Definition for a Tasks-RCU-like mechanism.
2407e10515SPaul E. McKenney  * @cbs_head: Head of callback list.
2507e10515SPaul E. McKenney  * @cbs_tail: Tail pointer for callback list.
2607e10515SPaul E. McKenney  * @cbs_wq: Wait queue allowning new callback to get kthread's attention.
2707e10515SPaul E. McKenney  * @cbs_lock: Lock protecting callback list.
2807e10515SPaul E. McKenney  * @kthread_ptr: This flavor's grace-period/callback-invocation kthread.
295873b8a9SPaul E. McKenney  * @gp_func: This flavor's grace-period-wait function.
30af051ca4SPaul E. McKenney  * @gp_state: Grace period's most recent state transition (debugging).
31af051ca4SPaul E. McKenney  * @gp_jiffies: Time of last @gp_state transition.
32af051ca4SPaul E. McKenney  * @gp_start: Most recent grace-period start in jiffies.
33e4fe5dd6SPaul E. McKenney  * @pregp_func: This flavor's pre-grace-period function (optional).
34e4fe5dd6SPaul E. McKenney  * @pertask_func: This flavor's per-task scan function (optional).
35e4fe5dd6SPaul E. McKenney  * @postscan_func: This flavor's post-task scan function (optional).
36e4fe5dd6SPaul E. McKenney  * @holdout_func: This flavor's holdout-list scan function (optional).
37e4fe5dd6SPaul E. McKenney  * @postgp_func: This flavor's post-grace-period function (optional).
385873b8a9SPaul E. McKenney  * @call_func: This flavor's call_rcu()-equivalent function.
39c97d12a6SPaul E. McKenney  * @name: This flavor's textual name.
40c97d12a6SPaul E. McKenney  * @kname: This flavor's kthread name.
4107e10515SPaul E. McKenney  */
4207e10515SPaul E. McKenney struct rcu_tasks {
4307e10515SPaul E. McKenney 	struct rcu_head *cbs_head;
4407e10515SPaul E. McKenney 	struct rcu_head **cbs_tail;
4507e10515SPaul E. McKenney 	struct wait_queue_head cbs_wq;
4607e10515SPaul E. McKenney 	raw_spinlock_t cbs_lock;
47af051ca4SPaul E. McKenney 	int gp_state;
48af051ca4SPaul E. McKenney 	unsigned long gp_jiffies;
49*88092d0cSPaul E. McKenney 	unsigned long gp_start;
5007e10515SPaul E. McKenney 	struct task_struct *kthread_ptr;
515873b8a9SPaul E. McKenney 	rcu_tasks_gp_func_t gp_func;
52e4fe5dd6SPaul E. McKenney 	pregp_func_t pregp_func;
53e4fe5dd6SPaul E. McKenney 	pertask_func_t pertask_func;
54e4fe5dd6SPaul E. McKenney 	postscan_func_t postscan_func;
55e4fe5dd6SPaul E. McKenney 	holdouts_func_t holdouts_func;
56e4fe5dd6SPaul E. McKenney 	postgp_func_t postgp_func;
575873b8a9SPaul E. McKenney 	call_rcu_func_t call_func;
58c97d12a6SPaul E. McKenney 	char *name;
59c97d12a6SPaul E. McKenney 	char *kname;
6007e10515SPaul E. McKenney };
6107e10515SPaul E. McKenney 
62c97d12a6SPaul E. McKenney #define DEFINE_RCU_TASKS(rt_name, gp, call, n)				\
63c97d12a6SPaul E. McKenney static struct rcu_tasks rt_name =					\
6407e10515SPaul E. McKenney {									\
65c97d12a6SPaul E. McKenney 	.cbs_tail = &rt_name.cbs_head,					\
66c97d12a6SPaul E. McKenney 	.cbs_wq = __WAIT_QUEUE_HEAD_INITIALIZER(rt_name.cbs_wq),	\
67c97d12a6SPaul E. McKenney 	.cbs_lock = __RAW_SPIN_LOCK_UNLOCKED(rt_name.cbs_lock),		\
685873b8a9SPaul E. McKenney 	.gp_func = gp,							\
695873b8a9SPaul E. McKenney 	.call_func = call,						\
70c97d12a6SPaul E. McKenney 	.name = n,							\
71c97d12a6SPaul E. McKenney 	.kname = #rt_name,						\
7207e10515SPaul E. McKenney }
7307e10515SPaul E. McKenney 
74eacd6f04SPaul E. McKenney /* Track exiting tasks in order to allow them to be waited for. */
75eacd6f04SPaul E. McKenney DEFINE_STATIC_SRCU(tasks_rcu_exit_srcu);
76eacd6f04SPaul E. McKenney 
77eacd6f04SPaul E. McKenney /* Control stall timeouts.  Disable with <= 0, otherwise jiffies till stall. */
78eacd6f04SPaul E. McKenney #define RCU_TASK_STALL_TIMEOUT (HZ * 60 * 10)
79eacd6f04SPaul E. McKenney static int rcu_task_stall_timeout __read_mostly = RCU_TASK_STALL_TIMEOUT;
80eacd6f04SPaul E. McKenney module_param(rcu_task_stall_timeout, int, 0644);
81eacd6f04SPaul E. McKenney 
82af051ca4SPaul E. McKenney /* RCU tasks grace-period state for debugging. */
83af051ca4SPaul E. McKenney #define RTGS_INIT		 0
84af051ca4SPaul E. McKenney #define RTGS_WAIT_WAIT_CBS	 1
85af051ca4SPaul E. McKenney #define RTGS_WAIT_GP		 2
86af051ca4SPaul E. McKenney #define RTGS_PRE_WAIT_GP	 3
87af051ca4SPaul E. McKenney #define RTGS_SCAN_TASKLIST	 4
88af051ca4SPaul E. McKenney #define RTGS_POST_SCAN_TASKLIST	 5
89af051ca4SPaul E. McKenney #define RTGS_WAIT_SCAN_HOLDOUTS	 6
90af051ca4SPaul E. McKenney #define RTGS_SCAN_HOLDOUTS	 7
91af051ca4SPaul E. McKenney #define RTGS_POST_GP		 8
92af051ca4SPaul E. McKenney #define RTGS_WAIT_READERS	 9
93af051ca4SPaul E. McKenney #define RTGS_INVOKE_CBS		10
94af051ca4SPaul E. McKenney #define RTGS_WAIT_CBS		11
95af051ca4SPaul E. McKenney static const char * const rcu_tasks_gp_state_names[] = {
96af051ca4SPaul E. McKenney 	"RTGS_INIT",
97af051ca4SPaul E. McKenney 	"RTGS_WAIT_WAIT_CBS",
98af051ca4SPaul E. McKenney 	"RTGS_WAIT_GP",
99af051ca4SPaul E. McKenney 	"RTGS_PRE_WAIT_GP",
100af051ca4SPaul E. McKenney 	"RTGS_SCAN_TASKLIST",
101af051ca4SPaul E. McKenney 	"RTGS_POST_SCAN_TASKLIST",
102af051ca4SPaul E. McKenney 	"RTGS_WAIT_SCAN_HOLDOUTS",
103af051ca4SPaul E. McKenney 	"RTGS_SCAN_HOLDOUTS",
104af051ca4SPaul E. McKenney 	"RTGS_POST_GP",
105af051ca4SPaul E. McKenney 	"RTGS_WAIT_READERS",
106af051ca4SPaul E. McKenney 	"RTGS_INVOKE_CBS",
107af051ca4SPaul E. McKenney 	"RTGS_WAIT_CBS",
108af051ca4SPaul E. McKenney };
109af051ca4SPaul E. McKenney 
1105873b8a9SPaul E. McKenney ////////////////////////////////////////////////////////////////////////
1115873b8a9SPaul E. McKenney //
1125873b8a9SPaul E. McKenney // Generic code.
1135873b8a9SPaul E. McKenney 
114af051ca4SPaul E. McKenney /* Record grace-period phase and time. */
115af051ca4SPaul E. McKenney static void set_tasks_gp_state(struct rcu_tasks *rtp, int newstate)
116af051ca4SPaul E. McKenney {
117af051ca4SPaul E. McKenney 	rtp->gp_state = newstate;
118af051ca4SPaul E. McKenney 	rtp->gp_jiffies = jiffies;
119af051ca4SPaul E. McKenney }
120af051ca4SPaul E. McKenney 
121af051ca4SPaul E. McKenney /* Return state name. */
122af051ca4SPaul E. McKenney static const char *tasks_gp_state_getname(struct rcu_tasks *rtp)
123af051ca4SPaul E. McKenney {
124af051ca4SPaul E. McKenney 	int i = data_race(rtp->gp_state); // Let KCSAN detect update races
125af051ca4SPaul E. McKenney 	int j = READ_ONCE(i); // Prevent the compiler from reading twice
126af051ca4SPaul E. McKenney 
127af051ca4SPaul E. McKenney 	if (j >= ARRAY_SIZE(rcu_tasks_gp_state_names))
128af051ca4SPaul E. McKenney 		return "???";
129af051ca4SPaul E. McKenney 	return rcu_tasks_gp_state_names[j];
130af051ca4SPaul E. McKenney }
131af051ca4SPaul E. McKenney 
1325873b8a9SPaul E. McKenney // Enqueue a callback for the specified flavor of Tasks RCU.
1335873b8a9SPaul E. McKenney static void call_rcu_tasks_generic(struct rcu_head *rhp, rcu_callback_t func,
1345873b8a9SPaul E. McKenney 				   struct rcu_tasks *rtp)
135eacd6f04SPaul E. McKenney {
136eacd6f04SPaul E. McKenney 	unsigned long flags;
137eacd6f04SPaul E. McKenney 	bool needwake;
138eacd6f04SPaul E. McKenney 
139eacd6f04SPaul E. McKenney 	rhp->next = NULL;
140eacd6f04SPaul E. McKenney 	rhp->func = func;
14107e10515SPaul E. McKenney 	raw_spin_lock_irqsave(&rtp->cbs_lock, flags);
14207e10515SPaul E. McKenney 	needwake = !rtp->cbs_head;
14307e10515SPaul E. McKenney 	WRITE_ONCE(*rtp->cbs_tail, rhp);
14407e10515SPaul E. McKenney 	rtp->cbs_tail = &rhp->next;
14507e10515SPaul E. McKenney 	raw_spin_unlock_irqrestore(&rtp->cbs_lock, flags);
146eacd6f04SPaul E. McKenney 	/* We can't create the thread unless interrupts are enabled. */
14707e10515SPaul E. McKenney 	if (needwake && READ_ONCE(rtp->kthread_ptr))
14807e10515SPaul E. McKenney 		wake_up(&rtp->cbs_wq);
149eacd6f04SPaul E. McKenney }
150eacd6f04SPaul E. McKenney 
1515873b8a9SPaul E. McKenney // Wait for a grace period for the specified flavor of Tasks RCU.
1525873b8a9SPaul E. McKenney static void synchronize_rcu_tasks_generic(struct rcu_tasks *rtp)
153eacd6f04SPaul E. McKenney {
154eacd6f04SPaul E. McKenney 	/* Complain if the scheduler has not started.  */
155eacd6f04SPaul E. McKenney 	RCU_LOCKDEP_WARN(rcu_scheduler_active == RCU_SCHEDULER_INACTIVE,
156eacd6f04SPaul E. McKenney 			 "synchronize_rcu_tasks called too soon");
157eacd6f04SPaul E. McKenney 
158eacd6f04SPaul E. McKenney 	/* Wait for the grace period. */
1595873b8a9SPaul E. McKenney 	wait_rcu_gp(rtp->call_func);
160eacd6f04SPaul E. McKenney }
161eacd6f04SPaul E. McKenney 
1625873b8a9SPaul E. McKenney /* RCU-tasks kthread that detects grace periods and invokes callbacks. */
1635873b8a9SPaul E. McKenney static int __noreturn rcu_tasks_kthread(void *arg)
164eacd6f04SPaul E. McKenney {
1655873b8a9SPaul E. McKenney 	unsigned long flags;
1665873b8a9SPaul E. McKenney 	struct rcu_head *list;
1675873b8a9SPaul E. McKenney 	struct rcu_head *next;
1685873b8a9SPaul E. McKenney 	struct rcu_tasks *rtp = arg;
1695873b8a9SPaul E. McKenney 
1705873b8a9SPaul E. McKenney 	/* Run on housekeeping CPUs by default.  Sysadm can move if desired. */
1715873b8a9SPaul E. McKenney 	housekeeping_affine(current, HK_FLAG_RCU);
1725873b8a9SPaul E. McKenney 	WRITE_ONCE(rtp->kthread_ptr, current); // Let GPs start!
1735873b8a9SPaul E. McKenney 
1745873b8a9SPaul E. McKenney 	/*
1755873b8a9SPaul E. McKenney 	 * Each pass through the following loop makes one check for
1765873b8a9SPaul E. McKenney 	 * newly arrived callbacks, and, if there are some, waits for
1775873b8a9SPaul E. McKenney 	 * one RCU-tasks grace period and then invokes the callbacks.
1785873b8a9SPaul E. McKenney 	 * This loop is terminated by the system going down.  ;-)
1795873b8a9SPaul E. McKenney 	 */
1805873b8a9SPaul E. McKenney 	for (;;) {
1815873b8a9SPaul E. McKenney 
1825873b8a9SPaul E. McKenney 		/* Pick up any new callbacks. */
1835873b8a9SPaul E. McKenney 		raw_spin_lock_irqsave(&rtp->cbs_lock, flags);
18443766c3eSPaul E. McKenney 		smp_mb__after_spinlock(); // Order updates vs. GP.
1855873b8a9SPaul E. McKenney 		list = rtp->cbs_head;
1865873b8a9SPaul E. McKenney 		rtp->cbs_head = NULL;
1875873b8a9SPaul E. McKenney 		rtp->cbs_tail = &rtp->cbs_head;
1885873b8a9SPaul E. McKenney 		raw_spin_unlock_irqrestore(&rtp->cbs_lock, flags);
1895873b8a9SPaul E. McKenney 
1905873b8a9SPaul E. McKenney 		/* If there were none, wait a bit and start over. */
1915873b8a9SPaul E. McKenney 		if (!list) {
1925873b8a9SPaul E. McKenney 			wait_event_interruptible(rtp->cbs_wq,
1935873b8a9SPaul E. McKenney 						 READ_ONCE(rtp->cbs_head));
1945873b8a9SPaul E. McKenney 			if (!rtp->cbs_head) {
1955873b8a9SPaul E. McKenney 				WARN_ON(signal_pending(current));
196af051ca4SPaul E. McKenney 				set_tasks_gp_state(rtp, RTGS_WAIT_WAIT_CBS);
1975873b8a9SPaul E. McKenney 				schedule_timeout_interruptible(HZ/10);
198eacd6f04SPaul E. McKenney 			}
1995873b8a9SPaul E. McKenney 			continue;
2005873b8a9SPaul E. McKenney 		}
2015873b8a9SPaul E. McKenney 
2025873b8a9SPaul E. McKenney 		// Wait for one grace period.
203af051ca4SPaul E. McKenney 		set_tasks_gp_state(rtp, RTGS_WAIT_GP);
204*88092d0cSPaul E. McKenney 		rtp->gp_start = jiffies;
2055873b8a9SPaul E. McKenney 		rtp->gp_func(rtp);
2065873b8a9SPaul E. McKenney 
2075873b8a9SPaul E. McKenney 		/* Invoke the callbacks. */
208af051ca4SPaul E. McKenney 		set_tasks_gp_state(rtp, RTGS_INVOKE_CBS);
2095873b8a9SPaul E. McKenney 		while (list) {
2105873b8a9SPaul E. McKenney 			next = list->next;
2115873b8a9SPaul E. McKenney 			local_bh_disable();
2125873b8a9SPaul E. McKenney 			list->func(list);
2135873b8a9SPaul E. McKenney 			local_bh_enable();
2145873b8a9SPaul E. McKenney 			list = next;
2155873b8a9SPaul E. McKenney 			cond_resched();
2165873b8a9SPaul E. McKenney 		}
2175873b8a9SPaul E. McKenney 		/* Paranoid sleep to keep this from entering a tight loop */
2185873b8a9SPaul E. McKenney 		schedule_timeout_uninterruptible(HZ/10);
219af051ca4SPaul E. McKenney 
220af051ca4SPaul E. McKenney 		set_tasks_gp_state(rtp, RTGS_WAIT_CBS);
2215873b8a9SPaul E. McKenney 	}
2225873b8a9SPaul E. McKenney }
2235873b8a9SPaul E. McKenney 
2245873b8a9SPaul E. McKenney /* Spawn RCU-tasks grace-period kthread, e.g., at core_initcall() time. */
2255873b8a9SPaul E. McKenney static void __init rcu_spawn_tasks_kthread_generic(struct rcu_tasks *rtp)
2265873b8a9SPaul E. McKenney {
2275873b8a9SPaul E. McKenney 	struct task_struct *t;
2285873b8a9SPaul E. McKenney 
229c97d12a6SPaul E. McKenney 	t = kthread_run(rcu_tasks_kthread, rtp, "%s_kthread", rtp->kname);
230c97d12a6SPaul E. McKenney 	if (WARN_ONCE(IS_ERR(t), "%s: Could not start %s grace-period kthread, OOM is now expected behavior\n", __func__, rtp->name))
2315873b8a9SPaul E. McKenney 		return;
2325873b8a9SPaul E. McKenney 	smp_mb(); /* Ensure others see full kthread. */
2335873b8a9SPaul E. McKenney }
2345873b8a9SPaul E. McKenney 
2355873b8a9SPaul E. McKenney /* Do the srcu_read_lock() for the above synchronize_srcu().  */
2365873b8a9SPaul E. McKenney void exit_tasks_rcu_start(void) __acquires(&tasks_rcu_exit_srcu)
2375873b8a9SPaul E. McKenney {
2385873b8a9SPaul E. McKenney 	preempt_disable();
2395873b8a9SPaul E. McKenney 	current->rcu_tasks_idx = __srcu_read_lock(&tasks_rcu_exit_srcu);
2405873b8a9SPaul E. McKenney 	preempt_enable();
2415873b8a9SPaul E. McKenney }
2425873b8a9SPaul E. McKenney 
243d5f177d3SPaul E. McKenney static void exit_tasks_rcu_finish_trace(struct task_struct *t);
244d5f177d3SPaul E. McKenney 
2455873b8a9SPaul E. McKenney /* Do the srcu_read_unlock() for the above synchronize_srcu().  */
2465873b8a9SPaul E. McKenney void exit_tasks_rcu_finish(void) __releases(&tasks_rcu_exit_srcu)
2475873b8a9SPaul E. McKenney {
248d5f177d3SPaul E. McKenney 	struct task_struct *t = current;
249d5f177d3SPaul E. McKenney 
2505873b8a9SPaul E. McKenney 	preempt_disable();
251d5f177d3SPaul E. McKenney 	__srcu_read_unlock(&tasks_rcu_exit_srcu, t->rcu_tasks_idx);
2525873b8a9SPaul E. McKenney 	preempt_enable();
253d5f177d3SPaul E. McKenney 	exit_tasks_rcu_finish_trace(t);
2545873b8a9SPaul E. McKenney }
2555873b8a9SPaul E. McKenney 
2565873b8a9SPaul E. McKenney #ifndef CONFIG_TINY_RCU
2575873b8a9SPaul E. McKenney 
2585873b8a9SPaul E. McKenney /*
2595873b8a9SPaul E. McKenney  * Print any non-default Tasks RCU settings.
2605873b8a9SPaul E. McKenney  */
2615873b8a9SPaul E. McKenney static void __init rcu_tasks_bootup_oddness(void)
2625873b8a9SPaul E. McKenney {
263d5f177d3SPaul E. McKenney #if defined(CONFIG_TASKS_RCU) || defined(CONFIG_TASKS_TRACE_RCU)
2645873b8a9SPaul E. McKenney 	if (rcu_task_stall_timeout != RCU_TASK_STALL_TIMEOUT)
2655873b8a9SPaul E. McKenney 		pr_info("\tTasks-RCU CPU stall warnings timeout set to %d (rcu_task_stall_timeout).\n", rcu_task_stall_timeout);
266d5f177d3SPaul E. McKenney #endif /* #ifdef CONFIG_TASKS_RCU */
267d5f177d3SPaul E. McKenney #ifdef CONFIG_TASKS_RCU
268d5f177d3SPaul E. McKenney 	pr_info("\tTrampoline variant of Tasks RCU enabled.\n");
2695873b8a9SPaul E. McKenney #endif /* #ifdef CONFIG_TASKS_RCU */
270c84aad76SPaul E. McKenney #ifdef CONFIG_TASKS_RUDE_RCU
271c84aad76SPaul E. McKenney 	pr_info("\tRude variant of Tasks RCU enabled.\n");
272c84aad76SPaul E. McKenney #endif /* #ifdef CONFIG_TASKS_RUDE_RCU */
273d5f177d3SPaul E. McKenney #ifdef CONFIG_TASKS_TRACE_RCU
274d5f177d3SPaul E. McKenney 	pr_info("\tTracing variant of Tasks RCU enabled.\n");
275d5f177d3SPaul E. McKenney #endif /* #ifdef CONFIG_TASKS_TRACE_RCU */
2765873b8a9SPaul E. McKenney }
2775873b8a9SPaul E. McKenney 
2785873b8a9SPaul E. McKenney #endif /* #ifndef CONFIG_TINY_RCU */
2795873b8a9SPaul E. McKenney 
280e21408ceSPaul E. McKenney /* Dump out rcutorture-relevant state common to all RCU-tasks flavors. */
281e21408ceSPaul E. McKenney static void show_rcu_tasks_generic_gp_kthread(struct rcu_tasks *rtp, char *s)
282e21408ceSPaul E. McKenney {
283af051ca4SPaul E. McKenney 	pr_info("%s: %s(%d) since %lu %c%c %s\n",
284e21408ceSPaul E. McKenney 		rtp->kname,
285af051ca4SPaul E. McKenney 		tasks_gp_state_getname(rtp),
286af051ca4SPaul E. McKenney 		data_race(rtp->gp_state),
287af051ca4SPaul E. McKenney 		jiffies - data_race(rtp->gp_jiffies),
288e21408ceSPaul E. McKenney 		".k"[!!data_race(rtp->kthread_ptr)],
289e21408ceSPaul E. McKenney 		".C"[!!data_race(rtp->cbs_head)],
290e21408ceSPaul E. McKenney 		s);
291e21408ceSPaul E. McKenney }
292e21408ceSPaul E. McKenney 
2935873b8a9SPaul E. McKenney #ifdef CONFIG_TASKS_RCU
2945873b8a9SPaul E. McKenney 
2955873b8a9SPaul E. McKenney ////////////////////////////////////////////////////////////////////////
2965873b8a9SPaul E. McKenney //
297d01aa263SPaul E. McKenney // Shared code between task-list-scanning variants of Tasks RCU.
298d01aa263SPaul E. McKenney 
299d01aa263SPaul E. McKenney /* Wait for one RCU-tasks grace period. */
300d01aa263SPaul E. McKenney static void rcu_tasks_wait_gp(struct rcu_tasks *rtp)
301d01aa263SPaul E. McKenney {
302d01aa263SPaul E. McKenney 	struct task_struct *g, *t;
303d01aa263SPaul E. McKenney 	unsigned long lastreport;
304d01aa263SPaul E. McKenney 	LIST_HEAD(holdouts);
305d01aa263SPaul E. McKenney 	int fract;
306d01aa263SPaul E. McKenney 
307af051ca4SPaul E. McKenney 	set_tasks_gp_state(rtp, RTGS_PRE_WAIT_GP);
308d01aa263SPaul E. McKenney 	rtp->pregp_func();
309d01aa263SPaul E. McKenney 
310d01aa263SPaul E. McKenney 	/*
311d01aa263SPaul E. McKenney 	 * There were callbacks, so we need to wait for an RCU-tasks
312d01aa263SPaul E. McKenney 	 * grace period.  Start off by scanning the task list for tasks
313d01aa263SPaul E. McKenney 	 * that are not already voluntarily blocked.  Mark these tasks
314d01aa263SPaul E. McKenney 	 * and make a list of them in holdouts.
315d01aa263SPaul E. McKenney 	 */
316af051ca4SPaul E. McKenney 	set_tasks_gp_state(rtp, RTGS_SCAN_TASKLIST);
317d01aa263SPaul E. McKenney 	rcu_read_lock();
318d01aa263SPaul E. McKenney 	for_each_process_thread(g, t)
319d01aa263SPaul E. McKenney 		rtp->pertask_func(t, &holdouts);
320d01aa263SPaul E. McKenney 	rcu_read_unlock();
321d01aa263SPaul E. McKenney 
322af051ca4SPaul E. McKenney 	set_tasks_gp_state(rtp, RTGS_POST_SCAN_TASKLIST);
323d01aa263SPaul E. McKenney 	rtp->postscan_func();
324d01aa263SPaul E. McKenney 
325d01aa263SPaul E. McKenney 	/*
326d01aa263SPaul E. McKenney 	 * Each pass through the following loop scans the list of holdout
327d01aa263SPaul E. McKenney 	 * tasks, removing any that are no longer holdouts.  When the list
328d01aa263SPaul E. McKenney 	 * is empty, we are done.
329d01aa263SPaul E. McKenney 	 */
330d01aa263SPaul E. McKenney 	lastreport = jiffies;
331d01aa263SPaul E. McKenney 
332d01aa263SPaul E. McKenney 	/* Start off with HZ/10 wait and slowly back off to 1 HZ wait. */
333d01aa263SPaul E. McKenney 	fract = 10;
334d01aa263SPaul E. McKenney 
335d01aa263SPaul E. McKenney 	for (;;) {
336d01aa263SPaul E. McKenney 		bool firstreport;
337d01aa263SPaul E. McKenney 		bool needreport;
338d01aa263SPaul E. McKenney 		int rtst;
339d01aa263SPaul E. McKenney 
340d01aa263SPaul E. McKenney 		if (list_empty(&holdouts))
341d01aa263SPaul E. McKenney 			break;
342d01aa263SPaul E. McKenney 
343d01aa263SPaul E. McKenney 		/* Slowly back off waiting for holdouts */
344af051ca4SPaul E. McKenney 		set_tasks_gp_state(rtp, RTGS_WAIT_SCAN_HOLDOUTS);
345d01aa263SPaul E. McKenney 		schedule_timeout_interruptible(HZ/fract);
346d01aa263SPaul E. McKenney 
347d01aa263SPaul E. McKenney 		if (fract > 1)
348d01aa263SPaul E. McKenney 			fract--;
349d01aa263SPaul E. McKenney 
350d01aa263SPaul E. McKenney 		rtst = READ_ONCE(rcu_task_stall_timeout);
351d01aa263SPaul E. McKenney 		needreport = rtst > 0 && time_after(jiffies, lastreport + rtst);
352d01aa263SPaul E. McKenney 		if (needreport)
353d01aa263SPaul E. McKenney 			lastreport = jiffies;
354d01aa263SPaul E. McKenney 		firstreport = true;
355d01aa263SPaul E. McKenney 		WARN_ON(signal_pending(current));
356af051ca4SPaul E. McKenney 		set_tasks_gp_state(rtp, RTGS_SCAN_HOLDOUTS);
357d01aa263SPaul E. McKenney 		rtp->holdouts_func(&holdouts, needreport, &firstreport);
358d01aa263SPaul E. McKenney 	}
359d01aa263SPaul E. McKenney 
360af051ca4SPaul E. McKenney 	set_tasks_gp_state(rtp, RTGS_POST_GP);
361af051ca4SPaul E. McKenney 	rtp->postgp_func(rtp);
362d01aa263SPaul E. McKenney }
363d01aa263SPaul E. McKenney 
364d01aa263SPaul E. McKenney ////////////////////////////////////////////////////////////////////////
365d01aa263SPaul E. McKenney //
3665873b8a9SPaul E. McKenney // Simple variant of RCU whose quiescent states are voluntary context
3675873b8a9SPaul E. McKenney // switch, cond_resched_rcu_qs(), user-space execution, and idle.
3685873b8a9SPaul E. McKenney // As such, grace periods can take one good long time.  There are no
3695873b8a9SPaul E. McKenney // read-side primitives similar to rcu_read_lock() and rcu_read_unlock()
3705873b8a9SPaul E. McKenney // because this implementation is intended to get the system into a safe
3715873b8a9SPaul E. McKenney // state for some of the manipulations involved in tracing and the like.
3725873b8a9SPaul E. McKenney // Finally, this implementation does not support high call_rcu_tasks()
3735873b8a9SPaul E. McKenney // rates from multiple CPUs.  If this is required, per-CPU callback lists
3745873b8a9SPaul E. McKenney // will be needed.
375eacd6f04SPaul E. McKenney 
376e4fe5dd6SPaul E. McKenney /* Pre-grace-period preparation. */
377e4fe5dd6SPaul E. McKenney static void rcu_tasks_pregp_step(void)
378e4fe5dd6SPaul E. McKenney {
379e4fe5dd6SPaul E. McKenney 	/*
380e4fe5dd6SPaul E. McKenney 	 * Wait for all pre-existing t->on_rq and t->nvcsw transitions
381e4fe5dd6SPaul E. McKenney 	 * to complete.  Invoking synchronize_rcu() suffices because all
382e4fe5dd6SPaul E. McKenney 	 * these transitions occur with interrupts disabled.  Without this
383e4fe5dd6SPaul E. McKenney 	 * synchronize_rcu(), a read-side critical section that started
384e4fe5dd6SPaul E. McKenney 	 * before the grace period might be incorrectly seen as having
385e4fe5dd6SPaul E. McKenney 	 * started after the grace period.
386e4fe5dd6SPaul E. McKenney 	 *
387e4fe5dd6SPaul E. McKenney 	 * This synchronize_rcu() also dispenses with the need for a
388e4fe5dd6SPaul E. McKenney 	 * memory barrier on the first store to t->rcu_tasks_holdout,
389e4fe5dd6SPaul E. McKenney 	 * as it forces the store to happen after the beginning of the
390e4fe5dd6SPaul E. McKenney 	 * grace period.
391e4fe5dd6SPaul E. McKenney 	 */
392e4fe5dd6SPaul E. McKenney 	synchronize_rcu();
393e4fe5dd6SPaul E. McKenney }
394e4fe5dd6SPaul E. McKenney 
395e4fe5dd6SPaul E. McKenney /* Per-task initial processing. */
396e4fe5dd6SPaul E. McKenney static void rcu_tasks_pertask(struct task_struct *t, struct list_head *hop)
397e4fe5dd6SPaul E. McKenney {
398e4fe5dd6SPaul E. McKenney 	if (t != current && READ_ONCE(t->on_rq) && !is_idle_task(t)) {
399e4fe5dd6SPaul E. McKenney 		get_task_struct(t);
400e4fe5dd6SPaul E. McKenney 		t->rcu_tasks_nvcsw = READ_ONCE(t->nvcsw);
401e4fe5dd6SPaul E. McKenney 		WRITE_ONCE(t->rcu_tasks_holdout, true);
402e4fe5dd6SPaul E. McKenney 		list_add(&t->rcu_tasks_holdout_list, hop);
403e4fe5dd6SPaul E. McKenney 	}
404e4fe5dd6SPaul E. McKenney }
405e4fe5dd6SPaul E. McKenney 
406e4fe5dd6SPaul E. McKenney /* Processing between scanning taskslist and draining the holdout list. */
407e4fe5dd6SPaul E. McKenney void rcu_tasks_postscan(void)
408e4fe5dd6SPaul E. McKenney {
409e4fe5dd6SPaul E. McKenney 	/*
410e4fe5dd6SPaul E. McKenney 	 * Wait for tasks that are in the process of exiting.  This
411e4fe5dd6SPaul E. McKenney 	 * does only part of the job, ensuring that all tasks that were
412e4fe5dd6SPaul E. McKenney 	 * previously exiting reach the point where they have disabled
413e4fe5dd6SPaul E. McKenney 	 * preemption, allowing the later synchronize_rcu() to finish
414e4fe5dd6SPaul E. McKenney 	 * the job.
415e4fe5dd6SPaul E. McKenney 	 */
416e4fe5dd6SPaul E. McKenney 	synchronize_srcu(&tasks_rcu_exit_srcu);
417e4fe5dd6SPaul E. McKenney }
418e4fe5dd6SPaul E. McKenney 
419eacd6f04SPaul E. McKenney /* See if tasks are still holding out, complain if so. */
420eacd6f04SPaul E. McKenney static void check_holdout_task(struct task_struct *t,
421eacd6f04SPaul E. McKenney 			       bool needreport, bool *firstreport)
422eacd6f04SPaul E. McKenney {
423eacd6f04SPaul E. McKenney 	int cpu;
424eacd6f04SPaul E. McKenney 
425eacd6f04SPaul E. McKenney 	if (!READ_ONCE(t->rcu_tasks_holdout) ||
426eacd6f04SPaul E. McKenney 	    t->rcu_tasks_nvcsw != READ_ONCE(t->nvcsw) ||
427eacd6f04SPaul E. McKenney 	    !READ_ONCE(t->on_rq) ||
428eacd6f04SPaul E. McKenney 	    (IS_ENABLED(CONFIG_NO_HZ_FULL) &&
429eacd6f04SPaul E. McKenney 	     !is_idle_task(t) && t->rcu_tasks_idle_cpu >= 0)) {
430eacd6f04SPaul E. McKenney 		WRITE_ONCE(t->rcu_tasks_holdout, false);
431eacd6f04SPaul E. McKenney 		list_del_init(&t->rcu_tasks_holdout_list);
432eacd6f04SPaul E. McKenney 		put_task_struct(t);
433eacd6f04SPaul E. McKenney 		return;
434eacd6f04SPaul E. McKenney 	}
435eacd6f04SPaul E. McKenney 	rcu_request_urgent_qs_task(t);
436eacd6f04SPaul E. McKenney 	if (!needreport)
437eacd6f04SPaul E. McKenney 		return;
438eacd6f04SPaul E. McKenney 	if (*firstreport) {
439eacd6f04SPaul E. McKenney 		pr_err("INFO: rcu_tasks detected stalls on tasks:\n");
440eacd6f04SPaul E. McKenney 		*firstreport = false;
441eacd6f04SPaul E. McKenney 	}
442eacd6f04SPaul E. McKenney 	cpu = task_cpu(t);
443eacd6f04SPaul E. McKenney 	pr_alert("%p: %c%c nvcsw: %lu/%lu holdout: %d idle_cpu: %d/%d\n",
444eacd6f04SPaul E. McKenney 		 t, ".I"[is_idle_task(t)],
445eacd6f04SPaul E. McKenney 		 "N."[cpu < 0 || !tick_nohz_full_cpu(cpu)],
446eacd6f04SPaul E. McKenney 		 t->rcu_tasks_nvcsw, t->nvcsw, t->rcu_tasks_holdout,
447eacd6f04SPaul E. McKenney 		 t->rcu_tasks_idle_cpu, cpu);
448eacd6f04SPaul E. McKenney 	sched_show_task(t);
449eacd6f04SPaul E. McKenney }
450eacd6f04SPaul E. McKenney 
451e4fe5dd6SPaul E. McKenney /* Scan the holdout lists for tasks no longer holding out. */
452e4fe5dd6SPaul E. McKenney static void check_all_holdout_tasks(struct list_head *hop,
453e4fe5dd6SPaul E. McKenney 				    bool needreport, bool *firstreport)
454eacd6f04SPaul E. McKenney {
455e4fe5dd6SPaul E. McKenney 	struct task_struct *t, *t1;
456eacd6f04SPaul E. McKenney 
457e4fe5dd6SPaul E. McKenney 	list_for_each_entry_safe(t, t1, hop, rcu_tasks_holdout_list) {
458e4fe5dd6SPaul E. McKenney 		check_holdout_task(t, needreport, firstreport);
459eacd6f04SPaul E. McKenney 		cond_resched();
460eacd6f04SPaul E. McKenney 	}
461eacd6f04SPaul E. McKenney }
462eacd6f04SPaul E. McKenney 
463e4fe5dd6SPaul E. McKenney /* Finish off the Tasks-RCU grace period. */
464af051ca4SPaul E. McKenney static void rcu_tasks_postgp(struct rcu_tasks *rtp)
465e4fe5dd6SPaul E. McKenney {
466eacd6f04SPaul E. McKenney 	/*
4675873b8a9SPaul E. McKenney 	 * Because ->on_rq and ->nvcsw are not guaranteed to have a full
4685873b8a9SPaul E. McKenney 	 * memory barriers prior to them in the schedule() path, memory
4695873b8a9SPaul E. McKenney 	 * reordering on other CPUs could cause their RCU-tasks read-side
4705873b8a9SPaul E. McKenney 	 * critical sections to extend past the end of the grace period.
4715873b8a9SPaul E. McKenney 	 * However, because these ->nvcsw updates are carried out with
4725873b8a9SPaul E. McKenney 	 * interrupts disabled, we can use synchronize_rcu() to force the
4735873b8a9SPaul E. McKenney 	 * needed ordering on all such CPUs.
474eacd6f04SPaul E. McKenney 	 *
4755873b8a9SPaul E. McKenney 	 * This synchronize_rcu() also confines all ->rcu_tasks_holdout
4765873b8a9SPaul E. McKenney 	 * accesses to be within the grace period, avoiding the need for
4775873b8a9SPaul E. McKenney 	 * memory barriers for ->rcu_tasks_holdout accesses.
478eacd6f04SPaul E. McKenney 	 *
4795873b8a9SPaul E. McKenney 	 * In addition, this synchronize_rcu() waits for exiting tasks
4805873b8a9SPaul E. McKenney 	 * to complete their final preempt_disable() region of execution,
4815873b8a9SPaul E. McKenney 	 * cleaning up after the synchronize_srcu() above.
482eacd6f04SPaul E. McKenney 	 */
483eacd6f04SPaul E. McKenney 	synchronize_rcu();
484eacd6f04SPaul E. McKenney }
485eacd6f04SPaul E. McKenney 
4865873b8a9SPaul E. McKenney void call_rcu_tasks(struct rcu_head *rhp, rcu_callback_t func);
487c97d12a6SPaul E. McKenney DEFINE_RCU_TASKS(rcu_tasks, rcu_tasks_wait_gp, call_rcu_tasks, "RCU Tasks");
4885873b8a9SPaul E. McKenney 
4895873b8a9SPaul E. McKenney /**
4905873b8a9SPaul E. McKenney  * call_rcu_tasks() - Queue an RCU for invocation task-based grace period
4915873b8a9SPaul E. McKenney  * @rhp: structure to be used for queueing the RCU updates.
4925873b8a9SPaul E. McKenney  * @func: actual callback function to be invoked after the grace period
4935873b8a9SPaul E. McKenney  *
4945873b8a9SPaul E. McKenney  * The callback function will be invoked some time after a full grace
4955873b8a9SPaul E. McKenney  * period elapses, in other words after all currently executing RCU
4965873b8a9SPaul E. McKenney  * read-side critical sections have completed. call_rcu_tasks() assumes
4975873b8a9SPaul E. McKenney  * that the read-side critical sections end at a voluntary context
4985873b8a9SPaul E. McKenney  * switch (not a preemption!), cond_resched_rcu_qs(), entry into idle,
4995873b8a9SPaul E. McKenney  * or transition to usermode execution.  As such, there are no read-side
5005873b8a9SPaul E. McKenney  * primitives analogous to rcu_read_lock() and rcu_read_unlock() because
5015873b8a9SPaul E. McKenney  * this primitive is intended to determine that all tasks have passed
5025873b8a9SPaul E. McKenney  * through a safe state, not so much for data-strcuture synchronization.
5035873b8a9SPaul E. McKenney  *
5045873b8a9SPaul E. McKenney  * See the description of call_rcu() for more detailed information on
5055873b8a9SPaul E. McKenney  * memory ordering guarantees.
5065873b8a9SPaul E. McKenney  */
5075873b8a9SPaul E. McKenney void call_rcu_tasks(struct rcu_head *rhp, rcu_callback_t func)
5085873b8a9SPaul E. McKenney {
5095873b8a9SPaul E. McKenney 	call_rcu_tasks_generic(rhp, func, &rcu_tasks);
5105873b8a9SPaul E. McKenney }
5115873b8a9SPaul E. McKenney EXPORT_SYMBOL_GPL(call_rcu_tasks);
5125873b8a9SPaul E. McKenney 
5135873b8a9SPaul E. McKenney /**
5145873b8a9SPaul E. McKenney  * synchronize_rcu_tasks - wait until an rcu-tasks grace period has elapsed.
5155873b8a9SPaul E. McKenney  *
5165873b8a9SPaul E. McKenney  * Control will return to the caller some time after a full rcu-tasks
5175873b8a9SPaul E. McKenney  * grace period has elapsed, in other words after all currently
5185873b8a9SPaul E. McKenney  * executing rcu-tasks read-side critical sections have elapsed.  These
5195873b8a9SPaul E. McKenney  * read-side critical sections are delimited by calls to schedule(),
5205873b8a9SPaul E. McKenney  * cond_resched_tasks_rcu_qs(), idle execution, userspace execution, calls
5215873b8a9SPaul E. McKenney  * to synchronize_rcu_tasks(), and (in theory, anyway) cond_resched().
5225873b8a9SPaul E. McKenney  *
5235873b8a9SPaul E. McKenney  * This is a very specialized primitive, intended only for a few uses in
5245873b8a9SPaul E. McKenney  * tracing and other situations requiring manipulation of function
5255873b8a9SPaul E. McKenney  * preambles and profiling hooks.  The synchronize_rcu_tasks() function
5265873b8a9SPaul E. McKenney  * is not (yet) intended for heavy use from multiple CPUs.
5275873b8a9SPaul E. McKenney  *
5285873b8a9SPaul E. McKenney  * See the description of synchronize_rcu() for more detailed information
5295873b8a9SPaul E. McKenney  * on memory ordering guarantees.
5305873b8a9SPaul E. McKenney  */
5315873b8a9SPaul E. McKenney void synchronize_rcu_tasks(void)
5325873b8a9SPaul E. McKenney {
5335873b8a9SPaul E. McKenney 	synchronize_rcu_tasks_generic(&rcu_tasks);
5345873b8a9SPaul E. McKenney }
5355873b8a9SPaul E. McKenney EXPORT_SYMBOL_GPL(synchronize_rcu_tasks);
5365873b8a9SPaul E. McKenney 
5375873b8a9SPaul E. McKenney /**
5385873b8a9SPaul E. McKenney  * rcu_barrier_tasks - Wait for in-flight call_rcu_tasks() callbacks.
5395873b8a9SPaul E. McKenney  *
5405873b8a9SPaul E. McKenney  * Although the current implementation is guaranteed to wait, it is not
5415873b8a9SPaul E. McKenney  * obligated to, for example, if there are no pending callbacks.
5425873b8a9SPaul E. McKenney  */
5435873b8a9SPaul E. McKenney void rcu_barrier_tasks(void)
5445873b8a9SPaul E. McKenney {
5455873b8a9SPaul E. McKenney 	/* There is only one callback queue, so this is easy.  ;-) */
5465873b8a9SPaul E. McKenney 	synchronize_rcu_tasks();
5475873b8a9SPaul E. McKenney }
5485873b8a9SPaul E. McKenney EXPORT_SYMBOL_GPL(rcu_barrier_tasks);
5495873b8a9SPaul E. McKenney 
550eacd6f04SPaul E. McKenney static int __init rcu_spawn_tasks_kthread(void)
551eacd6f04SPaul E. McKenney {
552e4fe5dd6SPaul E. McKenney 	rcu_tasks.pregp_func = rcu_tasks_pregp_step;
553e4fe5dd6SPaul E. McKenney 	rcu_tasks.pertask_func = rcu_tasks_pertask;
554e4fe5dd6SPaul E. McKenney 	rcu_tasks.postscan_func = rcu_tasks_postscan;
555e4fe5dd6SPaul E. McKenney 	rcu_tasks.holdouts_func = check_all_holdout_tasks;
556e4fe5dd6SPaul E. McKenney 	rcu_tasks.postgp_func = rcu_tasks_postgp;
5575873b8a9SPaul E. McKenney 	rcu_spawn_tasks_kthread_generic(&rcu_tasks);
558eacd6f04SPaul E. McKenney 	return 0;
559eacd6f04SPaul E. McKenney }
560eacd6f04SPaul E. McKenney core_initcall(rcu_spawn_tasks_kthread);
561eacd6f04SPaul E. McKenney 
562e21408ceSPaul E. McKenney static void show_rcu_tasks_classic_gp_kthread(void)
563e21408ceSPaul E. McKenney {
564e21408ceSPaul E. McKenney 	show_rcu_tasks_generic_gp_kthread(&rcu_tasks, "");
565e21408ceSPaul E. McKenney }
566e21408ceSPaul E. McKenney 
567e21408ceSPaul E. McKenney #else /* #ifdef CONFIG_TASKS_RCU */
568e21408ceSPaul E. McKenney static void show_rcu_tasks_classic_gp_kthread(void) { }
569e21408ceSPaul E. McKenney #endif /* #else #ifdef CONFIG_TASKS_RCU */
570c84aad76SPaul E. McKenney 
571c84aad76SPaul E. McKenney #ifdef CONFIG_TASKS_RUDE_RCU
572c84aad76SPaul E. McKenney 
573c84aad76SPaul E. McKenney ////////////////////////////////////////////////////////////////////////
574c84aad76SPaul E. McKenney //
575c84aad76SPaul E. McKenney // "Rude" variant of Tasks RCU, inspired by Steve Rostedt's trick of
576c84aad76SPaul E. McKenney // passing an empty function to schedule_on_each_cpu().  This approach
577c84aad76SPaul E. McKenney // provides an asynchronous call_rcu_tasks_rude() API and batching
578c84aad76SPaul E. McKenney // of concurrent calls to the synchronous synchronize_rcu_rude() API.
579c84aad76SPaul E. McKenney // This sends IPIs far and wide and induces otherwise unnecessary context
580c84aad76SPaul E. McKenney // switches on all online CPUs, whether idle or not.
581c84aad76SPaul E. McKenney 
582c84aad76SPaul E. McKenney // Empty function to allow workqueues to force a context switch.
583c84aad76SPaul E. McKenney static void rcu_tasks_be_rude(struct work_struct *work)
584c84aad76SPaul E. McKenney {
585c84aad76SPaul E. McKenney }
586c84aad76SPaul E. McKenney 
587c84aad76SPaul E. McKenney // Wait for one rude RCU-tasks grace period.
588c84aad76SPaul E. McKenney static void rcu_tasks_rude_wait_gp(struct rcu_tasks *rtp)
589c84aad76SPaul E. McKenney {
590c84aad76SPaul E. McKenney 	schedule_on_each_cpu(rcu_tasks_be_rude);
591c84aad76SPaul E. McKenney }
592c84aad76SPaul E. McKenney 
593c84aad76SPaul E. McKenney void call_rcu_tasks_rude(struct rcu_head *rhp, rcu_callback_t func);
594c97d12a6SPaul E. McKenney DEFINE_RCU_TASKS(rcu_tasks_rude, rcu_tasks_rude_wait_gp, call_rcu_tasks_rude,
595c97d12a6SPaul E. McKenney 		 "RCU Tasks Rude");
596c84aad76SPaul E. McKenney 
597c84aad76SPaul E. McKenney /**
598c84aad76SPaul E. McKenney  * call_rcu_tasks_rude() - Queue a callback rude task-based grace period
599c84aad76SPaul E. McKenney  * @rhp: structure to be used for queueing the RCU updates.
600c84aad76SPaul E. McKenney  * @func: actual callback function to be invoked after the grace period
601c84aad76SPaul E. McKenney  *
602c84aad76SPaul E. McKenney  * The callback function will be invoked some time after a full grace
603c84aad76SPaul E. McKenney  * period elapses, in other words after all currently executing RCU
604c84aad76SPaul E. McKenney  * read-side critical sections have completed. call_rcu_tasks_rude()
605c84aad76SPaul E. McKenney  * assumes that the read-side critical sections end at context switch,
606c84aad76SPaul E. McKenney  * cond_resched_rcu_qs(), or transition to usermode execution.  As such,
607c84aad76SPaul E. McKenney  * there are no read-side primitives analogous to rcu_read_lock() and
608c84aad76SPaul E. McKenney  * rcu_read_unlock() because this primitive is intended to determine
609c84aad76SPaul E. McKenney  * that all tasks have passed through a safe state, not so much for
610c84aad76SPaul E. McKenney  * data-strcuture synchronization.
611c84aad76SPaul E. McKenney  *
612c84aad76SPaul E. McKenney  * See the description of call_rcu() for more detailed information on
613c84aad76SPaul E. McKenney  * memory ordering guarantees.
614c84aad76SPaul E. McKenney  */
615c84aad76SPaul E. McKenney void call_rcu_tasks_rude(struct rcu_head *rhp, rcu_callback_t func)
616c84aad76SPaul E. McKenney {
617c84aad76SPaul E. McKenney 	call_rcu_tasks_generic(rhp, func, &rcu_tasks_rude);
618c84aad76SPaul E. McKenney }
619c84aad76SPaul E. McKenney EXPORT_SYMBOL_GPL(call_rcu_tasks_rude);
620c84aad76SPaul E. McKenney 
621c84aad76SPaul E. McKenney /**
622c84aad76SPaul E. McKenney  * synchronize_rcu_tasks_rude - wait for a rude rcu-tasks grace period
623c84aad76SPaul E. McKenney  *
624c84aad76SPaul E. McKenney  * Control will return to the caller some time after a rude rcu-tasks
625c84aad76SPaul E. McKenney  * grace period has elapsed, in other words after all currently
626c84aad76SPaul E. McKenney  * executing rcu-tasks read-side critical sections have elapsed.  These
627c84aad76SPaul E. McKenney  * read-side critical sections are delimited by calls to schedule(),
628c84aad76SPaul E. McKenney  * cond_resched_tasks_rcu_qs(), userspace execution, and (in theory,
629c84aad76SPaul E. McKenney  * anyway) cond_resched().
630c84aad76SPaul E. McKenney  *
631c84aad76SPaul E. McKenney  * This is a very specialized primitive, intended only for a few uses in
632c84aad76SPaul E. McKenney  * tracing and other situations requiring manipulation of function preambles
633c84aad76SPaul E. McKenney  * and profiling hooks.  The synchronize_rcu_tasks_rude() function is not
634c84aad76SPaul E. McKenney  * (yet) intended for heavy use from multiple CPUs.
635c84aad76SPaul E. McKenney  *
636c84aad76SPaul E. McKenney  * See the description of synchronize_rcu() for more detailed information
637c84aad76SPaul E. McKenney  * on memory ordering guarantees.
638c84aad76SPaul E. McKenney  */
639c84aad76SPaul E. McKenney void synchronize_rcu_tasks_rude(void)
640c84aad76SPaul E. McKenney {
641c84aad76SPaul E. McKenney 	synchronize_rcu_tasks_generic(&rcu_tasks_rude);
642c84aad76SPaul E. McKenney }
643c84aad76SPaul E. McKenney EXPORT_SYMBOL_GPL(synchronize_rcu_tasks_rude);
644c84aad76SPaul E. McKenney 
645c84aad76SPaul E. McKenney /**
646c84aad76SPaul E. McKenney  * rcu_barrier_tasks_rude - Wait for in-flight call_rcu_tasks_rude() callbacks.
647c84aad76SPaul E. McKenney  *
648c84aad76SPaul E. McKenney  * Although the current implementation is guaranteed to wait, it is not
649c84aad76SPaul E. McKenney  * obligated to, for example, if there are no pending callbacks.
650c84aad76SPaul E. McKenney  */
651c84aad76SPaul E. McKenney void rcu_barrier_tasks_rude(void)
652c84aad76SPaul E. McKenney {
653c84aad76SPaul E. McKenney 	/* There is only one callback queue, so this is easy.  ;-) */
654c84aad76SPaul E. McKenney 	synchronize_rcu_tasks_rude();
655c84aad76SPaul E. McKenney }
656c84aad76SPaul E. McKenney EXPORT_SYMBOL_GPL(rcu_barrier_tasks_rude);
657c84aad76SPaul E. McKenney 
658c84aad76SPaul E. McKenney static int __init rcu_spawn_tasks_rude_kthread(void)
659c84aad76SPaul E. McKenney {
660c84aad76SPaul E. McKenney 	rcu_spawn_tasks_kthread_generic(&rcu_tasks_rude);
661c84aad76SPaul E. McKenney 	return 0;
662c84aad76SPaul E. McKenney }
663c84aad76SPaul E. McKenney core_initcall(rcu_spawn_tasks_rude_kthread);
664c84aad76SPaul E. McKenney 
665e21408ceSPaul E. McKenney static void show_rcu_tasks_rude_gp_kthread(void)
666e21408ceSPaul E. McKenney {
667e21408ceSPaul E. McKenney 	show_rcu_tasks_generic_gp_kthread(&rcu_tasks_rude, "");
668e21408ceSPaul E. McKenney }
669e21408ceSPaul E. McKenney 
670e21408ceSPaul E. McKenney #else /* #ifdef CONFIG_TASKS_RUDE_RCU */
671e21408ceSPaul E. McKenney static void show_rcu_tasks_rude_gp_kthread(void) {}
672e21408ceSPaul E. McKenney #endif /* #else #ifdef CONFIG_TASKS_RUDE_RCU */
673d5f177d3SPaul E. McKenney 
674d5f177d3SPaul E. McKenney ////////////////////////////////////////////////////////////////////////
675d5f177d3SPaul E. McKenney //
676d5f177d3SPaul E. McKenney // Tracing variant of Tasks RCU.  This variant is designed to be used
677d5f177d3SPaul E. McKenney // to protect tracing hooks, including those of BPF.  This variant
678d5f177d3SPaul E. McKenney // therefore:
679d5f177d3SPaul E. McKenney //
680d5f177d3SPaul E. McKenney // 1.	Has explicit read-side markers to allow finite grace periods
681d5f177d3SPaul E. McKenney //	in the face of in-kernel loops for PREEMPT=n builds.
682d5f177d3SPaul E. McKenney //
683d5f177d3SPaul E. McKenney // 2.	Protects code in the idle loop, exception entry/exit, and
684d5f177d3SPaul E. McKenney //	CPU-hotplug code paths, similar to the capabilities of SRCU.
685d5f177d3SPaul E. McKenney //
686d5f177d3SPaul E. McKenney // 3.	Avoids expensive read-side instruction, having overhead similar
687d5f177d3SPaul E. McKenney //	to that of Preemptible RCU.
688d5f177d3SPaul E. McKenney //
689d5f177d3SPaul E. McKenney // There are of course downsides.  The grace-period code can send IPIs to
690d5f177d3SPaul E. McKenney // CPUs, even when those CPUs are in the idle loop or in nohz_full userspace.
691d5f177d3SPaul E. McKenney // It is necessary to scan the full tasklist, much as for Tasks RCU.  There
692d5f177d3SPaul E. McKenney // is a single callback queue guarded by a single lock, again, much as for
693d5f177d3SPaul E. McKenney // Tasks RCU.  If needed, these downsides can be at least partially remedied.
694d5f177d3SPaul E. McKenney //
695d5f177d3SPaul E. McKenney // Perhaps most important, this variant of RCU does not affect the vanilla
696d5f177d3SPaul E. McKenney // flavors, rcu_preempt and rcu_sched.  The fact that RCU Tasks Trace
697d5f177d3SPaul E. McKenney // readers can operate from idle, offline, and exception entry/exit in no
698d5f177d3SPaul E. McKenney // way allows rcu_preempt and rcu_sched readers to also do so.
699d5f177d3SPaul E. McKenney 
700d5f177d3SPaul E. McKenney // The lockdep state must be outside of #ifdef to be useful.
701d5f177d3SPaul E. McKenney #ifdef CONFIG_DEBUG_LOCK_ALLOC
702d5f177d3SPaul E. McKenney static struct lock_class_key rcu_lock_trace_key;
703d5f177d3SPaul E. McKenney struct lockdep_map rcu_trace_lock_map =
704d5f177d3SPaul E. McKenney 	STATIC_LOCKDEP_MAP_INIT("rcu_read_lock_trace", &rcu_lock_trace_key);
705d5f177d3SPaul E. McKenney EXPORT_SYMBOL_GPL(rcu_trace_lock_map);
706d5f177d3SPaul E. McKenney #endif /* #ifdef CONFIG_DEBUG_LOCK_ALLOC */
707d5f177d3SPaul E. McKenney 
708d5f177d3SPaul E. McKenney #ifdef CONFIG_TASKS_TRACE_RCU
709d5f177d3SPaul E. McKenney 
710d5f177d3SPaul E. McKenney atomic_t trc_n_readers_need_end;	// Number of waited-for readers.
711d5f177d3SPaul E. McKenney DECLARE_WAIT_QUEUE_HEAD(trc_wait);	// List of holdout tasks.
712d5f177d3SPaul E. McKenney 
713d5f177d3SPaul E. McKenney // Record outstanding IPIs to each CPU.  No point in sending two...
714d5f177d3SPaul E. McKenney static DEFINE_PER_CPU(bool, trc_ipi_to_cpu);
715d5f177d3SPaul E. McKenney 
716d5f177d3SPaul E. McKenney /* If we are the last reader, wake up the grace-period kthread. */
717d5f177d3SPaul E. McKenney void rcu_read_unlock_trace_special(struct task_struct *t)
718d5f177d3SPaul E. McKenney {
719d5f177d3SPaul E. McKenney 	WRITE_ONCE(t->trc_reader_need_end, false);
720d5f177d3SPaul E. McKenney 	if (atomic_dec_and_test(&trc_n_readers_need_end))
721d5f177d3SPaul E. McKenney 		wake_up(&trc_wait);
722d5f177d3SPaul E. McKenney }
723d5f177d3SPaul E. McKenney EXPORT_SYMBOL_GPL(rcu_read_unlock_trace_special);
724d5f177d3SPaul E. McKenney 
725d5f177d3SPaul E. McKenney /* Add a task to the holdout list, if it is not already on the list. */
726d5f177d3SPaul E. McKenney static void trc_add_holdout(struct task_struct *t, struct list_head *bhp)
727d5f177d3SPaul E. McKenney {
728d5f177d3SPaul E. McKenney 	if (list_empty(&t->trc_holdout_list)) {
729d5f177d3SPaul E. McKenney 		get_task_struct(t);
730d5f177d3SPaul E. McKenney 		list_add(&t->trc_holdout_list, bhp);
731d5f177d3SPaul E. McKenney 	}
732d5f177d3SPaul E. McKenney }
733d5f177d3SPaul E. McKenney 
734d5f177d3SPaul E. McKenney /* Remove a task from the holdout list, if it is in fact present. */
735d5f177d3SPaul E. McKenney static void trc_del_holdout(struct task_struct *t)
736d5f177d3SPaul E. McKenney {
737d5f177d3SPaul E. McKenney 	if (!list_empty(&t->trc_holdout_list)) {
738d5f177d3SPaul E. McKenney 		list_del_init(&t->trc_holdout_list);
739d5f177d3SPaul E. McKenney 		put_task_struct(t);
740d5f177d3SPaul E. McKenney 	}
741d5f177d3SPaul E. McKenney }
742d5f177d3SPaul E. McKenney 
743d5f177d3SPaul E. McKenney /* IPI handler to check task state. */
744d5f177d3SPaul E. McKenney static void trc_read_check_handler(void *t_in)
745d5f177d3SPaul E. McKenney {
746d5f177d3SPaul E. McKenney 	struct task_struct *t = current;
747d5f177d3SPaul E. McKenney 	struct task_struct *texp = t_in;
748d5f177d3SPaul E. McKenney 
749d5f177d3SPaul E. McKenney 	// If the task is no longer running on this CPU, leave.
750d5f177d3SPaul E. McKenney 	if (unlikely(texp != t)) {
751d5f177d3SPaul E. McKenney 		if (WARN_ON_ONCE(atomic_dec_and_test(&trc_n_readers_need_end)))
752d5f177d3SPaul E. McKenney 			wake_up(&trc_wait);
753d5f177d3SPaul E. McKenney 		goto reset_ipi; // Already on holdout list, so will check later.
754d5f177d3SPaul E. McKenney 	}
755d5f177d3SPaul E. McKenney 
756d5f177d3SPaul E. McKenney 	// If the task is not in a read-side critical section, and
757d5f177d3SPaul E. McKenney 	// if this is the last reader, awaken the grace-period kthread.
758d5f177d3SPaul E. McKenney 	if (likely(!t->trc_reader_nesting)) {
759d5f177d3SPaul E. McKenney 		if (WARN_ON_ONCE(atomic_dec_and_test(&trc_n_readers_need_end)))
760d5f177d3SPaul E. McKenney 			wake_up(&trc_wait);
761d5f177d3SPaul E. McKenney 		// Mark as checked after decrement to avoid false
762d5f177d3SPaul E. McKenney 		// positives on the above WARN_ON_ONCE().
763d5f177d3SPaul E. McKenney 		WRITE_ONCE(t->trc_reader_checked, true);
764d5f177d3SPaul E. McKenney 		goto reset_ipi;
765d5f177d3SPaul E. McKenney 	}
766d5f177d3SPaul E. McKenney 	WRITE_ONCE(t->trc_reader_checked, true);
767d5f177d3SPaul E. McKenney 
768d5f177d3SPaul E. McKenney 	// Get here if the task is in a read-side critical section.  Set
769d5f177d3SPaul E. McKenney 	// its state so that it will awaken the grace-period kthread upon
770d5f177d3SPaul E. McKenney 	// exit from that critical section.
771d5f177d3SPaul E. McKenney 	WARN_ON_ONCE(t->trc_reader_need_end);
772d5f177d3SPaul E. McKenney 	WRITE_ONCE(t->trc_reader_need_end, true);
773d5f177d3SPaul E. McKenney 
774d5f177d3SPaul E. McKenney reset_ipi:
775d5f177d3SPaul E. McKenney 	// Allow future IPIs to be sent on CPU and for task.
776d5f177d3SPaul E. McKenney 	// Also order this IPI handler against any later manipulations of
777d5f177d3SPaul E. McKenney 	// the intended task.
778d5f177d3SPaul E. McKenney 	smp_store_release(&per_cpu(trc_ipi_to_cpu, smp_processor_id()), false); // ^^^
779d5f177d3SPaul E. McKenney 	smp_store_release(&texp->trc_ipi_to_cpu, -1); // ^^^
780d5f177d3SPaul E. McKenney }
781d5f177d3SPaul E. McKenney 
782d5f177d3SPaul E. McKenney /* Callback function for scheduler to check locked-down task.  */
783d5f177d3SPaul E. McKenney static bool trc_inspect_reader(struct task_struct *t, void *arg)
784d5f177d3SPaul E. McKenney {
785d5f177d3SPaul E. McKenney 	if (task_curr(t))
786d5f177d3SPaul E. McKenney 		return false;  // It is running, so decline to inspect it.
787d5f177d3SPaul E. McKenney 
788d5f177d3SPaul E. McKenney 	// Mark as checked.  Because this is called from the grace-period
789d5f177d3SPaul E. McKenney 	// kthread, also remove the task from the holdout list.
790d5f177d3SPaul E. McKenney 	t->trc_reader_checked = true;
791d5f177d3SPaul E. McKenney 	trc_del_holdout(t);
792d5f177d3SPaul E. McKenney 
793d5f177d3SPaul E. McKenney 	// If the task is in a read-side critical section, set up its
794d5f177d3SPaul E. McKenney 	// its state so that it will awaken the grace-period kthread upon
795d5f177d3SPaul E. McKenney 	// exit from that critical section.
796d5f177d3SPaul E. McKenney 	if (unlikely(t->trc_reader_nesting)) {
797d5f177d3SPaul E. McKenney 		atomic_inc(&trc_n_readers_need_end); // One more to wait on.
798d5f177d3SPaul E. McKenney 		WARN_ON_ONCE(t->trc_reader_need_end);
799d5f177d3SPaul E. McKenney 		WRITE_ONCE(t->trc_reader_need_end, true);
800d5f177d3SPaul E. McKenney 	}
801d5f177d3SPaul E. McKenney 	return true;
802d5f177d3SPaul E. McKenney }
803d5f177d3SPaul E. McKenney 
804d5f177d3SPaul E. McKenney /* Attempt to extract the state for the specified task. */
805d5f177d3SPaul E. McKenney static void trc_wait_for_one_reader(struct task_struct *t,
806d5f177d3SPaul E. McKenney 				    struct list_head *bhp)
807d5f177d3SPaul E. McKenney {
808d5f177d3SPaul E. McKenney 	int cpu;
809d5f177d3SPaul E. McKenney 
810d5f177d3SPaul E. McKenney 	// If a previous IPI is still in flight, let it complete.
811d5f177d3SPaul E. McKenney 	if (smp_load_acquire(&t->trc_ipi_to_cpu) != -1) // Order IPI
812d5f177d3SPaul E. McKenney 		return;
813d5f177d3SPaul E. McKenney 
814d5f177d3SPaul E. McKenney 	// The current task had better be in a quiescent state.
815d5f177d3SPaul E. McKenney 	if (t == current) {
816d5f177d3SPaul E. McKenney 		t->trc_reader_checked = true;
817d5f177d3SPaul E. McKenney 		trc_del_holdout(t);
818d5f177d3SPaul E. McKenney 		WARN_ON_ONCE(t->trc_reader_nesting);
819d5f177d3SPaul E. McKenney 		return;
820d5f177d3SPaul E. McKenney 	}
821d5f177d3SPaul E. McKenney 
822d5f177d3SPaul E. McKenney 	// Attempt to nail down the task for inspection.
823d5f177d3SPaul E. McKenney 	get_task_struct(t);
824d5f177d3SPaul E. McKenney 	if (try_invoke_on_locked_down_task(t, trc_inspect_reader, NULL)) {
825d5f177d3SPaul E. McKenney 		put_task_struct(t);
826d5f177d3SPaul E. McKenney 		return;
827d5f177d3SPaul E. McKenney 	}
828d5f177d3SPaul E. McKenney 	put_task_struct(t);
829d5f177d3SPaul E. McKenney 
830d5f177d3SPaul E. McKenney 	// If currently running, send an IPI, either way, add to list.
831d5f177d3SPaul E. McKenney 	trc_add_holdout(t, bhp);
832d5f177d3SPaul E. McKenney 	if (task_curr(t) && time_after(jiffies, rcu_tasks_trace.gp_start + rcu_task_ipi_delay)) {
833d5f177d3SPaul E. McKenney 		// The task is currently running, so try IPIing it.
834d5f177d3SPaul E. McKenney 		cpu = task_cpu(t);
835d5f177d3SPaul E. McKenney 
836d5f177d3SPaul E. McKenney 		// If there is already an IPI outstanding, let it happen.
837d5f177d3SPaul E. McKenney 		if (per_cpu(trc_ipi_to_cpu, cpu) || t->trc_ipi_to_cpu >= 0)
838d5f177d3SPaul E. McKenney 			return;
839d5f177d3SPaul E. McKenney 
840d5f177d3SPaul E. McKenney 		atomic_inc(&trc_n_readers_need_end);
841d5f177d3SPaul E. McKenney 		per_cpu(trc_ipi_to_cpu, cpu) = true;
842d5f177d3SPaul E. McKenney 		t->trc_ipi_to_cpu = cpu;
843d5f177d3SPaul E. McKenney 		if (smp_call_function_single(cpu,
844d5f177d3SPaul E. McKenney 					     trc_read_check_handler, t, 0)) {
845d5f177d3SPaul E. McKenney 			// Just in case there is some other reason for
846d5f177d3SPaul E. McKenney 			// failure than the target CPU being offline.
847d5f177d3SPaul E. McKenney 			per_cpu(trc_ipi_to_cpu, cpu) = false;
848d5f177d3SPaul E. McKenney 			t->trc_ipi_to_cpu = cpu;
849d5f177d3SPaul E. McKenney 			if (atomic_dec_and_test(&trc_n_readers_need_end)) {
850d5f177d3SPaul E. McKenney 				WARN_ON_ONCE(1);
851d5f177d3SPaul E. McKenney 				wake_up(&trc_wait);
852d5f177d3SPaul E. McKenney 			}
853d5f177d3SPaul E. McKenney 		}
854d5f177d3SPaul E. McKenney 	}
855d5f177d3SPaul E. McKenney }
856d5f177d3SPaul E. McKenney 
857d5f177d3SPaul E. McKenney /* Initialize for a new RCU-tasks-trace grace period. */
858d5f177d3SPaul E. McKenney static void rcu_tasks_trace_pregp_step(void)
859d5f177d3SPaul E. McKenney {
860d5f177d3SPaul E. McKenney 	int cpu;
861d5f177d3SPaul E. McKenney 
862d5f177d3SPaul E. McKenney 	// Wait for CPU-hotplug paths to complete.
863d5f177d3SPaul E. McKenney 	cpus_read_lock();
864d5f177d3SPaul E. McKenney 	cpus_read_unlock();
865d5f177d3SPaul E. McKenney 
866d5f177d3SPaul E. McKenney 	// Allow for fast-acting IPIs.
867d5f177d3SPaul E. McKenney 	atomic_set(&trc_n_readers_need_end, 1);
868d5f177d3SPaul E. McKenney 
869d5f177d3SPaul E. McKenney 	// There shouldn't be any old IPIs, but...
870d5f177d3SPaul E. McKenney 	for_each_possible_cpu(cpu)
871d5f177d3SPaul E. McKenney 		WARN_ON_ONCE(per_cpu(trc_ipi_to_cpu, cpu));
872d5f177d3SPaul E. McKenney }
873d5f177d3SPaul E. McKenney 
874d5f177d3SPaul E. McKenney /* Do first-round processing for the specified task. */
875d5f177d3SPaul E. McKenney static void rcu_tasks_trace_pertask(struct task_struct *t,
876d5f177d3SPaul E. McKenney 				    struct list_head *hop)
877d5f177d3SPaul E. McKenney {
878d5f177d3SPaul E. McKenney 	WRITE_ONCE(t->trc_reader_need_end, false);
87943766c3eSPaul E. McKenney 	WRITE_ONCE(t->trc_reader_checked, false);
880d5f177d3SPaul E. McKenney 	t->trc_ipi_to_cpu = -1;
881d5f177d3SPaul E. McKenney 	trc_wait_for_one_reader(t, hop);
882d5f177d3SPaul E. McKenney }
883d5f177d3SPaul E. McKenney 
884d5f177d3SPaul E. McKenney /* Do intermediate processing between task and holdout scans. */
885d5f177d3SPaul E. McKenney static void rcu_tasks_trace_postscan(void)
886d5f177d3SPaul E. McKenney {
887d5f177d3SPaul E. McKenney 	// Wait for late-stage exiting tasks to finish exiting.
888d5f177d3SPaul E. McKenney 	// These might have passed the call to exit_tasks_rcu_finish().
889d5f177d3SPaul E. McKenney 	synchronize_rcu();
890d5f177d3SPaul E. McKenney 	// Any tasks that exit after this point will set ->trc_reader_checked.
891d5f177d3SPaul E. McKenney }
892d5f177d3SPaul E. McKenney 
8934593e772SPaul E. McKenney /* Show the state of a task stalling the current RCU tasks trace GP. */
8944593e772SPaul E. McKenney static void show_stalled_task_trace(struct task_struct *t, bool *firstreport)
8954593e772SPaul E. McKenney {
8964593e772SPaul E. McKenney 	int cpu;
8974593e772SPaul E. McKenney 
8984593e772SPaul E. McKenney 	if (*firstreport) {
8994593e772SPaul E. McKenney 		pr_err("INFO: rcu_tasks_trace detected stalls on tasks:\n");
9004593e772SPaul E. McKenney 		*firstreport = false;
9014593e772SPaul E. McKenney 	}
9024593e772SPaul E. McKenney 	// FIXME: This should attempt to use try_invoke_on_nonrunning_task().
9034593e772SPaul E. McKenney 	cpu = task_cpu(t);
9044593e772SPaul E. McKenney 	pr_alert("P%d: %c%c%c nesting: %d%c cpu: %d\n",
9054593e772SPaul E. McKenney 		 t->pid,
9064593e772SPaul E. McKenney 		 ".I"[READ_ONCE(t->trc_ipi_to_cpu) > 0],
9074593e772SPaul E. McKenney 		 ".i"[is_idle_task(t)],
9084593e772SPaul E. McKenney 		 ".N"[cpu > 0 && tick_nohz_full_cpu(cpu)],
9094593e772SPaul E. McKenney 		 t->trc_reader_nesting,
9104593e772SPaul E. McKenney 		 " N"[!!t->trc_reader_need_end],
9114593e772SPaul E. McKenney 		 cpu);
9124593e772SPaul E. McKenney 	sched_show_task(t);
9134593e772SPaul E. McKenney }
9144593e772SPaul E. McKenney 
9154593e772SPaul E. McKenney /* List stalled IPIs for RCU tasks trace. */
9164593e772SPaul E. McKenney static void show_stalled_ipi_trace(void)
9174593e772SPaul E. McKenney {
9184593e772SPaul E. McKenney 	int cpu;
9194593e772SPaul E. McKenney 
9204593e772SPaul E. McKenney 	for_each_possible_cpu(cpu)
9214593e772SPaul E. McKenney 		if (per_cpu(trc_ipi_to_cpu, cpu))
9224593e772SPaul E. McKenney 			pr_alert("\tIPI outstanding to CPU %d\n", cpu);
9234593e772SPaul E. McKenney }
9244593e772SPaul E. McKenney 
925d5f177d3SPaul E. McKenney /* Do one scan of the holdout list. */
926d5f177d3SPaul E. McKenney static void check_all_holdout_tasks_trace(struct list_head *hop,
9274593e772SPaul E. McKenney 					  bool needreport, bool *firstreport)
928d5f177d3SPaul E. McKenney {
929d5f177d3SPaul E. McKenney 	struct task_struct *g, *t;
930d5f177d3SPaul E. McKenney 
931d5f177d3SPaul E. McKenney 	list_for_each_entry_safe(t, g, hop, trc_holdout_list) {
932d5f177d3SPaul E. McKenney 		// If safe and needed, try to check the current task.
933d5f177d3SPaul E. McKenney 		if (READ_ONCE(t->trc_ipi_to_cpu) == -1 &&
934d5f177d3SPaul E. McKenney 		    !READ_ONCE(t->trc_reader_checked))
935d5f177d3SPaul E. McKenney 			trc_wait_for_one_reader(t, hop);
936d5f177d3SPaul E. McKenney 
937d5f177d3SPaul E. McKenney 		// If check succeeded, remove this task from the list.
938d5f177d3SPaul E. McKenney 		if (READ_ONCE(t->trc_reader_checked))
939d5f177d3SPaul E. McKenney 			trc_del_holdout(t);
9404593e772SPaul E. McKenney 		else if (needreport)
9414593e772SPaul E. McKenney 			show_stalled_task_trace(t, firstreport);
9424593e772SPaul E. McKenney 	}
9434593e772SPaul E. McKenney 	if (needreport) {
9444593e772SPaul E. McKenney 		if (firstreport)
9454593e772SPaul E. McKenney 			pr_err("INFO: rcu_tasks_trace detected stalls? (Late IPI?)\n");
9464593e772SPaul E. McKenney 		show_stalled_ipi_trace();
947d5f177d3SPaul E. McKenney 	}
948d5f177d3SPaul E. McKenney }
949d5f177d3SPaul E. McKenney 
950d5f177d3SPaul E. McKenney /* Wait for grace period to complete and provide ordering. */
951af051ca4SPaul E. McKenney static void rcu_tasks_trace_postgp(struct rcu_tasks *rtp)
952d5f177d3SPaul E. McKenney {
9534593e772SPaul E. McKenney 	bool firstreport;
9544593e772SPaul E. McKenney 	struct task_struct *g, *t;
9554593e772SPaul E. McKenney 	LIST_HEAD(holdouts);
9564593e772SPaul E. McKenney 	long ret;
9574593e772SPaul E. McKenney 
958d5f177d3SPaul E. McKenney 	// Remove the safety count.
959d5f177d3SPaul E. McKenney 	smp_mb__before_atomic();  // Order vs. earlier atomics
960d5f177d3SPaul E. McKenney 	atomic_dec(&trc_n_readers_need_end);
961d5f177d3SPaul E. McKenney 	smp_mb__after_atomic();  // Order vs. later atomics
962d5f177d3SPaul E. McKenney 
963d5f177d3SPaul E. McKenney 	// Wait for readers.
964af051ca4SPaul E. McKenney 	set_tasks_gp_state(rtp, RTGS_WAIT_READERS);
9654593e772SPaul E. McKenney 	for (;;) {
9664593e772SPaul E. McKenney 		ret = wait_event_idle_exclusive_timeout(
9674593e772SPaul E. McKenney 				trc_wait,
9684593e772SPaul E. McKenney 				atomic_read(&trc_n_readers_need_end) == 0,
9694593e772SPaul E. McKenney 				READ_ONCE(rcu_task_stall_timeout));
9704593e772SPaul E. McKenney 		if (ret)
9714593e772SPaul E. McKenney 			break;  // Count reached zero.
972af051ca4SPaul E. McKenney 		// Stall warning time, so make a list of the offenders.
9734593e772SPaul E. McKenney 		for_each_process_thread(g, t)
9744593e772SPaul E. McKenney 			if (READ_ONCE(t->trc_reader_need_end))
9754593e772SPaul E. McKenney 				trc_add_holdout(t, &holdouts);
9764593e772SPaul E. McKenney 		firstreport = true;
9774593e772SPaul E. McKenney 		list_for_each_entry_safe(t, g, &holdouts, trc_holdout_list)
9784593e772SPaul E. McKenney 			if (READ_ONCE(t->trc_reader_need_end)) {
9794593e772SPaul E. McKenney 				show_stalled_task_trace(t, &firstreport);
9804593e772SPaul E. McKenney 				trc_del_holdout(t);
9814593e772SPaul E. McKenney 			}
9824593e772SPaul E. McKenney 		if (firstreport)
9834593e772SPaul E. McKenney 			pr_err("INFO: rcu_tasks_trace detected stalls? (Counter/taskslist mismatch?)\n");
9844593e772SPaul E. McKenney 		show_stalled_ipi_trace();
9854593e772SPaul E. McKenney 		pr_err("\t%d holdouts\n", atomic_read(&trc_n_readers_need_end));
9864593e772SPaul E. McKenney 	}
987d5f177d3SPaul E. McKenney 	smp_mb(); // Caller's code must be ordered after wakeup.
98843766c3eSPaul E. McKenney 		  // Pairs with pretty much every ordering primitive.
989d5f177d3SPaul E. McKenney }
990d5f177d3SPaul E. McKenney 
991d5f177d3SPaul E. McKenney /* Report any needed quiescent state for this exiting task. */
992d5f177d3SPaul E. McKenney void exit_tasks_rcu_finish_trace(struct task_struct *t)
993d5f177d3SPaul E. McKenney {
994d5f177d3SPaul E. McKenney 	WRITE_ONCE(t->trc_reader_checked, true);
995d5f177d3SPaul E. McKenney 	WARN_ON_ONCE(t->trc_reader_nesting);
996d5f177d3SPaul E. McKenney 	WRITE_ONCE(t->trc_reader_nesting, 0);
997d5f177d3SPaul E. McKenney 	if (WARN_ON_ONCE(READ_ONCE(t->trc_reader_need_end)))
998d5f177d3SPaul E. McKenney 		rcu_read_unlock_trace_special(t);
999d5f177d3SPaul E. McKenney }
1000d5f177d3SPaul E. McKenney 
1001d5f177d3SPaul E. McKenney void call_rcu_tasks_trace(struct rcu_head *rhp, rcu_callback_t func);
1002d5f177d3SPaul E. McKenney DEFINE_RCU_TASKS(rcu_tasks_trace, rcu_tasks_wait_gp, call_rcu_tasks_trace,
1003d5f177d3SPaul E. McKenney 		 "RCU Tasks Trace");
1004d5f177d3SPaul E. McKenney 
1005d5f177d3SPaul E. McKenney /**
1006d5f177d3SPaul E. McKenney  * call_rcu_tasks_trace() - Queue a callback trace task-based grace period
1007d5f177d3SPaul E. McKenney  * @rhp: structure to be used for queueing the RCU updates.
1008d5f177d3SPaul E. McKenney  * @func: actual callback function to be invoked after the grace period
1009d5f177d3SPaul E. McKenney  *
1010d5f177d3SPaul E. McKenney  * The callback function will be invoked some time after a full grace
1011d5f177d3SPaul E. McKenney  * period elapses, in other words after all currently executing RCU
1012d5f177d3SPaul E. McKenney  * read-side critical sections have completed. call_rcu_tasks_trace()
1013d5f177d3SPaul E. McKenney  * assumes that the read-side critical sections end at context switch,
1014d5f177d3SPaul E. McKenney  * cond_resched_rcu_qs(), or transition to usermode execution.  As such,
1015d5f177d3SPaul E. McKenney  * there are no read-side primitives analogous to rcu_read_lock() and
1016d5f177d3SPaul E. McKenney  * rcu_read_unlock() because this primitive is intended to determine
1017d5f177d3SPaul E. McKenney  * that all tasks have passed through a safe state, not so much for
1018d5f177d3SPaul E. McKenney  * data-strcuture synchronization.
1019d5f177d3SPaul E. McKenney  *
1020d5f177d3SPaul E. McKenney  * See the description of call_rcu() for more detailed information on
1021d5f177d3SPaul E. McKenney  * memory ordering guarantees.
1022d5f177d3SPaul E. McKenney  */
1023d5f177d3SPaul E. McKenney void call_rcu_tasks_trace(struct rcu_head *rhp, rcu_callback_t func)
1024d5f177d3SPaul E. McKenney {
1025d5f177d3SPaul E. McKenney 	call_rcu_tasks_generic(rhp, func, &rcu_tasks_trace);
1026d5f177d3SPaul E. McKenney }
1027d5f177d3SPaul E. McKenney EXPORT_SYMBOL_GPL(call_rcu_tasks_trace);
1028d5f177d3SPaul E. McKenney 
1029d5f177d3SPaul E. McKenney /**
1030d5f177d3SPaul E. McKenney  * synchronize_rcu_tasks_trace - wait for a trace rcu-tasks grace period
1031d5f177d3SPaul E. McKenney  *
1032d5f177d3SPaul E. McKenney  * Control will return to the caller some time after a trace rcu-tasks
1033d5f177d3SPaul E. McKenney  * grace period has elapsed, in other words after all currently
1034d5f177d3SPaul E. McKenney  * executing rcu-tasks read-side critical sections have elapsed.  These
1035d5f177d3SPaul E. McKenney  * read-side critical sections are delimited by calls to schedule(),
1036d5f177d3SPaul E. McKenney  * cond_resched_tasks_rcu_qs(), userspace execution, and (in theory,
1037d5f177d3SPaul E. McKenney  * anyway) cond_resched().
1038d5f177d3SPaul E. McKenney  *
1039d5f177d3SPaul E. McKenney  * This is a very specialized primitive, intended only for a few uses in
1040d5f177d3SPaul E. McKenney  * tracing and other situations requiring manipulation of function preambles
1041d5f177d3SPaul E. McKenney  * and profiling hooks.  The synchronize_rcu_tasks_trace() function is not
1042d5f177d3SPaul E. McKenney  * (yet) intended for heavy use from multiple CPUs.
1043d5f177d3SPaul E. McKenney  *
1044d5f177d3SPaul E. McKenney  * See the description of synchronize_rcu() for more detailed information
1045d5f177d3SPaul E. McKenney  * on memory ordering guarantees.
1046d5f177d3SPaul E. McKenney  */
1047d5f177d3SPaul E. McKenney void synchronize_rcu_tasks_trace(void)
1048d5f177d3SPaul E. McKenney {
1049d5f177d3SPaul E. McKenney 	RCU_LOCKDEP_WARN(lock_is_held(&rcu_trace_lock_map), "Illegal synchronize_rcu_tasks_trace() in RCU Tasks Trace read-side critical section");
1050d5f177d3SPaul E. McKenney 	synchronize_rcu_tasks_generic(&rcu_tasks_trace);
1051d5f177d3SPaul E. McKenney }
1052d5f177d3SPaul E. McKenney EXPORT_SYMBOL_GPL(synchronize_rcu_tasks_trace);
1053d5f177d3SPaul E. McKenney 
1054d5f177d3SPaul E. McKenney /**
1055d5f177d3SPaul E. McKenney  * rcu_barrier_tasks_trace - Wait for in-flight call_rcu_tasks_trace() callbacks.
1056d5f177d3SPaul E. McKenney  *
1057d5f177d3SPaul E. McKenney  * Although the current implementation is guaranteed to wait, it is not
1058d5f177d3SPaul E. McKenney  * obligated to, for example, if there are no pending callbacks.
1059d5f177d3SPaul E. McKenney  */
1060d5f177d3SPaul E. McKenney void rcu_barrier_tasks_trace(void)
1061d5f177d3SPaul E. McKenney {
1062d5f177d3SPaul E. McKenney 	/* There is only one callback queue, so this is easy.  ;-) */
1063d5f177d3SPaul E. McKenney 	synchronize_rcu_tasks_trace();
1064d5f177d3SPaul E. McKenney }
1065d5f177d3SPaul E. McKenney EXPORT_SYMBOL_GPL(rcu_barrier_tasks_trace);
1066d5f177d3SPaul E. McKenney 
1067d5f177d3SPaul E. McKenney static int __init rcu_spawn_tasks_trace_kthread(void)
1068d5f177d3SPaul E. McKenney {
1069d5f177d3SPaul E. McKenney 	rcu_tasks_trace.pregp_func = rcu_tasks_trace_pregp_step;
1070d5f177d3SPaul E. McKenney 	rcu_tasks_trace.pertask_func = rcu_tasks_trace_pertask;
1071d5f177d3SPaul E. McKenney 	rcu_tasks_trace.postscan_func = rcu_tasks_trace_postscan;
1072d5f177d3SPaul E. McKenney 	rcu_tasks_trace.holdouts_func = check_all_holdout_tasks_trace;
1073d5f177d3SPaul E. McKenney 	rcu_tasks_trace.postgp_func = rcu_tasks_trace_postgp;
1074d5f177d3SPaul E. McKenney 	rcu_spawn_tasks_kthread_generic(&rcu_tasks_trace);
1075d5f177d3SPaul E. McKenney 	return 0;
1076d5f177d3SPaul E. McKenney }
1077d5f177d3SPaul E. McKenney core_initcall(rcu_spawn_tasks_trace_kthread);
1078d5f177d3SPaul E. McKenney 
1079e21408ceSPaul E. McKenney static void show_rcu_tasks_trace_gp_kthread(void)
1080e21408ceSPaul E. McKenney {
1081e21408ceSPaul E. McKenney 	char buf[32];
1082e21408ceSPaul E. McKenney 
1083e21408ceSPaul E. McKenney 	sprintf(buf, "N%d", atomic_read(&trc_n_readers_need_end));
1084e21408ceSPaul E. McKenney 	show_rcu_tasks_generic_gp_kthread(&rcu_tasks_trace, buf);
1085e21408ceSPaul E. McKenney }
1086e21408ceSPaul E. McKenney 
1087d5f177d3SPaul E. McKenney #else /* #ifdef CONFIG_TASKS_TRACE_RCU */
1088d5f177d3SPaul E. McKenney void exit_tasks_rcu_finish_trace(struct task_struct *t) { }
1089e21408ceSPaul E. McKenney static inline void show_rcu_tasks_trace_gp_kthread(void) {}
1090d5f177d3SPaul E. McKenney #endif /* #else #ifdef CONFIG_TASKS_TRACE_RCU */
10918fd8ca38SPaul E. McKenney 
1092e21408ceSPaul E. McKenney void show_rcu_tasks_gp_kthreads(void)
1093e21408ceSPaul E. McKenney {
1094e21408ceSPaul E. McKenney 	show_rcu_tasks_classic_gp_kthread();
1095e21408ceSPaul E. McKenney 	show_rcu_tasks_rude_gp_kthread();
1096e21408ceSPaul E. McKenney 	show_rcu_tasks_trace_gp_kthread();
1097e21408ceSPaul E. McKenney }
1098e21408ceSPaul E. McKenney 
10998fd8ca38SPaul E. McKenney #else /* #ifdef CONFIG_TASKS_RCU_GENERIC */
11008fd8ca38SPaul E. McKenney static inline void rcu_tasks_bootup_oddness(void) {}
1101e21408ceSPaul E. McKenney void show_rcu_tasks_gp_kthreads(void) {}
11028fd8ca38SPaul E. McKenney #endif /* #else #ifdef CONFIG_TASKS_RCU_GENERIC */
1103