guile-devel
[Top][All Lists]
Advanced

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

Re: Will guile support R7RS terminating "equal?" in the presence of cycl


From: Stefan Israelsson Tampe
Subject: Re: Will guile support R7RS terminating "equal?" in the presence of cycle?
Date: Sat, 8 Sep 2012 19:00:49 +0200

You are right! That will only work for one thread!

Remain to see how much the overhed there is to linearize the search and
use tourtoues - hare, should be much less overhead then using a map to
mark the objects though!

/Stefan

On Sat, Sep 8, 2012 at 6:56 PM, Mark H Weaver <address@hidden> wrote:
On 09/03/2012 09:55 AM, Stefan Israelsson Tampe wrote:
To note here is that if we had
one bit to spare for every cons representation we could do use that bit
to mark conses as been touched and abort the ordinary equal if we find a
mark. For x86-64 we have one such bit available which is cool.

This trick of mutating bits in the conses fails badly in case of multiple threads, therefore we cannot use it.

    Mark


reply via email to

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