Re: Conservative GC isn't safe

[Camm Maguire <camm@maguirefamily.org>]

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 <monnier@iro.umontreal.ca> 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			     		    camm@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah