[concurrency-interest] AtomicReference.updateAndGet() mandatory updating
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