[concurrency-interest] JMM actions to statements transition

Martin Buchholz martinrb at google.com
Thu Jul 7 16:32:22 EDT 2016

There is an attempt to define them in the jls (but it's hard to understand)
People don't think about "actions", but do think about "synchronization

On Thu, Jul 7, 2016 at 9:00 AM, Sergey Zaytsev <comp1986 at gmail.com> wrote:

> 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" ?
> Sergey
> _______________________________________________
> Concurrency-interest mailing list
> Concurrency-interest at cs.oswego.edu
> http://cs.oswego.edu/mailman/listinfo/concurrency-interest
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cs.oswego.edu/pipermail/concurrency-interest/attachments/20160707/68114a1d/attachment.html>

More information about the Concurrency-interest mailing list