From: Wes Groleau <wwgrol@ftw.rsc.raytheon.com>
Subject: Re: Ada GC (was Ammo-zilla)
Date: 1999/11/04
Date: 1999-11-04T00:00:00+00:00 [thread overview]
Message-ID: <38218F00.11C60777@ftw.rsc.raytheon.com> (raw)
In-Reply-To: 3820CF33.81C062E1@callnetuk.com
> > This restriction could be done using language support for GC.
> > Let's suppose that we have additional keyword TRACED
> > that applied to the ACCESS TYPES controlled by GC.
> > (This TRACED ACCESS TYPE could be bound
> > to particular GC using standard Ada construct:
> > for T'Storage_Pool use Ada.GC.GC_Name_Storage_Pool).
> >
> > When access type is declared to be traced compiler should
> > not allow any unchecked conversions with that type in standard
> > mode.
> > In may allowed only using additional pragmas.
>
> Rather than introducing a new reserved word into the Ada syntax, I think
> all that would be necessary would be for a new standard (abstract) pool
> type to be defined, derived from Root_Storage_Pool, called
> Root_Managed_Pool, say. Managed (garbage collecting) pools would all be
> derived from this type.
Good ideas, but seems to me (disclaimer: I am not a compiler expert, nor
do I play one on Usenet) it would be quite a challenge for the compiler
to reliably warn of misuse. Tracking dangerous operations applied
directly to an access type is not hard, but what about unchecked
conversions, address clauses, or other operations modifying or
referencing the objects (or components of the objects) the access type
points to? In Ada, access types are often used for dynamic data
structures (lists, maps, graphs, stacks, etc.) which often contain
nested access objects.
next prev parent reply other threads:[~1999-11-04 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 Aidan Skinner
1999-10-24 0:00 ` Ammo-zilla Robert Dewar
1999-10-24 0:00 ` Ammo-zilla Matthew Heaney
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 Tucker Taft
1999-10-30 0:00 ` Ammo-zilla Lutz Donnerhacke
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 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-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 ` 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 ` Vladimir Olensky
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 I. Eachus
1999-11-12 0:00 ` Didier Utheza
1999-11-12 0:00 ` Robert Dewar
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 [this message]
1999-10-31 0:00 ` Ammo-zilla Robert Dewar
1999-10-31 0:00 ` Garbage colletion Lutz Donnerhacke
1999-11-01 0:00 ` Robert Dewar
1999-11-01 0:00 ` Lutz Donnerhacke
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 ` Larry Kilgallen
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 ` Ammo-zilla Robert I. Eachus
1999-10-31 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 Robert Dewar
1999-10-24 0:00 ` Ammo-zilla David Botton
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox