Robust architectural support for transactional memory in the power architectureHarold W. CainBrad Freyet al.2013ISCA 2013