RE: JavaMemoryModel: Thread model algorithm.

From: David Holmes (
Date: Mon Nov 17 2003 - 18:27:41 EST

Sylvia Else wrote:
> Indeed, it's the need to avoid lost notifications that seems to be
> the source of the spurious notifications that the proposed model
will allow.

That is not correct. Spurious wakeups should always have been allowed.
There was no deliberate intent in the API docs to preclude spurious
wakeups, the lack of mention of them was simply an omission. I wish we
had fixed this back in 1996/1997 but we didn't. :(

David Holmes

JavaMemoryModel mailing list -

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