rv: Add scpd, snep and sncid per-cpu monitors
authorGabriele Monaco <gmonaco@redhat.com>
Wed, 5 Mar 2025 14:03:58 +0000 (15:03 +0100)
committerSteven Rostedt (Google) <rostedt@goodmis.org>
Mon, 24 Mar 2025 21:27:39 +0000 (17:27 -0400)
commitfbe6c09b7eb4e48fcd4f9a092fa97c5075c5dedf
treea29e1e325d9ad72a7b6cd7c62b926b14aeac4882
parent93bac9cf3511de9f0f7c3a2ae775e49701301869
rv: Add scpd, snep and sncid per-cpu monitors

Add 3 per-cpu monitors as part of the sched model:

* scpd: schedule called with preemption disabled
    Monitor to ensure schedule is called with preemption disabled
* snep: schedule does not enable preempt
    Monitor to ensure schedule does not enable preempt
* sncid: schedule not called with interrupt disabled
    Monitor to ensure schedule is not called with interrupt disabled

To: Ingo Molnar <mingo@redhat.com>
To: Peter Zijlstra <peterz@infradead.org>
Cc: Juri Lelli <juri.lelli@redhat.com>
Cc: Ingo Molnar <mingo@redhat.com>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: John Kacur <jkacur@redhat.com>
Cc: Clark Williams <williams@redhat.com>
Link: https://lore.kernel.org/20250305140406.350227-6-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>
18 files changed:
kernel/trace/rv/Kconfig
kernel/trace/rv/Makefile
kernel/trace/rv/monitors/scpd/Kconfig [new file with mode: 0644]
kernel/trace/rv/monitors/scpd/scpd.c [new file with mode: 0644]
kernel/trace/rv/monitors/scpd/scpd.h [new file with mode: 0644]
kernel/trace/rv/monitors/scpd/scpd_trace.h [new file with mode: 0644]
kernel/trace/rv/monitors/sncid/Kconfig [new file with mode: 0644]
kernel/trace/rv/monitors/sncid/sncid.c [new file with mode: 0644]
kernel/trace/rv/monitors/sncid/sncid.h [new file with mode: 0644]
kernel/trace/rv/monitors/sncid/sncid_trace.h [new file with mode: 0644]
kernel/trace/rv/monitors/snep/Kconfig [new file with mode: 0644]
kernel/trace/rv/monitors/snep/snep.c [new file with mode: 0644]
kernel/trace/rv/monitors/snep/snep.h [new file with mode: 0644]
kernel/trace/rv/monitors/snep/snep_trace.h [new file with mode: 0644]
kernel/trace/rv/rv_trace.h
tools/verification/models/sched/scpd.dot [new file with mode: 0644]
tools/verification/models/sched/sncid.dot [new file with mode: 0644]
tools/verification/models/sched/snep.dot [new file with mode: 0644]