[GIT PULL] rv: Fxes for 7.1

[GIT PULL] rv: Fxes for 7.1

[Steven Rostedt]

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(-)
---------------------------

Re: [GIT PULL] rv: Fxes for 7.1

[Steven Rostedt]

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(-)
> ---------------------------

Re: [GIT PULL] rv: Fxes for 7.1

[Linus Torvalds]

On Fri, 12 Jun 2026 at 08:32, Steven Rostedt <steven@rostedt.org> wrote:
>
> Did you see this pull request? I'm sending from a different email in
> case it ended up in your spam folder.

Merged Tuesday - about 2.5 hours after your email was sent - see
commit acb7500801e9...

I'm not sure why apparently pr-tracker-bot hasn't reacted to it.

              Linus

Re: [GIT PULL] rv: Fxes for 7.1

[Steven Rostedt]

On Fri, 12 Jun 2026 08:42:14 -0700
Linus Torvalds <torvalds@linux-foundation.org> wrote:

> On Fri, 12 Jun 2026 at 08:32, Steven Rostedt <steven@rostedt.org> wrote:
> >
> > Did you see this pull request? I'm sending from a different email in
> > case it ended up in your spam folder.  
> 
> Merged Tuesday - about 2.5 hours after your email was sent - see
> commit acb7500801e9...
> 
> I'm not sure why apparently pr-tracker-bot hasn't reacted to it.
> 

Ah thanks. Yeah, I didn't look at the git tree, but only replied
because I didn't get a pr-tracker-bot response. Next time I'll look at
git before bothering you.

Sorry for the noise.

-- Steve