Gabriele Monaco <[email protected]> writes: > The opid monitor validates that wakeup and need_resched events only > occur with interrupts and preemption disabled by following the > preemptirq tracepoints. > As reported in [1], those tracepoints might be inaccurate in some > situations (e.g. NMIs). > > Since the monitor doesn't validate other ordering properties, remove the > dependency on preemptirq tracepoints and convert the monitor to a hybrid > automaton to validate the constraint during event handling. > This makes the monitor more robust by also removing the workaround for > interrupts missing the preemption tracepoints, which was working on > PREEMPT_RT only and allows the monitor to be built on kernels without > the preemptirqs tracepoints. > > [1] - https://lore.kernel.org/lkml/[email protected] > > Signed-off-by: Gabriele Monaco <[email protected]>
Reviewed-by: Nam Cao <[email protected]>
