Control-Driven Data Flow

Antoniu Pop 1 Albert Cohen 1
1 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, ENS Paris - École normale supérieure - Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Résumé : Ce papier présente CDDF, un modèle de calcul qui permet de donner une sémantique formelle a un certain nombre de langages de programmation parallèle. Il intègre des éléments de contrôle de flot pour la construction dynamique de graphes de tâches, ainsi que des éléments de flot de données pour exprimer les dépendances des calculs et découpler ceux-ci à l'aide de streams non bornés à l'instar des réseaux de processus de Kahn. Le modèle CDDF fournit une base commune pour définir la sémantique formelle des langages impératifs à création dynamique de tâches, ainsi que des langages fonctionnels concurrents ou à flots de données, en tant que cas particulier de langages à tâches dépendantes avec cannaux de communication ou streams. Nous prouvons des propriétés essentielles sur les langages basés sur ce modèle, dont l'absence d'interbloquages, le déterminisme fonctionnel et d'interbloquage, ainsi que la sérialisabilité. Nous comparons les hypothèses utilisées dans CDDF à la condition d'exécution stricte de Cilk ainsi qu'au principe de Kahn.
Type de document :
Rapport
[Research Report] RR-8015, INRIA. 2012, pp.48
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00717906
Contributeur : Antoniu Pop <>
Soumis le : mardi 19 février 2013 - 12:00:48
Dernière modification le : mardi 13 décembre 2016 - 15:41:00
Document(s) archivé(s) le : lundi 20 mai 2013 - 04:01:05

Fichier

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

Identifiants

  • HAL Id : hal-00717906, version 2

Collections

Citation

Antoniu Pop, Albert Cohen. Control-Driven Data Flow. [Research Report] RR-8015, INRIA. 2012, pp.48. 〈hal-00717906v2〉

Partager

Métriques

Consultations de
la notice

354

Téléchargements du document

251