Thèse soutenue

Un modele de programmation des controleurs globaux
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Philippe Dhaussy
Direction : Michel Raynal
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1994
Etablissement(s) : Rennes 1

Résumé

FR

Les applications paralleles requierent, en general, des operations de controle global qui introduisent une surcharge importante en particulier sur les machines de type mimd (multiple instruction multiple data). L'utilisation des circuits fpga (field programmable gate arrays) offre, pour l'implantation des services de controle, la possibilite de constituer des supports possedant un caractere programmable associe a des performances proches des circuits cables. Le concept de controleur global est mis en uvre dans la machine prototype armen utilisant un reseau de circuits fpgas. Un environnement de developpement est propose pour la description et l'implantation des controleurs sur armen. Il s'articule autour du langage uca, defini a partir du modele de programmation unity. Les caracteristiques semantiques du langage s'adaptent bien a la programmation des controleurs globaux. L'etude de l'implantation des programmes a conduit a identifier des conditions suffisantes d'implantation et a proposer des transformations preservant les proprietes de programmes. Le compilateur verifie la satisfaction des conditions et produit les donnees d'entree pour des outils de synthese logique. L'environnement logiciel realise integre des outils de simulation et de verification et a contribue a la synthese de plusieurs circuits de controle