Towards a Lock-based Semantics for Java STM

This paper presents a weakly atomic Java STM implementation that provides lock-based semantics for transactions, obeys all the above safety properties, and permits concurrent execution, and proposes and implements two alternative semantics that loosen single lock requirements while still providing privatization safety, publication safety, and other properties.