java at java4.info
Fri Oct 12 13:14:49 EDT 2012
In the Point example at  is it really necessary that x and y are
As far as I understand it if sl.validate(stamp) is true there must have
been hb(sl.unlockWrite(stamp), sl.tryOptimisticRead (stamp)) and
therefore the writes must have been visible. If it is not true we can
not use currentX and currentY anyway and therefore it does not matter if
the writes to the fields were treated as two separate writes.
Or do I miss something?
Am 12.10.2012 18:29, schrieb Doug Lea:
> On 10/12/12 12:11, Aleksey Shipilev wrote:
>> Not particularly a usage experience, but semantics question. What are
>> the memory semantics of SL methods?
> The effects are exactly the same as for the corresponding methods
> ReentrantReadWriteLock. They aren't fleshed out yet in the Javadoc
> because cases involving OptimisticReads resist simple characterization
> in JMMese. We'll find some way to do this, but in the mean time,
> hopefully you can be comforted that they do what anyone would expect :-)
> Concurrency-interest mailing list
> Concurrency-interest at cs.oswego.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Concurrency-interest