From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752621AbdBMTIn (ORCPT ); Mon, 13 Feb 2017 14:08:43 -0500 Received: from foss.arm.com ([217.140.101.70]:33732 "EHLO foss.arm.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751805AbdBMTIm (ORCPT ); Mon, 13 Feb 2017 14:08:42 -0500 Date: Mon, 13 Feb 2017 19:08:39 +0000 From: Will Deacon To: bob smith Cc: paulmck@linux.vnet.ibm.com, rth@twiddle.net, ink@jurassic.park.msu.ru, mattst88@gmail.com, stern@rowland.harvard.edu, j.alglave@ucl.ac.uk, luc.maranget@inria.fr, parri.andrea@gmail.com, linux-alpha@vger.kernel.org, linux-kernel@vger.kernel.org Subject: Re: Question about DEC Alpha memory ordering Message-ID: <20170213190839.GI10256@arm.com> References: <20170213183920.GA25191@linux.vnet.ibm.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 On Mon, Feb 13, 2017 at 01:53:27PM -0500, bob smith wrote: > On 2/13/17 1:39 PM, Paul E. McKenney wrote: > > can real DEC Alpha hardware end up with both instances of "r1" > > having the value 1? > > I thought this question reminded me of something, so I found this: > > https://www.kernel.org/doc/Documentation/memory-barriers.txt > > and I pasted in the content - David Howells is one of the authors and > maybe that is why the question sort of reminded me. > > Maybe someone has an update but this is what was said then. > > ============================ > LINUX KERNEL MEMORY BARRIERS > ============================ > > By: David Howells > Paul E. McKenney ^^^^^^^^^^^^^^^^ There's only one Paul E. McKenney. Will