Recherche Avancée

Thèse soutenue

Étude de la réutilisation dans les modèles parallèles à processus communicants

FR  |  
EN
Auteur / Autrice : Brahima Lokpo
Direction : Gérard Padiou
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1992
Etablissement(s) : Toulouse, INPT

Résumé

FR

Les difficultes pour exploiter efficacement les calculateurs paralleles augmentent de plus en plus avec leur puissance. Un effort important aussi bien dans la recherche d'algorithmes et de methodes que dans le developpement d'environnements de programmation adequats doit etre fourni afin de surmonter ces difficultes. La presente these se veut une contribution aux aspects methodologiques de la programmation parallele fondee sur le modele des processus communicants. Trois principes de conception facilitant la structuration et la reutilisation dans ce modele particulier y sont etudies. Le premier principe propose une conception dans laquelle il est possible de decrire d'une maniere generique les topologies de reseau de communication suivant lesquels les processus echangent les messages. Le second principe consiste a definir des regles de compatibilite entre des protocoles de communication afin de donner la possibilite a tout processus d'evoluer dans un environnement de communication proche mais distinct de son environnement initial. Le dernier principe porte sur une conception prevoyant le partage ou la duplication generique d'un service dans un schema de client-serveur. Ces principes ont ete mis en uvre dans le langage occam qui est une des references les plus utilisees du modele des processus communicants. Cette mise en uvre a conduit d'une part a etendre occam avec les mecanismes de processus generique et d'extension de protocole, d'autre part, a realiser un environnement de programmation (decor) qui facilite l'implantation des principes methodologiques proposes