STM systems: Enforcing strong isolation between transactions and non-transactional code

Tyler Crain 1 Eleni Kanellou 1 Michel Raynal 1
1 ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
Abstract : Transactional memory (TM) systems implement the concept of an atomic execution unit called a transaction in order to discharge programmers from explicit synchronization management. But when shared data is atomically accessed by both transaction and non-transactional code, a TM system must provide strong isolation in order to overcome consistency problems. Strong isolation enforces ordering between non-transactional operations and transactions and preserves the atomicity of a transaction even with respect to non-transactional code. This paper presents a TM algorithm that implements strong isolation with the following features: (a) concurrency control of non-transactional operations is not based on locks and is particularly efficient, and (b) any non-transactional read or write operation always terminates (there is no notion of commit\abort associated with them).
Type de document :
[Research Report] RR-7970, INRIA. 2012
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger
Contributeur : Tyler Crain <>
Soumis le : lundi 21 mai 2012 - 18:53:14
Dernière modification le : jeudi 15 novembre 2018 - 11:57:36
Document(s) archivé(s) le : vendredi 30 novembre 2012 - 12:00:49


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-00699903, version 1


Tyler Crain, Eleni Kanellou, Michel Raynal. STM systems: Enforcing strong isolation between transactions and non-transactional code. [Research Report] RR-7970, INRIA. 2012. 〈hal-00699903〉



Consultations de la notice


Téléchargements de fichiers