[Top][All Lists]

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

Re: Reachable killed buffers

From: Paul Eggert
Subject: Re: Reachable killed buffers
Date: Wed, 12 Sep 2012 21:43:07 -0700
User-agent: Mozilla/5.0 (X11; Linux i686; rv:15.0) Gecko/20120827 Thunderbird/15.0

On 09/12/2012 08:29 PM, Stefan Monnier wrote:
> Arguably, if (part of) that list is shared with some other data
> structure, then we indeed shouldn't remove dead buffers from it.

But the patch doesn't implement that either, right?
If part of the list is shared, but the GC doesn't discover
this until after that code runs, it'll remove dead
buffers from that part.  From the user's point of
view, whether dead buffers are removed would depend
on the phase of the moon.

reply via email to

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