Skip to Main content Skip to Navigation

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

Abstract : Some problems require performances that can only be provided by massively parallel machines
and meta-computers. Nevertheless, algorithm writing for this kind of machine remains more difficult
than for those strictly sequential and the conception of adapted languages is an active subject of research
notwithstanding the frequent use of the concurrent programming. Indeed, the conception of a programming
language is the result of a compromise which determines balance between various qualities of the language
such as expressivity, safety, effectiveness or the simplicity of the semantics.
In the prior works to this thesis, it was undertaken to study, with greater details, the intermediate position
that the paradigm of the skeletons occupies. However, this did not involve conceiving an a priori fixed sets
of operations and then to design performance models, but, to fix a structured parallelism model (with its
performancemodel) and then to design a universal number of operations making it possible to program any
algorithm of this model. The objective is therefore as follows : have an universal language in which the
programmer can have an idea of the cost from the source code.
This thesis comes under the project "CoordinAtion and Distribution of Multiprocessor Applications in
objective camL" (CARAML) of the ACI GRID. The objective was the development of libraries for highperformance
and globalised computations around the OCaml language. This project was organized in three
successive phases : safety and irregular data-parallel operations (mono-user) ; data-parallel multiprocessing
operations ; globalised operations for grid computing.
The thesis follows the organization in three phases of the CARAML project and presents the contributions
of the author in each phase in the three parts : a semantic study of a functional language for BSP programming
and the certification of the written programs in this language ; a presentation of a primitive of parallel
composition (and which also allows programming parallel "divide-and-conquer" algorithms), an example
of application using an implementation of parallel data structures and an extension for parallel input/outputs
in BSML ; the adaption of the language for meta-computing.
Document type :
Complete list of metadatas

Cited literature [294 references]  Display  Hide  Download
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
Long-term archiving on: : Tuesday, April 6, 2010 - 9:23:06 PM


  • HAL Id : tel-00110831, version 1



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⟩



Record views


Files downloads