kernel/linux.git/tools/verification/models/stall.dot, branch v7.1-rc5Linux kernel stable tree (mirror)https://git.radix-linux.su/kernel/linux.git/atom?h=v7.1-rc52026-03-31T14:47:17+00:00rv: Add sample hybrid monitor stall2026-03-31T14:47:17+00:00Gabriele Monacogmonaco@redhat.com2026-03-30T11:10:04+00:00urn:sha1:13578a087152b85e53b1fa11639c814cb427808a
Add a sample monitor to showcase hybrid/timed automata.
The stall monitor identifies tasks stalled for longer than a threshold
and reacts when that happens.
Reviewed-by: Nam Cao <namcao@linutronix.de>
Link: https://lore.kernel.org/r/20260330111010.153663-7-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>