[Top][All Lists]

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

Re: Conservative GC isn't safe

From: Camm Maguire
Subject: Re: Conservative GC isn't safe
Date: Sat, 26 Nov 2016 10:21:03 -0500
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)

GCL uses a conservative GC as well.  I've always pondered how to make it
more efficient by controlling the allocation and initialization of the
stack.  The general idea is that the stack should be initialized when
allocated, including alignment padding.  The natural place to do this is
with a gcc switch, as I cannot see any way to distinguish variables in
register in standard C.  

Anyone know of any developments along these lines?

Take care,

Stefan Monnier <address@hidden> writes:

>> 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.
>         Stefan

Camm Maguire                                        address@hidden
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

reply via email to

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