[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20250304121550.097bffe2@gandalf.local.home>
Date: Tue, 4 Mar 2025 12:15:50 -0500
From: Steven Rostedt <rostedt@...dmis.org>
To: Peter Zijlstra <peterz@...radead.org>
Cc: Gabriele Monaco <gmonaco@...hat.com>, linux-kernel@...r.kernel.org, Ingo
Molnar <mingo@...hat.com>, Masami Hiramatsu <mhiramat@...nel.org>,
linux-trace-kernel@...r.kernel.org, Juri Lelli <juri.lelli@...hat.com>
Subject: Re: [PATCH v4 03/11] sched: Add sched tracepoints for RV task model
Peter,
Are you OK with adding these tracepoints? They are not trace events
(doesn't show up in tracefs) but are required for the runtime verifier.
-- Steve
On Thu, 27 Feb 2025 20:46:23 -0500
Steven Rostedt <rostedt@...dmis.org> wrote:
> On Tue, 18 Feb 2025 13:31:08 +0100
> Gabriele Monaco <gmonaco@...hat.com> wrote:
>
> > Add the following tracepoints:
> > * sched_entry(bool preempt, ip)
> > Called while entering __schedule
> > * sched_exit(bool is_switch, ip)
> > Called while exiting __schedule
> > * sched_set_state(task, curr_state, state)
> > Called when a task changes its state (to and from running)
> >
> > These tracepoints are useful to describe the Linux task model and are
> > adapted from the patches by Daniel Bristot de Oliveira
> > (https://bristot.me/linux-task-model/).
> >
> > Signed-off-by: Gabriele Monaco <gmonaco@...hat.com>
>
> I'll need an Ack from the scheduler maintainer to take this series.
>
> -- Steve
Powered by blists - more mailing lists