From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Uninterruptible (atomic) operation?
Date: 1996/12/13
Date: 1996-12-13T00:00:00+00:00 [thread overview]
Message-ID: <dewar.850510889@merv> (raw)
In-Reply-To: 32abcb40.740498@news.demon.co.uk
iJohn McCabe said
"Just a brief note, but don't trust pragma shared (in Ada 83) to do
what would seem reasonable. I've learned through experience that this
is the case. The LRM 83 reference is very woolly. It's well worth
reading Robert Dewar's report on Shared Variables and Ada 9X issues
available from AdaIC on this matter."
Well I don't quite know what JMcC would or would not find as seeming
reasonable, but, assuming an implementation of Ada 83 that respected
any conceivable interpretation of what pragma Shared means, the
particular use suggested here is entirely safe and appropriate in
Ada 83 (as it is for Atomic in Ada 95)
next prev parent reply other threads:[~1996-12-13 0:00 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-12-11 0:00 Uninterruptible (atomic) operation? W. Wesley Groleau (Wes)
1996-12-09 0:00 ` John McCabe
1996-12-13 0:00 ` Robert Dewar [this message]
1996-12-12 0:00 ` Robert Dewar
1996-12-13 0:00 ` J-P. Rosen
1996-12-13 0:00 ` Robert I. Eachus
-- strict thread matches above, loose matches on Subject: below --
1996-12-09 0:00 W. Wesley Groleau (Wes)
1996-12-09 0:00 ` Robert A Duff
1996-12-10 0:00 ` Bob Gilbert
1996-12-11 0:00 ` Robert I. Eachus
1996-12-11 0:00 ` Robert S. White
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox