Mémoire virtuelle répartie partagé sur le système CHORUS

Distributed shared memory for the CHORUS-system

• Auteur / Autrice : Maria Inès Ortega
• Direction : Jean-Marie Rifflet
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1992
• Etablissement(s) : Paris 7

Résumé

La mémoire virtuelle repartie est un des champs d'exploration principaux des systèmes répartis. La migration et la distribution des processus, le mappage des fichiers dans l'espace d'adressage des processus, les sous-systèmes orientés objets et les systèmes UNIX répartis tirent avantage de la disponibilité d'un tel mécanisme. Le concept de mémoire partagée, par opposition à celui d'IPC (mécanismes de communication inter processus) fournit aux programmeurs d'applications, une abstraction simple permettant à des processus de communiquer et pour cette raison est très séduisant. Cette thèse explore les possibilités d'implantation de la mémoire virtuelle répartie partagée, sur le micro-noyau CHORUS sous la forme d'un ensemble de serveurs externes au noyau lui-même. Les avantages de cette stratégie sont d'autoriser les concepteurs à choisir et implanter leur propre politique de cohérence et de donner la possibilité d'exécuter simultanément différents serveurs supportant des sémantiques de cohérence adaptées aux applications ou sous-systèmes les sollicitant. La thèse présente la spécification et l'implantation de deux protocoles différents pour la mémoire virtuelle répartie partagée construite au-dessus de CHORUS. La première implantation, basée sur une approche centralisée met en lumière les principaux problèmes posés par la construction d'un mappeur décentralisé. La seconde approche explore cette deuxième voie. La politique adoptée, bien que plus complexe à implanter fournit un meilleur débit. Un ensemble de serveurs (externes au noyau CHORUS) coopèrent pour garantir, dans un mode décentralisé, une cohérence entre les différentes images des données sur les sites interconnectés