[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: module GC bug
From: |
Marius Vollmer |
Subject: |
Re: module GC bug |
Date: |
Thu, 14 Jul 2005 00:02:29 +0300 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) |
Han-Wen Nienhuys <address@hidden> writes:
>> I think the right fix is to change the weak hashtable marking
>> algorithm to properly cope with circular references like this. I will
>> try this and then come back to you.
>
> Interesting. How would you go about doing that?
The marking would would rougly look like this (some special cases are
not considered, like improper alists):
mark OBJ:
if mark of OBJ is set:
return
set mark of OBJ
if OBJ is a weak vector
put it on POSTPONED_OBJECTS
else
mark references of OBJ
gc:
POSTPONED_OBJECTS = '()
mark all root references
while POSTPONED_OBJECTS not empty
OBJS = POSTPONED_OBJECTS
POSTPONED_OBJECTS = '()
mark_weak_vector all OBJS
sweep
mark_weak_vector OBJ:
for all elements ELT of OBJ:
for all pairs P on list ELT:
if P is marked, break
ITEM = car of P
if ITEM is a pair:
if (OBJ has weak keys and car of ITEM is unmarked)
or (OBJ has weak values and cdr of ITEM is unmarked)
remove P from ELT
else:
mark ITEM (recursively)
set mark of P
The non-trivial stuff is to integrate this properly with the abstract
hashtables (but I have basically done this already as well).
--
GPG: D5D4E405 - 2F9B BCCC 8527 692A 04E3 331E FAF8 226A D5D4 E405
Re: module GC bug, Han-Wen Nienhuys, 2005/07/08
- Re: module GC bug,
Marius Vollmer <=
- Re: module GC bug, Han-Wen Nienhuys, 2005/07/13
- Re: module GC bug, Marius Vollmer, 2005/07/16
- Re: module GC bug, Han-Wen Nienhuys, 2005/07/17
- Re: module GC bug, Marius Vollmer, 2005/07/17
- Re: module GC bug, Han-Wen Nienhuys, 2005/07/18