From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752375AbeB1L0T (ORCPT ); Wed, 28 Feb 2018 06:26:19 -0500 Received: from mail-wm0-f66.google.com ([74.125.82.66]:35413 "EHLO mail-wm0-f66.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752301AbeB1L0R (ORCPT ); Wed, 28 Feb 2018 06:26:17 -0500 X-Google-Smtp-Source: AG47ELvFPKPcoKsh8rcCtoHUPqFYuaW4EsktxRxHo+dN0kQ/dRXIIVO642J/06APQcpeTNoIniPwKA== Date: Wed, 28 Feb 2018 12:26:09 +0100 From: Andrea Parri To: Will Deacon Cc: Ingo Molnar , Peter Zijlstra , linux-kernel@vger.kernel.org, "Paul E . McKenney" , Alan Stern , Andrew Morton , Ivan Kokshaysky , Linus Torvalds , Matt Turner , Richard Henderson , Thomas Gleixner , linux-alpha@vger.kernel.org Subject: Re: [PATCH] locking/xchg/alpha: Remove memory barriers from the _local() variants Message-ID: <20180228112609.GA32523@andrea> References: <1519704058-13430-1-git-send-email-parri.andrea@gmail.com> <20180227200830.GA3164@andrea> <20180228105810.GB7681@arm.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20180228105810.GB7681@arm.com> User-Agent: Mutt/1.5.24 (2015-08-30) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Wed, Feb 28, 2018 at 10:58:11AM +0000, Will Deacon wrote: > On Tue, Feb 27, 2018 at 09:08:31PM +0100, Andrea Parri wrote: > > [+ Will] > > > > I'm not sure how this happened; Will, you at least figure as Reported-by: ;-) > > Thanks, this looks better to me. Have you build an Alpha kernel to check > that the various cmpxchg variants are producing the expected asm? Indeed. Compile tested (only). Andrea > > Will