BPDF: Boolean Parametric Data Flow

Résumé : Les modèles de calcul flots de données sont bien adaptés à la programmation des applications de streaming sur les architectures multi-cœurs. Or, de nombreuses applications de streaming ont un comportement dynamique. Afin de prendre en compte cette dynamicité, plusieurs modèles de calcul paramétriques ont été proposés au cours des années récentes. Toute- fois, ces modèles ne permettent pas de prendre en compte les reconfigurations dynamiques de la topologie d'un réseau flots de données, ce qui est requis dans les applications de streaming. Afin de résoudre ce problème, nous proposons un nouveau modèle de calcul, le modèle BPDF (" Boolean Parametric Data Flow "), qui combine des paramètres entiers (pour représenter les taux d'entrées sorties dynamiques) et des paramètres booléens (pour représenter l'activation et la désactivation des canaux de communication). La dynamicité est vient du fait que les paramètres entiers peuvent changer à chaque itération, et du fait que les paramètres booléens peuvent même changer au sein d'une itération. Le principal défi avec de tels modèles dynamiques de calcul est de garantir les propriétés de vivacité et de bornage. Nous présentons des analyses statiques qui permettent de garantir sta- tiquement la vivacité et le bornage d'un réseau BPDF. Nous présentons également une méthode d'ordonnancement afin de mettre en œuvre des réseaux BPDF sur des plateformes hautement parallèles. Enfin, nous illustrons notre approche avec une étude de cas d'un décodeur vidéo.
Type de document :
Rapport
[Research Report] RR-8333, INRIA. 2013, pp.21
Liste complète des métadonnées


https://hal.inria.fr/hal-00846645
Contributeur : Evangelos Bempelis <>
Soumis le : vendredi 19 juillet 2013 - 15:26:32
Dernière modification le : samedi 17 septembre 2016 - 01:36:46
Document(s) archivé(s) le : mercredi 5 avril 2017 - 15:37:31

Fichier

RR-8333.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00846645, version 1

Collections

Citation

Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur. BPDF: Boolean Parametric Data Flow. [Research Report] RR-8333, INRIA. 2013, pp.21. <hal-00846645>

Partager

Métriques

Consultations de
la notice

301

Téléchargements du document

218