[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: smob mark functions in 2.0
From: |
Andy Wingo |
Subject: |
Re: smob mark functions in 2.0 |
Date: |
Thu, 24 Nov 2011 11:56:21 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux) |
On Thu 24 Nov 2011 00:12, address@hidden (Ludovic Courtès) writes:
>> So, your mark function might see freed objects. This is terrible, but
>> it is the way that it is. The key is that, if you touch a Scheme object
>> in your mark function, to first do a check on that object, to see that
>> it is valid. You can check the TC bits of the first word, or otherwise
>> check that other words are non-NULL.
>
> What about making that check in libguile before invoking the user’s mark
> function?
Yes, we do that. I think you wrote that code! The problem was in a
mark function, accessing *other* Scheme objects.
Andy
--
http://wingolog.org/