Conception d'un système supportant des modèles de cohérence multiples pour les machines parallèles à mémoire virtuelle partagée

The conception of a system supporting multiple consistency models for virtual shared memory parallel machines

• Auteur / Autrice : Alba Cristina M. A. Melo
• Direction : Traian Muntean
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1996
• Etablissement(s) : Grenoble INPG
• Partenaire(s) de recherche : Laboratoire : Laboratoire Logiciels systèmes réseaux (Grenoble ; 1995-2007) - Institut d'informatique et mathématiques appliquées (Grenoble ; 1989-2006)

Mots clés

Mots clés libres

Sciences appliquees

Informatique, automatique theorique, systemes

Systeme informatique

Systeme parallele

Memoire virtuelle

Memoire partagee

Synchronisation

Pagination memoire

Gestion memoire

Modele de coherence de la memoire

Computer system

Parallel system

Virtual memory

Shared memory

Synchronization

Storage pagination

Storage management

Résumé

La programmation par variables partagees est utilisee dans les architectures paralleles sans memoire commune grace a une couche logicielle qui simule la memoire physiquement partagee. Le maintien de l'abstraction parfaite d'une memoire unique necessite un grand nombre d'operations de coherence et, par consequent, une degradation importante des performances. Afin de palier cette degradation, plusieurs systemes se servent des modeles de coherence de la memoire plus relaches, qui permettent une concurrence plus importante entre les acces mais compliquent le modele de programmation. Le choix d'un modele de coherence est donc un compromis entre les performances et la simplicite de la programmation. Ces deux facteurs dependent des attentes des utilisateurs et des caracteristiques d'acces aux donnees de chaque applications parallele. Cette these presente diva, un systeme a memoire virtuelle partagee qui supporte plusieurs modeles de coherence de la memoire. Avec diva, l'utilisateur peut choisir la semantique de la memoire partagee la plus appropriee a l'execution correcte et performante de son application. De plus, diva offre a l'utilisateur la possibilite de definir ses propres modeles de coherence. L'existence des modeles multiples a l'interieur de diva a guide les choix de conception de plusieurs autres mecanismes. Ainsi, nous proposons une interface unique de synchronisation et des mecanismes de remplacement et prechargement des pages adaptes a un environnement a modeles multiples. Un prototype de diva a ete mis en uvre sur la machine parallele intel/paragon. L'analyse d'une application qui s'execute sur des differents modeles de coherence nous a permis de montrer que le choix du modele de coherence affecte directement les performances d'une application