Messages in this thread | | | Date | Fri, 9 Jul 2021 10:33:18 +0200 | From | Juri Lelli <> | Subject | Re: [PATCH] sched/rt: Fix double enqueue caused by rt_effective_prio |
| |
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.
Best, Juri
| |