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!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Portable memory barrier?
Date: Thu, 11 May 2017 18:23:00 +0200
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <of22uv$d73$1@dont-email.me>
References: <e8d229c0-317e-4f5a-8d54-cf56c3aede7a@googlegroups.com>
 <oek2dp$lno$1@dont-email.me>
 <36434cd8-bc44-4d4a-957d-987fdf106be7@googlegroups.com>
 <oet6g8$5be$1@franka.jacob-sparre.dk>
 <bca6700f-5cab-42a6-a055-c7747d0de6b1@googlegroups.com>
 <of0e3k$366$1@franka.jacob-sparre.dk>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 11 May 2017 16:19:43 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="63e1924a062bbaf6f79777f744631d65";
	logging-data="13539"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19RG6JIthoiUu2XhOig5GJ409IlKkNjfCg="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.8.0
In-Reply-To: <of0e3k$366$1@franka.jacob-sparre.dk>
Cancel-Lock: sha1:2MA7YJlsjIhkPbamUEyPRDknsSo=
Xref: news.eternal-september.org comp.lang.ada:46764
Date: 2017-05-11T18:23:00+02:00
List-Id: <comp.lang.ada>

On 05/11/2017 03:17 AM, Randy Brukardt wrote:
> "Shark8" <onewingedshark@gmail.com> wrote in message
> news:bca6700f-5cab-42a6-a055-c7747d0de6b1@googlegroups.com...
>> On Tuesday, May 9, 2017 at 1:49:29 PM UTC-6, Randy Brukardt wrote:
>>>
>>> Atomic implies sequential access for atomic AND volatile objects (note
>>> that
>>> volatile does NOT imply that). See 9.10 if you dare. (And if you
>>> understand
>>> 9.10, please join the ARG, we need you. ;-)
>>
>> I understood 9.10 -- how do I join the ARG?
>
> Talk to the chairperson, Jeff Cousins (ask me privately for his e-mail
> address; it's probably public information but I don't feel comfortable in
> posting anyone's address that way).

9.10 doesn't seem that bad. C.6, on the other hand, ...

-- 
Jeff Carter
It's better to be root than to reboot.
119