Cheng Wang, Youfeng Wu: TSO_ATOMICITY: efficient hardware primitive for TSO-preserving region optimizations. ASPLOS 2013: 509-520