Ordonnancement de graphes de flots synchrones : application a la mise en oeuvre de signal

par OLIVIER MAFFEIS

Thèse de doctorat en Informatique

Sous la direction de Paul Le Guernic.

Soutenue en 1993

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Apparue il y a une dizaine d'annees et dediee a l'informatique temps reel, l'approche synchrone permet la specification d'applications avec une importante abstraction du support d'execution. Dans ce domaine, cette these introduit des concepts, methodes et outils pour l'inference de mises en uvre asynchrones a partir de specifications synchrones; ce travail est applique a signal, un langage synchrone inspire de principes de la programmation flots de donnees. Ce travail repose sur les graphes de flots synchrones qui constituent la representation interne des programmes signal. Par rapport aux structures de graphes habituellement manipulees par les compilateurs, les graphes de flots synchrones presentent une plus grande finesse de modelisation du controle et de ses interactions avec les dependances de donnees. Du point de vue des methodes, cette these a contribue d'une part, a la definition et a la validation de la methode d'inference de la mise en uvre sequentielle et, d'autre part, a la conception de la methodologie d'implementation parallele des programmes signal. Au niveau des outils, cette these definit: 1) l'abstraction de graphes de flots synchrones qui dote la compilation signal de la modularite, 2) l'ordonnancement de graphes de flots synchrones qui, grace a la richesse de modelisation de ces graphes, repose sur un critere qualitatif: la preservation de l'absence d'interblocage, 3) un premier outil de partitionnement qui permet de reduire la taille du probleme soumis a distribution et, 4) un second outil de partitionnement qui, par une methode ascendante, construit les processus pour lesquels le code sequentiel est reutilisable par composition


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (145 p.)
  • Annexes : 75 REF

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : G.2-MAF
  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1993/25
  • Bibliothèque : Ecole nationale supérieure de sciences appliquées et de technologie. Bibliothèque.
  • Disponible pour le PEB
  • Cote : G 1. MAF.
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.