PRE (Was: Synchronisation and Optimisation)

["Stephen Cheng" <stephen.cheng@btinternet.com>]

> Would it correct the problem if we made CSE kill all information about
> fields (and arrays and globals) when it encounters a monitorexit
> statement? That is,
> NaiveSideEffectTester: unitCanWriteTo( Unit u, Value v )
> would return true if u was a monitorexit, and v was visible to other
> threads?

I just checked PRE (in 1.2.2) and it generates exactly same optimised code
as CSE, so I guess we need to update PRE as well. I wonder what other
analysis need to be updated?

(On a totally different issue) Could anyone enlighten me as to why PRE is
switched off in the 1.2.2 build? Is it not fully implemented yet? Or is
there some performance problems? Or just because it duplicates CSE?

Thanks,
Stephen