Re: Reachable killed buffers

[Dmitry Antipov]

On 09/13/2012 08:43 AM, Paul Eggert wrote:
> 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.

This is the common problem, similar to what the user may call setcdr
for some list and then found that another list is also changed.
I don't see a problem here - the user should realize that destructive
list modifications may cause some strange effects.

Dmitry