Re: JavaMemoryModel: Interaction between the memory model and exc eptions, Tread.stop()

From: Bill Pugh (pugh@cs.umd.edu)
Date: Sun Apr 11 2004 - 11:00:39 EDT

On Apr 9, 2004, at 8:30 PM, Sarita Adve wrote:
>
> A legitimate question is: what does "performed" mean? Do previous
> writes
> have to be visible to all threads? Or is it sufficient to just have an
> hb
> edge between the excepting thread and exception handler thread (if
> these
> threads are the same, then this edge is implied already). I haven't
> thought
> it through.
>
> Sarita
>
>

The actions must occur in the execution.

        Bill

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

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