Date : 2000
Editeur / Publisher : [S.l.] : [s.n.] , 2000
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Résumé / Abstract : CERTAINS PROBLEMES NECESSITENT DES PERFORMANCES QUE SEULES LES MACHINES MASSIVEMENT PARALLELES PEUVENT OFFRIR. LEUR PROGRAMMATION DEMEURE NEANMOINS DIFFICILE. LES TRAVAUX ETUDIANT LE MELANGE DE LA PROGRAMMATION FONCTIONNELLE ET DU PARALLELISME SE REPARTISSENT EN DEUX CATEGORIES : LES EXTENSIONS EXPLICITEMENT PARALLELES DES LANGAGES FONCTIONNELS - MAIS LES LANGAGES OBTENUS SONT SOIT INDETERMINISTES SOIT BRISENT L'ASPECT FONCTIONNEL PUR - ET LES IMPLANTATIONS PARALLELES AVEC SEMANTIQUE FONCTIONNELLE - MAIS LES LANGAGES OBTENUS N'EXPRIMENT PAS DIRECTEMENT LES ALGORITHMES PARALLELES ET NE PERMETTENT PAS LA PREVISION DES TEMPS D'EXECUTION. L'APPROCHE DES LANGAGES A PATRONS, DANS LESQUELS SEULEMENT UN ENSEMBLE FIXE D'OPERATIONS SONT EXECUTEES EN PARALLELE, EST INTERMEDIAIRE. LEUR SEMANTIQUE FONCTIONNELLE EST EXPLICITE MAIS LEUR SEMANTIQUE OPERATIONNELLE PARALLELE EST IMPLICITE. L'ENSEMBLE DE PATRONS DOIT ETRE LE PLUS COMPLET POSSIBLE MAIS CET ENSEMBLE S'AVERE DEPENDANT DU DOMAINE D'APPLICATION. NOUS APPROFONDISSONS CETTE POSITION INTERMEDIAIRE AVEC POUR OBJECTIF DE PARVENIR A DES LANGAGES UNIVERSELS DANS LESQUELS LE CODE SOURCE PERMET DE DETERMINER LE COUT. CETTE DERNIERE EXIGENCE NECESSITE QUE SOIENT EXPLICITES DANS LES PROGRAMMES LES LIEUX DU RESEAU DE PROCESSEURS DE LA MACHINE. UNE APPROCHE DENOTATIONNELLE NOUS A AMENE A UNE ETUDE DES LIMITES DE L'EXPRESSIVITE DES LANGAGES FONCTIONNELS PARALLELES A PROCESSUS EXPLICITES. UNE APPROCHE OPERATIONNELLE NOUS A AMENE A DEFINIR DES -CALCULS BSP (LE MODELE BSP AJOUTE UNE NOTION DE PROCESSUS EXPLICITES AU PARALLELISME DE DONNEES) CONFLUENTS ET UNIVERSELS POUR LES ALGORITHMES BSP. NOUS AVONS EGALEMENT ANALYSE LES CONDITIONS PRECISES D'IMPLANTATION PARALLELE DE TELS CALCULS, EXPERIMENTE