From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752618AbdBMTYr (ORCPT ); Mon, 13 Feb 2017 14:24:47 -0500 Received: from mail.orcon.net.nz ([219.88.242.52]:48603 "EHLO mail.orcon.net.nz" rhost-flags-OK-FAIL-OK-FAIL) by vger.kernel.org with ESMTP id S1752444AbdBMTYp (ORCPT ); Mon, 13 Feb 2017 14:24:45 -0500 Date: Tue, 14 Feb 2017 08:23:34 +1300 From: Michael Cree To: "Paul E. McKenney" Cc: bob smith , 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, will.deacon@arm.com, linux-alpha@vger.kernel.org, linux-kernel@vger.kernel.org Subject: Re: Question about DEC Alpha memory ordering Message-ID: <20170213192334.rjs5yq3gmw5cg7km@tower> Mail-Followup-To: Michael Cree , "Paul E. McKenney" , bob smith , 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, will.deacon@arm.com, linux-alpha@vger.kernel.org, linux-kernel@vger.kernel.org References: <20170213183920.GA25191@linux.vnet.ibm.com> <20170213190931.GK30506@linux.vnet.ibm.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20170213190931.GK30506@linux.vnet.ibm.com> User-Agent: NeoMutt/20170113 (1.7.2) X-Bayes-Prob: 0.0001 (Score 0: No Bayes scoring rules defined, tokens from: outbound) X-Spam-Score: -1.72 () [Hold at 3.00] FREEMAIL_FROM:0.001,FSL_HELO_NON_FQDN_1:0.001,HELO_NO_DOMAIN:0.001,RDNS_NONE:1.274,CC(NZ:-3) X-CanIt-Geo: ip=121.99.228.40; country=NZ; region=Auckland; city=Auckland; latitude=-36.8667; longitude=174.7667; http://maps.google.com/maps?q=-36.8667,174.7667&z=6 X-CanItPRO-Stream: base:outbound X-Canit-Stats-ID: 01SIjnErb - d9938282217b - 20170214 (trained as not-spam) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Hi Paul, On Mon, Feb 13, 2017 at 11:09:31AM -0800, Paul E. McKenney wrote: > 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. > > Well, thank you for pointing me to this, but my question was intended to > check whether or not the words I helped to write in memory-barriers.txt > are in fact accurate. So if you have an SMP DEC Alpha system that you > could provide remote access to, that would be very helpful! I'm that guy with an SMP Alpha system who met you at Linux Conference Australia after your talk on memory barriers. I meant to get back to you but tracking down a kernel bug and now a binutils/glibc bug has got the better of my time. Feel free to email me personally to arrange remote access to an SMP Alpha system, preferrably with a GPG signed message. Cheers Michael.