Algorithmes et programmation parallèles. Théorie avec BSP et pratique avec OCaml

Ce livre vous apprendra à : Comprendre ce qu'est un algorithme parallèle ; Connaître et analyser les algorithmes parallèles théoriques qui sont à la base de toute l'informatique parallèle ; Comprendre le modèle plus concret des algorithmes isochrones ou BSP ; Analyser les algorithmes BSP pour leur consommation en processeurs, temps de calcul, synchronisation et communication ; Programmer des algorithmes BSP dans un style fonctionnel avec le langage OCaml et son extension BSML ; Trouver des références, publications et bibliothèques de programmation pour réaliser des applications extensibles en parallélisme et en performances. En plus du public type des étudiants et enseignants de formation initiale, ce livre pourra intéresser les étudiants en formation continue, professionnels de l'informatique et les chercheurs pour les raisons suivantes. Les étudiants en formation continue pourront par exemple étudier les algorithmes BSP pour leur structure sans trop approfondir l'analyse de complexité, mais en réalisant les exercices de conception d'algorithme puis en portant attention au chapitre sur la programmation parallèle. Les professionnels trouveront une présentation de toutes les notions nécessaires à la parallélisation d'un problème de calcul, et à la construction de programmes parallèles. Les analyses de complexité leur serviront pour estimer à l'avance les gains de performance possibles ou impossibles dans leur application. Les doctorants et chercheurs y trouveront une introduction rapide et complète aux bases du domaine, à compléter par des lectures plus avancées que nous donnons en référence. Les doctorants et chercheurs spécialistes pourront aussi utiliser ce livre comme référence aux algorithmes et à la programmation BSP, un des plus importants paradigmes du domaine. Enfin, les enseignants d'informatique trouveront ici en français la matière pour un cours de troisième ou quatrième année universitaire.