Language constructs for transactional memory

It is argued that one way of trying to resolve questions is to be rigorous about keeping the ideas of atomic blocks and TM separate, and that, when thinking about atomic blocks, the authors should keep a wide range of possible implementations in mind.