[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)
https://docs.oracle.com/javase/specs/jls/se8/html/jls-17.html#jls-17.4.2
People don't think about "actions", but do think about "synchronization
actions".

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