]> git.ipfire.org Git - thirdparty/kernel/linux.git/commit
projects / thirdparty / kernel / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 708340c) | patch
rv: Add sample hybrid monitor stall
authorGabriele Monaco <gmonaco@redhat.com>
Mon, 30 Mar 2026 11:10:04 +0000 (13:10 +0200)
committerGabriele Monaco <gmonaco@redhat.com>
Tue, 31 Mar 2026 14:47:17 +0000 (16:47 +0200)
commit13578a087152b85e53b1fa11639c814cb427808a
treec566d3bdf4fba965c2a4bba0e42119241518d3b0tree | snapshot
parent708340c2714c4770f1cfac09f20fe7fc8a3acd09commit | diff
rv: Add sample hybrid monitor stall

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>
12 files changed:
Documentation/tools/rv/index.rst diff | blob | blame | history
Documentation/tools/rv/rv-mon-stall.rst [new file with mode: 0644] blob
Documentation/trace/rv/index.rst diff | blob | blame | history
Documentation/trace/rv/monitor_stall.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/stall/Kconfig [new file with mode: 0644] blob
kernel/trace/rv/monitors/stall/stall.c [new file with mode: 0644] blob
kernel/trace/rv/monitors/stall/stall.h [new file with mode: 0644] blob
kernel/trace/rv/monitors/stall/stall_trace.h [new file with mode: 0644] blob
kernel/trace/rv/rv_trace.h diff | blob | blame | history
tools/verification/models/stall.dot [new file with mode: 0644] blob
A mirror of Linus' kernel repository