Thomas Gleixner | 457c899 | 2019-05-19 13:08:55 +0100 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0-only |
Frederic Weisbecker | 4eacdf1 | 2013-01-16 17:16:37 +0100 | [diff] [blame] | 2 | /* |
| 3 | * Context tracking: Probe on high level context boundaries such as kernel |
| 4 | * and userspace. This includes syscalls and exceptions entry/exit. |
| 5 | * |
| 6 | * This is used by RCU to remove its dependency on the timer tick while a CPU |
| 7 | * runs in userspace. |
| 8 | * |
| 9 | * Started by Frederic Weisbecker: |
| 10 | * |
| 11 | * Copyright (C) 2012 Red Hat, Inc., Frederic Weisbecker <fweisbec@redhat.com> |
| 12 | * |
| 13 | * Many thanks to Gilad Ben-Yossef, Paul McKenney, Ingo Molnar, Andrew Morton, |
| 14 | * Steven Rostedt, Peter Zijlstra for suggestions and improvements. |
| 15 | * |
| 16 | */ |
| 17 | |
Frederic Weisbecker | 91d1aa43 | 2012-11-27 19:33:25 +0100 | [diff] [blame] | 18 | #include <linux/context_tracking.h> |
| 19 | #include <linux/rcupdate.h> |
| 20 | #include <linux/sched.h> |
Frederic Weisbecker | 91d1aa43 | 2012-11-27 19:33:25 +0100 | [diff] [blame] | 21 | #include <linux/hardirq.h> |
Frederic Weisbecker | 6a61671 | 2012-12-16 20:00:34 +0100 | [diff] [blame] | 22 | #include <linux/export.h> |
Masami Hiramatsu | 4cdf77a | 2014-06-14 06:47:12 +0000 | [diff] [blame] | 23 | #include <linux/kprobes.h> |
Frederic Weisbecker | 91d1aa43 | 2012-11-27 19:33:25 +0100 | [diff] [blame] | 24 | |
Frederic Weisbecker | 1b6a259 | 2013-07-11 20:27:43 +0200 | [diff] [blame] | 25 | #define CREATE_TRACE_POINTS |
| 26 | #include <trace/events/context_tracking.h> |
| 27 | |
Frederic Weisbecker | 74c5787 | 2019-10-16 04:56:51 +0200 | [diff] [blame] | 28 | DEFINE_STATIC_KEY_FALSE(context_tracking_key); |
| 29 | EXPORT_SYMBOL_GPL(context_tracking_key); |
Frederic Weisbecker | 65f382f | 2013-07-11 19:12:32 +0200 | [diff] [blame] | 30 | |
| 31 | DEFINE_PER_CPU(struct context_tracking, context_tracking); |
Frederic Weisbecker | 48d6a81 | 2013-07-10 02:44:35 +0200 | [diff] [blame] | 32 | EXPORT_SYMBOL_GPL(context_tracking); |
Frederic Weisbecker | 91d1aa43 | 2012-11-27 19:33:25 +0100 | [diff] [blame] | 33 | |
Thomas Gleixner | 0372007 | 2020-03-04 11:05:22 +0100 | [diff] [blame] | 34 | static noinstr bool context_tracking_recursion_enter(void) |
Frederic Weisbecker | aed5ed4 | 2015-05-06 18:04:23 +0200 | [diff] [blame] | 35 | { |
| 36 | int recursion; |
| 37 | |
| 38 | recursion = __this_cpu_inc_return(context_tracking.recursion); |
| 39 | if (recursion == 1) |
| 40 | return true; |
| 41 | |
| 42 | WARN_ONCE((recursion < 1), "Invalid context tracking recursion value %d\n", recursion); |
| 43 | __this_cpu_dec(context_tracking.recursion); |
| 44 | |
| 45 | return false; |
| 46 | } |
| 47 | |
Thomas Gleixner | 0372007 | 2020-03-04 11:05:22 +0100 | [diff] [blame] | 48 | static __always_inline void context_tracking_recursion_exit(void) |
Frederic Weisbecker | aed5ed4 | 2015-05-06 18:04:23 +0200 | [diff] [blame] | 49 | { |
| 50 | __this_cpu_dec(context_tracking.recursion); |
| 51 | } |
| 52 | |
Frederic Weisbecker | 4eacdf1 | 2013-01-16 17:16:37 +0100 | [diff] [blame] | 53 | /** |
Rik van Riel | 3aab4f5 | 2015-02-10 15:27:50 -0500 | [diff] [blame] | 54 | * context_tracking_enter - Inform the context tracking that the CPU is going |
| 55 | * enter user or guest space mode. |
Frederic Weisbecker | 4eacdf1 | 2013-01-16 17:16:37 +0100 | [diff] [blame] | 56 | * |
| 57 | * This function must be called right before we switch from the kernel |
Rik van Riel | 3aab4f5 | 2015-02-10 15:27:50 -0500 | [diff] [blame] | 58 | * to user or guest space, when it's guaranteed the remaining kernel |
| 59 | * instructions to execute won't use any RCU read side critical section |
| 60 | * because this function sets RCU in extended quiescent state. |
Frederic Weisbecker | 4eacdf1 | 2013-01-16 17:16:37 +0100 | [diff] [blame] | 61 | */ |
Thomas Gleixner | 0372007 | 2020-03-04 11:05:22 +0100 | [diff] [blame] | 62 | void noinstr __context_tracking_enter(enum ctx_state state) |
Frederic Weisbecker | 91d1aa43 | 2012-11-27 19:33:25 +0100 | [diff] [blame] | 63 | { |
Frederic Weisbecker | 4eacdf1 | 2013-01-16 17:16:37 +0100 | [diff] [blame] | 64 | /* Kernel threads aren't supposed to go to userspace */ |
Frederic Weisbecker | 91d1aa43 | 2012-11-27 19:33:25 +0100 | [diff] [blame] | 65 | WARN_ON_ONCE(!current->mm); |
| 66 | |
Frederic Weisbecker | aed5ed4 | 2015-05-06 18:04:23 +0200 | [diff] [blame] | 67 | if (!context_tracking_recursion_enter()) |
Paolo Bonzini | d0e536d | 2015-10-28 02:39:56 +0100 | [diff] [blame] | 68 | return; |
Frederic Weisbecker | aed5ed4 | 2015-05-06 18:04:23 +0200 | [diff] [blame] | 69 | |
Rik van Riel | 3aab4f5 | 2015-02-10 15:27:50 -0500 | [diff] [blame] | 70 | if ( __this_cpu_read(context_tracking.state) != state) { |
Frederic Weisbecker | d65ec12 | 2013-07-11 23:59:33 +0200 | [diff] [blame] | 71 | if (__this_cpu_read(context_tracking.active)) { |
| 72 | /* |
| 73 | * At this stage, only low level arch entry code remains and |
| 74 | * then we'll run in userspace. We can assume there won't be |
| 75 | * any RCU read-side critical section until the next call to |
| 76 | * user_exit() or rcu_irq_enter(). Let's remove RCU's dependency |
| 77 | * on the tick. |
| 78 | */ |
Rik van Riel | 19fdd98 | 2015-02-10 15:27:52 -0500 | [diff] [blame] | 79 | if (state == CONTEXT_USER) { |
Thomas Gleixner | 0372007 | 2020-03-04 11:05:22 +0100 | [diff] [blame] | 80 | instrumentation_begin(); |
Rik van Riel | 19fdd98 | 2015-02-10 15:27:52 -0500 | [diff] [blame] | 81 | trace_user_enter(0); |
| 82 | vtime_user_enter(current); |
Thomas Gleixner | 0372007 | 2020-03-04 11:05:22 +0100 | [diff] [blame] | 83 | instrumentation_end(); |
Rik van Riel | 19fdd98 | 2015-02-10 15:27:52 -0500 | [diff] [blame] | 84 | } |
Frederic Weisbecker | d65ec12 | 2013-07-11 23:59:33 +0200 | [diff] [blame] | 85 | rcu_user_enter(); |
| 86 | } |
Frederic Weisbecker | 4eacdf1 | 2013-01-16 17:16:37 +0100 | [diff] [blame] | 87 | /* |
Frederic Weisbecker | d65ec12 | 2013-07-11 23:59:33 +0200 | [diff] [blame] | 88 | * Even if context tracking is disabled on this CPU, because it's outside |
| 89 | * the full dynticks mask for example, we still have to keep track of the |
| 90 | * context transitions and states to prevent inconsistency on those of |
| 91 | * other CPUs. |
| 92 | * If a task triggers an exception in userspace, sleep on the exception |
| 93 | * handler and then migrate to another CPU, that new CPU must know where |
| 94 | * the exception returns by the time we call exception_exit(). |
| 95 | * This information can only be provided by the previous CPU when it called |
| 96 | * exception_enter(). |
| 97 | * OTOH we can spare the calls to vtime and RCU when context_tracking.active |
| 98 | * is false because we know that CPU is not tickless. |
Frederic Weisbecker | 4eacdf1 | 2013-01-16 17:16:37 +0100 | [diff] [blame] | 99 | */ |
Rik van Riel | 3aab4f5 | 2015-02-10 15:27:50 -0500 | [diff] [blame] | 100 | __this_cpu_write(context_tracking.state, state); |
Frederic Weisbecker | 91d1aa43 | 2012-11-27 19:33:25 +0100 | [diff] [blame] | 101 | } |
Frederic Weisbecker | aed5ed4 | 2015-05-06 18:04:23 +0200 | [diff] [blame] | 102 | context_tracking_recursion_exit(); |
Paolo Bonzini | d0e536d | 2015-10-28 02:39:56 +0100 | [diff] [blame] | 103 | } |
Paolo Bonzini | d0e536d | 2015-10-28 02:39:56 +0100 | [diff] [blame] | 104 | EXPORT_SYMBOL_GPL(__context_tracking_enter); |
| 105 | |
| 106 | void context_tracking_enter(enum ctx_state state) |
| 107 | { |
| 108 | unsigned long flags; |
| 109 | |
| 110 | /* |
| 111 | * Some contexts may involve an exception occuring in an irq, |
| 112 | * leading to that nesting: |
| 113 | * rcu_irq_enter() rcu_user_exit() rcu_user_exit() rcu_irq_exit() |
| 114 | * This would mess up the dyntick_nesting count though. And rcu_irq_*() |
| 115 | * helpers are enough to protect RCU uses inside the exception. So |
| 116 | * just return immediately if we detect we are in an IRQ. |
| 117 | */ |
| 118 | if (in_interrupt()) |
| 119 | return; |
| 120 | |
| 121 | local_irq_save(flags); |
| 122 | __context_tracking_enter(state); |
Frederic Weisbecker | 91d1aa43 | 2012-11-27 19:33:25 +0100 | [diff] [blame] | 123 | local_irq_restore(flags); |
| 124 | } |
Rik van Riel | 3aab4f5 | 2015-02-10 15:27:50 -0500 | [diff] [blame] | 125 | NOKPROBE_SYMBOL(context_tracking_enter); |
Rik van Riel | efc1e2c | 2015-02-10 15:27:53 -0500 | [diff] [blame] | 126 | EXPORT_SYMBOL_GPL(context_tracking_enter); |
Rik van Riel | 3aab4f5 | 2015-02-10 15:27:50 -0500 | [diff] [blame] | 127 | |
| 128 | void context_tracking_user_enter(void) |
| 129 | { |
Paolo Bonzini | f70cd6b | 2015-10-28 02:39:55 +0100 | [diff] [blame] | 130 | user_enter(); |
Rik van Riel | 3aab4f5 | 2015-02-10 15:27:50 -0500 | [diff] [blame] | 131 | } |
Masami Hiramatsu | 4cdf77a | 2014-06-14 06:47:12 +0000 | [diff] [blame] | 132 | NOKPROBE_SYMBOL(context_tracking_user_enter); |
Frederic Weisbecker | 91d1aa43 | 2012-11-27 19:33:25 +0100 | [diff] [blame] | 133 | |
Frederic Weisbecker | 4eacdf1 | 2013-01-16 17:16:37 +0100 | [diff] [blame] | 134 | /** |
Rik van Riel | 3aab4f5 | 2015-02-10 15:27:50 -0500 | [diff] [blame] | 135 | * context_tracking_exit - Inform the context tracking that the CPU is |
| 136 | * exiting user or guest mode and entering the kernel. |
Frederic Weisbecker | 4eacdf1 | 2013-01-16 17:16:37 +0100 | [diff] [blame] | 137 | * |
Rik van Riel | 3aab4f5 | 2015-02-10 15:27:50 -0500 | [diff] [blame] | 138 | * This function must be called after we entered the kernel from user or |
| 139 | * guest space before any use of RCU read side critical section. This |
| 140 | * potentially include any high level kernel code like syscalls, exceptions, |
| 141 | * signal handling, etc... |
Frederic Weisbecker | 4eacdf1 | 2013-01-16 17:16:37 +0100 | [diff] [blame] | 142 | * |
| 143 | * This call supports re-entrancy. This way it can be called from any exception |
| 144 | * handler without needing to know if we came from userspace or not. |
| 145 | */ |
Thomas Gleixner | 0372007 | 2020-03-04 11:05:22 +0100 | [diff] [blame] | 146 | void noinstr __context_tracking_exit(enum ctx_state state) |
Frederic Weisbecker | 91d1aa43 | 2012-11-27 19:33:25 +0100 | [diff] [blame] | 147 | { |
Frederic Weisbecker | aed5ed4 | 2015-05-06 18:04:23 +0200 | [diff] [blame] | 148 | if (!context_tracking_recursion_enter()) |
Paolo Bonzini | d0e536d | 2015-10-28 02:39:56 +0100 | [diff] [blame] | 149 | return; |
Frederic Weisbecker | aed5ed4 | 2015-05-06 18:04:23 +0200 | [diff] [blame] | 150 | |
Rik van Riel | 3aab4f5 | 2015-02-10 15:27:50 -0500 | [diff] [blame] | 151 | if (__this_cpu_read(context_tracking.state) == state) { |
Frederic Weisbecker | d65ec12 | 2013-07-11 23:59:33 +0200 | [diff] [blame] | 152 | if (__this_cpu_read(context_tracking.active)) { |
| 153 | /* |
| 154 | * We are going to run code that may use RCU. Inform |
| 155 | * RCU core about that (ie: we may need the tick again). |
| 156 | */ |
| 157 | rcu_user_exit(); |
Rik van Riel | 19fdd98 | 2015-02-10 15:27:52 -0500 | [diff] [blame] | 158 | if (state == CONTEXT_USER) { |
Thomas Gleixner | 0372007 | 2020-03-04 11:05:22 +0100 | [diff] [blame] | 159 | instrumentation_begin(); |
Rik van Riel | 19fdd98 | 2015-02-10 15:27:52 -0500 | [diff] [blame] | 160 | vtime_user_exit(current); |
| 161 | trace_user_exit(0); |
Thomas Gleixner | 0372007 | 2020-03-04 11:05:22 +0100 | [diff] [blame] | 162 | instrumentation_end(); |
Rik van Riel | 19fdd98 | 2015-02-10 15:27:52 -0500 | [diff] [blame] | 163 | } |
Frederic Weisbecker | d65ec12 | 2013-07-11 23:59:33 +0200 | [diff] [blame] | 164 | } |
Frederic Weisbecker | c467ea7 | 2015-03-04 18:06:33 +0100 | [diff] [blame] | 165 | __this_cpu_write(context_tracking.state, CONTEXT_KERNEL); |
Frederic Weisbecker | 91d1aa43 | 2012-11-27 19:33:25 +0100 | [diff] [blame] | 166 | } |
Frederic Weisbecker | aed5ed4 | 2015-05-06 18:04:23 +0200 | [diff] [blame] | 167 | context_tracking_recursion_exit(); |
Paolo Bonzini | d0e536d | 2015-10-28 02:39:56 +0100 | [diff] [blame] | 168 | } |
Paolo Bonzini | d0e536d | 2015-10-28 02:39:56 +0100 | [diff] [blame] | 169 | EXPORT_SYMBOL_GPL(__context_tracking_exit); |
| 170 | |
| 171 | void context_tracking_exit(enum ctx_state state) |
| 172 | { |
| 173 | unsigned long flags; |
| 174 | |
| 175 | if (in_interrupt()) |
| 176 | return; |
| 177 | |
| 178 | local_irq_save(flags); |
| 179 | __context_tracking_exit(state); |
Frederic Weisbecker | 91d1aa43 | 2012-11-27 19:33:25 +0100 | [diff] [blame] | 180 | local_irq_restore(flags); |
| 181 | } |
Rik van Riel | 3aab4f5 | 2015-02-10 15:27:50 -0500 | [diff] [blame] | 182 | NOKPROBE_SYMBOL(context_tracking_exit); |
Rik van Riel | efc1e2c | 2015-02-10 15:27:53 -0500 | [diff] [blame] | 183 | EXPORT_SYMBOL_GPL(context_tracking_exit); |
Rik van Riel | 3aab4f5 | 2015-02-10 15:27:50 -0500 | [diff] [blame] | 184 | |
| 185 | void context_tracking_user_exit(void) |
| 186 | { |
Paolo Bonzini | f70cd6b | 2015-10-28 02:39:55 +0100 | [diff] [blame] | 187 | user_exit(); |
Rik van Riel | 3aab4f5 | 2015-02-10 15:27:50 -0500 | [diff] [blame] | 188 | } |
Masami Hiramatsu | 4cdf77a | 2014-06-14 06:47:12 +0000 | [diff] [blame] | 189 | NOKPROBE_SYMBOL(context_tracking_user_exit); |
Frederic Weisbecker | 91d1aa43 | 2012-11-27 19:33:25 +0100 | [diff] [blame] | 190 | |
Frederic Weisbecker | fafe870 | 2015-05-06 18:04:24 +0200 | [diff] [blame] | 191 | void __init context_tracking_cpu_set(int cpu) |
Frederic Weisbecker | 91d1aa43 | 2012-11-27 19:33:25 +0100 | [diff] [blame] | 192 | { |
Frederic Weisbecker | fafe870 | 2015-05-06 18:04:24 +0200 | [diff] [blame] | 193 | static __initdata bool initialized = false; |
| 194 | |
| 195 | if (!per_cpu(context_tracking.active, cpu)) { |
| 196 | per_cpu(context_tracking.active, cpu) = true; |
Frederic Weisbecker | 74c5787 | 2019-10-16 04:56:51 +0200 | [diff] [blame] | 197 | static_branch_inc(&context_tracking_key); |
Frederic Weisbecker | fafe870 | 2015-05-06 18:04:24 +0200 | [diff] [blame] | 198 | } |
| 199 | |
| 200 | if (initialized) |
| 201 | return; |
| 202 | |
Frederic Weisbecker | 490f561 | 2020-01-27 16:41:52 +0100 | [diff] [blame] | 203 | #ifdef CONFIG_HAVE_TIF_NOHZ |
Frederic Weisbecker | fafe870 | 2015-05-06 18:04:24 +0200 | [diff] [blame] | 204 | /* |
| 205 | * Set TIF_NOHZ to init/0 and let it propagate to all tasks through fork |
| 206 | * This assumes that init is the only task at this early boot stage. |
| 207 | */ |
| 208 | set_tsk_thread_flag(&init_task, TIF_NOHZ); |
Frederic Weisbecker | 490f561 | 2020-01-27 16:41:52 +0100 | [diff] [blame] | 209 | #endif |
Frederic Weisbecker | fafe870 | 2015-05-06 18:04:24 +0200 | [diff] [blame] | 210 | WARN_ON_ONCE(!tasklist_empty()); |
| 211 | |
| 212 | initialized = true; |
Frederic Weisbecker | 91d1aa43 | 2012-11-27 19:33:25 +0100 | [diff] [blame] | 213 | } |
Frederic Weisbecker | 65f382f | 2013-07-11 19:12:32 +0200 | [diff] [blame] | 214 | |
| 215 | #ifdef CONFIG_CONTEXT_TRACKING_FORCE |
| 216 | void __init context_tracking_init(void) |
| 217 | { |
| 218 | int cpu; |
| 219 | |
| 220 | for_each_possible_cpu(cpu) |
| 221 | context_tracking_cpu_set(cpu); |
| 222 | } |
| 223 | #endif |