Re: JavaMemoryModel: Performing speculative writes ahead of

From: Bill Pugh (pugh@cs.umd.edu)
Date: Mon May 31 2004 - 12:37:54 EDT

Next message: Bill Pugh: "JavaMemoryModel: Update to Java Memory Model spec"
Previous message: Bill Pugh: "Re: JavaMemoryModel: Performing speculative writes ahead of loops that may not terminate"
In reply to: David Holmes: "RE: JavaMemoryModel: Performing speculative writes ahead of"
Next in thread: Bill Pugh: "Re: JavaMemoryModel: Performing speculative writes ahead of loops that may not terminate"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

Just to confirm/verify a couple of things that have flashed by on email.

* It must not be observable that a compiler has reordered a
non-terminating loop and
a following write.

* The semantics only discusses observable behavior, not execution
strategies.

* Performance is not considered an observable behavior (although
termination
is).

Bill

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

Next message: Bill Pugh: "JavaMemoryModel: Update to Java Memory Model spec"
Previous message: Bill Pugh: "Re: JavaMemoryModel: Performing speculative writes ahead of loops that may not terminate"
In reply to: David Holmes: "RE: JavaMemoryModel: Performing speculative writes ahead of"
Next in thread: Bill Pugh: "Re: JavaMemoryModel: Performing speculative writes ahead of loops that may not terminate"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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