Protocoles simples pour l'implémentation répartie des sémaphores
Abstract
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.