]> git.ipfire.org Git - thirdparty/linux.git/commit
projects / thirdparty / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c85dbdd) | patch
rv: Add nomiss deadline monitor
authorGabriele Monaco <gmonaco@redhat.com>
Mon, 30 Mar 2026 11:10:10 +0000 (13:10 +0200)
committerGabriele Monaco <gmonaco@redhat.com>
Tue, 31 Mar 2026 14:47:18 +0000 (16:47 +0200)
commitb133207deb72609ad4da40c4d50128a5e150677b
tree40a323b26d91ecfd2cfc85be85e204064c4aee36tree | snapshot
parentc85dbddad705babfbddfef182495994f7f5262c9commit | diff
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>
13 files changed:
Documentation/trace/rv/index.rst diff | blob | blame | history
Documentation/trace/rv/monitor_deadline.rst [new file with mode: 0644] blob
kernel/trace/rv/Kconfig diff | blob | blame | history
kernel/trace/rv/Makefile diff | blob | blame | history
kernel/trace/rv/monitors/deadline/Kconfig [new file with mode: 0644] blob
kernel/trace/rv/monitors/deadline/deadline.c [new file with mode: 0644] blob
kernel/trace/rv/monitors/deadline/deadline.h [new file with mode: 0644] blob
kernel/trace/rv/monitors/nomiss/Kconfig [new file with mode: 0644] blob
kernel/trace/rv/monitors/nomiss/nomiss.c [new file with mode: 0644] blob
kernel/trace/rv/monitors/nomiss/nomiss.h [new file with mode: 0644] blob
kernel/trace/rv/monitors/nomiss/nomiss_trace.h [new file with mode: 0644] blob
kernel/trace/rv/rv_trace.h diff | blob | blame | history
tools/verification/models/deadline/nomiss.dot [new file with mode: 0644] blob
A mirror of Linus' kernel repository