Une mémoire partagée repartie extensible basée sur la cohérence paresseuse relâchée - Archive ouverte HAL
Communication Dans Un Congrès Année : 1999

Une mémoire partagée repartie extensible basée sur la cohérence paresseuse relâchée

Bertil Folliot
  • Fonction : Auteur
  • PersonId : 829560
Pierre Sens

Résumé

Dans cet article, nous proposons une implantation extensible du protocole de maintien de la cohérence relâchée paresseuse (LRC pour Lazy Release Consistency). Les implantations existantes du protocole de maintien de la LRC utilisent des vecteurs de temps, qui dépendent du nombre de sites, pour contrôler l'ordre partiel des mises à jour de la mémoire partagée. Nous proposons de nouvelles horloges logiques, les horloges vectorielles barrière-verrous, pour implanter le protocole LRC. Le principal avantage de ces horloges logiques par rapport aux vecteurs de temps traditionnels est que leur taille n'est pas proportionnelle au nombre de sites, mais au nombre de variables de synchronisation utilisées par l'application. Enfin, nous introduisons une approche hiérarchique utilisant les horloges barrière-verrous permettant d'adapter le protocole LRC à des plates-formes multi-réseaux.
Fichier non déposé

Dates et versions

hal-01574413 , version 1 (14-08-2017)

Identifiants

  • HAL Id : hal-01574413 , version 1

Citer

Luciana Arantes, Bertil Folliot, Pierre Sens. Une mémoire partagée repartie extensible basée sur la cohérence paresseuse relâchée. 1ère Conférence Française sur les Systèmes d'exploitation, Jun 1999, Rennes, France. pp.185-196. ⟨hal-01574413⟩
91 Consultations
0 Téléchargements

Partager

More