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: Mon, 15 May 2017 17:33:28 -0500
Organization: JSA Research & Innovation
Message-ID: <ofdabp$727$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>
 <oet6vt$5h1$1@franka.jacob-sparre.dk>
 <e92ada63-f623-437e-aec8-e69d5e3e4a7f@googlegroups.com>
 <oeueil$knn$1@gioia.aioe.org>
 <f441cc24-a41e-496e-970f-989a319a2a08@googlegroups.com>
 <of0cap$2iu$1@franka.jacob-sparre.dk>
 <a0357a77-39dd-4e24-8580-a71a9ca79531@googlegroups.com>
NNTP-Posting-Host: rrsoftware.com
X-Trace: franka.jacob-sparre.dk 1494887609 7239 24.196.82.226 (15 May 2017
 22:33:29 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Mon, 15 May 2017 22:33:29 +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:46791
Date: 2017-05-15T17:33:28-05:00
List-Id: <comp.lang.ada>

"Jere" <jhb.chat@gmail.com> wrote in message 
news:a0357a77-39dd-4e24-8580-a71a9ca79531@googlegroups.com...
...
> I played around with it a bit more.  I feel like the RM is very piece-meal 
> with
> how it defines things.  I have to find a bunch of different sections to 
> piece
> together a full picture on how something is defined.  Not that it is wrong 
> in
> any sense, but it definitely makes it challenging for someone who doesn't 
> yet
> "know" the standard.  I'll get there in time.  Still it's helpful that the 
> RM is
> in html format with links, though sometimes there are places lacking links 
> to
> definitions (again, to things that once you "know" the standard make 
> sense, but
> for someone new it can be a bit deep to wade through, especially if you 
> are used
> to different terminology from other language standards).

We intend that every defined term appear in the index, so I'd look there if 
all else fails. (Certainly before starting a search.) The real danger point 
is things (like "part") that are technical terms but don't seem like it.

BTW, Atomic/Volatile are messy as they're defined in a specialized needs 
annex, so part of the definition is in the core language and part in the 
annex. (It's hard to imagine an Ada compiler not implementing most of annex 
C, though - I don't think than Atomic/Volatile should have been there but it 
would be messy to change.)

                                 Randy.