blob: 36a98c48aedc7c6c14e732a7ce3f360a1b8f3087 [file] [log] [blame]
Thomas Gleixner457c8992019-05-19 13:08:55 +01001// SPDX-License-Identifier: GPL-2.0-only
Frederic Weisbecker4eacdf12013-01-16 17:16:37 +01002/*
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 Weisbecker91d1aa432012-11-27 19:33:25 +010018#include <linux/context_tracking.h>
19#include <linux/rcupdate.h>
20#include <linux/sched.h>
Frederic Weisbecker91d1aa432012-11-27 19:33:25 +010021#include <linux/hardirq.h>
Frederic Weisbecker6a616712012-12-16 20:00:34 +010022#include <linux/export.h>
Masami Hiramatsu4cdf77a2014-06-14 06:47:12 +000023#include <linux/kprobes.h>
Frederic Weisbecker91d1aa432012-11-27 19:33:25 +010024
Frederic Weisbecker1b6a2592013-07-11 20:27:43 +020025#define CREATE_TRACE_POINTS
26#include <trace/events/context_tracking.h>
27
Frederic Weisbecker74c57872019-10-16 04:56:51 +020028DEFINE_STATIC_KEY_FALSE(context_tracking_key);
29EXPORT_SYMBOL_GPL(context_tracking_key);
Frederic Weisbecker65f382f2013-07-11 19:12:32 +020030
31DEFINE_PER_CPU(struct context_tracking, context_tracking);
Frederic Weisbecker48d6a812013-07-10 02:44:35 +020032EXPORT_SYMBOL_GPL(context_tracking);
Frederic Weisbecker91d1aa432012-11-27 19:33:25 +010033
Thomas Gleixner03720072020-03-04 11:05:22 +010034static noinstr bool context_tracking_recursion_enter(void)
Frederic Weisbeckeraed5ed42015-05-06 18:04:23 +020035{
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 Gleixner03720072020-03-04 11:05:22 +010048static __always_inline void context_tracking_recursion_exit(void)
Frederic Weisbeckeraed5ed42015-05-06 18:04:23 +020049{
50 __this_cpu_dec(context_tracking.recursion);
51}
52
Frederic Weisbecker4eacdf12013-01-16 17:16:37 +010053/**
Rik van Riel3aab4f52015-02-10 15:27:50 -050054 * context_tracking_enter - Inform the context tracking that the CPU is going
55 * enter user or guest space mode.
Frederic Weisbecker4eacdf12013-01-16 17:16:37 +010056 *
57 * This function must be called right before we switch from the kernel
Rik van Riel3aab4f52015-02-10 15:27:50 -050058 * 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 Weisbecker4eacdf12013-01-16 17:16:37 +010061 */
Thomas Gleixner03720072020-03-04 11:05:22 +010062void noinstr __context_tracking_enter(enum ctx_state state)
Frederic Weisbecker91d1aa432012-11-27 19:33:25 +010063{
Frederic Weisbecker4eacdf12013-01-16 17:16:37 +010064 /* Kernel threads aren't supposed to go to userspace */
Frederic Weisbecker91d1aa432012-11-27 19:33:25 +010065 WARN_ON_ONCE(!current->mm);
66
Frederic Weisbeckeraed5ed42015-05-06 18:04:23 +020067 if (!context_tracking_recursion_enter())
Paolo Bonzinid0e536d2015-10-28 02:39:56 +010068 return;
Frederic Weisbeckeraed5ed42015-05-06 18:04:23 +020069
Rik van Riel3aab4f52015-02-10 15:27:50 -050070 if ( __this_cpu_read(context_tracking.state) != state) {
Frederic Weisbeckerd65ec122013-07-11 23:59:33 +020071 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 Riel19fdd982015-02-10 15:27:52 -050079 if (state == CONTEXT_USER) {
Thomas Gleixner03720072020-03-04 11:05:22 +010080 instrumentation_begin();
Rik van Riel19fdd982015-02-10 15:27:52 -050081 trace_user_enter(0);
82 vtime_user_enter(current);
Thomas Gleixner03720072020-03-04 11:05:22 +010083 instrumentation_end();
Rik van Riel19fdd982015-02-10 15:27:52 -050084 }
Frederic Weisbeckerd65ec122013-07-11 23:59:33 +020085 rcu_user_enter();
86 }
Frederic Weisbecker4eacdf12013-01-16 17:16:37 +010087 /*
Frederic Weisbeckerd65ec122013-07-11 23:59:33 +020088 * 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 Weisbecker4eacdf12013-01-16 17:16:37 +010099 */
Rik van Riel3aab4f52015-02-10 15:27:50 -0500100 __this_cpu_write(context_tracking.state, state);
Frederic Weisbecker91d1aa432012-11-27 19:33:25 +0100101 }
Frederic Weisbeckeraed5ed42015-05-06 18:04:23 +0200102 context_tracking_recursion_exit();
Paolo Bonzinid0e536d2015-10-28 02:39:56 +0100103}
Paolo Bonzinid0e536d2015-10-28 02:39:56 +0100104EXPORT_SYMBOL_GPL(__context_tracking_enter);
105
106void 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 Weisbecker91d1aa432012-11-27 19:33:25 +0100123 local_irq_restore(flags);
124}
Rik van Riel3aab4f52015-02-10 15:27:50 -0500125NOKPROBE_SYMBOL(context_tracking_enter);
Rik van Rielefc1e2c2015-02-10 15:27:53 -0500126EXPORT_SYMBOL_GPL(context_tracking_enter);
Rik van Riel3aab4f52015-02-10 15:27:50 -0500127
128void context_tracking_user_enter(void)
129{
Paolo Bonzinif70cd6b2015-10-28 02:39:55 +0100130 user_enter();
Rik van Riel3aab4f52015-02-10 15:27:50 -0500131}
Masami Hiramatsu4cdf77a2014-06-14 06:47:12 +0000132NOKPROBE_SYMBOL(context_tracking_user_enter);
Frederic Weisbecker91d1aa432012-11-27 19:33:25 +0100133
Frederic Weisbecker4eacdf12013-01-16 17:16:37 +0100134/**
Rik van Riel3aab4f52015-02-10 15:27:50 -0500135 * context_tracking_exit - Inform the context tracking that the CPU is
136 * exiting user or guest mode and entering the kernel.
Frederic Weisbecker4eacdf12013-01-16 17:16:37 +0100137 *
Rik van Riel3aab4f52015-02-10 15:27:50 -0500138 * 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 Weisbecker4eacdf12013-01-16 17:16:37 +0100142 *
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 Gleixner03720072020-03-04 11:05:22 +0100146void noinstr __context_tracking_exit(enum ctx_state state)
Frederic Weisbecker91d1aa432012-11-27 19:33:25 +0100147{
Frederic Weisbeckeraed5ed42015-05-06 18:04:23 +0200148 if (!context_tracking_recursion_enter())
Paolo Bonzinid0e536d2015-10-28 02:39:56 +0100149 return;
Frederic Weisbeckeraed5ed42015-05-06 18:04:23 +0200150
Rik van Riel3aab4f52015-02-10 15:27:50 -0500151 if (__this_cpu_read(context_tracking.state) == state) {
Frederic Weisbeckerd65ec122013-07-11 23:59:33 +0200152 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 Riel19fdd982015-02-10 15:27:52 -0500158 if (state == CONTEXT_USER) {
Thomas Gleixner03720072020-03-04 11:05:22 +0100159 instrumentation_begin();
Rik van Riel19fdd982015-02-10 15:27:52 -0500160 vtime_user_exit(current);
161 trace_user_exit(0);
Thomas Gleixner03720072020-03-04 11:05:22 +0100162 instrumentation_end();
Rik van Riel19fdd982015-02-10 15:27:52 -0500163 }
Frederic Weisbeckerd65ec122013-07-11 23:59:33 +0200164 }
Frederic Weisbeckerc467ea72015-03-04 18:06:33 +0100165 __this_cpu_write(context_tracking.state, CONTEXT_KERNEL);
Frederic Weisbecker91d1aa432012-11-27 19:33:25 +0100166 }
Frederic Weisbeckeraed5ed42015-05-06 18:04:23 +0200167 context_tracking_recursion_exit();
Paolo Bonzinid0e536d2015-10-28 02:39:56 +0100168}
Paolo Bonzinid0e536d2015-10-28 02:39:56 +0100169EXPORT_SYMBOL_GPL(__context_tracking_exit);
170
171void 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 Weisbecker91d1aa432012-11-27 19:33:25 +0100180 local_irq_restore(flags);
181}
Rik van Riel3aab4f52015-02-10 15:27:50 -0500182NOKPROBE_SYMBOL(context_tracking_exit);
Rik van Rielefc1e2c2015-02-10 15:27:53 -0500183EXPORT_SYMBOL_GPL(context_tracking_exit);
Rik van Riel3aab4f52015-02-10 15:27:50 -0500184
185void context_tracking_user_exit(void)
186{
Paolo Bonzinif70cd6b2015-10-28 02:39:55 +0100187 user_exit();
Rik van Riel3aab4f52015-02-10 15:27:50 -0500188}
Masami Hiramatsu4cdf77a2014-06-14 06:47:12 +0000189NOKPROBE_SYMBOL(context_tracking_user_exit);
Frederic Weisbecker91d1aa432012-11-27 19:33:25 +0100190
Frederic Weisbeckerfafe8702015-05-06 18:04:24 +0200191void __init context_tracking_cpu_set(int cpu)
Frederic Weisbecker91d1aa432012-11-27 19:33:25 +0100192{
Frederic Weisbeckerfafe8702015-05-06 18:04:24 +0200193 static __initdata bool initialized = false;
194
195 if (!per_cpu(context_tracking.active, cpu)) {
196 per_cpu(context_tracking.active, cpu) = true;
Frederic Weisbecker74c57872019-10-16 04:56:51 +0200197 static_branch_inc(&context_tracking_key);
Frederic Weisbeckerfafe8702015-05-06 18:04:24 +0200198 }
199
200 if (initialized)
201 return;
202
Frederic Weisbecker490f5612020-01-27 16:41:52 +0100203#ifdef CONFIG_HAVE_TIF_NOHZ
Frederic Weisbeckerfafe8702015-05-06 18:04:24 +0200204 /*
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 Weisbecker490f5612020-01-27 16:41:52 +0100209#endif
Frederic Weisbeckerfafe8702015-05-06 18:04:24 +0200210 WARN_ON_ONCE(!tasklist_empty());
211
212 initialized = true;
Frederic Weisbecker91d1aa432012-11-27 19:33:25 +0100213}
Frederic Weisbecker65f382f2013-07-11 19:12:32 +0200214
215#ifdef CONFIG_CONTEXT_TRACKING_FORCE
216void __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