[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <YOgJzqOrVHUvCpch@localhost.localdomain>
Date: Fri, 9 Jul 2021 10:33:18 +0200
From: Juri Lelli <juri.lelli@...hat.com>
To: Peter Zijlstra <peterz@...radead.org>
Cc: mingo@...hat.com, linux-kernel@...r.kernel.org,
vincent.guittot@...aro.org, rostedt@...dmis.org,
dietmar.eggemann@....com, bristot@...hat.com, bsegall@...gle.com,
mgorman@...e.de, Mark Simmons <msimmons@...hat.com>
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
Powered by blists - more mailing lists