Re: [PATCH v4 03/11] sched: Add sched tracepoints for RV task model

[Steven Rostedt]

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@xxxxxxxxxxx> wrote:

> On Tue, 18 Feb 2025 13:31:08 +0100
> Gabriele Monaco <gmonaco@xxxxxxxxxx> 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@xxxxxxxxxx>  
> 
> I'll need an Ack from the scheduler maintainer to take this series.
> 
> -- Steve