[Top][All Lists]

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

Re: Conservative GC isn't safe

From: Stefan Monnier
Subject: Re: Conservative GC isn't safe
Date: Sat, 26 Nov 2016 10:05:34 -0500
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1.50 (gnu/linux)

> How would you assert dynamically that if an interval is reachable, its
> owning string or buffer must be too?

You don't.  You check it statically (by a human).

> It's not enough for the variable holding the reference to the string
> or buffer to be in scope: you have to be sure that the reference
> isn't dead.

It should be: if it's in scope, it's not dead.


reply via email to

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