Bounding Speculative Execution of Atomic Regions to a Single Retry

My summary is here: https://danglingpointers.substack.com/p/bounding-speculative...