| Titre : | Algorithmes et programmation parallèles : théorie avec BSP et pratique avec OCaml |
| Auteurs : | Gaétan Hains, Auteur ; Paul De Laboulaye, Directeur de publication |
| Type de document : | Monographie imprimée |
| Editeur : | Paris : Ellipses, 2018 |
| Collection : | Références sciences, ISSN 2260-8044 |
| ISBN/ISSN/EAN : | 978-2-340-02466-3 |
| Format : | 1 vol. (168 p.) / couv. ill. en coul. / 24 cm |
| Langues: | Français |
| Résumé : |
La 4e de couverture indique : "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." |
| Sommaire : |
1 2 PRAM : algorithmes abstraits 1.1 Prérequis 1.2 Révision : complexité des algorithmes 1.2.1 Algorithmes 1.2.2 Mesures de complexité 1.2.3 Notations asymptotiques 1.2.4 Majorant, minorant, équivalence asymptotique 1.2.5 Exemples 1.2.6 Pire cas et cas moyen 1.2.7 Optimalit é 1.2.8 Complexité vs temps de calcul 1.3 Exercices : complexité des algorithmes 1.4 Corrigé : complexité des algorithmes 1.5 Le modèle PRAM 1.5.1 Définition : mémoire partagée, opérations synchrones 1.5.2 Complexité parallèle, comparaison parallèle-séquentiel 1.5.3 Algorithmes p = n : diffusion, réduction, préfixes . . . . 1.5.4 Autre exemple de comparaison parallèle-séquentiel . . . 1.5.5 Le théorème de Brent : réduire le nombre de processeurs 1.5.6 Algorithmes par blocs : diffusion, réduction, préfixes 1.6 Exercices sur le modèle PRAM 1.7 Corrigé : le modèle PRAM 1.8 Lectures recommandées BSP : algorithmes concrets 2.1 Prérequis 2.2 Le modèle BSP : parallélisme isochrone 2.3 La machine BSP 2.4 L'algorithme BSP 2.4.1 Le modèle de coût BSP 2.4.2 Algorithmes p = n : diffusion, réduction, préfixes • • 2.4.3 Algorithmes par blocs : diffusion, réduction, préfixes 2.5 Le tri BSP de Tiskin-McColl 66 2.6 Complexité, coût BSP et temps de calcul 74 2.7 Exercices sur le modèle BSP 78 2.8 Corrigé : le modèle BSP 79 2.9 Lectures recommandées 81 3 BSML 83 3.1 Prérequis 84 3.2 Introduction à OCaml 84 3.3 Les primitives BSML 101 3.4 Les algorithmes BSP en BSML 111 3.4.1 Exercices sur BSML 121 3.4.2 Corrigé des exercices sur BSML 123 3.5 La bibliothèque BSML 134 3.5.1 Nouvelle syntaxe pour vecteurs parallèles 134 3.5.2 Algorithmes parallèles pré-programmés 136 3.6 Lectures recommandées 137 4 Sujets avancés autour de BSP 139 4.1 Algorithmes BSP 139 4.2 Programmation BSP 140 5 Annexes : sessions OCaml et BSML 143 5.1 Session OCaml types scalaires 143 5.2 Session OCaml structures de données 146 5.3 Session BSML primitives 150 5.4 Session BSML algorithmes 155 Références bibliographiques 165 |
Disponibilité (4)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| INF/694 | Livre | bibliothèque sciences exactes | Consultable |
| INF/694 | Livre | bibliothèque sciences exactes | Empruntable |
| INF/694 | Livre | bibliothèque sciences exactes | Empruntable |
| INF/694 | Livre | bibliothèque sciences exactes | Empruntable |
Les abonnés qui ont emprunté ce document ont également emprunté :
| Les réseaux de zéro | Sénétaire, Vincent |
| Initiation à l'algorithmique et aux structures de données en C | Malgouyres, Rémy |
