Messages in this thread |  | | Date | Wed, 3 Dec 2025 11:45:58 -0500 | | From | Steven Rostedt <> | | Subject | [GIT PULL] runtime verifier: Updates for v6.19 |
| |
Linus,
Runtime verifier updates for v6.19:
- Adapt the ftracetest script to be run from a different folder
This uses the already existing OPT_TEST_DIR but extends it further to run independent tests, then add an --rv flag to allow using the script for testing RV (mostly) independently on ftrace.
- Add basic RV selftests in selftests/verification for more validations
Add more validations for available/enabled monitors and reactors. This could have caught the bug introducing kernel panic solved above. Tests use ftracetest.
- Convert react() function in reactor to use va_list directly
Use a central helper to handle the variadic arguments. Clean up macros and mark functions as static.
- Add lockdep annotations to reactors to have lockdep complain of errors
If the reactors are called from improper context. Useful to develop new reactors. This highlights a warning in the panic reactor that is related to the printk subsystem and not to RV.
- Convert core RV code to use lock guards and __free helpers
This completely removes goto statements.
- Fix compilation if !CONFIG_RV_REACTORS
Fix the warning by keeping LTL monitor variable as always static.
Please pull the latest trace-rv-6.19 tree, which can be found at:
git://git.kernel.org/pub/scm/linux/kernel/git/trace/linux-trace.git trace-rv-6.19
Tag SHA1: e4d719f299bbe8f786e5c590962c0055ffbc63ce Head SHA1: bbaacdc339d4bde2690b659dc090af7c20a1937e
Gabriele Monaco (3): selftest/ftrace: Generalise ftracetest to use with RV selftests/verification: Add initial RV tests rv: Fix compilation if !CONFIG_RV_REACTORS
Nam Cao (2): rv: Convert to use lock guard rv: Convert to use __free
Thomas Weißschuh (3): rv: Pass va_list to reactors rv: Make rv_reacting_on() static rv: Add explicit lockdep context for reactors
---- MAINTAINERS | 1 + include/linux/rv.h | 11 ++- include/rv/da_monitor.h | 35 ++----- include/rv/ltl_monitor.h | 17 +--- kernel/trace/rv/reactor_panic.c | 6 +- kernel/trace/rv/reactor_printk.c | 6 +- kernel/trace/rv/rv.c | 102 ++++++++------------- kernel/trace/rv/rv.h | 6 +- kernel/trace/rv/rv_reactors.c | 78 ++++++++-------- kernel/trace/trace.c | 3 +- tools/testing/selftests/ftrace/ftracetest | 34 +++++-- .../ftrace/test.d/00basic/mount_options.tc | 2 +- tools/testing/selftests/ftrace/test.d/functions | 6 +- tools/testing/selftests/verification/.gitignore | 2 + tools/testing/selftests/verification/Makefile | 8 ++ tools/testing/selftests/verification/config | 1 + tools/testing/selftests/verification/settings | 1 + .../selftests/verification/test.d/functions | 39 ++++++++ .../test.d/rv_monitor_enable_disable.tc | 75 +++++++++++++++ .../verification/test.d/rv_monitor_reactor.tc | 68 ++++++++++++++ .../verification/test.d/rv_monitors_available.tc | 18 ++++ .../verification/test.d/rv_wwnr_printk.tc | 30 ++++++ .../selftests/verification/verificationtest-ktap | 8 ++ 23 files changed, 384 insertions(+), 173 deletions(-) create mode 100644 tools/testing/selftests/verification/.gitignore create mode 100644 tools/testing/selftests/verification/Makefile create mode 100644 tools/testing/selftests/verification/config create mode 100644 tools/testing/selftests/verification/settings create mode 100644 tools/testing/selftests/verification/test.d/functions create mode 100644 tools/testing/selftests/verification/test.d/rv_monitor_enable_disable.tc create mode 100644 tools/testing/selftests/verification/test.d/rv_monitor_reactor.tc create mode 100644 tools/testing/selftests/verification/test.d/rv_monitors_available.tc create mode 100644 tools/testing/selftests/verification/test.d/rv_wwnr_printk.tc create mode 100755 tools/testing/selftests/verification/verificationtest-ktap ---------------------------
|  |