Re: JavaMemoryModel: Semantics of locks and volatiles

From: Bill Pugh (pugh@cs.umd.edu)
Date: Mon Sep 10 2001 - 11:57:24 EDT

Jan, Arvind and Xiaowei,
   I need clarification on whether CRF-Java allows the following
executions. Could you help?

        Bill

----------

Example 1

Initially, x = y = 0

Thread 1:
r1 = x
if r1 >= 0
   y = 1

Thread 2:
r2 = y
x = r2

Question: is it legal for this program to result in r1 = r2 = 1? 

----

Example 2
Initially, x = y = 0

Thread 1:
r1 = x
if r1 >= 0
   y = -1

Thread 2:
r2 = y
x = r2

Question: is it legal for this program to result in r1 = r2 = -1?
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel

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