Re: [PATCH] sched/rt: Fix double enqueue caused by rt_effective_prio

[Juri Lelli]

Hi Peter,

On 09/07/21 10:33, Juri Lelli wrote:
> Hi Peter,
> 
> On 08/07/21 12:26, Peter Zijlstra wrote:
> > On Thu, Jul 08, 2021 at 12:06:27PM +0200, Peter Zijlstra wrote:
> > > Slightly larger patch, but perhaps a little cleaner.. still pondering if
> > > we can share a little more between __sched_setscheduler() and
> > > rt_mutex_setprio().
> > 
> > Best I can seem to come up with...
> 
> Thanks for the non-lazy version of the fix!
> 
> Makes sense to me and it looks good from quick testing. I'll be doing
> more extensive testing and ask Mark (cc-ed) to help with that. :)
> 
> We'll report back soon-ish.

So, yeah it took a while (mostly my pto :), apologies.

However, we managed to confirm your fix works great!

May I leave posting it again with changelog etc to you, or would you
like I do that (making you the author)?

Thanks,
Juri