<div dir="ltr">There is an attempt to define them in the jls (but it's hard to understand)<div><a href="https://docs.oracle.com/javase/specs/jls/se8/html/jls-17.html#jls-17.4.2">https://docs.oracle.com/javase/specs/jls/se8/html/jls-17.html#jls-17.4.2</a><br></div><div>People don't think about "actions", but do think about "synchronization actions".</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jul 7, 2016 at 9:00 AM, Sergey Zaytsev <span dir="ltr"><<a href="mailto:comp1986@gmail.com" target="_blank">comp1986@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">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" ?<br>
<br>
I mean is volatile read simply equals to var local = va and volatile write action to va = "some value" ?<br>
<br>
Sergey<br>
_______________________________________________<br>
Concurrency-interest mailing list<br>
<a href="mailto:Concurrency-interest@cs.oswego.edu">Concurrency-interest@cs.oswego.edu</a><br>
<a href="http://cs.oswego.edu/mailman/listinfo/concurrency-interest" rel="noreferrer" target="_blank">http://cs.oswego.edu/mailman/listinfo/concurrency-interest</a><br>
</blockquote></div><br></div>