At 5:09 PM -0800 1/8/02, Joseph Bowbeer wrote:
>Bill Pugh writes:
>
>> Sorry, but there is just one semantics to rule them all.
>
>I can see that if a transformation is legal for a byte-code to byte-code
>transformer, then it is a legal transformation under any circumstances, but
>why does it hold in the other direction?
>
>Doesn't specialized knowledge have its privileges?
There is one semantics for Java. If the Java semantics allow yield to
be ignored, yield can be ignored. If a particular VM decides it wants
to implement yield, there is no particular constraint forcing
anything upstream of the VM to respect yield.
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