once, local-refs, and threads
Stephen Weeks
MLton@sourcelight.com
Thu, 6 Dec 2001 15:06:27 -0800
> Another, conservative, definition of a ThreadCopyPoint is any point in the
> function where the primitive Thread_copyCurrent is invoked or any non-tail
> call. (Looking at Steve's recent check-in, I think this is the kind of
> approximation made in the App case of globalize in closure conversion.)
Yes.
> This could hurt you a little, especially if there is a clear division
> between start-up code (say one set of functions and the "first-part" of
> main) and then threaded-code (say, another set of functions and the rest
> of main). But, it is certainly easier to compute.
Agreed. I would go for a better analysis on SSA. I only chose that
simple "analysis" because it's on SXML, where we don't like to do
complicated analyses.