]> www.infradead.org Git - users/jedix/linux-maple.git/commit
rv: Add sco and tss per-cpu monitors
authorGabriele Monaco <gmonaco@redhat.com>
Wed, 5 Mar 2025 14:03:56 +0000 (15:03 +0100)
committerSteven Rostedt (Google) <rostedt@goodmis.org>
Mon, 24 Mar 2025 21:27:39 +0000 (17:27 -0400)
commit9fd420abc420e0f7bb3e3ad74e3e2cd8fb3b340a
treeb6f0996f289be36d3121a0982fb1f39cde2c82ed
parentcb85c660fcd4b3a03ed993affa0b2d1a8af2f06b
rv: Add sco and tss per-cpu monitors

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

* sco: scheduling context operations
    Monitor to ensure sched_set_state happens only in thread context
* tss: task switch while scheduling
    Monitor to ensure sched_switch happens only in scheduling context

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-4-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>
13 files changed:
kernel/trace/rv/Kconfig
kernel/trace/rv/Makefile
kernel/trace/rv/monitors/sco/Kconfig [new file with mode: 0644]
kernel/trace/rv/monitors/sco/sco.c [new file with mode: 0644]
kernel/trace/rv/monitors/sco/sco.h [new file with mode: 0644]
kernel/trace/rv/monitors/sco/sco_trace.h [new file with mode: 0644]
kernel/trace/rv/monitors/tss/Kconfig [new file with mode: 0644]
kernel/trace/rv/monitors/tss/tss.c [new file with mode: 0644]
kernel/trace/rv/monitors/tss/tss.h [new file with mode: 0644]
kernel/trace/rv/monitors/tss/tss_trace.h [new file with mode: 0644]
kernel/trace/rv/rv_trace.h
tools/verification/models/sched/sco.dot [new file with mode: 0644]
tools/verification/models/sched/tss.dot [new file with mode: 0644]