Software transactional memory with interactions

Marino Miculan, Marco Peressotti

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

2 Downloads (Pure)

Abstrakt

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.

OriginalsprogEngelsk
TidsskriftCEUR Workshop Proceedings
Vol/bind2756
Sider (fra-til)67-80
ISSN1613-0073
StatusUdgivet - 2020
Begivenhed21st Italian Conference on Theoretical Computer Science, ICTCS 2020 - Ischia, Italien
Varighed: 14. sep. 202016. sep. 2020

Konference

Konference21st Italian Conference on Theoretical Computer Science, ICTCS 2020
Land/OmrådeItalien
ByIschia
Periode14/09/202016/09/2020

Fingeraftryk

Dyk ned i forskningsemnerne om 'Software transactional memory with interactions'. Sammen danner de et unikt fingeraftryk.

Citationsformater