Re: [GIT PULL] rv: Fxes for 7.1

[Steven Rostedt <steven@rostedt.org>]

Hi Linus,

Did you see this pull request? I'm sending from a different email in
case it ended up in your spam folder.

-- Steve


On Tue, 9 Jun 2026 17:54:14 -0400
Steven Rostedt <rostedt@goodmis.org> wrote:

> Linus,
> 
> runtime verifier fixes for v7.1:
> 
> - Fix reset ordering on per-task destruction
> 
>   Reset the task before dropping the slot instead of after, which was
>   causing out-of-bound memory accesses.
> 
> - Fix HA monitor synchronization and cleanup
> 
>   Ensure synchronous cleanup for HA monitors by running timer callbacks
>   in RCU read-side critical sections and using synchronize_rcu() during
>   destruction.
> 
> - Avoid armed timers after tasks exit
> 
>   Add automatic cleanup for per-task HA monitors to prevent timers from
>   firing after task exit.
> 
> - Fix memory ordering for DA/HA monitors
> 
>   Fix race conditions during monitor start by using release-acquire
>   semantics for the monitoring flag.
> 
> - Fix initialization for DA/HA monitors
> 
>   Ensure monitors are not initialized relying on potentially corrupted
>   state like the monitoring flag, that is not reset by all monitors type
>   and may have an unknown state in monitors reusing the storage
>   (per-task).
> 
> - Fix memory safety in per-task and per-object monitors
> 
>   Prevent use-after-free and out-of-bounds access by synchronizing with
>   in-flight tracepoint probes using tracepoint_synchronize_unregister()
>   before freeing monitor storage or releasing task slots.
> 
> - Adjust monitors for preemptible tracepoints
> 
>   Fix monitors that relied on tracepoints disabling preemption.
>   Explicitly disable task migration when per-CPU monitors handle events
>   to avoid accessing the wrong state and update the opid monitor logic.
> 
> - Fix incorrect __user specifier usage
> 
>   Remove __user from a non-pointer variable in the extract_params()
>   helper.
> 
> - Fix bugs in the rv tool
> 
>   Ensure strings are NUL-terminated, fix substring matching in monitor
>   searches, and improve cleanup and exit status handling.
> 
> - Fix several bugs in rvgen
> 
>   Fix LTL literal stringification, subparsers' options handling, and
>   suffix stripping in dot2k.
> 
> 
> Please pull the latest trace-rv-v7.1-rc6-2 tree, which can be found at:
> 
> 
>   git://git.kernel.org/pub/scm/linux/kernel/git/trace/linux-trace.git
> trace-rv-v7.1-rc6-2
> 
> Tag SHA1: 685e5f85b1b8df87439b83ffe6defd87923702fe
> Head SHA1: df996599cc69a9b74ff437c67751cf8a61f62e39
> 
> 
> Gabriele Monaco (16):
>       rv: Fix __user specifier usage in extract_params()
>       rv: Reset per-task DA monitors before releasing the slot
>       rv: Prevent in-flight per-task handlers from using invalid slots
>       rv: Ensure all pending probes terminate on per-obj monitor destroy
>       rv: Do not rely on clean monitor when initialising HA
>       rv: Add automatic cleanup handlers for per-task HA monitors
>       rv: Ensure synchronous cleanup for HA monitors
>       rv: Prevent task migration while handling per-CPU events
>       rv: Use 0 to check preemption enabled in opid
>       tools/rv: Ensure monitor name and desc are NUL-terminated
>       tools/rv: Fix substring match bug in monitor name search
>       tools/rv: Fix substring match when listing container monitors
>       tools/rv: Fix cleanup after failed trace setup
>       verification/rvgen: Fix suffix strip in dot2k
>       verification/rvgen: Fix options shared among commands
>       verification/rvgen: Fix ltl2k writing True as a literal
> 
> Wen Yang (1):
>       rv: Fix monitor start ordering and memory ordering for monitoring flag
> 
> ----
>  include/rv/da_monitor.h                            | 139 +++++++++++++++++----
>  include/rv/ha_monitor.h                            |  91 +++++++++++++-
>  include/rv/ltl_monitor.h                           |   1 +
>  kernel/trace/rv/monitors/deadline/deadline.h       |   3 +-
>  kernel/trace/rv/monitors/nomiss/nomiss.c           |   4 +-
>  kernel/trace/rv/monitors/opid/opid.c               |  12 +-
>  kernel/trace/rv/monitors/stall/stall.c             |   4 +-
>  tools/verification/rv/src/in_kernel.c              |  65 +++++-----
>  tools/verification/rvgen/__main__.py               |  10 +-
>  tools/verification/rvgen/rvgen/dot2k.py            |   4 +-
>  tools/verification/rvgen/rvgen/ltl2ba.py           |   9 +-
>  .../rvgen/rvgen/templates/dot2k/main.c             |   4 +-
>  12 files changed, 263 insertions(+), 83 deletions(-)
> ---------------------------