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

Adrien Guatto 1 Louis Mandel 1
1 Parkas - Parallélisme de Kahn Synchrone
CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
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.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/hal-00919281
Contributor : Louis Mandel <>
Submitted on : Monday, December 16, 2013 - 3:12:37 PM
Last modification on : Thursday, February 7, 2019 - 3:49:17 PM
Document(s) archivé(s) le : Tuesday, March 18, 2014 - 4:50:12 PM

File

GuattoMandel-JFLA-2014.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-00919281⟩

Share

Metrics

Record views

253

Files downloads

138