blob: 43c0f715ac63cffd0a46456a28c6c6c25a9db1d1 [file] [log] [blame]
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -08001/* SPDX-License-Identifier: GPL-2.0+ */
2/*
3 * Task-based RCU implementations.
4 *
5 * Copyright (C) 2020 Paul E. McKenney
6 */
7
Paul E. McKenney8fd8ca32020-03-15 14:51:20 -07008#ifdef CONFIG_TASKS_RCU_GENERIC
Paul E. McKenney5873b8a2020-03-03 11:49:21 -08009
10////////////////////////////////////////////////////////////////////////
11//
12// Generic data structures.
13
14struct rcu_tasks;
15typedef void (*rcu_tasks_gp_func_t)(struct rcu_tasks *rtp);
Paul E. McKenneye4fe5dd2020-03-04 17:31:43 -080016typedef void (*pregp_func_t)(void);
17typedef void (*pertask_func_t)(struct task_struct *t, struct list_head *hop);
Paul E. McKenney9796e1a2020-03-22 13:18:54 -070018typedef void (*postscan_func_t)(struct list_head *hop);
Paul E. McKenneye4fe5dd2020-03-04 17:31:43 -080019typedef void (*holdouts_func_t)(struct list_head *hop, bool ndrpt, bool *frptp);
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -070020typedef void (*postgp_func_t)(struct rcu_tasks *rtp);
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -080021
Paul E. McKenney07e10512020-03-02 15:16:57 -080022/**
Lukas Bulwahn85b86992021-01-25 08:41:05 +010023 * struct rcu_tasks - Definition for a Tasks-RCU-like mechanism.
Paul E. McKenney07e10512020-03-02 15:16:57 -080024 * @cbs_head: Head of callback list.
25 * @cbs_tail: Tail pointer for callback list.
Ingo Molnara616aec2021-03-22 22:29:10 -070026 * @cbs_wq: Wait queue allowing new callback to get kthread's attention.
Paul E. McKenney07e10512020-03-02 15:16:57 -080027 * @cbs_lock: Lock protecting callback list.
28 * @kthread_ptr: This flavor's grace-period/callback-invocation kthread.
Paul E. McKenney5873b8a2020-03-03 11:49:21 -080029 * @gp_func: This flavor's grace-period-wait function.
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -070030 * @gp_state: Grace period's most recent state transition (debugging).
Paul E. McKenney4fe192d2020-09-09 22:05:41 -070031 * @gp_sleep: Per-grace-period sleep to prevent CPU-bound looping.
Paul E. McKenney2393a612020-09-09 21:36:34 -070032 * @init_fract: Initial backoff sleep interval.
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -070033 * @gp_jiffies: Time of last @gp_state transition.
34 * @gp_start: Most recent grace-period start in jiffies.
Paul E. McKenney238dbce2020-03-18 10:54:05 -070035 * @n_gps: Number of grace periods completed since boot.
36 * @n_ipis: Number of IPIs sent to encourage grace periods to end.
Paul E. McKenney7e0669c2020-03-25 14:36:05 -070037 * @n_ipis_fails: Number of IPI-send failures.
Paul E. McKenneye4fe5dd2020-03-04 17:31:43 -080038 * @pregp_func: This flavor's pre-grace-period function (optional).
39 * @pertask_func: This flavor's per-task scan function (optional).
40 * @postscan_func: This flavor's post-task scan function (optional).
Lukas Bulwahn85b86992021-01-25 08:41:05 +010041 * @holdouts_func: This flavor's holdout-list scan function (optional).
Paul E. McKenneye4fe5dd2020-03-04 17:31:43 -080042 * @postgp_func: This flavor's post-grace-period function (optional).
Paul E. McKenney5873b8a2020-03-03 11:49:21 -080043 * @call_func: This flavor's call_rcu()-equivalent function.
Paul E. McKenneyc97d12a2020-03-03 15:50:31 -080044 * @name: This flavor's textual name.
45 * @kname: This flavor's kthread name.
Paul E. McKenney07e10512020-03-02 15:16:57 -080046 */
47struct rcu_tasks {
48 struct rcu_head *cbs_head;
49 struct rcu_head **cbs_tail;
50 struct wait_queue_head cbs_wq;
51 raw_spinlock_t cbs_lock;
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -070052 int gp_state;
Paul E. McKenney4fe192d2020-09-09 22:05:41 -070053 int gp_sleep;
Paul E. McKenney2393a612020-09-09 21:36:34 -070054 int init_fract;
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -070055 unsigned long gp_jiffies;
Paul E. McKenney88092d02020-03-17 08:57:02 -070056 unsigned long gp_start;
Paul E. McKenney238dbce2020-03-18 10:54:05 -070057 unsigned long n_gps;
58 unsigned long n_ipis;
Paul E. McKenney7e0669c2020-03-25 14:36:05 -070059 unsigned long n_ipis_fails;
Paul E. McKenney07e10512020-03-02 15:16:57 -080060 struct task_struct *kthread_ptr;
Paul E. McKenney5873b8a2020-03-03 11:49:21 -080061 rcu_tasks_gp_func_t gp_func;
Paul E. McKenneye4fe5dd2020-03-04 17:31:43 -080062 pregp_func_t pregp_func;
63 pertask_func_t pertask_func;
64 postscan_func_t postscan_func;
65 holdouts_func_t holdouts_func;
66 postgp_func_t postgp_func;
Paul E. McKenney5873b8a2020-03-03 11:49:21 -080067 call_rcu_func_t call_func;
Paul E. McKenneyc97d12a2020-03-03 15:50:31 -080068 char *name;
69 char *kname;
Paul E. McKenney07e10512020-03-02 15:16:57 -080070};
71
Paul E. McKenneyc97d12a2020-03-03 15:50:31 -080072#define DEFINE_RCU_TASKS(rt_name, gp, call, n) \
73static struct rcu_tasks rt_name = \
Paul E. McKenney07e10512020-03-02 15:16:57 -080074{ \
Paul E. McKenneyc97d12a2020-03-03 15:50:31 -080075 .cbs_tail = &rt_name.cbs_head, \
76 .cbs_wq = __WAIT_QUEUE_HEAD_INITIALIZER(rt_name.cbs_wq), \
77 .cbs_lock = __RAW_SPIN_LOCK_UNLOCKED(rt_name.cbs_lock), \
Paul E. McKenney5873b8a2020-03-03 11:49:21 -080078 .gp_func = gp, \
79 .call_func = call, \
Paul E. McKenneyc97d12a2020-03-03 15:50:31 -080080 .name = n, \
81 .kname = #rt_name, \
Paul E. McKenney07e10512020-03-02 15:16:57 -080082}
83
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -080084/* Track exiting tasks in order to allow them to be waited for. */
85DEFINE_STATIC_SRCU(tasks_rcu_exit_srcu);
86
Paul E. McKenneyb0afa0f2020-03-17 11:39:26 -070087/* Avoid IPIing CPUs early in the grace period. */
Paul E. McKenney574de872020-09-09 21:51:09 -070088#define RCU_TASK_IPI_DELAY (IS_ENABLED(CONFIG_TASKS_TRACE_RCU_READ_MB) ? HZ / 2 : 0)
Paul E. McKenneyb0afa0f2020-03-17 11:39:26 -070089static int rcu_task_ipi_delay __read_mostly = RCU_TASK_IPI_DELAY;
90module_param(rcu_task_ipi_delay, int, 0644);
91
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -080092/* Control stall timeouts. Disable with <= 0, otherwise jiffies till stall. */
93#define RCU_TASK_STALL_TIMEOUT (HZ * 60 * 10)
94static int rcu_task_stall_timeout __read_mostly = RCU_TASK_STALL_TIMEOUT;
95module_param(rcu_task_stall_timeout, int, 0644);
96
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -070097/* RCU tasks grace-period state for debugging. */
98#define RTGS_INIT 0
99#define RTGS_WAIT_WAIT_CBS 1
100#define RTGS_WAIT_GP 2
101#define RTGS_PRE_WAIT_GP 3
102#define RTGS_SCAN_TASKLIST 4
103#define RTGS_POST_SCAN_TASKLIST 5
104#define RTGS_WAIT_SCAN_HOLDOUTS 6
105#define RTGS_SCAN_HOLDOUTS 7
106#define RTGS_POST_GP 8
107#define RTGS_WAIT_READERS 9
108#define RTGS_INVOKE_CBS 10
109#define RTGS_WAIT_CBS 11
Paul E. McKenney83444962020-05-28 20:03:48 -0700110#ifndef CONFIG_TINY_RCU
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -0700111static const char * const rcu_tasks_gp_state_names[] = {
112 "RTGS_INIT",
113 "RTGS_WAIT_WAIT_CBS",
114 "RTGS_WAIT_GP",
115 "RTGS_PRE_WAIT_GP",
116 "RTGS_SCAN_TASKLIST",
117 "RTGS_POST_SCAN_TASKLIST",
118 "RTGS_WAIT_SCAN_HOLDOUTS",
119 "RTGS_SCAN_HOLDOUTS",
120 "RTGS_POST_GP",
121 "RTGS_WAIT_READERS",
122 "RTGS_INVOKE_CBS",
123 "RTGS_WAIT_CBS",
124};
Paul E. McKenney83444962020-05-28 20:03:48 -0700125#endif /* #ifndef CONFIG_TINY_RCU */
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -0700126
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800127////////////////////////////////////////////////////////////////////////
128//
129// Generic code.
130
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -0700131/* Record grace-period phase and time. */
132static void set_tasks_gp_state(struct rcu_tasks *rtp, int newstate)
133{
134 rtp->gp_state = newstate;
135 rtp->gp_jiffies = jiffies;
136}
137
Paul E. McKenney83444962020-05-28 20:03:48 -0700138#ifndef CONFIG_TINY_RCU
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -0700139/* Return state name. */
140static const char *tasks_gp_state_getname(struct rcu_tasks *rtp)
141{
142 int i = data_race(rtp->gp_state); // Let KCSAN detect update races
143 int j = READ_ONCE(i); // Prevent the compiler from reading twice
144
145 if (j >= ARRAY_SIZE(rcu_tasks_gp_state_names))
146 return "???";
147 return rcu_tasks_gp_state_names[j];
148}
Paul E. McKenney83444962020-05-28 20:03:48 -0700149#endif /* #ifndef CONFIG_TINY_RCU */
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -0700150
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800151// Enqueue a callback for the specified flavor of Tasks RCU.
152static void call_rcu_tasks_generic(struct rcu_head *rhp, rcu_callback_t func,
153 struct rcu_tasks *rtp)
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -0800154{
155 unsigned long flags;
156 bool needwake;
157
158 rhp->next = NULL;
159 rhp->func = func;
Paul E. McKenney07e10512020-03-02 15:16:57 -0800160 raw_spin_lock_irqsave(&rtp->cbs_lock, flags);
161 needwake = !rtp->cbs_head;
162 WRITE_ONCE(*rtp->cbs_tail, rhp);
163 rtp->cbs_tail = &rhp->next;
164 raw_spin_unlock_irqrestore(&rtp->cbs_lock, flags);
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -0800165 /* We can't create the thread unless interrupts are enabled. */
Paul E. McKenney07e10512020-03-02 15:16:57 -0800166 if (needwake && READ_ONCE(rtp->kthread_ptr))
167 wake_up(&rtp->cbs_wq);
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -0800168}
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -0800169
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800170// Wait for a grace period for the specified flavor of Tasks RCU.
171static void synchronize_rcu_tasks_generic(struct rcu_tasks *rtp)
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -0800172{
173 /* Complain if the scheduler has not started. */
174 RCU_LOCKDEP_WARN(rcu_scheduler_active == RCU_SCHEDULER_INACTIVE,
175 "synchronize_rcu_tasks called too soon");
176
177 /* Wait for the grace period. */
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800178 wait_rcu_gp(rtp->call_func);
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -0800179}
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -0800180
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800181/* RCU-tasks kthread that detects grace periods and invokes callbacks. */
182static int __noreturn rcu_tasks_kthread(void *arg)
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -0800183{
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800184 unsigned long flags;
185 struct rcu_head *list;
186 struct rcu_head *next;
187 struct rcu_tasks *rtp = arg;
188
189 /* Run on housekeeping CPUs by default. Sysadm can move if desired. */
190 housekeeping_affine(current, HK_FLAG_RCU);
191 WRITE_ONCE(rtp->kthread_ptr, current); // Let GPs start!
192
193 /*
194 * Each pass through the following loop makes one check for
195 * newly arrived callbacks, and, if there are some, waits for
196 * one RCU-tasks grace period and then invokes the callbacks.
197 * This loop is terminated by the system going down. ;-)
198 */
199 for (;;) {
200
201 /* Pick up any new callbacks. */
202 raw_spin_lock_irqsave(&rtp->cbs_lock, flags);
Paul E. McKenney43766c32020-03-16 20:38:29 -0700203 smp_mb__after_spinlock(); // Order updates vs. GP.
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800204 list = rtp->cbs_head;
205 rtp->cbs_head = NULL;
206 rtp->cbs_tail = &rtp->cbs_head;
207 raw_spin_unlock_irqrestore(&rtp->cbs_lock, flags);
208
209 /* If there were none, wait a bit and start over. */
210 if (!list) {
211 wait_event_interruptible(rtp->cbs_wq,
212 READ_ONCE(rtp->cbs_head));
213 if (!rtp->cbs_head) {
214 WARN_ON(signal_pending(current));
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -0700215 set_tasks_gp_state(rtp, RTGS_WAIT_WAIT_CBS);
Paul E. McKenneyea6eed92020-05-07 16:47:13 -0700216 schedule_timeout_idle(HZ/10);
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800217 }
218 continue;
219 }
220
221 // Wait for one grace period.
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -0700222 set_tasks_gp_state(rtp, RTGS_WAIT_GP);
Paul E. McKenney88092d02020-03-17 08:57:02 -0700223 rtp->gp_start = jiffies;
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800224 rtp->gp_func(rtp);
Paul E. McKenney238dbce2020-03-18 10:54:05 -0700225 rtp->n_gps++;
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800226
227 /* Invoke the callbacks. */
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -0700228 set_tasks_gp_state(rtp, RTGS_INVOKE_CBS);
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800229 while (list) {
230 next = list->next;
231 local_bh_disable();
232 list->func(list);
233 local_bh_enable();
234 list = next;
235 cond_resched();
236 }
237 /* Paranoid sleep to keep this from entering a tight loop */
Paul E. McKenney4fe192d2020-09-09 22:05:41 -0700238 schedule_timeout_idle(rtp->gp_sleep);
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -0700239
240 set_tasks_gp_state(rtp, RTGS_WAIT_CBS);
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800241 }
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -0800242}
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800243
Uladzislau Rezki (Sony)1b04fa92020-12-09 21:27:31 +0100244/* Spawn RCU-tasks grace-period kthread. */
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800245static void __init rcu_spawn_tasks_kthread_generic(struct rcu_tasks *rtp)
246{
247 struct task_struct *t;
248
Paul E. McKenneyc97d12a2020-03-03 15:50:31 -0800249 t = kthread_run(rcu_tasks_kthread, rtp, "%s_kthread", rtp->kname);
250 if (WARN_ONCE(IS_ERR(t), "%s: Could not start %s grace-period kthread, OOM is now expected behavior\n", __func__, rtp->name))
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800251 return;
252 smp_mb(); /* Ensure others see full kthread. */
253}
254
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800255#ifndef CONFIG_TINY_RCU
256
257/*
258 * Print any non-default Tasks RCU settings.
259 */
260static void __init rcu_tasks_bootup_oddness(void)
261{
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -0700262#if defined(CONFIG_TASKS_RCU) || defined(CONFIG_TASKS_TRACE_RCU)
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800263 if (rcu_task_stall_timeout != RCU_TASK_STALL_TIMEOUT)
264 pr_info("\tTasks-RCU CPU stall warnings timeout set to %d (rcu_task_stall_timeout).\n", rcu_task_stall_timeout);
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -0700265#endif /* #ifdef CONFIG_TASKS_RCU */
266#ifdef CONFIG_TASKS_RCU
267 pr_info("\tTrampoline variant of Tasks RCU enabled.\n");
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800268#endif /* #ifdef CONFIG_TASKS_RCU */
Paul E. McKenneyc84aad72020-03-02 21:06:43 -0800269#ifdef CONFIG_TASKS_RUDE_RCU
270 pr_info("\tRude variant of Tasks RCU enabled.\n");
271#endif /* #ifdef CONFIG_TASKS_RUDE_RCU */
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -0700272#ifdef CONFIG_TASKS_TRACE_RCU
273 pr_info("\tTracing variant of Tasks RCU enabled.\n");
274#endif /* #ifdef CONFIG_TASKS_TRACE_RCU */
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800275}
276
277#endif /* #ifndef CONFIG_TINY_RCU */
278
Paul E. McKenney83444962020-05-28 20:03:48 -0700279#ifndef CONFIG_TINY_RCU
Paul E. McKenneye21408c2020-03-16 11:01:55 -0700280/* Dump out rcutorture-relevant state common to all RCU-tasks flavors. */
281static void show_rcu_tasks_generic_gp_kthread(struct rcu_tasks *rtp, char *s)
282{
Paul E. McKenney7e0669c2020-03-25 14:36:05 -0700283 pr_info("%s: %s(%d) since %lu g:%lu i:%lu/%lu %c%c %s\n",
Paul E. McKenneye21408c2020-03-16 11:01:55 -0700284 rtp->kname,
Paul E. McKenney7e0669c2020-03-25 14:36:05 -0700285 tasks_gp_state_getname(rtp), data_race(rtp->gp_state),
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -0700286 jiffies - data_race(rtp->gp_jiffies),
Paul E. McKenney7e0669c2020-03-25 14:36:05 -0700287 data_race(rtp->n_gps),
288 data_race(rtp->n_ipis_fails), data_race(rtp->n_ipis),
Paul E. McKenneye21408c2020-03-16 11:01:55 -0700289 ".k"[!!data_race(rtp->kthread_ptr)],
290 ".C"[!!data_race(rtp->cbs_head)],
291 s);
292}
Paul E. McKenney27c0f142020-09-15 17:08:03 -0700293#endif // #ifndef CONFIG_TINY_RCU
Paul E. McKenneye21408c2020-03-16 11:01:55 -0700294
Paul E. McKenney25246fc2020-04-05 20:49:13 -0700295static void exit_tasks_rcu_finish_trace(struct task_struct *t);
296
297#if defined(CONFIG_TASKS_RCU) || defined(CONFIG_TASKS_TRACE_RCU)
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800298
299////////////////////////////////////////////////////////////////////////
300//
Paul E. McKenneyd01aa262020-03-05 17:07:07 -0800301// Shared code between task-list-scanning variants of Tasks RCU.
302
303/* Wait for one RCU-tasks grace period. */
304static void rcu_tasks_wait_gp(struct rcu_tasks *rtp)
305{
306 struct task_struct *g, *t;
307 unsigned long lastreport;
308 LIST_HEAD(holdouts);
309 int fract;
310
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -0700311 set_tasks_gp_state(rtp, RTGS_PRE_WAIT_GP);
Paul E. McKenneyd01aa262020-03-05 17:07:07 -0800312 rtp->pregp_func();
313
314 /*
315 * There were callbacks, so we need to wait for an RCU-tasks
316 * grace period. Start off by scanning the task list for tasks
317 * that are not already voluntarily blocked. Mark these tasks
318 * and make a list of them in holdouts.
319 */
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -0700320 set_tasks_gp_state(rtp, RTGS_SCAN_TASKLIST);
Paul E. McKenneyd01aa262020-03-05 17:07:07 -0800321 rcu_read_lock();
322 for_each_process_thread(g, t)
323 rtp->pertask_func(t, &holdouts);
324 rcu_read_unlock();
325
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -0700326 set_tasks_gp_state(rtp, RTGS_POST_SCAN_TASKLIST);
Paul E. McKenney9796e1a2020-03-22 13:18:54 -0700327 rtp->postscan_func(&holdouts);
Paul E. McKenneyd01aa262020-03-05 17:07:07 -0800328
329 /*
330 * Each pass through the following loop scans the list of holdout
331 * tasks, removing any that are no longer holdouts. When the list
332 * is empty, we are done.
333 */
334 lastreport = jiffies;
335
Paul E. McKenney2393a612020-09-09 21:36:34 -0700336 // Start off with initial wait and slowly back off to 1 HZ wait.
337 fract = rtp->init_fract;
Paul E. McKenneyd01aa262020-03-05 17:07:07 -0800338
Paul E. McKenney77dc1742020-09-15 15:41:50 -0700339 while (!list_empty(&holdouts)) {
Paul E. McKenneyd01aa262020-03-05 17:07:07 -0800340 bool firstreport;
341 bool needreport;
342 int rtst;
343
Paul E. McKenneyd01aa262020-03-05 17:07:07 -0800344 /* Slowly back off waiting for holdouts */
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -0700345 set_tasks_gp_state(rtp, RTGS_WAIT_SCAN_HOLDOUTS);
Paul E. McKenney75dc2da2020-09-17 16:17:17 -0700346 schedule_timeout_idle(fract);
Paul E. McKenneyd01aa262020-03-05 17:07:07 -0800347
Paul E. McKenney75dc2da2020-09-17 16:17:17 -0700348 if (fract < HZ)
349 fract++;
Paul E. McKenneyd01aa262020-03-05 17:07:07 -0800350
351 rtst = READ_ONCE(rcu_task_stall_timeout);
352 needreport = rtst > 0 && time_after(jiffies, lastreport + rtst);
353 if (needreport)
354 lastreport = jiffies;
355 firstreport = true;
356 WARN_ON(signal_pending(current));
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -0700357 set_tasks_gp_state(rtp, RTGS_SCAN_HOLDOUTS);
Paul E. McKenneyd01aa262020-03-05 17:07:07 -0800358 rtp->holdouts_func(&holdouts, needreport, &firstreport);
359 }
360
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -0700361 set_tasks_gp_state(rtp, RTGS_POST_GP);
362 rtp->postgp_func(rtp);
Paul E. McKenneyd01aa262020-03-05 17:07:07 -0800363}
364
Paul E. McKenney25246fc2020-04-05 20:49:13 -0700365#endif /* #if defined(CONFIG_TASKS_RCU) || defined(CONFIG_TASKS_TRACE_RCU) */
366
367#ifdef CONFIG_TASKS_RCU
368
Paul E. McKenneyd01aa262020-03-05 17:07:07 -0800369////////////////////////////////////////////////////////////////////////
370//
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800371// Simple variant of RCU whose quiescent states are voluntary context
372// switch, cond_resched_rcu_qs(), user-space execution, and idle.
373// As such, grace periods can take one good long time. There are no
374// read-side primitives similar to rcu_read_lock() and rcu_read_unlock()
375// because this implementation is intended to get the system into a safe
376// state for some of the manipulations involved in tracing and the like.
377// Finally, this implementation does not support high call_rcu_tasks()
378// rates from multiple CPUs. If this is required, per-CPU callback lists
379// will be needed.
Paul E. McKenney06a3ec92021-03-04 14:41:47 -0800380//
381// The implementation uses rcu_tasks_wait_gp(), which relies on function
382// pointers in the rcu_tasks structure. The rcu_spawn_tasks_kthread()
383// function sets these function pointers up so that rcu_tasks_wait_gp()
384// invokes these functions in this order:
385//
386// rcu_tasks_pregp_step():
387// Invokes synchronize_rcu() in order to wait for all in-flight
388// t->on_rq and t->nvcsw transitions to complete. This works because
389// all such transitions are carried out with interrupts disabled.
390// rcu_tasks_pertask(), invoked on every non-idle task:
391// For every runnable non-idle task other than the current one, use
392// get_task_struct() to pin down that task, snapshot that task's
393// number of voluntary context switches, and add that task to the
394// holdout list.
395// rcu_tasks_postscan():
396// Invoke synchronize_srcu() to ensure that all tasks that were
397// in the process of exiting (and which thus might not know to
398// synchronize with this RCU Tasks grace period) have completed
399// exiting.
400// check_all_holdout_tasks(), repeatedly until holdout list is empty:
401// Scans the holdout list, attempting to identify a quiescent state
402// for each task on the list. If there is a quiescent state, the
403// corresponding task is removed from the holdout list.
404// rcu_tasks_postgp():
405// Invokes synchronize_rcu() in order to ensure that all prior
406// t->on_rq and t->nvcsw transitions are seen by all CPUs and tasks
407// to have happened before the end of this RCU Tasks grace period.
408// Again, this works because all such transitions are carried out
409// with interrupts disabled.
410//
411// For each exiting task, the exit_tasks_rcu_start() and
412// exit_tasks_rcu_finish() functions begin and end, respectively, the SRCU
413// read-side critical sections waited for by rcu_tasks_postscan().
414//
415// Pre-grace-period update-side code is ordered before the grace via the
416// ->cbs_lock and the smp_mb__after_spinlock(). Pre-grace-period read-side
417// code is ordered before the grace period via synchronize_rcu() call
418// in rcu_tasks_pregp_step() and by the scheduler's locks and interrupt
419// disabling.
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -0800420
Paul E. McKenneye4fe5dd2020-03-04 17:31:43 -0800421/* Pre-grace-period preparation. */
422static void rcu_tasks_pregp_step(void)
423{
424 /*
425 * Wait for all pre-existing t->on_rq and t->nvcsw transitions
426 * to complete. Invoking synchronize_rcu() suffices because all
427 * these transitions occur with interrupts disabled. Without this
428 * synchronize_rcu(), a read-side critical section that started
429 * before the grace period might be incorrectly seen as having
430 * started after the grace period.
431 *
432 * This synchronize_rcu() also dispenses with the need for a
433 * memory barrier on the first store to t->rcu_tasks_holdout,
434 * as it forces the store to happen after the beginning of the
435 * grace period.
436 */
437 synchronize_rcu();
438}
439
440/* Per-task initial processing. */
441static void rcu_tasks_pertask(struct task_struct *t, struct list_head *hop)
442{
443 if (t != current && READ_ONCE(t->on_rq) && !is_idle_task(t)) {
444 get_task_struct(t);
445 t->rcu_tasks_nvcsw = READ_ONCE(t->nvcsw);
446 WRITE_ONCE(t->rcu_tasks_holdout, true);
447 list_add(&t->rcu_tasks_holdout_list, hop);
448 }
449}
450
451/* Processing between scanning taskslist and draining the holdout list. */
Paul E. McKenney04a3c5a2020-05-28 19:27:06 -0700452static void rcu_tasks_postscan(struct list_head *hop)
Paul E. McKenneye4fe5dd2020-03-04 17:31:43 -0800453{
454 /*
455 * Wait for tasks that are in the process of exiting. This
456 * does only part of the job, ensuring that all tasks that were
457 * previously exiting reach the point where they have disabled
458 * preemption, allowing the later synchronize_rcu() to finish
459 * the job.
460 */
461 synchronize_srcu(&tasks_rcu_exit_srcu);
462}
463
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -0800464/* See if tasks are still holding out, complain if so. */
465static void check_holdout_task(struct task_struct *t,
466 bool needreport, bool *firstreport)
467{
468 int cpu;
469
470 if (!READ_ONCE(t->rcu_tasks_holdout) ||
471 t->rcu_tasks_nvcsw != READ_ONCE(t->nvcsw) ||
472 !READ_ONCE(t->on_rq) ||
473 (IS_ENABLED(CONFIG_NO_HZ_FULL) &&
474 !is_idle_task(t) && t->rcu_tasks_idle_cpu >= 0)) {
475 WRITE_ONCE(t->rcu_tasks_holdout, false);
476 list_del_init(&t->rcu_tasks_holdout_list);
477 put_task_struct(t);
478 return;
479 }
480 rcu_request_urgent_qs_task(t);
481 if (!needreport)
482 return;
483 if (*firstreport) {
484 pr_err("INFO: rcu_tasks detected stalls on tasks:\n");
485 *firstreport = false;
486 }
487 cpu = task_cpu(t);
488 pr_alert("%p: %c%c nvcsw: %lu/%lu holdout: %d idle_cpu: %d/%d\n",
489 t, ".I"[is_idle_task(t)],
490 "N."[cpu < 0 || !tick_nohz_full_cpu(cpu)],
491 t->rcu_tasks_nvcsw, t->nvcsw, t->rcu_tasks_holdout,
492 t->rcu_tasks_idle_cpu, cpu);
493 sched_show_task(t);
494}
495
Paul E. McKenneye4fe5dd2020-03-04 17:31:43 -0800496/* Scan the holdout lists for tasks no longer holding out. */
497static void check_all_holdout_tasks(struct list_head *hop,
498 bool needreport, bool *firstreport)
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -0800499{
Paul E. McKenneye4fe5dd2020-03-04 17:31:43 -0800500 struct task_struct *t, *t1;
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -0800501
Paul E. McKenneye4fe5dd2020-03-04 17:31:43 -0800502 list_for_each_entry_safe(t, t1, hop, rcu_tasks_holdout_list) {
503 check_holdout_task(t, needreport, firstreport);
504 cond_resched();
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800505 }
Paul E. McKenneye4fe5dd2020-03-04 17:31:43 -0800506}
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800507
Paul E. McKenneye4fe5dd2020-03-04 17:31:43 -0800508/* Finish off the Tasks-RCU grace period. */
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -0700509static void rcu_tasks_postgp(struct rcu_tasks *rtp)
Paul E. McKenneye4fe5dd2020-03-04 17:31:43 -0800510{
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800511 /*
512 * Because ->on_rq and ->nvcsw are not guaranteed to have a full
513 * memory barriers prior to them in the schedule() path, memory
514 * reordering on other CPUs could cause their RCU-tasks read-side
515 * critical sections to extend past the end of the grace period.
516 * However, because these ->nvcsw updates are carried out with
517 * interrupts disabled, we can use synchronize_rcu() to force the
518 * needed ordering on all such CPUs.
519 *
520 * This synchronize_rcu() also confines all ->rcu_tasks_holdout
521 * accesses to be within the grace period, avoiding the need for
522 * memory barriers for ->rcu_tasks_holdout accesses.
523 *
524 * In addition, this synchronize_rcu() waits for exiting tasks
525 * to complete their final preempt_disable() region of execution,
526 * cleaning up after the synchronize_srcu() above.
527 */
528 synchronize_rcu();
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -0800529}
530
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800531void call_rcu_tasks(struct rcu_head *rhp, rcu_callback_t func);
Paul E. McKenneyc97d12a2020-03-03 15:50:31 -0800532DEFINE_RCU_TASKS(rcu_tasks, rcu_tasks_wait_gp, call_rcu_tasks, "RCU Tasks");
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800533
534/**
535 * call_rcu_tasks() - Queue an RCU for invocation task-based grace period
536 * @rhp: structure to be used for queueing the RCU updates.
537 * @func: actual callback function to be invoked after the grace period
538 *
539 * The callback function will be invoked some time after a full grace
540 * period elapses, in other words after all currently executing RCU
541 * read-side critical sections have completed. call_rcu_tasks() assumes
542 * that the read-side critical sections end at a voluntary context
543 * switch (not a preemption!), cond_resched_rcu_qs(), entry into idle,
544 * or transition to usermode execution. As such, there are no read-side
545 * primitives analogous to rcu_read_lock() and rcu_read_unlock() because
546 * this primitive is intended to determine that all tasks have passed
Ingo Molnara616aec2021-03-22 22:29:10 -0700547 * through a safe state, not so much for data-structure synchronization.
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800548 *
549 * See the description of call_rcu() for more detailed information on
550 * memory ordering guarantees.
551 */
552void call_rcu_tasks(struct rcu_head *rhp, rcu_callback_t func)
553{
554 call_rcu_tasks_generic(rhp, func, &rcu_tasks);
555}
556EXPORT_SYMBOL_GPL(call_rcu_tasks);
557
558/**
559 * synchronize_rcu_tasks - wait until an rcu-tasks grace period has elapsed.
560 *
561 * Control will return to the caller some time after a full rcu-tasks
562 * grace period has elapsed, in other words after all currently
563 * executing rcu-tasks read-side critical sections have elapsed. These
564 * read-side critical sections are delimited by calls to schedule(),
565 * cond_resched_tasks_rcu_qs(), idle execution, userspace execution, calls
566 * to synchronize_rcu_tasks(), and (in theory, anyway) cond_resched().
567 *
568 * This is a very specialized primitive, intended only for a few uses in
569 * tracing and other situations requiring manipulation of function
570 * preambles and profiling hooks. The synchronize_rcu_tasks() function
571 * is not (yet) intended for heavy use from multiple CPUs.
572 *
573 * See the description of synchronize_rcu() for more detailed information
574 * on memory ordering guarantees.
575 */
576void synchronize_rcu_tasks(void)
577{
578 synchronize_rcu_tasks_generic(&rcu_tasks);
579}
580EXPORT_SYMBOL_GPL(synchronize_rcu_tasks);
581
582/**
583 * rcu_barrier_tasks - Wait for in-flight call_rcu_tasks() callbacks.
584 *
585 * Although the current implementation is guaranteed to wait, it is not
586 * obligated to, for example, if there are no pending callbacks.
587 */
588void rcu_barrier_tasks(void)
589{
590 /* There is only one callback queue, so this is easy. ;-) */
591 synchronize_rcu_tasks();
592}
593EXPORT_SYMBOL_GPL(rcu_barrier_tasks);
594
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -0800595static int __init rcu_spawn_tasks_kthread(void)
596{
Paul E. McKenney4fe192d2020-09-09 22:05:41 -0700597 rcu_tasks.gp_sleep = HZ / 10;
Paul E. McKenney75dc2da2020-09-17 16:17:17 -0700598 rcu_tasks.init_fract = HZ / 10;
Paul E. McKenneye4fe5dd2020-03-04 17:31:43 -0800599 rcu_tasks.pregp_func = rcu_tasks_pregp_step;
600 rcu_tasks.pertask_func = rcu_tasks_pertask;
601 rcu_tasks.postscan_func = rcu_tasks_postscan;
602 rcu_tasks.holdouts_func = check_all_holdout_tasks;
603 rcu_tasks.postgp_func = rcu_tasks_postgp;
Paul E. McKenney5873b8a2020-03-03 11:49:21 -0800604 rcu_spawn_tasks_kthread_generic(&rcu_tasks);
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -0800605 return 0;
606}
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -0800607
Paul E. McKenney27c0f142020-09-15 17:08:03 -0700608#if !defined(CONFIG_TINY_RCU)
609void show_rcu_tasks_classic_gp_kthread(void)
Paul E. McKenneye21408c2020-03-16 11:01:55 -0700610{
611 show_rcu_tasks_generic_gp_kthread(&rcu_tasks, "");
612}
Paul E. McKenney27c0f142020-09-15 17:08:03 -0700613EXPORT_SYMBOL_GPL(show_rcu_tasks_classic_gp_kthread);
614#endif // !defined(CONFIG_TINY_RCU)
Paul E. McKenneye21408c2020-03-16 11:01:55 -0700615
Paul E. McKenney25246fc2020-04-05 20:49:13 -0700616/* Do the srcu_read_lock() for the above synchronize_srcu(). */
617void exit_tasks_rcu_start(void) __acquires(&tasks_rcu_exit_srcu)
618{
619 preempt_disable();
620 current->rcu_tasks_idx = __srcu_read_lock(&tasks_rcu_exit_srcu);
621 preempt_enable();
622}
623
624/* Do the srcu_read_unlock() for the above synchronize_srcu(). */
625void exit_tasks_rcu_finish(void) __releases(&tasks_rcu_exit_srcu)
626{
627 struct task_struct *t = current;
628
629 preempt_disable();
630 __srcu_read_unlock(&tasks_rcu_exit_srcu, t->rcu_tasks_idx);
631 preempt_enable();
632 exit_tasks_rcu_finish_trace(t);
633}
634
Paul E. McKenneye21408c2020-03-16 11:01:55 -0700635#else /* #ifdef CONFIG_TASKS_RCU */
Paul E. McKenney25246fc2020-04-05 20:49:13 -0700636void exit_tasks_rcu_start(void) { }
637void exit_tasks_rcu_finish(void) { exit_tasks_rcu_finish_trace(current); }
Paul E. McKenneye21408c2020-03-16 11:01:55 -0700638#endif /* #else #ifdef CONFIG_TASKS_RCU */
Paul E. McKenneyc84aad72020-03-02 21:06:43 -0800639
640#ifdef CONFIG_TASKS_RUDE_RCU
641
642////////////////////////////////////////////////////////////////////////
643//
644// "Rude" variant of Tasks RCU, inspired by Steve Rostedt's trick of
645// passing an empty function to schedule_on_each_cpu(). This approach
Paul E. McKenneye4be1f42021-06-22 11:57:15 -0700646// provides an asynchronous call_rcu_tasks_rude() API and batching of
647// concurrent calls to the synchronous synchronize_rcu_tasks_rude() API.
Paul E. McKenney9fc98e32021-03-04 14:46:59 -0800648// This invokes schedule_on_each_cpu() in order to send IPIs far and wide
649// and induces otherwise unnecessary context switches on all online CPUs,
650// whether idle or not.
651//
652// Callback handling is provided by the rcu_tasks_kthread() function.
653//
654// Ordering is provided by the scheduler's context-switch code.
Paul E. McKenneyc84aad72020-03-02 21:06:43 -0800655
656// Empty function to allow workqueues to force a context switch.
657static void rcu_tasks_be_rude(struct work_struct *work)
658{
659}
660
661// Wait for one rude RCU-tasks grace period.
662static void rcu_tasks_rude_wait_gp(struct rcu_tasks *rtp)
663{
Paul E. McKenney238dbce2020-03-18 10:54:05 -0700664 rtp->n_ipis += cpumask_weight(cpu_online_mask);
Paul E. McKenneyc84aad72020-03-02 21:06:43 -0800665 schedule_on_each_cpu(rcu_tasks_be_rude);
666}
667
668void call_rcu_tasks_rude(struct rcu_head *rhp, rcu_callback_t func);
Paul E. McKenneyc97d12a2020-03-03 15:50:31 -0800669DEFINE_RCU_TASKS(rcu_tasks_rude, rcu_tasks_rude_wait_gp, call_rcu_tasks_rude,
670 "RCU Tasks Rude");
Paul E. McKenneyc84aad72020-03-02 21:06:43 -0800671
672/**
673 * call_rcu_tasks_rude() - Queue a callback rude task-based grace period
674 * @rhp: structure to be used for queueing the RCU updates.
675 * @func: actual callback function to be invoked after the grace period
676 *
677 * The callback function will be invoked some time after a full grace
678 * period elapses, in other words after all currently executing RCU
679 * read-side critical sections have completed. call_rcu_tasks_rude()
680 * assumes that the read-side critical sections end at context switch,
681 * cond_resched_rcu_qs(), or transition to usermode execution. As such,
682 * there are no read-side primitives analogous to rcu_read_lock() and
683 * rcu_read_unlock() because this primitive is intended to determine
684 * that all tasks have passed through a safe state, not so much for
Ingo Molnara616aec2021-03-22 22:29:10 -0700685 * data-structure synchronization.
Paul E. McKenneyc84aad72020-03-02 21:06:43 -0800686 *
687 * See the description of call_rcu() for more detailed information on
688 * memory ordering guarantees.
689 */
690void call_rcu_tasks_rude(struct rcu_head *rhp, rcu_callback_t func)
691{
692 call_rcu_tasks_generic(rhp, func, &rcu_tasks_rude);
693}
694EXPORT_SYMBOL_GPL(call_rcu_tasks_rude);
695
696/**
697 * synchronize_rcu_tasks_rude - wait for a rude rcu-tasks grace period
698 *
699 * Control will return to the caller some time after a rude rcu-tasks
700 * grace period has elapsed, in other words after all currently
701 * executing rcu-tasks read-side critical sections have elapsed. These
702 * read-side critical sections are delimited by calls to schedule(),
703 * cond_resched_tasks_rcu_qs(), userspace execution, and (in theory,
704 * anyway) cond_resched().
705 *
706 * This is a very specialized primitive, intended only for a few uses in
707 * tracing and other situations requiring manipulation of function preambles
708 * and profiling hooks. The synchronize_rcu_tasks_rude() function is not
709 * (yet) intended for heavy use from multiple CPUs.
710 *
711 * See the description of synchronize_rcu() for more detailed information
712 * on memory ordering guarantees.
713 */
714void synchronize_rcu_tasks_rude(void)
715{
716 synchronize_rcu_tasks_generic(&rcu_tasks_rude);
717}
718EXPORT_SYMBOL_GPL(synchronize_rcu_tasks_rude);
719
720/**
721 * rcu_barrier_tasks_rude - Wait for in-flight call_rcu_tasks_rude() callbacks.
722 *
723 * Although the current implementation is guaranteed to wait, it is not
724 * obligated to, for example, if there are no pending callbacks.
725 */
726void rcu_barrier_tasks_rude(void)
727{
728 /* There is only one callback queue, so this is easy. ;-) */
729 synchronize_rcu_tasks_rude();
730}
731EXPORT_SYMBOL_GPL(rcu_barrier_tasks_rude);
732
733static int __init rcu_spawn_tasks_rude_kthread(void)
734{
Paul E. McKenney4fe192d2020-09-09 22:05:41 -0700735 rcu_tasks_rude.gp_sleep = HZ / 10;
Paul E. McKenneyc84aad72020-03-02 21:06:43 -0800736 rcu_spawn_tasks_kthread_generic(&rcu_tasks_rude);
737 return 0;
738}
Paul E. McKenneyc84aad72020-03-02 21:06:43 -0800739
Paul E. McKenney27c0f142020-09-15 17:08:03 -0700740#if !defined(CONFIG_TINY_RCU)
741void show_rcu_tasks_rude_gp_kthread(void)
Paul E. McKenneye21408c2020-03-16 11:01:55 -0700742{
743 show_rcu_tasks_generic_gp_kthread(&rcu_tasks_rude, "");
744}
Paul E. McKenney27c0f142020-09-15 17:08:03 -0700745EXPORT_SYMBOL_GPL(show_rcu_tasks_rude_gp_kthread);
746#endif // !defined(CONFIG_TINY_RCU)
747#endif /* #ifdef CONFIG_TASKS_RUDE_RCU */
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -0700748
749////////////////////////////////////////////////////////////////////////
750//
751// Tracing variant of Tasks RCU. This variant is designed to be used
752// to protect tracing hooks, including those of BPF. This variant
753// therefore:
754//
755// 1. Has explicit read-side markers to allow finite grace periods
756// in the face of in-kernel loops for PREEMPT=n builds.
757//
758// 2. Protects code in the idle loop, exception entry/exit, and
759// CPU-hotplug code paths, similar to the capabilities of SRCU.
760//
Paul E. McKenneyc4f113a2021-08-05 09:54:45 -0700761// 3. Avoids expensive read-side instructions, having overhead similar
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -0700762// to that of Preemptible RCU.
763//
764// There are of course downsides. The grace-period code can send IPIs to
765// CPUs, even when those CPUs are in the idle loop or in nohz_full userspace.
766// It is necessary to scan the full tasklist, much as for Tasks RCU. There
767// is a single callback queue guarded by a single lock, again, much as for
768// Tasks RCU. If needed, these downsides can be at least partially remedied.
769//
770// Perhaps most important, this variant of RCU does not affect the vanilla
771// flavors, rcu_preempt and rcu_sched. The fact that RCU Tasks Trace
772// readers can operate from idle, offline, and exception entry/exit in no
773// way allows rcu_preempt and rcu_sched readers to also do so.
Paul E. McKenneya434dd12021-02-25 10:26:00 -0800774//
775// The implementation uses rcu_tasks_wait_gp(), which relies on function
776// pointers in the rcu_tasks structure. The rcu_spawn_tasks_trace_kthread()
777// function sets these function pointers up so that rcu_tasks_wait_gp()
778// invokes these functions in this order:
779//
780// rcu_tasks_trace_pregp_step():
781// Initialize the count of readers and block CPU-hotplug operations.
782// rcu_tasks_trace_pertask(), invoked on every non-idle task:
783// Initialize per-task state and attempt to identify an immediate
784// quiescent state for that task, or, failing that, attempt to
785// set that task's .need_qs flag so that task's next outermost
786// rcu_read_unlock_trace() will report the quiescent state (in which
787// case the count of readers is incremented). If both attempts fail,
Paul E. McKenney45f4b4a2021-05-24 11:26:53 -0700788// the task is added to a "holdout" list. Note that IPIs are used
789// to invoke trc_read_check_handler() in the context of running tasks
790// in order to avoid ordering overhead on common-case shared-variable
791// accessses.
Paul E. McKenneya434dd12021-02-25 10:26:00 -0800792// rcu_tasks_trace_postscan():
793// Initialize state and attempt to identify an immediate quiescent
794// state as above (but only for idle tasks), unblock CPU-hotplug
795// operations, and wait for an RCU grace period to avoid races with
796// tasks that are in the process of exiting.
797// check_all_holdout_tasks_trace(), repeatedly until holdout list is empty:
798// Scans the holdout list, attempting to identify a quiescent state
799// for each task on the list. If there is a quiescent state, the
800// corresponding task is removed from the holdout list.
801// rcu_tasks_trace_postgp():
802// Wait for the count of readers do drop to zero, reporting any stalls.
803// Also execute full memory barriers to maintain ordering with code
804// executing after the grace period.
805//
806// The exit_tasks_rcu_finish_trace() synchronizes with exiting tasks.
807//
808// Pre-grace-period update-side code is ordered before the grace
809// period via the ->cbs_lock and barriers in rcu_tasks_kthread().
810// Pre-grace-period read-side code is ordered before the grace period by
811// atomic_dec_and_test() of the count of readers (for IPIed readers) and by
812// scheduler context-switch ordering (for locked-down non-running readers).
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -0700813
814// The lockdep state must be outside of #ifdef to be useful.
815#ifdef CONFIG_DEBUG_LOCK_ALLOC
816static struct lock_class_key rcu_lock_trace_key;
817struct lockdep_map rcu_trace_lock_map =
818 STATIC_LOCKDEP_MAP_INIT("rcu_read_lock_trace", &rcu_lock_trace_key);
819EXPORT_SYMBOL_GPL(rcu_trace_lock_map);
820#endif /* #ifdef CONFIG_DEBUG_LOCK_ALLOC */
821
822#ifdef CONFIG_TASKS_TRACE_RCU
823
Paul E. McKenney30d8aa52020-06-09 09:24:51 -0700824static atomic_t trc_n_readers_need_end; // Number of waited-for readers.
825static DECLARE_WAIT_QUEUE_HEAD(trc_wait); // List of holdout tasks.
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -0700826
827// Record outstanding IPIs to each CPU. No point in sending two...
828static DEFINE_PER_CPU(bool, trc_ipi_to_cpu);
829
Paul E. McKenney40471502020-03-22 13:34:34 -0700830// The number of detections of task quiescent state relying on
831// heavyweight readers executing explicit memory barriers.
Paul E. McKenney6731da92020-09-09 14:14:34 -0700832static unsigned long n_heavy_reader_attempts;
833static unsigned long n_heavy_reader_updates;
834static unsigned long n_heavy_reader_ofl_updates;
Paul E. McKenney40471502020-03-22 13:34:34 -0700835
Paul E. McKenneyb0afa0f2020-03-17 11:39:26 -0700836void call_rcu_tasks_trace(struct rcu_head *rhp, rcu_callback_t func);
837DEFINE_RCU_TASKS(rcu_tasks_trace, rcu_tasks_wait_gp, call_rcu_tasks_trace,
838 "RCU Tasks Trace");
839
Paul E. McKenneyb38f57c2020-03-20 14:29:08 -0700840/*
841 * This irq_work handler allows rcu_read_unlock_trace() to be invoked
842 * while the scheduler locks are held.
843 */
844static void rcu_read_unlock_iw(struct irq_work *iwp)
845{
846 wake_up(&trc_wait);
847}
848static DEFINE_IRQ_WORK(rcu_tasks_trace_iw, rcu_read_unlock_iw);
849
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -0700850/* If we are the last reader, wake up the grace-period kthread. */
Paul E. McKenneya5c071c2021-07-28 12:28:27 -0700851void rcu_read_unlock_trace_special(struct task_struct *t)
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -0700852{
Paul E. McKenneyf8ab3fa2021-05-24 15:36:37 -0700853 int nq = READ_ONCE(t->trc_reader_special.b.need_qs);
Paul E. McKenney276c4102020-03-17 16:02:06 -0700854
Paul E. McKenney9ae58d72020-03-18 17:16:37 -0700855 if (IS_ENABLED(CONFIG_TASKS_TRACE_RCU_READ_MB) &&
856 t->trc_reader_special.b.need_mb)
Paul E. McKenney276c4102020-03-17 16:02:06 -0700857 smp_mb(); // Pairs with update-side barriers.
858 // Update .need_qs before ->trc_reader_nesting for irq/NMI handlers.
859 if (nq)
860 WRITE_ONCE(t->trc_reader_special.b.need_qs, false);
Paul E. McKenneya5c071c2021-07-28 12:28:27 -0700861 WRITE_ONCE(t->trc_reader_nesting, 0);
Paul E. McKenney276c4102020-03-17 16:02:06 -0700862 if (nq && atomic_dec_and_test(&trc_n_readers_need_end))
Paul E. McKenneyb38f57c2020-03-20 14:29:08 -0700863 irq_work_queue(&rcu_tasks_trace_iw);
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -0700864}
865EXPORT_SYMBOL_GPL(rcu_read_unlock_trace_special);
866
867/* Add a task to the holdout list, if it is not already on the list. */
868static void trc_add_holdout(struct task_struct *t, struct list_head *bhp)
869{
870 if (list_empty(&t->trc_holdout_list)) {
871 get_task_struct(t);
872 list_add(&t->trc_holdout_list, bhp);
873 }
874}
875
876/* Remove a task from the holdout list, if it is in fact present. */
877static void trc_del_holdout(struct task_struct *t)
878{
879 if (!list_empty(&t->trc_holdout_list)) {
880 list_del_init(&t->trc_holdout_list);
881 put_task_struct(t);
882 }
883}
884
885/* IPI handler to check task state. */
886static void trc_read_check_handler(void *t_in)
887{
888 struct task_struct *t = current;
889 struct task_struct *texp = t_in;
890
891 // If the task is no longer running on this CPU, leave.
892 if (unlikely(texp != t)) {
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -0700893 goto reset_ipi; // Already on holdout list, so will check later.
894 }
895
896 // If the task is not in a read-side critical section, and
897 // if this is the last reader, awaken the grace-period kthread.
Paul E. McKenneybdb0cca2021-05-24 12:48:18 -0700898 if (likely(!READ_ONCE(t->trc_reader_nesting))) {
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -0700899 WRITE_ONCE(t->trc_reader_checked, true);
900 goto reset_ipi;
901 }
Paul E. McKenneyba3a86e2020-09-14 15:44:37 -0700902 // If we are racing with an rcu_read_unlock_trace(), try again later.
Paul E. McKenney96017bf2021-07-28 10:53:41 -0700903 if (unlikely(READ_ONCE(t->trc_reader_nesting) < 0))
Paul E. McKenneyba3a86e2020-09-14 15:44:37 -0700904 goto reset_ipi;
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -0700905 WRITE_ONCE(t->trc_reader_checked, true);
906
907 // Get here if the task is in a read-side critical section. Set
908 // its state so that it will awaken the grace-period kthread upon
909 // exit from that critical section.
Paul E. McKenney96017bf2021-07-28 10:53:41 -0700910 atomic_inc(&trc_n_readers_need_end); // One more to wait on.
Paul E. McKenneyf8ab3fa2021-05-24 15:36:37 -0700911 WARN_ON_ONCE(READ_ONCE(t->trc_reader_special.b.need_qs));
Paul E. McKenney276c4102020-03-17 16:02:06 -0700912 WRITE_ONCE(t->trc_reader_special.b.need_qs, true);
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -0700913
914reset_ipi:
915 // Allow future IPIs to be sent on CPU and for task.
916 // Also order this IPI handler against any later manipulations of
917 // the intended task.
Liu Song8211e922021-06-30 22:08:02 +0800918 smp_store_release(per_cpu_ptr(&trc_ipi_to_cpu, smp_processor_id()), false); // ^^^
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -0700919 smp_store_release(&texp->trc_ipi_to_cpu, -1); // ^^^
920}
921
922/* Callback function for scheduler to check locked-down task. */
923static bool trc_inspect_reader(struct task_struct *t, void *arg)
924{
Paul E. McKenney7d0c9c52020-03-19 15:33:12 -0700925 int cpu = task_cpu(t);
Paul E. McKenney18f08e72021-07-28 11:32:28 -0700926 int nesting;
Paul E. McKenney7e3b70e2020-03-22 11:24:58 -0700927 bool ofl = cpu_is_offline(cpu);
Paul E. McKenney7d0c9c52020-03-19 15:33:12 -0700928
929 if (task_curr(t)) {
Paul E. McKenney30d8aa52020-06-09 09:24:51 -0700930 WARN_ON_ONCE(ofl && !is_idle_task(t));
Paul E. McKenney7e3b70e2020-03-22 11:24:58 -0700931
Paul E. McKenney7d0c9c52020-03-19 15:33:12 -0700932 // If no chance of heavyweight readers, do it the hard way.
Paul E. McKenney7e3b70e2020-03-22 11:24:58 -0700933 if (!ofl && !IS_ENABLED(CONFIG_TASKS_TRACE_RCU_READ_MB))
Paul E. McKenney7d0c9c52020-03-19 15:33:12 -0700934 return false;
935
936 // If heavyweight readers are enabled on the remote task,
937 // we can inspect its state despite its currently running.
938 // However, we cannot safely change its state.
Paul E. McKenney40471502020-03-22 13:34:34 -0700939 n_heavy_reader_attempts++;
Paul E. McKenney7e3b70e2020-03-22 11:24:58 -0700940 if (!ofl && // Check for "running" idle tasks on offline CPUs.
941 !rcu_dynticks_zero_in_eqs(cpu, &t->trc_reader_nesting))
Paul E. McKenney7d0c9c52020-03-19 15:33:12 -0700942 return false; // No quiescent state, do it the hard way.
Paul E. McKenney40471502020-03-22 13:34:34 -0700943 n_heavy_reader_updates++;
Paul E. McKenneyedf37752020-03-22 14:09:45 -0700944 if (ofl)
945 n_heavy_reader_ofl_updates++;
Paul E. McKenney18f08e72021-07-28 11:32:28 -0700946 nesting = 0;
Paul E. McKenney7d0c9c52020-03-19 15:33:12 -0700947 } else {
Paul E. McKenneybdb0cca2021-05-24 12:48:18 -0700948 // The task is not running, so C-language access is safe.
Paul E. McKenney18f08e72021-07-28 11:32:28 -0700949 nesting = t->trc_reader_nesting;
Paul E. McKenney7d0c9c52020-03-19 15:33:12 -0700950 }
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -0700951
Paul E. McKenney18f08e72021-07-28 11:32:28 -0700952 // If not exiting a read-side critical section, mark as checked
953 // so that the grace-period kthread will remove it from the
954 // holdout list.
955 t->trc_reader_checked = nesting >= 0;
956 if (nesting <= 0)
957 return !nesting; // If in QS, done, otherwise try again later.
Paul E. McKenney7d0c9c52020-03-19 15:33:12 -0700958
959 // The task is in a read-side critical section, so set up its
960 // state so that it will awaken the grace-period kthread upon exit
961 // from that critical section.
962 atomic_inc(&trc_n_readers_need_end); // One more to wait on.
Paul E. McKenneyf8ab3fa2021-05-24 15:36:37 -0700963 WARN_ON_ONCE(READ_ONCE(t->trc_reader_special.b.need_qs));
Paul E. McKenney7d0c9c52020-03-19 15:33:12 -0700964 WRITE_ONCE(t->trc_reader_special.b.need_qs, true);
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -0700965 return true;
966}
967
968/* Attempt to extract the state for the specified task. */
969static void trc_wait_for_one_reader(struct task_struct *t,
970 struct list_head *bhp)
971{
972 int cpu;
973
974 // If a previous IPI is still in flight, let it complete.
975 if (smp_load_acquire(&t->trc_ipi_to_cpu) != -1) // Order IPI
976 return;
977
978 // The current task had better be in a quiescent state.
979 if (t == current) {
980 t->trc_reader_checked = true;
Paul E. McKenneybdb0cca2021-05-24 12:48:18 -0700981 WARN_ON_ONCE(READ_ONCE(t->trc_reader_nesting));
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -0700982 return;
983 }
984
985 // Attempt to nail down the task for inspection.
986 get_task_struct(t);
987 if (try_invoke_on_locked_down_task(t, trc_inspect_reader, NULL)) {
988 put_task_struct(t);
989 return;
990 }
991 put_task_struct(t);
992
Paul E. McKenney45f4b4a2021-05-24 11:26:53 -0700993 // If this task is not yet on the holdout list, then we are in
994 // an RCU read-side critical section. Otherwise, the invocation of
995 // rcu_add_holdout() that added it to the list did the necessary
996 // get_task_struct(). Either way, the task cannot be freed out
997 // from under this code.
998
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -0700999 // If currently running, send an IPI, either way, add to list.
1000 trc_add_holdout(t, bhp);
Paul E. McKenney574de872020-09-09 21:51:09 -07001001 if (task_curr(t) &&
1002 time_after(jiffies + 1, rcu_tasks_trace.gp_start + rcu_task_ipi_delay)) {
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001003 // The task is currently running, so try IPIing it.
1004 cpu = task_cpu(t);
1005
1006 // If there is already an IPI outstanding, let it happen.
1007 if (per_cpu(trc_ipi_to_cpu, cpu) || t->trc_ipi_to_cpu >= 0)
1008 return;
1009
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001010 per_cpu(trc_ipi_to_cpu, cpu) = true;
1011 t->trc_ipi_to_cpu = cpu;
Paul E. McKenney238dbce2020-03-18 10:54:05 -07001012 rcu_tasks_trace.n_ipis++;
Paul E. McKenney96017bf2021-07-28 10:53:41 -07001013 if (smp_call_function_single(cpu, trc_read_check_handler, t, 0)) {
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001014 // Just in case there is some other reason for
1015 // failure than the target CPU being offline.
Paul E. McKenney7e0669c2020-03-25 14:36:05 -07001016 rcu_tasks_trace.n_ipis_fails++;
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001017 per_cpu(trc_ipi_to_cpu, cpu) = false;
1018 t->trc_ipi_to_cpu = cpu;
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001019 }
1020 }
1021}
1022
1023/* Initialize for a new RCU-tasks-trace grace period. */
1024static void rcu_tasks_trace_pregp_step(void)
1025{
1026 int cpu;
1027
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001028 // Allow for fast-acting IPIs.
1029 atomic_set(&trc_n_readers_need_end, 1);
1030
1031 // There shouldn't be any old IPIs, but...
1032 for_each_possible_cpu(cpu)
1033 WARN_ON_ONCE(per_cpu(trc_ipi_to_cpu, cpu));
Paul E. McKenney81b4a7b2020-03-22 10:10:07 -07001034
1035 // Disable CPU hotplug across the tasklist scan.
1036 // This also waits for all readers in CPU-hotplug code paths.
1037 cpus_read_lock();
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001038}
1039
1040/* Do first-round processing for the specified task. */
1041static void rcu_tasks_trace_pertask(struct task_struct *t,
1042 struct list_head *hop)
1043{
Uladzislau Rezki (Sony)1b04fa92020-12-09 21:27:31 +01001044 // During early boot when there is only the one boot CPU, there
1045 // is no idle task for the other CPUs. Just return.
1046 if (unlikely(t == NULL))
1047 return;
1048
Paul E. McKenney276c4102020-03-17 16:02:06 -07001049 WRITE_ONCE(t->trc_reader_special.b.need_qs, false);
Paul E. McKenney43766c32020-03-16 20:38:29 -07001050 WRITE_ONCE(t->trc_reader_checked, false);
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001051 t->trc_ipi_to_cpu = -1;
1052 trc_wait_for_one_reader(t, hop);
1053}
1054
Paul E. McKenney9796e1a2020-03-22 13:18:54 -07001055/*
1056 * Do intermediate processing between task and holdout scans and
1057 * pick up the idle tasks.
1058 */
1059static void rcu_tasks_trace_postscan(struct list_head *hop)
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001060{
Paul E. McKenney9796e1a2020-03-22 13:18:54 -07001061 int cpu;
1062
1063 for_each_possible_cpu(cpu)
1064 rcu_tasks_trace_pertask(idle_task(cpu), hop);
1065
Paul E. McKenney81b4a7b2020-03-22 10:10:07 -07001066 // Re-enable CPU hotplug now that the tasklist scan has completed.
1067 cpus_read_unlock();
1068
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001069 // Wait for late-stage exiting tasks to finish exiting.
1070 // These might have passed the call to exit_tasks_rcu_finish().
1071 synchronize_rcu();
1072 // Any tasks that exit after this point will set ->trc_reader_checked.
1073}
1074
Paul E. McKenney4593e772020-03-10 12:13:53 -07001075/* Show the state of a task stalling the current RCU tasks trace GP. */
1076static void show_stalled_task_trace(struct task_struct *t, bool *firstreport)
1077{
1078 int cpu;
1079
1080 if (*firstreport) {
1081 pr_err("INFO: rcu_tasks_trace detected stalls on tasks:\n");
1082 *firstreport = false;
1083 }
1084 // FIXME: This should attempt to use try_invoke_on_nonrunning_task().
1085 cpu = task_cpu(t);
1086 pr_alert("P%d: %c%c%c nesting: %d%c cpu: %d\n",
1087 t->pid,
1088 ".I"[READ_ONCE(t->trc_ipi_to_cpu) > 0],
1089 ".i"[is_idle_task(t)],
1090 ".N"[cpu > 0 && tick_nohz_full_cpu(cpu)],
Paul E. McKenneybdb0cca2021-05-24 12:48:18 -07001091 READ_ONCE(t->trc_reader_nesting),
Paul E. McKenneyf8ab3fa2021-05-24 15:36:37 -07001092 " N"[!!READ_ONCE(t->trc_reader_special.b.need_qs)],
Paul E. McKenney4593e772020-03-10 12:13:53 -07001093 cpu);
1094 sched_show_task(t);
1095}
1096
1097/* List stalled IPIs for RCU tasks trace. */
1098static void show_stalled_ipi_trace(void)
1099{
1100 int cpu;
1101
1102 for_each_possible_cpu(cpu)
1103 if (per_cpu(trc_ipi_to_cpu, cpu))
1104 pr_alert("\tIPI outstanding to CPU %d\n", cpu);
1105}
1106
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001107/* Do one scan of the holdout list. */
1108static void check_all_holdout_tasks_trace(struct list_head *hop,
Paul E. McKenney4593e772020-03-10 12:13:53 -07001109 bool needreport, bool *firstreport)
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001110{
1111 struct task_struct *g, *t;
1112
Paul E. McKenney81b4a7b2020-03-22 10:10:07 -07001113 // Disable CPU hotplug across the holdout list scan.
1114 cpus_read_lock();
1115
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001116 list_for_each_entry_safe(t, g, hop, trc_holdout_list) {
1117 // If safe and needed, try to check the current task.
1118 if (READ_ONCE(t->trc_ipi_to_cpu) == -1 &&
1119 !READ_ONCE(t->trc_reader_checked))
1120 trc_wait_for_one_reader(t, hop);
1121
1122 // If check succeeded, remove this task from the list.
1123 if (READ_ONCE(t->trc_reader_checked))
1124 trc_del_holdout(t);
Paul E. McKenney4593e772020-03-10 12:13:53 -07001125 else if (needreport)
1126 show_stalled_task_trace(t, firstreport);
1127 }
Paul E. McKenney81b4a7b2020-03-22 10:10:07 -07001128
1129 // Re-enable CPU hotplug now that the holdout list scan has completed.
1130 cpus_read_unlock();
1131
Paul E. McKenney4593e772020-03-10 12:13:53 -07001132 if (needreport) {
1133 if (firstreport)
1134 pr_err("INFO: rcu_tasks_trace detected stalls? (Late IPI?)\n");
1135 show_stalled_ipi_trace();
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001136 }
1137}
1138
Paul E. McKenneycbe0d8d2021-07-30 12:17:59 -07001139static void rcu_tasks_trace_empty_fn(void *unused)
1140{
1141}
1142
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001143/* Wait for grace period to complete and provide ordering. */
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -07001144static void rcu_tasks_trace_postgp(struct rcu_tasks *rtp)
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001145{
Paul E. McKenneycbe0d8d2021-07-30 12:17:59 -07001146 int cpu;
Paul E. McKenney4593e772020-03-10 12:13:53 -07001147 bool firstreport;
1148 struct task_struct *g, *t;
1149 LIST_HEAD(holdouts);
1150 long ret;
1151
Paul E. McKenneycbe0d8d2021-07-30 12:17:59 -07001152 // Wait for any lingering IPI handlers to complete. Note that
1153 // if a CPU has gone offline or transitioned to userspace in the
1154 // meantime, all IPI handlers should have been drained beforehand.
1155 // Yes, this assumes that CPUs process IPIs in order. If that ever
1156 // changes, there will need to be a recheck and/or timed wait.
1157 for_each_online_cpu(cpu)
1158 if (smp_load_acquire(per_cpu_ptr(&trc_ipi_to_cpu, cpu)))
1159 smp_call_function_single(cpu, rcu_tasks_trace_empty_fn, NULL, 1);
1160
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001161 // Remove the safety count.
1162 smp_mb__before_atomic(); // Order vs. earlier atomics
1163 atomic_dec(&trc_n_readers_need_end);
1164 smp_mb__after_atomic(); // Order vs. later atomics
1165
1166 // Wait for readers.
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -07001167 set_tasks_gp_state(rtp, RTGS_WAIT_READERS);
Paul E. McKenney4593e772020-03-10 12:13:53 -07001168 for (;;) {
1169 ret = wait_event_idle_exclusive_timeout(
1170 trc_wait,
1171 atomic_read(&trc_n_readers_need_end) == 0,
1172 READ_ONCE(rcu_task_stall_timeout));
1173 if (ret)
1174 break; // Count reached zero.
Paul E. McKenneyaf051ca2020-03-16 12:13:33 -07001175 // Stall warning time, so make a list of the offenders.
Paul E. McKenneyf747c7e2020-09-15 14:27:38 -07001176 rcu_read_lock();
Paul E. McKenney4593e772020-03-10 12:13:53 -07001177 for_each_process_thread(g, t)
Paul E. McKenney276c4102020-03-17 16:02:06 -07001178 if (READ_ONCE(t->trc_reader_special.b.need_qs))
Paul E. McKenney4593e772020-03-10 12:13:53 -07001179 trc_add_holdout(t, &holdouts);
Paul E. McKenneyf747c7e2020-09-15 14:27:38 -07001180 rcu_read_unlock();
Paul E. McKenney4593e772020-03-10 12:13:53 -07001181 firstreport = true;
Paul E. McKenney592031c2020-09-15 14:03:34 -07001182 list_for_each_entry_safe(t, g, &holdouts, trc_holdout_list) {
1183 if (READ_ONCE(t->trc_reader_special.b.need_qs))
Paul E. McKenney4593e772020-03-10 12:13:53 -07001184 show_stalled_task_trace(t, &firstreport);
Paul E. McKenney592031c2020-09-15 14:03:34 -07001185 trc_del_holdout(t); // Release task_struct reference.
1186 }
Paul E. McKenney4593e772020-03-10 12:13:53 -07001187 if (firstreport)
1188 pr_err("INFO: rcu_tasks_trace detected stalls? (Counter/taskslist mismatch?)\n");
1189 show_stalled_ipi_trace();
1190 pr_err("\t%d holdouts\n", atomic_read(&trc_n_readers_need_end));
1191 }
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001192 smp_mb(); // Caller's code must be ordered after wakeup.
Paul E. McKenney43766c32020-03-16 20:38:29 -07001193 // Pairs with pretty much every ordering primitive.
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001194}
1195
1196/* Report any needed quiescent state for this exiting task. */
Paul E. McKenney25246fc2020-04-05 20:49:13 -07001197static void exit_tasks_rcu_finish_trace(struct task_struct *t)
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001198{
1199 WRITE_ONCE(t->trc_reader_checked, true);
Paul E. McKenneybdb0cca2021-05-24 12:48:18 -07001200 WARN_ON_ONCE(READ_ONCE(t->trc_reader_nesting));
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001201 WRITE_ONCE(t->trc_reader_nesting, 0);
Paul E. McKenney276c4102020-03-17 16:02:06 -07001202 if (WARN_ON_ONCE(READ_ONCE(t->trc_reader_special.b.need_qs)))
Paul E. McKenneya5c071c2021-07-28 12:28:27 -07001203 rcu_read_unlock_trace_special(t);
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001204}
1205
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001206/**
1207 * call_rcu_tasks_trace() - Queue a callback trace task-based grace period
1208 * @rhp: structure to be used for queueing the RCU updates.
1209 * @func: actual callback function to be invoked after the grace period
1210 *
1211 * The callback function will be invoked some time after a full grace
1212 * period elapses, in other words after all currently executing RCU
1213 * read-side critical sections have completed. call_rcu_tasks_trace()
1214 * assumes that the read-side critical sections end at context switch,
1215 * cond_resched_rcu_qs(), or transition to usermode execution. As such,
1216 * there are no read-side primitives analogous to rcu_read_lock() and
1217 * rcu_read_unlock() because this primitive is intended to determine
1218 * that all tasks have passed through a safe state, not so much for
Ingo Molnara616aec2021-03-22 22:29:10 -07001219 * data-structure synchronization.
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001220 *
1221 * See the description of call_rcu() for more detailed information on
1222 * memory ordering guarantees.
1223 */
1224void call_rcu_tasks_trace(struct rcu_head *rhp, rcu_callback_t func)
1225{
1226 call_rcu_tasks_generic(rhp, func, &rcu_tasks_trace);
1227}
1228EXPORT_SYMBOL_GPL(call_rcu_tasks_trace);
1229
1230/**
1231 * synchronize_rcu_tasks_trace - wait for a trace rcu-tasks grace period
1232 *
1233 * Control will return to the caller some time after a trace rcu-tasks
Paul E. McKenneyc7dcf812020-06-12 13:11:29 -07001234 * grace period has elapsed, in other words after all currently executing
1235 * rcu-tasks read-side critical sections have elapsed. These read-side
1236 * critical sections are delimited by calls to rcu_read_lock_trace()
1237 * and rcu_read_unlock_trace().
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001238 *
1239 * This is a very specialized primitive, intended only for a few uses in
1240 * tracing and other situations requiring manipulation of function preambles
1241 * and profiling hooks. The synchronize_rcu_tasks_trace() function is not
1242 * (yet) intended for heavy use from multiple CPUs.
1243 *
1244 * See the description of synchronize_rcu() for more detailed information
1245 * on memory ordering guarantees.
1246 */
1247void synchronize_rcu_tasks_trace(void)
1248{
1249 RCU_LOCKDEP_WARN(lock_is_held(&rcu_trace_lock_map), "Illegal synchronize_rcu_tasks_trace() in RCU Tasks Trace read-side critical section");
1250 synchronize_rcu_tasks_generic(&rcu_tasks_trace);
1251}
1252EXPORT_SYMBOL_GPL(synchronize_rcu_tasks_trace);
1253
1254/**
1255 * rcu_barrier_tasks_trace - Wait for in-flight call_rcu_tasks_trace() callbacks.
1256 *
1257 * Although the current implementation is guaranteed to wait, it is not
1258 * obligated to, for example, if there are no pending callbacks.
1259 */
1260void rcu_barrier_tasks_trace(void)
1261{
1262 /* There is only one callback queue, so this is easy. ;-) */
1263 synchronize_rcu_tasks_trace();
1264}
1265EXPORT_SYMBOL_GPL(rcu_barrier_tasks_trace);
1266
1267static int __init rcu_spawn_tasks_trace_kthread(void)
1268{
Paul E. McKenney2393a612020-09-09 21:36:34 -07001269 if (IS_ENABLED(CONFIG_TASKS_TRACE_RCU_READ_MB)) {
Paul E. McKenney4fe192d2020-09-09 22:05:41 -07001270 rcu_tasks_trace.gp_sleep = HZ / 10;
Paul E. McKenney75dc2da2020-09-17 16:17:17 -07001271 rcu_tasks_trace.init_fract = HZ / 10;
Paul E. McKenney2393a612020-09-09 21:36:34 -07001272 } else {
Paul E. McKenney4fe192d2020-09-09 22:05:41 -07001273 rcu_tasks_trace.gp_sleep = HZ / 200;
1274 if (rcu_tasks_trace.gp_sleep <= 0)
1275 rcu_tasks_trace.gp_sleep = 1;
Paul E. McKenney75dc2da2020-09-17 16:17:17 -07001276 rcu_tasks_trace.init_fract = HZ / 200;
Paul E. McKenney2393a612020-09-09 21:36:34 -07001277 if (rcu_tasks_trace.init_fract <= 0)
1278 rcu_tasks_trace.init_fract = 1;
1279 }
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001280 rcu_tasks_trace.pregp_func = rcu_tasks_trace_pregp_step;
1281 rcu_tasks_trace.pertask_func = rcu_tasks_trace_pertask;
1282 rcu_tasks_trace.postscan_func = rcu_tasks_trace_postscan;
1283 rcu_tasks_trace.holdouts_func = check_all_holdout_tasks_trace;
1284 rcu_tasks_trace.postgp_func = rcu_tasks_trace_postgp;
1285 rcu_spawn_tasks_kthread_generic(&rcu_tasks_trace);
1286 return 0;
1287}
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001288
Paul E. McKenney27c0f142020-09-15 17:08:03 -07001289#if !defined(CONFIG_TINY_RCU)
1290void show_rcu_tasks_trace_gp_kthread(void)
Paul E. McKenneye21408c2020-03-16 11:01:55 -07001291{
Paul E. McKenney40471502020-03-22 13:34:34 -07001292 char buf[64];
Paul E. McKenneye21408c2020-03-16 11:01:55 -07001293
Paul E. McKenneyedf37752020-03-22 14:09:45 -07001294 sprintf(buf, "N%d h:%lu/%lu/%lu", atomic_read(&trc_n_readers_need_end),
1295 data_race(n_heavy_reader_ofl_updates),
Paul E. McKenney40471502020-03-22 13:34:34 -07001296 data_race(n_heavy_reader_updates),
1297 data_race(n_heavy_reader_attempts));
Paul E. McKenneye21408c2020-03-16 11:01:55 -07001298 show_rcu_tasks_generic_gp_kthread(&rcu_tasks_trace, buf);
1299}
Paul E. McKenney27c0f142020-09-15 17:08:03 -07001300EXPORT_SYMBOL_GPL(show_rcu_tasks_trace_gp_kthread);
1301#endif // !defined(CONFIG_TINY_RCU)
Paul E. McKenneye21408c2020-03-16 11:01:55 -07001302
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001303#else /* #ifdef CONFIG_TASKS_TRACE_RCU */
Paul E. McKenney25246fc2020-04-05 20:49:13 -07001304static void exit_tasks_rcu_finish_trace(struct task_struct *t) { }
Paul E. McKenneyd5f177d2020-03-09 19:56:53 -07001305#endif /* #else #ifdef CONFIG_TASKS_TRACE_RCU */
Paul E. McKenney8fd8ca32020-03-15 14:51:20 -07001306
Paul E. McKenney83444962020-05-28 20:03:48 -07001307#ifndef CONFIG_TINY_RCU
Paul E. McKenneye21408c2020-03-16 11:01:55 -07001308void show_rcu_tasks_gp_kthreads(void)
1309{
1310 show_rcu_tasks_classic_gp_kthread();
1311 show_rcu_tasks_rude_gp_kthread();
1312 show_rcu_tasks_trace_gp_kthread();
1313}
Paul E. McKenney83444962020-05-28 20:03:48 -07001314#endif /* #ifndef CONFIG_TINY_RCU */
Paul E. McKenneye21408c2020-03-16 11:01:55 -07001315
Uladzislau Rezki (Sony)bfba7ed2020-12-09 21:27:32 +01001316#ifdef CONFIG_PROVE_RCU
1317struct rcu_tasks_test_desc {
1318 struct rcu_head rh;
1319 const char *name;
1320 bool notrun;
1321};
1322
1323static struct rcu_tasks_test_desc tests[] = {
1324 {
1325 .name = "call_rcu_tasks()",
1326 /* If not defined, the test is skipped. */
1327 .notrun = !IS_ENABLED(CONFIG_TASKS_RCU),
1328 },
1329 {
1330 .name = "call_rcu_tasks_rude()",
1331 /* If not defined, the test is skipped. */
1332 .notrun = !IS_ENABLED(CONFIG_TASKS_RUDE_RCU),
1333 },
1334 {
1335 .name = "call_rcu_tasks_trace()",
1336 /* If not defined, the test is skipped. */
1337 .notrun = !IS_ENABLED(CONFIG_TASKS_TRACE_RCU)
1338 }
1339};
1340
1341static void test_rcu_tasks_callback(struct rcu_head *rhp)
1342{
1343 struct rcu_tasks_test_desc *rttd =
1344 container_of(rhp, struct rcu_tasks_test_desc, rh);
1345
1346 pr_info("Callback from %s invoked.\n", rttd->name);
1347
1348 rttd->notrun = true;
1349}
1350
1351static void rcu_tasks_initiate_self_tests(void)
1352{
1353 pr_info("Running RCU-tasks wait API self tests\n");
1354#ifdef CONFIG_TASKS_RCU
1355 synchronize_rcu_tasks();
1356 call_rcu_tasks(&tests[0].rh, test_rcu_tasks_callback);
1357#endif
1358
1359#ifdef CONFIG_TASKS_RUDE_RCU
1360 synchronize_rcu_tasks_rude();
1361 call_rcu_tasks_rude(&tests[1].rh, test_rcu_tasks_callback);
1362#endif
1363
1364#ifdef CONFIG_TASKS_TRACE_RCU
1365 synchronize_rcu_tasks_trace();
1366 call_rcu_tasks_trace(&tests[2].rh, test_rcu_tasks_callback);
1367#endif
1368}
1369
1370static int rcu_tasks_verify_self_tests(void)
1371{
1372 int ret = 0;
1373 int i;
1374
1375 for (i = 0; i < ARRAY_SIZE(tests); i++) {
1376 if (!tests[i].notrun) { // still hanging.
1377 pr_err("%s has been failed.\n", tests[i].name);
1378 ret = -1;
1379 }
1380 }
1381
1382 if (ret)
1383 WARN_ON(1);
1384
1385 return ret;
1386}
1387late_initcall(rcu_tasks_verify_self_tests);
1388#else /* #ifdef CONFIG_PROVE_RCU */
1389static void rcu_tasks_initiate_self_tests(void) { }
1390#endif /* #else #ifdef CONFIG_PROVE_RCU */
1391
Uladzislau Rezki (Sony)1b04fa92020-12-09 21:27:31 +01001392void __init rcu_init_tasks_generic(void)
1393{
1394#ifdef CONFIG_TASKS_RCU
1395 rcu_spawn_tasks_kthread();
1396#endif
1397
1398#ifdef CONFIG_TASKS_RUDE_RCU
1399 rcu_spawn_tasks_rude_kthread();
1400#endif
1401
1402#ifdef CONFIG_TASKS_TRACE_RCU
1403 rcu_spawn_tasks_trace_kthread();
1404#endif
Uladzislau Rezki (Sony)bfba7ed2020-12-09 21:27:32 +01001405
1406 // Run the self-tests.
1407 rcu_tasks_initiate_self_tests();
Uladzislau Rezki (Sony)1b04fa92020-12-09 21:27:31 +01001408}
1409
Paul E. McKenney8fd8ca32020-03-15 14:51:20 -07001410#else /* #ifdef CONFIG_TASKS_RCU_GENERIC */
1411static inline void rcu_tasks_bootup_oddness(void) {}
1412#endif /* #else #ifdef CONFIG_TASKS_RCU_GENERIC */