Recherche Avancée

Thèse soutenue

Mesures de la concurrence et du parallelisme des calculs repartis

FR  |  
EN
Auteur / Autrice : BERNADETTE CHARRON-BOST
Direction : Guy Cousineau
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1989
Etablissement(s) : Paris 7

Résumé

FR

L'objet de ce travail est de definir et d'etudier des mesures caracterisant le degre de paralelisme et de concurrence des calculs repartis. Dans notre modele, les processus sont sequentiels, sans memoire commune et communiquent de facon asynchrone par echange de messages. La premiere partie de cette these est centree sur une mesure combinatoire m. Cette mesure caracterisant l'independance causale des processus d'un calcul s'exprime en termes du nombre de ses coupes coherentes. Nous prouvons que cette mesure tient compte de la non-transitivite de la relation de concurrence. Cette approche combinatoire nous conduit a etudier l'horloge vectorielle de fidge et mattern. Nous proposons enfin une interpretation geometrique de la mesure m basee sur cette horloge. La deuxieme partie aborde le probleme de l'execution d'un calcul reparti sur une machine multiprocesseur. Un coefficient de couplage caracterisant l'independance temporelle des processeurs au cours d'une execution y est defini. Le comportement de ce coefficient vis-a-vis de deux operateurs sur les calculs repartis la concatenation et la fusion est alors etudie. Les proprietes analytiques du coefficient de couplage en fonction des vitesses des processeurs sont ensuite passees en revue. Une mesure du parallelisme definie comme le nombre moyen de processeurs simultanement actifs au cours d'une execution est enfin etudiee et reliee au coefficient de couplage