BEGIN:VCALENDAR VERSION:2.0 PRODID:-//wp-events-plugin.com//7.2.3.1//EN TZID:Europe/Paris X-WR-TIMEZONE:Europe/Paris BEGIN:VEVENT UID:5972@i2m.univ-amu.fr DTSTART;TZID=Europe/Paris:20220915T110000 DTEND;TZID=Europe/Paris:20220915T123000 DTSTAMP:20241120T200708Z URL:https://www.i2m.univ-amu.fr/evenements/un-apercu-des-modeles-memoires- faiblement-coherents/ SUMMARY:Léo Stefanesco (Max Planck Institute for Software Systems): Un ape rçu des modèles mémoires faiblement cohérents DESCRIPTION:Léo Stefanesco: Le modèle le plus couramment utilisé pour é tudier les programmes concurrents est celui de la cohérence séquentielle (SC)\, où les opérations des différents processus sont entrelacés. Ce modèle est trop strict en pratique\, pour deux raisons : il est incompat ible avec des optimisations courantes des compilateurs\, et les processeur s modernes implémentent des modèles mémoires plus lâches\, qu'on quali fie de "faibles".\nCet exposé est un aperçu des formalisations axiomatiq ues de ces modèles\, basés sur des graphes annotés \; ainsi que des log iques de programmes qui permettent de raisonner sur des programmes s'exéc utant sur de telles mémoires.\n \; ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2 022/07/Leo_Stefanesco.jpg CATEGORIES:Séminaire,Logique et Interactions LOCATION:I2M Luminy - Ancienne BU\, Salle Séminaire2 (RdC)\, 163 Avenue de Luminy\, 13009 Marseille\, France\, X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, 1300 9 Marseille\, France\, ;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - Ancienne B U\, Salle Séminaire2 (RdC):geo:0,0 END:VEVENT BEGIN:VTIMEZONE TZID:Europe/Paris X-LIC-LOCATION:Europe/Paris BEGIN:DAYLIGHT DTSTART:20220327T030000 TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST END:DAYLIGHT END:VTIMEZONE END:VCALENDAR