mirror of https://lore.kernel.org/lkml/
 help / color / mirror / Atom feed
From: Gabriele Monaco <gmonaco@redhat.com>
To: linux-kernel@vger.kernel.org,
	Steven Rostedt <rostedt@goodmis.org>,
	Nam Cao <namcao@linutronix.de>
Cc: Gabriele Monaco <gmonaco@redhat.com>,
	Tomas Glozar <tglozar@redhat.com>, Juri Lelli <jlelli@redhat.com>,
	Clark Williams <williams@redhat.com>,
	John Kacur <jkacur@redhat.com>
Subject: [PATCH 0/5] tools/verification: Improvements to rv and rvgen
Date: Wed, 23 Jul 2025 18:12:35 +0200	[thread overview]
Message-ID: <20250723161240.194860-1-gmonaco@redhat.com> (raw)

This series introduces various improvements to the rv/rvgen tools as
first posted in [1]. It also adapts generated kernel files accordingly.

Specifically:

Patch 1 fixes the behaviour of the rv tool with -s and idle tasks.

Patch 2 allows the rv tool to gracefully terminate with SIGTERM

Patch 3 adjusts dot2c not to create lines over 100 columns

Patch 4 properly orders nested monitors in the RV Kconfig file

Patch 5 returns the registration error in all DA monitor instead of 0

This series is based on the linux-next tree.

Changes since [1]:
* Cleanup python code to improve PEP8 compliance
* Fix condition for long line in dot2c

[1] - https://lore.kernel.org/lkml/20250721082325.71554-1-gmonaco@redhat.com

To: Steven Rostedt <rostedt@goodmis.org>
To: Nam Cao <namcao@linutronix.de>
Cc: Tomas Glozar <tglozar@redhat.com>
Cc: Juri Lelli <jlelli@redhat.com>
Cc: Clark Williams <williams@redhat.com>
Cc: John Kacur <jkacur@redhat.com>

Gabriele Monaco (5):
  tools/rv: Do not skip idle in trace
  tools/rv: Stop gracefully also on SIGTERM
  tools/dot2c: Fix generated files going over 100 column limit
  verification/rvgen: Organise Kconfig entries for nested monitors
  rv: Return init error when registering monitors

 kernel/trace/rv/Kconfig                       |  5 +++++
 kernel/trace/rv/monitors/sched/sched.c        |  3 +--
 kernel/trace/rv/monitors/sco/sco.c            |  3 +--
 kernel/trace/rv/monitors/scpd/scpd.c          |  3 +--
 kernel/trace/rv/monitors/sncid/sncid.c        |  3 +--
 kernel/trace/rv/monitors/snep/snep.c          |  3 +--
 kernel/trace/rv/monitors/snep/snep.h          | 14 +++++++++++--
 kernel/trace/rv/monitors/snroc/snroc.c        |  3 +--
 kernel/trace/rv/monitors/tss/tss.c            |  3 +--
 kernel/trace/rv/monitors/wip/wip.c            |  3 +--
 kernel/trace/rv/monitors/wwnr/wwnr.c          |  3 +--
 tools/verification/rv/src/in_kernel.c         |  4 ++--
 tools/verification/rv/src/rv.c                |  1 +
 tools/verification/rvgen/rvgen/container.py   | 10 ++++++++++
 tools/verification/rvgen/rvgen/dot2c.py       | 20 ++++++++++---------
 tools/verification/rvgen/rvgen/generator.py   | 16 ++++++++++-----
 .../rvgen/rvgen/templates/container/main.c    |  3 +--
 .../rvgen/rvgen/templates/dot2k/main.c        |  3 +--
 18 files changed, 63 insertions(+), 40 deletions(-)


base-commit: a933d3dc1968fcfb0ab72879ec304b1971ed1b9a
-- 
2.50.1


             reply	other threads:[~2025-07-23 16:13 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2025-07-23 16:12 Gabriele Monaco [this message]
2025-07-23 16:12 ` [PATCH 1/5] tools/rv: Do not skip idle in trace Gabriele Monaco
2025-07-23 16:12 ` [PATCH 2/5] tools/rv: Stop gracefully also on SIGTERM Gabriele Monaco
2025-07-23 16:12 ` [PATCH 3/5] tools/dot2c: Fix generated files going over 100 column limit Gabriele Monaco
2025-07-23 16:12 ` [PATCH 4/5] verification/rvgen: Organise Kconfig entries for nested monitors Gabriele Monaco
2025-07-23 16:12 ` [PATCH 5/5] rv: Return init error when registering monitors Gabriele Monaco
2025-07-24 14:40 ` [PATCH 0/5] tools/verification: Improvements to rv and rvgen Steven Rostedt
2025-07-24 18:07   ` Gabriele Monaco
2025-07-29 17:12     ` Steven Rostedt
2025-07-29 21:18 ` Steven Rostedt
2025-07-30  6:06   ` Gabriele Monaco

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20250723161240.194860-1-gmonaco@redhat.com \
    --to=gmonaco@redhat.com \
    --cc=jkacur@redhat.com \
    --cc=jlelli@redhat.com \
    --cc=linux-kernel@vger.kernel.org \
    --cc=namcao@linutronix.de \
    --cc=rostedt@goodmis.org \
    --cc=tglozar@redhat.com \
    --cc=williams@redhat.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox

all inboxes | Powered by JetHome®