Scheduling and Buffer Sizing of n-Synchronous Systems: Typing of Ultimately Periodic Clocks in Lucy-n

Louis Mandel 1, 2, 3 Florence Plateau 1, 2, 3
1 LRI - Laboratoire de Recherche en Informatique
2 Parkas - Parallélisme de Kahn Synchrone
CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
3 Inria Paris-Rocquencourt
Abstract : Lucy-n is a language for programming networks of processes communicating through bounded buffers. A dedicated type system, termed a clock calculus, automatically computes static schedules of the processes and the sizes of the buffers between them. In this article, we present a new algorithm which solves the subtyping constraints generated by the clock calculus. The advantage of this algorithm is that it finds schedules for tightly coupled systems. Moreover, it does not overestimate the buffer sizes needed and it provides a way to favor either system throughput or buffer size minimization.
Keywords : Synchronous languages n-synchrony Type systems
Type de document :
Communication dans un congrès
Eleventh International Conference on Mathematics of Program Construction , Jun 2012, Madrid, Spain. Eleventh International Conference on Mathematics of Program Construction , 2012, 〈http://babel.ls.fi.upm.es/mpc2012/〉
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01508142
Contributeur : Timothy Bourke <>
Soumis le : jeudi 13 avril 2017 - 20:16:14
Dernière modification le : vendredi 25 mai 2018 - 12:02:06

Fichiers

MandelPlateau-MPC-2012.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01508142, version 1

Collections

ENS-PARIS | UMR8623 | INRIA | PSL

Citation

Louis Mandel, Florence Plateau. Scheduling and Buffer Sizing of n-Synchronous Systems: Typing of Ultimately Periodic Clocks in Lucy-n. Eleventh International Conference on Mathematics of Program Construction , Jun 2012, Madrid, Spain. Eleventh International Conference on Mathematics of Program Construction , 2012, 〈http://babel.ls.fi.upm.es/mpc2012/〉. 〈hal-01508142〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

368

Téléchargements de fichiers

38

Contact


archive-ouverte@inria.fr