It is my understanding that most of the issues that we are
concerned in Chp 17 is for programs that contain data races.
For data race free programs, the JMM seems ok. For one thing
most people (hopefully) are writing race free programs. But since
those few good ones that are writing race programs (which are hopefully
< 5% ), JMM specification inhibits optimizations even for data
race free programs (since we don;t know whether a program racy or not).
Here is a thought! why not let loose those programs that are racy.
Bad idea for Sun, since we sacrifice portability. What the heck,
since the problem is already racy, multiple run on the same
platform will yield different results!
Sreedhar
-------------------------------
This is the JavaMemoryModel mailing list, managed by Majordomo 1.94.4.
To send a message to the list, email JavaMemoryModel@cs.umd.edu
To send a request to the list, email majordomo@cs.umd.edu and put
your request in the body of the message (use the request "help" for help).
For more information, visit http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:13 EDT