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

Next message: Sylvia Else: "JavaMemoryModel: wait/notify/interrupt - a visible state model - FWIW"
Previous message: Sylvia Else: "RE: JavaMemoryModel: Prioritizing IE without notifyAll()."
In reply to: Sylvia Else: "JavaMemoryModel: wait/notify/interrupt - a visible state model - FWIW"
Next in thread: Sylvia Else: "JavaMemoryModel: wait/notify/interrupt - a visible state model - FWIW"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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

Next message: Sylvia Else: "JavaMemoryModel: wait/notify/interrupt - a visible state model - FWIW"
Previous message: Sylvia Else: "RE: JavaMemoryModel: Prioritizing IE without notifyAll()."
In reply to: Sylvia Else: "JavaMemoryModel: wait/notify/interrupt - a visible state model - FWIW"
Next in thread: Sylvia Else: "JavaMemoryModel: wait/notify/interrupt - a visible state model - FWIW"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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