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

Luciana Arantes Bertil Folliot 1 Pierre Sens 1
1 SRC - Systèmes répartis et coopératifs
LIP6 - Laboratoire d'Informatique de Paris 6
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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01574413
Contributor : Lip6 Publications <>
Submitted on : Monday, August 14, 2017 - 2:10:54 PM
Last modification on : Thursday, March 21, 2019 - 1:01:08 PM

Identifiers

  • HAL Id : hal-01574413, version 1

Citation

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⟩

Share

Metrics

Record views

42