JavaMemoryModel: Wait/notify semantics [revision]

From: Bill Pugh (
Date: Mon Jan 19 2004 - 15:38:55 EST

Actually, I was going through some email that Doug sent out a week
ago, and he suggested the following wording on lost interrupts:

* The spec for Object.wait should change its @throws InterruptedException

        if another thread has interrupted the current thread.
           If another thread interrupted the current thread before or
           while the current thread was waiting for a notification.

Now, we are going to be deliberately vague on what this order is, other
than that there must be some order. But once a thread has consumed a
notification, it will not actively deal with an interrupt until the
next wait or other opportunity.

So I'm going to assume/propose we go with this.

JavaMemoryModel mailing list -

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