Abstract FR:

Ce memoire decrit la conception et la realisation de la couche cool-base de chorus/cool v2, systeme d'exploitation pour la gestion d'objets persistants dans un environnement reparti. Nous avons developpe le service pas, ou persistant actor space, dans chorus/cool v2 pour controler un ensemble espaces d'adressage repartis et persistants. Le service pas est concu a partir d'un modele formel decrivant une machine a etats. L'interface et les fonctionnalites du service pas sont derives d'une specification intuitive du modele. Les structures de donnees et les algorithmes correspondants sont derives de la specification formelle. Dans le memoire nous presentons: ? l'etude des methodes d'identification d'objets repartis et persistants, ainsi que son influence sur la migration, le glannage, et le groupement d'objets. ? la realisation d'un domaine uniforme d'identification d'objets, en utilisant plusieurs espaces d'adressage. ? le modele pas. ? l'implantation du service en utilisant la technologie chorus