[MLton] More on Parallel Runtime

[Matthew Fluet]

On Tue, 23 Oct 2007, skaller wrote:
> On Mon, 2007-10-22 at 16:25 -0500, Henry Cejtin wrote:
>> Note, MLton already uses safe points for things and so already has the code
>> to place safe points `often enough'.  This is used for things like checking
>> for signals.
>
> so where does it put them in a matrix multiplication?

One simply breaks every loop in the control-flow graph with a check.  This 
ensures that there is an upper bound on the time between checks.  Granted, 
the bound is not a real-time bound.