[MLton-user] MLton.Thread.atomically

[Wesley W. Terpstra]

On Feb 23, 2007, at 1:38 AM, Matthew Fluet wrote:
> Wesley W. Terpstra wrote:
>> what happens to finalizers which should run, but can't b/c there  
>> is an atomic operation underway?
>
> Finalizers are simply run when the GC signal handler runs.  While  
> in an atomic section, no signal handler will run.  The signals are  
> delivered, and upon leaving the atomic section, all the handlers  
> for the delivered signals are run.  So, the finalizers will simply  
> run when execution leaves MLton.Thread.atomically.

Ok. That guarantee works too. Thanks. :-)