"Weak atomicity under the x86 memory consistency model."

Amitabha Roy, Steven Hand, Tim Harris (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics