Subject: Re: self-hosting gc From: Erik Naggum <firstname.lastname@example.org> Date: Fri, 01 Mar 2002 16:04:26 GMT Newsgroups: comp.lang.lisp Message-ID: <email@example.com> [ Not responding to comp.lang.scheme. ] * firstname.lastname@example.org (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.