I'm not sure if Cliff can post to this mailing lists, so I am 
forwarding his response.
        Bill
Begin forwarded message:
> From: Cliff Click <cliffc@azulsystems.com>
> Date: May 28, 2004 11:11:56 AM EDT
> To: Bill Pugh <pugh@cs.umd.edu>
> Cc: JSR133 <jsr-133-eg@jcp.org>, "javamemorymodel-cs.umd.edu" 
> <javamemorymodel@cs.umd.edu>, bodik@cs.berkeley.edu
> Subject: Re: Performing speculative writes ahead of loops that may not 
> terminate
>
> No compiler I write will do so, this was beat into my head with this 
> 60's era example:
>
>    while( ! Big_Red_Button ) {
>        /* do nothing */
>    }
>    fire_all_missles = true;
>
> No exceptions in the loop, no reads of fire_all_missles,
> but premature writes to fire_all_missles is Bad (tm).
>
> Cliff
>
> -- 
> Cliff Click, PhD                    cliffc@acm.org
> High Performance Java VM Design and Implementation
> Azul Systems                          650-230-6512
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:01:08 EDT