At 2:04 PM -0800 1/4/02, Joseph Bowbeer wrote:
>Bill Pugh writes:
>
>> ... the alternative is to say that it is perfectly legal (although
>> undesirable) for a compiler or JVM to perform the following
>> transformations:
>
>
>Whether a "compiler" can perform this transformation,
>
>I agree that these transformations are legal under (non)existing semantics
>*if* you're talking about a runtime compiler that has intimate knowledge of
>the JVM's "best effort" when it comes to Thread.yield().
>
>But I would not consider this to be a legal transformation for javac.
Sorry, but there is just one semantics to rule them all.
If the transformation is legal, it is perfectly legal for a byte-code
to byte-code transformer.
Bill
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:37 EDT