Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1755101AbbB0SdH (ORCPT ); Fri, 27 Feb 2015 13:33:07 -0500 Received: from foss.arm.com ([217.140.101.70]:43955 "EHLO foss.arm.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753105AbbB0SdF (ORCPT ); Fri, 27 Feb 2015 13:33:05 -0500 Date: Fri, 27 Feb 2015 18:33:01 +0000 From: Catalin Marinas To: Pranith Kumar Cc: Will Deacon , Steve Capper , "linux-arm-kernel@lists.infradead.org" , open list Subject: Re: [RFC PATCH] ARM64: cmpxchg.h: Clear the exclusive access bit on fail Message-ID: <20150227183301.GL17949@e104818-lin.cambridge.arm.com> References: <1425016026-19766-1-git-send-email-bobby.prani@gmail.com> <20150227100612.GB3628@arm.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.23 (2014-03-12) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 2265 Lines: 49 On Fri, Feb 27, 2015 at 06:25:25PM +0000, Pranith Kumar wrote: > On Fri, Feb 27, 2015 at 5:06 AM, Will Deacon wrote: > > On Fri, Feb 27, 2015 at 05:46:55AM +0000, Pranith Kumar wrote: > >> In cmpxchg(), we do a load exclusive on an address and upon a comparison fail, > >> we skip the store exclusive instruction. This can result in the exclusive bit > >> still set. If there was a store exclusive after this to the same address, that > >> will see the exclusive bit set. This should not happen. > > > > ... and the problem with that is? > > Consider the following scenario: > > P0 P1 > --------------------------------- > ldxr x7, [B] // exclusive bit set > add x7, x7, #1 > str ..., [B] // exclusive bit cleared > cmpxchg: > ldxr x0, [B] // exclusive bit set > cmp x0, #0 // cmp fails > b.ne 1f // branch taken > stxr x1, [B] // end of cmpxchg > 1: > stxr x7, [B] // succeeds? It's either badly formatted or I don't get it. Are the "stxr x1" and "stxr x7" happening on the same CPU (P0)? If yes, that's badly written code, not even architecturally compliant (you are not allowed other memory accesses between ldxr and stxr). > The last store exclusive succeeds since the exclusive bit is set which > should not happen. Clearing the exclusive bit before returning from cmpxchg > prevents this happening. > > Now I am not sure how likely this will happen. One can argue that a cmpxchg() > will not happen between an external ldxr/stxr. But isn't clearing the exclusive > bit better? The only way cmpxchg() could happen between a different ldxr/stxr is during an interrupt. But ERET automatically clears the exclusive monitor, so the "stxr x7" would not succeed. -- Catalin -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/