Atomicity via source-to-source translation

We present an implementation and evaluation of atomicity (also known as software transactions) for a dialect of Java. Our implementation is fundamentally different from prior work in three respects: (1) It is entirely a source-to-source translation, producing Java source code that can be compiled by any Java compiler and run on any Java Virtual Machine. (2) It can enforce “strong” atomicity without assuming special hardware or a uniprocessor. (3) The implementation uses locks rather than optimistic concurrency, but it cannot deadlock and requires inter-thread communication only when there is data contention. Categories and Subject Descriptors D.3.3 [Language Constructs and Features]: Concurrent programming structures General Terms Languages Keywords Atomicity, Transactional Memory, Concurrent Programming, Java

• Type: Conference
• Year: 2006
• Where: ACMMSP
• Authors: Benjamin Hindman, Dan Grossman
• Keywords: ACMMSP 2006, Concurrent Programming, Hardware, Java Source Code, Languages Keywords Atomicity