]> git.ipfire.org Git - thirdparty/kernel/stable.git/commit
rv: Add rtapp_pagefault monitor
authorNam Cao <namcao@linutronix.de>
Wed, 9 Jul 2025 19:21:20 +0000 (21:21 +0200)
committerSteven Rostedt (Google) <rostedt@goodmis.org>
Wed, 9 Jul 2025 19:27:01 +0000 (15:27 -0400)
commit9162620eb604d7461da5b02ec379bb50c3c3b604
treebff19eb42325c894189f8746ae432ee4f9ec5a65
parenta37c71ca412d90365e143581582c4ecd3a90508f
rv: Add rtapp_pagefault monitor

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>
kernel/trace/rv/Kconfig
kernel/trace/rv/Makefile
kernel/trace/rv/monitors/pagefault/Kconfig [new file with mode: 0644]
kernel/trace/rv/monitors/pagefault/pagefault.c [new file with mode: 0644]
kernel/trace/rv/monitors/pagefault/pagefault.h [new file with mode: 0644]
kernel/trace/rv/monitors/pagefault/pagefault_trace.h [new file with mode: 0644]
kernel/trace/rv/rv_trace.h
tools/verification/models/rtapp/pagefault.ltl [new file with mode: 0644]