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
Document type :
Conference papers
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/inria-00436003
Contributor : Christine Morin <>
Submitted on : Wednesday, November 25, 2009 - 10:06:43 PM
Last modification on : Friday, November 16, 2018 - 1:28:29 AM
Long-term archiving on : Thursday, June 17, 2010 - 10:05:52 PM

File

IEEEXplore.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00436003, version 1

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. ⟨inria-00436003⟩

Share

Metrics

Record views

369

Files downloads

146