[jmm-dev] stores

Doug Lea dl at cs.oswego.edu
Sun Feb 16 15:00:30 PST 2014

Memory models can generate a fair amount of excitement.
See Linus Torvalds's post on the linux kernel list:
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; ?


More information about the jmm-dev mailing list