Published July 9, 2020
| Version v1
Conference paper
Towards a formal account for software transactional memory
- Others:
- Foundations of Component-based Ubiquitous Systems (FOCUS) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI) ; Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)
- Dipartimento di Scienze Pure e Applicate, Urbino University ''Carlo Bo''
- Imperial College London
- ANR-18-CE25-0007,DCore,Debogage causal pour systèmes concurrents(2018)
Description
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.
Abstract
International audience
Additional details
- URL
- https://hal.inria.fr/hal-03005449
- URN
- urn:oai:HAL:hal-03005449v1
- Origin repository
- UNICA