From: "Robert I. Eachus" <eachus@mitre.org>
Subject: Re: Ammo-zilla
Date: 1999/10/29
Date: 1999-10-29T15:54:30+00:00 [thread overview]
Message-ID: <3819C484.224F12C9@mitre.org> (raw)
In-Reply-To: 86ogdjtdwz.fsf@ppp-115-70.villette.club-internet.fr
Laurent Guerby wrote:
> Quite the contrary, garbage collection is allowed (but not mandated)
> by the language (see section 13.11.3 of the Ada 95 RM), and it's of
> course available for Ada compilers targetting the JVM.
Actually there are some types for which it is mandated:
"Implementation Requirements
"No storage associated with an Unbounded_String object shall be lost
upon assignment or scope exit." RM A.4.5(88)
And those for which it is not recommended:
"Implementation Advice
"Bounded string objects should not be implemented by implicit pointers
and dynamic allocation."
However I think that one of the easiest and most needed language
extensions is to have storage pools with reference counting and with
garbage collection predefined. (Probably as generic children of
Ada.Finalization.) The first is easily written in a portable manner,
but doing GC right for arbitrary types requires compiler
support/modifications. (There are various methods, but all require that
access values for that storage pool contain more than a simple
pointer.) You can create a storage pool with garbage collection
semantics without compiler support, but it requires discipline on the
part of the programmer. (For example, you create a handle type, and
objects designated by handles are treated as referenced during GC, while
pointers and 'Access do not cause an object to be recognized as in use.)
--
Robert I. Eachus
with Standard_Disclaimer;
use Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...
next prev parent reply other threads:[~1999-10-29 0:00 UTC|newest]
Thread overview: 92+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-10-23 0:00 Ammo-zilla Stanley R. Allen
1999-10-24 0:00 ` Ammo-zilla Robert Dewar
1999-10-24 0:00 ` Ammo-zilla David Botton
1999-10-24 0:00 ` Ammo-zilla Aidan Skinner
1999-10-24 0:00 ` Ammo-zilla Robert Dewar
1999-10-24 0:00 ` Ammo-zilla Aidan Skinner
1999-10-25 0:00 ` Ammo-zilla Jean-Pierre Rosen
1999-10-24 0:00 ` Ammo-zilla David Botton
1999-10-28 0:00 ` Ammo-zilla Charles Hixson
1999-10-28 0:00 ` Ammo-zilla Matthew Heaney
1999-10-28 0:00 ` Ammo-zilla mitch
1999-10-29 0:00 ` Ammo-zilla Matthew Heaney
1999-10-28 0:00 ` Ammo-zilla Tucker Taft
1999-10-31 0:00 ` Ammo-zilla Brian Rogoff
1999-11-01 0:00 ` Ammo-zilla Robert Dewar
1999-11-01 0:00 ` Ammo-zilla Brian Rogoff
1999-11-02 0:00 ` Ammo-zilla Robert Dewar
1999-11-02 0:00 ` Ammo-zilla Brian Rogoff
1999-11-02 0:00 ` Ammo-zilla Robert A Duff
1999-10-28 0:00 ` Ammo-zilla Laurent Guerby
1999-10-28 0:00 ` Ammo-zilla Charles Hixson
1999-10-29 0:00 ` Ada and GC (Was Re: Ammo-zilla) Vladimir Olensky
1999-10-29 0:00 ` David Botton
1999-10-31 0:00 ` Vladimir Olensky
1999-10-30 0:00 ` Samuel T. Harris
1999-10-30 0:00 ` David Botton
1999-10-28 0:00 ` Ammo-zilla David Starner
1999-10-29 0:00 ` Ammo-zilla Larry Kilgallen
1999-10-29 0:00 ` Ammo-zilla David Starner
1999-10-29 0:00 ` Ammo-zilla David Botton
1999-10-29 0:00 ` Ammo-zilla mike
1999-10-29 0:00 ` Ammo-zilla David Botton
1999-10-31 0:00 ` Ammo-zilla Robert Dewar
1999-11-02 0:00 ` Ammo-zilla Charles Hixson
1999-11-03 0:00 ` Ammo-zilla Wes Groleau
1999-11-01 0:00 ` Ammo-zilla Geoff Bull
1999-10-29 0:00 ` Ammo-zilla Matthew Heaney
1999-10-29 0:00 ` Ammo-zilla Charles Hixson
1999-10-29 0:00 ` Ammo-zilla Tucker Taft
1999-10-30 0:00 ` Ammo-zilla Lutz Donnerhacke
1999-10-31 0:00 ` Ammo-zilla Robert Dewar
1999-10-31 0:00 ` Garbage colletion Lutz Donnerhacke
1999-11-01 0:00 ` Larry Kilgallen
1999-11-01 0:00 ` Robert Dewar
1999-11-01 0:00 ` Gnat IDE (was: Garbage colletion) Ted Dennison
1999-11-01 0:00 ` Garbage colletion Lutz Donnerhacke
1999-11-01 0:00 ` Robert Dewar
1999-11-04 0:00 ` Didier Utheza
1999-11-04 0:00 ` David Starner
1999-11-01 0:00 ` Robert Dewar
1999-11-01 0:00 ` Lutz Donnerhacke
1999-10-31 0:00 ` Ammo-zilla Robert Dewar
1999-10-31 0:00 ` Ammo-zilla David Starner
1999-11-01 0:00 ` Ada and GC. Was: Ammo-zilla Vladimir Olensky
1999-11-01 0:00 ` Vladimir Olensky
1999-11-01 0:00 ` Tucker Taft
1999-11-02 0:00 ` Vladimir Olensky
1999-11-02 0:00 ` Robert Dewar
1999-11-02 0:00 ` Charles Hixson
1999-11-03 0:00 ` Robert Dewar
1999-11-03 0:00 ` Charles Hixson
1999-11-01 0:00 ` Ammo-zilla Robert Dewar
1999-11-01 0:00 ` Ammo-zilla Robert Dewar
1999-11-01 0:00 ` Ammo-zilla Robert A Duff
1999-11-01 0:00 ` Ammo-zilla Vladimir Olensky
1999-11-01 0:00 ` Ammo-zilla Robert Dewar
1999-11-02 0:00 ` Ammo-zilla Robert A Duff
1999-11-02 0:00 ` Ammo-zilla Robert Dewar
1999-11-03 0:00 ` Ammo-zilla Vladimir Olensky
1999-11-03 0:00 ` Ammo-zilla Robert Dewar
1999-11-04 0:00 ` Ada GC (was Re: Ammo-zilla) Vladimir Olensky
1999-11-06 0:00 ` Robert Dewar
1999-11-06 0:00 ` Vladimir Olensky
1999-11-06 0:00 ` Robert Dewar
1999-11-06 0:00 ` Vladimir Olensky
1999-11-09 0:00 ` Robert A Duff
1999-11-10 0:00 ` Vladimir Olensky
1999-11-10 0:00 ` Richard D Riehle
1999-11-10 0:00 ` Robert A Duff
1999-11-10 0:00 ` Nick Roberts
1999-11-12 0:00 ` Robert Dewar
1999-11-12 0:00 ` Robert I. Eachus
1999-11-12 0:00 ` Didier Utheza
1999-11-12 0:00 ` Robert I. Eachus
1999-11-04 0:00 ` Ada GC (was Ammo-zilla) Nick Roberts
1999-11-04 0:00 ` Wes Groleau
1999-10-30 0:00 ` Ammo-zilla Lutz Donnerhacke
1999-10-30 0:00 ` Ammo-zilla Matthew Heaney
1999-10-31 0:00 ` Ammo-zilla Robert Dewar
1999-10-29 0:00 ` Robert I. Eachus [this message]
1999-10-31 0:00 ` Ammo-zilla Robert Dewar
1999-10-24 0:00 ` Ammo-zilla Matthew Heaney
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox