gc tweaks

Matthew Fluet mfluet@intertrust.com
Wed, 22 Aug 2001 09:32:50 -0700 (PDT)


> > Maybe my coffee just hasn't kicked in yet, but how does `share' work?
> > Some kind of common-subobject-elimination?  It just seems that the
> > equality test would be prohibitively expensive.
>
> I assume it uses hash consing, where mutable objects are always not equal.

That makes sense.  I guess it depends whether "maximal sharing" is a true
maximum.

There also seems to be a question of memory usage.  I.e., I'm running low
on heap space, so in addition to GCing, I also want to maximize sharing;
but that requires additional (and possibly unavailable) space to store the
hash consing table, etc.  Maybe it's a non-issue.