rv: Add nrp and sssw per-task monitors
authorGabriele Monaco <gmonaco@redhat.com>
Mon, 28 Jul 2025 13:50:20 +0000 (15:50 +0200)
committerSteven Rostedt (Google) <rostedt@goodmis.org>
Mon, 28 Jul 2025 20:47:34 +0000 (16:47 -0400)
commite8440a88e56bb3aa24c384eec6de8bef1184bed2
treeb4cdcedbe47e9b8347f97d417ef5fb1a288edb08
parentd0096c2f9cfcb4ce385698491604610fcc1a53b3
rv: Add nrp and sssw per-task monitors

Add 2 per-task monitors as part of the sched model:

* nrp: need-resched preempts
    Monitor to ensure preemption requires need resched.
* sssw: set state sleep and wakeup
    Monitor to ensure sched_set_state to sleepable leads to sleeping and
    sleeping tasks require wakeup.

Cc: Ingo Molnar <mingo@redhat.com>
Cc: Jonathan Corbet <corbet@lwn.net>
Cc: Masami Hiramatsu <mhiramat@kernel.org>
Cc: Tomas Glozar <tglozar@redhat.com>
Cc: Juri Lelli <jlelli@redhat.com>
Cc: Clark Williams <williams@redhat.com>
Cc: John Kacur <jkacur@redhat.com>
Cc: Peter Zijlstra <peterz@infradead.org>
Link: https://lore.kernel.org/20250728135022.255578-9-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
Acked-by: Nam Cao <namcao@linutronix.de>
Tested-by: Nam Cao <namcao@linutronix.de>
Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>
15 files changed:
Documentation/trace/rv/monitor_sched.rst
kernel/trace/rv/Kconfig
kernel/trace/rv/Makefile
kernel/trace/rv/monitors/nrp/Kconfig [new file with mode: 0644]
kernel/trace/rv/monitors/nrp/nrp.c [new file with mode: 0644]
kernel/trace/rv/monitors/nrp/nrp.h [new file with mode: 0644]
kernel/trace/rv/monitors/nrp/nrp_trace.h [new file with mode: 0644]
kernel/trace/rv/monitors/sched/Kconfig
kernel/trace/rv/monitors/sssw/Kconfig [new file with mode: 0644]
kernel/trace/rv/monitors/sssw/sssw.c [new file with mode: 0644]
kernel/trace/rv/monitors/sssw/sssw.h [new file with mode: 0644]
kernel/trace/rv/monitors/sssw/sssw_trace.h [new file with mode: 0644]
kernel/trace/rv/rv_trace.h
tools/verification/models/sched/nrp.dot [new file with mode: 0644]
tools/verification/models/sched/sssw.dot [new file with mode: 0644]