Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1755358AbbLKRLk (ORCPT ); Fri, 11 Dec 2015 12:11:40 -0500 Received: from bombadil.infradead.org ([198.137.202.9]:54116 "EHLO bombadil.infradead.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752288AbbLKRLj (ORCPT ); Fri, 11 Dec 2015 12:11:39 -0500 Date: Fri, 11 Dec 2015 18:11:28 +0100 From: Peter Zijlstra To: Will Deacon Cc: Andrew Pinski , Davidlohr Bueso , Thomas Gleixner , "Paul E. McKenney" , Ingo Molnar , Linux Kernel Mailing List , "linux-arm-kernel@lists.infradead.org" , david.daney@cavium.com Subject: Re: FW: Commit 81a43adae3b9 (locking/mutex: Use acquire/release semantics) causing failures on arm64 (ThunderX) Message-ID: <20151211171128.GC6356@twins.programming.kicks-ass.net> References: <20151211084133.GE6356@twins.programming.kicks-ass.net> <20151211120419.GD18828@arm.com> <20151211121319.GK6356@twins.programming.kicks-ass.net> <20151211121759.GE18828@arm.com> <20151211122647.GM6356@twins.programming.kicks-ass.net> <20151211133313.GG18828@arm.com> <20151211134803.GP6356@twins.programming.kicks-ass.net> <20151211140649.GI18828@arm.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20151211140649.GI18828@arm.com> User-Agent: Mutt/1.5.21 (2012-12-30) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1767 Lines: 45 On Fri, Dec 11, 2015 at 02:06:49PM +0000, Will Deacon wrote: > On Fri, Dec 11, 2015 at 02:48:03PM +0100, Peter Zijlstra wrote: > > On Fri, Dec 11, 2015 at 01:33:14PM +0000, Will Deacon wrote: > > > On Fri, Dec 11, 2015 at 01:26:47PM +0100, Peter Zijlstra wrote: > > > > > > While we're there, the acquire in osq_wait_next() seems somewhat ill > > > > documented too. > > > > > > > > I _think_ we need ACQUIRE semantics there because we want to strictly > > > > order the lock-unqueue A,B,C steps and we get that with: > > > > > > > > A: SC > > > > B: ACQ > > > > C: Relaxed > > > > > > > > Similarly for unlock we want the WRITE_ONCE to happen after > > > > osq_wait_next, but in that case we can even rely on the control > > > > dependency there. > > > > > > Even for the lock-unqueue case, isn't B->C ordered by a control dependency > > > because C consists only of stores? > > > > Hmm, indeed. So we could go fully relaxed on it I suppose, since the > > same is true for the unlock site. > > In which case, we should be able to relax the xchg in there (osq_wait_next) > too, right? Can I have second thoughts an confuse matters again? ;-) A RmW-acq is a load-acquire+store. That means the store is _after_ the load and thus not required for the completion of the control dependency. Therefore the store in question can reorder inside the conditional control block's stores. Hmm? Suggesting this acquire is in fact also wrong, since we need full order ops to guarantee full order both in lock and unlock. -- 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/