Towards a formal account for software transactional memory - Archive ouverte HAL Access content directly
Conference Papers Year :

Towards a formal account for software transactional memory

(1) , (2) , (3) , (3)
1
2
3

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.
Fichier principal
Vignette du fichier
STM model.pdf (320.71 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-03005449 , version 1 (14-11-2020)

Identifiers

  • HAL Id : hal-03005449 , version 1

Cite

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⟩
31 View
65 Download

Share

Gmail Facebook Twitter LinkedIn More