Changes in monitor_sched.rst

49cbd359e4a7501e9d6694c072031d9ae6b2d1a5 - Documentation/rv: Replace stale website link

Mon, 27 Apr 2026 15:17:09 +0200

Documentation/rv: Replace stale website linkThe sched monitor page was linking to Daniel's website which is nowdown. The main purpose of the link was to point to a source for themodels from the original author and that can be found also in hispublished paper.Replace the link with a reference to Daniel's "A thread synchronizationmodel for the PREEMPT_RT Linux kernel" which can be found online andincludes the models definitions as well as the work behind them (not theoriginal patches but since they're based on a 5.0 kernel and are mostlyincluded upstream, there's little value in keeping them in the docs).Fixes: 03abeaa63c08 ("Documentation/rv: Add docs for the sched monitors")Signed-off-by: Gabriele Monaco Acked-by: Matteo Martelli Tested-by: Matteo Martelli Tested-by: Randy Dunlap Acked-by: Randy Dunlap Signed-off-by: Jonathan Corbet Message-ID: <20260427131709.170505-2-gmonaco@redhat.com> List of files: /linux/Documentation/trace/rv/monitor_sched.rst

2b406fdb33387713cb9f880e58e5ff09901c6ebc - rv: Convert the opid monitor to a hybrid automaton

Mon, 30 Mar 2026 13:10:05 +0200

rv: Convert the opid monitor to a hybrid automatonThe opid monitor validates that wakeup and need_resched events onlyoccur with interrupts and preemption disabled by following thepreemptirq tracepoints.As reported in [1], those tracepoints might be inaccurate in somesituations (e.g. NMIs).Since the monitor doesn't validate other ordering properties, remove thedependency on preemptirq tracepoints and convert the monitor to a hybridautomaton to validate the constraint during event handling.This makes the monitor more robust by also removing the workaround forinterrupts missing the preemption tracepoints, which was working onPREEMPT_RT only and allows the monitor to be built on kernels withoutthe preemptirqs tracepoints.[1] - https://lore.kernel.org/lkml/20250625120823.60600-1-gmonaco@redhat.comReviewed-by: Nam Cao Link: https://lore.kernel.org/r/20260330111010.153663-8-gmonaco@redhat.comSigned-off-by: Gabriele Monaco List of files: /linux/Documentation/trace/rv/monitor_sched.rst

614384533dfe99293a7ff1bce3d4389adadbb759 - rv: Add opid per-cpu monitor

Mon, 28 Jul 2025 15:50:21 +0200

rv: Add opid per-cpu monitorAdd 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 Cc: Masami Hiramatsu Cc: Ingo Molnar Cc: Peter Zijlstra Cc: Tomas Glozar Cc: Juri Lelli Cc: Clark Williams Cc: John Kacur Link: https://lore.kernel.org/20250728135022.255578-10-gmonaco@redhat.comSigned-off-by: Gabriele Monaco Acked-by: Nam Cao Tested-by: Nam Cao Signed-off-by: Steven Rostedt (Google) List of files: /linux/Documentation/trace/rv/monitor_sched.rst

e8440a88e56bb3aa24c384eec6de8bef1184bed2 - rv: Add nrp and sssw per-task monitors

Mon, 28 Jul 2025 15:50:20 +0200

rv: Add nrp and sssw per-task monitorsAdd 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 Cc: Jonathan Corbet Cc: Masami Hiramatsu Cc: Tomas Glozar Cc: Juri Lelli Cc: Clark Williams Cc: John Kacur Cc: Peter Zijlstra Link: https://lore.kernel.org/20250728135022.255578-9-gmonaco@redhat.comSigned-off-by: Gabriele Monaco Acked-by: Nam Cao Tested-by: Nam Cao Signed-off-by: Steven Rostedt (Google) List of files: /linux/Documentation/trace/rv/monitor_sched.rst

d0096c2f9cfcb4ce385698491604610fcc1a53b3 - rv: Replace tss and sncid monitors with more complete sts

Mon, 28 Jul 2025 15:50:19 +0200

rv: Replace tss and sncid monitors with more complete stsThe tss monitor currently guarantees task switches can happen only whilescheduling, whereas the sncid monitor enforces scheduling occurs withinterrupt disabled.Replace the monitors with a more comprehensive specification whichimplies both but also ensures that:* each scheduler call disable interrupts to switch* each task switch happens with interrupts disabledCc: Ingo Molnar Cc: Jonathan Corbet Cc: Masami Hiramatsu Cc: Nam Cao Cc: Tomas Glozar Cc: Juri Lelli Cc: Clark Williams Cc: John Kacur Cc: Peter Zijlstra Link: https://lore.kernel.org/20250728135022.255578-8-gmonaco@redhat.comSigned-off-by: Gabriele Monaco Signed-off-by: Steven Rostedt (Google) List of files: /linux/Documentation/trace/rv/monitor_sched.rst

03abeaa63c08a8c14af5d456697aa79d7cc3c3b2 - Documentation/rv: Add docs for the sched monitors

Wed, 05 Mar 2025 15:04:01 +0100

Documentation/rv: Add docs for the sched monitorsAdd man page and kernel documentation for the sched monitors, as schedis a container of other monitors, document all in the same page.sched is the first nested monitor, also explain what is a nested monitorand how enabling containers or children monitors work.To: Ingo Molnar To: Peter Zijlstra Cc: Juri Lelli Cc: Ingo Molnar Cc: Peter Zijlstra Cc: Jonathan Corbet Cc: John Kacur Cc: Clark Williams Link: https://lore.kernel.org/20250305140406.350227-9-gmonaco@redhat.comSigned-off-by: Gabriele Monaco Signed-off-by: Steven Rostedt (Google) List of files: /linux/Documentation/trace/rv/monitor_sched.rst