Sheep in wolf's clothing: Implementation models for data-flow multi-threaded software

Keryan Didier 1, 2 Albert Cohen 1, 3 Adrien Gauffriau 4 Amaury Graillat 5 Dumitru Potop-Butucaru 1, 2
3 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, CNRS - Centre National de la Recherche Scientifique, Inria de Paris
Résumé : La programmation concurrente est une discipline difficile, particulièrement dans un contexte de systèmes embarqués. Les threads, en particulier, sont un modèle de calcul non-déterministe et difficile à analyser dans le cas général. Heureusement, les logiciels embarqués multi-threadés synchronisés par sémaphores sont souvent des implémentations de spécifications fonctionnelles de haut niveau écrites dans un langage flot-de-données déterministe comme Scade ou (un sous-ensemble sûr de) Simulink. Dans ce cas, le processus d’implémentation devrait, non seulement construire le code C multi-threadé de l’implémentation, mais avant tout un modèle plus riche exposant l’organisation du flot-de-données des calculs effectués par le code. De ce modèle, le code C peut être extrait par du simple pretty printing. En même temps, la structure flot-de-donnée facilite l’analyse. Nous proposons un langage pour la description de tels modèles d’implémentations qui exposent le comportement flot-de-donnée (la brebis) déguisé en un programme multi-threadé (le loup). Ce langage permet une représentation d’implémentations efficaces avec ordonnancement pipeliné et allocation mémoire et synchronisations optimisées. Nous montrons son application sur un cas d’étude de l’industrie aéronautique et sur une plateforme many-coeurs commerciale
Type de document :
Rapport
[Research Report] RR-9057, Inria Paris. 2017, pp.31
Liste complète des métadonnées


https://hal.inria.fr/hal-01509314
Contributeur : Dumitru Potop-Butucaru <>
Soumis le : dimanche 16 avril 2017 - 18:47:31
Dernière modification le : jeudi 15 juin 2017 - 09:09:18

Fichier

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

Identifiants

  • HAL Id : hal-01509314, version 1

Collections

Citation

Keryan Didier, Albert Cohen, Adrien Gauffriau, Amaury Graillat, Dumitru Potop-Butucaru. Sheep in wolf's clothing: Implementation models for data-flow multi-threaded software. [Research Report] RR-9057, Inria Paris. 2017, pp.31. <hal-01509314>

Partager

Métriques

Consultations de
la notice

197

Téléchargements du document

78