Re: JavaMemoryModel: Semantics for yield and sleep

From: Bill Pugh (
Date: Tue Jan 08 2002 - 19:17:49 EST

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.

JavaMemoryModel mailing list -

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