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 <[email protected]> > Cc: Peter Zijlstra <[email protected]> > Signed-off-by: Gabriele Monaco <[email protected]>
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 <[email protected]> Tested-by: Nam Cao <[email protected]>
