Re: JavaMemoryModel: Reopen Case 18?

From: Vijay Saraswat (vijay@saraswat.org)
Date: Thu Feb 26 2004 - 12:00:34 EST


Slippery slope, and nothing to stop you.

"false" is just a shorthand for something that may be too complicated to
figure out is false.

One of the things that is worrisome is that introducing this extra
"irrelevant" code *prohibits* a behavior. That seems just wrong.

Bill Pugh wrote:

>
> On Feb 25, 2004, at 4:32 PM, Vijay Saraswat wrote:
>
>>
>> Why should 18a be allowed? The reasoning you gave in ur previous
>> message does not work. Do you have some other reasoning to justify
>> 18a being allowed?
>>
>>
>
> Compilers should be able to remove dead code (code that will never be
> executed).
>
> 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:58 EDT