Protocoles simples pour l'implémentation répartie des sémaphores - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1992

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

Michel Raynal
  • Fonction : Auteur
  • PersonId : 830511

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-1604.pdf (667.11 Ko) Télécharger le fichier

Dates et versions

inria-00074956 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00074956 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More