linux/Documentation/trace/rv
Gabriele Monaco b133207deb rv: Add nomiss deadline monitor
Add the deadline monitors collection to validate the deadline scheduler,
both for deadline tasks and servers.

The currently implemented monitors are:
* nomiss:
    validate dl entities run to completion before their deadiline

Reviewed-by: Nam Cao <namcao@linutronix.de>
Reviewed-by: Juri Lelli <juri.lelli@redhat.com>
Link: https://lore.kernel.org/r/20260330111010.153663-13-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
2026-03-31 16:47:18 +02:00
..
da_monitor_instrumentation.rst Documentation/rv: Fix dead link to monitor_synthesis.rst 2025-12-22 15:30:26 -07:00
deterministic_automata.rst Documentation/rv: Add documentation about hybrid automata 2026-03-31 16:47:17 +02:00
hybrid_automata.rst Documentation/rv: Add documentation about hybrid automata 2026-03-31 16:47:17 +02:00
index.rst rv: Add nomiss deadline monitor 2026-03-31 16:47:18 +02:00
linear_temporal_logic.rst verification/rvgen: Support the 'next' operator 2025-07-24 10:43:23 -04:00
monitor_deadline.rst rv: Add nomiss deadline monitor 2026-03-31 16:47:18 +02:00
monitor_rtapp.rst rv: Add documentation for rtapp monitor 2025-07-09 15:27:02 -04:00
monitor_sched.rst rv: Convert the opid monitor to a hybrid automaton 2026-03-31 16:47:17 +02:00
monitor_stall.rst rv: Add sample hybrid monitor stall 2026-03-31 16:47:17 +02:00
monitor_synthesis.rst Documentation/rv: Add documentation about hybrid automata 2026-03-31 16:47:17 +02:00
monitor_wip.rst rv/monitor: Add the wip monitor 2022-07-30 14:01:30 -04:00
monitor_wwnr.rst Documentation: Fix typos 2023-08-18 11:29:03 -06:00
runtime-verification.rst Documentation/rv: Fix typos 2024-12-13 08:42:23 -07:00