On Mon, Jul 28, 2025 at 03:50:20PM +0200, Gabriele Monaco wrote: > Add 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 <mi...@redhat.com> > Cc: Peter Zijlstra <pet...@infradead.org> > Signed-off-by: Gabriele Monaco <gmon...@redhat.com>
I can't comment on the model, but the monitor implementation looks okay. I ran the two monitors on x86, powerpc64, riscv64 and didn't see anything suspicious: Acked-by: Nam Cao <nam...@linutronix.de> Tested-by: Nam Cao <nam...@linutronix.de>
