JavaMemoryModel: causal warps

From: Ben Wint (benedic@attglobal.net)
Date: Fri Aug 01 2003 - 15:14:49 EDT


Is the following the case? Just checking my understanding.

1. In the absence of barriers etc, the compiler can legally make
any transformation that does not change intra-thread semantics.

2. A legal transformation in thread 1 can allow thread 2 to go down
a path which it would never otherwise have taken, which in turn can
allow an effect in thread 1 that would never otherwise have occurred.

Ben Wint

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



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