[concurrency-interest] Java atomics questions

Martin Buchholz martinrb at google.com
Thu Nov 21 01:14:44 EST 2013


On Wed, Nov 20, 2013 at 3:52 PM, Doug Lea <dl at cs.oswego.edu> wrote:

> On 11/20/2013 06:31 PM, Boehm, Hans wrote:
>
>> I would assume that putOrderedObject corresponds to lazySet and C11/C++11
>> memory_order_release (only the last of which has a precise definition).
>>  Which
>> means it kind of, sort of has a StoreStore fence BEFORE it, but that’s in
>> general stronger than its definition.
>>
>
> Yes, implementations of putOrderedX use the equivalent of a C++
> memory_order_release. Without a JMM overhaul, we cannot give it
> as precise specs as it deserves.


We may feel the need to use weasel words with the spec of the public API
like lazySet, but it should be easier to provide useful documentation for a
method in Unsafe, and no one can stop you from updating the Cookbook.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cs.oswego.edu/pipermail/concurrency-interest/attachments/20131120/f5a7c1cb/attachment.html>


More information about the Concurrency-interest mailing list