From: lars.farm@ite.mh.se (Lars Farm)
Subject: Re: Garbage Collection in Ada
Date: 1996/10/19
Date: 1996-10-19T00:00:00+00:00 [thread overview]
Message-ID: <199610191920401982154@dialup119-3-12.swipnet.se> (raw)
In-Reply-To: dewar.845732059@merv
Robert Dewar <dewar@merv.cs.nyu.edu> wrote:
> it is interesting to note that the mixture of
> two such fiddles can sometimes go astray (as is the case with conservative
> GC, and manual virtual origin mucking)
If you were someone other than Prof. Dewar I'd be tempted to say: "No,
you are confused " ;-) User code is not the same thing as the runtime
system provided by the implementation. The GC should be provided by the
impementation.
The language specs imposes no restrictions on the language the runtime
system is written in. The runtime system is there in part to encapsulate
unportable tricks and hide them from the user.
The restrictions imposed by a language spec concerns user code only.
Consequently manual virtual origin at the user level is definitly not
valid C++. Such code is broken. No matter how popular. Even if it by
accident happens to work with this or that compiler on some systems.
A conservative collector provided by the implementation as part of the
runtime system does not break the rules even if it was written in
something that looked like C or C++. It could be written in any
language. Including an unportable C-like language only available to the
compiler implementors.
I assume (but do not know) that the Ada runtime system would be very
hard to implement fully in entirely conforming Ada too.
--
Lars Farm, lars.farm@ite.mh.se
next prev parent reply other threads:[~1996-10-19 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 ` Robert Dewar
1996-10-13 0:00 ` Lars Farm
1996-10-13 0:00 ` Larry Kilgallen
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 ` 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-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 A Duff
1996-10-17 0:00 ` Hans-Juergen Boehm
1996-10-17 0:00 ` Larry Kilgallen
1996-10-17 0:00 ` Robert Dewar
1996-10-17 0:00 ` Hans-Juergen Boehm
1996-10-17 0:00 ` Lars Farm
1996-10-23 0:00 ` Robert Dewar
1996-10-14 0:00 ` John Howard
1996-10-15 0:00 ` Lars Farm
1996-10-15 0:00 ` Robert Dewar
1996-10-15 0:00 ` Lars Farm
1996-10-15 0:00 ` Hans-Juergen Boehm
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-15 0:00 ` Robert A Duff
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 [this message]
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 ` Lars Farm
1996-10-21 0:00 ` Robert Dewar
1996-10-21 0:00 ` Lars Farm
1996-10-21 0:00 ` Geert Bosch
1996-10-21 0:00 ` Hans-Juergen Boehm
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-14 0:00 ` Jon S Anthony
1996-10-15 0:00 ` Robert Dewar
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 ` Robert Dewar
1996-10-22 0:00 ` Lars Farm
1996-10-21 0:00 ` Nicolay Belofastow
1996-10-21 0:00 ` Robert Dewar
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 ` Fergus Henderson
1996-10-23 0:00 ` Hans-Juergen Boehm
1996-10-27 0:00 ` Richard Riehle
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 ` Jon S Anthony
1996-10-30 0:00 ` James Rogers
1996-10-15 0:00 ` Hannes Haug
1996-10-16 0:00 ` Ole-Hjalmar Kristensen FOU.TD/DELAB
1996-10-16 0:00 ` Robert Dewar
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 ` Jon S Anthony
1996-10-16 0:00 ` Jon S Anthony
1996-10-17 0:00 ` Robert I. Eachus
1996-10-17 0:00 ` Robert Dewar
1996-10-17 0:00 ` Richard Kenner
1996-10-17 0:00 ` Hans-Juergen Boehm
1996-10-17 0:00 ` Rick Hudson
1996-10-18 0:00 ` Jon S Anthony
1996-10-18 0:00 ` Robert Dewar
1996-10-18 0:00 ` Rick Hudson
1996-10-18 0:00 ` Jon S Anthony
1996-10-23 0:00 ` Robert Dewar
1996-10-21 0:00 ` Jon S Anthony
1996-10-21 0:00 ` Laurent Pautet
1996-10-22 0:00 ` Jon S Anthony
1996-10-22 0:00 ` Tapani Rundgren
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