A Uniform Transactional Execution Environment for Java

Transactional Memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems practical, significant effort has been made to integrate transactions into existing programming languages. Unfortunately, existing approaches fail to provide a simple implementation that permits lock-based and transaction-based abstractions to coexist seamlessly. Because of the fundamental semantic differences between locks and transactions, legacy applications or libraries written using locks cannot be transparently used within atomic regions. To address these shortcomings, the paper implements a uniform transactional execution environment for Java programs in which transactions can be integrated with more traditional concurrency control constructs.