Ce travail de these se situe dans le cadre du projet Guide dont le but est la conception et la realisation dun 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 dapplications 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 dadressage repartis partages par plusieurs flots dexecution ; 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 dadressage a la Multics a ete defini afin deviter une interpretation systematique des appels de methode. Des mecanismes de controle des droits d'acces fondes sur des listes dacces 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.

Le problème du Consensus est reconnu comme un paradigme important pour concevoir des systèmes répartis tolérants aux défaillances. Dans un système asynchrone pure, le consensus est impossible à résoudre de manière déterministe. En enrichissant le système avec des hypothèses de synchronie, plusieurs solutions (dont le protocole Paxos) ont été proposées pour contourner ce résultat d'impossibilité. Ce travail contribue à la conception de protocoles de consensus efficaces dans un système réparti asynchrone. La proposition d'un protocole efficace appelé Paxos-MIC, qui suit l'approche Paxos et intègre deux optimisations connues, est la contribution algorithmique de cette thèse. Paxos-MIC gère une séquence d'instances de consensus et garantie la persistance de toutes les décisions. L'adaptabilité est la principale qualité de ce protocole. Etant donné que l'une des optimisations peut être néfaste, Paxos-MIC intègre un mécanisme de déclenchement qui peut activer dynamiquement l'optimisation. Différents critères de déclenchement sont proposés pour prédire si l'utilisation de l'optimisation va être bénéfique. De nombreuses expérimentations ont été conduites sur la grille GRID'5000 afin d'évaluer le protocole et ces critères. Une seconde partie du travail se focalise sur l'utilisation du consensus comme une brique de base. Dans le contexte particulier des agents mobiles transactionnels, nous proposons une solution pour supporter l'exécution de transactions dans un réseaux ad-hoc. La solution repose sur une séquence de décisions construite de façon durable en invoquant des consensus. Ce service est fourni par le protocole Paxos-MIC.