Projet : ADP - Cohérence d'objets dupliqués

Mots clés : algorithme réparti, causalité, cohérence, mémoire virtuellement partagée, transaction .

Résumé :

La conception d'applications réparties, dans le modèle de programmation par objets partagés, consiste à donner aux processus la vision d'un seul espace d'adressage. Pour des raisons de performance, les objets sont dupliqués. Le problème est alors le maintien de la cohérence entre les copies pour chaque objet, à savoir la garantie d'un niveau de synchronisation entre les gestionnaires de données correspondant à la sémantique du critère de cohérence offert aux applications utilisant cette mémoire.

Un grand nombre d'applications parallèles utilisent un modèle de programmation fondé sur le partage d'objets qui nécessite de fournir un seul espace d'adressage pour l'ensemble des objets. De plus, le développement de l'Internet et du Web sont à la base de nouvelles applications, inimaginables il y a quelques années, qui permettent aux utilisateurs d'accéder, de partager et de manipuler des informations de plus en plus riches et complexes (par exemple, les communautés virtuelles qui réunissent dans des forums un grand nombre d'utilisateurs dispersés sur de grandes étendues géographiques). En plus de la cohérence des données manipulées, tout système qui implémente un monde virtuel doit être à même de stocker un très grand nombre de données et de permettre aux utilisateurs de les accéder avec une qualité de service raisonnable. Facteur d'échelle et cohérence des données sont ainsi deux éléments cruciaux que va devoir maîtriser dans un avenir proche tout système accédé par des utilisateurs ou processus répartis.