mirror of
https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git
synced 2025-08-16 21:07:13 +00:00

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>
21 lines
608 B
Plaintext
21 lines
608 B
Plaintext
# SPDX-License-Identifier: GPL-2.0-only
|
|
#
|
|
config RV_MON_PAGEFAULT
|
|
depends on RV
|
|
select RV_LTL_MONITOR
|
|
depends on RV_MON_RTAPP
|
|
depends on X86 || RISCV
|
|
default y
|
|
select LTL_MON_EVENTS_ID
|
|
bool "pagefault monitor"
|
|
help
|
|
Monitor that real-time tasks do not raise page faults, causing
|
|
undesirable latency.
|
|
|
|
If you are developing a real-time system and not entirely sure whether
|
|
the applications are designed correctly for real-time, you want to say
|
|
Y here.
|
|
|
|
This monitor does not affect execution speed while it is not running,
|
|
therefore it is safe to enable this in production kernel.
|