RE: JavaMemoryModel: New Unified JMM Description

From: David Holmes (
Date: Thu Apr 15 2004 - 22:25:06 EDT

> 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.)

David Holmes

JavaMemoryModel mailing list -

This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:01:04 EDT