Re: JavaMemoryModel: Semantics musings

From: Cliff Click (Cliff.Click@sun.com)
Date: Tue Sep 25 2001 - 11:43:53 EDT


Bill Pugh wrote:

> For example, consider:
>
> Initially, x = y = 0
>
> Thread 1:
> if x != 0
> y = 1
>
> Thread 2:
> if y != 0
> x = 1
>
> You must be careful to not allow this program to result in x = 1 and y
> = 1.
>
> Bill
> -------------------------------
> JavaMemoryModel mailing list -
> http://www.cs.umd.edu/~pugh/java/memoryModel

Why not? No, I'm not arguing that this should be allowed.
I just want to hear your reasons why This Is Bad.

Cliff

-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel



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