A Lock-based Protocol for Software Transactional Memory

Damien Imbs 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 : The aim of a software transactional memory (STM) system is to facilitate the design of concurrent programs, i.e., programs made up of processes (or threads) that concurrently access shared objects. To that end, a STM system allows a programmer to write transactions accessing shared objects, without having to take care of the fact that these objects are concurrently accessed: the programmer is discharged from the delicate problem of concurrency management. Given a transaction, the STM system commits or aborts it. Ideally, it has to be efficient (this is measured by the number of transactions processed per time unit), while ensuring that as few transactions as possible are aborted. From a safety point of view (the one addressed in this paper), a STM system has to ensure that, whatever its fate (commit or abort), each transaction always operates on a consistent state. STM systems have recently received a great attention. Among the proposed solutions, lock-based systems and clock-based systems have been particularly investigated. This paper presents a new lock-based STM system designed from simple basic principles. Its main features are the following: it (1) does not require the shared memory to manage several versions of each object, (2) uses neither timestamps, nor version numbers, (3) aborts a transaction only when it conflicts (with some other live transaction), (4) never aborts a write only transaction, (5) employs only bounded control variables, and (6) has no centralized contention point.
Type de document :
Rapport
[Research Report] PI 1893, 2008, pp.26
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00277378
Contributeur : Anne Jaigu <>
Soumis le : mardi 6 mai 2008 - 11:45:00
Dernière modification le : mardi 16 janvier 2018 - 15:54:13
Document(s) archivé(s) le : vendredi 28 mai 2010 - 18:30:40

Fichiers

PI-1893.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00277378, version 1

Citation

Damien Imbs, Michel Raynal. A Lock-based Protocol for Software Transactional Memory. [Research Report] PI 1893, 2008, pp.26. 〈inria-00277378〉

Partager

Métriques

Consultations de la notice

488

Téléchargements de fichiers

227