Colloque

Un modèle pour la représentation des programmes parallèles

Jalal Almhanna

Membre a labase

Jalal Almhanna

Résumé du colloque

On définit un modèle qui permet la représentation et l'analyse des programmes parallèles exécutés par des machines à contrôles dirigés par les données (Data Flow Machines). Ce modèle est fondé sur l'utilisation des Réseaux de Petri (RdP) et appelé Réseaux de Petri à Flux de Données (RPFDP). De nombreuses définitions et extensions mathématiques ont été développées autour de ce modèle. Ceci afin d'obtenir une modélisation générale capable d'exprimer les principaux éléments intervenant dans le traitement parallèle, notamment les contraintes matérielles et temporelles de l'architecture considérée, ainsi que les relations d'interdépendance spatio-temporelles entre les différentes tâches exécutées qui dépendent de l'algorithme calculé. Un logiciel a été écrit pour la simulation des algorithmes parallèles décrits par ce modèle afin de vérifier certaines propriétés relatives aux RPFDP, et d'évaluer les performances qu'on peut atteindre compte tenu du nombre de ressources utilisées dans l'architecture.

Contexte

Section :

Informatique et recherche opérationnelle

Thème du colloque :

Informatique et recherche opérationnelle

Hôte : Université Laval

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Informatique et recherche opérationnelle

Une nouvelle méthode pour la synthèse automatique des protocoles de communication à partir du servi…

Kassem Saleh

SUPER : Un exemple concret de projet réalisé à l'aide de P.A.O. à Hydro-Québec

Denis Beauregard

Synapse: un langage de programmation basé objet pour les applications multi-tâches en temps réel

Michel De Champlain

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Informatique et recherche opérationnelle

Un modèle pour la représentation des programmes parallèles

Jalal Almhanna