[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: GC for logic programming

From: Andy Wingo
Subject: Re: GC for logic programming
Date: Wed, 30 Apr 2014 09:40:01 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]