Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel

Cédric Pasteur 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é : Nous nous intéressons dans ce manuscrit au langage ReactiveML, qui est une extension de ML avec des constructions inspirées des langages synchrones. L'idée de ces langages est de diviser l'exécution d'un programme en une suite d'instants logiques discrets. Cela permet de proposer un modèle de concurrence déterministe que l'on peut compiler vers du code séquentiel impératif. La principale application de ReactiveML est la simulation discrète, par exemple de réseaux de capteurs. Nous cherchons ici à programmer des simulations à grande échelle, ce qui pose deux questions : sait-on les programmer de façon simple et modulaire ? sait-on ensuite exécuter ces programmes efficacement ? Nous répondons à la première question en proposant une extension du modèle synchrone appelée domaines réactifs. Elle permet de créer des instants locaux invisibles de l'extérieur. Cela rend possible le raffinement temporel, c'est-à-dire le remplacement d'une approximation d'un système par une version plus détaillée sans changer son comportement externe. Nous développons dans ce manuscrit la sémantique formelle de cette construction ainsi que plusieurs analyses statiques, sous forme de systèmes de types-et-effets, garantissant la sûreté des programmes dans le langage étendu. Enfin, nous montrons également plusieurs implémentations parallèles du langage pour tenter de répondre à la question du passage à l'échelle des simulations. Nous décrivons tout d'abord une implémentation avec threads communiquant par mémoire partagée et basée sur le vol de tâches, puis une seconde implémentation utilisant des processus lourds communiquant par envoi de messages.
Type de document :
Thèse
Langage de programmation [cs.PL]. Université Pierre et Marie Curie - Paris VI, 2013. Français
Liste complète des métadonnées


https://tel.archives-ouvertes.fr/tel-00934919
Contributeur : Louis Mandel <>
Soumis le : mercredi 22 janvier 2014 - 17:36:30
Dernière modification le : jeudi 29 septembre 2016 - 01:22:14
Document(s) archivé(s) le : jeudi 24 avril 2014 - 11:25:57

Identifiants

  • HAL Id : tel-00934919, version 1

Collections

Citation

Cédric Pasteur. Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel. Langage de programmation [cs.PL]. Université Pierre et Marie Curie - Paris VI, 2013. Français. <tel-00934919>

Partager

Métriques

Consultations de
la notice

272

Téléchargements du document

325