Towards a Formal Account for Software Transactional Memory

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...

Descripción completa

Detalles Bibliográficos
Autores principales: Medić, Doriana, Mezzina, Claudio Antares, Phillips, Iain, Yoshida, Nobuko
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7345309/
http://dx.doi.org/10.1007/978-3-030-52482-1_16
_version_ 1783556151184457728
author Medić, Doriana
Mezzina, Claudio Antares
Phillips, Iain
Yoshida, Nobuko
author_facet Medić, Doriana
Mezzina, Claudio Antares
Phillips, Iain
Yoshida, Nobuko
author_sort Medić, Doriana
collection PubMed
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.
format Online
Article
Text
id pubmed-7345309
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-73453092020-07-09 Towards a Formal Account for Software Transactional Memory Medić, Doriana Mezzina, Claudio Antares Phillips, Iain Yoshida, Nobuko Reversible Computation Article 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. 2020-06-17 /pmc/articles/PMC7345309/ http://dx.doi.org/10.1007/978-3-030-52482-1_16 Text en © Springer Nature Switzerland AG 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.
spellingShingle Article
Medić, Doriana
Mezzina, Claudio Antares
Phillips, Iain
Yoshida, Nobuko
Towards a Formal Account for Software Transactional Memory
title Towards a Formal Account for Software Transactional Memory
title_full Towards a Formal Account for Software Transactional Memory
title_fullStr Towards a Formal Account for Software Transactional Memory
title_full_unstemmed Towards a Formal Account for Software Transactional Memory
title_short Towards a Formal Account for Software Transactional Memory
title_sort towards a formal account for software transactional memory
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7345309/
http://dx.doi.org/10.1007/978-3-030-52482-1_16
work_keys_str_mv AT medicdoriana towardsaformalaccountforsoftwaretransactionalmemory
AT mezzinaclaudioantares towardsaformalaccountforsoftwaretransactionalmemory
AT phillipsiain towardsaformalaccountforsoftwaretransactionalmemory
AT yoshidanobuko towardsaformalaccountforsoftwaretransactionalmemory

Ejemplares similares