Messages in this thread | | | Date | Mon, 2 Aug 2021 09:35:50 +0200 | From | Juri Lelli <> | Subject | Re: [PATCH] sched/rt: Fix double enqueue caused by rt_effective_prio |
| |
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
| |