Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753549AbbLNSvA (ORCPT ); Mon, 14 Dec 2015 13:51:00 -0500 Received: from lxorguk.ukuu.org.uk ([81.2.110.251]:36701 "EHLO lxorguk.ukuu.org.uk" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752374AbbLNSu7 (ORCPT ); Mon, 14 Dec 2015 13:50:59 -0500 Date: Mon, 14 Dec 2015 18:49:31 +0000 From: One Thousand Gnomes To: "Paul E. McKenney" Cc: Peter Zijlstra , Will Deacon , Andrew Pinski , Davidlohr Bueso , Thomas Gleixner , Ingo Molnar , Linux Kernel Mailing List , "linux-arm-kernel@lists.infradead.org\" , david.daney@cavium.com"@lxorguk.ukuu.org.uk Subject: Re: Commit 81a43adae3b9 (locking/mutex: Use acquire/release semantics) causing failures on arm64 (ThunderX) Message-ID: <20151214184931.7166827d@lxorguk.ukuu.org.uk> In-Reply-To: <20151211223540.GA22277@linux.vnet.ibm.com> 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> <20151211223540.GA22277@linux.vnet.ibm.com> Organization: Intel Corporation X-Mailer: Claws Mail 3.12.0 (GTK+ 2.24.28; x86_64-redhat-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 2483 Lines: 60 On Fri, 11 Dec 2015 14:35:40 -0800 "Paul E. McKenney" 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. > > I am probably missing quite a bit on this thread, but don't x86 MMIO > accesses to frame buffers need to interact with something more heavyweight > than an x86 release store or acquire load in order to remain confined > to the resulting critical section? Depends upon the device and the mapping. There are also CPU errata related to write combining on older CPUs (notably Pentium Pro era) which result in ordering errors with write combining unless deliberately fenced. Any PCI access isn't constrained to the critical section unless a PCI read from the same device is done and completes before exiting. Even then on processors with a separate APIC bus (PPro, PII I think) interrupts are asynchronous on their own bus. The PCI posting rules also apply to DMA. Finally we run the IDT WinChip in out-of-order store mode not full x86 compatibility which while uniprocessor does mean the correct fences matter. Just to ensure total confusion some video cards have MMIO areas that are not in fact memory but a FIFO rigged to look like a block of RAM for speed of writing. In those cases the rules are a bit card dependant. But seriously are there any cases we actually care about this for osq ? Alan -- 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/