From: Peter Zijlstra <peterz@infradead.org>
To: Gabriele Monaco <gmonaco@redhat.com>
Cc: linux-kernel@vger.kernel.org, linux-trace-kernel@vger.kernel.org,
bpf@vger.kernel.org, Steven Rostedt <rostedt@goodmis.org>,
Masami Hiramatsu <mhiramat@kernel.org>,
Ingo Molnar <mingo@redhat.com>, Nam Cao <namcao@linutronix.de>,
K Prateek Nayak <kprateek.nayak@amd.com>,
Alexei Starovoitov <alexei.starovoitov@gmail.com>,
Wen Yang <wen.yang@linux.dev>,
Tobias Schaffner <tobias.schaffner@siemens.com>,
Viktor Malik <vmalik@redhat.com>
Subject: Re: [PATCH v2 01/15] sched: Add task enqueue/dequeue trace points
Date: Fri, 2 Oct 2026 21:18:42 +0200 [thread overview]
Message-ID: <20261002191842.GA1259248@noisy.programming.kicks-ass.net> (raw)
In-Reply-To: <56972260b9221128d7aaf5bb60f90611ec9d7235.camel@redhat.com>
On Fri, Oct 02, 2026 at 01:55:48PM +0200, Gabriele Monaco wrote:
> On Fri, 2026-10-02 at 12:29 +0200, Peter Zijlstra wrote:
> > So mostly I flat out out ignore partial series. It means I have to go
> > dig around to figure out the whole picture, and anything that requires
> > extra effort goes on the 'later' pile, and you know where that lives.
>
> Alright, I guess I'm going to have to fix my to_cmd script.
>
> > Now, as to 3,4; I'm confused. If I search 'enqueue' I see there is a
> > tracepoint attach thingy in the .c file, but I don't see the
> > corresponding bits in the .dot file. And per my understanding the .c
> > thing is an artifact of the .dot file.
>
> Yes but only partially. There isn't always a 1-1 mapping with model events and
> tracepoints.
So the .c files are no longer an artifact? That seems unfortunate. I
thought the .dot file was fully descriptive and the .c file was fully
generated by dot2c.
If we cannot fully express the automaton in .dot, we should look at
extending the 'format' and teach dot2c new tricks.
> Throttle uses handle_sched_enqueue() for one case of dl_defer_arm, representing
> a fair task running not boosted, in the enqueue case, because it was running
> with another scheduler.
> Boost uses handle_sched_dequeue() in a similar fashion to describe fair tasks
> that stop running on the fair runqueue (but may continue on another runqueue).
>
> In both cases I'm reusing an event that can be triggered from other tracepoints
> too, ideally to keep the model simpler.
>
> Then it uses handle_sched_enqueue() for dl_server_resume[_throttled]. They are
> both plain enqueues, in fact, so I could rename them to show what they are.
I'm not sure I'm following. Will you be in Prague next week?
> > Also, IMO it would be *much* preferred if the .rst file would not exist.
> > Just have the graph-easy and the description as a comment in the .dot
> > file. Then you have the whole thing in one *readable* place.
>
> Well, you make a fair point, I like to have it appear in the html docs, but
> obviously no one is going to build the docs to review a patch.
> I may look into ways to get both birds with a stone.
So personally I have 0 interest or use for html. Mail is text, code is
text, we use a text editor (neovim is my current poison of choice).
Nowhere is there html. So then having to look at rst is just crap. rst
gets in the way of actually reading the thing. All down-sides, no
up-sides.
next prev parent reply other threads:[~2026-10-02 19:18 UTC|newest]
Thread overview: 32+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-10-01 15:20 [PATCH v2 00/15] rv: Add support for BPF monitors Gabriele Monaco
2026-10-01 15:20 ` [PATCH v2 01/15] sched: Add task enqueue/dequeue trace points Gabriele Monaco
2026-10-01 15:49 ` Peter Zijlstra
2026-10-02 7:09 ` Gabriele Monaco
2026-10-02 10:29 ` Peter Zijlstra
2026-10-02 11:55 ` Gabriele Monaco
2026-10-02 19:18 ` Peter Zijlstra [this message]
2026-10-02 19:40 ` Gabriele Monaco
2026-10-02 0:42 ` bot+bpf-ci
2026-10-01 15:20 ` [PATCH v2 02/15] tools/rv: Skip empty pid error in selftest if command failed Gabriele Monaco
2026-10-02 0:42 ` bot+bpf-ci
2026-10-01 15:20 ` [PATCH v2 03/15] rv: Refactor da_trace() functions to get strings internally Gabriele Monaco
2026-10-01 15:20 ` [PATCH v2 04/15] rv: Cast result of model_get_*_name() Gabriele Monaco
2026-10-01 15:20 ` [PATCH v2 05/15] tools/rv: Move argument parsing from in_kernel to utils Gabriele Monaco
2026-10-02 0:25 ` bot+bpf-ci
2026-10-01 15:20 ` [PATCH v2 06/15] tools/build: Add a feature test for bpftool-btf Gabriele Monaco
2026-10-01 15:20 ` [PATCH v2 07/15] tools/rv: Implement BPF monitor discovery and listing Gabriele Monaco
2026-10-02 0:42 ` bot+bpf-ci
2026-10-01 15:20 ` [PATCH v2 08/15] tools/rv: Implement BPF monitor loading and tracing Gabriele Monaco
2026-10-02 0:43 ` bot+bpf-ci
2026-10-01 15:20 ` [PATCH v2 09/15] tools/rv: Copy stripped bpf_atomic.h from libarena Gabriele Monaco
2026-10-02 0:42 ` bot+bpf-ci
2026-10-01 15:20 ` [PATCH v2 10/15] tools/rv: Add BPF monitors Gabriele Monaco
2026-10-02 0:43 ` bot+bpf-ci
2026-10-01 15:20 ` [PATCH v2 11/15] tools/rv: Define CONFIG_X86_64 statically for " Gabriele Monaco
2026-10-01 15:20 ` [PATCH v2 12/15] tools/rv: Add reactors support to " Gabriele Monaco
2026-10-02 0:43 ` bot+bpf-ci
2026-10-01 15:20 ` [PATCH v2 13/15] verification/rvgen: Add support for " Gabriele Monaco
2026-10-02 0:25 ` bot+bpf-ci
2026-10-01 15:20 ` [PATCH v2 14/15] tools/rv: Add selftest for rv bpf monitors Gabriele Monaco
2026-10-02 0:43 ` bot+bpf-ci
2026-10-01 15:20 ` [PATCH v2 15/15] verification/rvgen: Add selftest for rvgen -b 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=20261002191842.GA1259248@noisy.programming.kicks-ass.net \
--to=peterz@infradead.org \
--cc=alexei.starovoitov@gmail.com \
--cc=bpf@vger.kernel.org \
--cc=gmonaco@redhat.com \
--cc=kprateek.nayak@amd.com \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-trace-kernel@vger.kernel.org \
--cc=mhiramat@kernel.org \
--cc=mingo@redhat.com \
--cc=namcao@linutronix.de \
--cc=rostedt@goodmis.org \
--cc=tobias.schaffner@siemens.com \
--cc=vmalik@redhat.com \
--cc=wen.yang@linux.dev \
/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®