Re: JavaMemoryModel: Semantics for yield and sleep

From: Bill Pugh (
Date: Tue Jan 08 2002 - 20:20:05 EST

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.

JavaMemoryModel mailing list -

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