From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753333AbdBMTJh (ORCPT ); Mon, 13 Feb 2017 14:09:37 -0500 Received: from mx0b-001b2d01.pphosted.com ([148.163.158.5]:59795 "EHLO mx0a-001b2d01.pphosted.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1750975AbdBMTJe (ORCPT ); Mon, 13 Feb 2017 14:09:34 -0500 Date: Mon, 13 Feb 2017 11:09:31 -0800 From: "Paul E. McKenney" To: bob smith Cc: 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 Reply-To: paulmck@linux.vnet.ibm.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.21 (2010-09-15) X-TM-AS-GCONF: 00 X-Content-Scanned: Fidelis XPS MAILER x-cbid: 17021319-0028-0000-0000-000007078B64 X-IBM-SpamModules-Scores: X-IBM-SpamModules-Versions: BY=3.00006610; HX=3.00000240; KW=3.00000007; PH=3.00000004; SC=3.00000203; SDB=6.00821451; UDB=6.00401757; IPR=6.00598904; BA=6.00005133; NDR=6.00000001; ZLA=6.00000005; ZF=6.00000009; ZB=6.00000000; ZP=6.00000000; ZH=6.00000000; ZU=6.00000002; MB=3.00014269; XFM=3.00000011; UTC=2017-02-13 19:09:31 X-IBM-AV-DETECTION: SAVI=unused REMOTE=unused XFE=unused x-cbparentid: 17021319-0029-0000-0000-000033885657 Message-Id: <20170213190931.GK30506@linux.vnet.ibm.com> X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:,, definitions=2017-02-13_10:,, signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 spamscore=0 suspectscore=0 malwarescore=0 phishscore=0 adultscore=0 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1612050000 definitions=main-1702130184 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. 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! Thanx, Paul [ . . . ]