La Memoire Distribuee Partagee a ete concue pour permettre aux utilisateurs d'une machine parallele sans memoire commune de profiter du modele de programmation a donnees partagees. Au plus bas niveau, les mecanismes qui simulent la memoire partagee communiquent par echange de messages. L'utilisateur, en revanche, garde un modele de programmation d'une machine virtuelle a memoire globale accessible directement par tous les processeurs du systeme. Une des approches souvent utilisees pour implanter la Memoire Distribuee Partagee est la memoire virtuelle partagee. En plus d'un espace d'adressage partage, la memoire virtuelle partagee approche offre un mecanisme de gestion de memoire virtuelle a trois niveaux. La memoire virtuelle partagee est une facon transparente et elegante d'implanter la memoire distribuee partagee. Helas, le desir d'offrir une abstraction parfaite d'une memoire unique a conduit a des systemes peu performants. Afin d'approcher des performances acceptables, plusieurs systemes a memoire virtuelle partagee ont relache certaines conditions de coherence de la memoire. Ces modeles offrent la possibilite d'atteindre des performances plus importantes que celles des modeles a coherence forte. Le prix a payer est l'augmentation de la complexite du modele de programmation. Neanmoins, les recherches plus recentes dans le domaine semblent montrer que le choix du modele de coherence de la memoire le plus adapte a une application depend des caracteristiques d'acces aux donnees de l'application. Cette these porte sur la conception d'une machine virtuelle capable d'offrir le support necessaire a la programmation a memoire partagee avec des modeles de coherence multiples. Un module de traitement generique de modeles de coherence et un mecanisme qui permet une interface uniforme de synchronisation ont ete concus dans ce but. La conception de ces mecanismes a ete faite en observant des criteres d'extensibilite de sorte a les adapter aux architectures massivement paralleles. Dans le domaine de la gestion de la memoire virtuelle, nous avons modifie quelques mecanismes classiques, notamment le remplacement et le prechargement des pages, pour les adapter a un environnement multi-modeles. Un prototupe a ete realise pour valider nos mecanismes. L'analyse du comportement d'une meme application dans deux modeles de coherence differents nous a permis de montrer que le choix du modele de coherence a une influence importante sur les performances d'une application.
Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00004973 |
Date | 18 September 1996 |
Creators | Balaniuk, Alba Cristina |
Source Sets | CCSD theses-EN-ligne, France |
Language | French |
Detected Language | French |
Type | PhD thesis |
Page generated in 0.0017 seconds