From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1755530Ab3LJRp0 (ORCPT ); Tue, 10 Dec 2013 12:45:26 -0500 Received: from relay4-d.mail.gandi.net ([217.70.183.196]:48500 "EHLO relay4-d.mail.gandi.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1754747Ab3LJRpW (ORCPT ); Tue, 10 Dec 2013 12:45:22 -0500 X-Originating-IP: 50.43.14.201 Date: Tue, 10 Dec 2013 09:45:08 -0800 From: Josh Triplett To: Peter Zijlstra Cc: "Paul E. McKenney" , linux-kernel@vger.kernel.org, mingo@kernel.org, laijs@cn.fujitsu.com, dipankar@in.ibm.com, akpm@linux-foundation.org, mathieu.desnoyers@efficios.com, niv@us.ibm.com, tglx@linutronix.de, rostedt@goodmis.org, dhowells@redhat.com, edumazet@google.com, darren@dvhart.com, fweisbec@gmail.com, sbw@mit.edu, Linux-Arch , Ingo Molnar , Oleg Nesterov , Linus Torvalds Subject: Re: [PATCH v5 tip/core/locking 6/7] locking: Add an smp_mb__after_unlock_lock() for UNLOCK+LOCK barrier Message-ID: <20131210174508.GC10311@leaf> References: <20131210012738.GA24317@linux.vnet.ibm.com> <1386638883-25379-1-git-send-email-paulmck@linux.vnet.ibm.com> <1386638883-25379-6-git-send-email-paulmck@linux.vnet.ibm.com> <20131210123726.GE13532@twins.programming.kicks-ass.net> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20131210123726.GE13532@twins.programming.kicks-ass.net> User-Agent: Mutt/1.5.21 (2010-09-15) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Tue, Dec 10, 2013 at 01:37:26PM +0100, Peter Zijlstra wrote: > On Mon, Dec 09, 2013 at 05:28:02PM -0800, Paul E. McKenney wrote: > > diff --git a/arch/powerpc/include/asm/barrier.h b/arch/powerpc/include/asm/barrier.h > > index f89da808ce31..abf645799991 100644 > > --- a/arch/powerpc/include/asm/barrier.h > > +++ b/arch/powerpc/include/asm/barrier.h > > @@ -84,4 +84,6 @@ do { \ > > ___p1; \ > > }) > > > > +#define smp_mb__after_unlock_lock() do { } while (0) > > + > > #endif /* _ASM_POWERPC_BARRIER_H */ > > Didn't ben said ppc actually violates the current unlock+lock assumtion > and therefore this barrier woulnd't actually be a nop on ppc Or, ppc could fix its lock primitives to preserve the unlock+lock assumption, and avoid subtle breakage across half the kernel. - Josh Triplett