From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Portable memory barrier?
Date: Tue, 9 May 2017 14:57:48 -0500
Organization: JSA Research & Innovation
Message-ID: <oet6vt$5h1$1@franka.jacob-sparre.dk>
References: <e8d229c0-317e-4f5a-8d54-cf56c3aede7a@googlegroups.com>
 <0fc56bf7-1cfa-4776-9c47-a573db315c5f@googlegroups.com>
 <oep7mj$1g3f$1@gioia.aioe.org>
 <e87ac3c3-8390-4d1d-979d-0bcc7e4d3dde@googlegroups.com>
 <oeq60s$18c1$1@gioia.aioe.org>
 <7b0c08eb-be62-4d14-ae99-cad038ad0a62@googlegroups.com>
 <oeqmqm$7ho$2@gioia.aioe.org>
 <077e7f6a-5a7b-4b88-a16f-7672aec18a17@googlegroups.com>
NNTP-Posting-Host: rrsoftware.com
X-Trace: franka.jacob-sparre.dk 1494359869 5665 24.196.82.226 (9 May 2017
 19:57:49 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Tue, 9 May 2017 19:57:49 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: news.eternal-september.org comp.lang.ada:46735
Date: 2017-05-09T14:57:48-05:00
List-Id: <comp.lang.ada>

"Robert Eachus" <rieachus@comcast.net> wrote in message 
news:077e7f6a-5a7b-4b88-a16f-7672aec18a17@googlegroups.com...
...
>The compiler will play some games, and certainly will leave Write_Index in 
>a register if possible.

It better not is Write_Index is Atomic.

Which is my point on this discussion: what the CPU does is irrelevant if the 
compiler is implemented correctly. If it isn't, then the compiler is wrong. 
QED.

Only the compiler vendor need worry about this level of discussion. 
Honestly, I doubt anyone else is qualified. (I'm not, and I AM a compiler 
vendor... ;-)

                                     Randy.