Skip to Main content Skip to Navigation
Conference papers

Towards a formal account for software transactional memory

Abstract : Software transactional memory (STM) is a concurrency control mechanism for shared memory systems. It is opposite to the lock based mechanism, as it allows multiple processes to access the same set of variables in a concurrent way. Then according to the used policy, the effect of accessing to shared variables can be committed (hence, made permanent) or undone. In this paper, we define a formal framework for describing STMs and show how with a minor variation of the rules it is possible to model two common policies for STM: reader preference and writer preference.
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Doriana Medic Connect in order to contact the contributor
Submitted on : Saturday, November 14, 2020 - 9:35:23 AM
Last modification on : Monday, January 25, 2021 - 4:48:00 PM
Long-term archiving on: : Monday, February 15, 2021 - 6:08:43 PM


STM model.pdf
Files produced by the author(s)


  • HAL Id : hal-03005449, version 1



Doriana Medić, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida. Towards a formal account for software transactional memory. RC 2020 - 12th International Conference on Reversible Computation, Jul 2020, Oslo, Norway. ⟨hal-03005449⟩



Record views


Files downloads