This workshop was held as part of a continuing discussion of the Java Memory Model and Thread Specification. A consensus has formed that the existing Java Thread Specification is unacceptable and needs a complete replacement. Now, we are discussing the desired features for a revised specification and a way to formally specify them.
More information is available on the entire discussion and effort .
Jan-Willem Maessen et al. If the write to stop in thread 2 is moved into the synchronized block, then the program deadlocks.