From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,b307bd75c8071241
X-Google-Attributes: gid103376,public
From: jsa@alexandria (Jon S Anthony)
Subject: Re: newbie Q: storage management
Date: 1997/05/09
Message-ID: <JSA.97May9172829@alexandria>#1/1
X-Deja-AN: 240657530
Distribution: world
References: <5k5hif$7r5@bcrkh13.bnr.ca> <dewar.862662935@merv>
 <336E15A4.167E@magellan.bgm.link.com> <dewar.862915787@merv>
 <E9rMAn.93B@world.std.com> <JSA.97May7204713@alexandria>
 <33720AA5.2E59@sprintmail.com>
Organization: PSI Public Usenet Link
Newsgroups: comp.lang.ada
Date: 1997-05-09T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <33720AA5.2E59@sprintmail.com> "John G. Volan" <johnvolan@sprintmail.com> writes:

> > One obvious way out of this for Ada is the generalized
> > version of what Robert called out as a "compromise": a subsystem of
> > generics which offered several variants.  A single global GC handling
> > all dynamic memory issues isn't really needed.  In fact, this is an
> > area where Ada could do something a little different by offering the
> > ability to have multiple collectors per application targetting the
> > specific needs of specific types (or classes of types).  This is the
> > sort of thing that I've been working on.
> 
> I'm very keen to see how true GC (not conservative GC) could be
> shoehorned into Ada95 (other than by compiling to the Java virtual
> machine).

Well, if you have compiler support this really should not be that much
of an issue.  Conservative collectors really live in a "hostile" world
where there is no compiler support and not much other information
either (no type information, for example).


> One difficulty I'm having is seeing how Storage_Pools would
> actually help.

Well, they help a bit in the internals and in allowing constraints to
be put on their access values.


> It seems to me that, before you can collect the dead objects in a
> given pool, you have to be able to locate and identify every access
> value that currently points into that pool.

Yup - you certainly do.

/Jon
-- 
Jon Anthony
Organon Motives, Inc.
Belmont, MA 02178
617.484.3383
jsa@organon.com