From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from fhigh-a6-smtp.messagingengine.com (fhigh-a6-smtp.messagingengine.com [103.168.172.157]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 4B27E2236E0 for ; Fri, 12 Jun 2026 15:32:34 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=103.168.172.157 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1781278356; cv=none; b=j+7n2Mk6Nv4Q8zCcI4qkQ3FR11Rzps8WgX9k8QjnxMc/kbpligw0TmoOGiiu3v5mW8Dgcb6x/1+AhHIIr0QOw4cUOHfk/TkSwCxfjyzpgBQBJwZATYxCXWWTd/qTfs/tQM0SuwBdJsWfj9jeN7odUefAGccu7OvyFk8AnMzM7JQ= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1781278356; c=relaxed/simple; bh=Fto8bGMO/N7a44r8BwDW4aConZl5MnPMa2v/s45dAIo=; h=Date:From:To:Cc:Subject:Message-ID:In-Reply-To:References: MIME-Version:Content-Type; b=ArUGiY0QXZcVXFoyXipl1jNWJSjyXPC8GMwTBL0b3Ue78aP2FOl2jEPkp0MMss/6XluQNCIeJakbDffSUG0ziDtrfvZOU5HBK1BBDyxThNCcpq/8TmVHXiM9PZd0H2P7ZGjpiXWq9xNWRKJ3dgr6AsyeF9XW9yUKuk1YldzacWI= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=rostedt.org; spf=pass smtp.mailfrom=rostedt.org; dkim=pass (2048-bit key) header.d=rostedt.org header.i=@rostedt.org header.b=fW8BXUuT; dkim=pass (2048-bit key) header.d=messagingengine.com header.i=@messagingengine.com header.b=h2AG43jw; arc=none smtp.client-ip=103.168.172.157 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=rostedt.org Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=rostedt.org Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=rostedt.org header.i=@rostedt.org header.b="fW8BXUuT"; dkim=pass (2048-bit key) header.d=messagingengine.com header.i=@messagingengine.com header.b="h2AG43jw" Received: from phl-compute-02.internal (phl-compute-02.internal [10.202.2.42]) by mailfhigh.phl.internal (Postfix) with ESMTP id 68838140001A; Fri, 12 Jun 2026 11:32:33 -0400 (EDT) Received: from phl-frontend-03 ([10.202.2.162]) by phl-compute-02.internal (MEProxy); Fri, 12 Jun 2026 11:32:33 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rostedt.org; h= cc:cc:content-transfer-encoding:content-type:content-type:date :date:from:from:in-reply-to:in-reply-to:message-id:mime-version :references:reply-to:subject:subject:to:to; s=fm2; t=1781278353; x=1781364753; bh=gw3OVn0yLND5jMKWWz1TA+OMKAeuDLAHrdXHAw3hOCM=; b= fW8BXUuT+3GEEKGSoaCCvqmKi8plL77M6eL4saypVVXs+ZuWRPquvYFmIB97raJ9 ld5mRzhq6Llk3anleQykWsEEuW0Gtr5yOsO0nAK39I+ZYPsl+laskslVg680QPSg 6OQkDdCQ5ZzArn4H6ByiWfe53QjWPze/Aco7qiK25ovwuWepfWZUkYbF89Q51WnZ yRoO7k+ut7n3MMeoD0prKUv6vcA0gg5X2cyiLQO+ODjVlTlVpQcdC/yhyprGso2m l0iB7NfP9RqCBzon1HJVaixa7+enbE1xbuvfd7BinmoYN80VsmDWV9UWWjdE4fsM 0M5X8mHp0ybolD1eDMEuwQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:cc:content-transfer-encoding :content-type:content-type:date:date:feedback-id:feedback-id :from:from:in-reply-to:in-reply-to:message-id:mime-version :references:reply-to:subject:subject:to:to:x-me-proxy :x-me-sender:x-me-sender:x-sasl-enc; s=fm1; t=1781278353; x= 1781364753; bh=gw3OVn0yLND5jMKWWz1TA+OMKAeuDLAHrdXHAw3hOCM=; b=h 2AG43jwomxGkZsX0dVJ1EwlPf4T4Y6MQshx1IrzEGv7SHsox5oNkLA3Hhzz0ySf3 KIcb3Y/Px8VYrIEouUSQkbG172dNBWVKVUuI3gOBAvjzuwnUHd1zs4Z62CokcY0d 6SJvuCES14rva5qftlN+TQRP78Uw9u41W/EOcoz8jb4HzOMH89C0J3Je4gaTpLFa rUi7UjFyRAj5NdgnujUMUHlRYDfDRz1/jPOEkqlCrkHIKikhzEzYrctjYNPVIJkN yo4k7Wfr6epIqPVnHUQgyGfIVOXk+czBlsFhrS42eO1+dKCJcnqqI+flwWRUTOt8 aQmWVucV4h/6f12LofWAQ== X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: dmFkZTFu0oc9uk5L4HbYr6KuFs4FpvQ1r7y8qchyVSwvFpqvuNnGHuUUPt1z36IuQLJ6/z xUWu2BUe48fU6j13yYazHsIjZYBl6cCqVvUbNQYP9r32oc0s67XmTdGylFO0A/guM3xOor mTIE21KR86n8TRi0ElWdlWcYp6MsBycmH4qphycPrdJg1UOFZZVu4hRxeUHctereGEpbnA 8tf1utEj2OvKAN631/y6A3YY9k3aA4ysDj3LKSGZ+CwhHZTmdxDAhCmgy5+0V/lYjlIJhe y7Y8CuYGMrTkCWccGsA3LXnhWT9HfNH4SGB6y8s8kxAtsUk5e3mojbb28soA9miQW+nBqi xTX9CBpSfq7WCHqxLHcf3XvjuA7dwh44TNqn7FQe2sNbiJAJHQKlGSUJmo3yucmTAEOqyL PYG6anRcMA0Teevx88PqLpCeGrKYM8IpOWhWqxdVOW/O9SYyBl7dmioaTVVeKtXIhuM/Bi XtgUO+AmVS4IrgXg7anViv3xN+gOrQsYq7yjJOj7WekQrGppa8HP4Dnhi+IgubV+r7gxMN tVkA95Oh91Z9xpZ8IZP59rkvEtHIzmxUfuMY+JbhUh5o6VNbsU+QGLk73c2fHzoP/dQVIS meU6HHdmiX7DPfbrUCEmwmDdA+X9LhEIean5FDXbNfcBBlvuULGoxAn5WBvg X-ME-Proxy: Feedback-ID: id06e481b:Fastmail Received: by mail.messagingengine.com (Postfix) with ESMTPA; Fri, 12 Jun 2026 11:32:32 -0400 (EDT) Date: Fri, 12 Jun 2026 11:32:31 -0400 From: Steven Rostedt To: Linus Torvalds Cc: LKML , Gabriele Monaco , Wen Yang Subject: Re: [GIT PULL] rv: Fxes for 7.1 Message-ID: <20260612113231.0e3e0e43@robin> In-Reply-To: <20260609175414.15c529b4@fedora> References: <20260609175414.15c529b4@fedora> X-Mailer: Claws Mail 4.4.0 (GTK 3.24.52; x86_64-redhat-linux-gnu) Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit 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 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(-) > ---------------------------