[gclist] Experience with conservative GC sought
Henry G. Baker
Thu, 22 Jan 1998 11:10:32 -0800 (PST)
I have written a _precise_ gc using some of the features of C++, so
that I wouldn't 'forget' to push or pop something from some gc stack.
I spent a lot of time with gcc to make sure that the code would be
fast enough to not be a bottleneck. It required a relatively large
amount of effort to beat the C++ type system into submission, but
I think that the net result was something that a large system like
emacs would be comfortable with.
I also did the same thing with Ada, although the particular solution
was different. In the case of Ada, the gc stack was a vector stack,
while in the case of C++, it was a linked list stack.
So it is occasionally possible to utilize modern type systems to help
police a set of precise gc policies.
www/ftp directory URL: