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