Réseaux de Kahn à rafales et horloges entières

Adrien Guatto 1 Louis Mandel 1
1 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, ENS Paris - École normale supérieure - Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Résumé : Les langages flot de données synchrones à la Lustre proposent un formalisme équationnel de haut niveau dédié à la conception et l'implantation de systèmes temps réel. Ils sont traditionnellement restreints aux systèmes critiques ne nécessitant pas de calcul intensif ; en particulier, le code impératif généré ne contient pas naturellement de boucles. Lucy-n est une variante récente de Lustre plus adaptée aux traitements multimédias. Dans cet article, nous proposons une extension de la sémantique de Lucy-n où les flots transportent des rafales de valeurs plutôt que de simples scalaires, ainsi qu'un système de types qui caractérise la taille de ces rafales. L'ambition est d'adapter les techniques de génération de code usuelles pour produire des boucles imbriquées.
Type de document :
Communication dans un congrès
JFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. 2014
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00919281
Contributeur : Louis Mandel <>
Soumis le : lundi 16 décembre 2013 - 15:12:37
Dernière modification le : jeudi 29 septembre 2016 - 01:22:13
Document(s) archivé(s) le : mardi 18 mars 2014 - 16:50:12

Fichier

GuattoMandel-JFLA-2014.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00919281, version 1

Collections

Citation

Adrien Guatto, Louis Mandel. Réseaux de Kahn à rafales et horloges entières. JFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. 2014. 〈hal-00919281〉

Partager

Métriques

Consultations de la notice

182

Téléchargements de fichiers

68