"Stackless" XEmacs?
David Kastrup
dak at gnu.org
Thu May 1 10:12:21 EDT 2008
Michael Sperber <sperber at deinprogramm.de> writes:
> Their web material isn't very clear, but I'm assuming that's because
> they don't use a stack representation for continuations (i.e. what
> most people just call "the stack" in traditional implementations). In
> particular, heap-based and partially heap-based implementations of
> continuations have much lower space and time costs for things like
> threads.
>
> Will Clinger's paper contains a good survey:
>
> http://www.springerlink.com/content/h5808n962434j275/fulltext.pdf
>
> (Most Scheme implementations, as they have to support
> `call-with-current-continuation', also use an implementation strategy
> for continuations other than pure stacks.)
There is one Scheme implementation (I always forget its name, it is some
simple thing or animal) which does continuations by calling using the C
stack, but never returning, and occasionally garbage-collecting the
entire stack. This is what I call programmer chutzpah.
--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
More information about the XEmacs-Beta
mailing list