[cpp-threads] modes, pass 2

[Alexander Terekhov]

[... JSR-133 cookbook and isync ...]

> some people assume you already have a control dependency
> and some don't. I changed this accordingly on cookbook page.

Uhmm. FWIW I (still) don't like your use of Sparc's bidrectional 
fences to illustrate Java's RCsc. Even with control dependency, 
isync isn't quite LoadLoad (in the sense of a bidirectional fence 
that prohibits reordering of *all* preceding loads with respect 
to subsequent ones).

http://www.cs.umd.edu/~pugh/java/memoryModel/archive/1222.html
http://www.decadentplace.org.uk/pipermail/cpp-threads_decadentplace.org.uk/2005-May/000445.html

Why don't you switch to hoist/sink stuff labels? Ok, perhaps with
"msync constraint(allow_reordering pre, allow_reordering post)"
calculator, so to speak. ;-)

regards,
alexander.