06087847

a

06087847 Machens, Holger Turau, Volker Avoiding publication and privatization problems on software transactional memory. Luttenberger, Norbert (ed.) et al., 17th GI/ITG conference on communication in distributed systems (KiVS 2011). Proceedings of the conference, March 8--11, 2011, Kiel, Germany. Wadern: Schloss Dagstuhl -- Leibniz Zentrum f\"ur Informatik (ISBN 978-3-939897-27-9). OASIcs -- OpenAccess Series in Informatics 17, 97-108, electronic only (2011). 2011 Wadern: Schloss Dagstuhl -- Leibniz Zentrum f\"ur Informatik EN software transactional memory publication privatization

doi:10.4230/OASIcs.KiVS.2011.97

Summary: This paper presents a new approach to exclude problems arising from dynamically switching between protected concurrent and unprotected single-threaded use of shared data when using software transactional memory in OO languages such as Java. The approach is based on a simple but effective programming model separating transactions from non-transactional operation. It prevents the application programmer from errors but does not force the software transactional memory library to observe non-transactional access and thereby preserves modularity of the software. A prototypical toolchain for validation and source code instrumentation was implemented as a proof of concept.