Re: Java bashing

[stt@houdini.camb.inmet.com (Tucker Taft)]

Mike Stark (michael.e.stark@gsfc.nasa.gov) wrote:

: James F'jord Lynn wrote:
: >
: <snip> 
: >    While this statement is true (and I am glad to see other languages on the
: >  Java VM), I do not know if using Java-ADA (Jada?) conforms to the ISO
: >  standard on the issue of GC.  I believe that it doesn't, but I have not 
: >  seen anything on this topic for either side.  Perhaps someone on the 
: >  Jada project can enlighten us?
: > 

: I assume you mean the Ada ISO standard -- I believe that it allows but
: doesn't require GC, and it isn't specific about how GC is accomplished.
: I cross-posted to comp.lang.ada to allow the language lawyers to 
: correct and/or embellish.

That's true.  The Ada ISO standard allows the use of garbage collection.
There is a pragma "Controlled" which is designed for turning *off*
garbage collection for a particular access type.  This pragma might
be implemented in the Java environment by performing allocations for such 
an access type using a foreign language allocator (such as C's malloc),
or be left unimplemented given its inappropriateness to the Java virtual
machine execution environment (see RM95-1.1.3(6) which allows such
variations from the standard).

: ...
: Mike

-----
-Tucker Taft   stt@inmet.com   http://www.inmet.com/~stt/
Intermetrics, Inc.  Cambridge, MA  USA