Inferring locks for atomic sections
Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani · 2008
Atomic sections are a recent and popular idiom to support the development of concurrent programs. Updates performed within an atomic section should not be visible to other threads until the atomic section has been executed entirely. Traditionally, atomic sections are supported through the use of optimistic concurrency, either using a transactional memory hardware, or an equivalent software emulation (STM).