[concurrency-interest] AtomicReference.updateAndGet() mandatory updating

Doug Lea dl at cs.oswego.edu
Fri Jun 2 08:06:45 EDT 2017

On 06/01/2017 11:19 AM, Gil Tene wrote:

> I think the property is that a failing CAS is strictly after the
> store that failed it, period. Regardless of whether or not that store
> was volatile. 

Yes, but if it was a plain store, then this need not convey
any information about any other access that could have been
reordered with respect to it. So, even though the read-from
edge can be deduced, we don't need to say anything about it.


More information about the Concurrency-interest mailing list