Imperial College London
Professor Nobuko Yoshida

ProfessorNobukoYoshida

Faculty of Engineering, Department of Computing

Academic Visitor
 
 
 
//

Contact

 

+44 (0)20 7594 8240n.yoshida Website

 
 
//

Location

 

556Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Medic:2021:10.1007/978-3-030-52482-1_16,
author = {Medic, D and Mezzina, CA and Phillips, I and Yoshida, N},
doi = {10.1007/978-3-030-52482-1_16},
pages = {255--263},
publisher = {Springer Verlag},
title = {Towards a formal account for software transactional memory},
url = {http://dx.doi.org/10.1007/978-3-030-52482-1_16},
year = {2021}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - Software transactional memory (STM) is a concurrency con-trol  mechanism  for  shared  memory  systems.  It  is  opposite  to  the  lockbased mechanism, as it allows multiple processes to access the same setof variables in a concurrent way. Then according to the used policy, theeffect of accessing to shared variables can be committed (hence, madepermanent) or undone. In this paper, we define a formal framework fordescribing STMs and show how with a minor variation of the rules it ispossible to model two common policies for STM: reader preference andwriter preference.
AU  - Medic,D
AU  - Mezzina,CA
AU  - Phillips,I
AU  - Yoshida,N
DO  - 10.1007/978-3-030-52482-1_16
EP  - 263
PB  - Springer Verlag
PY  - 2021///
SN  - 0302-9743
SP  - 255
TI  - Towards a formal account for software transactional memory
UR  - http://dx.doi.org/10.1007/978-3-030-52482-1_16
UR  - https://link.springer.com/chapter/10.1007%2F978-3-030-52482-1_16
UR  - http://hdl.handle.net/10044/1/78464
ER  -
Download