rv: Add opid per-cpu monitor
authorGabriele Monaco <gmonaco@redhat.com>
Mon, 28 Jul 2025 13:50:21 +0000 (15:50 +0200)
committerSteven Rostedt (Google) <rostedt@goodmis.org>
Mon, 28 Jul 2025 20:47:35 +0000 (16:47 -0400)
commit614384533dfe99293a7ff1bce3d4389adadbb759
tree6d1e0b9410701820e57d19031e65b6d073bcc72e
parente8440a88e56bb3aa24c384eec6de8bef1184bed2
rv: Add opid per-cpu monitor

Add a per-cpu monitor as part of the sched model:
* opid: operations with preemption and irq disabled
    Monitor to ensure wakeup and need_resched occur with irq and
    preemption disabled or in irq handlers.

Cc: Jonathan Corbet <corbet@lwn.net>
Cc: Masami Hiramatsu <mhiramat@kernel.org>
Cc: Ingo Molnar <mingo@redhat.com>
Cc: Peter Zijlstra <peterz@infradead.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>
Link: https://lore.kernel.org/20250728135022.255578-10-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>
Documentation/trace/rv/monitor_sched.rst
kernel/trace/rv/Kconfig
kernel/trace/rv/Makefile
kernel/trace/rv/monitors/opid/Kconfig [new file with mode: 0644]
kernel/trace/rv/monitors/opid/opid.c [new file with mode: 0644]
kernel/trace/rv/monitors/opid/opid.h [new file with mode: 0644]
kernel/trace/rv/monitors/opid/opid_trace.h [new file with mode: 0644]
kernel/trace/rv/rv_trace.h
tools/verification/models/sched/opid.dot [new file with mode: 0644]