[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.
Andy
--
http://wingolog.org/