Une mémoire partagée repartie extensible basée sur la cohérence paresseuse relâchée
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.