UN MODELE STRUCTURE DE COMMUNICATION ET DE SYNCHRONISATION POUR LE PARALLELISME DE TACHES

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 ST...

Ful tanımlama

Kaydedildi:
Detaylı Bibliyografya
Yazar: Raffin, Bruno
Diğer Yazarlar: Thuillier, Henri (Tez danışmanı)
Materyal Türü: Thèse et Mémoire papier
Dil:Français
Baskı/Yayın Bilgisi: [S.l.] : [s.n.] 1997.
Konular:
Not: 1997ORLE2055
Autres localisations: Voir dans le Sudoc
Variante du titre:A STRUCTURED COMMUNICATION AND SYNCHRONIZATION MODEL FOR TASK PARALLELISM
Diğer Bilgiler
Özet: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.
Diğer Bilgileri:1997ORLE2055
Fiziksel Özellikler:192 P.
Bibliyografya:114 REF.