Re: JavaMemoryModel: wait/notify/interrupt - a visible state model - FWIW

From: Sylvia Else (
Date: Tue Nov 25 2003 - 23:34:02 EST

David Holmes has drawn my attention to an error here.

I should have said:

Further, a thread with groupCounter n, being less than the group counter of the notify action, cannot be chosen if the number of notifies with groupCounter <= n is greater than or equal to the number of threads with groupCounter <= n.

Essentially, a notify action is free in its choice of thread up to the point where it would undermine a more restricted notify action.

------------------------------- JavaMemoryModel mailing list -

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