O. Maffeis. Ordonnancements de graphes de flots synchrones ; application à la mise en oeuvre de SIGNAL. Thèse de l'Université de Rennes I, IFSIC, Janvier 1993.
Apparue il y a une dizaine d'années et dédiée à l'informatique temps-réel, l'approche synchrone permet la spécification d'applications avec une importante abstraction du support d'exécution. Dans ce domaine, cette thèse introduit des concepts, méthodes et outils pour l'inférence de mises en oeuvre asynchrones à partir de spécifications synchrones ; ce travail est appliqué à , un langage synchrone inspiré de principes de la programmation flots de données. Ce travail repose sur les graphes de flots synchrones qui constituent la représentation interne des programmes . Par rapport aux structures de graphes habituellement manipulées par les compilateurs, les graphes de flots synchrones présentent une plus grande finesse de modélisation du contrôle et de ses interactions avec les dépendances de données. Du point de vue des méthodes, cette thèse a contribué d'une part, à la définition et à la validation de la méthode d'inférence de la mise en oeuvre séquentielle et, d'autre part, à la conception de la méthodologie d'implémentation parallèle des programmes . Au niveau des outils, cette thèse définit : (1) l'abstraction de graphes de flots synchrones qui dote la compilation de la modularité, (2) l'ordonnancement de graphes de flots synchrones qui, grâce à la richesse de modélisation de ces graphes, repose sur un critère qualitatif : la préservation de l'absence d'interblocage, (3) un critère de partitionnement qui permet de réduire la taille du problème soumis à distribution et, (4) un second outil de partitionnement qui, par une méthode ascendante, construit les processus pour lesquels le code séquentiel est réutilisable par composition
@PhdThesis{maffeis93,
Author = {Maffeis, O.},
Title = {Ordonnancements de graphes de flots synchrones ; application à la mise en oeuvre de SIGNAL},
School = {Université de Rennes I, IFSIC},
Month = {January},
Year = {1993}
}
Charger la référence EndNote (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.