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.2 required=5.0 tests=BAYES_20,GAPPY_SUBJECT,
	INVALID_DATE autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!cis.ohio-state.edu!sei.cmu.edu!jbg
From: jbg@sei.cmu.edu (John Goodenough)
Newsgroups: comp.lang.ada
Subject: Re: Types defining h/w r/o or w/o registers
Message-ID: <26460@as0c.sei.cmu.edu>
Date: 4 Jun 91 14:08:16 GMT
References: <3949@titan.tsd.arlut.utexas.edu> <1991Jun2.095459.1@east.pima.edu> <1991Jun3.075741.1945@weyrich.UUCP>
Sender: netnews@sei.cmu.edu
In-reply-to: orville@weyrich.UUCP's message of 3 Jun 91 07:57:41 GMT
List-Id: <comp.lang.ada>


In article Re: Types defining h/w r/o or w/o registers of 3 Jun 91 07:57:41
GMT orville@weyrich.UUCP (Orville R. Weyrich) writes: 

>Is there any issue pending before the 9x committee to address the issue of
>declaring certain memory locations as VOLATILE?

The following user need and requirement address this issue

    USER NEED U7.1-A: CONTROL OF SHARED MEMORY

    Requirement R7.1-A(1) -- Control of Shared Memory

If you get access to the Requirements Rationale document and look up
"VOLATILE" in the KWIC index, you will be referred directly to this
requirement.  This document is available electronically on the AJPO host and
on the Ada 9X Bulletin Board -- 1-800-Ada9X25 or 301/459-8939.  Or contact the
Ada 9X Project Office at the address below to receive a hard copy.

	Chris Anderson
	Ada 9X Project Manager
	WL/MNAG
	Eglin AFB, FL 32542-5434
	904/882-8264
	e-mail: anderson@uv4.eglin.af.mil
	FAX: 904/882-2095

John B. Goodenough					Goodenough@sei.cmu.edu
Software Engineering Institute				412-268-6391