Re: [PATCH v3] sched/rt: Fix race in push_rt_task

[Juri Lelli]

On 04/03/25 10:30, Steven Rostedt wrote:
> On Tue, 4 Mar 2025 09:15:55 +0000
> Juri Lelli <juri.lelli@xxxxxxxxxx> wrote:
> 
> > As usual, we have essentially the same in deadline.c, do you think we
> > should/could implement the same fix proactively in there as well? Steve?
> > 
> 
> Probably. It would be better if we could find a way to consolidate the
> functionality so that when we fix a bug in one, the other gets fixed too.

That would be nice indeed.

Thanks,
Juri