public-mirrors/linux
1
0
Fork 0
mirror of git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git synced 2025-08-05 16:54:27 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
linux/tools/verification/models/sched
History
Exact
Gabriele Monaco 614384533d 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>
2025-07-28 16:47:35 -04:00
..
nrp.dot rv: Add nrp and sssw per-task monitors 2025-07-28 16:47:34 -04:00
opid.dot rv: Add opid per-cpu monitor 2025-07-28 16:47:35 -04:00
sco.dot
scpd.dot rv: Add scpd, snep and sncid per-cpu monitors 2025-03-24 17:27:39 -04:00
snep.dot rv: Add scpd, snep and sncid per-cpu monitors 2025-03-24 17:27:39 -04:00
snroc.dot
sssw.dot rv: Add nrp and sssw per-task monitors 2025-07-28 16:47:34 -04:00
sts.dot rv: Replace tss and sncid monitors with more complete sts 2025-07-28 16:47:34 -04:00