1 / 35

Présentation rapide d’

Présentation rapide d’. 1. Plan. OpenMP et la programmation multithread en mémoire partagée La programmation multithread OpenMP OpenMP en pratique Les directives de partage du travail Les directives de synchronisation La bibliothèque d’OpenMP OpenMP plus précisément…

argyle
Download Presentation

Présentation rapide d’

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Présentation rapide d’ 1

  2. Plan • OpenMP et la programmation multithread en mémoire partagée • La programmation multithread • OpenMP • OpenMP en pratique • Les directives de partage du travail • Les directives de synchronisation • La bibliothèque d’OpenMP • OpenMP plus précisément… • Implémentation pratique • Le parallélisme imbriqué • OpenMP2

  3. Contexte et intérêt d’OpenMP • OpenMP est un standard de programmation multithread en mémoire partagée • OpenMP est portable sur l’ensemble des calculateurs à mémoire partagée (développé et soutenue par des fabricants de machines et de compilateurs) • OpenMP permet une parallelisation progressive des codes • OpenMP est utilisable avec les langages Fortran (77,90,…), C et C++ • Les compilateurs enrichissent les langages de programmation existants • principalement par directives ( de partage de travail, de synchronisation ) • plus quelques fonctions de la bibliothèque OpenMP

  4. Contexte et intérêt d’OpenMP

  5. Contexte et intérêt d’OpenMP • OpenMP est une approche très simple de la programmation multi-treaded • Les nouveaux processeurs permettent d’utiliser plusieurs tread • Intel Pentium IV Hypertreaming • AMD Opteron 2XX 4XX 8XX sont des calculateurs parallèle à mémoire partagée • Apparition de CPU multi-core • IBM Power • SUN UltraSPARc IV • HP PA8800 • Bientôt Opteron, pentium

  6. Un programme simple en OpenMP • La plus part des instructions OpemMP sont des directives • Une des cibles d’OpenMP est la parallelisation des boucles • OpenMP permet une approche incrémentale du parallélisme (peu de changement du code source) Programme séquentielProgramme parallèle void main() { double Res[1000]; for(int i=0;i<1000;i++) { gros_calcul(Res[i]); } } void main() { double Res[1000]; #pragma omp parallel for for(int i=0;i<1000;i++) { gros_calcul(Res[i]); } }

  7. Partie 1 : OpenMp ? • Introduction au modèle multithread en mémoire partagée • OpenMP • Structure d’un programme OpenMP • Directives d’ouverture/fermeture de région parallèle • HelloWorld_OpenMP.c

  8. Multithreading en mémoire partagée CPU CPU CPU CPU CPU CPU CPU RAM (partagée) • Le problème : • On dispose de n processeurs • Ces machines sont connectées par un mécanisme de mémoire partagée entre eux  Comment utiliser cette machine à n processeurs reliés par de la mémoire partagée ?

  9. Multithreading en mémoire partagée • Une réponse : le multithreading en mémoire partagée • Faire exécuter un processus qui va « spawner » des threads (flots d’exécution) sur chaque processeur • Effectuer des échanges de données de façon transparente via la mémoire partagée • Synchroniser explicitement au besoin, par exemple avec des verrous (locks) • Le modèle le plus simple pour l’utilisateur paraît être d’ouvrir/fermer les sections parallèles en fonction des besoins et de la possibilité de paralléliser

  10. OpenMP • ‘Quasi’-standard développé et soutenu par les fabricants de machines, et de compilateurs • But : spécifier une interface simple pour permettre la programmation parallèle en mémoire partagée à l’aide de threads • Le modèle choisi repose sur des directives de compilation qui génèrent un code multithread • En fait ces directives proviennent des directives constructeurs déjà présentes chez Cray, SGI, … et tous les autres fabricants de multiprocesseurs de grande taille • Le but est de promouvoir la simplicité d’utilisation de telles machines (très coûteuses) via une interface simple d’utilisation

  11. Les directives de compilation • Utiliser un langage à directives revient à insérer des lignes de commandes dans le code du programme, et qui seront traitées par le pré-compilateur. Ces directives sont utilisées sur des régions structurées! (un point d’entrée, un point de sortie, uniques) • Dans le cas d’OpenMP, un code C ou Fortran multithread est alors généré, puis compilé • Les directives OpenMP sont des commentaires (permet de compiler avec/sans le support OpenMP), prenant la forme : • C : #pragma omp <directive> [clause [clause ] … ] • Fortran : !$OMP, C$OMP, *$OMP <directive> [clause [ clause ] … ]

  12. Structure d’un programme OpenMP Région séquentielle Région parallèle multithread • Multithreading et parallélisme fork/join • Un processus est lancé, qui « spawne » ensuite les threads lorsqu’une région parallèle est rencontrée • La parallelisation peut être réalisée de façon incrémentale

  13. Les régions parallèles • La déclaration : • Fortran : !$OMP PARALLEL [CLAUSE [[,] CLAUSE] …] … !$OMP END PARALLEL • C/C++ : #pragma omp parallel { … } • Remarque : leurs portées ne ce limite pas au bloc mais également à toutes les procédures appelées dans le bloc parallèle double A[1000] #pragma omp parallel { int id = omp_get_thread_num(); fonc(id,A); }

  14. Les régions parallèles double A[1000] fonc(0,A) fonc(1,A) fonc(3,A) fonc(4,A) printf("fin\n "); La variable A est partagée par tout les threads Tous les threads s’attendent ici (synchronisation de type barrière)

  15. Partie 2 : OpenMP concrètement • Notions élémentaires : variables partagées ou privées • Directives de partage de travail • Directives de synchronisation • Fonctions de la bibliothèque • Exemple concret : calcul de la trace d’une matrice carrée

  16. Des variables partagées et privées • Une variable partagée pourra être écrite et lue par tous les threads • Une variable est dite privée pour un thread si seulement lui peut la lire et l’écrire • Les clauses SHARED ou PRIVATE permettent de préciser lors de l’ouverture de la région quelles variables sont partagées ou privées. Il est aussi possible de préciser la valeur par défaut (exemple : !$OMP PARALLEL DEFAULT(SHARED) ) • Certaines variables sont privées par défaut. Exemple : les indices des boucles parallélisées avec les directives for/DO • Les variables utilisées dans les fonctions appelées par les zones parallèles sont systématiquement privées!

  17. Des variables partagées et privées • PRIVATE • La variable est privée pour chacun des threads • SHARED • La variable est partagée entre tous les threads • FIRSTPRIVATE • La variable est privée et prend la valeur qu’avait la variable du même nom sur le thread maître • LASTPRIVATE • La valeur en sortie de région parallèle est la copie de celle de la dernière itération en séquentiel • THREADPRIVATE • Utilisée pour préciser qu’une variable est privée (utile pour les variables globales)

  18. La cible : distribution des boucles • Une des cibles d’OpenMP : permettre de distribuer les itérations des boucles entre les différents threads • Syntaxe : • C : #pragma omp for • Fortran : !$OMP DO / !$OMP END DO • En pratique : #pragma omp parallel { #pragma omp for for (i=0; i<N; i++) { … } }

  19. La cible : distribution des boucles • Par défaut, tous les threads s’arrêtent et attendent lorsque la fin de la boucle est atteinte (barrière de synchronisation explicite) • Ce comportement peut être changé en utilisant la clause NOWAIT • La façon dont les itérations sont distribuées entre les différents threads peut être modifiée via la clause schedule, ou via la variable d’environnement OMP_SCHEDULE • static, taille : consiste a diviser les itérations en paquets d'une taille donnée (sauf peut-être pour le dernier) • dynamic, taille : les itérations sont divisées en paquets de taille donnée. Sitôt qu'une tâche épuise ses itérations, un autre paquet lui est attribue • guided, taille : les itérations sont divisées en paquets dont la taille décroît exponentiellement jusqu’à taille. • runtime : le choix ce fait lors de l’exécution • ordered : l’ordre de la boucle est respecté ( mode debug principalement )

  20. Distribution du calcul • La directive SECTION permet d’attribuer à chaque thread un bloc structuré différent (programmation MPMD : Multiple Program, Multiple Data) #pragma omp parallel #pragma omp sections { #pragma omp section section1… #pragma omp section section2… #pragma omp section section3… }

  21. La clause de réduction • Afin de permettre d’effectuer une opération globale sur les valeurs locales obtenues en sortie d’une région parallèle, on peut utiliser une clause de réduction • Utilisation (dans PARALLEL, DO/for, …) • REDUCTION (opération: liste de variables) • Opérations disponibles: • min, max • +, -, * • … int i; double z,res=0.0; double v[1000]; #pragma omp parallel for reduction(+:ps) private (z) for(i=0;i<1000;i++) { z = f(i) ; res = res + z ; }

  22. Single / Master • Ces directives permettent d’assurer que le code n’est exécute que par un seul thread • Dans le cas de SINGLE, un seul thread (généralement le premier) procède à l’exécution de la zone considérée, les autres attendent ce thread a la fin du bloc SINGLE. La clause COPYPRIVATE permet de diffuser la valeur d’une liste de variables privées avant de sortir de cette région • Dans le cas de MASTER, c’est toujours le thread maître (de rang 0) qui exécute cette tache. Il n’y a aucune synchronisation des threads avec cette directive.

  23. Les synchronisations • OpenMP possède des directives permettant de synchroniser les threads entre eux, ou du moins de contrôler plus finement le déroulement de l’exécution. • Ce sont les directives: • ATOMIC • CRITICAL • BARRIER • FLUSH • ORDERED

  24. Atomic / Critical • Les directives ATOMIC et CRITICAL permettent de spécifier qu’un seul thread entrera à la fois dans la région suivant immédiatement la directive (l’ordre restant indéterminé) • La différence réside dans le fait que ATOMIC se base principalement sur les instructions atomiques des processeurs, et correspond à une mise à jour de variable alors que CRITICAL englobe toute une partie de code (implémentation moins efficace) • Les Instructions atomique • x = x (op) exp avec (op) : +, -, *, /, etc • x = f(x,exp) exp : une expression arithmétique indépendante de x • Ces directives peuvent par exemple servir à effectuer une réduction « manuelle » en cours de calcul

  25. Barrier / flush Barrier / Flush • La directive BARRIER est une barrière de synchronisation : tous les threads l’atteignant attendront que les autres threads arrivent à la barrière avant de continuer l’exécution • La directive FLUSH(variable) permet de rafraîchir la variable partagée variable visible de tous les processeurs. Elle est d'autant plus utile que la mémoire d'une machine est hiérarchisée. Elle peut servir à synchroniser

  26. Ordered (plutôt en Debug) • Dans une boucle parallélisée avec OMP DO/for, la directive ORDERED permet de s’assurer que l’ordre des opérations à l’intérieur de la zone de la directive sera exécutée dans l’ordre correspondant aux itérations de la boucle, comme dans le cas séquentiel. Ceci est utile principalement en mode debug.

  27. Des fonctions de la bibliothèque OpenMP • Fonctions permettant de connaître le rang des différents threads ainsi que le nombre total de threads, • omp_get_num_threads(), omp_get_tread_num() • Synchronisation par des verrous • omp_init_lock(), • omp_set/unset_lock(), • omp_test_lock()… • Savoir si l’on est dans une zone parallèle ou pas • omp_in_parallel() • Mesurer le temps écoulé en seconde, avec quelle précision • omp_get_wtime(), omp_get_wtick() • …

  28. Exemple : Trace d’une matrice • Calcul de la trace d’une matrice An • Rappel : la trace d’une matrice est la somme des éléments de sa diagonale (matrice nécessairement carrée) • Mathématiquement, on sait que : • Immédiatement, on voit facilement que le problème peut être parallélisé en calculant la somme des éléments diagonaux sur plusieurs processeurs puis en utilisant une réduction pour calculer la trace globale

  29. Exemple : Trace d’une matrice #include <stdio.h> #include <omp.h> void main(int argc, char ** argv) { int me, np, root=0; int N; /* On suppose que N = m*np */ double A[N][N]; double traceA = 0; /* Initialisation de A */ /* … */ #pragma omp parallel default(shared) #pragma omp for reduction (+:trace) { for (i=0; i<N; i++) { traceA += A[i][i] } } printf("La trace de A est : %f \n", traceA); }

  30. Partie 3 : Notions avancées • Note sur l’implémentation • Le parallélisme imbriqué • OpenMP2

  31. Notes sur l’implémentation • La création sémantique de multiples zones parallèles ne signifie pas forcement leur création réelle… Modèle abstrait Implémentation probable

  32. Notes sur l’implémentation Le maître exécute le code séquentiel Le thread maître insère des taches dans la pile de taches Le thread maître exécute des taches de la pile. Si elle est vide, il attend la terminaison par les autres threads Le thread maître exécute le code séquentiel Un environnement possible d’exécution Les threads esclaves exécutent la boucle :{prendre une tâche dans la pile; exécuter la tâche}

  33. Parallélisme imbriqué • La notion de parallélisme imbriqué fait référence à la possibilité d’ouvrir une région parallèle à l’intérieur d’une région déjà parallèle • Immédiatement, on peut voir les applications dans le cas de la parallelisation des nids de boucles, par exemple pour procéder ‘par blocs’ • Toutefois, la plupart des compilateurs sérialisent les régions imbriquées, par manque de support au point de vue du système d’exploitation (en pratique, seules les NEC SX5 et les Compaq ES-40 permettent une telle approche)

  34. Remarques • OpenMP est avant tout un outil qui a pour but de procurer un mode de parallelisation attractif car incrémental et simple d’utilisation • Il est avant tout promu par les constructeurs et les fabricants de compilateurs • Se concentrant uniquement sur l’aspect de la parallelisation des taches, par rapport à d’autres outils comme HPF, des études en cours essaient d’y ajouter cet aspect de placement de données

  35. Plus d’information => • Le site officiel du ‘standard’ OpenMP (en Anglais) • http://www.openmp.org • Les cours de l’IDRIS (en Français) • http://www.idris.fr/data/cours/parallel/openmp/

More Related