Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18;
Date:   Fri, 21 Jan 2022 19:47:18 +0000
From:   John Keeping <john@metanate.com>
To:     Valentin Schneider <valentin.schneider@arm.com>
Cc:     linux-kernel@vger.kernel.org, Ingo Molnar <mingo@redhat.com>,
        Peter Zijlstra <peterz@infradead.org>,
        Juri Lelli <juri.lelli@redhat.com>,
        Vincent Guittot <vincent.guittot@linaro.org>,
        Dietmar Eggemann <dietmar.eggemann@arm.com>,
        Steven Rostedt <rostedt@goodmis.org>,
        Ben Segall <bsegall@google.com>, Mel Gorman <mgorman@suse.de>,
        Daniel Bristot de Oliveira <bristot@redhat.com>
Subject: Re: [PATCH] sched/rt: Plug rt_mutex_setprio() vs push_rt_task()
 race
Message-ID: <20220121194718.5e32bc19.john@metanate.com>
In-Reply-To: <8735li6vgq.mognet@arm.com>
References: <20220120194037.650433-1-valentin.schneider@arm.com>
        <8735li6vgq.mognet@arm.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Precedence: bulk

On Thu, 20 Jan 2022 19:47:01 +0000
Valentin Schneider <valentin.schneider@arm.com> 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@metanate.com>
> > Signed-off-by: Valentin Schneider <valentin.schneider@arm.com>  
> 
> @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@metanate.com>