Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
Date:   Mon, 14 Nov 2022 12:37:31 +0100
From:   Peter Zijlstra <peterz@infradead.org>
To:     Alexey Izbyshev <izbyshev@ispras.ru>
Cc:     linux-kernel@vger.kernel.org, Thomas Gleixner <tglx@linutronix.de>,
        Ingo Molnar <mingo@redhat.com>,
        Darren Hart <dvhart@infradead.org>,
        Davidlohr Bueso <dave@stgolabs.net>,
        =?iso-8859-1?Q?Andr=E9?= Almeida <andrealmeid@igalia.com>,
        Yi Wang <wang.yi59@zte.com.cn>,
        Yang Tao <yang.tao172@zte.com.cn>
Subject: Re: [PATCH] futex: Resend potentially swallowed owner death
 notification
Message-ID: <Y3Ioe9xq6XE9fmgN@hirez.programming.kicks-ass.net>
References: <20221111215439.248185-1-izbyshev@ispras.ru>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20221111215439.248185-1-izbyshev@ispras.ru>
Precedence: bulk

On Sat, Nov 12, 2022 at 12:54:39AM +0300, Alexey Izbyshev wrote:
> Commit ca16d5bee598 ("futex: Prevent robust futex exit race") addressed
> two cases when tasks waiting on a robust non-PI futex remained blocked
> despite the futex not being owned anymore:
> 
> * if the owner died after writing zero to the futex word, but before
>   waking up a waiter
> 
> * if a task waiting on the futex was woken up, but died before updating
>   the futex word (effectively swallowing the notification without acting
>   on it)
> 
> In the second case, the task could be woken up either by the previous
> owner (after the futex word was reset to zero) or by the kernel (after
> the OWNER_DIED bit was set and the TID part of the futex word was reset
> to zero) if the previous owner died without the resetting the futex.
> Because the referenced commit wakes up a potential waiter only if the
> whole futex word is zero, the latter subcase remained unaddressed.
> 
> Fix this by looking only at the TID part of the futex when deciding
> whether a wake up is needed.
> 
> Fixes: ca16d5bee598 ("futex: Prevent robust futex exit race")
> Signed-off-by: Alexey Izbyshev <izbyshev@ispras.ru>

Acked-by: Peter Zijlstra (Intel) <peterz@infradead.org>