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 processusf
etg
peut être faite sans buffer si le type du flot de sortie def
est égal au type du flot d’entrée deg
. 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