On the Implementation of Concurrent Objects - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2011

On the Implementation of Concurrent Objects

Résumé

The implementation of objects shared by concurrent processes, with provable safety and liveness guarantees, is a fundamental issue of concurrent programming in shared memory systems. It is now largely accepted that linearizability (or atomicity) is an appropriate consistency condition for concurrent objects. On the liveness side, progress conditions (mainly absence of deadlock or the stronger absence of starvation) have been stated and investigated since a long time and are now well-mastered. The situation is dierent in asynchronous shared memory systems prone to process failures. This paper visits three progress conditions suited to concurrent objects in presence of failures, namely obstruction-freedom, non-blocking and wait-freedom. To that end, the paper visits also appropriate com- putation models and paradigm problems to illustrate this family of progress conditions. The paper has consequently an introductory and survey avor. Its aim is to help people better understand the diculties, subtleties and beauties encountered when one has to implement concurrent objects despite the net eect of asynchrony and failures.
Fichier principal
Vignette du fichier
PI-1968.pdf (679.12 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00577736 , version 1 (17-03-2011)

Identifiants

  • HAL Id : inria-00577736 , version 1

Citer

Michel Raynal. On the Implementation of Concurrent Objects. [Research Report] PI-1968, 2011, pp.22. ⟨inria-00577736⟩
219 Consultations
252 Téléchargements

Partager

Gmail Facebook X LinkedIn More