This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: robustness vs. conservative GC
- To: dewar at gnat dot com, fjh at cs dot mu dot oz dot au
- Subject: Re: robustness vs. conservative GC
- From: dewar at gnat dot com
- Date: Mon, 30 Jul 2001 16:52:06 -0400 (EDT)
- Cc: gcc at gcc dot gnu dot org, lord at regexps dot com
<<I don't see how you can obtain that sufficient information
without cooperation from the compiler back-end.
>>
But you can't do any kind of type accurate GC without information from the
compiler back end in any case. Actually that's not quite true, see for
example the CDC implementation of ALgol-68, where they simply went to a fully
typed runtime data representation (i.e. by looking at any word in memory
you can tell if or if it is not a pointer).