RE: JavaMemoryModel: Waits, Interrupts and Notify-s

From: David Holmes (dholmes@dltech.com.au)
Date: Sat May 24 2003 - 19:41:44 EDT


Sylvia Else wrote:
> Does anyone have a proof that this is true?

What sort of proof are you looking for? People who know what the
internals of VM's do? If so then yes people here have proof of this.

> At the moment, I think I can construct an (albeit
> non-trivial) counter example.

A counter-example to what?

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:45 EDT