Skip to Main content Skip to Navigation
Theses

Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs. Sémantiques, implantations et certification.

Résumé : Certains problèmes nécessitent des performances que seules les machines massivement parallèles
ou les méta-ordinateurs peuvent offrir. L'écriture d'algorithmes pour ce type de machines demeure
plus difficile que pour celles strictement séquentielles et la conception de langages adaptés est un sujet de
recherche actif nonobstant la fréquente utilisation de la programmation concurrente. En effet, la conception
d'un langage de programmation est le résultat d'un compromis qui détermine l'équilibre entre les différentes
qualités du langage telles que l'expressivité, la sûreté, la prédiction des performances, l'efficacité ou
bien la simplicité de la sémantique.
Dans des travaux antérieurs à cette thèse, il a été entrepris d'approfondir la position intermédiaire que le
paradigme des patrons occupe. Toutefois il ne s'agissait pas de concevoir un ensemble a priori fixé d'opérations
puis de concevoir des méthodologies pour la prédiction des performances, mais de fixer un modèle
de parallélisme structuré (avec son modèle de coûts) puis de concevoir un ensemble universel d'opérations
permettant de programmer n'importe quel algorithme de ce modèle. L'objectif est donc le suivant : parvenir
à la conception de langages universels dans lesquels le programmeur peut se faire une idée du coût à partir
du code source.
Cette thèse s'inscrit dans le cadre du projet «CoordinAtion et Répartition des Applications Multiprocesseurs
en objective camL» (CARAML) de l'ACI GRID dont l'objectif était le développement de bibliothèques
pour le calcul haute-performance et globalisé autour du langage OCaml. Ce projet était organisé en trois
phases successives : sûreté et opérations data-parallèles irrégulières mono-utilisateur ; opérations de multitraitement
data-parallèle ; opérations globalisées pour la programmation de grilles de calcul.
Ce tapuscrit est organisé en 3 parties correspondant chacune aux contributions de l'auteur dans chacune
des phases du projet CARAML : une étude sémantique d'un langage fonctionnel pour la programmationBSP
et la certification des programmes écrits dans ce langage ; une présentation d'une primitive de composition
parallèle (et qui permet aussi la programmation d'algorithmes «diviser-pour-régner» parallèles), un exemple
d'application via l'utilisation et l'implantation de structures de données parallèles et une extension pour les
entrées/sorties parallèles en BSML ; l'adaption du langage pour le méta-calcul.
Document type :
Theses
Complete list of metadatas

Cited literature [294 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00110831
Contributor : Frédéric Gava <>
Submitted on : Wednesday, November 1, 2006 - 6:24:29 PM
Last modification on : Wednesday, September 4, 2019 - 1:52:06 PM
Document(s) archivé(s) le : Tuesday, April 6, 2010 - 9:23:06 PM

Identifiers

  • HAL Id : tel-00110831, version 1

Collections

Citation

Frédéric Gava. Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs. Sémantiques, implantations et certification.. Autre [cs.OH]. Université Paris XII Val de Marne, 2005. Français. ⟨tel-00110831⟩

Share

Metrics

Record views

260

Files downloads

2403