Abstract FR:

La gestion des processus lors de l'exploitation a travers occam d'un reseau de transputers est completement statique, et n'exploite pas toutes les possibilites du transputer. L'objectif de cette these est d'obtenir une gestion dynamique des processus en liberant le programmeur des deux contraintes les plus drastiques d'occam: le dimensionnement a priori du reseau de processus decrit par le programme, et l'attribution a priori d'un site d'execution pour chaque processus. La these comporte trois parties. La premiere partie met en evidence le caractere statique de la gestion des processus en occam sur reseaux de transputers, et les problemes qui en decoulent. La seconde partie montre comment parvenir a une gestion dynamique des processus: nous y proposons une implementation de schemas de creation dynamiques, ainsi qu'une approche locale et dynamique du placement qui evite les ecueils de l'approche statique, puisqu'elle permet notamment l'exploitation du parallelisme imbrique d'un programme occam, et la portabilite des applications sur des reseaux de topologies differentes. Dans la troisieme partie de cette these, nous definissons deux constructeurs explicitant un placement relatif des processus d'une commande parallele dans le formalisme csp: moyennant une introduction limitee de la recursivite, inner par et outer par permettent d'exprimer simplement les schemas de creation dynamiques de processus, et les strategies de placement dynamiques. Ils induisent une forme d'abstraction du placement qui, sans reference absolue a l'architecture cible, se resoud dynamiquement et localement a l'execution