On Thu, Aug 14, 2025 at 05:08:05PM +0200, Gabriele Monaco wrote: > +doesn't match a task wakeup and might occur with only interrupts disabled. > +The interrupt and preemption status are validated by the hybrid automaton > +constraints when processing the events:: > + > + | > + | > + v > + #=========# sched_need_resched;irq_off == 1 > + H H sched_waking;irq_off == 1 && preempt_off == 1 > + H any H ------------------------------------------------+ > + H H | > + H H <-----------------------------------------------+ > + #=========# Yeah, I like this much better. The previous monitor looks like it is easily broken by any kernel refactoring. Nam
