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 metadatas

Cited literature [18 references]  Display  Hide  Download
Contributor : Doriana Medic <>
Submitted on : Saturday, November 14, 2020 - 9:35:23 AM
Last modification on : Tuesday, November 17, 2020 - 3:30:09 AM


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. Reversible Computation - 12th International Conference, 2020, Jul 2020, Oslo, Norway. ⟨hal-03005449⟩



Record views


Files downloads