A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2007

A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs

Résumé

This paper addresses the design of distributed systems with synchronous dataflow languages. As modular design entails handling both architecture and functional modularity, we propose a language-oriented solution, involving the extension of a synchronous dataflow language with primitives for program distribution. These primitives allow the programmer to describe the architecture of the system and to express where streams and expressions are located in this architecture. A distributed semantics is first proposed as formalization of the distributed execution of programs. A type and effect system is then provided in order to infer the localization of non-annotated values by means of type inference and to ensure, at compilation time, the consistency of the distribution. A type-directed projection operation allows us to obtain automatically, from a centralized typed program, the local program to be executed by each computing resource. The type system as well as the automatic distribution mechanism has been implemented in the Lucid Synchrone compiler.
Fichier principal
Vignette du fichier
RR-6378.pdf (387.67 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00193731 , version 1 (04-12-2007)
inria-00193731 , version 2 (05-12-2007)

Identifiants

  • HAL Id : inria-00193731 , version 2

Citer

Gwenaël Delaval, Alain Girault, Marc Pouzet. A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs. [Research Report] RR-6378, INRIA. 2007. ⟨inria-00193731v2⟩
172 Consultations
148 Téléchargements

Partager

Gmail Facebook X LinkedIn More