<?xml version="1.0" encoding="UTF-8"?><lom xmlns="http://ltsc.ieee.org/xsd/LOM" xmlns:lomfr="http://www.lom-fr.fr/xsd/LOMFR" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://ltsc.ieee.org/xsd/LOM http://www.lom-fr.fr/xsd/lomfrv1.0/std/lomfr.xsd">
<general>
<identifier>
<catalog>Canal-U_Ocms</catalog>
<entry>18422</entry>
</identifier>
<title><string language="fre"><![CDATA[Modèles mémoire pour les multiprocesseurs à mémoire partagée]]></string></title>
<language/>
<description>
<string language="fre"><![CDATA[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.]]></string></description>
<keyword><string language="fre"><![CDATA[modèle mémoire]]></string></keyword><keyword><string language="fre"><![CDATA[multiprocesseur]]></string></keyword><keyword><string language="fre"><![CDATA[mémoire partagée]]></string></keyword>
<lomfr:documentType>
<lomfr:source>LOMFRv1.0</lomfr:source>
<lomfr:value>image en mouvement</lomfr:value>
</lomfr:documentType>
</general><lifeCycle>
<contribute>
<role>
<source>LOMv1.0</source>
<value>content provider</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-09-16 17:17:03
FN:INRIA (Institut national de recherche en informatique et automatique)
N:INRIA (Institut national de recherche en informatique et automatique);;;;
URL;TYPE=work:http://www.inria.fr/
ROLE:content provider
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2015-07-02</dateTime></date>
</contribute>
<contribute>
<role>
<source>LOMv1.0</source>
<value>author</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-09-16 17:17:03
FN:Luc MARANGET
N:MARANGET;Luc;;;
URL;TYPE=work:https://www.canal-u.tv/auteurs/maranget_luc
ROLE:author
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2015-07-02</dateTime></date>
</contribute>
</lifeCycle>
<metaMetadata>
<metadataSchema>LOMv1.0</metadataSchema>
<metadataSchema>LOMFRv1.0</metadataSchema>
</metaMetadata>
<technical>
<format>video/mp4</format>
<location><![CDATA[https://www.canal-u.tv/video/inria/modeles_memoire_pour_les_multiprocesseurs_a_memoire_partagee.18422]]></location>
<location><![CDATA[https://streaming-canal-u.fmsh.fr/vod/media/canalu/videos/fuscia/mod.les.m.moire.pour.les.multiprocesseurs.m.moire.partag.e_18422/demie.heure_science_l_maranget_02072015.mp4]]></location>
<size>1996694138</size>
<duration><duration>PT0H35M14S</duration></duration>
</technical>
<educational>
<learningResourceType>
<source>LOMv1.0</source>
<value>lecture</value>
</learningResourceType>
<context>
<source>LOMv1.0</source>
<value>master</value>
</context>
<context>
<source>LOMv1.0</source>
<value>doctorat</value>
</context>
</educational>
<rights>
<cost>
<source>LOMv1.0</source>
<value>no</value>
</cost>
<copyrightAndOtherRestrictions>
<source>LOMv1.0</source>
<value>no</value>
</copyrightAndOtherRestrictions>
<description>
<string language="fre"><![CDATA[Droits réservés à l'éditeur et aux auteurs. 
© Inria Paris - Rocquencourt]]></string>
</description>
</rights>
<relation>
<kind>
<source>LOMv1.0</source>
<value>ispartof</value>
</kind>
<resource>
<identifier>
<catalog>URI</catalog>
<entry>https://www.canal-u.tv/producteurs/inria/rencontres_autour_d_un_sujet_scientifique_unithe_ou_cafe/la_demi_heure_de_science_pourquoi_mene_t_on_des_recherches_dans_ce_domaine_la_inria_paris_rocquencourt</entry>
</identifier>
<description>
<string language="fre"><![CDATA[La demi-heure de science : pourquoi mène t-on des recherches dans ce domaine là ? Inria Paris - Rocquencourt]]></string>
</description>
</resource>
</relation>
<classification>
<purpose>
<source>LOMv1.0</source>
<value>discipline</value>
</purpose>
<taxonPath>
<source>
<string language="fre"><![CDATA[Universités Numériques Thématiques 2009 http://www.universites-numeriques.fr]]></string>
</source>
<taxon>
<id/>
<entry>
<string language="fre"/>
</entry>
</taxon>
</taxonPath>
</classification>
<classification>
<purpose>
<source>LOMv1.0</source>
<value>discipline</value>
</purpose>
<taxonPath>
<source>
<string language="fre">CDD 22e éd.</string>
<string language="eng">DDC 22nd ed.</string>
</source>
<taxon>
<id>621.397</id>
<entry>
<string language="fre"><![CDATA[Génie informatique : Mémoire]]></string>
</entry>
</taxon>
</taxonPath>
</classification> </lom>