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

Gwenaël Delaval 1, * Alain Girault 1 Marc Pouzet 2
* Auteur correspondant
1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : We address the design of distributed systems with synchronous dataflow programming languages. As modular design entails handling both architectural and functional modularity, our first contribution is to extend an existing synchronous dataflow programming language with primitives allowing the description of a distributed architecture and the localization of some expressions onto some processors. We also present a distributed semantics to formalize the distributed execution of synchronous programs. Our second contribution is to provide a type system, 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. Our third contribution is to provide a type-directed projection operation 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 fully implemented in the compiler of an existing synchronous data-flow programming language.
Type de document :
Communication dans un congrès
LCTES - ACM International Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2008, Tucson, United States. ACM, pp.101-110, 2008, Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems. <10.1145/1375657.1375672>
Liste complète des métadonnées


https://hal.inria.fr/hal-00750870
Contributeur : Gwenaël Delaval <>
Soumis le : lundi 12 novembre 2012 - 15:51:24
Dernière modification le : mercredi 21 juin 2017 - 01:11:08
Document(s) archivé(s) le : mercredi 13 février 2013 - 03:46:02

Fichiers

lctes50-delaval.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Gwenaël Delaval, Alain Girault, Marc Pouzet. A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs. LCTES - ACM International Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2008, Tucson, United States. ACM, pp.101-110, 2008, Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems. <10.1145/1375657.1375672>. <hal-00750870>

Partager

Métriques

Consultations de
la notice

382

Téléchargements du document

103