[jmm-dev] stores

[Doug Lea]

Memory models can generate a fair amount of excitement.
See Linus Torvalds's post on the linux kernel list:
   https://lkml.org/lkml/2014/2/14/492
and follow-ups with Paul McKenney. (Condolences!)

I don't think this introduces anything new with respect
to JMM9 discussions so far though. In general, speculative
stores and out-of-thin-air reads break basic safety properties.
Although there still might be some related open cases
about inserted stores, including "redundant" ones. As in:
     if (x != 0) x = 0;
==> x = 0; ?

-Doug