[concurrency-interest] AtomicXXX.lazySet and happens-before reasoning

Martin Buchholz 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).

http://gee.cs.oswego.edu/dl/jmm/cookbook.html

Martin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cs.oswego.edu/pipermail/concurrency-interest/attachments/20111029/2da4fd25/attachment.html>


More information about the Concurrency-interest mailing list