[MLton-devel] heap frontier movement while in C code

[Stephen Weeks]

> Given that the optimization is flow insensitive, how does the existence of
> threads change things.  I.e., what transformation is no longer valid?
> I guess that some of the ref elimination might not actually be flow
> insensitive.

The existence of threads/continuations affects our notion of things
that can only happen once.  This affects globalization, which happens
in the closure converter, to avoid putting stuff in lambdas, and in
constant propagation, which globalizes "constant" ref cells and arrays
(i.e. those that are known to be allocated only once). the LocalRef
optimization also uses the notion of "once".



-------------------------------------------------------
This SF.net email is sponsored by: ValueWeb: 
Dedicated Hosting for just $79/mo with 500 GB of bandwidth! 
No other company gives more support or power for your dedicated server
http://click.atdmt.com/AFF/go/sdnxxaff00300020aff/direct/01/
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel