Events

28 May 2010

Séminaire UniThé ou Café
Bat I, 1er étage, Parc Orsay Université Club
Centre de Recherche Commun INRIA-Microsoft Research

“Ma mémoire est faible”
Francesco Zappa Nardelli
INRIA

Résumé: Milieu d’après-midi, 15 fenêtres sur votre écran, et vous ne vous souvenez même plus dans quel ordre vous avez avancé sur les différents dossiers.

Votre ordinateur, lorsqu’il doit exécuter plusieurs tâches en même temps, n’est pas très différent de vous : il réordonne les instructions qui composent chaque tâche afin de gagner en vitesse d’exécution (on dit qu’il a une « mémoire faiblement cohérente », ou plus simplement une « mémoire faible »).

Mais les bugs sont en embuscade : votre programme ne s’attend peut-être pas à ce que ses ordres soient réorganisés ! Comment le programmeur peut-il écrire des programmes pour prévenir ce type de bugs ? Ce problème connu depuis 30 ans est toujours d’actualité.

ATTENTION: cet Unithé se finira strictement avant 14h pour écouter le SMS de Gérard Berry en salle H006.