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

From: Sarita Adve (sadve@cs.uiuc.edu)
Date: Fri Apr 09 2004 - 20:30:53 EDT


> From: owner-javamemorymodel@cs.umd.edu
> [mailto:owner-javamemorymodel@cs.umd.edu] On Behalf Of Bill Pugh
> Sent: Friday, April 09, 2004 3:05 PM

> However, if a thread does throw an exception, all of the writes that
> occurred in program order before
> the place where the exception occurred must be performed,

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

-------------------------------
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