Précédent : Allocations optimales de clients dans Remonter : Actions de recherche Suivant : Langage C++//
Précédent : Allocations optimales de clients dans
Remonter : Actions de recherche Suivant : Langage
C++//
Participants : Françoise Baude, Denis Caromel, Nathalie Furmento, Yves Roudier, David Sagnol
Mots-clés : langage à objets, parallélisme
L'objectif général de cette action est de faciliter la programmation parallèle dans le cadre des langages asynchrones et impératifs, plus particulièrement en utilisant le paradigme des langages à objets.
Une orientation privilégiée de recherche consiste à appliquer nos travaux au domaine de la simulation à événements discrets, l'objectif étant d'utiliser le potentiel de réutilisation des langages parallèles à objets afin de construire des simulateurs parallèles qui soient génériques ; [9] présente quelques résultats préliminaires.
La réutilisation constitue une seconde orientation privilégiée de cette action : nous souhaitons être capables de transformer un système séquentiel en un système parallèle, et pouvoir dériver d'un système déjà parallèle un système où le taux de parallélisme est plus important.
Un autre principe est de s'appuyer autant que possible sur une sémantique formellement définie, notamment afin d'essayer de formaliser la réutilisation et la transformation de programmes.
Globalement, la stratégie adoptée consiste maintenant à réaliser tous les développements pratiques en C++, mais à poursuivre autour d'Eiffel// (Eiffel parallèle) toutes les recherches qui visent à utiliser des techniques formelles.