[concurrency-interest] AtomicXXX.lazySet and happens-before reasoning
martinrb at google.com
Sun Oct 30 00:19:39 EDT 2011
On Fri, Sep 30, 2011 at 05:01, Doug Lea <dl at cs.oswego.edu> wrote:
> On 09/30/11 07:33, Ruslan Cheremin wrote:
>> What does mean AtomicXXX.lazySet(value) method in terms of happens-before
>> edges, used in most of JMM reasoning? The javadocs is pure on it, and
>> Sun bug 6275329 states:
> Because lazySet was introduced after the JMM spec, the
> specs are not fully integrated into JLS chapter 17,
> and so had to be phrased in a legal but unsatisfying way.
> Doing this better requires a JMM revision, which
> is unlikely to happen any time soon.
But there is one obvious thing you can easily do today - update the JSR-133
Cookbook for Compiler Writers to add lazySet to all of those pretty tables,
which at least will make your intent clear (or at least, clearer (for JDK
implementers) than the j.u.c.atomic specs).
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Concurrency-interest