JTE : mémoires partagées réparties

Une horloge logique, basée sur des opérations de synchronization,
adéquate pour implanter des protocoles de cohérence relâchée
Luciana ARANTÈS LIP6, Université PARIS 6

Résumé: Nous proposons une nouvelle horloge, l'horloge barrière-verrous, qui tient compte le comportement des protocoles de maintien de la cohérence relâchée. Comme ce modèle de cohérence est induit par les opérations sur des verrous et barrières, la conception des horloges barrière-verrous a été basée sur ces opérations.

Capturant précisément la causalité entre les opérations de synchronisation, les horloges barrière-verrous sont très appropriées pour les implantations des protocoles de maintien de la cohérence relâchée, dont l'exécution est divisée en intervalles.

Les estampillage des horloges barrière-verrous sont représentés par un compteur, qui contrôle les appels à les barrières, plus un vecteur, dont chaque entrée correspond à un verrou. Ainsi, chaque estampillage informe sur l'opération de synchronisation avec laquelle il est associé. Cette information peut être très utile à certains MPRs, comme par exemple celles qui adoptent le modèle de cohérence "scope" (scope consistency) ou celles qui sont adaptatives (adaptive DSM). Contrairement aux horloges traditionnelles, la taille des estampillages n'est pas proportionnelle au nombre de sites du système, mais au nombre de variables de synchronisation utilisées par l'application.