The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++usenix.org91 pointsmpweiher7 years ago