| Version imprimable |
Ressource documentaire
| Modèles mémoire pour les multiprocesseurs à mémoire partagée (en Français) | |||
Droits : © Inria Paris - Rocquencourt Auteur(s) : MARANGET Luc 02-07-2015 Description : La plupart des systèmes qui s'apparentent à des ordinateurs un tant soit peu sophistiqués comprennent plusieurs unités de calcul qui communiquent par l'intermédiaire d'une mémoire partagée. La programmation de ces systèmes est notoirement difficile, en raison de l'explosion de l'espace des états possibles du système. Mais il existe une autre difficulté : ces systèmes ne suivent pas le modèle simple de fils d'exécution exécutant chacun à leur tour des instructions dans l'ordre du programme et agissant instantanément sur la mémoire commune. Cette situation résulte des optimisations matérielles, telles que l'exécution *out-of-order* et spéculative, ainsi que de la présence de tampons et de caches destinés à ne pas contraindre les coeurs d'exécution à avancer au rythme de la mémoire. Ces optimisations matérielles ne changent pas le modèle d'exécution séquentielle, mais deviennent visibles des programmes parallèles. L'exposé portera sur la définition de modèles rigoureux et précis du comportement des machines multiprocesseurs, un préalable nécessaire pour l'écriture de compilateurs, d'outils d'analyse et d'idiome de programmation *lock-free* pour la programmation parallèle. Nous confrontons systématiquement nos modèles aux machines effectivement disponibles. Cette démarche aboutit à la proposition de modèles crédibles et expérimentalement vérifiés pour les machines à base de processeurs Intel x86, IBM Power et ARM. À l'occasion nous avons trouvé quelques bugs dans les implantations matérielles de ces architectures. Mots-clés libres : modèle mémoire,multiprocesseur,mémoire partagée | TECHNIQUE Type : image en mouvement Format : video/x-flv Source(s) : rtmpt://fms2.cerimes.fr:80/vod/fuscia/mod.les.m.moire.pour.les.multiprocesseurs.m.moire.partag.e_18422/demie.heure_science_l_maranget_02072015.mp4 | ||
Entrepôt d'origine : Canal-u.fr Identifiant : oai:canal-u.fr:18422 Type de ressource : Ressource documentaire | |||
| Exporter au format XML |
Ressource pédagogique
| Modèles mémoire pour les multiprocesseurs à mémoire partagée (en ) | |||||||
Identifiant de la fiche : 18422 Schéma de la métadonnée : LOMv1.0, LOMFRv1.0 Droits : libre de droits, gratuit Droits réservés à l'éditeur et aux auteurs© Inria Paris - Rocquencourt Auteur(s) : MARANGET LUC Éditeur(s) : INRIA (Institut national de recherche en informatique et automatique) 02-07-2015 Description : La plupart des systèmes qui s'apparentent à des ordinateurs un tant soit peu sophistiqués comprennent plusieurs unités de calcul qui communiquent par l'intermédiaire d'une mémoire partagée. La programmation de ces systèmes est notoirement difficile, en raison de l'explosion de l'espace des états possibles du système. Mais il existe une autre difficulté : ces systèmes ne suivent pas le modèle simple de fils d'exécution exécutant chacun à leur tour des instructions dans l'ordre du programme et agissant instantanément sur la mémoire commune. Cette situation résulte des optimisations matérielles, telles que l'exécution *out-of-order* et spéculative, ainsi que de la présence de tampons et de caches destinés à ne pas contraindre les coeurs d'exécution à avancer au rythme de la mémoire. Ces optimisations matérielles ne changent pas le modèle d'exécution séquentielle, mais deviennent visibles des programmes parallèles. L'exposé portera sur la définition de modèles rigoureux et précis du comportement des machines multiprocesseurs, un préalable nécessaire pour l'écriture de compilateurs, d'outils d'analyse et d'idiome de programmation *lock-free* pour la programmation parallèle. Nous confrontons systématiquement nos modèles aux machines effectivement disponibles. Cette démarche aboutit à la proposition de modèles crédibles et expérimentalement vérifiés pour les machines à base de processeurs Intel x86, IBM Power et ARM. À l'occasion nous avons trouvé quelques bugs dans les implantations matérielles de ces architectures. Mots-clés libres : modèle mémoire, multiprocesseur, mémoire partagée
| PEDAGOGIQUE Type pédagogique : cours / présentation Niveau : master, doctorat TECHNIQUE Type de contenu : image en mouvement Format : video/x-flv Taille : 1.86 Go Durée d'exécution : 35 minutes 14 secondes RELATIONS Cette ressource fait partie de : | ||||||
Entrepôt d'origine : Canal-u.fr Identifiant : oai:canal-u.fr:18422 Type de ressource : Ressource pédagogique | |||||||
| Exporter au format XML |