From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752680AbdBMTiV (ORCPT ); Mon, 13 Feb 2017 14:38:21 -0500 Received: from skade.schwarzvogel.de ([144.76.18.87]:46189 "EHLO mail.schwarzvogel.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751578AbdBMTiU (ORCPT ); Mon, 13 Feb 2017 14:38:20 -0500 X-Greylist: delayed 1404 seconds by postgrey-1.27 at vger.kernel.org; Mon, 13 Feb 2017 14:38:19 EST Date: Mon, 13 Feb 2017 20:14:23 +0100 From: Tobias Klausmann 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: <20170213191422.GA64569@skade.schwarzvogel.de> Mail-Followup-To: "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: Mutt/1.7.2 (2016-11-26) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Hi! On Mon, 13 Feb 2017, 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 have a 4-cpu ES40. Send me a test program and I'll gladly run it for you. Regards, Tobias -- Sent from aboard the Culture ship Stargazer Sober Counsel (Zetetic Elench)