Sites Inria

Il y a 2 Résultats avec le mot clé : "Francesco Zappa Nardelli"

Francesco Zappa Nardelli, chargé de recherche, laboratoire commun Inria-Microsoft Research - © Inria Saclay - Île-de-France

Unithé ou café

Ma mémoire est faible

Laure Guion - 28/05/2010

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é.

Mots-clés :

Accueil > Centre > Saclay > Recherche > Algorithmique, programmation, logiciels et architectures > Ma mémoire est faible

Lire la suite

Francesco Zappa Nardelli - Inria

Conférence scientifique

Francesco Zappa Nardelli (PARKAS) : Langages de programmation et concurrence, une relation toujours épineuse

2/10/2014

Nous verrons ensemble pourquoi, fait remarquable et troublant, nous n'avons aucune proposition satisfaisante pour la définition d'un langage généraliste permettant la programmation concurrente en mémoire partagée.

Mots-clés :

Accueil > Centre > Paris > Recherche > La demi-heure de science > 2014 > Francesco Zappa Nardelli (PARKAS) : Langages de programmation et concurrence, une relation toujours épineuse

Lire la suite

Haut de page

Suivez Inria