Software transactional memory with interactions

Marino Miculan, Marco Peressotti

Research output: Contribution to journalConference articleResearchpeer-review

9 Downloads (Pure)


Software Transactional memory (STM) is an emerging abstraction for concurrent programming alternative to lock-based synchronizations. Most STM models admit only isolated transactions, which are not adequate in multithreaded programming where transactions need to interact via shared data before committing. To overcome this limitation, in this paper we present Atomic Transactional Memory (ATM), a programming abstraction supporting safe, data-driven interactions between composable memory transactions. This is achieved by relaxing isolation between transactions, still ensuring atomicity. This model allows for loosely-coupled interactions since transaction merging is driven only by accesses to shared data, with no need to specify participants beforehand.

Original languageEnglish
JournalCEUR Workshop Proceedings
Pages (from-to)67-80
Publication statusPublished - 2020
Event21st Italian Conference on Theoretical Computer Science, ICTCS 2020 - Ischia, Italy
Duration: 14. Sept 202016. Sept 2020


Conference21st Italian Conference on Theoretical Computer Science, ICTCS 2020


Dive into the research topics of 'Software transactional memory with interactions'. Together they form a unique fingerprint.

Cite this