JavaMemoryModel: causal warps

From: Ben Wint (
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 -

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