Hardware Atomicity: An Effective Abstraction for Reliable Software Speculation | IEEE Journals & Magazine | IEEE Xplore