JavaMemoryModel: causal warps

From: Ben Wint ([email protected])
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