[cpp-threads] memory model

[Peter Dimov]

Doug Lea wrote:
>> Compilers convert between control and data dependence all the
>> time, by converting conditionals to predicated instructions.
> 
> Further, in case anyone cares, if you explicitly tie semantics
> to control or data dependencies, it is very unlikely that you'll ever
> be able to coherently formalize the model. The POPL paper on the JMM
> discusses this a bit. (Search "manson pugh adve java memory model"
> at http://scholar.google.com/ to find a copy.)

http://rsim.cs.uiuc.edu/Pubs/popl05.pdf

scholar. doesn't find it, I had to resort to the ordinary version of google.