Lucy-n~: une extension n-synchrone de Lustre - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Lucy-n~: une extension n-synchrone de Lustre

Résumé

Les langages synchrones flot de données permettent de programmer des réseaux de processus communicant sans buffers. Pour cela, chaque flot est associé à un type d'horloges, qui indique les instants de présence de valeurs sur le flot. La communication entre deux processus \verb+f+ et \verb+g+ peut être faite sans buffer si le type du flot de sortie de \verb+f+ est égal au type du flot d'entrée de~\verb+g+. Un système de type, le calcul d'horloge, infère des types tels que cette condition est vérifiée. Le modèle n-synchrone a pour but de relâcher ce modèle de programmation en autorisant les communications à travers des buffers de taille bornée. En pratique, cela consiste à introduire une règle de sous-typage dans le calcul d'horloge. Nous avons présenté l'année dernière un article décrivant comment abstraire des horloges pour vérifier la relation de sous-typage. Cette année, nous présentons un langage de programmation n-synchrone~: Lucy-n. Dans ce langage, l'inférence des types d'horloges est paramétrable par l'algorithme de résolution des contraintes de sous-typage. Nous montrons ici un algorithme basé sur les travaux de l'an dernier et comment programmer en Lucy-n à travers l'exemple d'une application de traitement multimédia.
Fichier principal
Vignette du fichier
MandelPlateau-JFLA-2010.pdf (283.55 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00545802 , version 1 (13-12-2010)

Identifiants

  • HAL Id : hal-00545802 , version 1

Citer

Louis Mandel, Florence Plateau, Marc Pouzet. Lucy-n~: une extension n-synchrone de Lustre. Vingt-et-unièmes Journées Francophones des Langages Applicatifs, Jan 2010, Vieux-Port La Ciotat, France, France. pp.275-306. ⟨hal-00545802⟩
112 Consultations
59 Téléchargements

Partager

Gmail Facebook X LinkedIn More