> 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