[concurrency-interest] JMM actions to statements transition
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