Skip to Main content Skip to Navigation
Reports

Protocoles simples pour l'implémentation répartie des sémaphores

Michel Raynal 1
1 ADP - Distributed Algorithms and Protocols
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Résumé : L'utilisation croissante des machines parallèles à mémoire répartie constitue un terrain de prédilection relativement nouveau pour les concepteurs de systèmes répartis, le paradigme classique "réseau (local) + messages" y étant souvent remplacé par celui de la mémoire virtuelle répartie. Dans cette nouvelle problématique (qui consiste en fait à implémenter sur ces nouvelles architectures des concepts fondamentaux des systèmes centralisés) on examine ici la mise en oeuvre répartie du mécanisme de base pour la synchronisation qu'est le sémaphore. Plusieurs protocoles sont proposés, ils sont tous construits à partir de l'invariant fondamental assocée au sémaphore. Ces protocoles, joints à un mécanisme de mémoire virtuelle répartie, peuvent ainsi permettre une programmation classique de ce type de machines parallèles.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00074956
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 5:03:46 PM
Last modification on : Thursday, February 11, 2021 - 2:48:03 PM
Long-term archiving on: : Tuesday, April 12, 2011 - 8:17:11 PM

Identifiers

  • HAL Id : inria-00074956, version 1

Citation

Michel Raynal. Protocoles simples pour l'implémentation répartie des sémaphores. [Rapport de recherche] RR-1604, INRIA. 1992. ⟨inria-00074956⟩

Share

Metrics

Record views

169

Files downloads

105