Un modele structure de communication et de synchronisation pour le parallelisme de taches

par BRUNO RAFFIN

Thèse de doctorat en Sciences appliquées

Sous la direction de HENRI THUILLIERS.

Soutenue en 1997

à Orléans .

    mots clés mots clés


  • Résumé

    Cette these est consacree a l'etude de modeles de programmation parallele permettant l'expression de communications et de synchronisations structurees par la syntaxe. Nous proposons un modele intermediaire entre le parallelisme de taches et le data parallelisme, associant une expression structuree des communications a un modele d'execution faiblement synchronise. Il repose sur un codage de la precedence des instructions par un ordonnancement lexicographique de compteurs multi-niveaux, appeles horloges structurelles. L'introduction de plusieurs niveaux de comptage permet de controler aisement la desynchronisation des structures dynamiques comme les boucles while. Le modele autorise l'expression des schemas de dependances imprevisibles ou irreguliers tout en garantissant l'absence de blocage et le determinisme des programmes. Nous demontrons qu'il est possible de definir un modele de programmation synchrone donnant une vision semantique simple, favorisant par la meme la maitrise, l'optimisation et la validation formelle des programmes. Des applications presentant differents niveaux d'irregularite, issues des calculs sur les matrices creuses, des reseaux de neurones, des bases de donnees ou des systemes temps-reel, illustrent l'interet de l'approche. Comparees a une bibliotheque a passage de messages comme mpi, les implantations realisees mettent en evidence la conservation des performances et des gains substantiels concernant la facilite d'ecriture et la mise au point des applications irregulieres.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 192 P.
  • Annexes : 114 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Orléans. Service commun de la documentation.Section Sciences.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.