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