Re: GC for logic programming

[Andy Wingo]

On Wed 30 Apr 2014 08:07, Stefan Israelsson Tampe <address@hidden> writes:

> It turns out that it is not possible as far as I can see to enable such
> a feature without modifying bdw-gc. The basic need is to know if objects
> have been marked through normal code or not but still keep the objects
> from gc. The reason is that the sweep phase has to be postponed to
> places in the code where it is safe to modify the stack.

I have no idea what this means.  However what if you attach a finalizer
to them, and make the references from the stack weak?  The finalizer can
decide whether they stick around or not.  Or put them in a guardian and
pump the guardian from somewhere that it's safe.

Andy
-- 
http://wingolog.org/