From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Garbage Collection in Ada
Date: 1996/10/17
Date: 1996-10-17T00:00:00+00:00 [thread overview]
Message-ID: <dewar.845559504@merv> (raw)
In-Reply-To: 3265BD97.41C6@mti.sgi.com
HJB says
"It could require the existence of a collector, and a (partially)
conservative collector may well be the most viable implementation
strategy."
What would it mean to sanction the existence of a collector. As I noted
earlier, at most it could mean that you provide for the possibility of
unreachable blocks disappearing, but there are several problems here:
1. Since you only *allow* such collection, completely ignoring the requirement
is a valid semantic interpretation.
2. Since you can only collect unreachable blocks, the removal of them has
null semantics in any case, unless you allow finalization to happen at
unpredictable points, a nasty thought!
3. You cannot require blocks to disappear, since if you have conservative
collectors in mind they do not guarantee to free even a single block in
a given program.
Conservative collectors are a clever idea, and are a clever response to
dealing with wanting GC in an implementation that does not otherwise
provide GC, but I don't see that the concept has any relevance in language
design.
next prev parent reply other threads:[~1996-10-17 0:00 UTC|newest]
Thread overview: 126+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-10-13 0:00 Garbage Collection in Ada Jonas Nygren
1996-10-13 0:00 ` Lars Farm
1996-10-13 0:00 ` Robert Dewar
[not found] ` <19961014115513529729@dialup105-2-16.swipnet.se>
1996-10-16 0:00 ` Robert Dewar
1996-10-16 0:00 ` Lars Farm
1996-10-16 0:00 ` Robert Dewar
1996-10-16 0:00 ` Hans-Juergen Boehm
1996-10-17 0:00 ` Robert Dewar [this message]
1996-10-17 0:00 ` Hans-Juergen Boehm
1996-10-17 0:00 ` Robert A Duff
1996-10-17 0:00 ` Larry Kilgallen
1996-10-17 0:00 ` Hans-Juergen Boehm
1996-10-17 0:00 ` Lars Farm
1996-10-23 0:00 ` Robert Dewar
1996-10-16 0:00 ` Hans-Juergen Boehm
1996-10-16 0:00 ` Robert Dewar
1996-10-16 0:00 ` Hans-Juergen Boehm
1996-10-17 0:00 ` Robert Dewar
1996-10-17 0:00 ` Hans-Juergen Boehm
1996-10-17 0:00 ` Robert Dewar
1996-10-13 0:00 ` Larry Kilgallen
1996-10-14 0:00 ` John Howard
1996-10-15 0:00 ` Lars Farm
1996-10-15 0:00 ` Robert A Duff
1996-10-15 0:00 ` Robert Dewar
1996-10-15 0:00 ` Hans-Juergen Boehm
1996-10-15 0:00 ` Lars Farm
1996-10-17 0:00 ` Thomas Kendelbacher
1996-10-17 0:00 ` Robert Dewar
1996-10-23 0:00 ` Richard A. O'Keefe
1996-10-23 0:00 ` Larry Kilgallen
1996-10-14 0:00 ` Robert A Duff
1996-10-14 0:00 ` Lars Farm
1996-10-15 0:00 ` Robert A Duff
1996-10-16 0:00 ` Lars Farm
1996-10-16 0:00 ` Robert Dewar
1996-10-17 0:00 ` Robert A Duff
1996-10-19 0:00 ` Richard Kenner
1996-10-19 0:00 ` Robert Dewar
1996-10-19 0:00 ` Lars Farm
1996-10-20 0:00 ` Robert Dewar
1996-10-20 0:00 ` Robert A Duff
1996-10-20 0:00 ` Robert Dewar
1996-10-21 0:00 ` Geert Bosch
1996-10-21 0:00 ` Hans-Juergen Boehm
1996-10-21 0:00 ` Lars Farm
1996-10-21 0:00 ` Robert Dewar
1996-10-21 0:00 ` Lars Farm
1996-10-23 0:00 ` Fergus Henderson
1996-10-24 0:00 ` Richard A. O'Keefe
1996-10-20 0:00 ` Robert A Duff
1996-10-20 0:00 ` Robert Dewar
1996-10-21 0:00 ` Hans-Juergen Boehm
1996-10-21 0:00 ` Robert Dewar
1996-10-15 0:00 ` Hans-Juergen Boehm
1996-10-15 0:00 ` Keith Thompson
1996-10-13 0:00 ` Robert Dewar
1996-10-14 0:00 ` Jon S Anthony
1996-10-15 0:00 ` Robert Dewar
1996-10-15 0:00 ` Hannes Haug
1996-10-15 0:00 ` Robert I. Eachus
1996-10-15 0:00 ` Robert Dewar
1996-10-16 0:00 ` whiting_ms@corning.com (Matt Whiting)
1996-10-16 0:00 ` Robert Dewar
1996-10-17 0:00 ` John Howard
1996-10-17 0:00 ` Robert Dewar
1996-10-18 0:00 ` Hans-Juergen Boehm
1996-10-18 0:00 ` Lars Farm
1996-10-20 0:00 ` Robert A Duff
1996-10-18 0:00 ` Lars Farm
1996-10-19 0:00 ` Robert Dewar
1996-10-20 0:00 ` Lars Farm
1996-10-21 0:00 ` Nicolay Belofastow
1996-10-21 0:00 ` Robert Dewar
1996-10-21 0:00 ` Robert Dewar
1996-10-22 0:00 ` Lars Farm
1996-10-20 0:00 ` Robert A Duff
1996-10-20 0:00 ` Robert Dewar
1996-10-22 0:00 ` Mitch Gart
1996-10-23 0:00 ` Hans-Juergen Boehm
1996-10-27 0:00 ` Richard Riehle
1996-10-23 0:00 ` Fergus Henderson
1996-10-29 0:00 ` Jon S Anthony
1996-10-30 0:00 ` Brian Rogoff
1996-10-30 0:00 ` Jonas Nygren
1996-10-30 0:00 ` James Rogers
1996-10-30 0:00 ` Jon S Anthony
1996-10-16 0:00 ` Jon S Anthony
1996-10-16 0:00 ` Jon S Anthony
1996-10-16 0:00 ` Jon S Anthony
1996-10-17 0:00 ` Robert Dewar
1996-10-16 0:00 ` Jon S Anthony
1996-10-16 0:00 ` Ole-Hjalmar Kristensen FOU.TD/DELAB
1996-10-16 0:00 ` Robert Dewar
1996-10-17 0:00 ` Hans-Juergen Boehm
1996-10-17 0:00 ` Rick Hudson
1996-10-17 0:00 ` Robert I. Eachus
1996-10-17 0:00 ` Robert Dewar
1996-10-17 0:00 ` Richard Kenner
1996-10-18 0:00 ` Rick Hudson
1996-10-18 0:00 ` Jon S Anthony
1996-10-18 0:00 ` Robert Dewar
1996-10-18 0:00 ` Jon S Anthony
1996-10-23 0:00 ` Robert Dewar
1996-10-21 0:00 ` Laurent Pautet
1996-10-21 0:00 ` Jon S Anthony
1996-10-22 0:00 ` Tapani Rundgren
1996-10-22 0:00 ` Jon S Anthony
1996-10-23 0:00 ` Jon S Anthony
1996-10-24 0:00 ` Mitch Gart
1996-10-24 0:00 ` Hans-Juergen Boehm
1996-10-24 0:00 ` Robert I. Eachus
1996-10-25 0:00 ` Jon S Anthony
1996-10-28 0:00 ` Robert I. Eachus
1996-10-29 0:00 ` Hans-Juergen Boehm
-- strict thread matches above, loose matches on Subject: below --
1996-11-02 0:00 Jon S Anthony
[not found] <01bbc6a3$4cf03480$829d6482@joy.ericsson.se>
1996-10-31 0:00 ` Mitch Gart
1996-10-31 0:00 ` Jonas Nygren
1996-11-03 0:00 ` Matthew Heaney
1996-11-06 0:00 ` Robert A Duff
1996-11-06 0:00 ` Norman H. Cohen
1996-11-01 0:00 ` Jon S Anthony
1996-11-06 0:00 ` Brian Rogoff
1996-11-07 0:00 ` Tucker Taft
1996-10-22 0:00 Brian Rogoff
1996-10-11 0:00 C++ Standardization (was: Once again, Ada absent from DoD SBIR solicitation) Dave Wood
1996-10-17 0:00 ` Garbage Collection in Ada Thomas Kendelbacher
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox