Il 18/06/2013 19:38, Andrew Haley ha scritto: >> > Or is Java volatile somewhere between acq_rel and seq_cst, as the last >> > paragraph of >> > http://www.cs.umd.edu/~pugh/java/memoryModel/jsr-133-faq.html#volatile >> > seems to suggest? > As far as I know, the Java semantics are acq/rel. I can't see anything > there that suggests otherwise. If we'd wanted to know for certain we > should have CC'd Doug lea.
acq/rel wouldn't have a full store-load barrier between a volatile store and a volatile load. Paolo
