Deconstructing Transactional Semantics: The Subtleties of Atomicity

This work shows that a direct translation of lock-based critical sections into transactions can introduce deadlocks into otherwise correct programs, and defines an atomicity model for transactions, in which the terms strong and weak atomicity are introduced.