linux/tools/verification/models
Nam Cao 6fdaab4e16 rv/rtapp: Add wakeup monitor
Add a wakeup monitor to detect a lower-priority task waking up a
higher-priority task.

The rtapp/sleep monitor already detects this. However, that monitor
triggers an error in the context of the wakee task and user only gets
the stacktrace of that task. It is also extremely useful to get the
stacktrace of the waker task, which this monitor offers. In other
words, this monitor complements the rtapp/sleep monitor.

Signed-off-by: Nam Cao <namcao@linutronix.de>
Reviewed-by: Gabriele Monaco <gmonaco@redhat.com>
Link: https://lore.kernel.org/r/ba5658fa13e49ada466b84a2c211f233037180b5.1781852967.git.namcao@linutronix.de
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
2026-07-24 09:01:10 +02:00
..
deadline rv: Add nomiss deadline monitor 2026-03-31 16:47:18 +02:00
rtapp rv/rtapp: Add wakeup monitor 2026-07-24 09:01:10 +02:00
sched rv: Convert the opid monitor to a hybrid automaton 2026-03-31 16:47:17 +02:00
stall.dot rv: Add sample hybrid monitor stall 2026-03-31 16:47:17 +02:00
wip.dot
wwnr.dot rv/monitor: Add the wwnr monitor 2022-07-30 14:01:30 -04:00