Implementing atomic rendezvous within a transactional framework

Jean-Pierre Banâtre 1 Michel Banâtre 1 Christine Morin 1
1 LSP - Langages et Systèmes Parallèles
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
Abstract : The authors address the problem of implementing the CSP (communicating sequential processes) rendezvous within a transactional framework. Instead of implementing a fair nondeterministic choice and assuming the correct functioning of processors and communication media, the authors propose an efficient transactional implementation of the atomic rendezvous in the presence of processor failures in a multiprocessor machine. Both atomicity and efficiency are obtained by using high-speed stable storage devices
Type de document :
Communication dans un congrès
Eighth Symposium on Reliable Distributed Systems, 1989, Seattle, United States. pp.119-128, 1989
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00436003
Contributeur : Christine Morin <>
Soumis le : mercredi 25 novembre 2009 - 22:06:43
Dernière modification le : mercredi 16 mai 2018 - 11:23:14
Document(s) archivé(s) le : jeudi 17 juin 2010 - 22:05:52

Fichier

IEEEXplore.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00436003, version 1

Collections

Citation

Jean-Pierre Banâtre, Michel Banâtre, Christine Morin. Implementing atomic rendezvous within a transactional framework. Eighth Symposium on Reliable Distributed Systems, 1989, Seattle, United States. pp.119-128, 1989. 〈inria-00436003〉

Partager

Métriques

Consultations de la notice

269

Téléchargements de fichiers

81