[jmm-dev] Jmm revision status

Doug Lea dl at cs.oswego.edu
Fri Jul 18 12:57:48 UTC 2014

Thanks for all the updates!

Viktor et al's draft paper seems to have the fullest discussion of
possible C++/C11 fixes that entail disclaimers about cycles.
In Java, even these programs require some kind of semantics.
But they can be extra-extra weak. As in, the only OOTA-ish
reads are those that could have occurred in certain executions
that are not even legal. I wonder if there is a path to success
along these lines available.


More information about the jmm-dev mailing list