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 [off-list ref] wrote:

On Tue, 18 Feb 2025 13:31:08 +0100
Gabriele Monaco [off-list ref] wrote:

quoted

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@redhat.com>  

I'll need an Ack from the scheduler maintainer to take this series.

-- Steve