The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++ | Heykuki News