[Vm-dev] Re: [squeak-dev] Image Segment semantics and weakness

Eliot Miranda eliot.miranda at gmail.com
Mon Oct 20 06:17:27 UTC 2014


Hi Andres, 

On Oct 19, 2014, at 9:21 PM, Andres Valloud <avalloud at smalltalk.comcastbiz.net> wrote:

>>> Hang on, why would the finalization queue live in the segment?
>> 
>> I didn't say they did.  My point re finalization is that the segment
>> creation prim only does a mark and an unmarked, not a GC.  So no
>> finalization is done then.
> 
> Does performing a GC necessarily imply a compact in Spur?

Only in the scavenger.  But the way the GC is coded there is always some number of compaction passes, 2 in a normal stop-the-world GC and two for the GC on snapshot.

But there are other activities, the sweep to free and coalesce reclaimed space, the sweep to nil deal pointers in, and queue weak arrays, the reaching of a fixed point in the tracing and firing if ephemerons.  None if these are necessary for segment creation.

> 
> Andres.


Eliot (phone)


More information about the Vm-dev mailing list