comp.lang.ada
 help / color / mirror / Atom feed
From: "David C. Hoos" <david.c.hoos.sr@ada95.com>
To: <comp.lang.ada@ada.eu.org>
Cc: <Jon.Harshaw@raytheon.com>
Subject: Re: Pragma Volatile
Date: Tue, 25 Sep 2001 09:23:41 -0500
Date: 2001-09-25T09:23:41-05:00	[thread overview]
Message-ID: <mailman.1001427740.15057.comp.lang.ada@ada.eu.org> (raw)
In-Reply-To: 3BB08F9C.BFB01047@raytheon.com

Pragma Volatile is defined in RM95 C.6

C.6 (16) says:
For a volatile object all reads and updates of the object as
a whole are performed directly to memory.

----- Original Message ----- 
From: "Jon R. Harshaw" <Jon.Harshaw@raytheon.com>
Newsgroups: comp.lang.ada
To: <comp.lang.ada@ada.eu.org>
Sent: Tuesday, September 25, 2001 9:07 AM
Subject: Pragma Volatile


> OK. - Since I can't find a reference for this in my limited
> documentation, what does "Pragma Volatile" do?  I'm guessing that it is
> just available while the process that invokes it is up and running, but
> that's just a WAG...
> 
> --
> Jon.Harshaw@raytheon.com
> Phone: (814)-278-2908
> Bldg. 5, Cube 679
> 
> 
> _______________________________________________
> comp.lang.ada mailing list
> comp.lang.ada@ada.eu.org
> http://ada.eu.org/mailman/listinfo/comp.lang.ada
> 




  reply	other threads:[~2001-09-25 14:23 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-09-25 14:07 Pragma Volatile Jon R. Harshaw
2001-09-25 14:23 ` David C. Hoos [this message]
2001-09-25 14:38 ` Marin David Condic
2001-09-25 23:03 ` Mark Johnson
2001-09-29 17:38   ` Tucker Taft
2001-09-29 18:22     ` minyard
2001-09-29 22:28       ` Jeffrey Carter
2001-09-30 13:10         ` Robert Dewar
2001-09-30 21:19           ` Jeffrey Carter
2001-10-01  2:58             ` minyard
2001-10-02  9:38           ` AG
2001-10-02 10:59             ` Jeff Creem
2001-09-30  2:03       ` DuckE
2001-09-30 13:01       ` Robert Dewar
2001-09-30 20:12         ` minyard
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox