[PATCH 0/3] rv: Add explicit lockdep context for reactors

Thomas Weißschuh posted 3 patches 2 months ago
include/linux/rv.h               | 11 ++++++-----
include/rv/da_monitor.h          | 35 ++++++++++-------------------------
include/rv/ltl_monitor.h         | 18 +++++-------------
kernel/trace/rv/reactor_panic.c  |  6 +-----
kernel/trace/rv/reactor_printk.c |  6 +-----
kernel/trace/rv/rv_reactors.c    | 22 ++++++++++++++++++++--
6 files changed, 43 insertions(+), 55 deletions(-)
[PATCH 0/3] rv: Add explicit lockdep context for reactors
Posted by Thomas Weißschuh 2 months ago
Reactors can be called from any context through tracepoints.
When developing reactors care needs to be taken to only call APIs which
are safe. As the tracepoints used during testing may not actually be
called from restrictive contexts lockdep may not be helpful.

Add explicit overrides to help lockdep find invalid code patterns.

Signed-off-by: Thomas Weißschuh <thomas.weissschuh@linutronix.de>
---
Thomas Weißschuh (3):
      rv: Pass va_list to reactors
      rv: Make rv_reacting_on() static
      rv: Add explicit lockdep context for reactors

 include/linux/rv.h               | 11 ++++++-----
 include/rv/da_monitor.h          | 35 ++++++++++-------------------------
 include/rv/ltl_monitor.h         | 18 +++++-------------
 kernel/trace/rv/reactor_panic.c  |  6 +-----
 kernel/trace/rv/reactor_printk.c |  6 +-----
 kernel/trace/rv/rv_reactors.c    | 22 ++++++++++++++++++++--
 6 files changed, 43 insertions(+), 55 deletions(-)
---
base-commit: 3a8660878839faadb4f1a6dd72c3179c1df56787
change-id: 20251013-rv-lockdep-6acdc510260a

Best regards,
-- 
Thomas Weißschuh <thomas.weissschuh@linutronix.de>