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

From: Sylvia Else (sylviae@optushome.com.au)
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.

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



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