Re: [PATCH] sched/rt: Plug rt_mutex_setprio() vs push_rt_task() race

[John Keeping]

On Thu, 20 Jan 2022 19:47:01 +0000
Valentin Schneider <valentin.schneider@xxxxxxx> wrote:

> On 20/01/22 19:40, Valentin Schneider wrote:
> > Link: http://lore.kernel.org/r/Yb3vXx3DcqVOi+EA@donbot
> > Fixes: a7c81556ec4d ("sched: Fix migrate_disable() vs rt/dl balancing")
> > Reported-by: John Keeping <john@xxxxxxxxxxxx>
> > Signed-off-by: Valentin Schneider <valentin.schneider@xxxxxxx>  
> 
> @John: it's slightly different than the few things we got you to try out,
> so I didn't keep your tested-by, sorry!

I ran a test with this version as well and as expected this does indeed
fix the issue, so this is also:

Tested-by: John Keeping <john@xxxxxxxxxxxx>