Subject: Re: self-hosting gc
From: Erik Naggum <>
Date: Fri, 01 Mar 2002 16:04:26 GMT
Newsgroups: comp.lang.lisp
Message-ID: <>

[ Not responding to comp.lang.scheme. ]

* (Tim Moore)
| I suppose that access to macros might be a bonus when writing a collector
| in Lisp, but assuming that much Lisp functionality won't be available in
| the collector or will be available in some weird and crippled form, and
| that it's desirable for the collector not to cons itself, the Lisp you
| write for the collector ends up looking a lot like C.

  Why is this?  It seem obviously false to me.  The first thing you would
  do in a copying garbage collector would be to switch the active half of
  the two-space memory organization.  The GC's task is only to move live
  objects from the other half to this half, right?  It should be doable
  with the full language available and with no real constraints on consing.
  Even reorganizing old space in a generational garbage collector should be
  doable while consing from the fresh memory arena.

///                                                             2002-03-01
  In a fight against something, the fight has value, victory has none.
  In a fight for something, the fight is a loss, victory merely relief.