Atomicity via source-to-source translation

14 years 5 days ago
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
Benjamin Hindman, Dan Grossman
Added 13 Jun 2010
Updated 13 Jun 2010
Type Conference
Year 2006
Authors Benjamin Hindman, Dan Grossman
Comments (0)