From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from relay.hostedemail.com (smtprelay0013.hostedemail.com [216.40.44.13]) (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 1C07735C1B8 for ; Thu, 12 Feb 2026 14:33:56 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=216.40.44.13 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1770906840; cv=none; b=FhcW567yA3wUdDvDxHwGZaaQJ3e3ON9wET0Zq1+c4uvjVe8vUvp/eSAtFhanBPdl8Ku5zALbSmyrVfumdrtnO37UD2di7NXsVODPUMql5B12pvyOWzV5Zs+8joqXWONc2v46sk8yfJEgiizEwUYCeDAF+DvRTGatGfizPBhM8KI= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1770906840; c=relaxed/simple; bh=Awo1NsnO2cm3bDqwck+MzSUi6mASBrBxegYmWg1/Src=; h=Date:From:To:Cc:Subject:Message-ID:MIME-Version:Content-Type; b=DnkyUO+zfhiDUBtB+grMby+pVwEIgwCsK1ZtlS+OX6e1RbXeZsYGb/H6Lv5Zzs5x9y3ZUEG5/nh3cdmZKwku+LeRem3M7ooUbCjECSmEvADNCVc1gNHWo7FSDW57uglT+PYSLV9uKQVPecV9vt6df7krZ7iO2u1u+wnDfYtGlUU= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=goodmis.org; spf=pass smtp.mailfrom=goodmis.org; arc=none smtp.client-ip=216.40.44.13 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=goodmis.org Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=goodmis.org Received: from omf04.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay08.hostedemail.com (Postfix) with ESMTP id 6A4651401CE; Thu, 12 Feb 2026 14:33:55 +0000 (UTC) Received: from [HIDDEN] (Authenticated sender: rostedt@goodmis.org) by omf04.hostedemail.com (Postfix) with ESMTPA id A7F9520024; Thu, 12 Feb 2026 14:33:53 +0000 (UTC) Date: Thu, 12 Feb 2026 09:33:52 -0500 From: Steven Rostedt To: Linus Torvalds Cc: LKML , Gabriele Monaco , Nam Cao , Thomas =?UTF-8?B?V2Vpw59zY2h1aA==?= , Shubham Sharma Subject: [GIT PULL] rv: Updates for 7.0 Message-ID: <20260212093352.465b467a@gandalf.local.home> X-Mailer: Claws Mail 3.20.0git84 (GTK+ 2.24.33; x86_64-pc-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 X-Rspamd-Server: rspamout07 X-Rspamd-Queue-Id: A7F9520024 X-Stat-Signature: of9ynt9tgo4tpqnqsbt6ramdg6gabxuu X-Session-Marker: 726F737465647440676F6F646D69732E6F7267 X-Session-ID: U2FsdGVkX1+eRrIzOaR5FqqS12+J22dY0quFhhYwBi0= X-HE-Tag: 1770906833-441666 X-HE-Meta: U2FsdGVkX1/WV0AR+V7JWAec4jfJnHkdWn7/vUzB/qK+4ySlABguEVRj4Urc9B0CD+unklJR8pjZYF7Zp4ZluGHt33sLNyaHUzvo1/HcRKenXFz6eGot0i2C2R+IiU1kV+awNlxwMAkM0wuwWb6/ibu12Gxey05t/qUYm3BqKTpPB63HiJT28iH79OQKYG5HiJcs9ccJl+P2eEgvd8SbkpUG2kyXWKeT2QHpXdqpVQnXysWFnHBRdThCUfibRRhKc+OmjSEfZTxbZX5OX8HncUzSEIuXkpbH5VX+msVquFqlmvz8362osYUvP+FLLish6py2RnhM/DP3NS2IFiUpRSF55lBO8hgZ Linus, runtime verifier changes for 7.0: - Refactor da_monitor to minimise macros Complete refactor of da_monitor.h to reduce reliance on macros generating functions. Use generic static functions and uses the preprocessor only when strictly necessary (e.g. for tracepoint handlers). The change essentially relies on functions with generic names (e.g. da_handle) instead of monitor-specific as well adding the need to define constant (e.g. MONITOR_NAME, MONITOR_TYPE) before including the header rather than calling macros that would define functions. Also adapt monitors and documentation accordingly. - Cleanup DA code generation scripts Clean up functions in dot2c removing reimplementations of trivial library functions (__buff_to_string) and removing some other unused intermediate steps. - Annotate functions with types in the rvgen python scripts - Remove superfluous assignments and cleanup generated code The rvgen scripts generate a superfluous assignment to 0 for enum variables and don't add commas to the last elements, which is against the kernel coding standards. Change the generation process for a better compliance and slightly simpler logic. - Remove superfluous declarations from generated code The monitor container source files contained a declaration and a definition for the rv_monitor variable. The former is superfluous and was removed. - Fix reference to outdated documentation s/da_monitor_synthesis.rst/monitor_synthesis.rst in comment in da_monitor.h Please pull the latest trace-rv-v7.0 tree, which can be found at: git://git.kernel.org/pub/scm/linux/kernel/git/trace/linux-trace.git trace-rv-v7.0 Tag SHA1: f8d55e4ece86ae5f06070f319f008fd3b99c163c Head SHA1: 403faa575738a7f92267b2ca2ee56cd1b9373078 Gabriele Monaco (8): rv: Refactor da_monitor to minimise macros rv: Cleanup da_monitor after refactor Documentation/rv: Adapt documentation after da_monitor refactoring verification/rvgen: Adapt dot2k and templates after refactoring da_monitor.h verification/rvgen: Annotate DA functions with types verification/dot2c: Remove __buff_to_string() and cleanup verification/dot2c: Remove superfluous enum assignment and add last comma verification/rvgen: Remove unused variable declaration from containers Shubham Sharma (1): rv: Fix documentation reference in da_monitor.h ---- Documentation/trace/rv/monitor_synthesis.rst | 44 +- include/linux/rv.h | 4 + include/rv/automata.h | 132 +-- include/rv/da_monitor.h | 887 ++++++++++----------- kernel/trace/rv/monitors/nrp/nrp.c | 30 +- kernel/trace/rv/monitors/nrp/nrp.h | 22 +- kernel/trace/rv/monitors/opid/opid.c | 40 +- kernel/trace/rv/monitors/opid/opid.h | 24 +- kernel/trace/rv/monitors/rtapp/rtapp.c | 2 - kernel/trace/rv/monitors/sched/sched.c | 2 - kernel/trace/rv/monitors/sco/sco.c | 26 +- kernel/trace/rv/monitors/sco/sco.h | 14 +- kernel/trace/rv/monitors/scpd/scpd.c | 28 +- kernel/trace/rv/monitors/scpd/scpd.h | 14 +- kernel/trace/rv/monitors/snep/snep.c | 28 +- kernel/trace/rv/monitors/snep/snep.h | 18 +- kernel/trace/rv/monitors/snroc/snroc.c | 26 +- kernel/trace/rv/monitors/snroc/snroc.h | 14 +- kernel/trace/rv/monitors/sssw/sssw.c | 38 +- kernel/trace/rv/monitors/sssw/sssw.h | 22 +- kernel/trace/rv/monitors/sts/sts.c | 34 +- kernel/trace/rv/monitors/sts/sts.h | 28 +- kernel/trace/rv/monitors/wip/wip.c | 26 +- kernel/trace/rv/monitors/wip/wip.h | 14 +- kernel/trace/rv/monitors/wwnr/wwnr.c | 28 +- kernel/trace/rv/monitors/wwnr/wwnr.h | 14 +- tools/verification/rvgen/rvgen/automata.py | 20 +- tools/verification/rvgen/rvgen/dot2c.py | 111 +-- tools/verification/rvgen/rvgen/dot2k.py | 26 +- .../rvgen/rvgen/templates/container/main.c | 2 - .../rvgen/rvgen/templates/dot2k/main.c | 25 +- 31 files changed, 835 insertions(+), 908 deletions(-) ---------------------------