Recherche Avancée

Thèse soutenue

Adressage et protection dans un système réparti

FR  |  
EN
Auteur / Autrice : Daniel Hagimont
Direction : Jacques Mossière
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1993
Etablissement(s) : Grenoble INPG

Résumé

FR

Ce travail de these se situe dans le cadre du projet guide dont le but est la conception et la realisation d'un systeme reparti fournissant un support d'objets partages persistants. Dans une premiere partie, cette these etudie les problemes poses par la conception d'un tel systeme, les differentes approches rencontrees dans les systemes existants illustrant cette etude. La seconde partie est consacree a la presentation du travail realise dans le cadre du projet guide. Un noyau de systeme appele eliott a ete realise sur le micro-noyau mach 3. 0 et fournit le support necessaire aux langages orientes-objets utilises pour la programmation d'applications reparties. Le noyau eliott gere a la fois la persistance des objets et le partage des objets entre les structures d'execution. Les objets sont regroupes en grappes, ce qui permet de les gerer plus efficacement dans le systeme; ils peuvent etre deplaces entre les grappes. Les structures d'execution sont des espaces d'adressage repartis partages par plusieurs flots d'execution; les objets sont lies dynamiquement dans ces espaces d'adressage. Pour assurer un niveau de protection minimum, le systeme isole les objets afin d'eviter qu'une erreur dans un programme puisse perturber d'autres objets. Un schema d'adressage a la multics a ete defini afin d'eviter une interpretation systematique des appels de methode. Des mecanismes de controle des droits d'acces fondes sur des listes d'acces sont integres a ce schema d'adressage et permettent la construction de sous-systemes proteges mutuellement mefiants. La realisation de ces mecanismes a ete effectuee sans degrader l'efficacite de l'appel de methode. La verification de la protection genere un cout supplementaire lors du premier appel qui est interprete, mais aucun cout pour les appels suivants