From: robert_dewar@my-dejanews.com
Subject: Re: How do I get this to work??
Date: 1999/01/19
Date: 1999-01-19T00:00:00+00:00 [thread overview]
Message-ID: <782rcn$kev$1@nnrp1.dejanews.com> (raw)
In-Reply-To: naRo2.8635$Kg6.64266@news2.telusplanet.net
In article <naRo2.8635$Kg6.64266@news2.telusplanet.net>,
warwicks@telusplanet.net (Chris Warwick) wrote:
> Of the Ada compilers I have used, the
> unchecked_deallocation on all of them
> was to set the pointer to 0 and carry on (i.e., no calls
> to deallocate, no
> storing the un-used memory for later re-allocation by the
> Ada program). When I
> first stumbled into this I was told that this was for
> safety reasons. It may
> have been that I have been using safety critical versions
> of these Ada
> compilers, and "standard" compilers are different...
>
I have already discussed this with Chris. He claimed that
VADS behaved as above, which I know to be incorrect, and
he claimed that Alsys behaved as above. I particularly know
the latter claim to be false, since I wrote that code! The
one thing in Alsys that he may be referring to was that for
certain cases of small blocks in local collections, we
deferred collecting the storage till scope exit, but that
is the only case where there was even a deferral of the
free operation.
The claim that this has to do with safety is just wrong.
And as for safety critical subsets, clearly these do not
even allow Unchecked_Deallocation in the first place.
Clearly Chris's statements here are based on
misinformation, or misinterpretation of some kind,
and it is important not to be mislead by them.
Unchecked_Deallocation works just fine on all Ada compilers
and always has, it is as reliable as free in C (and indeed
on many compilers translates directly into a free call).
-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/ Search, Read, Discuss, or Start Your Own
next prev parent reply other threads:[~1999-01-19 0:00 UTC|newest]
Thread overview: 55+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-01-04 0:00 How do I get this to work?? Chris Warwick
1999-01-05 0:00 ` Tom Moran
1999-01-05 0:00 ` Chris Warwick
1999-01-05 0:00 ` Stephen Leake
1999-01-05 0:00 ` Tom Moran
1999-01-06 0:00 ` robert_dewar
1999-01-06 0:00 ` Tom Moran
1999-01-07 0:00 ` robert_dewar
1999-01-07 0:00 ` Tom Moran
1999-01-10 0:00 ` robert_dewar
1999-01-06 0:00 ` Larry Kilgallen
1999-01-06 0:00 ` Tom Moran
1999-01-06 0:00 ` Tom Moran
1999-01-07 0:00 ` robert_dewar
1999-01-07 0:00 ` Tom Moran
1999-01-10 0:00 ` robert_dewar
1999-01-10 0:00 ` Tom Moran
1999-01-10 0:00 ` robert_dewar
1999-01-10 0:00 ` robert_dewar
1999-01-10 0:00 ` Pat Rogers
1999-01-10 0:00 ` Tom Moran
1999-01-06 0:00 ` robert_dewar
1999-01-06 0:00 ` Chris Warwick
1999-01-06 0:00 ` Tom Moran
1999-01-07 0:00 ` robert_dewar
1999-01-09 0:00 ` Chris Warwick
1999-01-09 0:00 ` Simon Wright
1999-01-10 0:00 ` robert_dewar
1999-01-11 0:00 ` Simon Wright
1999-01-16 0:00 ` Chris Warwick
1999-01-16 0:00 ` Simon Wright
1999-01-16 0:00 ` robert_dewar
1999-01-18 0:00 ` Chris Warwick
1999-01-18 0:00 ` Matthew Heaney
1999-01-16 0:00 ` Matthew Heaney
1999-01-16 0:00 ` robert_dewar
1999-01-18 0:00 ` Chris Warwick
1999-01-18 0:00 ` robert_dewar
1999-01-18 0:00 ` dennison
1999-01-18 0:00 ` Tucker Taft
1999-01-19 0:00 ` Chris Warwick
1999-01-19 0:00 ` robert_dewar [this message]
1999-01-20 0:00 ` Jeff Carter
1999-01-20 0:00 ` robert_dewar
1999-01-21 0:00 ` Chris Warwick
1999-01-19 0:00 ` Stephen Leake
1999-01-19 0:00 ` Tom Moran
1999-01-18 0:00 ` dennison
1999-01-18 0:00 ` Matthew Heaney
1999-01-09 0:00 ` Brian Rogoff
1999-01-10 0:00 ` Matthew Heaney
1999-01-07 0:00 ` Stephen Leake
1999-01-08 0:00 ` Simon Wright
1999-01-06 0:00 ` Simon Wright
1999-01-22 0:00 ` Nick Roberts
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox