RE: JavaMemoryModel: Mutual exclusion effect of locks

From: David Holmes (dholmes@dltech.com.au)
Date: Tue Jul 29 2003 - 00:14:58 EDT


Yue Yang wrote:
>
> The monitor enter and the corresponding monitor exit
> operation impose a critical section effect for the code between
them. That
> is, they should be properly nested. Although this is an apparent
> requirement, the JMM would not be complete without stating it.

The mutual exclusion effects of monitors are not part of the memory
model. They are specified by the language and JVM specifications. All
the JMM needs to do is define the effects of monitor entry and exit in
terms of the memory model.

Of course one has to remember this when considering possible
interleavings.

David Holmes

-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel



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