[concurrency-interest] JMM actions to statements transition

Sergey Zaytsev comp1986 at gmail.com
Thu Jul 7 12:00:28 EDT 2016

Hi all. Can somebody , please, bring some light on JMM actions ? How can one use such abstract term like "action" to argue about correctness or possible results, since there is no strict definition is term "action" ? 

I mean is volatile read simply equals to var local = va and volatile write action to va = "some value" ?


More information about the Concurrency-interest mailing list