JavaMemoryModel: Minor issue on hb edges and interrupts

From: Bill Pugh (pugh@cs.umd.edu)
Date: Wed Mar 17 2004 - 14:50:36 EST

There is a minor point that had been discussed before, but seems to have
gotten left out of the public review draft.

I am planning to add it back in:

  If thread T1 interrupts thread T2,
         there is a happens-before edge
         from the interrupted by T1
         to the point where any other thread (including T2)
          determines that T2 has been
         interrupted
         (by having an InterruptedException thrown
         or by invoking Thread.interruped or Thread.isInterrupted).

Bill

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

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