mirror of
https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git
synced 2025-08-16 19:16:56 +00:00
9162620eb6
Userspace real-time applications may have design flaws that they raise page faults in real-time threads, and thus have unexpected latencies. Add an linear temporal logic monitor to detect this scenario. Cc: John Ogness <john.ogness@linutronix.de> Cc: Masami Hiramatsu <mhiramat@kernel.org> Cc: Mathieu Desnoyers <mathieu.desnoyers@efficios.com> Link: https://lore.kernel.org/78fea8a2de6d058241d3c6502c1a92910772b0ed.1752088709.git.namcao@linutronix.de Reviewed-by: Gabriele Monaco <gmonaco@redhat.com> Signed-off-by: Nam Cao <namcao@linutronix.de> Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>
15 lines
448 B
C
15 lines
448 B
C
/* SPDX-License-Identifier: GPL-2.0 */
|
|
|
|
/*
|
|
* Snippet to be included in rv_trace.h
|
|
*/
|
|
|
|
#ifdef CONFIG_RV_MON_PAGEFAULT
|
|
DEFINE_EVENT(event_ltl_monitor_id, event_pagefault,
|
|
TP_PROTO(struct task_struct *task, char *states, char *atoms, char *next),
|
|
TP_ARGS(task, states, atoms, next));
|
|
DEFINE_EVENT(error_ltl_monitor_id, error_pagefault,
|
|
TP_PROTO(struct task_struct *task),
|
|
TP_ARGS(task));
|
|
#endif /* CONFIG_RV_MON_PAGEFAULT */
|