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.
Type de document :
Rapport
[Rapport de recherche] RR-1604, INRIA. 1992
Liste complète des métadonnées

https://hal.inria.fr/inria-00074956
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 17:03:46
Dernière modification le : vendredi 9 février 2018 - 16:26:50
Document(s) archivé(s) le : mardi 12 avril 2011 - 20:17:11

Fichiers

Identifiants

  • HAL Id : inria-00074956, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

140

Téléchargements de fichiers

72