Re: Lua assertion during garbage collection when using a weak table

[Roberto Ierusalimschy <roberto@...>]

>  Roberto> I am afraid we were wrong. If the table is modified while in
>  Roberto> list 'weak' (but still before the atomic phase),
> 
> How could that happen?
> 
> In between the final propagate step (which switched the state to
> GCatomic) and the start of the atomic step, can anything ever call any
> of the propagation functions? As far as I can tell, during that interval
> the only changes are marking and barriers, which can result in objects
> being added to 'gray' or 'grayagain' but not to 'weak'.

You are right.

-- Roberto