> Before you can say that actions A and B have been reordered, that is,
> performed, or becoming visible, in some order that it is different from
> what you expected, you first have to identify some order that you think
> they should have been performed or become visible in. But the
> model doesn't let you do that.
Sure it does: the basic happens-before relationship of program order.
> This is a bit difficult to talk about in the abstract. Do you have a
> concrete example?
java.util.concurrent.ConcurrentHashMap from jsr-166. :) I want to be able to
establish that the necessary relationships hold to make the implementation
correct. (I trust Doug and Bill on this :-) but this is an exercise.)
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:01:04 EDT