Lucy-n : une extension n-synchrone de Lustre - JFLA 2010



Lucy-n : une extension n-synchrone de Lustre

JFLA 2010


Louis Mandel, Florence Plateau et Marc Pouzet
LRI, Univ. Paris-Sud 11.


Résumé: Les langages synchrones flots de données permettent la programmation de 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 f et g peut être faite sans buffer si le type du flot de sortie de f est égal au type du flot d’entrée de g. Un système de type, le calcul d’horloge, infère des types tels que cette condition est vérifie. 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.


Article : .pdf
Le typeur Lucy-n : lucync (bytecode OCaml version 3.10.2 - nécessite Glpk)
Les exemples de l’article : .tgz





Ce document a été traduit de LATEX par HEVEA